About the Execution of 2020-gold for PolyORBLF-COL-S06J04T06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5343.920 | 3600000.00 | 3706835.00 | 851.50 | FF?????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2021-input.r170-oct2-162089287100090.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is PolyORBLF-COL-S06J04T06, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-162089287100090
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 22K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 146K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 87K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 27 09:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 09:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 12:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 12:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 10 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 154K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-COL-S06J04T06-00
FORMULA_NAME PolyORBLF-COL-S06J04T06-01
FORMULA_NAME PolyORBLF-COL-S06J04T06-02
FORMULA_NAME PolyORBLF-COL-S06J04T06-03
FORMULA_NAME PolyORBLF-COL-S06J04T06-04
FORMULA_NAME PolyORBLF-COL-S06J04T06-05
FORMULA_NAME PolyORBLF-COL-S06J04T06-06
FORMULA_NAME PolyORBLF-COL-S06J04T06-07
FORMULA_NAME PolyORBLF-COL-S06J04T06-08
FORMULA_NAME PolyORBLF-COL-S06J04T06-09
FORMULA_NAME PolyORBLF-COL-S06J04T06-10
FORMULA_NAME PolyORBLF-COL-S06J04T06-11
FORMULA_NAME PolyORBLF-COL-S06J04T06-12
FORMULA_NAME PolyORBLF-COL-S06J04T06-13
FORMULA_NAME PolyORBLF-COL-S06J04T06-14
FORMULA_NAME PolyORBLF-COL-S06J04T06-15
=== Now, execution of the tool begins
BK_START 1621378250465
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-18 22:50:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-18 22:50:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 22:50:53] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2021-05-18 22:50:54] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 930 ms
[2021-05-18 22:50:54] [INFO ] sort/places :
D4->DisablePollingE,DisablePollingB,Insert_Source_B,P_1119,P_2579,
Threads->AwakeTasks,IdleTasks,NotifyEventJobQueuedE,QueueJobE,P_2321,TryAllocateOneTaskE,TryAllocateOneTaskB,P_2318,EnablePollingE,EnablePollingB,FetchJobB,ScheduleTaskE_Check,ScheduleTaskB,Abort_Check_Sources_E,Abort_Check_Sources_B,NotifyEventSourceAddedB,Insert_Source_E,NotifyEventSourceAddedE,P_1113,ProcessingEvt,P_1155,nyo,P_1158,P_1159,P_1160,NotifyEventEndOfCheckSourcesB,NotifyEventEndOfCheckSourcesE,Check_Sources_B,Check_Sources_E,Idle,NotifyEventJobCompletedE,NotifyEventJobCompletedB,RunE,RunB,Perform_Work_E,Try_Check_Sources_B,Try_Check_Sources_E,P_1617,ScheduleTaskE_Idle,
D6->CreatedJobs,
Jobs->P_1725,P_1724,P_1712,AvailableJobId,
Dot->cJobCnt,JobCnt,cBlockedTasks,PollingAbort,cPollingAbort,BlockedTasks,MarkerWrite,P_1727,P_1726,MarkerRead,P_1717,P_1716,CanInjectEvent,SigAbort,NoSigAbort,P_1093,P_1095,P_1097,P_1099,cSources,cIsMonitoring,IsMonitoring,cIdleTasks,ORB_Lock,
Sources->DataOnSrc,PlaceSources,ModifiedSrc,AbourtToModifySrc,
D1->NotifyEventJobQueuedB,QueueJobB,FetchJobE,ScheduleTaskE_Work,
[2021-05-18 22:50:54] [INFO ] ms2 symmetric to ms1 in transition T_1124
[2021-05-18 22:50:54] [INFO ] ms3 symmetric to ms2 in transition T_1125
[2021-05-18 22:50:54] [INFO ] ms2 symmetric to ms1 in transition T_1125
[2021-05-18 22:50:54] [INFO ] ms3 symmetric to ms4 in transition T_1126
[2021-05-18 22:50:54] [INFO ] ms4 symmetric to ms2 in transition T_1126
[2021-05-18 22:50:54] [INFO ] ms2 symmetric to ms1 in transition T_1126
[2021-05-18 22:50:54] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 632 PT places and 10560.0 transition bindings in 26 ms.
[2021-05-18 22:50:54] [INFO ] Computed order based on color domains.
[2021-05-18 22:50:54] [INFO ] Unfolded HLPN to a Petri net with 632 places and 2430 transitions in 74 ms.
[2021-05-18 22:50:54] [INFO ] Unfolded HLPN properties in 1 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 158 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 635 resets, run finished after 650 ms. (steps per millisecond=153 ) properties seen :[1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
[2021-05-18 22:50:55] [INFO ] Flow matrix only has 2394 transitions (discarded 36 similar events)
// Phase 1: matrix 2394 rows 632 cols
[2021-05-18 22:50:55] [INFO ] Computed 54 place invariants in 142 ms
[2021-05-18 22:50:55] [INFO ] [Real]Absence check using 18 positive place invariants in 47 ms returned sat
[2021-05-18 22:50:55] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 173 ms returned unsat
[2021-05-18 22:50:55] [INFO ] [Real]Absence check using 18 positive place invariants in 45 ms returned sat
[2021-05-18 22:50:55] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 79 ms returned sat
[2021-05-18 22:50:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 22:50:59] [INFO ] [Real]Absence check using state equation in 3092 ms returned sat
[2021-05-18 22:50:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 22:50:59] [INFO ] [Nat]Absence check using 18 positive place invariants in 49 ms returned sat
[2021-05-18 22:50:59] [INFO ] [Nat]Absence check using 18 positive and 36 generalized place invariants in 221 ms returned sat
[2021-05-18 22:50:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 22:51:03] [INFO ] [Nat]Absence check using state equation in 4149 ms returned sat
[2021-05-18 22:51:03] [INFO ] State equation strengthened by 174 read => feed constraints.
[2021-05-18 22:51:04] [INFO ] [Nat]Added 174 Read/Feed constraints in 890 ms returned sat
[2021-05-18 22:51:05] [INFO ] Deduced a trap composed of 85 places in 760 ms
[2021-05-18 22:51:05] [INFO ] Deduced a trap composed of 85 places in 181 ms
[2021-05-18 22:51:05] [INFO ] Deduced a trap composed of 85 places in 83 ms
[2021-05-18 22:51:06] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1466 ms
[2021-05-18 22:51:06] [INFO ] Computed and/alt/rep : 2424/38448/2388 causal constraints in 425 ms.
[2021-05-18 22:51:19] [INFO ] Added : 200 causal constraints over 40 iterations in 13133 ms. Result :(error "Failed to check-sat")
[2021-05-18 22:51:19] [INFO ] [Real]Absence check using 18 positive place invariants in 44 ms returned sat
[2021-05-18 22:51:19] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 97 ms returned sat
[2021-05-18 22:51:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 22:51:22] [INFO ] [Real]Absence check using state equation in 3269 ms returned sat
[2021-05-18 22:51:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 22:51:22] [INFO ] [Nat]Absence check using 18 positive place invariants in 16 ms returned sat
[2021-05-18 22:51:22] [INFO ] [Nat]Absence check using 18 positive and 36 generalized place invariants in 64 ms returned sat
[2021-05-18 22:51:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 22:51:25] [INFO ] [Nat]Absence check using state equation in 2899 ms returned sat
[2021-05-18 22:51:26] [INFO ] [Nat]Added 174 Read/Feed constraints in 506 ms returned sat
[2021-05-18 22:51:26] [INFO ] Deduced a trap composed of 85 places in 98 ms
[2021-05-18 22:51:26] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 256 ms
[2021-05-18 22:51:27] [INFO ] Computed and/alt/rep : 2424/38448/2388 causal constraints in 445 ms.
[2021-05-18 22:51:42] [INFO ] Added : 265 causal constraints over 53 iterations in 16240 ms. Result :(error "Failed to check-sat")
[2021-05-18 22:51:43] [INFO ] [Real]Absence check using 18 positive place invariants in 111 ms returned sat
[2021-05-18 22:51:43] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 225 ms returned sat
[2021-05-18 22:51:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 22:51:49] [INFO ] [Real]Absence check using state equation in 6492 ms returned sat
[2021-05-18 22:51:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 22:51:50] [INFO ] [Nat]Absence check using 18 positive place invariants in 144 ms returned sat
[2021-05-18 22:51:50] [INFO ] [Nat]Absence check using 18 positive and 36 generalized place invariants in 166 ms returned sat
[2021-05-18 22:51:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 22:51:53] [INFO ] [Nat]Absence check using state equation in 3273 ms returned sat
[2021-05-18 22:51:54] [INFO ] [Nat]Added 174 Read/Feed constraints in 711 ms returned sat
[2021-05-18 22:51:54] [INFO ] Computed and/alt/rep : 2424/38448/2388 causal constraints in 263 ms.
[2021-05-18 22:52:09] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t365 0) (and (and (> t185 0) (< o185 o365)) (or (and (> t240 0) (< o240 o365)) (and (> t241 0) (< o241 o365)) (and (> t242 0) (< o242 o365)) (and (> t243 0) (< o243 o365)) (and (> t244 0) (< o244 o365)) (and (> t245 0) (< o245 o365)) (and (> t246 0) (< o246 o365)) (and (> t247 0) (< o247 o365)) (and (> t248 0) (< o248 o365)) (and (> t249 0) (< o249 o365)) (and (> t250 0) (< o250 o365)) (and (> t251 0) (< o251 o365)) (and (> t252 0) (< o252 o365)) (and (> t253 0) (< o253 o365)) (and (> t254 0) (< o254 o365)) (and (> t255 0) (< o255 o365)) (and (> t256 0) (< o256 o365)) (and (> t257 0) (< o257 o365)) (and (> t258 0) (< o258 o365)) (and (> t259 0) (< o259 o365)) (and (> t260 0) (< o260 o365)) (and (> t261 0) (< o261 o365)) (and (> t262 0) (< o262 o365)) (and (> t263 0) (< o263 o365)) (and (> t264 0) (< o264 o365)) (and (> t265 0) (< o265 o365)) (and (> t266 0) (< o266 o365)) (and (> t267 0) (< o267 o365)) (and (> t268 0) (< o268 o365)) (and (> t269 0) (< o269 o365)))))") while checking expression at index 3
[2021-05-18 22:52:10] [INFO ] [Real]Absence check using 18 positive place invariants in 183 ms returned sat
[2021-05-18 22:52:10] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 148 ms returned sat
[2021-05-18 22:52:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 22:52:14] [INFO ] [Real]Absence check using state equation in 4341 ms returned sat
[2021-05-18 22:52:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 22:52:14] [INFO ] [Nat]Absence check using 18 positive place invariants in 33 ms returned sat
[2021-05-18 22:52:15] [INFO ] [Nat]Absence check using 18 positive and 36 generalized place invariants in 61 ms returned sat
[2021-05-18 22:52:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 22:52:19] [INFO ] [Nat]Absence check using state equation in 4250 ms returned sat
[2021-05-18 22:52:19] [INFO ] [Nat]Added 174 Read/Feed constraints in 537 ms returned sat
[2021-05-18 22:52:20] [INFO ] Deduced a trap composed of 85 places in 169 ms
[2021-05-18 22:52:20] [INFO ] Deduced a trap composed of 85 places in 125 ms
[2021-05-18 22:52:21] [INFO ] Deduced a trap composed of 85 places in 91 ms
[2021-05-18 22:52:21] [INFO ] Deduced a trap composed of 85 places in 151 ms
[2021-05-18 22:52:22] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 2230 ms
[2021-05-18 22:52:22] [INFO ] Computed and/alt/rep : 2424/38448/2388 causal constraints in 151 ms.
[2021-05-18 22:52:34] [INFO ] Added : 320 causal constraints over 64 iterations in 12785 ms. Result :(error "Failed to check-sat")
[2021-05-18 22:52:35] [INFO ] [Real]Absence check using 18 positive place invariants in 203 ms returned sat
[2021-05-18 22:52:35] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 108 ms returned sat
[2021-05-18 22:52:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 22:52:41] [INFO ] [Real]Absence check using state equation in 5786 ms returned sat
[2021-05-18 22:52:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-18 22:52:41] [INFO ] [Nat]Absence check using 18 positive place invariants in 45 ms returned sat
[2021-05-18 22:52:41] [INFO ] [Nat]Absence check using 18 positive and 36 generalized place invariants in 289 ms returned sat
[2021-05-18 22:52:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-18 22:52:52] [INFO ] [Nat]Absence check using state equation in 10674 ms returned sat
[2021-05-18 22:52:52] [INFO ] [Nat]Added 174 Read/Feed constraints in 738 ms returned sat
[2021-05-18 22:52:54] [INFO ] Deduced a trap composed of 85 places in 1398 ms
[2021-05-18 22:52:54] [INFO ] Deduced a trap composed of 85 places in 337 ms
[2021-05-18 22:52:57] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-18 22:52:58] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 5822 ms
[2021-05-18 22:52:58] [INFO ] Computed and/alt/rep : 2424/38448/2388 causal constraints in 128 ms.
[2021-05-18 22:53:01] [INFO ] Added : 55 causal constraints over 11 iterations in 2383 ms. Result :unknown
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2021-05-18 22:53:01] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-05-18 22:53:01] [INFO ] Flatten gal took : 440 ms
FORMULA PolyORBLF-COL-S06J04T06-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S06J04T06-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-18 22:53:01] [INFO ] Applying decomposition
[2021-05-18 22:53:02] [INFO ] Flatten gal took : 262 ms
[2021-05-18 22:53:02] [INFO ] Decomposing Gal with order
[2021-05-18 22:53:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:53:03] [INFO ] Removed a total of 12775 redundant transitions.
[2021-05-18 22:53:03] [INFO ] Flatten gal took : 855 ms
[2021-05-18 22:53:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 60 labels/synchronizations in 150 ms.
[2021-05-18 22:53:03] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 12 ms.
[2021-05-18 22:53:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 27 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ PolyORBLF-COL-S06J04T06 @ 3570 seconds
check_solution: Variable C338 = -0.198363900185 is below its lower bound 0
check_solution: Variable C387 = -1.05658906227e+270 is below its lower bound 0
check_solution: Variable C793 = -1.05658906227e+270 is below its lower bound 0
check_solution: Variable C1199 = -1.05658906227e+270 is below its lower bound 0
check_solution: Variable C1605 = -1.05658906227e+270 is below its lower bound 0
check_solution: Variable C1962 = -0.198363900185 is below its lower bound 0
check_solution: Variable C2011 = -1.05658906227e+270 is below its lower bound 0
check_solution: Variable C2368 = -0.198363900185 is below its lower bound 0
check_solution: Variable C2417 = -1.05658906227e+270 is below its lower bound 0
check_solution: Variable C2774 = -0.198363900185 is below its lower bound 0
Seriously low accuracy found ||*|| = 1.05659e+270 (rel. error 1.05659e+270)
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R33 = 0 is above its equality of -9
check_solution: Constraint R109 = 0 is above its equality of -1
check_solution: Constraint R152 = 0 is above its equality of -1
check_solution: Constraint R178 = 0 is above its equality of -1
check_solution: Constraint R179 = 0 is above its equality of -1
check_solution: Constraint R180 = 0 is above its equality of -1
check_solution: Constraint R181 = 0 is above its equality of -1
check_solution: Constraint R182 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C22 = -0.0722835659981 is below its lower bound 0
check_solution: Variable C340 = -1.15563869476 is below its lower bound 0
check_solution: Variable C976 = -0.588860988617 is below its lower bound 0
check_solution: Variable C1612 = -0.701949119568 is below its lower bound 0
check_solution: Variable C1930 = -0.172510504723 is below its lower bound 0
check_solution: Variable C2248 = -0.249212145805 is below its lower bound 0
check_solution: Variable C2566 = -0.0705582499504 is below its lower bound 0
check_solution: Variable C2884 = -0.286519765854 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 6.78614254108e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.54812)
check_solution: Variable C98 = -0.853662490845 is below its lower bound 0
check_solution: Variable C416 = -0.10080987215 is below its lower bound 0
check_solution: Variable C1052 = -0.665926933289 is below its lower bound 0
check_solution: Variable C1370 = -0.406740427017 is below its lower bound 0
check_solution: Variable C1688 = -0.0494733154774 is below its lower bound 0
check_solution: Variable C2006 = -0.136238574982 is below its lower bound 0
check_solution: Variable C2324 = -0.0581594705582 is below its lower bound 0
check_solution: Variable C2642 = -0.198153734207 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 7.77287058294e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.04659)
check_solution: Variable C122 = -1.15563869476 is below its lower bound 0
check_solution: Variable C758 = -0.588860988617 is below its lower bound 0
check_solution: Variable C1394 = -0.701949119568 is below its lower bound 0
check_solution: Variable C1712 = -0.172510504723 is below its lower bound 0
check_solution: Variable C2030 = -0.249212145805 is below its lower bound 0
check_solution: Variable C2348 = -0.0705582499504 is below its lower bound 0
check_solution: Variable C2666 = -0.286519765854 is below its lower bound 0
check_solution: Variable C2984 = -0.26273059845 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.47370711062e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.01265)
check_solution: Variable C108 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C426 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C1062 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C1380 = -0.121740341187 is below its lower bound 0
check_solution: Variable C1698 = -0.00479554384947 is below its lower bound 0
check_solution: Variable C2652 = -0.00442324951291 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.49492706853e-311 is above its equality of -1
check_solution: Constraint R33 = 4.01481603743e-311 is above its equality of -9
check_solution: Constraint R104 = -0.00498465076089 is below its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 226.078)
check_solution: Variable C600 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C918 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C1554 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C1872 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C2508 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C2826 = -0.00498465076089 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 7.68586875646e-311 is above its equality of -1
check_solution: Constraint R33 = 4.13152580596e-311 is above its equality of -9
check_solution: Constraint R109 = 3.62436881209e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 224.609)
check_solution: Variable C588 = -0.00429040938616 is below its lower bound 0
check_solution: Variable C1224 = -0.103520035744 is below its lower bound 0
check_solution: Variable C1860 = -0.207921743393 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.84293437905e-311 is above its equality of -1
check_solution: Constraint R33 = 5.61692285959e-311 is above its equality of -9
check_solution: Constraint R109 = 4.4243612259e-311 is above its equality of -1
check_solution: Constraint R152 = 3.75168855945e-311 is above its equality of -1
check_solution: Constraint R178 = 2.90925623003e-311 is above its equality of -1
check_solution: Constraint R179 = 6.750068612e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 51.7858)
check_solution: Variable C204 = -0.192687869072 is below its lower bound 0
check_solution: Variable C522 = -0.258738279343 is below its lower bound 0
check_solution: Variable C840 = -0.912770271301 is below its lower bound 0
check_solution: Variable C1158 = -0.274506568909 is below its lower bound 0
check_solution: Variable C2112 = -0.192316174507 is below its lower bound 0
check_solution: Constraint R1 = 2.12623978433e-311 is above its equality of -10
check_solution: Constraint R10 = 7.38666735009e-311 is above its equality of -1
check_solution: Constraint R33 = 4.47741111981e-311 is above its equality of -9
check_solution: Constraint R109 = 3.91508223524e-311 is above its equality of -1
check_solution: Constraint R152 = 7.79409054119e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 16.5828)
check_solution: Variable C534 = -0.295616388321 is below its lower bound 0
check_solution: Variable C1170 = -0.111111104488 is below its lower bound 0
check_solution: Variable C1488 = -0.669296264649 is below its lower bound 0
check_solution: Variable C2124 = -0.184154868126 is below its lower bound 0
check_solution: Variable C2760 = -0.266866207123 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.50553704757e-311 is above its equality of -1
check_solution: Constraint R33 = 5.82700044301e-311 is above its equality of -9
check_solution: Constraint R109 = 3.92781420999e-311 is above its equality of -1
check_solution: Constraint R152 = 7.40152132046e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 9)
check_solution: Variable C264 = -0.800333023071 is below its lower bound 0
check_solution: Variable C1536 = -0.0959739089012 is below its lower bound 0
check_solution: Variable C1854 = -0.101231217384 is below its lower bound 0
check_solution: Variable C2808 = -0.798192024231 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 4.12728181437e-311 is above its equality of -1
check_solution: Constraint R33 = 3.89386227812e-311 is above its equality of -9
check_solution: Constraint R109 = 3.81322643681e-311 is above its equality of -1
check_solution: Constraint R152 = 3.47370711062e-311 is above its equality of -1
check_solution: Constraint R178 = 5.68058273332e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.25283)
check_solution: Variable C176 = -0.338666439056 is below its lower bound 0
check_solution: Variable C494 = -0.0634994506836 is below its lower bound 0
check_solution: Variable C812 = -0.0300614982843 is below its lower bound 0
check_solution: Variable C1130 = -0.0573827624321 is below its lower bound 0
check_solution: Variable C1766 = -0.0200321823359 is below its lower bound 0
check_solution: Variable C2084 = -0.0653980970383 is below its lower bound 0
check_solution: Variable C3038 = -0.98034620285 is below its lower bound 0
check_solution: Constraint R1 = 1.9246501828e-311 is above its equality of -10
check_solution: Constraint R10 = 6.51240508416e-311 is above its equality of -1
check_solution: Constraint R33 = 7.50762111018e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 17.4268)
check_solution: Variable C272 = -0.138913631439 is below its lower bound 0
check_solution: Variable C590 = -0.0463282465935 is below its lower bound 0
check_solution: Variable C1226 = -0.106231868267 is below its lower bound 0
check_solution: Variable C1544 = -0.0708209276199 is below its lower bound 0
check_solution: Variable C2180 = -0.0490370988846 is below its lower bound 0
check_solution: Variable C2498 = -0.157436847687 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 6.79887451515e-311 is above its equality of -1
check_solution: Constraint R33 = 3.74320057693e-311 is above its equality of -9
check_solution: Constraint R109 = 6.75643460005e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 14.1201)
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 7.2975435267e-311 is above its equality of -1
check_solution: Constraint R33 = 3.49917106012e-311 is above its equality of -9
check_solution: Constraint R109 = 3.72622460974e-311 is above its equality of -1
check_solution: Constraint R126 = -0.0368729233742 is below its equality of 0
check_solution: Constraint R152 = 4.4689231371e-311 is above its equality of -1
check_solution: Constraint R178 = 3.95327816029e-311 is above its equality of -1
check_solution: Constraint R179 = 5.55538498254e-311 is above its equality of -1
check_solution: Constraint R180 = 2.1665577043e-311 is above its equality of -1
check_solution: Constraint R181 = 6.91134029205e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 5.17979172733e-311 is above its equality of -1
check_solution: Constraint R33 = 7.09595392658e-311 is above its equality of -9
check_solution: Constraint R109 = 7.3123974965e-311 is above its equality of -1
check_solution: Constraint R152 = 3.54373297196e-311 is above its equality of -1
check_solution: Constraint R178 = 7.75377262116e-311 is above its equality of -1
check_solution: Constraint R179 = 4.09757387366e-311 is above its equality of -1
check_solution: Constraint R180 = 1.74003654956e-311 is above its equality of -1
check_solution: Constraint R181 = 4.04876797011e-311 is above its equality of -1
check_solution: Constraint R182 = 3.75168855922e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C378 = -0.162356495857 is below its lower bound 0
check_solution: Variable C696 = -0.242565870285 is below its lower bound 0
check_solution: Variable C1014 = -0.0986784696579 is below its lower bound 0
check_solution: Variable C1332 = -0.0319527387619 is below its lower bound 0
check_solution: Variable C2286 = -1.0665845871 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 4.94637218954e-311 is above its equality of -1
check_solution: Constraint R33 = 1.69971862913e-311 is above its equality of -9
check_solution: Constraint R56 = 0.183033466339 is above its equality of 0
check_solution: Constraint R109 = 5.55538498163e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 10.1339)
check_solution: Variable C128 = -0.358310699463 is below its lower bound 0
check_solution: Variable C764 = -0.179780125618 is below its lower bound 0
check_solution: Variable C1082 = -0.358310699463 is below its lower bound 0
check_solution: Variable C1718 = -0.179780125618 is below its lower bound 0
check_solution: Variable C2036 = -0.358310699463 is below its lower bound 0
check_solution: Variable C2672 = -0.179780125618 is below its lower bound 0
check_solution: Variable C2990 = -0.358310699463 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 6.92195027135e-311 is above its equality of -1
check_solution: Constraint R33 = 3.91508223524e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 2.79087)
check_solution: Variable C72 = -1 is below its lower bound 0
check_solution: Variable C73 = -1 is below its lower bound 0
check_solution: Variable C74 = -1 is below its lower bound 0
check_solution: Variable C75 = -1 is below its lower bound 0
check_solution: Variable C76 = -1 is below its lower bound 0
check_solution: Variable C161 = -1 is below its lower bound 0
check_solution: Variable C162 = -1 is below its lower bound 0
check_solution: Variable C163 = -1 is below its lower bound 0
check_solution: Variable C164 = -1 is below its lower bound 0
check_solution: Variable C165 = -1 is below its lower bound 0
Seriously low accuracy found ||*|| = 11 (rel. error 9)
check_solution: Variable C1158 = -0.464745998383 is below its lower bound 0
check_solution: Variable C1794 = -0.0412801802158 is below its lower bound 0
check_solution: Constraint R1 = 2.12623978433e-311 is above its equality of -10
check_solution: Constraint R10 = 7.38666735009e-311 is above its equality of -1
check_solution: Constraint R33 = 4.47741111981e-311 is above its equality of -9
check_solution: Constraint R109 = 3.91508223524e-311 is above its equality of -1
check_solution: Constraint R152 = 7.79409054119e-311 is above its equality of -1
check_solution: Constraint R178 = 4.43497120425e-311 is above its equality of -1
check_solution: Constraint R179 = 7.02805006133e-311 is above its equality of -1
check_solution: Constraint R180 = 4.39040929205e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 14.1099)
check_solution: Variable C1320 = -1.09879589081 is below its lower bound 0
check_solution: Variable C1956 = -0.295616388321 is below its lower bound 0
check_solution: Variable C2592 = -0.111111104488 is below its lower bound 0
check_solution: Variable C2910 = -0.669296264649 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 7.41849728698e-311 is above its equality of -1
check_solution: Constraint R33 = 2.63764076878e-311 is above its equality of -9
check_solution: Constraint R44 = 0.0121047198772 is above its equality of 0
check_solution: Constraint R109 = 4.05937794985e-311 is above its equality of -1
check_solution: Constraint R152 = 7.22327367335e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 9)
check_solution: Variable C452 = -0.330109119415 is below its lower bound 0
check_solution: Variable C770 = -0.0473231673241 is below its lower bound 0
check_solution: Variable C1088 = -0.138913631439 is below its lower bound 0
check_solution: Variable C1406 = -0.0463282465935 is below its lower bound 0
check_solution: Variable C2042 = -0.106231868267 is below its lower bound 0
check_solution: Variable C2360 = -0.0708209276199 is below its lower bound 0
check_solution: Variable C2996 = -0.0490370988846 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 5.58933691419e-311 is above its equality of -1
check_solution: Constraint R33 = 3.94054618474e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 9.41337)
check_solution: Variable C130 = -0.0722835659981 is below its lower bound 0
check_solution: Variable C448 = -1.15563869476 is below its lower bound 0
check_solution: Variable C1084 = -0.588860988617 is below its lower bound 0
check_solution: Variable C1720 = -0.701949119568 is below its lower bound 0
check_solution: Variable C2038 = -0.172510504723 is below its lower bound 0
check_solution: Variable C2356 = -0.249212145805 is below its lower bound 0
check_solution: Variable C2674 = -0.0705582499504 is below its lower bound 0
check_solution: Variable C2992 = -0.286519765854 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 7.2975435267e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.79675)
check_solution: Variable C844 = -0.113921642303 is below its lower bound 0
check_solution: Variable C1480 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C2116 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C2434 = -0.00498465076089 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.73895658535e-311 is above its equality of -1
check_solution: Constraint R33 = 7.1511258161e-311 is above its equality of -9
check_solution: Constraint R109 = 2.66310471858e-311 is above its equality of -1
check_solution: Constraint R152 = 4.43497120484e-311 is above its equality of -1
check_solution: Constraint R178 = 6.68640873889e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 224.609)
check_solution: Variable C320 = -0.181818127632 is below its lower bound 0
check_solution: Variable C638 = -0.338666439056 is below its lower bound 0
check_solution: Variable C956 = -0.0634994506836 is below its lower bound 0
check_solution: Variable C1274 = -0.0300614982843 is below its lower bound 0
check_solution: Variable C1592 = -0.0573827624321 is below its lower bound 0
check_solution: Variable C2228 = -0.0200321823359 is below its lower bound 0
check_solution: Variable C2546 = -0.0653980970383 is below its lower bound 0
check_solution: Constraint R1 = 6.65033481045e-311 is above its equality of -10
check_solution: Constraint R10 = 7.46093720258e-311 is above its equality of -1
check_solution: Constraint R33 = 7.2572256055e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 33.2651)
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R33 = 0 is above its equality of -9
check_solution: Constraint R109 = 0 is above its equality of -1
check_solution: Constraint R152 = 0 is above its equality of -1
check_solution: Constraint R178 = 0 is above its equality of -1
check_solution: Constraint R179 = 0 is above its equality of -1
check_solution: Constraint R180 = 0 is above its equality of -1
check_solution: Constraint R181 = 0 is above its equality of -1
check_solution: Constraint R182 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C252 = -0.16760623455 is below its lower bound 0
check_solution: Variable C2160 = -0.113921642303 is below its lower bound 0
check_solution: Variable C2796 = -0.00498465076089 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 4.01269404165e-311 is above its equality of -1
check_solution: Constraint R33 = 6.97712216149e-311 is above its equality of -9
check_solution: Constraint R109 = 7.50762111018e-311 is above its equality of -1
check_solution: Constraint R152 = 3.94479017632e-311 is above its equality of -1
check_solution: Constraint R178 = 5.83548842606e-311 is above its equality of -1
check_solution: Constraint R179 = 4.13576979727e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 200.616)
check_solution: Variable C166 = -0.0175438523293 is below its lower bound 0
check_solution: Variable C1756 = -1.09879589081 is below its lower bound 0
check_solution: Variable C2392 = -0.295616388321 is below its lower bound 0
check_solution: Variable C3028 = -0.111111104488 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 4.94000620268e-311 is above its equality of -1
check_solution: Constraint R33 = 7.20205371632e-311 is above its equality of -9
check_solution: Constraint R109 = 2.86893831032e-311 is above its equality of -1
check_solution: Constraint R152 = 7.20417571094e-311 is above its equality of -1
check_solution: Constraint R162 = -0.190961122513 is below its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 14.7404)
check_solution: Variable C2402 = -0.181818127632 is below its lower bound 0
check_solution: Variable C2720 = -0.338666439056 is below its lower bound 0
check_solution: Variable C3038 = -0.0634994506836 is below its lower bound 0
check_solution: Constraint R1 = 1.9246501828e-311 is above its equality of -10
check_solution: Constraint R10 = 6.51240508416e-311 is above its equality of -1
check_solution: Constraint R33 = 7.50762111018e-311 is above its equality of -9
check_solution: Constraint R109 = 3.89810626979e-311 is above its equality of -1
check_solution: Constraint R152 = 4.39040929283e-311 is above its equality of -1
check_solution: Constraint R178 = 1.90979634497e-313 is above its equality of -1
check_solution: Constraint R179 = 6.7288486547e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 15.7482)
check_solution: Variable C60 = -0.509024620056 is below its lower bound 0
check_solution: Variable C378 = -1.52215099335 is below its lower bound 0
check_solution: Variable C696 = -0.133806467056 is below its lower bound 0
check_solution: Variable C1650 = -0.966848373413 is below its lower bound 0
check_solution: Variable C1968 = -0.42426943779 is below its lower bound 0
check_solution: Variable C2286 = -0.400276422501 is below its lower bound 0
check_solution: Variable C2922 = -0.408362388611 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594426e-310 is above its equality of -10
check_solution: Constraint R10 = 3.77715250871e-311 is above its equality of -1
check_solution: Constraint R33 = 2.62490879376e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 32.5069)
check_solution: Variable C460 = -0.294016838074 is below its lower bound 0
check_solution: Variable C1414 = -0.330109119415 is below its lower bound 0
check_solution: Variable C1732 = -0.0473231673241 is below its lower bound 0
check_solution: Variable C2050 = -0.138913631439 is below its lower bound 0
check_solution: Variable C2368 = -0.0463282465935 is below its lower bound 0
check_solution: Variable C3004 = -0.106231868267 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 5.53204302859e-311 is above its equality of -1
check_solution: Constraint R33 = 3.44824316112e-311 is above its equality of -9
check_solution: Constraint R109 = 3.69015068206e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 9.41337)
check_solution: Variable C528 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C846 = -0.121740341187 is below its lower bound 0
check_solution: Variable C1164 = -0.00479554384947 is below its lower bound 0
check_solution: Variable C2118 = -0.00442324951291 is below its lower bound 0
check_solution: Variable C2754 = -0.00490533933044 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 2.44666114866e-311 is above its equality of -1
check_solution: Constraint R33 = 4.42860521619e-311 is above its equality of -9
check_solution: Constraint R109 = 3.94054618474e-311 is above its equality of -1
check_solution: Constraint R152 = 4.0933298825e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 208.527)
check_solution: Variable C1120 = -0.59259223938 is below its lower bound 0
check_solution: Variable C1438 = -0.369727134705 is below its lower bound 0
check_solution: Variable C3028 = -0.740740299225 is below its lower bound 0
check_solution: Constraint R1 = 3.57344091367e-311 is above its equality of -10
check_solution: Constraint R10 = 4.94000620268e-311 is above its equality of -1
check_solution: Constraint R33 = 7.20205371619e-311 is above its equality of -9
check_solution: Constraint R109 = 1.7209385874e-311 is above its equality of -1
check_solution: Constraint R152 = 7.20417571094e-311 is above its equality of -1
check_solution: Constraint R162 = 0.306652784348 is above its equality of 0
check_solution: Constraint R178 = 7.22539566992e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 2.7047)
check_solution: Variable C424 = -0.101655483246 is below its lower bound 0
check_solution: Variable C1060 = -0.113556325436 is below its lower bound 0
check_solution: Variable C1378 = -0.172394514084 is below its lower bound 0
check_solution: Variable C1696 = -0.0187917351723 is below its lower bound 0
check_solution: Variable C2332 = -0.0786735415459 is below its lower bound 0
check_solution: Variable C2968 = -0.13277554512 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 5.63389882632e-311 is above its equality of -1
check_solution: Constraint R33 = 4.13576979727e-311 is above its equality of -9
check_solution: Constraint R102 = 0.0542031228542 is above its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 8.8062)
check_solution: Variable C234 = -0.179780125618 is below its lower bound 0
check_solution: Variable C552 = -0.358310699463 is below its lower bound 0
check_solution: Variable C1188 = -0.179780125618 is below its lower bound 0
check_solution: Variable C1506 = -0.358310699463 is below its lower bound 0
check_solution: Variable C2142 = -0.179780125618 is below its lower bound 0
check_solution: Variable C2460 = -0.358310699463 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.77927450544e-311 is above its equality of -1
check_solution: Constraint R33 = 5.55114098988e-311 is above its equality of -9
check_solution: Constraint R109 = 1.35171131932e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.56235)
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R33 = 0 is above its equality of -9
check_solution: Constraint R109 = 0 is above its equality of -1
check_solution: Constraint R152 = 0 is above its equality of -1
check_solution: Constraint R178 = 0 is above its equality of -1
check_solution: Constraint R179 = 0 is above its equality of -1
check_solution: Constraint R180 = 0 is above its equality of -1
check_solution: Constraint R181 = 0 is above its equality of -1
check_solution: Constraint R182 = 0 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C1514 = -0.26335144043 is below its lower bound 0
check_solution: Variable C1832 = -0.809938907623 is below its lower bound 0
check_solution: Variable C2786 = -0.59404373169 is below its lower bound 0
check_solution: Constraint R1 = 4.01693803324e-311 is above its equality of -10
check_solution: Constraint R10 = 3.46309713166e-311 is above its equality of -1
check_solution: Constraint R33 = 3.82595841283e-311 is above its equality of -9
check_solution: Constraint R109 = 7.20205371622e-311 is above its equality of -1
check_solution: Constraint R152 = 4.00420605792e-311 is above its equality of -1
check_solution: Constraint R178 = 7.40152132046e-311 is above its equality of -1
check_solution: Constraint R179 = 4.08908589078e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 71.0513)
check_solution: Variable C454 = -0.0175438523293 is below its lower bound 0
check_solution: Variable C2044 = -1.09879589081 is below its lower bound 0
check_solution: Variable C2680 = -0.295616388321 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.59466087093e-311 is above its equality of -1
check_solution: Constraint R33 = 3.95752215118e-311 is above its equality of -9
check_solution: Constraint R109 = 1.5957408366e-311 is above its equality of -1
check_solution: Constraint R132 = 0.0151605382562 is above its equality of 0
check_solution: Constraint R152 = 3.88749628986e-311 is above its equality of -1
check_solution: Constraint R178 = 4.50924105753e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 9.2731)
check_solution: Variable C104 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C740 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C1058 = -0.121740341187 is below its lower bound 0
check_solution: Variable C1376 = -0.00479554384947 is below its lower bound 0
check_solution: Variable C2330 = -0.00442324951291 is below its lower bound 0
check_solution: Variable C2966 = -0.00490533933044 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.91932622682e-311 is above its equality of -1
check_solution: Constraint R33 = 4.52621702316e-311 is above its equality of -9
check_solution: Constraint R100 = 0.00445218756795 is above its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 208.527)
check_solution: Variable C1382 = -0.00113195832819 is below its lower bound 0
check_solution: Variable C2018 = -0.292855262756 is below its lower bound 0
check_solution: Variable C2336 = -0.00116090569645 is below its lower bound 0
check_solution: Variable C2654 = -0.356669902802 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.94479017632e-311 is above its equality of -1
check_solution: Constraint R33 = 4.52197303094e-311 is above its equality of -9
check_solution: Constraint R106 = 0.0280891805887 is above its equality of 0
check_solution: Constraint R109 = 6.65033481045e-311 is above its equality of -1
check_solution: Constraint R152 = 4.50924105753e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 3.591)
check_solution: Variable C10 = -0.073614358902 is below its lower bound 0
check_solution: Variable C328 = -0.239638447762 is below its lower bound 0
check_solution: Variable C1282 = -0.0100800618529 is below its lower bound 0
check_solution: Variable C2236 = -0.0832609534264 is below its lower bound 0
check_solution: Constraint R1 = 1.4111272016e-311 is above its equality of -10
check_solution: Constraint R6 = 0.0978270173073 is above its equality of 0
check_solution: Constraint R10 = 4.52409502725e-311 is above its equality of -1
check_solution: Constraint R33 = 7.27632356759e-311 is above its equality of -9
check_solution: Constraint R109 = 7.664648798e-311 is above its equality of -1
check_solution: Constraint R152 = 2.00528602358e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 13.5843)
check_solution: Variable C610 = -0.966848373413 is below its lower bound 0
check_solution: Variable C928 = -0.42426943779 is below its lower bound 0
check_solution: Variable C1246 = -0.400276422501 is below its lower bound 0
check_solution: Variable C1882 = -0.408362388611 is below its lower bound 0
check_solution: Variable C2836 = -0.0381254255772 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594426e-310 is above its equality of -10
check_solution: Constraint R10 = 7.42061928254e-311 is above its equality of -1
check_solution: Constraint R33 = 4.10181786488e-311 is above its equality of -9
check_solution: Constraint R109 = 5.82700044301e-311 is above its equality of -1
check_solution: Constraint R152 = 3.40580324529e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 26.2292)
check_solution: Variable C512 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C830 = -0.121740341187 is below its lower bound 0
check_solution: Variable C1148 = -0.00479554384947 is below its lower bound 0
check_solution: Variable C2102 = -0.00442324951291 is below its lower bound 0
check_solution: Variable C2738 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C3056 = -0.00498465076089 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 7.53732905127e-311 is above its equality of -1
check_solution: Constraint R33 = 4.39677528065e-311 is above its equality of -9
check_solution: Constraint R109 = 4.96759214758e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 203.859)
check_solution: Variable C444 = -0.195445179939 is below its lower bound 0
check_solution: Variable C1080 = -0.195445179939 is below its lower bound 0
check_solution: Variable C1716 = -0.195445179939 is below its lower bound 0
check_solution: Variable C2352 = -0.195445179939 is below its lower bound 0
check_solution: Variable C2988 = -0.195445179939 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 2.20899762012e-311 is above its equality of -1
check_solution: Constraint R33 = 3.52463500971e-311 is above its equality of -9
check_solution: Constraint R109 = 2.62915278562e-311 is above its equality of -1
check_solution: Constraint R122 = 0.182475686073 is above its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 5.48018)
check_solution: Variable C936 = -0.192687869072 is below its lower bound 0
check_solution: Variable C1254 = -0.258738279343 is below its lower bound 0
check_solution: Variable C1572 = -0.912770271301 is below its lower bound 0
check_solution: Variable C1890 = -0.274506568909 is below its lower bound 0
check_solution: Variable C2844 = -0.192316174507 is below its lower bound 0
check_solution: Constraint R1 = 7.43971724415e-311 is above its equality of -10
check_solution: Constraint R10 = 3.42914519986e-311 is above its equality of -1
check_solution: Constraint R33 = 6.91134029205e-311 is above its equality of -9
check_solution: Constraint R109 = 2.17080169588e-311 is above its equality of -1
check_solution: Constraint R152 = 3.37397330842e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.19977)
check_solution: Variable C484 = -0.153753876686 is below its lower bound 0
check_solution: Variable C802 = -0.215389609337 is below its lower bound 0
check_solution: Variable C1120 = -1.18801212311 is below its lower bound 0
check_solution: Variable C1756 = -0.0784960985184 is below its lower bound 0
check_solution: Variable C2074 = -0.422428369522 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 4.94000620268e-311 is above its equality of -1
check_solution: Constraint R33 = 7.20205371504e-311 is above its equality of -9
check_solution: Constraint R109 = 1.7209385874e-311 is above its equality of -1
check_solution: Constraint R152 = 7.20417571094e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.18801)
check_solution: Variable C406 = -0.701949119568 is below its lower bound 0
check_solution: Variable C724 = -0.172510504723 is below its lower bound 0
check_solution: Variable C1042 = -0.249212145805 is below its lower bound 0
check_solution: Variable C1360 = -0.0705582499504 is below its lower bound 0
check_solution: Variable C1678 = -0.286519765854 is below its lower bound 0
check_solution: Variable C1996 = -0.26273059845 is below its lower bound 0
check_solution: Variable C2314 = -0.0128784626722 is below its lower bound 0
check_solution: Variable C2950 = -0.190961122513 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 7.44396123574e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 2.27183)
check_solution: Variable C60 = -0.133806467056 is below its lower bound 0
check_solution: Variable C1014 = -0.966848373413 is below its lower bound 0
check_solution: Variable C1332 = -0.42426943779 is below its lower bound 0
check_solution: Variable C1650 = -0.400276422501 is below its lower bound 0
check_solution: Variable C2286 = -0.408362388611 is below its lower bound 0
check_solution: Constraint R1 = 7.40576531222e-311 is above its equality of -10
check_solution: Constraint R10 = 3.77715250871e-311 is above its equality of -1
check_solution: Constraint R33 = 1.46629909189e-311 is above its equality of -9
check_solution: Constraint R56 = -0.509024620056 is below its equality of 0
check_solution: Constraint R109 = 5.55538498158e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1.03429)
check_solution: Variable C252 = -0.0463282465935 is below its lower bound 0
check_solution: Variable C888 = -0.106231868267 is below its lower bound 0
check_solution: Variable C1206 = -0.0708209276199 is below its lower bound 0
check_solution: Variable C1842 = -0.0490370988846 is below its lower bound 0
check_solution: Variable C2160 = -0.157436847687 is below its lower bound 0
check_solution: Variable C2796 = -0.0722835659981 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 4.01269404165e-311 is above its equality of -1
check_solution: Constraint R33 = 6.97712216149e-311 is above its equality of -9
check_solution: Constraint R109 = 7.50762111018e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 14.1201)
check_solution: Variable C782 = -0.0476702153683 is below its lower bound 0
check_solution: Variable C1736 = -0.263558626175 is below its lower bound 0
check_solution: Constraint R1 = 5.66360676702e-311 is above its equality of -10
check_solution: Constraint R10 = 3.42277921258e-311 is above its equality of -1
check_solution: Constraint R33 = 3.46946311904e-311 is above its equality of -9
check_solution: Constraint R109 = 3.8302024045e-311 is above its equality of -1
check_solution: Constraint R142 = 0.280873060226 is above its equality of 0
check_solution: Constraint R152 = 6.62699285675e-311 is above its equality of -1
check_solution: Constraint R178 = 7.26995758115e-311 is above its equality of -1
check_solution: Constraint R179 = 7.29542153103e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 14.6232)
check_solution: Variable C376 = -0.00442324951291 is below its lower bound 0
check_solution: Variable C1012 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C1330 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C1966 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C2284 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C2602 = -0.120213806629 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 6.86253438974e-311 is above its equality of -1
check_solution: Constraint R33 = 7.02805006133e-311 is above its equality of -9
check_solution: Constraint R54 = -0.00479554384947 is below its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 203.859)
check_solution: Variable C232 = -0.0124797224998 is below its lower bound 0
check_solution: Variable C1822 = -0.0476702153683 is below its lower bound 0
check_solution: Variable C2776 = -0.263558626175 is below its lower bound 0
check_solution: Constraint R1 = 5.47899313397e-311 is above its equality of -10
check_solution: Constraint R10 = 5.17979172733e-311 is above its equality of -1
check_solution: Constraint R33 = 7.1617357961e-311 is above its equality of -9
check_solution: Constraint R109 = 7.31239749645e-311 is above its equality of -1
check_solution: Constraint R152 = 3.87688631114e-311 is above its equality of -1
check_solution: Constraint R178 = 7.75377262116e-311 is above its equality of -1
check_solution: Constraint R179 = 4.09757387366e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 5.4003)
check_solution: Variable C1340 = -0.26335144043 is below its lower bound 0
check_solution: Variable C1658 = -0.809938907623 is below its lower bound 0
check_solution: Variable C2612 = -0.59404373169 is below its lower bound 0
check_solution: Constraint R1 = 3.89810626981e-311 is above its equality of -10
check_solution: Constraint R10 = 4.0933298825e-311 is above its equality of -1
check_solution: Constraint R33 = 6.76704457826e-311 is above its equality of -9
check_solution: Constraint R109 = 7.42910726505e-311 is above its equality of -1
check_solution: Constraint R152 = 3.4546091485e-311 is above its equality of -1
check_solution: Constraint R178 = 6.49967310889e-311 is above its equality of -1
check_solution: Constraint R179 = 4.05301196252e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 209.035)
check_solution: Variable C102 = -0.00116090569645 is below its lower bound 0
check_solution: Variable C420 = -0.356669902802 is below its lower bound 0
check_solution: Variable C2010 = -0.0422019064426 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 2.90925623003e-311 is above its equality of -1
check_solution: Constraint R33 = 6.73945863343e-311 is above its equality of -9
check_solution: Constraint R98 = 0.202061057091 is above its equality of 0
check_solution: Constraint R109 = 6.64396882306e-311 is above its equality of -1
check_solution: Constraint R152 = 3.76866452648e-311 is above its equality of -1
check_solution: Constraint R178 = 4.01269404165e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C10 = -0.249212145805 is below its lower bound 0
check_solution: Variable C328 = -0.0705582499504 is below its lower bound 0
check_solution: Variable C646 = -0.286519765854 is below its lower bound 0
check_solution: Variable C964 = -0.26273059845 is below its lower bound 0
check_solution: Variable C1282 = -0.0128784626722 is below its lower bound 0
check_solution: Variable C1918 = -0.190961122513 is below its lower bound 0
check_solution: Variable C2554 = -0.0175438523293 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R6 = -0.701949119568 is below its equality of 0
check_solution: Constraint R10 = 4.52409502725e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 4.01265)
check_solution: Variable C198 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C834 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C1152 = -0.121740341187 is below its lower bound 0
check_solution: Variable C1470 = -0.00479554384947 is below its lower bound 0
check_solution: Variable C2424 = -0.00442324951291 is below its lower bound 0
check_solution: Variable C3060 = -0.00490533933044 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 5.57236094882e-311 is above its equality of -1
check_solution: Constraint R33 = 3.56495293051e-311 is above its equality of -9
check_solution: Constraint R109 = 2.32358539291e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 176.195)
check_solution: Variable C156 = -0.0898640751839 is below its lower bound 0
check_solution: Variable C792 = -0.176573634148 is below its lower bound 0
check_solution: Variable C1110 = -1.20335865021 is below its lower bound 0
check_solution: Variable C1746 = -0.276814222336 is below its lower bound 0
check_solution: Variable C2064 = -0.00856390595436 is below its lower bound 0
check_solution: Variable C2382 = -0.242899417877 is below its lower bound 0
check_solution: Constraint R1 = 2.76283852028e-311 is above its equality of -10
check_solution: Constraint R10 = 4.87210233696e-311 is above its equality of -1
check_solution: Constraint R33 = 7.31239749606e-311 is above its equality of -9
check_solution: Constraint R109 = 7.55218302187e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 51.1708)
check_solution: Variable C102 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C738 = -0.00490533933044 is below its lower bound 0
check_solution: Variable C1056 = -0.00498465076089 is below its lower bound 0
check_solution: Variable C1374 = -0.120213806629 is below its lower bound 0
check_solution: Variable C2328 = -0.00442324951291 is below its lower bound 0
check_solution: Variable C2964 = -0.00490533933044 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 2.90925623003e-311 is above its equality of -1
check_solution: Constraint R33 = 6.73945863343e-311 is above its equality of -9
check_solution: Constraint R98 = 0.00445218756795 is above its equality of 0
Seriously low accuracy found ||*|| = 10 (rel. error 203.859)
check_solution: Variable C2 = -0.295616388321 is below its lower bound 0
check_solution: Variable C638 = -0.111111104488 is below its lower bound 0
check_solution: Variable C956 = -0.669296264649 is below its lower bound 0
check_solution: Variable C1592 = -0.184154868126 is below its lower bound 0
check_solution: Variable C2228 = -0.266866207123 is below its lower bound 0
check_solution: Variable C2546 = -0.250273942947 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 7.46093720258e-311 is above its equality of -1
check_solution: Constraint R33 = 7.257225606e-311 is above its equality of -9
check_solution: Constraint R109 = 2.5548829339e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 9)
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 7.24661562751e-311 is above its equality of -1
check_solution: Constraint R33 = 6.77765455792e-311 is above its equality of -9
check_solution: Constraint R109 = 6.57606495784e-311 is above its equality of -1
check_solution: Constraint R152 = 7.30178751838e-311 is above its equality of -1
check_solution: Constraint R178 = 3.6371007865e-311 is above its equality of -1
check_solution: Constraint R179 = 7.78135856705e-311 is above its equality of -1
check_solution: Constraint R180 = 5.18827970981e-311 is above its equality of -1
check_solution: Constraint R181 = 3.82595841283e-311 is above its equality of -1
check_solution: Constraint R182 = 6.49967310889e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 1)
check_solution: Variable C816 = -0.59259223938 is below its lower bound 0
check_solution: Variable C1134 = -0.369727134705 is below its lower bound 0
check_solution: Variable C2724 = -0.740740299225 is below its lower bound 0
check_solution: Constraint R1 = 3.89174028148e-311 is above its equality of -10
check_solution: Constraint R10 = 7.7261866766e-311 is above its equality of -1
check_solution: Constraint R33 = 3.42702320319e-311 is above its equality of -9
check_solution: Constraint R109 = 4.52621702246e-311 is above its equality of -1
check_solution: Constraint R152 = 4.09969586882e-311 is above its equality of -1
check_solution: Constraint R176 = -0.59259223938 is below its equality of 0
check_solution: Constraint R178 = 6.73733663631e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 2.7047)
check_solution: Variable C1418 = -0.464745998383 is below its lower bound 0
check_solution: Variable C2054 = -0.0412801802158 is below its lower bound 0
check_solution: Constraint R1 = 5.66360676702e-311 is above its equality of -10
check_solution: Constraint R10 = 3.42277921258e-311 is above its equality of -1
check_solution: Constraint R33 = 3.46946311904e-311 is above its equality of -9
check_solution: Constraint R109 = 3.8302024045e-311 is above its equality of -1
check_solution: Constraint R142 = 0.0683845877647 is above its equality of 0
check_solution: Constraint R152 = 6.62699285675e-311 is above its equality of -1
check_solution: Constraint R178 = 7.26995758115e-311 is above its equality of -1
check_solution: Constraint R179 = 7.29542153103e-311 is above its equality of -1
Seriously low accuracy found ||*|| = 10 (rel. error 24.2247)
check_solution: Variable C290 = -0.249212145805 is below its lower bound 0
check_solution: Variable C608 = -0.0705582499504 is below its lower bound 0
check_solution: Variable C926 = -0.286519765854 is below its lower bound 0
check_solution: Variable C1244 = -0.26273059845 is below its lower bound 0
check_solution: Variable C1562 = -0.0128784626722 is below its lower bound 0
check_solution: Variable C2198 = -0.190961122513 is below its lower bound 0
check_solution: Variable C2834 = -0.0175438523293 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 6.76067859137e-311 is above its equality of -1
check_solution: Constraint R33 = 4.05937794985e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 82.6124)
check_solution: Variable C212 = -0.113556325436 is below its lower bound 0
check_solution: Variable C530 = -0.172394514084 is below its lower bound 0
check_solution: Variable C848 = -0.0187917351723 is below its lower bound 0
check_solution: Variable C1484 = -0.0786735415459 is below its lower bound 0
check_solution: Variable C2120 = -0.13277554512 is below its lower bound 0
check_solution: Variable C2438 = -0.0368729233742 is below its lower bound 0
check_solution: Variable C2756 = -0.148014545441 is below its lower bound 0
check_solution: Constraint R1 = 6.92126594427e-310 is above its equality of -10
check_solution: Constraint R10 = 3.66680872831e-311 is above its equality of -1
check_solution: Constraint R33 = 3.89174028148e-311 is above its equality of -9
Seriously low accuracy found ||*|| = 10 (rel. error 6.75609)
check_solution: Variable C560 = -0.0898640751839 is below its lower bound 0
check_solution: Variable C1196 = -0.176573634148 is below its lower bound 0
check_solution: Variable C1514 = -1.20335865021 is below its lower bound 0
check_solution: Variable C2150 = -0.276814222336 is below its lower bound 0
check_solution: Variable C2468 = -0.00856390595436 is below its lower bound 0
check_solution: Variable C2786 = -0.242899417877 is below its lower bound 0
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427364 kB
MemFree: 10850372 kB
After kill :
MemTotal: 16427364 kB
MemFree: 16134764 kB
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S06J04T06"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is PolyORBLF-COL-S06J04T06, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-oct2-162089287100090"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J04T06.tgz
mv PolyORBLF-COL-S06J04T06 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;