0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4494528-1751156459.opb'
0.00/0.06 c read 3.52MB (49.61ms)
0.00/0.06 c [cnf: #variables 1440 #clauses 86040 #duplicates 0 #arr 344160]
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.00/0.09 c [group: #orbits ~= 360] (31.29ms)
0.00/0.09 c
0.00/0.09 c detect special group actions
0.00/0.09 c probe for Johnson action (limit=64)
0.08/0.11 c probe for row-column symmetry (limit=64, splits=16.78M)
0.28/0.39 c probe for row symmetry (limit=64, splits=16.78M)
0.38/0.47 c found row 4x720 (red. orbit), generating row predicate
0.38/0.47 c (381.15ms)
0.38/0.47 c
0.38/0.47 c detect symmetries on remainder
0.38/0.47 c [graph: #vertices 91800 #edges 696960]
0.38/0.47 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.49/0.58 c [group: #symmetries 2.00*10^0 #generators 1] (107.75ms)
0.49/0.58 c
0.49/0.58 c optimize generators (opt_passes=64, conjugate_limit=256)
0.49/0.58 c (0.00ms)
0.49/0.58 c
0.49/0.58 c finalize break order and special generators
0.49/0.58 c
0.49/0.58 c add generic predicates (break_depth=10)
0.49/0.58 c added predicates for 1 generators (0.07ms)
0.49/0.58 c
0.49/0.58 c generation finished
0.49/0.58 c [sbp: #constraints 6502 #add_vars 2166]
0.49/0.58 c
0.49/0.58 c write result to 'HOME/instance-4494528-1751156459.opb.pre'
0.49/0.59 c wrote 3.75MB (7.97ms)
0.49/0.59 c ------------------------------------------------------------------
0.49/0.59 c 381.15ms 65.91% detect_special
0.49/0.59 c 107.75ms 18.63% detect_generic
0.49/0.59 c 49.61ms 8.58% parse
0.49/0.59 c 31.29ms 5.41% approx_orbits
0.49/0.59 c 7.97ms 1.38% output
0.49/0.59 c 0.35ms 0.06% other
0.49/0.59 c 0.07ms 0.01% break_generic
0.49/0.59 c 0.06ms 0.01% finalize_order
0.49/0.59 c 0.00ms 0.00% optimize_gens
0.49/0.59 c ───────────────────────────────────────────────
0.49/0.59 c 578.25ms 100% total
0.49/0.59 c ------------------------------------------------------------------
0.57/0.60 c RoundingSat 2
0.57/0.60 c branch pb25
0.57/0.60 c commit 63f22ad
0.96/1.02 c #variables 3606 #constraints 92902
14.43/14.53 c #Conflicts: 1000 | #Constraints: 93901
14.43/14.53 c #Conflicts: 2000 | #Constraints: 94901
14.43/14.53 c INPROCESSING
14.43/14.53 c #Conflicts: 3000 | #Constraints: 94530
14.43/14.53 c #Conflicts: 4000 | #Constraints: 95530
14.43/14.53 c INPROCESSING
14.43/14.53 c GARBAGE COLLECT
14.43/14.53 c #Conflicts: 5000 | #Constraints: 94933
14.43/14.53 c #Conflicts: 6000 | #Constraints: 95933
14.43/14.53 c INPROCESSING
14.43/14.53 c #Conflicts: 7000 | #Constraints: 94934
14.43/14.53 c #Conflicts: 8000 | #Constraints: 95934
14.43/14.53 c #Conflicts: 9000 | #Constraints: 96934
14.43/14.53 c INPROCESSING
14.43/14.53 c GARBAGE COLLECT
14.43/14.53 c #Conflicts: 10000 | #Constraints: 95637
14.43/14.53 c #Conflicts: 11000 | #Constraints: 96637
14.43/14.53 c #Conflicts: 12000 | #Constraints: 97637
14.43/14.53 c INPROCESSING
14.43/14.53 c GARBAGE COLLECT
14.43/14.53 c rational objective 361
17.21/17.39 c #Conflicts: 13000 | #Constraints: 96084
17.21/17.39 c #Conflicts: 14000 | #Constraints: 97084
17.21/17.39 c #Conflicts: 15000 | #Constraints: 98084
17.21/17.39 c INPROCESSING
17.21/17.39 c GARBAGE COLLECT
17.21/17.39 c rational objective 361
20.51/20.68 c #Conflicts: 16000 | #Constraints: 96315
20.51/20.68 c #Conflicts: 17000 | #Constraints: 97315
20.51/20.68 c #Conflicts: 18000 | #Constraints: 98315
20.51/20.68 c INPROCESSING
20.51/20.68 c GARBAGE COLLECT
20.51/20.68 c rational objective 361
23.70/23.81 c #Conflicts: 19000 | #Constraints: 96338
23.70/23.81 c #Conflicts: 20000 | #Constraints: 97338
23.70/23.81 c #Conflicts: 21000 | #Constraints: 98338
23.70/23.81 c INPROCESSING
23.70/23.81 c GARBAGE COLLECT
23.70/23.81 c rational objective 361
26.80/26.94 c #Conflicts: 22000 | #Constraints: 96135
26.80/26.94 c #Conflicts: 23000 | #Constraints: 97135
26.80/26.94 c #Conflicts: 24000 | #Constraints: 98135
26.80/26.94 c #Conflicts: 25000 | #Constraints: 99135
26.80/26.94 c INPROCESSING
26.80/26.94 c GARBAGE COLLECT
26.80/26.94 c rational objective 361
69.69/69.90 c #Conflicts: 26000 | #Constraints: 96740
69.69/69.90 c #Conflicts: 27000 | #Constraints: 97740
69.69/69.90 c #Conflicts: 28000 | #Constraints: 98740
69.69/69.90 c #Conflicts: 29000 | #Constraints: 99740
69.69/69.90 c INPROCESSING
69.69/69.90 c GARBAGE COLLECT
69.69/69.90 c #Conflicts: 30000 | #Constraints: 97135
69.69/69.90 c #Conflicts: 31000 | #Constraints: 98135
69.69/69.90 c #Conflicts: 32000 | #Constraints: 99135
69.69/69.90 c #Conflicts: 33000 | #Constraints: 100135
69.69/69.90 c INPROCESSING
69.69/69.90 c GARBAGE COLLECT
69.69/69.90 c #Conflicts: 34000 | #Constraints: 97335
69.69/69.90 c #Conflicts: 35000 | #Constraints: 98335
69.69/69.90 c #Conflicts: 36000 | #Constraints: 99335
69.69/69.90 c #Conflicts: 37000 | #Constraints: 100335
69.69/69.90 c INPROCESSING
69.69/69.90 c GARBAGE COLLECT
69.69/69.90 c #Conflicts: 38000 | #Constraints: 97349
69.69/69.90 c #Conflicts: 39000 | #Constraints: 98349
69.69/69.90 c #Conflicts: 40000 | #Constraints: 99349
69.69/69.90 c #Conflicts: 41000 | #Constraints: 100349
69.69/69.90 c INPROCESSING
69.69/69.90 c GARBAGE COLLECT
69.69/69.90 c #Conflicts: 42000 | #Constraints: 97156
69.69/69.90 c #Conflicts: 43000 | #Constraints: 98156
69.69/69.90 c #Conflicts: 44000 | #Constraints: 99156
69.69/69.90 c #Conflicts: 45000 | #Constraints: 100156
69.69/69.90 c #Conflicts: 46000 | #Constraints: 101156
69.69/69.90 c INPROCESSING
69.69/69.90 c GARBAGE COLLECT
69.69/69.90 c #Conflicts: 47000 | #Constraints: 97742
69.69/69.90 c #Conflicts: 48000 | #Constraints: 98742
69.69/69.90 c #Conflicts: 49000 | #Constraints: 99742
69.69/69.90 c #Conflicts: 50000 | #Constraints: 100742
69.69/69.90 c #Conflicts: 51000 | #Constraints: 101742
69.69/69.90 c INPROCESSING
69.69/69.90 c GARBAGE COLLECT
69.69/69.90 c #Conflicts: 52000 | #Constraints: 98143
69.69/69.90 c #Conflicts: 53000 | #Constraints: 99143
69.69/69.90 c #Conflicts: 54000 | #Constraints: 100143
69.69/69.90 c #Conflicts: 55000 | #Constraints: 101143
69.69/69.90 c #Conflicts: 56000 | #Constraints: 102143
69.69/69.90 c INPROCESSING
69.69/69.90 c GARBAGE COLLECT
69.69/69.90 c #Conflicts: 57000 | #Constraints: 98341
69.69/69.90 c #Conflicts: 58000 | #Constraints: 99341
69.69/69.90 c #Conflicts: 59000 | #Constraints: 100341
69.69/69.90 c #Conflicts: 60000 | #Constraints: 101341
69.69/69.90 c #Conflicts: 61000 | #Constraints: 102341
69.69/69.90 c INPROCESSING
69.69/69.90 c GARBAGE COLLECT
69.69/69.90 c rational objective 361
72.89/73.15 c #Conflicts: 62000 | #Constraints: 98348
72.89/73.15 c #Conflicts: 63000 | #Constraints: 99348
72.89/73.15 c #Conflicts: 64000 | #Constraints: 100348
72.89/73.15 c #Conflicts: 65000 | #Constraints: 101348
72.89/73.15 c #Conflicts: 66000 | #Constraints: 102348
72.89/73.15 c INPROCESSING
72.89/73.15 c GARBAGE COLLECT
72.89/73.15 c rational objective 361
76.07/76.31 c #Conflicts: 67000 | #Constraints: 98145
76.07/76.31 c #Conflicts: 68000 | #Constraints: 99145
76.07/76.31 c #Conflicts: 69000 | #Constraints: 100145
76.07/76.31 c #Conflicts: 70000 | #Constraints: 101145
76.07/76.31 c #Conflicts: 71000 | #Constraints: 102145
76.07/76.31 c #Conflicts: 72000 | #Constraints: 103145
76.07/76.31 c INPROCESSING
76.07/76.31 c GARBAGE COLLECT
76.07/76.31 c rational objective 361
78.87/79.18 c #Conflicts: 73000 | #Constraints: 98739
78.87/79.18 c #Conflicts: 74000 | #Constraints: 99739
78.87/79.18 c #Conflicts: 75000 | #Constraints: 100739
78.87/79.18 c #Conflicts: 76000 | #Constraints: 101739
78.87/79.18 c #Conflicts: 77000 | #Constraints: 102739
78.87/79.18 c #Conflicts: 78000 | #Constraints: 103739
78.87/79.18 c INPROCESSING
78.87/79.18 c GARBAGE COLLECT
78.87/79.18 c rational objective 361
81.96/82.20 c #Conflicts: 79000 | #Constraints: 99142
81.96/82.20 c #Conflicts: 80000 | #Constraints: 100142
81.96/82.20 c #Conflicts: 81000 | #Constraints: 101142
81.96/82.20 c #Conflicts: 82000 | #Constraints: 102142
81.96/82.20 c #Conflicts: 83000 | #Constraints: 103142
81.96/82.20 c #Conflicts: 84000 | #Constraints: 104142
81.96/82.20 c INPROCESSING
81.96/82.20 c GARBAGE COLLECT
81.96/82.20 c rational objective 361
85.14/85.45 c #Conflicts: 85000 | #Constraints: 99349
85.14/85.45 c #Conflicts: 86000 | #Constraints: 100349
85.14/85.45 c #Conflicts: 87000 | #Constraints: 101349
85.14/85.45 c #Conflicts: 88000 | #Constraints: 102349
85.14/85.45 c #Conflicts: 89000 | #Constraints: 103349
85.14/85.45 c #Conflicts: 90000 | #Constraints: 104349
85.14/85.45 c INPROCESSING
85.14/85.45 c GARBAGE COLLECT
85.14/85.45 c rational objective 361
88.44/88.74 c #Conflicts: 91000 | #Constraints: 99346
88.44/88.74 c #Conflicts: 92000 | #Constraints: 100346
88.44/88.74 c #Conflicts: 93000 | #Constraints: 101346
88.44/88.74 c #Conflicts: 94000 | #Constraints: 102346
88.44/88.74 c #Conflicts: 95000 | #Constraints: 103346
88.44/88.74 c #Conflicts: 96000 | #Constraints: 104346
88.44/88.74 c INPROCESSING
88.44/88.74 c GARBAGE COLLECT
88.44/88.74 c rational objective 361
110.88/111.26 c #Conflicts: 97000 | #Constraints: 99155
110.88/111.26 c #Conflicts: 98000 | #Constraints: 100155
110.88/111.26 c #Conflicts: 99000 | #Constraints: 101155
110.88/111.26 c #Conflicts: 100000 | #Constraints: 102155
110.88/111.26 c #Conflicts: 101000 | #Constraints: 103155
110.88/111.26 c #Conflicts: 102000 | #Constraints: 104155
110.88/111.26 c #Conflicts: 103000 | #Constraints: 105155
110.88/111.26 c INPROCESSING
110.88/111.26 c GARBAGE COLLECT
110.88/111.26 WSVECS04 Frhs2[17]: 6 0 0.0193535 shouldn't be
110.88/111.26 WSVECS04 Frhs2[36]: 6 -0.442172 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[162]: 6 0 1.83414 shouldn't be
110.88/111.26 WSVECS04 Frhs2[163]: 6 0 1.83417 shouldn't be
110.88/111.26 WSVECS04 Frhs2[218]: 6 0 0.239912 shouldn't be
110.88/111.26 WSVECS04 Frhs2[242]: 6 0 1.29779 shouldn't be
110.88/111.26 WSVECS04 Frhs2[266]: 6 0 0.447786 shouldn't be
110.88/111.26 WSVECS04 Frhs2[272]: 6 0 3.23335 shouldn't be
110.88/111.26 WSVECS04 Frhs2[325]: 6 0 2.00006 shouldn't be
110.88/111.26 WSVECS04 Frhs2[327]: 6 0 2.00006 shouldn't be
110.88/111.26 WSVECS04 Frhs2[354]: 6 -1.00006 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[361]: 6 0 0.189969 shouldn't be
110.88/111.26 WSVECS04 Frhs2[373]: 6 0 0.0168063 shouldn't be
110.88/111.26 WSVECS04 Frhs2[374]: 6 0 0.0168182 shouldn't be
110.88/111.26 WSVECS04 Frhs2[440]: 6 0 0.130437 shouldn't be
110.88/111.26 WSVECS04 Frhs2[467]: 6 0 1.59339 shouldn't be
110.88/111.26 WSVECS04 Frhs2[515]: 6 0 0.466034 shouldn't be
110.88/111.26 WSVECS04 Frhs2[546]: 6 0 2.04952 shouldn't be
110.88/111.26 WSVECS04 Frhs2[548]: 6 0 2.04946 shouldn't be
110.88/111.26 WSVECS04 Frhs2[555]: 6 0 2.01291 shouldn't be
110.88/111.26 WSVECS04 Frhs2[561]: 6 0 0.307167 shouldn't be
110.88/111.26 WSVECS04 Frhs2[566]: 6 0 0.978581 shouldn't be
110.88/111.26 WSVECS04 Frhs2[567]: 6 0 0.978618 shouldn't be
110.88/111.26 WSVECS04 Frhs2[621]: 6 0 3.29906 shouldn't be
110.88/111.26 WSVECS04 Frhs2[624]: 6 0 3.74782 shouldn't be
110.88/111.26 WSVECS04 Frhs2[634]: 6 0 2.08194 shouldn't be
110.88/111.26 WSVECS04 Frhs2[636]: 6 0 2.08193 shouldn't be
110.88/111.26 WSVECS04 Frhs2[646]: 6 -0.258216 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[677]: 6 0 0.898583 shouldn't be
110.88/111.26 WSVECS04 Frhs2[679]: 6 -0.461487 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[688]: 6 0 1.32414 shouldn't be
110.88/111.26 WSVECS04 Frhs2[690]: 6 0 0.675518 shouldn't be
110.88/111.26 WSVECS04 Frhs2[691]: 6 0 0.675566 shouldn't be
110.88/111.26 WSVECS04 Frhs2[723]: 6 -0.508348 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[772]: 6 0 0.338948 shouldn't be
110.88/111.26 WSVECS04 Frhs2[797]: 6 0 0.376156 shouldn't be
110.88/111.26 WSVECS04 Frhs2[799]: 6 0 0.376189 shouldn't be
110.88/111.26 WSVECS04 Frhs2[842]: 6 -1.80061 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[876]: 6 0 1.10004 shouldn't be
110.88/111.26 WSVECS04 Frhs2[881]: 6 0 2.29593 shouldn't be
110.88/111.26 WSVECS04 Frhs2[884]: 6 0 3.29551 shouldn't be
110.88/111.26 WSVECS04 Frhs2[889]: 6 0 0.305832 shouldn't be
110.88/111.26 WSVECS04 Frhs2[892]: 6 0 0.305853 shouldn't be
110.88/111.26 WSVECS04 Frhs2[894]: 6 0 0.26905 shouldn't be
110.88/111.26 WSVECS04 Frhs2[939]: 6 0 1.11116 shouldn't be
110.88/111.26 WSVECS04 Frhs2[940]: 6 0 1.11112 shouldn't be
110.88/111.26 WSVECS04 Frhs2[976]: 6 0 2.4033 shouldn't be
110.88/111.26 WSVECS04 Frhs2[985]: 6 0 0.126143 shouldn't be
110.88/111.26 WSVECS04 Frhs2[986]: 6 0 0.126115 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1028]: 6 -1.3128 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1049]: 6 0 0.243254 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1052]: 6 0 1.44133 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1069]: 6 0 0.00390601 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1070]: 6 0 0.0039511 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1134]: 6 0 1.69773 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1135]: 6 0 1.69772 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1138]: 6 -0.884755 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1145]: 6 -1.19808 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1259]: 6 -0.31329 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1317]: 6 -0.194596 0 shouldn't be
110.88/111.26 WSVECS04 Frhs2[1430]: 6 0 0.846507 shouldn't be
120.26/120.67 WSVECS04 Frhs2[133]: 6 -2.35691 0 shouldn't be
120.26/120.67 WSVECS04 Frhs2[201]: 6 0 3.04618 shouldn't be
120.26/120.67 WSVECS04 Frhs2[209]: 6 -6.58677 0 shouldn't be
120.26/120.67 WSVECS04 Frhs2[219]: 6 0 2.49941 shouldn't be
120.26/120.67 WSVECS04 Frhs2[233]: 6 0 0.119087 shouldn't be
120.26/120.67 WSVECS04 Frhs2[239]: 6 0 1.94009 shouldn't be
120.26/120.67 WSVECS04 Frhs2[240]: 6 0 1.94007 shouldn't be
120.26/120.67 WSVECS04 Frhs2[294]: 6 0 3.49325 shouldn't be
120.26/120.67 WSVECS04 Frhs2[296]: 6 0 3.49323 shouldn't be
120.26/120.67 WSVECS04 Frhs2[306]: 6 0 2.77354 shouldn't be
120.26/120.67 WSVECS04 Frhs2[322]: 6 0 1.16712 shouldn't be
120.26/120.67 WSVECS04 Frhs2[323]: 6 0 1.16717 shouldn't be
120.26/120.67 WSVECS04 Frhs2[441]: 6 0 0.472765 shouldn't be
120.26/120.67 WSVECS04 Frhs2[457]: 6 0 3.60557 shouldn't be
120.26/120.67 WSVECS04 Frhs2[588]: 6 -1.2941 0 shouldn't be
120.26/120.67 WSVECS04 Frhs2[593]: 6 -3.00232 0 shouldn't be
120.26/120.67 WSVECS04 Frhs2[594]: 6 0 1.36111 shouldn't be
120.26/120.67 WSVECS04 Frhs2[606]: 6 0 0.672225 shouldn't be
120.26/120.67 WSVECS04 Frhs2[627]: 6 0 0.811379 shouldn't be
120.26/120.67 WSVECS04 Frhs2[628]: 6 0 0.811425 shouldn't be
120.26/120.67 WSVECS04 Frhs2[641]: 6 0 0.0501991 shouldn't be
120.26/120.67 WSVECS04 Frhs2[642]: 6 0 0.0502091 shouldn't be
120.26/120.67 WSVECS04 Frhs2[666]: 6 0 3.53358 shouldn't be
120.26/120.67 WSVECS04 Frhs2[667]: 6 0 3.5336 shouldn't be
120.26/120.67 WSVECS04 Frhs2[669]: 6 0 3.48739 shouldn't be
120.26/120.67 WSVECS04 Frhs2[671]: 6 0 3.48745 shouldn't be
120.26/120.67 WSVECS04 Frhs2[745]: 6 0 1.94622 shouldn't be
120.26/120.67 WSVECS04 Frhs2[746]: 6 0 1.9462 shouldn't be
120.26/120.67 WSVECS04 Frhs2[804]: 6 0 3.90807 shouldn't be
120.26/120.67 WSVECS04 Frhs2[817]: 6 0 2.48957 shouldn't be
120.26/120.67 WSVECS04 Frhs2[818]: 6 0 2.48959 shouldn't be
120.26/120.67 WSVECS04 Frhs2[893]: 6 0 0.0403226 shouldn't be
120.26/120.67 WSVECS04 Frhs2[921]: 6 0 0.0372408 shouldn't be
120.26/120.67 WSVECS04 Frhs2[926]: 6 0 2.47364 shouldn't be
120.26/120.67 WSVECS04 Frhs2[928]: 6 0 2.47372 shouldn't be
120.26/120.67 WSVECS04 Frhs2[966]: 6 0 4.12506 shouldn't be
120.26/120.67 WSVECS04 Frhs2[967]: 6 0 4.12504 shouldn't be
120.26/120.67 WSVECS04 Frhs2[974]: 6 0 2.40333 shouldn't be
120.26/120.67 WSVECS04 Frhs2[992]: 6 -4.00815 0 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1089]: 6 0 1.19588 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1119]: 6 -7.588 0 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1171]: 6 0 0.314495 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1199]: 6 0 0.414674 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1222]: 6 0 2.47368 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1224]: 6 0 2.47367 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1245]: 6 0 1.01549 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1248]: 6 0 2.0191 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1339]: 6 0 1.53563 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1379]: 6 0 1.99432 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1389]: 6 0 3.49407 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1390]: 6 0 3.4941 shouldn't be
120.26/120.67 WSVECS04 Frhs2[1420]: 6 0 2.67936 shouldn't be
120.26/120.67 WSVECS04 Frhs2[2880]: 6 0 2.43903 shouldn't be
131.44/131.84 WSVECS04 Frhs2[37]: 6 0 1.4812 shouldn't be
131.44/131.84 WSVECS04 Frhs2[39]: 6 0 1.48114 shouldn't be
131.44/131.84 WSVECS04 Frhs2[91]: 6 0 0.592344 shouldn't be
131.44/131.84 WSVECS04 Frhs2[96]: 6 0 3.35542 shouldn't be
131.44/131.84 WSVECS04 Frhs2[166]: 6 0 0.250581 shouldn't be
131.44/131.84 WSVECS04 Frhs2[262]: 6 0 3.59382 shouldn't be
131.44/131.84 WSVECS04 Frhs2[263]: 6 0 8.59388 shouldn't be
131.44/131.84 WSVECS04 Frhs2[342]: 6 0 1.61787 shouldn't be
131.44/131.84 WSVECS04 Frhs2[346]: 6 0 0.01966 shouldn't be
131.44/131.84 WSVECS04 Frhs2[372]: 6 -2.06371 0 shouldn't be
131.44/131.84 WSVECS04 Frhs2[429]: 6 0 1.0546 shouldn't be
131.44/131.84 WSVECS04 Frhs2[432]: 6 0 1.05453 shouldn't be
131.44/131.84 WSVECS04 Frhs2[495]: 6 0 4.46577 shouldn't be
131.44/131.84 WSVECS04 Frhs2[541]: 6 0 0.376185 shouldn't be
131.44/131.84 WSVECS04 Frhs2[585]: 6 0 0.265006 shouldn't be
131.44/131.84 WSVECS04 Frhs2[587]: 6 0 0.264978 shouldn't be
131.44/131.84 WSVECS04 Frhs2[618]: 6 0 0.328389 shouldn't be
131.44/131.84 WSVECS04 Frhs2[635]: 6 0 2.08194 shouldn't be
131.44/131.84 WSVECS04 Frhs2[779]: 6 0 0.621393 shouldn't be
131.44/131.84 WSVECS04 Frhs2[877]: 6 0 1.32819 shouldn't be
131.44/131.84 WSVECS04 Frhs2[878]: 6 0 1.32811 shouldn't be
131.44/131.84 WSVECS04 Frhs2[960]: 6 0 0.144571 shouldn't be
131.44/131.84 WSVECS04 Frhs2[970]: 6 0 0.862386 shouldn't be
131.44/131.84 WSVECS04 Frhs2[1038]: 6 0 2.71292 shouldn't be
131.44/131.84 WSVECS04 Frhs2[1039]: 6 0 2.71292 shouldn't be
131.44/131.84 WSVECS04 Frhs2[1066]: 6 0 0.202748 shouldn't be
131.44/131.84 WSVECS04 Frhs2[1086]: 6 0 4.71118 shouldn't be
131.44/131.84 WSVECS04 Frhs2[1189]: 6 0 0.435161 shouldn't be
131.44/131.84 WSVECS04 Frhs2[1200]: 6 0 0.414711 shouldn't be
131.44/131.84 WSVECS04 Frhs2[1227]: 6 0 2.79315 shouldn't be
131.44/131.84 WSVECS04 Frhs2[1342]: 6 -1.53492 0 shouldn't be
168.05/168.52 c #Conflicts: 104000 | #Constraints: 99745
168.05/168.52 c #Conflicts: 105000 | #Constraints: 100745
168.05/168.52 c #Conflicts: 106000 | #Constraints: 101745
168.05/168.52 c #Conflicts: 107000 | #Constraints: 102745
168.05/168.52 c #Conflicts: 108000 | #Constraints: 103745
168.05/168.52 c #Conflicts: 109000 | #Constraints: 104745
168.05/168.52 c #Conflicts: 110000 | #Constraints: 105745
168.05/168.52 c INPROCESSING
168.05/168.52 c GARBAGE COLLECT
168.05/168.52 c #Conflicts: 111000 | #Constraints: 100149
168.05/168.52 c #Conflicts: 112000 | #Constraints: 101149
168.05/168.52 c #Conflicts: 113000 | #Constraints: 102149
168.05/168.52 c #Conflicts: 114000 | #Constraints: 103149
168.05/168.52 c #Conflicts: 115000 | #Constraints: 104149
168.05/168.52 c #Conflicts: 116000 | #Constraints: 105149
168.05/168.52 c #Conflicts: 117000 | #Constraints: 106149
168.05/168.52 c INPROCESSING
168.05/168.52 c GARBAGE COLLECT
168.05/168.52 c #Conflicts: 118000 | #Constraints: 100340
168.05/168.52 c #Conflicts: 119000 | #Constraints: 101340
168.05/168.52 c #Conflicts: 120000 | #Constraints: 102340
168.05/168.52 c #Conflicts: 121000 | #Constraints: 103340
168.05/168.52 c #Conflicts: 122000 | #Constraints: 104340
168.05/168.52 c #Conflicts: 123000 | #Constraints: 105340
168.05/168.52 c #Conflicts: 124000 | #Constraints: 106340
168.05/168.52 c INPROCESSING
168.05/168.52 c GARBAGE COLLECT
168.05/168.52 c #Conflicts: 125000 | #Constraints: 100335
168.05/168.52 c #Conflicts: 126000 | #Constraints: 101335
168.05/168.52 c #Conflicts: 127000 | #Constraints: 102335
168.05/168.52 c #Conflicts: 128000 | #Constraints: 103335
168.05/168.52 c #Conflicts: 129000 | #Constraints: 104335
168.05/168.52 c #Conflicts: 130000 | #Constraints: 105335
168.05/168.52 c #Conflicts: 131000 | #Constraints: 106335
168.05/168.52 c INPROCESSING
168.05/168.52 c GARBAGE COLLECT
168.05/168.52 c #Conflicts: 132000 | #Constraints: 100134
168.05/168.52 c #Conflicts: 133000 | #Constraints: 101134
168.05/168.52 c #Conflicts: 134000 | #Constraints: 102134
168.05/168.52 c #Conflicts: 135000 | #Constraints: 103134
168.05/168.52 c #Conflicts: 136000 | #Constraints: 104134
168.05/168.52 c #Conflicts: 137000 | #Constraints: 105134
168.05/168.52 c #Conflicts: 138000 | #Constraints: 106134
168.05/168.52 c #Conflicts: 139000 | #Constraints: 107134
168.05/168.52 c INPROCESSING
168.05/168.52 c GARBAGE COLLECT
168.05/168.52 c #Conflicts: 140000 | #Constraints: 100746
168.05/168.52 c #Conflicts: 141000 | #Constraints: 101746
168.05/168.52 c #Conflicts: 142000 | #Constraints: 102746
168.05/168.52 c #Conflicts: 143000 | #Constraints: 103746
168.05/168.52 c #Conflicts: 144000 | #Constraints: 104746
168.05/168.52 c #Conflicts: 145000 | #Constraints: 105746
168.05/168.52 c #Conflicts: 146000 | #Constraints: 106746
168.05/168.52 c #Conflicts: 147000 | #Constraints: 107746
168.05/168.52 c INPROCESSING
168.05/168.52 c GARBAGE COLLECT
168.05/168.52 c #Conflicts: 148000 | #Constraints: 101152
168.05/168.52 c #Conflicts: 149000 | #Constraints: 102152
168.05/168.52 c #Conflicts: 150000 | #Constraints: 103152
168.05/168.52 c #Conflicts: 151000 | #Constraints: 104152
168.05/168.52 c #Conflicts: 152000 | #Constraints: 105152
168.05/168.52 c #Conflicts: 153000 | #Constraints: 106152
168.05/168.52 c #Conflicts: 154000 | #Constraints: 107152
168.05/168.52 c #Conflicts: 155000 | #Constraints: 108152
168.05/168.52 c INPROCESSING
168.05/168.52 c GARBAGE COLLECT
168.05/168.52 c #Conflicts: 156000 | #Constraints: 101352
168.05/168.52 c #Conflicts: 157000 | #Constraints: 102352
168.05/168.52 c #Conflicts: 158000 | #Constraints: 103352
168.05/168.52 c #Conflicts: 159000 | #Constraints: 104352
168.05/168.52 c #Conflicts: 160000 | #Constraints: 105352
168.05/168.52 c #Conflicts: 161000 | #Constraints: 106352
168.05/168.52 c #Conflicts: 162000 | #Constraints: 107352
168.05/168.52 c #Conflicts: 163000 | #Constraints: 108352
168.05/168.52 c INPROCESSING
168.05/168.52 c GARBAGE COLLECT
168.05/168.52 c #Conflicts: 164000 | #Constraints: 101349
168.05/168.52 c #Conflicts: 165000 | #Constraints: 102349
168.05/168.52 c #Conflicts: 166000 | #Constraints: 103349
168.05/168.52 c #Conflicts: 167000 | #Constraints: 104349
168.05/168.52 c #Conflicts: 168000 | #Constraints: 105349
168.05/168.52 c #Conflicts: 169000 | #Constraints: 106349
168.05/168.52 c #Conflicts: 170000 | #Constraints: 107349
168.05/168.52 c #Conflicts: 171000 | #Constraints: 108349
168.05/168.52 c INPROCESSING
168.05/168.52 c GARBAGE COLLECT
168.05/168.52 c #Conflicts: 172000 | #Constraints: 101141
168.05/168.52 c #Conflicts: 173000 | #Constraints: 102141
168.05/168.52 c #Conflicts: 174000 | #Constraints: 103141
168.05/168.52 c #Conflicts: 175000 | #Constraints: 104141
168.05/168.52 c #Conflicts: 176000 | #Constraints: 105141
168.05/168.52 c #Conflicts: 177000 | #Constraints: 106141
240.68/241.39 c #Conflicts: 178000 | #Constraints: 107141
240.68/241.39 c #Conflicts: 179000 | #Constraints: 108141
240.68/241.39 c #Conflicts: 180000 | #Constraints: 109141
240.68/241.39 c INPROCESSING
240.68/241.39 c GARBAGE COLLECT
240.68/241.39 c #Conflicts: 181000 | #Constraints: 101744
240.68/241.39 c #Conflicts: 182000 | #Constraints: 102744
240.68/241.39 c #Conflicts: 183000 | #Constraints: 103744
240.68/241.39 c #Conflicts: 184000 | #Constraints: 104744
240.68/241.39 c #Conflicts: 185000 | #Constraints: 105744
240.68/241.39 c #Conflicts: 186000 | #Constraints: 106744
240.68/241.39 c #Conflicts: 187000 | #Constraints: 107744
240.68/241.39 c #Conflicts: 188000 | #Constraints: 108744
240.68/241.39 c #Conflicts: 189000 | #Constraints: 109744
240.68/241.39 c INPROCESSING
240.68/241.39 c GARBAGE COLLECT
240.68/241.39 c #Conflicts: 190000 | #Constraints: 102154
240.68/241.39 c #Conflicts: 191000 | #Constraints: 103154
240.68/241.39 c #Conflicts: 192000 | #Constraints: 104154
240.68/241.39 c #Conflicts: 193000 | #Constraints: 105154
240.68/241.39 c #Conflicts: 194000 | #Constraints: 106154
240.68/241.39 c #Conflicts: 195000 | #Constraints: 107154
240.68/241.39 c #Conflicts: 196000 | #Constraints: 108154
240.68/241.39 c #Conflicts: 197000 | #Constraints: 109154
240.68/241.39 c #Conflicts: 198000 | #Constraints: 110154
240.68/241.39 c INPROCESSING
240.68/241.39 c GARBAGE COLLECT
240.68/241.39 c #Conflicts: 199000 | #Constraints: 102365
240.68/241.39 c #Conflicts: 200000 | #Constraints: 103365
240.68/241.39 c #Conflicts: 201000 | #Constraints: 104365
240.68/241.39 c #Conflicts: 202000 | #Constraints: 105365
240.68/241.39 c #Conflicts: 203000 | #Constraints: 106365
240.68/241.39 c #Conflicts: 204000 | #Constraints: 107365
240.68/241.39 c #Conflicts: 205000 | #Constraints: 108365
240.68/241.39 c #Conflicts: 206000 | #Constraints: 109365
240.68/241.39 c #Conflicts: 207000 | #Constraints: 110365
240.68/241.39 c INPROCESSING
240.68/241.39 c GARBAGE COLLECT
240.68/241.39 c #Conflicts: 208000 | #Constraints: 102359
240.68/241.39 c #Conflicts: 209000 | #Constraints: 103359
240.68/241.39 c #Conflicts: 210000 | #Constraints: 104359
240.68/241.39 c #Conflicts: 211000 | #Constraints: 105359
240.68/241.39 c #Conflicts: 212000 | #Constraints: 106359
240.68/241.39 c #Conflicts: 213000 | #Constraints: 107359
240.68/241.39 c #Conflicts: 214000 | #Constraints: 108359
240.68/241.39 c #Conflicts: 215000 | #Constraints: 109359
240.68/241.39 c #Conflicts: 216000 | #Constraints: 110359
240.68/241.39 c INPROCESSING
240.68/241.39 c GARBAGE COLLECT
240.68/241.39 c #Conflicts: 217000 | #Constraints: 102162
240.68/241.39 c #Conflicts: 218000 | #Constraints: 103162
240.68/241.39 c #Conflicts: 219000 | #Constraints: 104162
240.68/241.39 c #Conflicts: 220000 | #Constraints: 105162
240.68/241.39 c #Conflicts: 221000 | #Constraints: 106162
240.68/241.39 c #Conflicts: 222000 | #Constraints: 107162
240.68/241.39 c #Conflicts: 223000 | #Constraints: 108162
240.68/241.39 c #Conflicts: 224000 | #Constraints: 109162
240.68/241.39 c #Conflicts: 225000 | #Constraints: 110162
240.68/241.39 c #Conflicts: 226000 | #Constraints: 111162
240.68/241.39 c INPROCESSING
240.68/241.39 c GARBAGE COLLECT
240.68/241.39 c #Conflicts: 227000 | #Constraints: 102766
240.68/241.39 c #Conflicts: 228000 | #Constraints: 103766
240.68/241.39 c #Conflicts: 229000 | #Constraints: 104766
240.68/241.39 c #Conflicts: 230000 | #Constraints: 105766
240.68/241.39 c #Conflicts: 231000 | #Constraints: 106766
240.68/241.39 c #Conflicts: 232000 | #Constraints: 107766
240.68/241.39 c #Conflicts: 233000 | #Constraints: 108766
240.68/241.39 c #Conflicts: 234000 | #Constraints: 109766
240.68/241.39 c #Conflicts: 235000 | #Constraints: 110766
240.68/241.39 c #Conflicts: 236000 | #Constraints: 111767
240.68/241.39 c INPROCESSING
240.68/241.39 c GARBAGE COLLECT
240.68/241.39 c #Conflicts: 237000 | #Constraints: 103030
240.68/241.39 c #Conflicts: 238000 | #Constraints: 104030
240.68/241.39 c #Conflicts: 239000 | #Constraints: 105030
240.68/241.39 c #Conflicts: 240000 | #Constraints: 106030
240.68/241.39 c #Conflicts: 241000 | #Constraints: 107030
240.68/241.39 c #Conflicts: 242000 | #Constraints: 108030
240.68/241.39 c #Conflicts: 243000 | #Constraints: 109030
240.68/241.39 c #Conflicts: 244000 | #Constraints: 110030
240.68/241.39 c #Conflicts: 245000 | #Constraints: 111030
240.68/241.39 c #Conflicts: 246000 | #Constraints: 112030
240.68/241.39 c INPROCESSING
240.68/241.39 c GARBAGE COLLECT
240.68/241.39 c #Conflicts: 247000 | #Constraints: 103228
240.68/241.39 c #Conflicts: 248000 | #Constraints: 104228
240.68/241.39 c #Conflicts: 249000 | #Constraints: 105228
240.68/241.39 c #Conflicts: 250000 | #Constraints: 106228
269.91/270.66 c #Conflicts: 251000 | #Constraints: 107228
269.91/270.66 c #Conflicts: 252000 | #Constraints: 108228
269.91/270.66 c #Conflicts: 253000 | #Constraints: 109228
269.91/270.66 c #Conflicts: 254000 | #Constraints: 110228
269.91/270.66 c #Conflicts: 255000 | #Constraints: 111228
269.91/270.66 c #Conflicts: 256000 | #Constraints: 112228
269.91/270.66 c INPROCESSING
269.91/270.66 c GARBAGE COLLECT
269.91/270.66 c #Conflicts: 257000 | #Constraints: 103225
269.91/270.66 c #Conflicts: 258000 | #Constraints: 104225
269.91/270.66 c #Conflicts: 259000 | #Constraints: 105225
269.91/270.66 c #Conflicts: 260000 | #Constraints: 106225
269.91/270.66 c #Conflicts: 261000 | #Constraints: 107225
269.91/270.66 c #Conflicts: 262000 | #Constraints: 108225
269.91/270.66 c #Conflicts: 263000 | #Constraints: 109225
269.91/270.66 c #Conflicts: 264000 | #Constraints: 110225
269.91/270.66 c #Conflicts: 265000 | #Constraints: 111225
269.91/270.66 c #Conflicts: 266000 | #Constraints: 112225
269.91/270.66 c INPROCESSING
269.91/270.66 c GARBAGE COLLECT
269.91/270.66 c #Conflicts: 267000 | #Constraints: 103023
269.91/270.66 c #Conflicts: 268000 | #Constraints: 104023
269.91/270.66 c #Conflicts: 269000 | #Constraints: 105023
269.91/270.66 c #Conflicts: 270000 | #Constraints: 106023
269.91/270.66 c #Conflicts: 271000 | #Constraints: 107023
269.91/270.66 c #Conflicts: 272000 | #Constraints: 108023
269.91/270.66 c #Conflicts: 273000 | #Constraints: 109023
269.91/270.66 c #Conflicts: 274000 | #Constraints: 110023
269.91/270.66 c #Conflicts: 275000 | #Constraints: 111023
269.91/270.66 c #Conflicts: 276000 | #Constraints: 112023
269.91/270.66 c #Conflicts: 277000 | #Constraints: 113023
269.91/270.66 c INPROCESSING
269.91/270.66 c GARBAGE COLLECT
269.91/270.66 c #Conflicts: 278000 | #Constraints: 103617
269.91/270.66 c #Conflicts: 279000 | #Constraints: 104617
269.91/270.66 c #Conflicts: 280000 | #Constraints: 105618
269.91/270.66 c #Conflicts: 281000 | #Constraints: 106618
269.91/270.66 c #Conflicts: 282000 | #Constraints: 107618
269.91/270.66 c #Conflicts: 283000 | #Constraints: 108618
269.91/270.66 c #Conflicts: 284000 | #Constraints: 109618
269.91/270.66 c #Conflicts: 285000 | #Constraints: 110618
269.91/270.66 c #Conflicts: 286000 | #Constraints: 111618
269.91/270.66 c #Conflicts: 287000 | #Constraints: 112618
269.91/270.66 c #Conflicts: 288000 | #Constraints: 113618
269.91/270.66 c INPROCESSING
269.91/270.66 c GARBAGE COLLECT
269.91/270.66 c #Conflicts: 289000 | #Constraints: 104022
269.91/270.66 c #Conflicts: 290000 | #Constraints: 105022
269.91/270.66 c #Conflicts: 291000 | #Constraints: 106022
269.91/270.66 c #Conflicts: 292000 | #Constraints: 107022
269.91/270.66 c #Conflicts: 293000 | #Constraints: 108022
269.91/270.66 c #Conflicts: 294000 | #Constraints: 109022
269.91/270.66 c #Conflicts: 295000 | #Constraints: 110022
269.91/270.66 c #Conflicts: 296000 | #Constraints: 111022
269.91/270.66 c #Conflicts: 297000 | #Constraints: 112022
269.91/270.66 c #Conflicts: 298000 | #Constraints: 113022
269.91/270.66 c #Conflicts: 299000 | #Constraints: 114022
269.91/270.66 c INPROCESSING
269.91/270.66 c GARBAGE COLLECT
269.91/270.66 c #Conflicts: 300000 | #Constraints: 104221
269.91/270.66 c #Conflicts: 301000 | #Constraints: 105221
269.91/270.66 c #Conflicts: 302000 | #Constraints: 106221
269.91/270.66 c #Conflicts: 303000 | #Constraints: 107221
269.91/270.66 c #Conflicts: 304000 | #Constraints: 108221
269.91/270.66 c #Conflicts: 305000 | #Constraints: 109221
269.91/270.66 c #Conflicts: 306000 | #Constraints: 110221
269.91/270.66 c #Conflicts: 307000 | #Constraints: 111221
269.91/270.66 c #Conflicts: 308000 | #Constraints: 112221
269.91/270.66 c #Conflicts: 309000 | #Constraints: 113221
269.91/270.66 c #Conflicts: 310000 | #Constraints: 114221
269.91/270.66 c INPROCESSING
269.91/270.66 c GARBAGE COLLECT
269.91/270.66 c #Conflicts: 311000 | #Constraints: 104224
269.91/270.66 c #Conflicts: 312000 | #Constraints: 105224
269.91/270.66 c #Conflicts: 313000 | #Constraints: 106224
269.91/270.66 c #Conflicts: 314000 | #Constraints: 107224
269.91/270.66 c #Conflicts: 315000 | #Constraints: 108224
269.91/270.66 c #Conflicts: 316000 | #Constraints: 109224
269.91/270.66 c #Conflicts: 317000 | #Constraints: 110224
269.91/270.66 c #Conflicts: 318000 | #Constraints: 111224
269.91/270.66 c #Conflicts: 319000 | #Constraints: 112224
269.91/270.66 c #Conflicts: 320000 | #Constraints: 113224
269.91/270.66 c #Conflicts: 321000 | #Constraints: 114224
269.91/270.66 c INPROCESSING
269.91/270.66 c GARBAGE COLLECT
269.91/270.66 c #Conflicts: 322000 | #Constraints: 104031
269.91/270.66 c #Conflicts: 323000 | #Constraints: 105031
269.91/270.66 c #Conflicts: 324000 | #Constraints: 106031
269.91/270.66 c #Conflicts: 325000 | #Constraints: 107031
274.90/275.63 c #Conflicts: 326000 | #Constraints: 108031
274.90/275.63 WSVECS04 Frhs2[5]: 6 0 200.829 shouldn't be
274.90/275.63 WSVECS04 Frhs2[18]: 6 0 0.563921 shouldn't be
274.90/275.63 WSVECS04 Frhs2[24]: 6 -41.5404 0 shouldn't be
274.90/275.63 WSVECS04 Frhs2[50]: 6 0 154.325 shouldn't be
274.90/275.63 WSVECS04 Frhs2[63]: 6 0 501.295 shouldn't be
274.90/275.63 WSVECS04 Frhs2[115]: 6 0 223.353 shouldn't be
274.90/275.63 WSVECS04 Frhs2[150]: 6 -974.151 0 shouldn't be
274.90/275.63 WSVECS04 Frhs2[154]: 6 0 30.7574 shouldn't be
274.90/275.63 WSVECS04 Frhs2[158]: 6 0 72.66 shouldn't be
274.90/275.63 WSVECS04 Frhs2[171]: 6 0 229.216 shouldn't be
274.90/275.63 WSVECS04 Frhs2[222]: 6 0 78.5044 shouldn't be
274.90/275.63 WSVECS04 Frhs2[241]: 6 0 126.579 shouldn't be
274.90/275.63 WSVECS04 Frhs2[243]: 6 0 159.587 shouldn't be
274.90/275.63 WSVECS04 Frhs2[250]: 6 0 202.829 shouldn't be
274.90/275.63 WSVECS04 Frhs2[268]: 6 0 0.5045 shouldn't be
274.90/275.63 WSVECS04 Frhs2[272]: 6 0 26.5802 shouldn't be
274.90/275.63 WSVECS04 Frhs2[301]: 6 0 301.823 shouldn't be
274.90/275.63 WSVECS04 Frhs2[312]: 6 0 186.908 shouldn't be
274.90/275.63 WSVECS04 Frhs2[354]: 6 -33.1488 0 shouldn't be
274.90/275.63 WSVECS04 Frhs2[520]: 6 0 251.089 shouldn't be
274.90/275.63 WSVECS04 Frhs2[653]: 6 0 236.243 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1009]: 6 0 70.282 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1029]: 6 0 28.1633 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1041]: 6 0 77.6527 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1102]: 6 -3.63078 0 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1131]: 6 -1.00003 0 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1149]: 6 0 212.6 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1152]: 6 -70.5586 0 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1220]: 6 0 9.13186 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1221]: 6 -934.194 0 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1225]: 6 0 1.00005 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1275]: 6 0 54.9951 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1290]: 6 -1.00002 0 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1336]: 6 0 260.763 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1369]: 6 -365.324 0 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1421]: 6 0 248.703 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1430]: 6 0 33.4559 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1432]: 6 0 33.4559 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1457]: 6 0 2.98508 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1493]: 6 0 16.3098 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1591]: 6 0 155.128 shouldn't be
274.90/275.63 WSVECS04 Frhs2[1825]: 6 0 4.14803 shouldn't be
274.90/275.63 WSVECS04 Frhs2[2489]: 6 0 294.486 shouldn't be
274.90/275.63 WSVECS04 Frhs2[2576]: 6 0 21.2874 shouldn't be
274.90/275.63 WSVECS04 Frhs2[2596]: 6 0 46.7655 shouldn't be
274.90/275.63 WSVECS04 Frhs2[2642]: 6 0 47.9975 shouldn't be
274.90/275.63 WSVECS04 Frhs2[3224]: 6 0 21.0774 shouldn't be
274.90/275.63 WSVECS04 Frhs2[3267]: 6 0 22.0936 shouldn't be
274.90/275.63 WSVECS04 Frhs2[3394]: 6 0 27.2424 shouldn't be
274.90/275.63 WSVECS04 Frhs2[3572]: 6 0 0.200835 shouldn't be
281.58/282.37 WSVECS04 Frhs2[43]: 6 -103.599 0 shouldn't be
281.58/282.37 WSVECS04 Frhs2[1229]: 6 0 67.8876 shouldn't be
281.58/282.37 WSVECS04 Frhs2[1388]: 6 0 377.013 shouldn't be
281.58/282.37 WSVECS04 Frhs2[1446]: 6 0 2.64746 shouldn't be
281.58/282.37 WSVECS04 Frhs2[2821]: 6 0 4.23254 shouldn't be
329.77/330.60 c #Conflicts: 327000 | #Constraints: 109032
329.77/330.60 c #Conflicts: 328000 | #Constraints: 110032
329.77/330.60 c #Conflicts: 329000 | #Constraints: 111032
329.77/330.60 c #Conflicts: 330000 | #Constraints: 112032
329.77/330.60 c #Conflicts: 331000 | #Constraints: 113032
329.77/330.60 c #Conflicts: 332000 | #Constraints: 114032
329.77/330.60 c #Conflicts: 333000 | #Constraints: 115032
329.77/330.60 c INPROCESSING
329.77/330.60 c GARBAGE COLLECT
329.77/330.60 c #Conflicts: 334000 | #Constraints: 104649
329.77/330.60 c #Conflicts: 335000 | #Constraints: 105649
329.77/330.60 c #Conflicts: 336000 | #Constraints: 106649
329.77/330.60 c #Conflicts: 337000 | #Constraints: 107649
329.77/330.60 c #Conflicts: 338000 | #Constraints: 108649
329.77/330.60 c #Conflicts: 339000 | #Constraints: 109649
329.77/330.60 c #Conflicts: 340000 | #Constraints: 110649
329.77/330.60 c #Conflicts: 341000 | #Constraints: 111649
329.77/330.60 c #Conflicts: 342000 | #Constraints: 112649
329.77/330.60 c #Conflicts: 343000 | #Constraints: 113649
329.77/330.60 c #Conflicts: 344000 | #Constraints: 114649
329.77/330.60 c #Conflicts: 345000 | #Constraints: 115649
329.77/330.60 c INPROCESSING
329.77/330.60 c GARBAGE COLLECT
329.77/330.60 c #Conflicts: 346000 | #Constraints: 105031
329.77/330.60 c #Conflicts: 347000 | #Constraints: 106031
329.77/330.60 c #Conflicts: 348000 | #Constraints: 107031
329.77/330.60 c #Conflicts: 349000 | #Constraints: 108031
329.77/330.60 c #Conflicts: 350000 | #Constraints: 109031
329.77/330.60 c #Conflicts: 351000 | #Constraints: 110031
329.77/330.60 c #Conflicts: 352000 | #Constraints: 111031
329.77/330.60 c #Conflicts: 353000 | #Constraints: 112031
329.77/330.60 c #Conflicts: 354000 | #Constraints: 113031
329.77/330.60 c #Conflicts: 355000 | #Constraints: 114031
329.77/330.60 c #Conflicts: 356000 | #Constraints: 115031
329.77/330.60 c #Conflicts: 357000 | #Constraints: 116031
329.77/330.60 c INPROCESSING
329.77/330.60 c GARBAGE COLLECT
329.77/330.60 c #Conflicts: 358000 | #Constraints: 105224
329.77/330.60 c #Conflicts: 359000 | #Constraints: 106224
329.77/330.60 c #Conflicts: 360000 | #Constraints: 107224
329.77/330.60 c #Conflicts: 361000 | #Constraints: 108224
329.77/330.60 c #Conflicts: 362000 | #Constraints: 109224
329.77/330.60 c #Conflicts: 363000 | #Constraints: 110224
329.77/330.60 c #Conflicts: 364000 | #Constraints: 111224
329.77/330.60 c #Conflicts: 365000 | #Constraints: 112224
329.77/330.60 c #Conflicts: 366000 | #Constraints: 113224
329.77/330.60 c #Conflicts: 367000 | #Constraints: 114224
329.77/330.60 c #Conflicts: 368000 | #Constraints: 115224
329.77/330.60 c #Conflicts: 369000 | #Constraints: 116224
329.77/330.60 c INPROCESSING
329.77/330.60 c GARBAGE COLLECT
329.77/330.60 c #Conflicts: 370000 | #Constraints: 105228
329.77/330.60 c #Conflicts: 371000 | #Constraints: 106228
329.77/330.60 c #Conflicts: 372000 | #Constraints: 107228
329.77/330.60 c #Conflicts: 373000 | #Constraints: 108228
329.77/330.60 c #Conflicts: 374000 | #Constraints: 109228
329.77/330.60 c #Conflicts: 375000 | #Constraints: 110228
329.77/330.60 c #Conflicts: 376000 | #Constraints: 111228
329.77/330.60 c #Conflicts: 377000 | #Constraints: 112228
329.77/330.60 c #Conflicts: 378000 | #Constraints: 113228
329.77/330.60 c #Conflicts: 379000 | #Constraints: 114228
329.77/330.60 c #Conflicts: 380000 | #Constraints: 115228
329.77/330.60 c #Conflicts: 381000 | #Constraints: 116228
329.77/330.60 c INPROCESSING
329.77/330.60 c GARBAGE COLLECT
329.77/330.60 c #Conflicts: 382000 | #Constraints: 105018
329.77/330.60 c #Conflicts: 383000 | #Constraints: 106018
329.77/330.60 c #Conflicts: 384000 | #Constraints: 107018
329.77/330.60 c #Conflicts: 385000 | #Constraints: 108018
329.77/330.60 c #Conflicts: 386000 | #Constraints: 109018
329.77/330.60 c #Conflicts: 387000 | #Constraints: 110018
329.77/330.60 c #Conflicts: 388000 | #Constraints: 111018
329.77/330.60 c #Conflicts: 389000 | #Constraints: 112018
329.77/330.60 c #Conflicts: 390000 | #Constraints: 113018
329.77/330.60 c #Conflicts: 391000 | #Constraints: 114018
329.77/330.60 c #Conflicts: 392000 | #Constraints: 115018
329.77/330.60 c #Conflicts: 393000 | #Constraints: 116018
329.77/330.60 c #Conflicts: 394000 | #Constraints: 117018
329.77/330.60 c INPROCESSING
329.77/330.60 c GARBAGE COLLECT
329.77/330.60 c rational objective 361
381.45/382.49 c #Conflicts: 395000 | #Constraints: 105622
381.45/382.49 c #Conflicts: 396000 | #Constraints: 106622
381.45/382.49 c #Conflicts: 397000 | #Constraints: 107622
381.45/382.49 c #Conflicts: 398000 | #Constraints: 108622
381.45/382.49 c #Conflicts: 399000 | #Constraints: 109622
381.45/382.49 c #Conflicts: 400000 | #Constraints: 110622
381.45/382.49 c #Conflicts: 401000 | #Constraints: 111622
381.45/382.49 c #Conflicts: 402000 | #Constraints: 112622
381.45/382.49 c #Conflicts: 403000 | #Constraints: 113622
381.45/382.49 c #Conflicts: 404000 | #Constraints: 114622
381.45/382.49 c #Conflicts: 405000 | #Constraints: 115622
381.45/382.49 c #Conflicts: 406000 | #Constraints: 116622
381.45/382.49 c #Conflicts: 407000 | #Constraints: 117622
381.45/382.49 c INPROCESSING
381.45/382.49 c GARBAGE COLLECT
381.45/382.49 c #Conflicts: 408000 | #Constraints: 106020
381.45/382.49 c #Conflicts: 409000 | #Constraints: 107020
381.45/382.49 c #Conflicts: 410000 | #Constraints: 108020
381.45/382.49 c #Conflicts: 411000 | #Constraints: 109020
381.45/382.49 c #Conflicts: 412000 | #Constraints: 110020
381.45/382.49 c #Conflicts: 413000 | #Constraints: 111020
381.45/382.49 c #Conflicts: 414000 | #Constraints: 112020
381.45/382.49 c #Conflicts: 415000 | #Constraints: 113020
381.45/382.49 c #Conflicts: 416000 | #Constraints: 114020
381.45/382.49 c #Conflicts: 417000 | #Constraints: 115020
381.45/382.49 c #Conflicts: 418000 | #Constraints: 116020
381.45/382.49 c #Conflicts: 419000 | #Constraints: 117020
381.45/382.49 c #Conflicts: 420000 | #Constraints: 118020
381.45/382.49 c INPROCESSING
381.45/382.49 c GARBAGE COLLECT
381.45/382.49 c #Conflicts: 421000 | #Constraints: 106235
381.45/382.49 c #Conflicts: 422000 | #Constraints: 107235
381.45/382.49 c #Conflicts: 423000 | #Constraints: 108235
381.45/382.49 c #Conflicts: 424000 | #Constraints: 109235
381.45/382.49 c #Conflicts: 425000 | #Constraints: 110235
381.45/382.49 c #Conflicts: 426000 | #Constraints: 111235
381.45/382.49 c #Conflicts: 427000 | #Constraints: 112235
381.45/382.49 c #Conflicts: 428000 | #Constraints: 113235
381.45/382.49 c #Conflicts: 429000 | #Constraints: 114235
381.45/382.49 c #Conflicts: 430000 | #Constraints: 115235
381.45/382.49 c #Conflicts: 431000 | #Constraints: 116235
381.45/382.49 c #Conflicts: 432000 | #Constraints: 117235
381.45/382.49 c #Conflicts: 433000 | #Constraints: 118236
381.45/382.49 c INPROCESSING
381.45/382.49 c GARBAGE COLLECT
381.45/382.49 c #Conflicts: 434000 | #Constraints: 106238
381.45/382.49 c #Conflicts: 435000 | #Constraints: 107238
381.45/382.49 c #Conflicts: 436000 | #Constraints: 108238
381.45/382.49 c #Conflicts: 437000 | #Constraints: 109238
381.45/382.49 c #Conflicts: 438000 | #Constraints: 110238
381.45/382.49 c #Conflicts: 439000 | #Constraints: 111238
381.45/382.49 c #Conflicts: 440000 | #Constraints: 112238
381.45/382.49 c #Conflicts: 441000 | #Constraints: 113238
381.45/382.49 c #Conflicts: 442000 | #Constraints: 114238
381.45/382.49 c #Conflicts: 443000 | #Constraints: 115238
381.45/382.49 c #Conflicts: 444000 | #Constraints: 116238
381.45/382.49 c #Conflicts: 445000 | #Constraints: 117238
381.45/382.49 c #Conflicts: 446000 | #Constraints: 118238
381.45/382.49 c INPROCESSING
381.45/382.49 c GARBAGE COLLECT
381.45/382.49 c #Conflicts: 447000 | #Constraints: 106058
381.45/382.49 c #Conflicts: 448000 | #Constraints: 107058
381.45/382.49 c #Conflicts: 449000 | #Constraints: 108058
381.45/382.49 c #Conflicts: 450000 | #Constraints: 109058
381.45/382.49 c #Conflicts: 451000 | #Constraints: 110058
381.45/382.49 c #Conflicts: 452000 | #Constraints: 111058
381.45/382.49 c #Conflicts: 453000 | #Constraints: 112058
381.45/382.49 c #Conflicts: 454000 | #Constraints: 113058
381.45/382.49 c #Conflicts: 455000 | #Constraints: 114058
381.45/382.49 c #Conflicts: 456000 | #Constraints: 115058
381.45/382.49 c #Conflicts: 457000 | #Constraints: 116058
381.45/382.49 c #Conflicts: 458000 | #Constraints: 117058
381.45/382.49 c #Conflicts: 459000 | #Constraints: 118058
381.45/382.49 c #Conflicts: 460000 | #Constraints: 119058
381.45/382.49 c INPROCESSING
381.45/382.49 c GARBAGE COLLECT
381.45/382.49 c #Conflicts: 461000 | #Constraints: 106663
381.45/382.49 c #Conflicts: 462000 | #Constraints: 107663
381.45/382.49 c #Conflicts: 463000 | #Constraints: 108663
381.45/382.49 c #Conflicts: 464000 | #Constraints: 109663
381.45/382.49 c #Conflicts: 465000 | #Constraints: 110663
381.45/382.49 c #Conflicts: 466000 | #Constraints: 111663
381.45/382.49 c #Conflicts: 467000 | #Constraints: 112663
381.45/382.49 c #Conflicts: 468000 | #Constraints: 113663
381.45/382.49 c #Conflicts: 469000 | #Constraints: 114663
381.45/382.49 c #Conflicts: 470000 | #Constraints: 115663
395.82/396.88 c #Conflicts: 471000 | #Constraints: 116663
395.82/396.88 c #Conflicts: 472000 | #Constraints: 117663
395.82/396.88 c #Conflicts: 473000 | #Constraints: 118663
395.82/396.88 c #Conflicts: 474000 | #Constraints: 119663
395.82/396.88 c INPROCESSING
395.82/396.88 c GARBAGE COLLECT
395.82/396.88 c #Conflicts: 475000 | #Constraints: 107064
395.82/396.88 c #Conflicts: 476000 | #Constraints: 108064
395.82/396.88 c #Conflicts: 477000 | #Constraints: 109064
395.82/396.88 c #Conflicts: 478000 | #Constraints: 110064
395.82/396.88 c #Conflicts: 479000 | #Constraints: 111064
395.82/396.88 c #Conflicts: 480000 | #Constraints: 112064
395.82/396.88 c #Conflicts: 481000 | #Constraints: 113064
395.82/396.88 c #Conflicts: 482000 | #Constraints: 114064
395.82/396.88 c #Conflicts: 483000 | #Constraints: 115064
395.82/396.88 c #Conflicts: 484000 | #Constraints: 116064
395.82/396.88 c #Conflicts: 485000 | #Constraints: 117064
395.82/396.88 c #Conflicts: 486000 | #Constraints: 118064
395.82/396.88 c #Conflicts: 487000 | #Constraints: 119064
395.82/396.88 c #Conflicts: 488000 | #Constraints: 120064
395.82/396.88 c INPROCESSING
395.82/396.88 c GARBAGE COLLECT
395.82/396.88 c #Conflicts: 489000 | #Constraints: 107265
395.82/396.88 c #Conflicts: 490000 | #Constraints: 108265
395.82/396.88 c #Conflicts: 491000 | #Constraints: 109265
395.82/396.88 c #Conflicts: 492000 | #Constraints: 110265
395.82/396.88 c #Conflicts: 493000 | #Constraints: 111265
395.82/396.88 c #Conflicts: 494000 | #Constraints: 112265
395.82/396.88 c #Conflicts: 495000 | #Constraints: 113265
395.82/396.88 c #Conflicts: 496000 | #Constraints: 114265
395.82/396.88 c #Conflicts: 497000 | #Constraints: 115265
395.82/396.88 c #Conflicts: 498000 | #Constraints: 116265
395.82/396.88 c #Conflicts: 499000 | #Constraints: 117265
395.82/396.88 c #Conflicts: 500000 | #Constraints: 118265
395.82/396.88 c #Conflicts: 501000 | #Constraints: 119265
395.82/396.88 c #Conflicts: 502000 | #Constraints: 120265
395.82/396.88 c INPROCESSING
395.82/396.88 c GARBAGE COLLECT
395.82/396.88 WSVECS04 Frhs2[46]: 6 -1.00005 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[49]: 6 0 1.00009 shouldn't be
395.82/396.88 WSVECS04 Frhs2[67]: 6 -1.00007 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[77]: 6 -2.00006 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[99]: 6 -2.00007 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[103]: 6 -1.00008 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[105]: 6 -2.00004 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[141]: 6 0 40.6775 shouldn't be
395.82/396.88 WSVECS04 Frhs2[154]: 6 -3.00006 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[199]: 6 0 1.00004 shouldn't be
395.82/396.88 WSVECS04 Frhs2[211]: 6 0 1.00008 shouldn't be
395.82/396.88 WSVECS04 Frhs2[303]: 6 0 2.00004 shouldn't be
395.82/396.88 WSVECS04 Frhs2[313]: 6 0 1.00001 shouldn't be
395.82/396.88 WSVECS04 Frhs2[319]: 6 0 2.00007 shouldn't be
395.82/396.88 WSVECS04 Frhs2[320]: 6 0 2.00003 shouldn't be
395.82/396.88 WSVECS04 Frhs2[389]: 6 0 1.00006 shouldn't be
395.82/396.88 WSVECS04 Frhs2[390]: 6 0 1.00007 shouldn't be
395.82/396.88 WSVECS04 Frhs2[425]: 6 -152.46 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[455]: 6 -1.00003 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[479]: 6 -1.00006 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[487]: 6 0 117.638 shouldn't be
395.82/396.88 WSVECS04 Frhs2[570]: 6 0 1.00002 shouldn't be
395.82/396.88 WSVECS04 Frhs2[589]: 6 -1.00004 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[745]: 6 0 6.6833 shouldn't be
395.82/396.88 WSVECS04 Frhs2[803]: 6 0 298.99 shouldn't be
395.82/396.88 WSVECS04 Frhs2[805]: 6 0 1.00003 shouldn't be
395.82/396.88 WSVECS04 Frhs2[811]: 6 -1.00009 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[898]: 6 0 1.00008 shouldn't be
395.82/396.88 WSVECS04 Frhs2[933]: 6 -1.00004 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[962]: 6 0 34.5036 shouldn't be
395.82/396.88 WSVECS04 Frhs2[1007]: 6 -1.00002 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[1091]: 6 0 1945.71 shouldn't be
395.82/396.88 WSVECS04 Frhs2[1112]: 6 0 99.3573 shouldn't be
395.82/396.88 WSVECS04 Frhs2[1237]: 6 -258.372 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[1242]: 6 0 1.00009 shouldn't be
395.82/396.88 WSVECS04 Frhs2[1266]: 6 0 1.00006 shouldn't be
395.82/396.88 WSVECS04 Frhs2[1293]: 6 0 1.00006 shouldn't be
395.82/396.88 WSVECS04 Frhs2[1401]: 6 -1.00003 0 shouldn't be
395.82/396.88 WSVECS04 Frhs2[1404]: 6 -1.00006 0 shouldn't be
401.80/402.82 WSVECS04 Frhs2[72]: 6 0 553.603 shouldn't be
401.80/402.82 WSVECS04 Frhs2[263]: 6 0 1.00004 shouldn't be
401.80/402.82 WSVECS04 Frhs2[674]: 6 -61.1886 0 shouldn't be
401.80/402.82 WSVECS04 Frhs2[833]: 6 -62.8797 0 shouldn't be
401.80/402.82 WSVECS04 Frhs2[1029]: 6 -1.00008 0 shouldn't be
401.80/402.82 WSVECS04 Frhs2[1118]: 6 0 596.617 shouldn't be
401.80/402.82 WSVECS04 Frhs2[1209]: 6 0 401.126 shouldn't be
401.80/402.82 WSVECS04 Frhs2[1397]: 6 -1.00007 0 shouldn't be
401.80/402.82 WSVECS04 Frhs2[1403]: 6 -1.00008 0 shouldn't be
429.73/430.86 c #Conflicts: 503000 | #Constraints: 107267
429.73/430.86 c #Conflicts: 504000 | #Constraints: 108267
429.73/430.86 c #Conflicts: 505000 | #Constraints: 109267
429.73/430.86 c #Conflicts: 506000 | #Constraints: 110267
429.73/430.86 c #Conflicts: 507000 | #Constraints: 111267
429.73/430.86 c #Conflicts: 508000 | #Constraints: 112267
429.73/430.86 c #Conflicts: 509000 | #Constraints: 113267
429.73/430.86 c #Conflicts: 510000 | #Constraints: 114267
429.73/430.86 c #Conflicts: 511000 | #Constraints: 115267
429.73/430.86 c #Conflicts: 512000 | #Constraints: 116267
429.73/430.86 c #Conflicts: 513000 | #Constraints: 117267
429.73/430.86 c #Conflicts: 514000 | #Constraints: 118267
429.73/430.86 c #Conflicts: 515000 | #Constraints: 119267
429.73/430.86 c #Conflicts: 516000 | #Constraints: 120267
429.73/430.86 c INPROCESSING
429.73/430.86 c GARBAGE COLLECT
429.73/430.86 c #Conflicts: 517000 | #Constraints: 107039
429.73/430.86 c #Conflicts: 518000 | #Constraints: 108039
429.73/430.86 c #Conflicts: 519000 | #Constraints: 109039
429.73/430.86 c #Conflicts: 520000 | #Constraints: 110039
429.73/430.86 c #Conflicts: 521000 | #Constraints: 111039
429.73/430.86 c #Conflicts: 522000 | #Constraints: 112039
429.73/430.86 c #Conflicts: 523000 | #Constraints: 113039
429.73/430.86 c #Conflicts: 524000 | #Constraints: 114039
429.73/430.86 c #Conflicts: 525000 | #Constraints: 115039
429.73/430.86 c #Conflicts: 526000 | #Constraints: 116039
429.73/430.86 c #Conflicts: 527000 | #Constraints: 117039
429.73/430.86 c #Conflicts: 528000 | #Constraints: 118039
429.73/430.86 c #Conflicts: 529000 | #Constraints: 119039
429.73/430.86 c #Conflicts: 530000 | #Constraints: 120039
429.73/430.86 c #Conflicts: 531000 | #Constraints: 121039
429.73/430.86 c INPROCESSING
429.73/430.86 c GARBAGE COLLECT
429.73/430.86 c #Conflicts: 532000 | #Constraints: 107637
429.73/430.86 c #Conflicts: 533000 | #Constraints: 108637
429.73/430.86 c #Conflicts: 534000 | #Constraints: 109637
429.73/430.86 c #Conflicts: 535000 | #Constraints: 110637
429.73/430.86 c #Conflicts: 536000 | #Constraints: 111637
429.73/430.86 c #Conflicts: 537000 | #Constraints: 112637
429.73/430.86 c #Conflicts: 538000 | #Constraints: 113637
429.73/430.86 c #Conflicts: 539000 | #Constraints: 114637
429.73/430.86 c #Conflicts: 540000 | #Constraints: 115637
429.73/430.86 c #Conflicts: 541000 | #Constraints: 116637
429.73/430.86 c #Conflicts: 542000 | #Constraints: 117637
429.73/430.86 c #Conflicts: 543000 | #Constraints: 118637
429.73/430.86 c #Conflicts: 544000 | #Constraints: 119637
429.73/430.86 c #Conflicts: 545000 | #Constraints: 120637
429.73/430.86 c #Conflicts: 546000 | #Constraints: 121637
429.73/430.86 c INPROCESSING
429.73/430.86 c GARBAGE COLLECT
429.73/430.86 c #Conflicts: 547000 | #Constraints: 108029
429.73/430.86 c #Conflicts: 548000 | #Constraints: 109029
429.73/430.86 c #Conflicts: 549000 | #Constraints: 110029
429.73/430.86 c #Conflicts: 550000 | #Constraints: 111029
429.73/430.86 c #Conflicts: 551000 | #Constraints: 112029
429.73/430.86 c #Conflicts: 552000 | #Constraints: 113029
429.73/430.86 c #Conflicts: 553000 | #Constraints: 114029
429.73/430.86 c #Conflicts: 554000 | #Constraints: 115029
429.73/430.86 c #Conflicts: 555000 | #Constraints: 116029
429.73/430.86 c #Conflicts: 556000 | #Constraints: 117029
429.73/430.86 c #Conflicts: 557000 | #Constraints: 118029
429.73/430.86 c #Conflicts: 558000 | #Constraints: 119029
429.73/430.86 c #Conflicts: 559000 | #Constraints: 120029
429.73/430.86 c #Conflicts: 560000 | #Constraints: 121029
429.73/430.86 c #Conflicts: 561000 | #Constraints: 122029
429.73/430.86 c INPROCESSING
429.73/430.86 c GARBAGE COLLECT
429.73/430.86 c #Conflicts: 562000 | #Constraints: 108220
429.73/430.86 c #Conflicts: 563000 | #Constraints: 109220
429.73/430.86 c #Conflicts: 564000 | #Constraints: 110220
429.73/430.86 c #Conflicts: 565000 | #Constraints: 111220
429.73/430.86 c #Conflicts: 566000 | #Constraints: 112220
429.73/430.86 c #Conflicts: 567000 | #Constraints: 113220
429.73/430.86 c #Conflicts: 568000 | #Constraints: 114220
429.73/430.86 c #Conflicts: 569000 | #Constraints: 115220
429.73/430.86 c #Conflicts: 570000 | #Constraints: 116220
429.73/430.86 c #Conflicts: 571000 | #Constraints: 117220
429.73/430.86 c #Conflicts: 572000 | #Constraints: 118220
429.73/430.86 c #Conflicts: 573000 | #Constraints: 119220
429.73/430.86 c #Conflicts: 574000 | #Constraints: 120220
429.73/430.86 c #Conflicts: 575000 | #Constraints: 121220
429.73/430.86 c #Conflicts: 576000 | #Constraints: 122220
429.73/430.86 c INPROCESSING
429.73/430.86 c GARBAGE COLLECT
429.73/430.86 c #Conflicts: 577000 | #Constraints: 108230
429.73/430.86 c #Conflicts: 578000 | #Constraints: 109230
439.21/440.39 c #Conflicts: 579000 | #Constraints: 110230
439.21/440.39 c #Conflicts: 580000 | #Constraints: 111230
439.21/440.39 c #Conflicts: 581000 | #Constraints: 112230
439.21/440.39 c #Conflicts: 582000 | #Constraints: 113230
439.21/440.39 c #Conflicts: 583000 | #Constraints: 114230
439.21/440.39 c #Conflicts: 584000 | #Constraints: 115230
439.21/440.39 c #Conflicts: 585000 | #Constraints: 116230
439.21/440.39 c #Conflicts: 586000 | #Constraints: 117230
439.21/440.39 c #Conflicts: 587000 | #Constraints: 118230
439.21/440.39 c #Conflicts: 588000 | #Constraints: 119230
439.21/440.39 c #Conflicts: 589000 | #Constraints: 120230
439.21/440.39 c #Conflicts: 590000 | #Constraints: 121230
439.21/440.39 c #Conflicts: 591000 | #Constraints: 122230
439.21/440.39 c INPROCESSING
439.21/440.39 c GARBAGE COLLECT
439.21/440.39 c #Conflicts: 592000 | #Constraints: 108026
439.21/440.39 c #Conflicts: 593000 | #Constraints: 109026
439.21/440.39 c #Conflicts: 594000 | #Constraints: 110026
439.21/440.39 c #Conflicts: 595000 | #Constraints: 111026
439.21/440.39 c #Conflicts: 596000 | #Constraints: 112026
439.21/440.39 c #Conflicts: 597000 | #Constraints: 113026
439.21/440.39 c #Conflicts: 598000 | #Constraints: 114026
439.21/440.39 WSVECS04 Frhs2[193]: 6 -1 0 shouldn't be
439.21/440.39 WSVECS04 Frhs2[966]: 6 -1 0 shouldn't be
439.21/440.39 WSVECS04 Frhs2[991]: 6 -1 0 shouldn't be
439.21/440.39 WSVECS04 Frhs2[1154]: 6 -1 0 shouldn't be
439.21/440.39 WSVECS04 Frhs2[1174]: 6 -1 0 shouldn't be
439.21/440.39 WSVECS04 Frhs2[1415]: 6 -1 0 shouldn't be
474.33/475.59 c #Conflicts: 599000 | #Constraints: 115027
474.33/475.59 c #Conflicts: 600000 | #Constraints: 116027
474.33/475.59 c #Conflicts: 601000 | #Constraints: 117027
474.33/475.59 c #Conflicts: 602000 | #Constraints: 118027
474.33/475.59 c #Conflicts: 603000 | #Constraints: 119027
474.33/475.59 c #Conflicts: 604000 | #Constraints: 120027
474.33/475.59 c #Conflicts: 605000 | #Constraints: 121027
474.33/475.59 c #Conflicts: 606000 | #Constraints: 122027
474.33/475.59 c #Conflicts: 607000 | #Constraints: 123027
474.33/475.59 c INPROCESSING
474.33/475.59 c GARBAGE COLLECT
474.33/475.59 c #Conflicts: 608000 | #Constraints: 108634
474.33/475.59 c #Conflicts: 609000 | #Constraints: 109634
474.33/475.59 c #Conflicts: 610000 | #Constraints: 110634
474.33/475.59 c #Conflicts: 611000 | #Constraints: 111634
474.33/475.59 c #Conflicts: 612000 | #Constraints: 112634
474.33/475.59 c #Conflicts: 613000 | #Constraints: 113634
474.33/475.59 c #Conflicts: 614000 | #Constraints: 114634
474.33/475.59 c #Conflicts: 615000 | #Constraints: 115634
474.33/475.59 c #Conflicts: 616000 | #Constraints: 116634
474.33/475.59 c #Conflicts: 617000 | #Constraints: 117634
474.33/475.59 c #Conflicts: 618000 | #Constraints: 118634
474.33/475.59 c #Conflicts: 619000 | #Constraints: 119634
474.33/475.59 c #Conflicts: 620000 | #Constraints: 120634
474.33/475.59 c #Conflicts: 621000 | #Constraints: 121634
474.33/475.59 c #Conflicts: 622000 | #Constraints: 122634
474.33/475.59 c #Conflicts: 623000 | #Constraints: 123634
474.33/475.59 c INPROCESSING
474.33/475.59 c GARBAGE COLLECT
474.33/475.59 c rational objective 361
504.06/505.37 c #Conflicts: 624000 | #Constraints: 109031
504.06/505.37 c #Conflicts: 625000 | #Constraints: 110031
504.06/505.37 c #Conflicts: 626000 | #Constraints: 111031
504.06/505.37 c #Conflicts: 627000 | #Constraints: 112031
504.06/505.37 c #Conflicts: 628000 | #Constraints: 113031
504.06/505.37 c #Conflicts: 629000 | #Constraints: 114031
504.06/505.37 c #Conflicts: 630000 | #Constraints: 115031
504.06/505.37 c #Conflicts: 631000 | #Constraints: 116031
504.06/505.37 c #Conflicts: 632000 | #Constraints: 117031
504.06/505.37 c #Conflicts: 633000 | #Constraints: 118031
504.06/505.37 c #Conflicts: 634000 | #Constraints: 119031
504.06/505.37 c #Conflicts: 635000 | #Constraints: 120031
504.06/505.37 c #Conflicts: 636000 | #Constraints: 121031
504.06/505.37 c #Conflicts: 637000 | #Constraints: 122031
504.06/505.37 c #Conflicts: 638000 | #Constraints: 123031
504.06/505.37 c #Conflicts: 639000 | #Constraints: 124031
504.06/505.37 c INPROCESSING
504.06/505.37 c GARBAGE COLLECT
504.06/505.37 c #Conflicts: 640000 | #Constraints: 109226
504.06/505.37 c #Conflicts: 641000 | #Constraints: 110226
504.06/505.37 c #Conflicts: 642000 | #Constraints: 111226
504.06/505.37 c #Conflicts: 643000 | #Constraints: 112226
504.06/505.37 c #Conflicts: 644000 | #Constraints: 113226
504.06/505.37 c #Conflicts: 645000 | #Constraints: 114226
504.06/505.37 c #Conflicts: 646000 | #Constraints: 115226
504.06/505.37 c #Conflicts: 647000 | #Constraints: 116226
504.06/505.37 c #Conflicts: 648000 | #Constraints: 117226
504.06/505.37 c #Conflicts: 649000 | #Constraints: 118226
504.06/505.37 c #Conflicts: 650000 | #Constraints: 119226
504.06/505.37 c #Conflicts: 651000 | #Constraints: 120226
504.06/505.37 c #Conflicts: 652000 | #Constraints: 121226
504.06/505.37 c #Conflicts: 653000 | #Constraints: 122227
504.06/505.37 c #Conflicts: 654000 | #Constraints: 123227
504.06/505.37 c #Conflicts: 655000 | #Constraints: 124227
504.06/505.37 c INPROCESSING
504.06/505.37 c GARBAGE COLLECT
504.06/505.37 c #Conflicts: 656000 | #Constraints: 109230
504.06/505.37 c #Conflicts: 657000 | #Constraints: 110230
504.06/505.37 c #Conflicts: 658000 | #Constraints: 111230
504.06/505.37 c #Conflicts: 659000 | #Constraints: 112230
504.06/505.37 c #Conflicts: 660000 | #Constraints: 113230
504.06/505.37 c #Conflicts: 661000 | #Constraints: 114230
504.06/505.37 c #Conflicts: 662000 | #Constraints: 115230
504.06/505.37 c #Conflicts: 663000 | #Constraints: 116230
504.06/505.37 c #Conflicts: 664000 | #Constraints: 117230
504.06/505.37 c #Conflicts: 665000 | #Constraints: 118230
504.06/505.37 c #Conflicts: 666000 | #Constraints: 119230
504.06/505.37 c #Conflicts: 667000 | #Constraints: 120230
504.06/505.37 c #Conflicts: 668000 | #Constraints: 121230
504.06/505.37 c #Conflicts: 669000 | #Constraints: 122230
504.06/505.37 c #Conflicts: 670000 | #Constraints: 123230
504.06/505.37 c #Conflicts: 671000 | #Constraints: 124230
504.06/505.37 c INPROCESSING
504.06/505.37 c GARBAGE COLLECT
504.06/505.37 c #Conflicts: 672000 | #Constraints: 109021
504.06/505.37 c #Conflicts: 673000 | #Constraints: 110021
504.06/505.37 c #Conflicts: 674000 | #Constraints: 111021
504.06/505.37 c #Conflicts: 675000 | #Constraints: 112021
504.06/505.37 c #Conflicts: 676000 | #Constraints: 113021
504.06/505.37 c #Conflicts: 677000 | #Constraints: 114022
504.06/505.37 c #Conflicts: 678000 | #Constraints: 115022
504.06/505.37 c #Conflicts: 679000 | #Constraints: 116022
504.06/505.37 c #Conflicts: 680000 | #Constraints: 117022
504.06/505.37 c #Conflicts: 681000 | #Constraints: 118022
504.06/505.37 c #Conflicts: 682000 | #Constraints: 119022
504.06/505.37 c #Conflicts: 683000 | #Constraints: 120022
504.06/505.37 c #Conflicts: 684000 | #Constraints: 121022
504.06/505.37 c #Conflicts: 685000 | #Constraints: 122022
504.06/505.37 c #Conflicts: 686000 | #Constraints: 123022
504.06/505.37 c #Conflicts: 687000 | #Constraints: 124022
504.06/505.37 c #Conflicts: 688000 | #Constraints: 125022
504.06/505.37 c INPROCESSING
504.06/505.37 c GARBAGE COLLECT
504.06/505.37 c #Conflicts: 689000 | #Constraints: 109618
504.06/505.37 c #Conflicts: 690000 | #Constraints: 110618
504.06/505.37 c #Conflicts: 691000 | #Constraints: 111618
504.06/505.37 c #Conflicts: 692000 | #Constraints: 112618
504.06/505.37 c #Conflicts: 693000 | #Constraints: 113618
504.06/505.37 c #Conflicts: 694000 | #Constraints: 114618
504.06/505.37 WSVECS04 Frhs2[8]: 6 -1.00005 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[26]: 6 -0.0431961 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[37]: 6 -0.0215927 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[44]: 6 0 0.0431737 shouldn't be
504.06/505.37 WSVECS04 Frhs2[104]: 6 0 16.7581 shouldn't be
504.06/505.37 WSVECS04 Frhs2[125]: 6 0 0.0629731 shouldn't be
504.06/505.37 WSVECS04 Frhs2[166]: 6 -1.00009 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[171]: 6 0 0.0822403 shouldn't be
504.06/505.37 WSVECS04 Frhs2[174]: 6 0 7.2001 shouldn't be
504.06/505.37 WSVECS04 Frhs2[250]: 6 0 18.9367 shouldn't be
504.06/505.37 WSVECS04 Frhs2[261]: 6 0 3.25253 shouldn't be
504.06/505.37 WSVECS04 Frhs2[262]: 6 0 3.25259 shouldn't be
504.06/505.37 WSVECS04 Frhs2[287]: 6 0 5.14773 shouldn't be
504.06/505.37 WSVECS04 Frhs2[288]: 6 0 5.14776 shouldn't be
504.06/505.37 WSVECS04 Frhs2[298]: 6 0 14.998 shouldn't be
504.06/505.37 WSVECS04 Frhs2[313]: 6 0 0.132174 shouldn't be
504.06/505.37 WSVECS04 Frhs2[336]: 6 0 0.926444 shouldn't be
504.06/505.37 WSVECS04 Frhs2[352]: 6 -10.5979 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[383]: 6 -14.5002 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[421]: 6 0 11.7844 shouldn't be
504.06/505.37 WSVECS04 Frhs2[423]: 6 0 11.7844 shouldn't be
504.06/505.37 WSVECS04 Frhs2[461]: 6 -1.00005 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[464]: 6 0 28.8439 shouldn't be
504.06/505.37 WSVECS04 Frhs2[477]: 6 -0.0376319 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[691]: 6 -46.0647 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[694]: 6 0 0.039124 shouldn't be
504.06/505.37 WSVECS04 Frhs2[728]: 6 0 0.1495 shouldn't be
504.06/505.37 WSVECS04 Frhs2[737]: 6 0 3.63618 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1030]: 6 0 24.498 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1098]: 6 0 7.73821 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1197]: 6 0 0.0070702 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1222]: 6 0 8.05765 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1238]: 6 0 7.73825 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1253]: 6 0 0.0666956 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1267]: 6 0 2.79677 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1270]: 6 0 21.0523 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1293]: 6 -0.216245 0 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1314]: 6 0 0.0317645 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1342]: 6 0 0.0417673 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1373]: 6 0 4.7804 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1383]: 6 0 14.3273 shouldn't be
504.06/505.37 WSVECS04 Frhs2[1406]: 6 -0.056779 0 shouldn't be
507.85/509.16 WSVECS04 Frhs2[1046]: 6 -0.0247484 0 shouldn't be
511.64/512.95 WSVECS04 Frhs2[203]: 6 0 2.94452 shouldn't be
511.64/512.95 WSVECS04 Frhs2[949]: 6 -0.0137695 0 shouldn't be
511.64/512.95 WSVECS04 Frhs2[1176]: 6 -5.38116 0 shouldn't be
511.64/512.95 WSVECS04 Frhs2[1271]: 6 0 21.0523 shouldn't be
531.69/533.08 c #Conflicts: 695000 | #Constraints: 115618
531.69/533.08 c #Conflicts: 696000 | #Constraints: 116618
531.69/533.08 c #Conflicts: 697000 | #Constraints: 117618
531.69/533.08 c #Conflicts: 698000 | #Constraints: 118618
531.69/533.08 c #Conflicts: 699000 | #Constraints: 119618
531.69/533.08 c #Conflicts: 700000 | #Constraints: 120618
531.69/533.08 c #Conflicts: 701000 | #Constraints: 121618
531.69/533.08 c #Conflicts: 702000 | #Constraints: 122618
531.69/533.08 c #Conflicts: 703000 | #Constraints: 123618
531.69/533.08 c #Conflicts: 704000 | #Constraints: 124618
531.69/533.08 c #Conflicts: 705000 | #Constraints: 125618
531.69/533.08 c INPROCESSING
531.69/533.08 c GARBAGE COLLECT
531.69/533.08 c #Conflicts: 706000 | #Constraints: 110038
531.69/533.08 c #Conflicts: 707000 | #Constraints: 111038
531.69/533.08 c #Conflicts: 708000 | #Constraints: 112038
531.69/533.08 c #Conflicts: 709000 | #Constraints: 113038
531.69/533.08 c #Conflicts: 710000 | #Constraints: 114038
531.69/533.08 c #Conflicts: 711000 | #Constraints: 115038
531.69/533.08 c #Conflicts: 712000 | #Constraints: 116038
531.69/533.08 c #Conflicts: 713000 | #Constraints: 117038
531.69/533.08 c #Conflicts: 714000 | #Constraints: 118038
531.69/533.08 c #Conflicts: 715000 | #Constraints: 119038
531.69/533.08 c #Conflicts: 716000 | #Constraints: 120038
531.69/533.08 c #Conflicts: 717000 | #Constraints: 121038
531.69/533.08 c #Conflicts: 718000 | #Constraints: 122038
531.69/533.08 c #Conflicts: 719000 | #Constraints: 123038
531.69/533.08 c #Conflicts: 720000 | #Constraints: 124038
531.69/533.08 c #Conflicts: 721000 | #Constraints: 125038
531.69/533.08 c #Conflicts: 722000 | #Constraints: 126038
531.69/533.08 c INPROCESSING
531.69/533.08 c GARBAGE COLLECT
531.69/533.08 c #Conflicts: 723000 | #Constraints: 110242
531.69/533.08 c #Conflicts: 724000 | #Constraints: 111242
531.69/533.08 c #Conflicts: 725000 | #Constraints: 112242
531.69/533.08 c #Conflicts: 726000 | #Constraints: 113242
531.69/533.08 c #Conflicts: 727000 | #Constraints: 114242
531.69/533.08 c #Conflicts: 728000 | #Constraints: 115242
531.69/533.08 c #Conflicts: 729000 | #Constraints: 116242
531.69/533.08 c #Conflicts: 730000 | #Constraints: 117242
531.69/533.08 c #Conflicts: 731000 | #Constraints: 118242
531.69/533.08 c #Conflicts: 732000 | #Constraints: 119242
531.69/533.08 c #Conflicts: 733000 | #Constraints: 120242
531.69/533.08 c #Conflicts: 734000 | #Constraints: 121242
531.69/533.08 c #Conflicts: 735000 | #Constraints: 122242
531.69/533.08 c #Conflicts: 736000 | #Constraints: 123242
531.69/533.08 c #Conflicts: 737000 | #Constraints: 124242
531.69/533.08 c #Conflicts: 738000 | #Constraints: 125242
531.69/533.08 c #Conflicts: 739000 | #Constraints: 126242
531.69/533.08 c INPROCESSING
531.69/533.08 c GARBAGE COLLECT
531.69/533.08 c #Conflicts: 740000 | #Constraints: 110258
531.69/533.08 c #Conflicts: 741000 | #Constraints: 111258
531.69/533.08 c #Conflicts: 742000 | #Constraints: 112258
531.69/533.08 c #Conflicts: 743000 | #Constraints: 113258
531.69/533.08 c #Conflicts: 744000 | #Constraints: 114258
531.69/533.08 c #Conflicts: 745000 | #Constraints: 115258
531.69/533.08 c #Conflicts: 746000 | #Constraints: 116258
531.69/533.08 c #Conflicts: 747000 | #Constraints: 117258
531.69/533.08 c #Conflicts: 748000 | #Constraints: 118258
531.69/533.08 c #Conflicts: 749000 | #Constraints: 119258
531.69/533.08 c #Conflicts: 750000 | #Constraints: 120258
531.69/533.08 c #Conflicts: 751000 | #Constraints: 121258
531.69/533.08 c #Conflicts: 752000 | #Constraints: 122258
531.69/533.08 c #Conflicts: 753000 | #Constraints: 123258
531.69/533.08 c #Conflicts: 754000 | #Constraints: 124258
531.69/533.08 c #Conflicts: 755000 | #Constraints: 125258
531.69/533.08 c #Conflicts: 756000 | #Constraints: 126258
531.69/533.08 c INPROCESSING
531.69/533.08 c GARBAGE COLLECT
531.69/533.08 c #Conflicts: 757000 | #Constraints: 110039
531.69/533.08 c #Conflicts: 758000 | #Constraints: 111039
531.69/533.08 c #Conflicts: 759000 | #Constraints: 112039
531.69/533.08 c #Conflicts: 760000 | #Constraints: 113039
531.69/533.08 c #Conflicts: 761000 | #Constraints: 114039
531.69/533.08 c #Conflicts: 762000 | #Constraints: 115039
531.69/533.08 c #Conflicts: 763000 | #Constraints: 116039
531.69/533.08 c #Conflicts: 764000 | #Constraints: 117039
531.69/533.08 c #Conflicts: 765000 | #Constraints: 118039
531.69/533.08 c #Conflicts: 766000 | #Constraints: 119039
531.69/533.08 c #Conflicts: 767000 | #Constraints: 120039
531.69/533.08 c #Conflicts: 768000 | #Constraints: 121039
531.69/533.08 c #Conflicts: 769000 | #Constraints: 122039
531.69/533.08 c #Conflicts: 770000 | #Constraints: 123039
531.69/533.08 c #Conflicts: 771000 | #Constraints: 124039
537.48/538.80 c #Conflicts: 772000 | #Constraints: 125039
537.48/538.80 c #Conflicts: 773000 | #Constraints: 126039
537.48/538.80 c #Conflicts: 774000 | #Constraints: 127039
537.48/538.80 c INPROCESSING
537.48/538.80 c GARBAGE COLLECT
537.48/538.80 c rational objective 361
609.41/610.93 c #Conflicts: 775000 | #Constraints: 110627
609.41/610.93 c #Conflicts: 776000 | #Constraints: 111627
609.41/610.93 c #Conflicts: 777000 | #Constraints: 112627
609.41/610.93 c #Conflicts: 778000 | #Constraints: 113627
609.41/610.93 c #Conflicts: 779000 | #Constraints: 114627
609.41/610.93 c #Conflicts: 780000 | #Constraints: 115627
609.41/610.93 c #Conflicts: 781000 | #Constraints: 116627
609.41/610.93 c #Conflicts: 782000 | #Constraints: 117627
609.41/610.93 c #Conflicts: 783000 | #Constraints: 118627
609.41/610.93 c #Conflicts: 784000 | #Constraints: 119627
609.41/610.93 c #Conflicts: 785000 | #Constraints: 120627
609.41/610.93 c #Conflicts: 786000 | #Constraints: 121627
609.41/610.93 c #Conflicts: 787000 | #Constraints: 122627
609.41/610.93 c #Conflicts: 788000 | #Constraints: 123627
609.41/610.93 c #Conflicts: 789000 | #Constraints: 124627
609.41/610.93 c #Conflicts: 790000 | #Constraints: 125627
609.41/610.93 c #Conflicts: 791000 | #Constraints: 126627
609.41/610.93 c #Conflicts: 792000 | #Constraints: 127627
609.41/610.93 c INPROCESSING
609.41/610.93 c GARBAGE COLLECT
609.41/610.93 c #Conflicts: 793000 | #Constraints: 111018
609.41/610.93 c #Conflicts: 794000 | #Constraints: 112018
609.41/610.93 c #Conflicts: 795000 | #Constraints: 113018
609.41/610.93 c #Conflicts: 796000 | #Constraints: 114018
609.41/610.93 c #Conflicts: 797000 | #Constraints: 115018
609.41/610.93 c #Conflicts: 798000 | #Constraints: 116018
609.41/610.93 c #Conflicts: 799000 | #Constraints: 117018
609.41/610.93 c #Conflicts: 800000 | #Constraints: 118018
609.41/610.93 c #Conflicts: 801000 | #Constraints: 119018
609.41/610.93 c #Conflicts: 802000 | #Constraints: 120018
609.41/610.93 c #Conflicts: 803000 | #Constraints: 121018
609.41/610.93 c #Conflicts: 804000 | #Constraints: 122018
609.41/610.93 c #Conflicts: 805000 | #Constraints: 123018
609.41/610.93 c #Conflicts: 806000 | #Constraints: 124018
609.41/610.93 c #Conflicts: 807000 | #Constraints: 125018
609.41/610.93 c #Conflicts: 808000 | #Constraints: 126018
609.41/610.93 c #Conflicts: 809000 | #Constraints: 127018
609.41/610.93 c #Conflicts: 810000 | #Constraints: 128018
609.41/610.93 c INPROCESSING
609.41/610.93 c GARBAGE COLLECT
609.41/610.93 c #Conflicts: 811000 | #Constraints: 111222
609.41/610.93 c #Conflicts: 812000 | #Constraints: 112222
609.41/610.93 c #Conflicts: 813000 | #Constraints: 113222
609.41/610.93 c #Conflicts: 814000 | #Constraints: 114222
609.41/610.93 c #Conflicts: 815000 | #Constraints: 115222
609.41/610.93 c #Conflicts: 816000 | #Constraints: 116222
609.41/610.93 c #Conflicts: 817000 | #Constraints: 117222
609.41/610.93 c #Conflicts: 818000 | #Constraints: 118222
609.41/610.93 c #Conflicts: 819000 | #Constraints: 119222
609.41/610.93 c #Conflicts: 820000 | #Constraints: 120222
609.41/610.93 c #Conflicts: 821000 | #Constraints: 121222
609.41/610.93 c #Conflicts: 822000 | #Constraints: 122222
609.41/610.93 c #Conflicts: 823000 | #Constraints: 123222
609.41/610.93 c #Conflicts: 824000 | #Constraints: 124222
609.41/610.93 c #Conflicts: 825000 | #Constraints: 125222
609.41/610.93 c #Conflicts: 826000 | #Constraints: 126222
609.41/610.93 c #Conflicts: 827000 | #Constraints: 127222
609.41/610.93 c #Conflicts: 828000 | #Constraints: 128222
609.41/610.93 c INPROCESSING
609.41/610.93 c GARBAGE COLLECT
609.41/610.93 WSVECS04 Frhs2[33]: 6 0 0.161526 shouldn't be
609.41/610.93 WSVECS04 Frhs2[36]: 6 0 0.161447 shouldn't be
609.41/610.93 WSVECS04 Frhs2[312]: 6 -0.33391 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[380]: 6 0 0.419917 shouldn't be
609.41/610.93 WSVECS04 Frhs2[389]: 6 0 0.171192 shouldn't be
609.41/610.93 WSVECS04 Frhs2[390]: 6 0 0.171189 shouldn't be
609.41/610.93 WSVECS04 Frhs2[391]: 6 0 0.17119 shouldn't be
609.41/610.93 WSVECS04 Frhs2[406]: 6 0 0.169985 shouldn't be
609.41/610.93 WSVECS04 Frhs2[407]: 6 0 0.169937 shouldn't be
609.41/610.93 WSVECS04 Frhs2[408]: 6 0 0.169992 shouldn't be
609.41/610.93 WSVECS04 Frhs2[432]: 6 -1.17476 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[456]: 6 0 0.172785 shouldn't be
609.41/610.93 WSVECS04 Frhs2[457]: 6 0 0.205248 shouldn't be
609.41/610.93 WSVECS04 Frhs2[480]: 6 -0.69892 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[492]: 6 0 0.425791 shouldn't be
609.41/610.93 WSVECS04 Frhs2[516]: 6 -0.553881 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[540]: 6 0 0.357669 shouldn't be
609.41/610.93 WSVECS04 Frhs2[544]: 6 0 0.0431908 shouldn't be
609.41/610.93 WSVECS04 Frhs2[546]: 6 -0.102823 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[549]: 6 0 0.0368965 shouldn't be
609.41/610.93 WSVECS04 Frhs2[550]: 6 0 0.0369009 shouldn't be
609.41/610.93 WSVECS04 Frhs2[551]: 6 0 0.0369239 shouldn't be
609.41/610.93 WSVECS04 Frhs2[673]: 6 -0.726964 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[765]: 6 0 0.038936 shouldn't be
609.41/610.93 WSVECS04 Frhs2[766]: 6 0 0.0389362 shouldn't be
609.41/610.93 WSVECS04 Frhs2[767]: 6 0 0.0389663 shouldn't be
609.41/610.93 WSVECS04 Frhs2[769]: 6 0 1.56716 shouldn't be
609.41/610.93 WSVECS04 Frhs2[845]: 6 0 0.244496 shouldn't be
609.41/610.93 WSVECS04 Frhs2[846]: 6 0 0.244444 shouldn't be
609.41/610.93 WSVECS04 Frhs2[847]: 6 0 0.244487 shouldn't be
609.41/610.93 WSVECS04 Frhs2[849]: 6 0 0.029897 shouldn't be
609.41/610.93 WSVECS04 Frhs2[850]: 6 0 0.0299027 shouldn't be
609.41/610.93 WSVECS04 Frhs2[852]: 6 0 0.0299549 shouldn't be
609.41/610.93 WSVECS04 Frhs2[869]: 6 -0.887154 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[884]: 6 -1.50861 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[893]: 6 -0.471378 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[919]: 6 0 0.0360721 shouldn't be
609.41/610.93 WSVECS04 Frhs2[1011]: 6 -0.0258337 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[1100]: 6 0 0.0239278 shouldn't be
609.41/610.93 WSVECS04 Frhs2[1168]: 6 -0.125714 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[1172]: 6 -0.394661 0 shouldn't be
609.41/610.93 WSVECS04 Frhs2[1342]: 6 0 0.168852 shouldn't be
609.41/610.93 WSVECS04 Frhs2[1394]: 6 0 0.172697 shouldn't be
618.69/620.22 WSVECS04 Frhs2[149]: 6 0 0.010988 shouldn't be
618.69/620.22 WSVECS04 Frhs2[167]: 6 0 0.0322254 shouldn't be
618.69/620.22 WSVECS04 Frhs2[448]: 6 0 0.0817328 shouldn't be
618.69/620.22 WSVECS04 Frhs2[810]: 6 -0.232093 0 shouldn't be
618.69/620.22 WSVECS04 Frhs2[904]: 6 0 0.235618 shouldn't be
618.69/620.22 WSVECS04 Frhs2[1091]: 6 0 0.0322856 shouldn't be
618.69/620.22 WSVECS04 Frhs2[1092]: 6 0 0.0322265 shouldn't be
618.69/620.22 WSVECS04 Frhs2[1344]: 6 0 0.168875 shouldn't be
628.96/630.54 WSVECS04 Frhs2[260]: 6 0 0.378079 shouldn't be
628.96/630.54 WSVECS04 Frhs2[401]: 6 0 0.27091 shouldn't be
628.96/630.54 WSVECS04 Frhs2[489]: 6 0 0.425792 shouldn't be
628.96/630.54 WSVECS04 Frhs2[504]: 6 0 0.0076027 shouldn't be
628.96/630.54 WSVECS04 Frhs2[608]: 6 0 0.314804 shouldn't be
628.96/630.54 WSVECS04 Frhs2[624]: 6 0 0.0817622 shouldn't be
628.96/630.54 WSVECS04 Frhs2[770]: 6 0 1.56721 shouldn't be
628.96/630.54 WSVECS04 Frhs2[771]: 6 0 1.5672 shouldn't be
628.96/630.54 WSVECS04 Frhs2[786]: 6 -0.438404 0 shouldn't be
628.96/630.54 WSVECS04 Frhs2[792]: 6 0 0.687568 shouldn't be
628.96/630.54 WSVECS04 Frhs2[825]: 6 0 0.510696 shouldn't be
628.96/630.54 WSVECS04 Frhs2[1080]: 6 0 0.160789 shouldn't be
628.96/630.54 WSVECS04 Frhs2[1089]: 6 0 0.032293 shouldn't be
628.96/630.54 WSVECS04 Frhs2[1146]: 6 0 0.0359523 shouldn't be
628.96/630.54 WSVECS04 Frhs2[1147]: 6 0 0.0359615 shouldn't be
628.96/630.54 WSVECS04 Frhs2[1396]: 6 0 0.172744 shouldn't be
643.03/644.63 WSVECS04 Frhs2[61]: 6 -0.0322854 0 shouldn't be
643.03/644.63 WSVECS04 Frhs2[137]: 6 0 0.232065 shouldn't be
643.03/644.63 WSVECS04 Frhs2[437]: 6 -0.602878 0 shouldn't be
643.03/644.63 WSVECS04 Frhs2[455]: 6 0 0.172739 shouldn't be
643.03/644.63 WSVECS04 Frhs2[502]: 6 0 0.00759164 shouldn't be
643.03/644.63 WSVECS04 Frhs2[585]: 6 0 0.30932 shouldn't be
643.03/644.63 WSVECS04 Frhs2[598]: 6 0 0.284895 shouldn't be
643.03/644.63 WSVECS04 Frhs2[616]: 6 0 0.373951 shouldn't be
643.03/644.63 WSVECS04 Frhs2[628]: 6 -0.898499 0 shouldn't be
643.03/644.63 WSVECS04 Frhs2[638]: 6 0 1.31007 shouldn't be
643.03/644.63 WSVECS04 Frhs2[748]: 6 -0.378158 0 shouldn't be
643.03/644.63 WSVECS04 Frhs2[899]: 6 -0.309059 0 shouldn't be
643.03/644.63 WSVECS04 Frhs2[939]: 6 -0.593599 0 shouldn't be
656.00/657.67 WSVECS04 Frhs2[273]: 6 0 0.499058 shouldn't be
656.00/657.67 WSVECS04 Frhs2[576]: 6 0 1.49144 shouldn't be
656.00/657.67 WSVECS04 Frhs2[605]: 6 0 0.314823 shouldn't be
656.00/657.67 WSVECS04 Frhs2[613]: 6 0 0.373953 shouldn't be
656.00/657.67 WSVECS04 Frhs2[646]: 6 0 0.545435 shouldn't be
666.08/667.78 WSVECS04 Frhs2[132]: 6 0 0.214517 shouldn't be
666.08/667.78 WSVECS04 Frhs2[501]: 6 0 0.00756354 shouldn't be
666.08/667.78 WSVECS04 Frhs2[599]: 6 0 0.284866 shouldn't be
666.08/667.78 WSVECS04 Frhs2[758]: 6 -0.0874083 0 shouldn't be
666.08/667.78 WSVECS04 Frhs2[828]: 6 0 0.510678 shouldn't be
666.08/667.78 WSVECS04 Frhs2[1075]: 6 -0.864621 0 shouldn't be
666.08/667.78 WSVECS04 Frhs2[1097]: 6 0 0.0240004 shouldn't be
675.15/676.88 WSVECS04 Frhs2[151]: 6 0 0.0109127 shouldn't be
675.15/676.88 WSVECS04 Frhs2[391]: 6 0 0.171128 shouldn't be
675.15/676.88 WSVECS04 Frhs2[401]: 6 0 0.270834 shouldn't be
675.15/676.88 WSVECS04 Frhs2[407]: 6 0 0.169898 shouldn't be
675.15/676.88 WSVECS04 Frhs2[455]: 6 0 0.172686 shouldn't be
675.15/676.88 WSVECS04 Frhs2[457]: 6 0 0.205224 shouldn't be
675.15/676.88 WSVECS04 Frhs2[480]: 6 -0.698894 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[490]: 6 0 0.425741 shouldn't be
675.15/676.88 WSVECS04 Frhs2[504]: 6 0 0.0075423 shouldn't be
675.15/676.88 WSVECS04 Frhs2[512]: 6 -0.0282566 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[537]: 6 0 0.357648 shouldn't be
675.15/676.88 WSVECS04 Frhs2[543]: 6 0 0.0431068 shouldn't be
675.15/676.88 WSVECS04 Frhs2[549]: 6 0 0.0368654 shouldn't be
675.15/676.88 WSVECS04 Frhs2[559]: 6 -0.409927 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[584]: 6 -0.103809 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[599]: 6 0 0.284848 shouldn't be
675.15/676.88 WSVECS04 Frhs2[608]: 6 0 0.314779 shouldn't be
675.15/676.88 WSVECS04 Frhs2[628]: 6 -0.898449 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[748]: 6 -0.378064 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[758]: 6 -0.0873482 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[767]: 6 0 0.0389115 shouldn't be
675.15/676.88 WSVECS04 Frhs2[769]: 6 0 1.56714 shouldn't be
675.15/676.88 WSVECS04 Frhs2[810]: 6 -0.232053 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[828]: 6 0 0.510638 shouldn't be
675.15/676.88 WSVECS04 Frhs2[847]: 6 0 0.244416 shouldn't be
675.15/676.88 WSVECS04 Frhs2[850]: 6 0 0.0298774 shouldn't be
675.15/676.88 WSVECS04 Frhs2[869]: 6 -0.887132 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[877]: 6 0 0.194668 shouldn't be
675.15/676.88 WSVECS04 Frhs2[899]: 6 -0.30905 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[919]: 6 0 0.0359942 shouldn't be
675.15/676.88 WSVECS04 Frhs2[939]: 6 -0.593501 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[1021]: 6 -0.2425 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[1168]: 6 -0.125654 0 shouldn't be
675.15/676.88 WSVECS04 Frhs2[1172]: 6 -0.39465 0 shouldn't be
683.13/684.89 WSVECS04 Frhs2[193]: 6 0 0.0679926 shouldn't be
683.13/684.89 WSVECS04 Frhs2[328]: 6 0 0.275542 shouldn't be
683.13/684.89 WSVECS04 Frhs2[437]: 6 -0.0399755 0 shouldn't be
683.13/684.89 WSVECS04 Frhs2[479]: 6 0 0.204201 shouldn't be
683.13/684.89 WSVECS04 Frhs2[528]: 6 -1.1486 0 shouldn't be
683.13/684.89 WSVECS04 Frhs2[640]: 6 -0.130561 0 shouldn't be
708.28/710.06 c #Conflicts: 829000 | #Constraints: 111225
708.28/710.06 c #Conflicts: 830000 | #Constraints: 112225
708.28/710.06 c #Conflicts: 831000 | #Constraints: 113225
708.28/710.06 c #Conflicts: 832000 | #Constraints: 114225
708.28/710.06 c #Conflicts: 833000 | #Constraints: 115225
708.28/710.06 c #Conflicts: 834000 | #Constraints: 116225
708.28/710.06 c #Conflicts: 835000 | #Constraints: 117225
708.28/710.06 c #Conflicts: 836000 | #Constraints: 118225
708.28/710.06 c #Conflicts: 837000 | #Constraints: 119225
708.28/710.06 c #Conflicts: 838000 | #Constraints: 120225
708.28/710.06 c #Conflicts: 839000 | #Constraints: 121225
708.28/710.06 c #Conflicts: 840000 | #Constraints: 122225
708.28/710.06 c #Conflicts: 841000 | #Constraints: 123225
708.28/710.06 c #Conflicts: 842000 | #Constraints: 124225
708.28/710.06 c #Conflicts: 843000 | #Constraints: 125225
708.28/710.06 c #Conflicts: 844000 | #Constraints: 126225
708.28/710.06 c #Conflicts: 845000 | #Constraints: 127225
708.28/710.06 c #Conflicts: 846000 | #Constraints: 128225
708.28/710.06 c INPROCESSING
708.28/710.06 c GARBAGE COLLECT
708.28/710.06 c #Conflicts: 847000 | #Constraints: 111018
708.28/710.06 c #Conflicts: 848000 | #Constraints: 112018
708.28/710.06 c #Conflicts: 849000 | #Constraints: 113018
708.28/710.06 c #Conflicts: 850000 | #Constraints: 114018
708.28/710.06 c #Conflicts: 851000 | #Constraints: 115018
708.28/710.06 c #Conflicts: 852000 | #Constraints: 116018
708.28/710.06 c #Conflicts: 853000 | #Constraints: 117018
708.28/710.06 c #Conflicts: 854000 | #Constraints: 118018
708.28/710.06 c #Conflicts: 855000 | #Constraints: 119018
708.28/710.06 c #Conflicts: 856000 | #Constraints: 120018
708.28/710.06 c #Conflicts: 857000 | #Constraints: 121018
708.28/710.06 c #Conflicts: 858000 | #Constraints: 122018
708.28/710.06 c #Conflicts: 859000 | #Constraints: 123018
708.28/710.06 c #Conflicts: 860000 | #Constraints: 124018
708.28/710.06 c #Conflicts: 861000 | #Constraints: 125018
708.28/710.06 c #Conflicts: 862000 | #Constraints: 126018
708.28/710.06 c #Conflicts: 863000 | #Constraints: 127018
708.28/710.06 c #Conflicts: 864000 | #Constraints: 128018
708.28/710.06 c #Conflicts: 865000 | #Constraints: 129018
708.28/710.06 c INPROCESSING
708.28/710.06 c GARBAGE COLLECT
708.28/710.06 c #Conflicts: 866000 | #Constraints: 111623
708.28/710.06 c #Conflicts: 867000 | #Constraints: 112623
708.28/710.06 c #Conflicts: 868000 | #Constraints: 113623
708.28/710.06 c #Conflicts: 869000 | #Constraints: 114623
708.28/710.06 c #Conflicts: 870000 | #Constraints: 115623
708.28/710.06 c #Conflicts: 871000 | #Constraints: 116623
708.28/710.06 c #Conflicts: 872000 | #Constraints: 117623
708.28/710.06 c #Conflicts: 873000 | #Constraints: 118623
708.28/710.06 c #Conflicts: 874000 | #Constraints: 119623
708.28/710.06 c #Conflicts: 875000 | #Constraints: 120623
708.28/710.06 c #Conflicts: 876000 | #Constraints: 121623
708.28/710.06 c #Conflicts: 877000 | #Constraints: 122623
708.28/710.06 c #Conflicts: 878000 | #Constraints: 123623
708.28/710.06 c #Conflicts: 879000 | #Constraints: 124623
708.28/710.06 c #Conflicts: 880000 | #Constraints: 125623
708.28/710.06 c #Conflicts: 881000 | #Constraints: 126623
708.28/710.06 c #Conflicts: 882000 | #Constraints: 127623
708.28/710.06 c #Conflicts: 883000 | #Constraints: 128623
708.28/710.06 c #Conflicts: 884000 | #Constraints: 129623
708.28/710.06 c INPROCESSING
708.28/710.06 c GARBAGE COLLECT
708.28/710.06 c #Conflicts: 885000 | #Constraints: 112028
708.28/710.06 c #Conflicts: 886000 | #Constraints: 113028
708.28/710.06 c #Conflicts: 887000 | #Constraints: 114028
708.28/710.06 c #Conflicts: 888000 | #Constraints: 115028
708.28/710.06 c #Conflicts: 889000 | #Constraints: 116028
708.28/710.06 c #Conflicts: 890000 | #Constraints: 117028
708.28/710.06 c #Conflicts: 891000 | #Constraints: 118028
708.28/710.06 c #Conflicts: 892000 | #Constraints: 119028
708.28/710.06 c #Conflicts: 893000 | #Constraints: 120028
708.28/710.06 c #Conflicts: 894000 | #Constraints: 121028
708.28/710.06 c #Conflicts: 895000 | #Constraints: 122028
708.28/710.06 c #Conflicts: 896000 | #Constraints: 123028
708.28/710.06 c #Conflicts: 897000 | #Constraints: 124028
708.28/710.06 c #Conflicts: 898000 | #Constraints: 125028
708.28/710.06 c #Conflicts: 899000 | #Constraints: 126028
708.28/710.06 c #Conflicts: 900000 | #Constraints: 127028
708.28/710.06 c #Conflicts: 901000 | #Constraints: 128028
708.28/710.06 c #Conflicts: 902000 | #Constraints: 129028
708.28/710.06 c #Conflicts: 903000 | #Constraints: 130028
708.28/710.06 c INPROCESSING
708.28/710.06 c GARBAGE COLLECT
708.28/710.06 c #Conflicts: 904000 | #Constraints: 112223
708.28/710.06 c #Conflicts: 905000 | #Constraints: 113223
724.63/726.47 c #Conflicts: 906000 | #Constraints: 114223
724.63/726.47 c #Conflicts: 907000 | #Constraints: 115223
724.63/726.47 c #Conflicts: 908000 | #Constraints: 116223
724.63/726.47 c #Conflicts: 909000 | #Constraints: 117223
724.63/726.47 c #Conflicts: 910000 | #Constraints: 118223
724.63/726.47 c #Conflicts: 911000 | #Constraints: 119223
724.63/726.47 c #Conflicts: 912000 | #Constraints: 120223
724.63/726.47 c #Conflicts: 913000 | #Constraints: 121223
724.63/726.47 c #Conflicts: 914000 | #Constraints: 122223
724.63/726.47 c #Conflicts: 915000 | #Constraints: 123223
724.63/726.47 c #Conflicts: 916000 | #Constraints: 124223
724.63/726.47 c #Conflicts: 917000 | #Constraints: 125223
724.63/726.47 c #Conflicts: 918000 | #Constraints: 126223
724.63/726.47 c #Conflicts: 919000 | #Constraints: 127223
724.63/726.47 c #Conflicts: 920000 | #Constraints: 128223
724.63/726.47 c #Conflicts: 921000 | #Constraints: 129223
724.63/726.47 c #Conflicts: 922000 | #Constraints: 130223
724.63/726.47 c INPROCESSING
724.63/726.47 c GARBAGE COLLECT
724.63/726.47 c #Conflicts: 923000 | #Constraints: 112223
724.63/726.47 c #Conflicts: 924000 | #Constraints: 113223
724.63/726.47 c #Conflicts: 925000 | #Constraints: 114223
724.63/726.47 c #Conflicts: 926000 | #Constraints: 115223
724.63/726.47 c #Conflicts: 927000 | #Constraints: 116223
724.63/726.47 c #Conflicts: 928000 | #Constraints: 117223
724.63/726.47 c #Conflicts: 929000 | #Constraints: 118223
724.63/726.47 c #Conflicts: 930000 | #Constraints: 119223
724.63/726.47 c #Conflicts: 931000 | #Constraints: 120223
724.63/726.47 c #Conflicts: 932000 | #Constraints: 121223
724.63/726.47 c #Conflicts: 933000 | #Constraints: 122223
724.63/726.47 c #Conflicts: 934000 | #Constraints: 123223
724.63/726.47 c #Conflicts: 935000 | #Constraints: 124223
724.63/726.47 c #Conflicts: 936000 | #Constraints: 125223
724.63/726.47 c #Conflicts: 937000 | #Constraints: 126223
724.63/726.47 c #Conflicts: 938000 | #Constraints: 127223
724.63/726.47 c #Conflicts: 939000 | #Constraints: 128223
724.63/726.47 c #Conflicts: 940000 | #Constraints: 129223
724.63/726.47 c #Conflicts: 941000 | #Constraints: 130223
724.63/726.47 c INPROCESSING
724.63/726.47 c GARBAGE COLLECT
724.63/726.47 c #Conflicts: 942000 | #Constraints: 112040
724.63/726.47 c #Conflicts: 943000 | #Constraints: 113040
724.63/726.47 c #Conflicts: 944000 | #Constraints: 114040
724.63/726.47 c #Conflicts: 945000 | #Constraints: 115040
724.63/726.47 c #Conflicts: 946000 | #Constraints: 116040
724.63/726.47 c #Conflicts: 947000 | #Constraints: 117040
724.63/726.47 c #Conflicts: 948000 | #Constraints: 118040
724.63/726.47 c #Conflicts: 949000 | #Constraints: 119040
724.63/726.47 c #Conflicts: 950000 | #Constraints: 120040
724.63/726.47 c #Conflicts: 951000 | #Constraints: 121040
724.63/726.47 c #Conflicts: 952000 | #Constraints: 122040
724.63/726.47 c #Conflicts: 953000 | #Constraints: 123040
724.63/726.47 c #Conflicts: 954000 | #Constraints: 124040
724.63/726.47 c #Conflicts: 955000 | #Constraints: 125040
724.63/726.47 c #Conflicts: 956000 | #Constraints: 126040
724.63/726.47 c #Conflicts: 957000 | #Constraints: 127040
724.63/726.47 c #Conflicts: 958000 | #Constraints: 128040
724.63/726.47 c #Conflicts: 959000 | #Constraints: 129040
724.63/726.47 c #Conflicts: 960000 | #Constraints: 130040
724.63/726.47 c #Conflicts: 961000 | #Constraints: 131040
724.63/726.47 c INPROCESSING
724.63/726.47 c GARBAGE COLLECT
724.63/726.47 c #Conflicts: 962000 | #Constraints: 112648
724.63/726.47 c #Conflicts: 963000 | #Constraints: 113648
724.63/726.47 c #Conflicts: 964000 | #Constraints: 114648
724.63/726.47 c #Conflicts: 965000 | #Constraints: 115648
724.63/726.47 c #Conflicts: 966000 | #Constraints: 116648
724.63/726.47 c #Conflicts: 967000 | #Constraints: 117648
724.63/726.47 c #Conflicts: 968000 | #Constraints: 118648
724.63/726.47 c #Conflicts: 969000 | #Constraints: 119648
724.63/726.47 c #Conflicts: 970000 | #Constraints: 120648
724.63/726.47 c #Conflicts: 971000 | #Constraints: 121648
724.63/726.47 c #Conflicts: 972000 | #Constraints: 122648
724.63/726.47 c #Conflicts: 973000 | #Constraints: 123648
724.63/726.47 c #Conflicts: 974000 | #Constraints: 124648
724.63/726.47 c #Conflicts: 975000 | #Constraints: 125648
724.63/726.47 c #Conflicts: 976000 | #Constraints: 126648
724.63/726.47 c #Conflicts: 977000 | #Constraints: 127648
724.63/726.47 c #Conflicts: 978000 | #Constraints: 128648
724.63/726.47 c #Conflicts: 979000 | #Constraints: 129648
724.63/726.47 c #Conflicts: 980000 | #Constraints: 130648
724.63/726.47 c #Conflicts: 981000 | #Constraints: 131648
724.63/726.47 c INPROCESSING
744.59/746.42 c GARBAGE COLLECT
744.59/746.42 c #Conflicts: 982000 | #Constraints: 113048
744.59/746.42 c #Conflicts: 983000 | #Constraints: 114048
744.59/746.42 c #Conflicts: 984000 | #Constraints: 115048
744.59/746.42 c #Conflicts: 985000 | #Constraints: 116048
744.59/746.42 c #Conflicts: 986000 | #Constraints: 117048
744.59/746.42 c #Conflicts: 987000 | #Constraints: 118048
744.59/746.42 c #Conflicts: 988000 | #Constraints: 119048
744.59/746.42 c #Conflicts: 989000 | #Constraints: 120048
744.59/746.42 c #Conflicts: 990000 | #Constraints: 121048
744.59/746.42 c #Conflicts: 991000 | #Constraints: 122048
744.59/746.42 c #Conflicts: 992000 | #Constraints: 123048
744.59/746.42 c #Conflicts: 993000 | #Constraints: 124048
744.59/746.42 c #Conflicts: 994000 | #Constraints: 125048
744.59/746.42 c #Conflicts: 995000 | #Constraints: 126048
744.59/746.42 c #Conflicts: 996000 | #Constraints: 127048
744.59/746.42 c #Conflicts: 997000 | #Constraints: 128048
744.59/746.42 c #Conflicts: 998000 | #Constraints: 129048
744.59/746.42 c #Conflicts: 999000 | #Constraints: 130048
744.59/746.42 c #Conflicts: 1000000 | #Constraints: 131048
744.59/746.42 c #Conflicts: 1001000 | #Constraints: 132048
744.59/746.42 c INPROCESSING
744.59/746.42 c GARBAGE COLLECT
744.59/746.42 c #Conflicts: 1002000 | #Constraints: 113246
744.59/746.42 c #Conflicts: 1003000 | #Constraints: 114246
744.59/746.42 c #Conflicts: 1004000 | #Constraints: 115246
744.59/746.42 c #Conflicts: 1005000 | #Constraints: 116246
744.59/746.42 c #Conflicts: 1006000 | #Constraints: 117246
744.59/746.42 c #Conflicts: 1007000 | #Constraints: 118246
744.59/746.42 c #Conflicts: 1008000 | #Constraints: 119246
744.59/746.42 c #Conflicts: 1009000 | #Constraints: 120246
744.59/746.42 c #Conflicts: 1010000 | #Constraints: 121246
744.59/746.42 c #Conflicts: 1011000 | #Constraints: 122246
744.59/746.42 c #Conflicts: 1012000 | #Constraints: 123246
744.59/746.42 c #Conflicts: 1013000 | #Constraints: 124246
744.59/746.42 c #Conflicts: 1014000 | #Constraints: 125246
744.59/746.42 c #Conflicts: 1015000 | #Constraints: 126246
744.59/746.42 c #Conflicts: 1016000 | #Constraints: 127246
744.59/746.42 c #Conflicts: 1017000 | #Constraints: 128246
744.59/746.42 c #Conflicts: 1018000 | #Constraints: 129246
744.59/746.42 c #Conflicts: 1019000 | #Constraints: 130246
744.59/746.42 c #Conflicts: 1020000 | #Constraints: 131246
744.59/746.42 c #Conflicts: 1021000 | #Constraints: 132246
744.59/746.42 c INPROCESSING
744.59/746.42 c GARBAGE COLLECT
744.59/746.42 c #Conflicts: 1022000 | #Constraints: 113254
744.59/746.42 c #Conflicts: 1023000 | #Constraints: 114254
744.59/746.42 c #Conflicts: 1024000 | #Constraints: 115254
744.59/746.42 c #Conflicts: 1025000 | #Constraints: 116254
744.59/746.42 c #Conflicts: 1026000 | #Constraints: 117254
744.59/746.42 c #Conflicts: 1027000 | #Constraints: 118254
744.59/746.42 c #Conflicts: 1028000 | #Constraints: 119254
744.59/746.42 c #Conflicts: 1029000 | #Constraints: 120254
744.59/746.42 c #Conflicts: 1030000 | #Constraints: 121254
744.59/746.42 c #Conflicts: 1031000 | #Constraints: 122254
744.59/746.42 c #Conflicts: 1032000 | #Constraints: 123254
744.59/746.42 c #Conflicts: 1033000 | #Constraints: 124254
744.59/746.42 c #Conflicts: 1034000 | #Constraints: 125254
744.59/746.42 c #Conflicts: 1035000 | #Constraints: 126254
744.59/746.42 c #Conflicts: 1036000 | #Constraints: 127254
744.59/746.42 c #Conflicts: 1037000 | #Constraints: 128254
744.59/746.42 c #Conflicts: 1038000 | #Constraints: 129254
744.59/746.42 c #Conflicts: 1039000 | #Constraints: 130254
744.59/746.42 c #Conflicts: 1040000 | #Constraints: 131254
744.59/746.42 c #Conflicts: 1041000 | #Constraints: 132254
744.59/746.42 c INPROCESSING
744.59/746.42 c GARBAGE COLLECT
744.59/746.42 c #Conflicts: 1042000 | #Constraints: 113050
744.59/746.42 c #Conflicts: 1043000 | #Constraints: 114050
744.59/746.42 c #Conflicts: 1044000 | #Constraints: 115050
744.59/746.42 c #Conflicts: 1045000 | #Constraints: 116050
744.59/746.42 c #Conflicts: 1046000 | #Constraints: 117050
744.59/746.42 c #Conflicts: 1047000 | #Constraints: 118050
744.59/746.42 c #Conflicts: 1048000 | #Constraints: 119050
744.59/746.42 c #Conflicts: 1049000 | #Constraints: 120050
744.59/746.42 c #Conflicts: 1050000 | #Constraints: 121050
744.59/746.42 c #Conflicts: 1051000 | #Constraints: 122050
744.59/746.42 c #Conflicts: 1052000 | #Constraints: 123050
744.59/746.42 c #Conflicts: 1053000 | #Constraints: 124050
744.59/746.42 c #Conflicts: 1054000 | #Constraints: 125050
744.59/746.42 c #Conflicts: 1055000 | #Constraints: 126050
744.59/746.42 c #Conflicts: 1056000 | #Constraints: 127050
744.59/746.42 c #Conflicts: 1057000 | #Constraints: 128050
744.59/746.42 c #Conflicts: 1058000 | #Constraints: 129050
761.15/763.02 c #Conflicts: 1059000 | #Constraints: 130050
761.15/763.02 c #Conflicts: 1060000 | #Constraints: 131050
761.15/763.02 c #Conflicts: 1061000 | #Constraints: 132050
761.15/763.02 c #Conflicts: 1062000 | #Constraints: 133051
761.15/763.02 c INPROCESSING
761.15/763.02 c GARBAGE COLLECT
761.15/763.02 c #Conflicts: 1063000 | #Constraints: 113656
761.15/763.02 c #Conflicts: 1064000 | #Constraints: 114656
761.15/763.02 c #Conflicts: 1065000 | #Constraints: 115656
761.15/763.02 c #Conflicts: 1066000 | #Constraints: 116656
761.15/763.02 c #Conflicts: 1067000 | #Constraints: 117656
761.15/763.02 c #Conflicts: 1068000 | #Constraints: 118656
761.15/763.02 c #Conflicts: 1069000 | #Constraints: 119656
761.15/763.02 c #Conflicts: 1070000 | #Constraints: 120656
761.15/763.02 c #Conflicts: 1071000 | #Constraints: 121656
761.15/763.02 c #Conflicts: 1072000 | #Constraints: 122656
761.15/763.02 c #Conflicts: 1073000 | #Constraints: 123656
761.15/763.02 c #Conflicts: 1074000 | #Constraints: 124656
761.15/763.02 c #Conflicts: 1075000 | #Constraints: 125656
761.15/763.02 c #Conflicts: 1076000 | #Constraints: 126656
761.15/763.02 c #Conflicts: 1077000 | #Constraints: 127656
761.15/763.02 c #Conflicts: 1078000 | #Constraints: 128656
761.15/763.02 c #Conflicts: 1079000 | #Constraints: 129656
761.15/763.02 c #Conflicts: 1080000 | #Constraints: 130656
761.15/763.02 c #Conflicts: 1081000 | #Constraints: 131656
761.15/763.02 c #Conflicts: 1082000 | #Constraints: 132656
761.15/763.02 WSVECS04 Frhs2[40]: 6 0 172.381 shouldn't be
761.15/763.02 WSVECS04 Frhs2[73]: 6 0 2.10998 shouldn't be
761.15/763.02 WSVECS04 Frhs2[115]: 6 0 0.103808 shouldn't be
761.15/763.02 WSVECS04 Frhs2[135]: 6 0 0.864995 shouldn't be
761.15/763.02 WSVECS04 Frhs2[149]: 6 0 14.8373 shouldn't be
761.15/763.02 WSVECS04 Frhs2[173]: 6 0 21.3578 shouldn't be
761.15/763.02 WSVECS04 Frhs2[179]: 6 0 12.728 shouldn't be
761.15/763.02 WSVECS04 Frhs2[180]: 6 0 13.4328 shouldn't be
761.15/763.02 WSVECS04 Frhs2[197]: 6 0 27.7599 shouldn't be
761.15/763.02 WSVECS04 Frhs2[205]: 6 0 1.75018 shouldn't be
761.15/763.02 WSVECS04 Frhs2[207]: 6 0 9.41769 shouldn't be
761.15/763.02 WSVECS04 Frhs2[210]: 6 0 11.2264 shouldn't be
761.15/763.02 WSVECS04 Frhs2[218]: 6 0 9.63448 shouldn't be
761.15/763.02 WSVECS04 Frhs2[237]: 6 0 0.601045 shouldn't be
761.15/763.02 WSVECS04 Frhs2[242]: 6 0 6.85711 shouldn't be
761.15/763.02 WSVECS04 Frhs2[260]: 6 0 259.782 shouldn't be
761.15/763.02 WSVECS04 Frhs2[262]: 6 0 7.4048 shouldn't be
761.15/763.02 WSVECS04 Frhs2[269]: 6 0 14.2429 shouldn't be
761.15/763.02 WSVECS04 Frhs2[284]: 6 0 2.55179 shouldn't be
761.15/763.02 WSVECS04 Frhs2[287]: 6 0 0.262745 shouldn't be
761.15/763.02 WSVECS04 Frhs2[298]: 6 0 15.8011 shouldn't be
761.15/763.02 WSVECS04 Frhs2[328]: 6 0 25.9881 shouldn't be
761.15/763.02 WSVECS04 Frhs2[374]: 6 0 0.34083 shouldn't be
761.15/763.02 WSVECS04 Frhs2[388]: 6 -43.9524 0 shouldn't be
761.15/763.02 WSVECS04 Frhs2[400]: 6 0 106.355 shouldn't be
761.15/763.02 WSVECS04 Frhs2[560]: 6 0 0.941831 shouldn't be
761.15/763.02 WSVECS04 Frhs2[668]: 6 0 139.651 shouldn't be
761.15/763.02 WSVECS04 Frhs2[692]: 6 0 39.2596 shouldn't be
761.15/763.02 WSVECS04 Frhs2[748]: 6 -48.1428 0 shouldn't be
761.15/763.02 WSVECS04 Frhs2[749]: 6 0 5.39224 shouldn't be
761.15/763.02 WSVECS04 Frhs2[843]: 6 0 8.48734 shouldn't be
761.15/763.02 WSVECS04 Frhs2[937]: 6 0 11.5531 shouldn't be
761.15/763.02 WSVECS04 Frhs2[947]: 6 0 24.7329 shouldn't be
761.15/763.02 WSVECS04 Frhs2[953]: 6 -7.34742 0 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1037]: 6 -4.28353 0 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1040]: 6 0 255.746 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1060]: 6 0 115.336 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1071]: 6 0 15.1755 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1076]: 6 -157.502 0 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1086]: 6 0 4.04655 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1099]: 6 0 0.118598 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1102]: 6 0 7.46925 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1107]: 6 0 16.9432 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1112]: 6 0 171.596 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1121]: 6 0 14.1339 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1160]: 6 0 0.118589 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1177]: 6 0 0.153827 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1186]: 6 0 0.237045 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1190]: 6 0 0.941872 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1192]: 6 0 200.842 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1203]: 6 0 15.1755 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1241]: 6 0 0.118558 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1246]: 6 0 0.941879 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1260]: 6 0 11.5075 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1293]: 6 0 1.5446 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1303]: 6 0 47.7687 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1309]: 6 0 1.05539 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1329]: 6 0 1.78165 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1376]: 6 0 121.684 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1385]: 6 0 14.1338 shouldn't be
761.15/763.02 WSVECS04 Frhs2[1409]: 6 0 0.222355 shouldn't be
767.15/769.10 WSVECS04 Frhs2[153]: 6 0 2.28199 shouldn't be
767.15/769.10 WSVECS04 Frhs2[265]: 6 0 0.262828 shouldn't be
767.15/769.10 WSVECS04 Frhs2[841]: 6 0 11.1801 shouldn't be
767.15/769.10 WSVECS04 Frhs2[1317]: 6 0 1.78162 shouldn't be
774.13/776.08 WSVECS04 Frhs2[1180]: 6 0 0.153893 shouldn't be
780.60/782.58 WSVECS04 Frhs2[1248]: 6 0 258.631 shouldn't be
808.15/810.11 c #Conflicts: 1083000 | #Constraints: 133656
808.15/810.11 c INPROCESSING
808.15/810.11 c GARBAGE COLLECT
808.15/810.11 c #Conflicts: 1084000 | #Constraints: 114066
808.15/810.11 c #Conflicts: 1085000 | #Constraints: 115066
808.15/810.11 c #Conflicts: 1086000 | #Constraints: 116066
808.15/810.11 c #Conflicts: 1087000 | #Constraints: 117066
808.15/810.11 c #Conflicts: 1088000 | #Constraints: 118066
808.15/810.11 c #Conflicts: 1089000 | #Constraints: 119066
808.15/810.11 c #Conflicts: 1090000 | #Constraints: 120066
808.15/810.11 c #Conflicts: 1091000 | #Constraints: 121066
808.15/810.11 c #Conflicts: 1092000 | #Constraints: 122066
808.15/810.11 c #Conflicts: 1093000 | #Constraints: 123066
808.15/810.11 c #Conflicts: 1094000 | #Constraints: 124066
808.15/810.11 c #Conflicts: 1095000 | #Constraints: 125066
808.15/810.11 c #Conflicts: 1096000 | #Constraints: 126066
808.15/810.11 c #Conflicts: 1097000 | #Constraints: 127066
808.15/810.11 c #Conflicts: 1098000 | #Constraints: 128066
808.15/810.11 c #Conflicts: 1099000 | #Constraints: 129066
808.15/810.11 c #Conflicts: 1100000 | #Constraints: 130066
808.15/810.11 c #Conflicts: 1101000 | #Constraints: 131066
808.15/810.11 c #Conflicts: 1102000 | #Constraints: 132066
808.15/810.11 c #Conflicts: 1103000 | #Constraints: 133066
808.15/810.11 c #Conflicts: 1104000 | #Constraints: 134066
808.15/810.11 c INPROCESSING
808.15/810.11 c GARBAGE COLLECT
808.15/810.11 c #Conflicts: 1105000 | #Constraints: 114266
808.15/810.11 c #Conflicts: 1106000 | #Constraints: 115266
808.15/810.11 c #Conflicts: 1107000 | #Constraints: 116266
808.15/810.11 c #Conflicts: 1108000 | #Constraints: 117266
808.15/810.11 c #Conflicts: 1109000 | #Constraints: 118266
808.15/810.11 c #Conflicts: 1110000 | #Constraints: 119266
808.15/810.11 c #Conflicts: 1111000 | #Constraints: 120266
808.15/810.11 c #Conflicts: 1112000 | #Constraints: 121266
808.15/810.11 c #Conflicts: 1113000 | #Constraints: 122266
808.15/810.11 c #Conflicts: 1114000 | #Constraints: 123266
808.15/810.11 c #Conflicts: 1115000 | #Constraints: 124266
808.15/810.11 c #Conflicts: 1116000 | #Constraints: 125266
808.15/810.11 c #Conflicts: 1117000 | #Constraints: 126266
808.15/810.11 c #Conflicts: 1118000 | #Constraints: 127266
808.15/810.11 c #Conflicts: 1119000 | #Constraints: 128266
808.15/810.11 c #Conflicts: 1120000 | #Constraints: 129266
808.15/810.11 c #Conflicts: 1121000 | #Constraints: 130266
808.15/810.11 c #Conflicts: 1122000 | #Constraints: 131266
808.15/810.11 c #Conflicts: 1123000 | #Constraints: 132266
808.15/810.11 c #Conflicts: 1124000 | #Constraints: 133266
808.15/810.11 c #Conflicts: 1125000 | #Constraints: 134266
808.15/810.11 c INPROCESSING
808.15/810.11 c GARBAGE COLLECT
808.15/810.11 c #Conflicts: 1126000 | #Constraints: 114266
808.15/810.11 c #Conflicts: 1127000 | #Constraints: 115266
808.15/810.11 c #Conflicts: 1128000 | #Constraints: 116266
808.15/810.11 c #Conflicts: 1129000 | #Constraints: 117266
808.15/810.11 c #Conflicts: 1130000 | #Constraints: 118266
808.15/810.11 c #Conflicts: 1131000 | #Constraints: 119266
808.15/810.11 c #Conflicts: 1132000 | #Constraints: 120266
808.15/810.11 c #Conflicts: 1133000 | #Constraints: 121266
808.15/810.11 c #Conflicts: 1134000 | #Constraints: 122266
808.15/810.11 c #Conflicts: 1135000 | #Constraints: 123266
808.15/810.11 c #Conflicts: 1136000 | #Constraints: 124266
808.15/810.11 c #Conflicts: 1137000 | #Constraints: 125266
808.15/810.11 c #Conflicts: 1138000 | #Constraints: 126266
808.15/810.11 c #Conflicts: 1139000 | #Constraints: 127266
808.15/810.11 c #Conflicts: 1140000 | #Constraints: 128266
808.15/810.11 c #Conflicts: 1141000 | #Constraints: 129266
808.15/810.11 c #Conflicts: 1142000 | #Constraints: 130266
808.15/810.11 c #Conflicts: 1143000 | #Constraints: 131266
808.15/810.11 c #Conflicts: 1144000 | #Constraints: 132266
808.15/810.11 c #Conflicts: 1145000 | #Constraints: 133266
808.15/810.11 c #Conflicts: 1146000 | #Constraints: 134266
808.15/810.11 c INPROCESSING
808.15/810.11 c GARBAGE COLLECT
808.15/810.11 c rational objective 361
827.89/829.98 c #Conflicts: 1147000 | #Constraints: 114053
827.89/829.98 c #Conflicts: 1148000 | #Constraints: 115053
827.89/829.98 c #Conflicts: 1149000 | #Constraints: 116053
827.89/829.98 c #Conflicts: 1150000 | #Constraints: 117053
827.89/829.98 c #Conflicts: 1151000 | #Constraints: 118053
827.89/829.98 c #Conflicts: 1152000 | #Constraints: 119053
827.89/829.98 c #Conflicts: 1153000 | #Constraints: 120053
827.89/829.98 c #Conflicts: 1154000 | #Constraints: 121053
827.89/829.98 c #Conflicts: 1155000 | #Constraints: 122053
827.89/829.98 c #Conflicts: 1156000 | #Constraints: 123053
827.89/829.98 c #Conflicts: 1157000 | #Constraints: 124053
827.89/829.98 c #Conflicts: 1158000 | #Constraints: 125053
827.89/829.98 c #Conflicts: 1159000 | #Constraints: 126053
827.89/829.98 c #Conflicts: 1160000 | #Constraints: 127053
827.89/829.98 c #Conflicts: 1161000 | #Constraints: 128053
827.89/829.98 c #Conflicts: 1162000 | #Constraints: 129053
827.89/829.98 c #Conflicts: 1163000 | #Constraints: 130053
827.89/829.98 c #Conflicts: 1164000 | #Constraints: 131053
827.89/829.98 c #Conflicts: 1165000 | #Constraints: 132053
827.89/829.98 c #Conflicts: 1166000 | #Constraints: 133053
827.89/829.98 c #Conflicts: 1167000 | #Constraints: 134053
827.89/829.98 c #Conflicts: 1168000 | #Constraints: 135053
827.89/829.98 c INPROCESSING
827.89/829.98 c GARBAGE COLLECT
827.89/829.98 c #Conflicts: 1169000 | #Constraints: 114644
827.89/829.98 c #Conflicts: 1170000 | #Constraints: 115644
827.89/829.98 c #Conflicts: 1171000 | #Constraints: 116644
827.89/829.98 c #Conflicts: 1172000 | #Constraints: 117644
827.89/829.98 c #Conflicts: 1173000 | #Constraints: 118644
827.89/829.98 c #Conflicts: 1174000 | #Constraints: 119644
827.89/829.98 c #Conflicts: 1175000 | #Constraints: 120644
827.89/829.98 c #Conflicts: 1176000 | #Constraints: 121644
827.89/829.98 c #Conflicts: 1177000 | #Constraints: 122644
827.89/829.98 c #Conflicts: 1178000 | #Constraints: 123644
827.89/829.98 c #Conflicts: 1179000 | #Constraints: 124644
827.89/829.98 c #Conflicts: 1180000 | #Constraints: 125644
827.89/829.98 c #Conflicts: 1181000 | #Constraints: 126644
827.89/829.98 c #Conflicts: 1182000 | #Constraints: 127644
827.89/829.98 c #Conflicts: 1183000 | #Constraints: 128644
827.89/829.98 c #Conflicts: 1184000 | #Constraints: 129644
827.89/829.98 c #Conflicts: 1185000 | #Constraints: 130644
827.89/829.98 c #Conflicts: 1186000 | #Constraints: 131644
827.89/829.98 c #Conflicts: 1187000 | #Constraints: 132644
827.89/829.98 c #Conflicts: 1188000 | #Constraints: 133644
827.89/829.98 c #Conflicts: 1189000 | #Constraints: 134644
827.89/829.98 c #Conflicts: 1190000 | #Constraints: 135644
827.89/829.98 c INPROCESSING
827.89/829.98 c GARBAGE COLLECT
827.89/829.98 c #Conflicts: 1191000 | #Constraints: 115041
827.89/829.98 c #Conflicts: 1192000 | #Constraints: 116041
827.89/829.98 c #Conflicts: 1193000 | #Constraints: 117041
827.89/829.98 c #Conflicts: 1194000 | #Constraints: 118041
827.89/829.98 c #Conflicts: 1195000 | #Constraints: 119041
827.89/829.98 c #Conflicts: 1196000 | #Constraints: 120041
827.89/829.98 c #Conflicts: 1197000 | #Constraints: 121041
827.89/829.98 c #Conflicts: 1198000 | #Constraints: 122041
827.89/829.98 c #Conflicts: 1199000 | #Constraints: 123041
827.89/829.98 c #Conflicts: 1200000 | #Constraints: 124041
827.89/829.98 c #Conflicts: 1201000 | #Constraints: 125041
827.89/829.98 c #Conflicts: 1202000 | #Constraints: 126041
827.89/829.98 c #Conflicts: 1203000 | #Constraints: 127041
827.89/829.98 c #Conflicts: 1204000 | #Constraints: 128041
827.89/829.98 c #Conflicts: 1205000 | #Constraints: 129041
827.89/829.98 c #Conflicts: 1206000 | #Constraints: 130041
827.89/829.98 c #Conflicts: 1207000 | #Constraints: 131041
827.89/829.98 c #Conflicts: 1208000 | #Constraints: 132041
827.89/829.98 c #Conflicts: 1209000 | #Constraints: 133041
827.89/829.98 c #Conflicts: 1210000 | #Constraints: 134041
827.89/829.98 c #Conflicts: 1211000 | #Constraints: 135041
827.89/829.98 c #Conflicts: 1212000 | #Constraints: 136041
827.89/829.98 c INPROCESSING
827.89/829.98 c GARBAGE COLLECT
827.89/829.98 c rational objective 361
885.56/887.73 c #Conflicts: 1213000 | #Constraints: 115239
885.56/887.73 c #Conflicts: 1214000 | #Constraints: 116239
885.56/887.73 c #Conflicts: 1215000 | #Constraints: 117239
885.56/887.73 c #Conflicts: 1216000 | #Constraints: 118239
885.56/887.73 c #Conflicts: 1217000 | #Constraints: 119239
885.56/887.73 c #Conflicts: 1218000 | #Constraints: 120239
885.56/887.73 c #Conflicts: 1219000 | #Constraints: 121239
885.56/887.73 c #Conflicts: 1220000 | #Constraints: 122239
885.56/887.73 c #Conflicts: 1221000 | #Constraints: 123239
885.56/887.73 c #Conflicts: 1222000 | #Constraints: 124239
885.56/887.73 c #Conflicts: 1223000 | #Constraints: 125239
885.56/887.73 c #Conflicts: 1224000 | #Constraints: 126239
885.56/887.73 c #Conflicts: 1225000 | #Constraints: 127239
885.56/887.73 c #Conflicts: 1226000 | #Constraints: 128239
885.56/887.73 c #Conflicts: 1227000 | #Constraints: 129239
885.56/887.73 c #Conflicts: 1228000 | #Constraints: 130239
885.56/887.73 c #Conflicts: 1229000 | #Constraints: 131239
885.56/887.73 c #Conflicts: 1230000 | #Constraints: 132239
885.56/887.73 c #Conflicts: 1231000 | #Constraints: 133239
885.56/887.73 c #Conflicts: 1232000 | #Constraints: 134239
885.56/887.73 c #Conflicts: 1233000 | #Constraints: 135239
885.56/887.73 c #Conflicts: 1234000 | #Constraints: 136239
885.56/887.73 c INPROCESSING
885.56/887.73 c GARBAGE COLLECT
885.56/887.73 c #Conflicts: 1235000 | #Constraints: 115228
885.56/887.73 c #Conflicts: 1236000 | #Constraints: 116228
885.56/887.73 c #Conflicts: 1237000 | #Constraints: 117228
885.56/887.73 c #Conflicts: 1238000 | #Constraints: 118228
885.56/887.73 c #Conflicts: 1239000 | #Constraints: 119228
885.56/887.73 c #Conflicts: 1240000 | #Constraints: 120228
885.56/887.73 c #Conflicts: 1241000 | #Constraints: 121228
885.56/887.73 c #Conflicts: 1242000 | #Constraints: 122228
885.56/887.73 c #Conflicts: 1243000 | #Constraints: 123228
885.56/887.73 c #Conflicts: 1244000 | #Constraints: 124228
885.56/887.73 c #Conflicts: 1245000 | #Constraints: 125228
885.56/887.73 c #Conflicts: 1246000 | #Constraints: 126228
885.56/887.73 c #Conflicts: 1247000 | #Constraints: 127228
885.56/887.73 c #Conflicts: 1248000 | #Constraints: 128228
885.56/887.73 c #Conflicts: 1249000 | #Constraints: 129228
885.56/887.73 c #Conflicts: 1250000 | #Constraints: 130228
885.56/887.73 c #Conflicts: 1251000 | #Constraints: 131228
885.56/887.73 c #Conflicts: 1252000 | #Constraints: 132228
885.56/887.73 c #Conflicts: 1253000 | #Constraints: 133228
885.56/887.73 c #Conflicts: 1254000 | #Constraints: 134228
885.56/887.73 c #Conflicts: 1255000 | #Constraints: 135228
885.56/887.73 c #Conflicts: 1256000 | #Constraints: 136228
885.56/887.73 c INPROCESSING
885.56/887.73 c GARBAGE COLLECT
885.56/887.73 c #Conflicts: 1257000 | #Constraints: 115028
885.56/887.73 c #Conflicts: 1258000 | #Constraints: 116028
885.56/887.73 c #Conflicts: 1259000 | #Constraints: 117028
885.56/887.73 c #Conflicts: 1260000 | #Constraints: 118028
885.56/887.73 c #Conflicts: 1261000 | #Constraints: 119028
885.56/887.73 c #Conflicts: 1262000 | #Constraints: 120028
885.56/887.73 c #Conflicts: 1263000 | #Constraints: 121028
885.56/887.73 c #Conflicts: 1264000 | #Constraints: 122028
885.56/887.73 c #Conflicts: 1265000 | #Constraints: 123028
885.56/887.73 c #Conflicts: 1266000 | #Constraints: 124028
885.56/887.73 c #Conflicts: 1267000 | #Constraints: 125028
885.56/887.73 c #Conflicts: 1268000 | #Constraints: 126028
885.56/887.73 c #Conflicts: 1269000 | #Constraints: 127028
885.56/887.73 c #Conflicts: 1270000 | #Constraints: 128028
885.56/887.73 c #Conflicts: 1271000 | #Constraints: 129028
885.56/887.73 c #Conflicts: 1272000 | #Constraints: 130028
885.56/887.73 c #Conflicts: 1273000 | #Constraints: 131028
885.56/887.73 c #Conflicts: 1274000 | #Constraints: 132028
885.56/887.73 c #Conflicts: 1275000 | #Constraints: 133028
885.56/887.73 c #Conflicts: 1276000 | #Constraints: 134028
885.56/887.73 c #Conflicts: 1277000 | #Constraints: 135028
885.56/887.73 c #Conflicts: 1278000 | #Constraints: 136028
885.56/887.73 c #Conflicts: 1279000 | #Constraints: 137028
885.56/887.73 c INPROCESSING
885.56/887.73 c GARBAGE COLLECT
885.56/887.73 c rational objective 361
901.12/903.34 c #Conflicts: 1280000 | #Constraints: 115622
901.12/903.34 c #Conflicts: 1281000 | #Constraints: 116622
901.12/903.34 c #Conflicts: 1282000 | #Constraints: 117622
901.12/903.34 c #Conflicts: 1283000 | #Constraints: 118622
901.12/903.34 c #Conflicts: 1284000 | #Constraints: 119622
901.12/903.34 c #Conflicts: 1285000 | #Constraints: 120622
901.12/903.34 c #Conflicts: 1286000 | #Constraints: 121622
901.12/903.34 c #Conflicts: 1287000 | #Constraints: 122622
901.12/903.34 c #Conflicts: 1288000 | #Constraints: 123622
901.12/903.34 c #Conflicts: 1289000 | #Constraints: 124622
901.12/903.34 c #Conflicts: 1290000 | #Constraints: 125622
901.12/903.34 c #Conflicts: 1291000 | #Constraints: 126622
901.12/903.34 c #Conflicts: 1292000 | #Constraints: 127622
901.12/903.34 c #Conflicts: 1293000 | #Constraints: 128622
901.12/903.34 c #Conflicts: 1294000 | #Constraints: 129622
901.12/903.34 c #Conflicts: 1295000 | #Constraints: 130622
901.12/903.34 c #Conflicts: 1296000 | #Constraints: 131622
901.12/903.34 c #Conflicts: 1297000 | #Constraints: 132622
901.12/903.34 c #Conflicts: 1298000 | #Constraints: 133622
901.12/903.34 c #Conflicts: 1299000 | #Constraints: 134622
901.12/903.34 c #Conflicts: 1300000 | #Constraints: 135622
901.12/903.34 c #Conflicts: 1301000 | #Constraints: 136622
901.12/903.34 c #Conflicts: 1302000 | #Constraints: 137622
901.12/903.34 c INPROCESSING
901.12/903.34 c GARBAGE COLLECT
901.12/903.34 c #Conflicts: 1303000 | #Constraints: 116022
901.12/903.34 c #Conflicts: 1304000 | #Constraints: 117022
901.12/903.34 c #Conflicts: 1305000 | #Constraints: 118022
901.12/903.34 c #Conflicts: 1306000 | #Constraints: 119022
901.12/903.34 c #Conflicts: 1307000 | #Constraints: 120022
901.12/903.34 c #Conflicts: 1308000 | #Constraints: 121022
901.12/903.34 c #Conflicts: 1309000 | #Constraints: 122022
901.12/903.34 c #Conflicts: 1310000 | #Constraints: 123022
901.12/903.34 c #Conflicts: 1311000 | #Constraints: 124022
901.12/903.34 c #Conflicts: 1312000 | #Constraints: 125022
901.12/903.34 c #Conflicts: 1313000 | #Constraints: 126022
901.12/903.34 c #Conflicts: 1314000 | #Constraints: 127022
901.12/903.34 c #Conflicts: 1315000 | #Constraints: 128022
901.12/903.34 c #Conflicts: 1316000 | #Constraints: 129022
901.12/903.34 c #Conflicts: 1317000 | #Constraints: 130022
901.12/903.34 c #Conflicts: 1318000 | #Constraints: 131022
901.12/903.34 c #Conflicts: 1319000 | #Constraints: 132022
901.12/903.34 c #Conflicts: 1320000 | #Constraints: 133022
901.12/903.34 c #Conflicts: 1321000 | #Constraints: 134022
901.12/903.34 c #Conflicts: 1322000 | #Constraints: 135022
901.12/903.34 c #Conflicts: 1323000 | #Constraints: 136022
901.12/903.34 c #Conflicts: 1324000 | #Constraints: 137022
901.12/903.34 c #Conflicts: 1325000 | #Constraints: 138022
901.12/903.34 c INPROCESSING
901.12/903.34 c GARBAGE COLLECT
901.12/903.34 c rational objective 361
907.91/910.12 c #Conflicts: 1326000 | #Constraints: 116232
907.91/910.12 c #Conflicts: 1327000 | #Constraints: 117232
907.91/910.12 c #Conflicts: 1328000 | #Constraints: 118232
907.91/910.12 c #Conflicts: 1329000 | #Constraints: 119232
907.91/910.12 c #Conflicts: 1330000 | #Constraints: 120232
907.91/910.12 c #Conflicts: 1331000 | #Constraints: 121232
907.91/910.12 c #Conflicts: 1332000 | #Constraints: 122232
907.91/910.12 c #Conflicts: 1333000 | #Constraints: 123232
907.91/910.12 c #Conflicts: 1334000 | #Constraints: 124232
907.91/910.12 c #Conflicts: 1335000 | #Constraints: 125232
907.91/910.12 c #Conflicts: 1336000 | #Constraints: 126232
907.91/910.12 c #Conflicts: 1337000 | #Constraints: 127232
907.91/910.12 c #Conflicts: 1338000 | #Constraints: 128232
907.91/910.12 c #Conflicts: 1339000 | #Constraints: 129232
907.91/910.12 c #Conflicts: 1340000 | #Constraints: 130232
907.91/910.12 c #Conflicts: 1341000 | #Constraints: 131232
907.91/910.12 c #Conflicts: 1342000 | #Constraints: 132232
907.91/910.12 c #Conflicts: 1343000 | #Constraints: 133232
907.91/910.12 c #Conflicts: 1344000 | #Constraints: 134232
907.91/910.12 c #Conflicts: 1345000 | #Constraints: 135232
907.91/910.12 c #Conflicts: 1346000 | #Constraints: 136232
907.91/910.12 c #Conflicts: 1347000 | #Constraints: 137232
907.91/910.12 c #Conflicts: 1348000 | #Constraints: 138232
907.91/910.12 c INPROCESSING
907.91/910.12 c GARBAGE COLLECT
907.91/910.12 c cpu time 901.783 s
907.91/910.12 c deterministic time 4222064582 4.22e+09
907.91/910.12 c optimization time 0.000108 s
907.91/910.12 c total solve time 901.485 s
907.91/910.12 c core-guided solve time 0 s
907.91/910.12 c propagation time 339.11 s
907.91/910.12 c conflict analysis time 90.7979 s
907.91/910.12 c propagations 289532434
907.91/910.12 c resolve steps 44650999
907.91/910.12 c decisions 2122608
907.91/910.12 c conflicts 1348200
907.91/910.12 c restarts 2557
907.91/910.12 c inprocessing phases 107
907.91/910.12 c garbage collections 105 ,( 98.13 )
907.91/910.12 c input clauses 92542 ,( 99.61 )
907.91/910.12 c input cardinalities 360 ,( 0.39 )
907.91/910.12 c input general constraints 0 ,( 0.00 )
907.91/910.12 c input average constraint length 3.93
907.91/910.12 c input average constraint degree 1.01
907.91/910.12 c learned clauses 1348179 ,( 100.00 )
907.91/910.12 c learned cardinalities 20 ,( 0.00 )
907.91/910.12 c learned general constraints 29 ,( 0.00 )
907.91/910.12 c learned average constraint length 129.89
907.91/910.12 c learned average constraint degree 144022.29
907.91/910.12 c watched CF 32, 64, 128, Arb: 19 , 0 , 0 , 0
907.91/910.12 c counting CF 32, 64, 128, Arb: 10 , 0 , 0 , 0
907.91/910.12 c watched constraints 19 ,( 65.52 )
907.91/910.12 c counting constraints 10 ,( 34.48 )
907.91/910.12 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 806126661 , 36550168 , 718 ,( 718 , 0 )
907.91/910.12 c gcd simplifications 0
907.91/910.12 c detected cardinalities 0
907.91/910.12 c weakened non-implied lits 86603
907.91/910.12 c weakened non-implying lits 0
907.91/910.12 c original variables 3606
907.91/910.12 c clausal propagations 284782233
907.91/910.12 c cardinality propagations 3401996
907.91/910.12 c watched propagations 0
907.91/910.12 c counting propagations 0
907.91/910.12 c watch lookups 844133553
907.91/910.12 c watch backjump lookups 0
907.91/910.12 c watch checks 1931943053
907.91/910.12 c propagation checks 430942230
907.91/910.12 c constraint additions 430105976
907.91/910.12 c trail pops 293003234
907.91/910.12 c formula constraints 92902
907.91/910.12 c learned constraints 1348200
907.91/910.12 c bound constraints 0
907.91/910.12 c core-guided constraints 0
907.91/910.12 c encountered formula constraints 41727534
907.91/910.12 c encountered learned constraints 4271665
907.91/910.12 c encountered bound constraints 0
907.91/910.12 c encountered core-guided constraints 0
907.91/910.12 c LP total time 534.433 s
907.91/910.12 c LP solve time 523.27 s
907.91/910.12 c LP constraints added 92922
907.91/910.12 c LP constraints removed 19
907.91/910.12 c LP pivots internal 144170
907.91/910.12 c LP pivots root 137323
907.91/910.12 c LP calls 48
907.91/910.12 c LP optimalities 25
907.91/910.12 c LP no pivot count 2
907.91/910.12 c LP infeasibilities 9
907.91/910.12 c LP valid Farkas constraints 9
907.91/910.12 c LP learned Farkas constraints 0
907.91/910.12 c LP basis resets 8
907.91/910.12 c LP cycling count 2
907.91/910.12 c LP singular count 3
907.91/910.12 c LP no primal count 0
907.91/910.12 c LP no farkas count 0
907.91/910.12 c LP other issue count 3
907.91/910.12 c LP Gomory cuts 19
907.91/910.12 c LP learned cuts 2
907.91/910.12 c LP deleted cuts 20
907.91/910.12 c LP encountered Gomory constraints 0
907.91/910.12 c LP encountered Farkas constraints 0
907.91/910.12 c LP encountered learned Farkas constraints 0
907.91/910.12 c CG auxiliary variables introduced 0
907.91/910.12 c CG solutions found 0
907.91/910.12 c CG cores constructed 0
907.91/910.12 c CG core cardinality constraints returned 0
907.91/910.12 c CG unit cores 0
907.91/910.12 c CG single cores 0
907.91/910.12 c CG blocks removed during cardinality reduction 0
907.91/910.12 c CG first core best 0
907.91/910.12 c CG decision core best 0
907.91/910.12 c CG core reduction tie 0
907.91/910.12 c CG core degree average 0.00
907.91/910.12 c CG core slack average 0.00
907.91/910.12 c CG core upper bound improvements 0
907.91/910.12 c STR number of successful calls 0
907.91/910.12 c STR number of unsuccessful calls 0
907.91/910.12 c STR number of inconclusive calls 0
907.91/910.12 c STR number of successful attempts 0
907.91/910.12 c STR number of unsuccessful attempts 0
907.91/910.12 c STR number of inconclusive attempts 0
907.91/910.12 c STR average degree increase per successful call inf
907.91/910.12 c STR average degree increase per successful attempt inf
907.91/910.12 c STR total number of conflicts for successful attempts 0
907.91/910.12 c STR total number of conflicts for unsuccessful attempts 0
907.91/910.12 c STR total number of conflicts for inconclusive attempts 0
907.91/910.12 c STR average number of conflicts per successful attempt inf
907.91/910.12 c STR average number of conflicts per unsuccessful attempt inf
907.91/910.12 c STR average number of conflicts per inconclusive attempt inf
907.91/910.12 c AVG.sumWPerc 35.54
907.91/910.12 c bigint constraints 0
907.91/910.12 s SATISFIABLE
907.91/910.12 v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 x191 -x192 -x193 -x194 x195 -x196 -x197 x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 -x248 -x249 -x250 x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 -x290 x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 x304 x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 x358 -x359 -x360 -x361 x362 -x363 -x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 x519 -x520 x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 x544 -x545 -x546 x547 -x548 x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 x622 -x623 -x624 x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 x680 -x681 -x682 x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 x768 x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 x796 -x797 x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 x811 -x812 x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 x868 -x869 -x870 x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 x888 -x889 x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 x899 -x900 x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 x948 x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 x979 -x980 x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 x995 -x996 -x997 x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 x1112 x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 x1176 x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 x1424 -x1425 x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62621 MiB free)
memory of node 1: 64507 MiB (63480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4494528-1751156459/watcher-4494528-1751156459 -o /tmp/evaluation-result-4494528-1751156459/solver-4494528-1751156459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4494528-1751156459.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19346, runsolver pid=19343
[startup+0.10006 s]*
/proc/loadavg: 4.14 3.97 3.85 5/271 19348
/proc/meminfo: memFree=129095672/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19348] ppid=19346 vsize=58628 memory=43800 CPUtime=0.08 cores=5,7
/proc/19348/stat : 19348 (pbsuma) R 19346 19346 17835 0 -1 4194304 8248 0 0 0 7 1 0 0 20 0 1 0 31323791 60035072 10950 18446744073709551615 4210688 4653049 140737340705456 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24961024 140737340713315 140737340713522 140737340713522 140737340719087 0
/proc/19348/statm: 14657 10950 1024 108 0 12065 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62820 KiB
Current children cumulated memory: 46744 KiB
[startup+0.205845 s]*
/proc/loadavg: 4.14 3.97 3.85 5/271 19348
/proc/meminfo: memFree=129095672/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19348] ppid=19346 vsize=58628 memory=45464 CPUtime=0.18 cores=5,7
/proc/19348/stat : 19348 (pbsuma) R 19346 19346 17835 0 -1 4194304 8670 0 0 0 17 1 0 0 20 0 1 0 31323791 60035072 11366 18446744073709551615 4210688 4653049 140737340705456 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24961024 140737340713315 140737340713522 140737340713522 140737340719087 0
/proc/19348/statm: 14657 11366 1024 108 0 12065 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62820 KiB
Current children cumulated memory: 48408 KiB
[startup+0.305748 s]*
/proc/loadavg: 4.14 3.97 3.85 5/271 19348
/proc/meminfo: memFree=129095672/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19348] ppid=19346 vsize=58628 memory=45464 CPUtime=0.28 cores=5,7
/proc/19348/stat : 19348 (pbsuma) R 19346 19346 17835 0 -1 4194304 8670 0 0 0 27 1 0 0 20 0 1 0 31323791 60035072 11366 18446744073709551615 4210688 4653049 140737340705456 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24961024 140737340713315 140737340713522 140737340713522 140737340719087 0
/proc/19348/statm: 14657 11366 1024 108 0 12065 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62820 KiB
Current children cumulated memory: 48408 KiB
[startup+0.700186 s]
/proc/loadavg: 4.14 3.97 3.85 5/271 19348
/proc/meminfo: memFree=129087860/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 3.97 3.85 5/271 19349
/proc/meminfo: memFree=129021964/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=213660 memory=152816 CPUtime=0.88 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 20840 0 0 0 75 13 0 0 20 0 1 0 31323850 218787840 38204 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 53415 38204 2240 1147 0 40842 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 217852 KiB
Current children cumulated memory: 155760 KiB
[startup+3.10559 s]
/proc/loadavg: 4.14 3.97 3.85 5/271 19349
/proc/meminfo: memFree=128990084/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=213660 memory=152944 CPUtime=2.48 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 20843 0 0 0 235 13 0 0 20 0 1 0 31323850 218787840 38236 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 53415 38236 2272 1147 0 40842 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 217852 KiB
Current children cumulated memory: 155888 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 3.97 3.85 5/272 19351
/proc/meminfo: memFree=128978184/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=216380 memory=154096 CPUtime=5.67 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 21109 0 0 0 553 14 0 0 20 0 1 0 31323850 221573120 38524 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 54095 38524 2336 1147 0 41522 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 220572 KiB
Current children cumulated memory: 157040 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 3.97 3.85 5/272 19351
/proc/meminfo: memFree=128965524/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=216380 memory=155760 CPUtime=12.06 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 21532 0 0 0 1188 18 0 0 20 0 1 0 31323850 221573120 38940 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 54095 38940 2336 1147 0 41522 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 220572 KiB
Current children cumulated memory: 158704 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 3.97 3.86 5/272 19351
/proc/meminfo: memFree=128933920/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=231576 memory=169512 CPUtime=24.82 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 23414 0 0 0 2459 23 0 0 20 0 1 0 31323850 237133824 42378 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 57894 42378 2368 1147 0 45321 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 235768 KiB
Current children cumulated memory: 172456 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 3.99 3.87 5/271 19352
/proc/meminfo: memFree=128922920/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=238500 memory=177004 CPUtime=50.37 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 24774 0 0 0 5005 32 0 0 20 0 1 0 31323850 244224000 44251 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 59625 44251 2368 1147 0 47052 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 242692 KiB
Current children cumulated memory: 179948 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.01 3.88 5/271 19354
/proc/meminfo: memFree=128849796/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=247432 memory=185632 CPUtime=101.43 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 25444 0 0 0 10088 55 0 0 20 0 1 0 31323850 253370368 46408 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 61858 46408 2368 1147 0 49285 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 251624 KiB
Current children cumulated memory: 188576 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.02 3.90 5/272 19357
/proc/meminfo: memFree=128815068/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=269624 memory=206780 CPUtime=161.3 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 26941 0 0 0 16050 80 0 0 20 0 1 0 31323850 276094976 51695 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 67406 51695 2368 1147 0 54833 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 273816 KiB
Current children cumulated memory: 209724 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.03 3.91 5/272 19410
/proc/meminfo: memFree=129117272/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=293180 memory=219620 CPUtime=221.15 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 28023 0 0 0 22005 110 0 0 20 0 1 0 31323850 300216320 54905 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 73295 54905 2368 1147 0 60722 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 297372 KiB
Current children cumulated memory: 222564 KiB
################
# More data... #
################
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30217 0 0 0 69620 382 0 0 20 0 1 0 31323850 311709696 60563 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 76101 60563 2496 1147 0 63528 0
Current children cumulated CPU time: 700.59 s
Current children cumulated vsize: 308596 KiB
Current children cumulated memory: 245196 KiB
[startup+762.3 s]
/proc/loadavg: 4.08 4.07 4.00 5/272 21127
/proc/meminfo: memFree=128951780/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=759.88 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30683 0 0 0 75539 449 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 760.45 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+822.3 s]
/proc/loadavg: 4.12 4.08 4.01 5/271 21129
/proc/meminfo: memFree=128880776/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=819.74 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30693 0 0 0 81482 492 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 820.31 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+882.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/272 21136
/proc/meminfo: memFree=128840980/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=879.61 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30750 0 0 0 87431 530 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 880.18 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+910.128 s]
# the end of solver process 19346 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=902.338 s, system=5.62565 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 4.14 4.09 4.01 5/272 21137
/proc/meminfo: memFree=128840804/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=893.27 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30759 0 0 0 88783 544 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 893.84 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+902.4 s]
/proc/loadavg: 4.13 4.09 4.01 5/272 21137
/proc/meminfo: memFree=128840348/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=899.66 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30763 0 0 0 89415 551 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 900.23 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+905.6 s]
/proc/loadavg: 4.12 4.09 4.01 5/272 21137
/proc/meminfo: memFree=128840348/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=902.85 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30763 0 0 0 89734 551 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 903.42 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+907.2 s]
/proc/loadavg: 4.12 4.09 4.01 5/272 21137
/proc/meminfo: memFree=128840348/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=904.44 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30763 0 0 0 89889 555 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 905.01 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+908.8 s]
/proc/loadavg: 4.12 4.09 4.01 5/272 21137
/proc/meminfo: memFree=128840348/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=906.04 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30763 0 0 0 90046 558 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 906.61 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+909.6 s]
/proc/loadavg: 4.12 4.09 4.01 5/272 21137
/proc/meminfo: memFree=128840348/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=906.84 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30764 0 0 0 90126 558 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 907.41 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+910 s]*
/proc/loadavg: 4.11 4.09 4.01 5/272 21137
/proc/meminfo: memFree=128840348/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=907.24 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30764 0 0 0 90166 558 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 907.81 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
[startup+910.106 s]
/proc/loadavg: 4.11 4.09 4.01 5/272 21137
/proc/meminfo: memFree=128840348/131249996 swapFree=33010684/33010684
[pid=19346] ppid=19343 vsize=4192 memory=2944 CPUtime=0.57 cores=5,7
/proc/19346/stat : 19346 (run-dec-break.s) S 19343 19346 17835 0 -1 4194304 237 16996 0 0 0 0 54 3 20 0 1 0 31323790 4292608 736 18446744073709551615 93867849056256 93867849950789 140733562306624 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867850189840 93867850237584 93867864592384 140733562313057 140733562313186 140733562313186 140733562318788 0
/proc/19346/statm: 1048 736 672 219 0 110 0
[pid=19349] ppid=19346 vsize=315052 memory=245192 CPUtime=907.34 cores=5,7
/proc/19349/stat : 19349 (roundingsat) R 19346 19346 17835 0 -1 4194304 30764 0 0 0 90176 558 0 0 20 0 1 0 31323850 322613248 61298 18446744073709551615 4227072 8923433 140726412466464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40202240 140726412470596 140726412470824 140726412470824 140726412476394 0
/proc/19349/statm: 78763 61298 2496 1147 0 66190 0
Current children cumulated CPU time: 907.91 s
Current children cumulated vsize: 319244 KiB
Current children cumulated memory: 248136 KiB
Child status: 0
Real time (s): 910.128
CPU time (s): 907.964
CPU user time (s): 902.338
CPU system time (s): 5.62565
CPU usage (%): 99.7622
Max. virtual memory (cumulated for all children) (KiB): 319244
Max. memory (cumulated for all children) (KiB): 248136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 902.338
system time used= 5.62565
maximum resident set size= 245192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232
involuntary context switches= 532
# summary of solver processes directly reported to runsolver:
# pid: 19346
# total CPU time (s): 907.964
# total CPU user time (s): 902.338
# total CPU system time (s): 5.62565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.91451 second user time and 4.22826 second system time
The end
Begin job on nodeC024 at 2025-06-29 02:20:59
IDJOB=4494528
IDBENCH=147893
IDSOLVER=3357
FILE ID=nodeC024/4494528-1751156459
RUNJOBID= nodeC024-1751155906-17848
SLURM_JOB_ID= 9587473
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4494528-1751156459/watcher-4494528-1751156459 -o /tmp/evaluation-result-4494528-1751156459/solver-4494528-1751156459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4494528-1751156459.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1505115594
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.744
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.669
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.410
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.486
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.680
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.764
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.876
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.688
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129128384 kB
MemAvailable: 128760840 kB
Buffers: 3280 kB
Cached: 428804 kB
SwapCached: 0 kB
Active: 1303604 kB
Inactive: 208800 kB
Active(anon): 1098384 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 208800 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10608 kB
Writeback: 0 kB
AnonPages: 1081516 kB
Mapped: 116588 kB
Shmem: 18064 kB
KReclaimable: 85844 kB
Slab: 169016 kB
SReclaimable: 85844 kB
SUnreclaim: 83172 kB
KernelStack: 4368 kB
PageTables: 5332 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1573432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 698368 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC024 at 2025-06-29 02:36:09