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-4494529-1751155971.opb'
0.00/0.06 c read 3.52MB (49.05ms)
0.00/0.06 c [cnf: #variables 1440 #clauses 86040 #duplicates 0 #arr 344160]
0.00/0.06 c output proof to 'PROOFDIR/proof-4494529-1751155971'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.00/0.09 c [group: #orbits ~= 360] (30.18ms)
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.29/0.40 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 (383.65ms)
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.48/0.59 c [group: #symmetries 2.00*10^0 #generators 1] (116.67ms)
0.48/0.59 c
0.48/0.59 c optimize generators (opt_passes=64, conjugate_limit=256)
0.48/0.59 c (0.00ms)
0.48/0.59 c
0.48/0.59 c finalize break order and special generators
0.48/0.59 c
0.48/0.59 c add generic predicates (break_depth=10)
0.48/0.59 c added predicates for 1 generators (0.01ms)
0.58/0.60 c
0.58/0.60 c generation finished
0.58/0.60 c [sbp: #constraints 6502 #add_vars 2166]
0.58/0.60 c
0.58/0.60 c write result to 'HOME/instance-4494529-1751155971.opb.pre'
0.58/0.61 c wrote 3.75MB (7.93ms)
0.58/0.61 c ------------------------------------------------------------------
0.58/0.61 c 383.65ms 63.55% detect_special
0.58/0.61 c 116.67ms 19.33% detect_generic
0.58/0.61 c 49.05ms 8.12% parse
0.58/0.61 c 30.18ms 5.00% approx_orbits
0.58/0.61 c 16.10ms 2.67% other
0.58/0.61 c 7.93ms 1.31% output
0.58/0.61 c 0.07ms 0.01% finalize_order
0.58/0.61 c 0.01ms 0.00% break_generic
0.58/0.61 c 0.00ms 0.00% optimize_gens
0.58/0.61 c ───────────────────────────────────────────────
0.58/0.61 c 603.66ms 100% total
0.58/0.61 c ------------------------------------------------------------------
0.58/0.64 c RoundingSat 2
0.58/0.64 c branch pb25
0.58/0.64 c commit 63f22ad
1.14/1.24 c #variables 3606 #constraints 92902
15.01/15.16 c #Conflicts: 1000 | #Constraints: 93901
15.01/15.16 c #Conflicts: 2000 | #Constraints: 94901
15.01/15.16 c INPROCESSING
15.01/15.16 c #Conflicts: 3000 | #Constraints: 94530
15.01/15.16 c #Conflicts: 4000 | #Constraints: 95530
15.01/15.16 c INPROCESSING
15.01/15.16 c GARBAGE COLLECT
15.01/15.16 c #Conflicts: 5000 | #Constraints: 94933
15.01/15.16 c #Conflicts: 6000 | #Constraints: 95933
15.01/15.16 c INPROCESSING
15.01/15.16 c #Conflicts: 7000 | #Constraints: 94934
15.01/15.16 c #Conflicts: 8000 | #Constraints: 95934
15.01/15.16 c #Conflicts: 9000 | #Constraints: 96934
15.01/15.16 c INPROCESSING
15.01/15.16 c GARBAGE COLLECT
15.01/15.16 c #Conflicts: 10000 | #Constraints: 95637
15.01/15.16 c #Conflicts: 11000 | #Constraints: 96637
15.01/15.16 c #Conflicts: 12000 | #Constraints: 97637
15.01/15.16 c INPROCESSING
15.01/15.16 c GARBAGE COLLECT
15.01/15.16 c rational objective 361
17.99/18.16 c #Conflicts: 13000 | #Constraints: 96084
17.99/18.16 c #Conflicts: 14000 | #Constraints: 97084
17.99/18.16 c #Conflicts: 15000 | #Constraints: 98084
17.99/18.16 c INPROCESSING
17.99/18.16 c GARBAGE COLLECT
17.99/18.16 c rational objective 361
21.48/21.64 c #Conflicts: 16000 | #Constraints: 96315
21.48/21.64 c #Conflicts: 17000 | #Constraints: 97315
21.48/21.64 c #Conflicts: 18000 | #Constraints: 98315
21.48/21.64 c INPROCESSING
21.48/21.64 c GARBAGE COLLECT
21.48/21.64 c rational objective 361
24.77/24.90 c #Conflicts: 19000 | #Constraints: 96338
24.77/24.90 c #Conflicts: 20000 | #Constraints: 97338
24.77/24.90 c #Conflicts: 21000 | #Constraints: 98338
24.77/24.90 c INPROCESSING
24.77/24.90 c GARBAGE COLLECT
24.77/24.90 c rational objective 361
28.06/28.27 c #Conflicts: 22000 | #Constraints: 96135
28.06/28.27 c #Conflicts: 23000 | #Constraints: 97135
28.06/28.27 c #Conflicts: 24000 | #Constraints: 98135
28.06/28.27 c #Conflicts: 25000 | #Constraints: 99135
28.06/28.27 c INPROCESSING
28.06/28.27 c GARBAGE COLLECT
28.06/28.27 c rational objective 361
72.23/72.51 c #Conflicts: 26000 | #Constraints: 96740
72.23/72.51 c #Conflicts: 27000 | #Constraints: 97740
72.23/72.51 c #Conflicts: 28000 | #Constraints: 98740
72.23/72.51 c #Conflicts: 29000 | #Constraints: 99740
72.23/72.51 c INPROCESSING
72.23/72.51 c GARBAGE COLLECT
72.23/72.51 c #Conflicts: 30000 | #Constraints: 97135
72.23/72.51 c #Conflicts: 31000 | #Constraints: 98135
72.23/72.51 c #Conflicts: 32000 | #Constraints: 99135
72.23/72.51 c #Conflicts: 33000 | #Constraints: 100135
72.23/72.51 c INPROCESSING
72.23/72.51 c GARBAGE COLLECT
72.23/72.51 c #Conflicts: 34000 | #Constraints: 97335
72.23/72.51 c #Conflicts: 35000 | #Constraints: 98335
72.23/72.51 c #Conflicts: 36000 | #Constraints: 99335
72.23/72.51 c #Conflicts: 37000 | #Constraints: 100335
72.23/72.51 c INPROCESSING
72.23/72.51 c GARBAGE COLLECT
72.23/72.51 c #Conflicts: 38000 | #Constraints: 97349
72.23/72.51 c #Conflicts: 39000 | #Constraints: 98349
72.23/72.51 c #Conflicts: 40000 | #Constraints: 99349
72.23/72.51 c #Conflicts: 41000 | #Constraints: 100349
72.23/72.51 c INPROCESSING
72.23/72.51 c GARBAGE COLLECT
72.23/72.51 c #Conflicts: 42000 | #Constraints: 97156
72.23/72.51 c #Conflicts: 43000 | #Constraints: 98156
72.23/72.51 c #Conflicts: 44000 | #Constraints: 99156
72.23/72.51 c #Conflicts: 45000 | #Constraints: 100156
72.23/72.51 c #Conflicts: 46000 | #Constraints: 101156
72.23/72.51 c INPROCESSING
72.23/72.51 c GARBAGE COLLECT
72.23/72.51 c #Conflicts: 47000 | #Constraints: 97742
72.23/72.51 c #Conflicts: 48000 | #Constraints: 98742
72.23/72.51 c #Conflicts: 49000 | #Constraints: 99742
72.23/72.51 c #Conflicts: 50000 | #Constraints: 100742
72.23/72.51 c #Conflicts: 51000 | #Constraints: 101742
72.23/72.51 c INPROCESSING
72.23/72.51 c GARBAGE COLLECT
72.23/72.51 c #Conflicts: 52000 | #Constraints: 98143
72.23/72.51 c #Conflicts: 53000 | #Constraints: 99143
72.23/72.51 c #Conflicts: 54000 | #Constraints: 100143
72.23/72.51 c #Conflicts: 55000 | #Constraints: 101143
72.23/72.51 c #Conflicts: 56000 | #Constraints: 102143
72.23/72.51 c INPROCESSING
72.23/72.51 c GARBAGE COLLECT
72.23/72.51 c #Conflicts: 57000 | #Constraints: 98341
72.23/72.51 c #Conflicts: 58000 | #Constraints: 99341
72.23/72.51 c #Conflicts: 59000 | #Constraints: 100341
72.23/72.51 c #Conflicts: 60000 | #Constraints: 101341
72.23/72.51 c #Conflicts: 61000 | #Constraints: 102341
72.23/72.51 c INPROCESSING
72.23/72.51 c GARBAGE COLLECT
72.23/72.51 c rational objective 361
75.52/75.81 c #Conflicts: 62000 | #Constraints: 98348
75.52/75.81 c #Conflicts: 63000 | #Constraints: 99348
75.52/75.81 c #Conflicts: 64000 | #Constraints: 100348
75.52/75.81 c #Conflicts: 65000 | #Constraints: 101348
75.52/75.81 c #Conflicts: 66000 | #Constraints: 102348
75.52/75.81 c INPROCESSING
75.52/75.81 c GARBAGE COLLECT
75.52/75.81 c rational objective 361
78.71/79.08 c #Conflicts: 67000 | #Constraints: 98145
78.71/79.08 c #Conflicts: 68000 | #Constraints: 99145
78.71/79.08 c #Conflicts: 69000 | #Constraints: 100145
78.71/79.08 c #Conflicts: 70000 | #Constraints: 101145
78.71/79.08 c #Conflicts: 71000 | #Constraints: 102145
78.71/79.08 c #Conflicts: 72000 | #Constraints: 103145
78.71/79.08 c INPROCESSING
78.71/79.08 c GARBAGE COLLECT
78.71/79.08 c rational objective 361
82.11/82.42 c #Conflicts: 73000 | #Constraints: 98739
82.11/82.42 c #Conflicts: 74000 | #Constraints: 99739
82.11/82.42 c #Conflicts: 75000 | #Constraints: 100739
82.11/82.42 c #Conflicts: 76000 | #Constraints: 101739
82.11/82.42 c #Conflicts: 77000 | #Constraints: 102739
82.11/82.42 c #Conflicts: 78000 | #Constraints: 103739
82.11/82.42 c INPROCESSING
82.11/82.42 c GARBAGE COLLECT
82.11/82.42 c rational objective 361
85.49/85.87 c #Conflicts: 79000 | #Constraints: 99142
85.49/85.87 c #Conflicts: 80000 | #Constraints: 100142
85.49/85.87 c #Conflicts: 81000 | #Constraints: 101142
85.49/85.87 c #Conflicts: 82000 | #Constraints: 102142
85.49/85.87 c #Conflicts: 83000 | #Constraints: 103142
85.49/85.87 c #Conflicts: 84000 | #Constraints: 104142
85.49/85.87 c INPROCESSING
85.49/85.87 c GARBAGE COLLECT
85.49/85.87 c rational objective 361
88.99/89.38 c #Conflicts: 85000 | #Constraints: 99349
88.99/89.38 c #Conflicts: 86000 | #Constraints: 100349
88.99/89.38 c #Conflicts: 87000 | #Constraints: 101349
88.99/89.38 c #Conflicts: 88000 | #Constraints: 102349
88.99/89.38 c #Conflicts: 89000 | #Constraints: 103349
88.99/89.38 c #Conflicts: 90000 | #Constraints: 104349
88.99/89.38 c INPROCESSING
88.99/89.38 c GARBAGE COLLECT
88.99/89.38 c rational objective 361
92.57/93.00 c #Conflicts: 91000 | #Constraints: 99346
92.57/93.00 c #Conflicts: 92000 | #Constraints: 100346
92.57/93.00 c #Conflicts: 93000 | #Constraints: 101346
92.57/93.00 c #Conflicts: 94000 | #Constraints: 102346
92.57/93.00 c #Conflicts: 95000 | #Constraints: 103346
92.57/93.00 c #Conflicts: 96000 | #Constraints: 104346
92.57/93.00 c INPROCESSING
92.57/93.00 c GARBAGE COLLECT
92.57/93.00 c rational objective 361
115.36/115.85 c #Conflicts: 97000 | #Constraints: 99155
115.36/115.85 c #Conflicts: 98000 | #Constraints: 100155
115.36/115.85 c #Conflicts: 99000 | #Constraints: 101155
115.36/115.85 c #Conflicts: 100000 | #Constraints: 102155
115.36/115.85 c #Conflicts: 101000 | #Constraints: 103155
115.36/115.85 c #Conflicts: 102000 | #Constraints: 104155
115.36/115.85 c #Conflicts: 103000 | #Constraints: 105155
115.36/115.85 c INPROCESSING
115.36/115.85 c GARBAGE COLLECT
115.36/115.85 WSVECS04 Frhs2[17]: 6 0 0.0193535 shouldn't be
115.36/115.85 WSVECS04 Frhs2[36]: 6 -0.442172 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[162]: 6 0 1.83414 shouldn't be
115.36/115.85 WSVECS04 Frhs2[163]: 6 0 1.83417 shouldn't be
115.36/115.85 WSVECS04 Frhs2[218]: 6 0 0.239912 shouldn't be
115.36/115.85 WSVECS04 Frhs2[242]: 6 0 1.29779 shouldn't be
115.36/115.85 WSVECS04 Frhs2[266]: 6 0 0.447786 shouldn't be
115.36/115.85 WSVECS04 Frhs2[272]: 6 0 3.23335 shouldn't be
115.36/115.85 WSVECS04 Frhs2[325]: 6 0 2.00006 shouldn't be
115.36/115.85 WSVECS04 Frhs2[327]: 6 0 2.00006 shouldn't be
115.36/115.85 WSVECS04 Frhs2[354]: 6 -1.00006 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[361]: 6 0 0.189969 shouldn't be
115.36/115.85 WSVECS04 Frhs2[373]: 6 0 0.0168063 shouldn't be
115.36/115.85 WSVECS04 Frhs2[374]: 6 0 0.0168182 shouldn't be
115.36/115.85 WSVECS04 Frhs2[440]: 6 0 0.130437 shouldn't be
115.36/115.85 WSVECS04 Frhs2[467]: 6 0 1.59339 shouldn't be
115.36/115.85 WSVECS04 Frhs2[515]: 6 0 0.466034 shouldn't be
115.36/115.85 WSVECS04 Frhs2[546]: 6 0 2.04952 shouldn't be
115.36/115.85 WSVECS04 Frhs2[548]: 6 0 2.04946 shouldn't be
115.36/115.85 WSVECS04 Frhs2[555]: 6 0 2.01291 shouldn't be
115.36/115.85 WSVECS04 Frhs2[561]: 6 0 0.307167 shouldn't be
115.36/115.85 WSVECS04 Frhs2[566]: 6 0 0.978581 shouldn't be
115.36/115.85 WSVECS04 Frhs2[567]: 6 0 0.978618 shouldn't be
115.36/115.85 WSVECS04 Frhs2[621]: 6 0 3.29906 shouldn't be
115.36/115.85 WSVECS04 Frhs2[624]: 6 0 3.74782 shouldn't be
115.36/115.85 WSVECS04 Frhs2[634]: 6 0 2.08194 shouldn't be
115.36/115.85 WSVECS04 Frhs2[636]: 6 0 2.08193 shouldn't be
115.36/115.85 WSVECS04 Frhs2[646]: 6 -0.258216 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[677]: 6 0 0.898583 shouldn't be
115.36/115.85 WSVECS04 Frhs2[679]: 6 -0.461487 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[688]: 6 0 1.32414 shouldn't be
115.36/115.85 WSVECS04 Frhs2[690]: 6 0 0.675518 shouldn't be
115.36/115.85 WSVECS04 Frhs2[691]: 6 0 0.675566 shouldn't be
115.36/115.85 WSVECS04 Frhs2[723]: 6 -0.508348 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[772]: 6 0 0.338948 shouldn't be
115.36/115.85 WSVECS04 Frhs2[797]: 6 0 0.376156 shouldn't be
115.36/115.85 WSVECS04 Frhs2[799]: 6 0 0.376189 shouldn't be
115.36/115.85 WSVECS04 Frhs2[842]: 6 -1.80061 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[876]: 6 0 1.10004 shouldn't be
115.36/115.85 WSVECS04 Frhs2[881]: 6 0 2.29593 shouldn't be
115.36/115.85 WSVECS04 Frhs2[884]: 6 0 3.29551 shouldn't be
115.36/115.85 WSVECS04 Frhs2[889]: 6 0 0.305832 shouldn't be
115.36/115.85 WSVECS04 Frhs2[892]: 6 0 0.305853 shouldn't be
115.36/115.85 WSVECS04 Frhs2[894]: 6 0 0.26905 shouldn't be
115.36/115.85 WSVECS04 Frhs2[939]: 6 0 1.11116 shouldn't be
115.36/115.85 WSVECS04 Frhs2[940]: 6 0 1.11112 shouldn't be
115.36/115.85 WSVECS04 Frhs2[976]: 6 0 2.4033 shouldn't be
115.36/115.85 WSVECS04 Frhs2[985]: 6 0 0.126143 shouldn't be
115.36/115.85 WSVECS04 Frhs2[986]: 6 0 0.126115 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1028]: 6 -1.3128 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1049]: 6 0 0.243254 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1052]: 6 0 1.44133 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1069]: 6 0 0.00390601 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1070]: 6 0 0.0039511 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1134]: 6 0 1.69773 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1135]: 6 0 1.69772 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1138]: 6 -0.884755 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1145]: 6 -1.19808 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1259]: 6 -0.31329 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1317]: 6 -0.194596 0 shouldn't be
115.36/115.85 WSVECS04 Frhs2[1430]: 6 0 0.846507 shouldn't be
124.64/125.15 WSVECS04 Frhs2[133]: 6 -2.35691 0 shouldn't be
124.64/125.15 WSVECS04 Frhs2[201]: 6 0 3.04618 shouldn't be
124.64/125.15 WSVECS04 Frhs2[209]: 6 -6.58677 0 shouldn't be
124.64/125.15 WSVECS04 Frhs2[219]: 6 0 2.49941 shouldn't be
124.64/125.15 WSVECS04 Frhs2[233]: 6 0 0.119087 shouldn't be
124.64/125.15 WSVECS04 Frhs2[239]: 6 0 1.94009 shouldn't be
124.64/125.15 WSVECS04 Frhs2[240]: 6 0 1.94007 shouldn't be
124.64/125.15 WSVECS04 Frhs2[294]: 6 0 3.49325 shouldn't be
124.64/125.15 WSVECS04 Frhs2[296]: 6 0 3.49323 shouldn't be
124.64/125.15 WSVECS04 Frhs2[306]: 6 0 2.77354 shouldn't be
124.64/125.15 WSVECS04 Frhs2[322]: 6 0 1.16712 shouldn't be
124.64/125.15 WSVECS04 Frhs2[323]: 6 0 1.16717 shouldn't be
124.64/125.15 WSVECS04 Frhs2[441]: 6 0 0.472765 shouldn't be
124.64/125.15 WSVECS04 Frhs2[457]: 6 0 3.60557 shouldn't be
124.64/125.15 WSVECS04 Frhs2[588]: 6 -1.2941 0 shouldn't be
124.64/125.15 WSVECS04 Frhs2[593]: 6 -3.00232 0 shouldn't be
124.64/125.15 WSVECS04 Frhs2[594]: 6 0 1.36111 shouldn't be
124.64/125.15 WSVECS04 Frhs2[606]: 6 0 0.672225 shouldn't be
124.64/125.15 WSVECS04 Frhs2[627]: 6 0 0.811379 shouldn't be
124.64/125.15 WSVECS04 Frhs2[628]: 6 0 0.811425 shouldn't be
124.64/125.15 WSVECS04 Frhs2[641]: 6 0 0.0501991 shouldn't be
124.64/125.15 WSVECS04 Frhs2[642]: 6 0 0.0502091 shouldn't be
124.64/125.15 WSVECS04 Frhs2[666]: 6 0 3.53358 shouldn't be
124.64/125.15 WSVECS04 Frhs2[667]: 6 0 3.5336 shouldn't be
124.64/125.15 WSVECS04 Frhs2[669]: 6 0 3.48739 shouldn't be
124.64/125.15 WSVECS04 Frhs2[671]: 6 0 3.48745 shouldn't be
124.64/125.15 WSVECS04 Frhs2[745]: 6 0 1.94622 shouldn't be
124.64/125.15 WSVECS04 Frhs2[746]: 6 0 1.9462 shouldn't be
124.64/125.15 WSVECS04 Frhs2[804]: 6 0 3.90807 shouldn't be
124.64/125.15 WSVECS04 Frhs2[817]: 6 0 2.48957 shouldn't be
124.64/125.15 WSVECS04 Frhs2[818]: 6 0 2.48959 shouldn't be
124.64/125.15 WSVECS04 Frhs2[893]: 6 0 0.0403226 shouldn't be
124.64/125.15 WSVECS04 Frhs2[921]: 6 0 0.0372408 shouldn't be
124.64/125.15 WSVECS04 Frhs2[926]: 6 0 2.47364 shouldn't be
124.64/125.15 WSVECS04 Frhs2[928]: 6 0 2.47372 shouldn't be
124.64/125.15 WSVECS04 Frhs2[966]: 6 0 4.12506 shouldn't be
124.64/125.15 WSVECS04 Frhs2[967]: 6 0 4.12504 shouldn't be
124.64/125.15 WSVECS04 Frhs2[974]: 6 0 2.40333 shouldn't be
124.64/125.15 WSVECS04 Frhs2[992]: 6 -4.00815 0 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1089]: 6 0 1.19588 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1119]: 6 -7.588 0 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1171]: 6 0 0.314495 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1199]: 6 0 0.414674 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1222]: 6 0 2.47368 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1224]: 6 0 2.47367 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1245]: 6 0 1.01549 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1248]: 6 0 2.0191 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1339]: 6 0 1.53563 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1379]: 6 0 1.99432 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1389]: 6 0 3.49407 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1390]: 6 0 3.4941 shouldn't be
124.64/125.15 WSVECS04 Frhs2[1420]: 6 0 2.67936 shouldn't be
124.64/125.15 WSVECS04 Frhs2[2880]: 6 0 2.43903 shouldn't be
135.70/136.26 WSVECS04 Frhs2[37]: 6 0 1.4812 shouldn't be
135.70/136.26 WSVECS04 Frhs2[39]: 6 0 1.48114 shouldn't be
135.70/136.26 WSVECS04 Frhs2[91]: 6 0 0.592344 shouldn't be
135.70/136.26 WSVECS04 Frhs2[96]: 6 0 3.35542 shouldn't be
135.70/136.26 WSVECS04 Frhs2[166]: 6 0 0.250581 shouldn't be
135.70/136.26 WSVECS04 Frhs2[262]: 6 0 3.59382 shouldn't be
135.70/136.26 WSVECS04 Frhs2[263]: 6 0 8.59388 shouldn't be
135.70/136.26 WSVECS04 Frhs2[342]: 6 0 1.61787 shouldn't be
135.70/136.26 WSVECS04 Frhs2[346]: 6 0 0.01966 shouldn't be
135.70/136.26 WSVECS04 Frhs2[372]: 6 -2.06371 0 shouldn't be
135.70/136.26 WSVECS04 Frhs2[429]: 6 0 1.0546 shouldn't be
135.70/136.26 WSVECS04 Frhs2[432]: 6 0 1.05453 shouldn't be
135.70/136.26 WSVECS04 Frhs2[495]: 6 0 4.46577 shouldn't be
135.70/136.26 WSVECS04 Frhs2[541]: 6 0 0.376185 shouldn't be
135.70/136.26 WSVECS04 Frhs2[585]: 6 0 0.265006 shouldn't be
135.70/136.26 WSVECS04 Frhs2[587]: 6 0 0.264978 shouldn't be
135.70/136.26 WSVECS04 Frhs2[618]: 6 0 0.328389 shouldn't be
135.70/136.26 WSVECS04 Frhs2[635]: 6 0 2.08194 shouldn't be
135.70/136.26 WSVECS04 Frhs2[779]: 6 0 0.621393 shouldn't be
135.70/136.26 WSVECS04 Frhs2[877]: 6 0 1.32819 shouldn't be
135.70/136.26 WSVECS04 Frhs2[878]: 6 0 1.32811 shouldn't be
135.70/136.26 WSVECS04 Frhs2[960]: 6 0 0.144571 shouldn't be
135.70/136.26 WSVECS04 Frhs2[970]: 6 0 0.862386 shouldn't be
135.70/136.26 WSVECS04 Frhs2[1038]: 6 0 2.71292 shouldn't be
135.70/136.26 WSVECS04 Frhs2[1039]: 6 0 2.71292 shouldn't be
135.70/136.26 WSVECS04 Frhs2[1066]: 6 0 0.202748 shouldn't be
135.70/136.26 WSVECS04 Frhs2[1086]: 6 0 4.71118 shouldn't be
135.70/136.26 WSVECS04 Frhs2[1189]: 6 0 0.435161 shouldn't be
135.70/136.26 WSVECS04 Frhs2[1200]: 6 0 0.414711 shouldn't be
135.70/136.26 WSVECS04 Frhs2[1227]: 6 0 2.79315 shouldn't be
135.70/136.26 WSVECS04 Frhs2[1342]: 6 -1.53492 0 shouldn't be
174.99/175.64 c #Conflicts: 104000 | #Constraints: 99745
174.99/175.64 c #Conflicts: 105000 | #Constraints: 100745
174.99/175.64 c #Conflicts: 106000 | #Constraints: 101745
174.99/175.64 c #Conflicts: 107000 | #Constraints: 102745
174.99/175.64 c #Conflicts: 108000 | #Constraints: 103745
174.99/175.64 c #Conflicts: 109000 | #Constraints: 104745
174.99/175.64 c #Conflicts: 110000 | #Constraints: 105745
174.99/175.64 c INPROCESSING
174.99/175.64 c GARBAGE COLLECT
174.99/175.64 c #Conflicts: 111000 | #Constraints: 100149
174.99/175.64 c #Conflicts: 112000 | #Constraints: 101149
174.99/175.64 c #Conflicts: 113000 | #Constraints: 102149
174.99/175.64 c #Conflicts: 114000 | #Constraints: 103149
174.99/175.64 c #Conflicts: 115000 | #Constraints: 104149
174.99/175.64 c #Conflicts: 116000 | #Constraints: 105149
174.99/175.64 c #Conflicts: 117000 | #Constraints: 106149
174.99/175.64 c INPROCESSING
174.99/175.64 c GARBAGE COLLECT
174.99/175.64 c #Conflicts: 118000 | #Constraints: 100340
174.99/175.64 c #Conflicts: 119000 | #Constraints: 101340
174.99/175.64 c #Conflicts: 120000 | #Constraints: 102340
174.99/175.64 c #Conflicts: 121000 | #Constraints: 103340
174.99/175.64 c #Conflicts: 122000 | #Constraints: 104340
174.99/175.64 c #Conflicts: 123000 | #Constraints: 105340
174.99/175.64 c #Conflicts: 124000 | #Constraints: 106340
174.99/175.64 c INPROCESSING
174.99/175.64 c GARBAGE COLLECT
174.99/175.64 c #Conflicts: 125000 | #Constraints: 100335
174.99/175.64 c #Conflicts: 126000 | #Constraints: 101335
174.99/175.64 c #Conflicts: 127000 | #Constraints: 102335
174.99/175.64 c #Conflicts: 128000 | #Constraints: 103335
174.99/175.64 c #Conflicts: 129000 | #Constraints: 104335
174.99/175.64 c #Conflicts: 130000 | #Constraints: 105335
174.99/175.64 c #Conflicts: 131000 | #Constraints: 106335
174.99/175.64 c INPROCESSING
174.99/175.64 c GARBAGE COLLECT
174.99/175.64 c #Conflicts: 132000 | #Constraints: 100134
174.99/175.64 c #Conflicts: 133000 | #Constraints: 101134
174.99/175.64 c #Conflicts: 134000 | #Constraints: 102134
174.99/175.64 c #Conflicts: 135000 | #Constraints: 103134
174.99/175.64 c #Conflicts: 136000 | #Constraints: 104134
174.99/175.64 c #Conflicts: 137000 | #Constraints: 105134
174.99/175.64 c #Conflicts: 138000 | #Constraints: 106134
174.99/175.64 c #Conflicts: 139000 | #Constraints: 107134
174.99/175.64 c INPROCESSING
174.99/175.64 c GARBAGE COLLECT
174.99/175.64 c #Conflicts: 140000 | #Constraints: 100746
174.99/175.64 c #Conflicts: 141000 | #Constraints: 101746
174.99/175.64 c #Conflicts: 142000 | #Constraints: 102746
174.99/175.64 c #Conflicts: 143000 | #Constraints: 103746
174.99/175.64 c #Conflicts: 144000 | #Constraints: 104746
174.99/175.64 c #Conflicts: 145000 | #Constraints: 105746
174.99/175.64 c #Conflicts: 146000 | #Constraints: 106746
174.99/175.64 c #Conflicts: 147000 | #Constraints: 107746
174.99/175.64 c INPROCESSING
174.99/175.64 c GARBAGE COLLECT
174.99/175.64 c #Conflicts: 148000 | #Constraints: 101152
174.99/175.64 c #Conflicts: 149000 | #Constraints: 102152
174.99/175.64 c #Conflicts: 150000 | #Constraints: 103152
174.99/175.64 c #Conflicts: 151000 | #Constraints: 104152
174.99/175.64 c #Conflicts: 152000 | #Constraints: 105152
174.99/175.64 c #Conflicts: 153000 | #Constraints: 106152
174.99/175.64 c #Conflicts: 154000 | #Constraints: 107152
174.99/175.64 c #Conflicts: 155000 | #Constraints: 108152
174.99/175.64 c INPROCESSING
174.99/175.64 c GARBAGE COLLECT
174.99/175.64 c #Conflicts: 156000 | #Constraints: 101352
174.99/175.64 c #Conflicts: 157000 | #Constraints: 102352
174.99/175.64 c #Conflicts: 158000 | #Constraints: 103352
174.99/175.64 c #Conflicts: 159000 | #Constraints: 104352
174.99/175.64 c #Conflicts: 160000 | #Constraints: 105352
174.99/175.64 c #Conflicts: 161000 | #Constraints: 106352
174.99/175.64 c #Conflicts: 162000 | #Constraints: 107352
174.99/175.64 c #Conflicts: 163000 | #Constraints: 108352
174.99/175.64 c INPROCESSING
174.99/175.64 c GARBAGE COLLECT
174.99/175.64 c #Conflicts: 164000 | #Constraints: 101349
174.99/175.64 c #Conflicts: 165000 | #Constraints: 102349
174.99/175.64 c #Conflicts: 166000 | #Constraints: 103349
174.99/175.64 c #Conflicts: 167000 | #Constraints: 104349
174.99/175.64 c #Conflicts: 168000 | #Constraints: 105349
174.99/175.64 c #Conflicts: 169000 | #Constraints: 106349
174.99/175.64 c #Conflicts: 170000 | #Constraints: 107349
174.99/175.64 c #Conflicts: 171000 | #Constraints: 108349
174.99/175.64 c INPROCESSING
174.99/175.64 c GARBAGE COLLECT
174.99/175.64 c #Conflicts: 172000 | #Constraints: 101141
174.99/175.64 c #Conflicts: 173000 | #Constraints: 102141
174.99/175.64 c #Conflicts: 174000 | #Constraints: 103141
174.99/175.64 c #Conflicts: 175000 | #Constraints: 104141
174.99/175.64 c #Conflicts: 176000 | #Constraints: 105141
174.99/175.64 c #Conflicts: 177000 | #Constraints: 106141
248.17/249.03 c #Conflicts: 178000 | #Constraints: 107141
248.17/249.03 c #Conflicts: 179000 | #Constraints: 108141
248.17/249.03 c #Conflicts: 180000 | #Constraints: 109141
248.17/249.03 c INPROCESSING
248.17/249.03 c GARBAGE COLLECT
248.17/249.03 c #Conflicts: 181000 | #Constraints: 101744
248.17/249.03 c #Conflicts: 182000 | #Constraints: 102744
248.17/249.03 c #Conflicts: 183000 | #Constraints: 103744
248.17/249.03 c #Conflicts: 184000 | #Constraints: 104744
248.17/249.03 c #Conflicts: 185000 | #Constraints: 105744
248.17/249.03 c #Conflicts: 186000 | #Constraints: 106744
248.17/249.03 c #Conflicts: 187000 | #Constraints: 107744
248.17/249.03 c #Conflicts: 188000 | #Constraints: 108744
248.17/249.03 c #Conflicts: 189000 | #Constraints: 109744
248.17/249.03 c INPROCESSING
248.17/249.03 c GARBAGE COLLECT
248.17/249.03 c #Conflicts: 190000 | #Constraints: 102154
248.17/249.03 c #Conflicts: 191000 | #Constraints: 103154
248.17/249.03 c #Conflicts: 192000 | #Constraints: 104154
248.17/249.03 c #Conflicts: 193000 | #Constraints: 105154
248.17/249.03 c #Conflicts: 194000 | #Constraints: 106154
248.17/249.03 c #Conflicts: 195000 | #Constraints: 107154
248.17/249.03 c #Conflicts: 196000 | #Constraints: 108154
248.17/249.03 c #Conflicts: 197000 | #Constraints: 109154
248.17/249.03 c #Conflicts: 198000 | #Constraints: 110154
248.17/249.03 c INPROCESSING
248.17/249.03 c GARBAGE COLLECT
248.17/249.03 c #Conflicts: 199000 | #Constraints: 102365
248.17/249.03 c #Conflicts: 200000 | #Constraints: 103365
248.17/249.03 c #Conflicts: 201000 | #Constraints: 104365
248.17/249.03 c #Conflicts: 202000 | #Constraints: 105365
248.17/249.03 c #Conflicts: 203000 | #Constraints: 106365
248.17/249.03 c #Conflicts: 204000 | #Constraints: 107365
248.17/249.03 c #Conflicts: 205000 | #Constraints: 108365
248.17/249.03 c #Conflicts: 206000 | #Constraints: 109365
248.17/249.03 c #Conflicts: 207000 | #Constraints: 110365
248.17/249.03 c INPROCESSING
248.17/249.03 c GARBAGE COLLECT
248.17/249.03 c #Conflicts: 208000 | #Constraints: 102359
248.17/249.03 c #Conflicts: 209000 | #Constraints: 103359
248.17/249.03 c #Conflicts: 210000 | #Constraints: 104359
248.17/249.03 c #Conflicts: 211000 | #Constraints: 105359
248.17/249.03 c #Conflicts: 212000 | #Constraints: 106359
248.17/249.03 c #Conflicts: 213000 | #Constraints: 107359
248.17/249.03 c #Conflicts: 214000 | #Constraints: 108359
248.17/249.03 c #Conflicts: 215000 | #Constraints: 109359
248.17/249.03 c #Conflicts: 216000 | #Constraints: 110359
248.17/249.03 c INPROCESSING
248.17/249.03 c GARBAGE COLLECT
248.17/249.03 c #Conflicts: 217000 | #Constraints: 102162
248.17/249.03 c #Conflicts: 218000 | #Constraints: 103162
248.17/249.03 c #Conflicts: 219000 | #Constraints: 104162
248.17/249.03 c #Conflicts: 220000 | #Constraints: 105162
248.17/249.03 c #Conflicts: 221000 | #Constraints: 106162
248.17/249.03 c #Conflicts: 222000 | #Constraints: 107162
248.17/249.03 c #Conflicts: 223000 | #Constraints: 108162
248.17/249.03 c #Conflicts: 224000 | #Constraints: 109162
248.17/249.03 c #Conflicts: 225000 | #Constraints: 110162
248.17/249.03 c #Conflicts: 226000 | #Constraints: 111162
248.17/249.03 c INPROCESSING
248.17/249.03 c GARBAGE COLLECT
248.17/249.03 c #Conflicts: 227000 | #Constraints: 102766
248.17/249.03 c #Conflicts: 228000 | #Constraints: 103766
248.17/249.03 c #Conflicts: 229000 | #Constraints: 104766
248.17/249.03 c #Conflicts: 230000 | #Constraints: 105766
248.17/249.03 c #Conflicts: 231000 | #Constraints: 106766
248.17/249.03 c #Conflicts: 232000 | #Constraints: 107766
248.17/249.03 c #Conflicts: 233000 | #Constraints: 108766
248.17/249.03 c #Conflicts: 234000 | #Constraints: 109766
248.17/249.03 c #Conflicts: 235000 | #Constraints: 110766
248.17/249.03 c #Conflicts: 236000 | #Constraints: 111767
248.17/249.03 c INPROCESSING
248.17/249.03 c GARBAGE COLLECT
248.17/249.03 c #Conflicts: 237000 | #Constraints: 103030
248.17/249.03 c #Conflicts: 238000 | #Constraints: 104030
248.17/249.03 c #Conflicts: 239000 | #Constraints: 105030
248.17/249.03 c #Conflicts: 240000 | #Constraints: 106030
248.17/249.03 c #Conflicts: 241000 | #Constraints: 107030
248.17/249.03 c #Conflicts: 242000 | #Constraints: 108030
248.17/249.03 c #Conflicts: 243000 | #Constraints: 109030
248.17/249.03 c #Conflicts: 244000 | #Constraints: 110030
248.17/249.03 c #Conflicts: 245000 | #Constraints: 111030
248.17/249.03 c #Conflicts: 246000 | #Constraints: 112030
248.17/249.03 c INPROCESSING
248.17/249.03 c GARBAGE COLLECT
248.17/249.03 c #Conflicts: 247000 | #Constraints: 103228
248.17/249.03 c #Conflicts: 248000 | #Constraints: 104228
248.17/249.03 c #Conflicts: 249000 | #Constraints: 105228
248.17/249.03 c #Conflicts: 250000 | #Constraints: 106228
278.19/279.14 c #Conflicts: 251000 | #Constraints: 107228
278.19/279.14 c #Conflicts: 252000 | #Constraints: 108228
278.19/279.14 c #Conflicts: 253000 | #Constraints: 109228
278.19/279.14 c #Conflicts: 254000 | #Constraints: 110228
278.19/279.14 c #Conflicts: 255000 | #Constraints: 111228
278.19/279.14 c #Conflicts: 256000 | #Constraints: 112228
278.19/279.14 c INPROCESSING
278.19/279.14 c GARBAGE COLLECT
278.19/279.14 c #Conflicts: 257000 | #Constraints: 103225
278.19/279.14 c #Conflicts: 258000 | #Constraints: 104225
278.19/279.14 c #Conflicts: 259000 | #Constraints: 105225
278.19/279.14 c #Conflicts: 260000 | #Constraints: 106225
278.19/279.14 c #Conflicts: 261000 | #Constraints: 107225
278.19/279.14 c #Conflicts: 262000 | #Constraints: 108225
278.19/279.14 c #Conflicts: 263000 | #Constraints: 109225
278.19/279.14 c #Conflicts: 264000 | #Constraints: 110225
278.19/279.14 c #Conflicts: 265000 | #Constraints: 111225
278.19/279.14 c #Conflicts: 266000 | #Constraints: 112225
278.19/279.14 c INPROCESSING
278.19/279.14 c GARBAGE COLLECT
278.19/279.14 c #Conflicts: 267000 | #Constraints: 103023
278.19/279.14 c #Conflicts: 268000 | #Constraints: 104023
278.19/279.14 c #Conflicts: 269000 | #Constraints: 105023
278.19/279.14 c #Conflicts: 270000 | #Constraints: 106023
278.19/279.14 c #Conflicts: 271000 | #Constraints: 107023
278.19/279.14 c #Conflicts: 272000 | #Constraints: 108023
278.19/279.14 c #Conflicts: 273000 | #Constraints: 109023
278.19/279.14 c #Conflicts: 274000 | #Constraints: 110023
278.19/279.14 c #Conflicts: 275000 | #Constraints: 111023
278.19/279.14 c #Conflicts: 276000 | #Constraints: 112023
278.19/279.14 c #Conflicts: 277000 | #Constraints: 113023
278.19/279.14 c INPROCESSING
278.19/279.14 c GARBAGE COLLECT
278.19/279.14 c #Conflicts: 278000 | #Constraints: 103617
278.19/279.14 c #Conflicts: 279000 | #Constraints: 104617
278.19/279.14 c #Conflicts: 280000 | #Constraints: 105618
278.19/279.14 c #Conflicts: 281000 | #Constraints: 106618
278.19/279.14 c #Conflicts: 282000 | #Constraints: 107618
278.19/279.14 c #Conflicts: 283000 | #Constraints: 108618
278.19/279.14 c #Conflicts: 284000 | #Constraints: 109618
278.19/279.14 c #Conflicts: 285000 | #Constraints: 110618
278.19/279.14 c #Conflicts: 286000 | #Constraints: 111618
278.19/279.14 c #Conflicts: 287000 | #Constraints: 112618
278.19/279.14 c #Conflicts: 288000 | #Constraints: 113618
278.19/279.14 c INPROCESSING
278.19/279.14 c GARBAGE COLLECT
278.19/279.14 c #Conflicts: 289000 | #Constraints: 104022
278.19/279.14 c #Conflicts: 290000 | #Constraints: 105022
278.19/279.14 c #Conflicts: 291000 | #Constraints: 106022
278.19/279.14 c #Conflicts: 292000 | #Constraints: 107022
278.19/279.14 c #Conflicts: 293000 | #Constraints: 108022
278.19/279.14 c #Conflicts: 294000 | #Constraints: 109022
278.19/279.14 c #Conflicts: 295000 | #Constraints: 110022
278.19/279.14 c #Conflicts: 296000 | #Constraints: 111022
278.19/279.14 c #Conflicts: 297000 | #Constraints: 112022
278.19/279.14 c #Conflicts: 298000 | #Constraints: 113022
278.19/279.14 c #Conflicts: 299000 | #Constraints: 114022
278.19/279.14 c INPROCESSING
278.19/279.14 c GARBAGE COLLECT
278.19/279.14 c #Conflicts: 300000 | #Constraints: 104221
278.19/279.14 c #Conflicts: 301000 | #Constraints: 105221
278.19/279.14 c #Conflicts: 302000 | #Constraints: 106221
278.19/279.14 c #Conflicts: 303000 | #Constraints: 107221
278.19/279.14 c #Conflicts: 304000 | #Constraints: 108221
278.19/279.14 c #Conflicts: 305000 | #Constraints: 109221
278.19/279.14 c #Conflicts: 306000 | #Constraints: 110221
278.19/279.14 c #Conflicts: 307000 | #Constraints: 111221
278.19/279.14 c #Conflicts: 308000 | #Constraints: 112221
278.19/279.14 c #Conflicts: 309000 | #Constraints: 113221
278.19/279.14 c #Conflicts: 310000 | #Constraints: 114221
278.19/279.14 c INPROCESSING
278.19/279.14 c GARBAGE COLLECT
278.19/279.14 c #Conflicts: 311000 | #Constraints: 104224
278.19/279.14 c #Conflicts: 312000 | #Constraints: 105224
278.19/279.14 c #Conflicts: 313000 | #Constraints: 106224
278.19/279.14 c #Conflicts: 314000 | #Constraints: 107224
278.19/279.14 c #Conflicts: 315000 | #Constraints: 108224
278.19/279.14 c #Conflicts: 316000 | #Constraints: 109224
278.19/279.14 c #Conflicts: 317000 | #Constraints: 110224
278.19/279.14 c #Conflicts: 318000 | #Constraints: 111224
278.19/279.14 c #Conflicts: 319000 | #Constraints: 112224
278.19/279.14 c #Conflicts: 320000 | #Constraints: 113224
278.19/279.14 c #Conflicts: 321000 | #Constraints: 114224
278.19/279.14 c INPROCESSING
278.19/279.14 c GARBAGE COLLECT
278.19/279.14 c #Conflicts: 322000 | #Constraints: 104031
278.19/279.14 c #Conflicts: 323000 | #Constraints: 105031
278.19/279.14 c #Conflicts: 324000 | #Constraints: 106031
278.19/279.14 c #Conflicts: 325000 | #Constraints: 107031
283.07/284.10 c #Conflicts: 326000 | #Constraints: 108031
283.07/284.10 WSVECS04 Frhs2[5]: 6 0 200.829 shouldn't be
283.07/284.10 WSVECS04 Frhs2[18]: 6 0 0.563921 shouldn't be
283.07/284.10 WSVECS04 Frhs2[24]: 6 -41.5404 0 shouldn't be
283.07/284.10 WSVECS04 Frhs2[50]: 6 0 154.325 shouldn't be
283.07/284.10 WSVECS04 Frhs2[63]: 6 0 501.295 shouldn't be
283.07/284.10 WSVECS04 Frhs2[115]: 6 0 223.353 shouldn't be
283.07/284.10 WSVECS04 Frhs2[150]: 6 -974.151 0 shouldn't be
283.07/284.10 WSVECS04 Frhs2[154]: 6 0 30.7574 shouldn't be
283.07/284.10 WSVECS04 Frhs2[158]: 6 0 72.66 shouldn't be
283.07/284.10 WSVECS04 Frhs2[171]: 6 0 229.216 shouldn't be
283.07/284.10 WSVECS04 Frhs2[222]: 6 0 78.5044 shouldn't be
283.07/284.10 WSVECS04 Frhs2[241]: 6 0 126.579 shouldn't be
283.07/284.10 WSVECS04 Frhs2[243]: 6 0 159.587 shouldn't be
283.07/284.10 WSVECS04 Frhs2[250]: 6 0 202.829 shouldn't be
283.07/284.10 WSVECS04 Frhs2[268]: 6 0 0.5045 shouldn't be
283.07/284.10 WSVECS04 Frhs2[272]: 6 0 26.5802 shouldn't be
283.07/284.10 WSVECS04 Frhs2[301]: 6 0 301.823 shouldn't be
283.07/284.10 WSVECS04 Frhs2[312]: 6 0 186.908 shouldn't be
283.07/284.10 WSVECS04 Frhs2[354]: 6 -33.1488 0 shouldn't be
283.07/284.10 WSVECS04 Frhs2[520]: 6 0 251.089 shouldn't be
283.07/284.10 WSVECS04 Frhs2[653]: 6 0 236.243 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1009]: 6 0 70.282 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1029]: 6 0 28.1633 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1041]: 6 0 77.6527 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1102]: 6 -3.63078 0 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1131]: 6 -1.00003 0 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1149]: 6 0 212.6 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1152]: 6 -70.5586 0 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1220]: 6 0 9.13186 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1221]: 6 -934.194 0 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1225]: 6 0 1.00005 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1275]: 6 0 54.9951 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1290]: 6 -1.00002 0 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1336]: 6 0 260.763 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1369]: 6 -365.324 0 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1421]: 6 0 248.703 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1430]: 6 0 33.4559 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1432]: 6 0 33.4559 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1457]: 6 0 2.98508 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1493]: 6 0 16.3098 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1591]: 6 0 155.128 shouldn't be
283.07/284.10 WSVECS04 Frhs2[1825]: 6 0 4.14803 shouldn't be
283.07/284.10 WSVECS04 Frhs2[2489]: 6 0 294.486 shouldn't be
283.07/284.10 WSVECS04 Frhs2[2576]: 6 0 21.2874 shouldn't be
283.07/284.10 WSVECS04 Frhs2[2596]: 6 0 46.7655 shouldn't be
283.07/284.10 WSVECS04 Frhs2[2642]: 6 0 47.9975 shouldn't be
283.07/284.10 WSVECS04 Frhs2[3224]: 6 0 21.0774 shouldn't be
283.07/284.10 WSVECS04 Frhs2[3267]: 6 0 22.0936 shouldn't be
283.07/284.10 WSVECS04 Frhs2[3394]: 6 0 27.2424 shouldn't be
283.07/284.10 WSVECS04 Frhs2[3572]: 6 0 0.200835 shouldn't be
289.85/290.87 WSVECS04 Frhs2[43]: 6 -103.599 0 shouldn't be
289.85/290.87 WSVECS04 Frhs2[1229]: 6 0 67.8876 shouldn't be
289.85/290.87 WSVECS04 Frhs2[1388]: 6 0 377.013 shouldn't be
289.85/290.87 WSVECS04 Frhs2[1446]: 6 0 2.64746 shouldn't be
289.85/290.87 WSVECS04 Frhs2[2821]: 6 0 4.23254 shouldn't be
339.11/340.26 c #Conflicts: 327000 | #Constraints: 109032
339.11/340.26 c #Conflicts: 328000 | #Constraints: 110032
339.11/340.26 c #Conflicts: 329000 | #Constraints: 111032
339.11/340.26 c #Conflicts: 330000 | #Constraints: 112032
339.11/340.26 c #Conflicts: 331000 | #Constraints: 113032
339.11/340.26 c #Conflicts: 332000 | #Constraints: 114032
339.11/340.26 c #Conflicts: 333000 | #Constraints: 115032
339.11/340.26 c INPROCESSING
339.11/340.26 c GARBAGE COLLECT
339.11/340.26 c #Conflicts: 334000 | #Constraints: 104649
339.11/340.26 c #Conflicts: 335000 | #Constraints: 105649
339.11/340.26 c #Conflicts: 336000 | #Constraints: 106649
339.11/340.26 c #Conflicts: 337000 | #Constraints: 107649
339.11/340.26 c #Conflicts: 338000 | #Constraints: 108649
339.11/340.26 c #Conflicts: 339000 | #Constraints: 109649
339.11/340.26 c #Conflicts: 340000 | #Constraints: 110649
339.11/340.26 c #Conflicts: 341000 | #Constraints: 111649
339.11/340.26 c #Conflicts: 342000 | #Constraints: 112649
339.11/340.26 c #Conflicts: 343000 | #Constraints: 113649
339.11/340.26 c #Conflicts: 344000 | #Constraints: 114649
339.11/340.26 c #Conflicts: 345000 | #Constraints: 115649
339.11/340.26 c INPROCESSING
339.11/340.26 c GARBAGE COLLECT
339.11/340.26 c #Conflicts: 346000 | #Constraints: 105031
339.11/340.26 c #Conflicts: 347000 | #Constraints: 106031
339.11/340.26 c #Conflicts: 348000 | #Constraints: 107031
339.11/340.26 c #Conflicts: 349000 | #Constraints: 108031
339.11/340.26 c #Conflicts: 350000 | #Constraints: 109031
339.11/340.26 c #Conflicts: 351000 | #Constraints: 110031
339.11/340.26 c #Conflicts: 352000 | #Constraints: 111031
339.11/340.26 c #Conflicts: 353000 | #Constraints: 112031
339.11/340.26 c #Conflicts: 354000 | #Constraints: 113031
339.11/340.26 c #Conflicts: 355000 | #Constraints: 114031
339.11/340.26 c #Conflicts: 356000 | #Constraints: 115031
339.11/340.26 c #Conflicts: 357000 | #Constraints: 116031
339.11/340.26 c INPROCESSING
339.11/340.26 c GARBAGE COLLECT
339.11/340.26 c #Conflicts: 358000 | #Constraints: 105224
339.11/340.26 c #Conflicts: 359000 | #Constraints: 106224
339.11/340.26 c #Conflicts: 360000 | #Constraints: 107224
339.11/340.26 c #Conflicts: 361000 | #Constraints: 108224
339.11/340.26 c #Conflicts: 362000 | #Constraints: 109224
339.11/340.26 c #Conflicts: 363000 | #Constraints: 110224
339.11/340.26 c #Conflicts: 364000 | #Constraints: 111224
339.11/340.26 c #Conflicts: 365000 | #Constraints: 112224
339.11/340.26 c #Conflicts: 366000 | #Constraints: 113224
339.11/340.26 c #Conflicts: 367000 | #Constraints: 114224
339.11/340.26 c #Conflicts: 368000 | #Constraints: 115224
339.11/340.26 c #Conflicts: 369000 | #Constraints: 116224
339.11/340.26 c INPROCESSING
339.11/340.26 c GARBAGE COLLECT
339.11/340.26 c #Conflicts: 370000 | #Constraints: 105228
339.11/340.26 c #Conflicts: 371000 | #Constraints: 106228
339.11/340.26 c #Conflicts: 372000 | #Constraints: 107228
339.11/340.26 c #Conflicts: 373000 | #Constraints: 108228
339.11/340.26 c #Conflicts: 374000 | #Constraints: 109228
339.11/340.26 c #Conflicts: 375000 | #Constraints: 110228
339.11/340.26 c #Conflicts: 376000 | #Constraints: 111228
339.11/340.26 c #Conflicts: 377000 | #Constraints: 112228
339.11/340.26 c #Conflicts: 378000 | #Constraints: 113228
339.11/340.26 c #Conflicts: 379000 | #Constraints: 114228
339.11/340.26 c #Conflicts: 380000 | #Constraints: 115228
339.11/340.26 c #Conflicts: 381000 | #Constraints: 116228
339.11/340.26 c INPROCESSING
339.11/340.26 c GARBAGE COLLECT
339.11/340.26 c #Conflicts: 382000 | #Constraints: 105018
339.11/340.26 c #Conflicts: 383000 | #Constraints: 106018
339.11/340.26 c #Conflicts: 384000 | #Constraints: 107018
339.11/340.26 c #Conflicts: 385000 | #Constraints: 108018
339.11/340.26 c #Conflicts: 386000 | #Constraints: 109018
339.11/340.26 c #Conflicts: 387000 | #Constraints: 110018
339.11/340.26 c #Conflicts: 388000 | #Constraints: 111018
339.11/340.26 c #Conflicts: 389000 | #Constraints: 112018
339.11/340.26 c #Conflicts: 390000 | #Constraints: 113018
339.11/340.26 c #Conflicts: 391000 | #Constraints: 114018
339.11/340.26 c #Conflicts: 392000 | #Constraints: 115018
339.11/340.26 c #Conflicts: 393000 | #Constraints: 116018
339.11/340.26 c #Conflicts: 394000 | #Constraints: 117018
339.11/340.26 c INPROCESSING
339.11/340.26 c GARBAGE COLLECT
339.11/340.26 c rational objective 361
391.85/393.14 c #Conflicts: 395000 | #Constraints: 105622
391.85/393.14 c #Conflicts: 396000 | #Constraints: 106622
391.85/393.14 c #Conflicts: 397000 | #Constraints: 107622
391.85/393.14 c #Conflicts: 398000 | #Constraints: 108622
391.85/393.14 c #Conflicts: 399000 | #Constraints: 109622
391.85/393.14 c #Conflicts: 400000 | #Constraints: 110622
391.85/393.14 c #Conflicts: 401000 | #Constraints: 111622
391.85/393.14 c #Conflicts: 402000 | #Constraints: 112622
391.85/393.14 c #Conflicts: 403000 | #Constraints: 113622
391.85/393.14 c #Conflicts: 404000 | #Constraints: 114622
391.85/393.14 c #Conflicts: 405000 | #Constraints: 115622
391.85/393.14 c #Conflicts: 406000 | #Constraints: 116622
391.85/393.14 c #Conflicts: 407000 | #Constraints: 117622
391.85/393.14 c INPROCESSING
391.85/393.14 c GARBAGE COLLECT
391.85/393.14 c #Conflicts: 408000 | #Constraints: 106020
391.85/393.14 c #Conflicts: 409000 | #Constraints: 107020
391.85/393.14 c #Conflicts: 410000 | #Constraints: 108020
391.85/393.14 c #Conflicts: 411000 | #Constraints: 109020
391.85/393.14 c #Conflicts: 412000 | #Constraints: 110020
391.85/393.14 c #Conflicts: 413000 | #Constraints: 111020
391.85/393.14 c #Conflicts: 414000 | #Constraints: 112020
391.85/393.14 c #Conflicts: 415000 | #Constraints: 113020
391.85/393.14 c #Conflicts: 416000 | #Constraints: 114020
391.85/393.14 c #Conflicts: 417000 | #Constraints: 115020
391.85/393.14 c #Conflicts: 418000 | #Constraints: 116020
391.85/393.14 c #Conflicts: 419000 | #Constraints: 117020
391.85/393.14 c #Conflicts: 420000 | #Constraints: 118020
391.85/393.14 c INPROCESSING
391.85/393.14 c GARBAGE COLLECT
391.85/393.14 c #Conflicts: 421000 | #Constraints: 106235
391.85/393.14 c #Conflicts: 422000 | #Constraints: 107235
391.85/393.14 c #Conflicts: 423000 | #Constraints: 108235
391.85/393.14 c #Conflicts: 424000 | #Constraints: 109235
391.85/393.14 c #Conflicts: 425000 | #Constraints: 110235
391.85/393.14 c #Conflicts: 426000 | #Constraints: 111235
391.85/393.14 c #Conflicts: 427000 | #Constraints: 112235
391.85/393.14 c #Conflicts: 428000 | #Constraints: 113235
391.85/393.14 c #Conflicts: 429000 | #Constraints: 114235
391.85/393.14 c #Conflicts: 430000 | #Constraints: 115235
391.85/393.14 c #Conflicts: 431000 | #Constraints: 116235
391.85/393.14 c #Conflicts: 432000 | #Constraints: 117235
391.85/393.14 c #Conflicts: 433000 | #Constraints: 118236
391.85/393.14 c INPROCESSING
391.85/393.14 c GARBAGE COLLECT
391.85/393.14 c #Conflicts: 434000 | #Constraints: 106238
391.85/393.14 c #Conflicts: 435000 | #Constraints: 107238
391.85/393.14 c #Conflicts: 436000 | #Constraints: 108238
391.85/393.14 c #Conflicts: 437000 | #Constraints: 109238
391.85/393.14 c #Conflicts: 438000 | #Constraints: 110238
391.85/393.14 c #Conflicts: 439000 | #Constraints: 111238
391.85/393.14 c #Conflicts: 440000 | #Constraints: 112238
391.85/393.14 c #Conflicts: 441000 | #Constraints: 113238
391.85/393.14 c #Conflicts: 442000 | #Constraints: 114238
391.85/393.14 c #Conflicts: 443000 | #Constraints: 115238
391.85/393.14 c #Conflicts: 444000 | #Constraints: 116238
391.85/393.14 c #Conflicts: 445000 | #Constraints: 117238
391.85/393.14 c #Conflicts: 446000 | #Constraints: 118238
391.85/393.14 c INPROCESSING
391.85/393.14 c GARBAGE COLLECT
391.85/393.14 c #Conflicts: 447000 | #Constraints: 106058
391.85/393.14 c #Conflicts: 448000 | #Constraints: 107058
391.85/393.14 c #Conflicts: 449000 | #Constraints: 108058
391.85/393.14 c #Conflicts: 450000 | #Constraints: 109058
391.85/393.14 c #Conflicts: 451000 | #Constraints: 110058
391.85/393.14 c #Conflicts: 452000 | #Constraints: 111058
391.85/393.14 c #Conflicts: 453000 | #Constraints: 112058
391.85/393.14 c #Conflicts: 454000 | #Constraints: 113058
391.85/393.14 c #Conflicts: 455000 | #Constraints: 114058
391.85/393.14 c #Conflicts: 456000 | #Constraints: 115058
391.85/393.14 c #Conflicts: 457000 | #Constraints: 116058
391.85/393.14 c #Conflicts: 458000 | #Constraints: 117058
391.85/393.14 c #Conflicts: 459000 | #Constraints: 118058
391.85/393.14 c #Conflicts: 460000 | #Constraints: 119058
391.85/393.14 c INPROCESSING
391.85/393.14 c GARBAGE COLLECT
391.85/393.14 c #Conflicts: 461000 | #Constraints: 106663
391.85/393.14 c #Conflicts: 462000 | #Constraints: 107663
391.85/393.14 c #Conflicts: 463000 | #Constraints: 108663
391.85/393.14 c #Conflicts: 464000 | #Constraints: 109663
391.85/393.14 c #Conflicts: 465000 | #Constraints: 110663
391.85/393.14 c #Conflicts: 466000 | #Constraints: 111663
391.85/393.14 c #Conflicts: 467000 | #Constraints: 112663
391.85/393.14 c #Conflicts: 468000 | #Constraints: 113663
391.85/393.14 c #Conflicts: 469000 | #Constraints: 114663
391.85/393.14 c #Conflicts: 470000 | #Constraints: 115663
406.87/408.21 c #Conflicts: 471000 | #Constraints: 116663
406.87/408.21 c #Conflicts: 472000 | #Constraints: 117663
406.87/408.21 c #Conflicts: 473000 | #Constraints: 118663
406.87/408.21 c #Conflicts: 474000 | #Constraints: 119663
406.87/408.21 c INPROCESSING
406.87/408.21 c GARBAGE COLLECT
406.87/408.21 c #Conflicts: 475000 | #Constraints: 107064
406.87/408.21 c #Conflicts: 476000 | #Constraints: 108064
406.87/408.21 c #Conflicts: 477000 | #Constraints: 109064
406.87/408.21 c #Conflicts: 478000 | #Constraints: 110064
406.87/408.21 c #Conflicts: 479000 | #Constraints: 111064
406.87/408.21 c #Conflicts: 480000 | #Constraints: 112064
406.87/408.21 c #Conflicts: 481000 | #Constraints: 113064
406.87/408.21 c #Conflicts: 482000 | #Constraints: 114064
406.87/408.21 c #Conflicts: 483000 | #Constraints: 115064
406.87/408.21 c #Conflicts: 484000 | #Constraints: 116064
406.87/408.21 c #Conflicts: 485000 | #Constraints: 117064
406.87/408.21 c #Conflicts: 486000 | #Constraints: 118064
406.87/408.21 c #Conflicts: 487000 | #Constraints: 119064
406.87/408.21 c #Conflicts: 488000 | #Constraints: 120064
406.87/408.21 c INPROCESSING
406.87/408.21 c GARBAGE COLLECT
406.87/408.21 c #Conflicts: 489000 | #Constraints: 107265
406.87/408.21 c #Conflicts: 490000 | #Constraints: 108265
406.87/408.21 c #Conflicts: 491000 | #Constraints: 109265
406.87/408.21 c #Conflicts: 492000 | #Constraints: 110265
406.87/408.21 c #Conflicts: 493000 | #Constraints: 111265
406.87/408.21 c #Conflicts: 494000 | #Constraints: 112265
406.87/408.21 c #Conflicts: 495000 | #Constraints: 113265
406.87/408.21 c #Conflicts: 496000 | #Constraints: 114265
406.87/408.21 c #Conflicts: 497000 | #Constraints: 115265
406.87/408.21 c #Conflicts: 498000 | #Constraints: 116265
406.87/408.21 c #Conflicts: 499000 | #Constraints: 117265
406.87/408.21 c #Conflicts: 500000 | #Constraints: 118265
406.87/408.21 c #Conflicts: 501000 | #Constraints: 119265
406.87/408.21 c #Conflicts: 502000 | #Constraints: 120265
406.87/408.21 c INPROCESSING
406.87/408.21 c GARBAGE COLLECT
406.87/408.21 WSVECS04 Frhs2[46]: 6 -1.00005 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[49]: 6 0 1.00009 shouldn't be
406.87/408.21 WSVECS04 Frhs2[67]: 6 -1.00007 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[77]: 6 -2.00006 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[99]: 6 -2.00007 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[103]: 6 -1.00008 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[105]: 6 -2.00004 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[141]: 6 0 40.6775 shouldn't be
406.87/408.21 WSVECS04 Frhs2[154]: 6 -3.00006 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[199]: 6 0 1.00004 shouldn't be
406.87/408.21 WSVECS04 Frhs2[211]: 6 0 1.00008 shouldn't be
406.87/408.21 WSVECS04 Frhs2[303]: 6 0 2.00004 shouldn't be
406.87/408.21 WSVECS04 Frhs2[313]: 6 0 1.00001 shouldn't be
406.87/408.21 WSVECS04 Frhs2[319]: 6 0 2.00007 shouldn't be
406.87/408.21 WSVECS04 Frhs2[320]: 6 0 2.00003 shouldn't be
406.87/408.21 WSVECS04 Frhs2[389]: 6 0 1.00006 shouldn't be
406.87/408.21 WSVECS04 Frhs2[390]: 6 0 1.00007 shouldn't be
406.87/408.21 WSVECS04 Frhs2[425]: 6 -152.46 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[455]: 6 -1.00003 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[479]: 6 -1.00006 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[487]: 6 0 117.638 shouldn't be
406.87/408.21 WSVECS04 Frhs2[570]: 6 0 1.00002 shouldn't be
406.87/408.21 WSVECS04 Frhs2[589]: 6 -1.00004 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[745]: 6 0 6.6833 shouldn't be
406.87/408.21 WSVECS04 Frhs2[803]: 6 0 298.99 shouldn't be
406.87/408.21 WSVECS04 Frhs2[805]: 6 0 1.00003 shouldn't be
406.87/408.21 WSVECS04 Frhs2[811]: 6 -1.00009 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[898]: 6 0 1.00008 shouldn't be
406.87/408.21 WSVECS04 Frhs2[933]: 6 -1.00004 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[962]: 6 0 34.5036 shouldn't be
406.87/408.21 WSVECS04 Frhs2[1007]: 6 -1.00002 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[1091]: 6 0 1945.71 shouldn't be
406.87/408.21 WSVECS04 Frhs2[1112]: 6 0 99.3573 shouldn't be
406.87/408.21 WSVECS04 Frhs2[1237]: 6 -258.372 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[1242]: 6 0 1.00009 shouldn't be
406.87/408.21 WSVECS04 Frhs2[1266]: 6 0 1.00006 shouldn't be
406.87/408.21 WSVECS04 Frhs2[1293]: 6 0 1.00006 shouldn't be
406.87/408.21 WSVECS04 Frhs2[1401]: 6 -1.00003 0 shouldn't be
406.87/408.21 WSVECS04 Frhs2[1404]: 6 -1.00006 0 shouldn't be
412.65/414.09 WSVECS04 Frhs2[72]: 6 0 553.603 shouldn't be
412.65/414.09 WSVECS04 Frhs2[263]: 6 0 1.00004 shouldn't be
412.65/414.09 WSVECS04 Frhs2[674]: 6 -61.1886 0 shouldn't be
412.65/414.09 WSVECS04 Frhs2[833]: 6 -62.8797 0 shouldn't be
412.65/414.09 WSVECS04 Frhs2[1029]: 6 -1.00008 0 shouldn't be
412.65/414.09 WSVECS04 Frhs2[1118]: 6 0 596.617 shouldn't be
412.65/414.09 WSVECS04 Frhs2[1209]: 6 0 401.126 shouldn't be
412.65/414.09 WSVECS04 Frhs2[1397]: 6 -1.00007 0 shouldn't be
412.65/414.09 WSVECS04 Frhs2[1403]: 6 -1.00008 0 shouldn't be
441.44/443.00 c #Conflicts: 503000 | #Constraints: 107267
441.44/443.00 c #Conflicts: 504000 | #Constraints: 108267
441.44/443.00 c #Conflicts: 505000 | #Constraints: 109267
441.44/443.00 c #Conflicts: 506000 | #Constraints: 110267
441.44/443.00 c #Conflicts: 507000 | #Constraints: 111267
441.44/443.00 c #Conflicts: 508000 | #Constraints: 112267
441.44/443.00 c #Conflicts: 509000 | #Constraints: 113267
441.44/443.00 c #Conflicts: 510000 | #Constraints: 114267
441.44/443.00 c #Conflicts: 511000 | #Constraints: 115267
441.44/443.00 c #Conflicts: 512000 | #Constraints: 116267
441.44/443.00 c #Conflicts: 513000 | #Constraints: 117267
441.44/443.00 c #Conflicts: 514000 | #Constraints: 118267
441.44/443.00 c #Conflicts: 515000 | #Constraints: 119267
441.44/443.00 c #Conflicts: 516000 | #Constraints: 120267
441.44/443.00 c INPROCESSING
441.44/443.00 c GARBAGE COLLECT
441.44/443.00 c #Conflicts: 517000 | #Constraints: 107039
441.44/443.00 c #Conflicts: 518000 | #Constraints: 108039
441.44/443.00 c #Conflicts: 519000 | #Constraints: 109039
441.44/443.00 c #Conflicts: 520000 | #Constraints: 110039
441.44/443.00 c #Conflicts: 521000 | #Constraints: 111039
441.44/443.00 c #Conflicts: 522000 | #Constraints: 112039
441.44/443.00 c #Conflicts: 523000 | #Constraints: 113039
441.44/443.00 c #Conflicts: 524000 | #Constraints: 114039
441.44/443.00 c #Conflicts: 525000 | #Constraints: 115039
441.44/443.00 c #Conflicts: 526000 | #Constraints: 116039
441.44/443.00 c #Conflicts: 527000 | #Constraints: 117039
441.44/443.00 c #Conflicts: 528000 | #Constraints: 118039
441.44/443.00 c #Conflicts: 529000 | #Constraints: 119039
441.44/443.00 c #Conflicts: 530000 | #Constraints: 120039
441.44/443.00 c #Conflicts: 531000 | #Constraints: 121039
441.44/443.00 c INPROCESSING
441.44/443.00 c GARBAGE COLLECT
441.44/443.00 c #Conflicts: 532000 | #Constraints: 107637
441.44/443.00 c #Conflicts: 533000 | #Constraints: 108637
441.44/443.00 c #Conflicts: 534000 | #Constraints: 109637
441.44/443.00 c #Conflicts: 535000 | #Constraints: 110637
441.44/443.00 c #Conflicts: 536000 | #Constraints: 111637
441.44/443.00 c #Conflicts: 537000 | #Constraints: 112637
441.44/443.00 c #Conflicts: 538000 | #Constraints: 113637
441.44/443.00 c #Conflicts: 539000 | #Constraints: 114637
441.44/443.00 c #Conflicts: 540000 | #Constraints: 115637
441.44/443.00 c #Conflicts: 541000 | #Constraints: 116637
441.44/443.00 c #Conflicts: 542000 | #Constraints: 117637
441.44/443.00 c #Conflicts: 543000 | #Constraints: 118637
441.44/443.00 c #Conflicts: 544000 | #Constraints: 119637
441.44/443.00 c #Conflicts: 545000 | #Constraints: 120637
441.44/443.00 c #Conflicts: 546000 | #Constraints: 121637
441.44/443.00 c INPROCESSING
441.44/443.00 c GARBAGE COLLECT
441.44/443.00 c #Conflicts: 547000 | #Constraints: 108029
441.44/443.00 c #Conflicts: 548000 | #Constraints: 109029
441.44/443.00 c #Conflicts: 549000 | #Constraints: 110029
441.44/443.00 c #Conflicts: 550000 | #Constraints: 111029
441.44/443.00 c #Conflicts: 551000 | #Constraints: 112029
441.44/443.00 c #Conflicts: 552000 | #Constraints: 113029
441.44/443.00 c #Conflicts: 553000 | #Constraints: 114029
441.44/443.00 c #Conflicts: 554000 | #Constraints: 115029
441.44/443.00 c #Conflicts: 555000 | #Constraints: 116029
441.44/443.00 c #Conflicts: 556000 | #Constraints: 117029
441.44/443.00 c #Conflicts: 557000 | #Constraints: 118029
441.44/443.00 c #Conflicts: 558000 | #Constraints: 119029
441.44/443.00 c #Conflicts: 559000 | #Constraints: 120029
441.44/443.00 c #Conflicts: 560000 | #Constraints: 121029
441.44/443.00 c #Conflicts: 561000 | #Constraints: 122029
441.44/443.00 c INPROCESSING
441.44/443.00 c GARBAGE COLLECT
441.44/443.00 c #Conflicts: 562000 | #Constraints: 108220
441.44/443.00 c #Conflicts: 563000 | #Constraints: 109220
441.44/443.00 c #Conflicts: 564000 | #Constraints: 110220
441.44/443.00 c #Conflicts: 565000 | #Constraints: 111220
441.44/443.00 c #Conflicts: 566000 | #Constraints: 112220
441.44/443.00 c #Conflicts: 567000 | #Constraints: 113220
441.44/443.00 c #Conflicts: 568000 | #Constraints: 114220
441.44/443.00 c #Conflicts: 569000 | #Constraints: 115220
441.44/443.00 c #Conflicts: 570000 | #Constraints: 116220
441.44/443.00 c #Conflicts: 571000 | #Constraints: 117220
441.44/443.00 c #Conflicts: 572000 | #Constraints: 118220
441.44/443.00 c #Conflicts: 573000 | #Constraints: 119220
441.44/443.00 c #Conflicts: 574000 | #Constraints: 120220
441.44/443.00 c #Conflicts: 575000 | #Constraints: 121220
441.44/443.00 c #Conflicts: 576000 | #Constraints: 122220
441.44/443.00 c INPROCESSING
441.44/443.00 c GARBAGE COLLECT
441.44/443.00 c #Conflicts: 577000 | #Constraints: 108230
441.44/443.00 c #Conflicts: 578000 | #Constraints: 109230
451.11/452.66 c #Conflicts: 579000 | #Constraints: 110230
451.11/452.66 c #Conflicts: 580000 | #Constraints: 111230
451.11/452.66 c #Conflicts: 581000 | #Constraints: 112230
451.11/452.66 c #Conflicts: 582000 | #Constraints: 113230
451.11/452.66 c #Conflicts: 583000 | #Constraints: 114230
451.11/452.66 c #Conflicts: 584000 | #Constraints: 115230
451.11/452.66 c #Conflicts: 585000 | #Constraints: 116230
451.11/452.66 c #Conflicts: 586000 | #Constraints: 117230
451.11/452.66 c #Conflicts: 587000 | #Constraints: 118230
451.11/452.66 c #Conflicts: 588000 | #Constraints: 119230
451.11/452.66 c #Conflicts: 589000 | #Constraints: 120230
451.11/452.66 c #Conflicts: 590000 | #Constraints: 121230
451.11/452.66 c #Conflicts: 591000 | #Constraints: 122230
451.11/452.66 c INPROCESSING
451.11/452.66 c GARBAGE COLLECT
451.11/452.66 c #Conflicts: 592000 | #Constraints: 108026
451.11/452.66 c #Conflicts: 593000 | #Constraints: 109026
451.11/452.66 c #Conflicts: 594000 | #Constraints: 110026
451.11/452.66 c #Conflicts: 595000 | #Constraints: 111026
451.11/452.66 c #Conflicts: 596000 | #Constraints: 112026
451.11/452.66 c #Conflicts: 597000 | #Constraints: 113026
451.11/452.66 c #Conflicts: 598000 | #Constraints: 114026
451.11/452.66 WSVECS04 Frhs2[193]: 6 -1 0 shouldn't be
451.11/452.66 WSVECS04 Frhs2[966]: 6 -1 0 shouldn't be
451.11/452.66 WSVECS04 Frhs2[991]: 6 -1 0 shouldn't be
451.11/452.66 WSVECS04 Frhs2[1154]: 6 -1 0 shouldn't be
451.11/452.66 WSVECS04 Frhs2[1174]: 6 -1 0 shouldn't be
451.11/452.66 WSVECS04 Frhs2[1415]: 6 -1 0 shouldn't be
486.28/487.96 c #Conflicts: 599000 | #Constraints: 115027
486.28/487.96 c #Conflicts: 600000 | #Constraints: 116027
486.28/487.96 c #Conflicts: 601000 | #Constraints: 117027
486.28/487.96 c #Conflicts: 602000 | #Constraints: 118027
486.28/487.96 c #Conflicts: 603000 | #Constraints: 119027
486.28/487.96 c #Conflicts: 604000 | #Constraints: 120027
486.28/487.96 c #Conflicts: 605000 | #Constraints: 121027
486.28/487.96 c #Conflicts: 606000 | #Constraints: 122027
486.28/487.96 c #Conflicts: 607000 | #Constraints: 123027
486.28/487.96 c INPROCESSING
486.28/487.96 c GARBAGE COLLECT
486.28/487.96 c #Conflicts: 608000 | #Constraints: 108634
486.28/487.96 c #Conflicts: 609000 | #Constraints: 109634
486.28/487.96 c #Conflicts: 610000 | #Constraints: 110634
486.28/487.96 c #Conflicts: 611000 | #Constraints: 111634
486.28/487.96 c #Conflicts: 612000 | #Constraints: 112634
486.28/487.96 c #Conflicts: 613000 | #Constraints: 113634
486.28/487.96 c #Conflicts: 614000 | #Constraints: 114634
486.28/487.96 c #Conflicts: 615000 | #Constraints: 115634
486.28/487.96 c #Conflicts: 616000 | #Constraints: 116634
486.28/487.96 c #Conflicts: 617000 | #Constraints: 117634
486.28/487.96 c #Conflicts: 618000 | #Constraints: 118634
486.28/487.96 c #Conflicts: 619000 | #Constraints: 119634
486.28/487.96 c #Conflicts: 620000 | #Constraints: 120634
486.28/487.96 c #Conflicts: 621000 | #Constraints: 121634
486.28/487.96 c #Conflicts: 622000 | #Constraints: 122634
486.28/487.96 c #Conflicts: 623000 | #Constraints: 123634
486.28/487.96 c INPROCESSING
486.28/487.96 c GARBAGE COLLECT
486.28/487.96 c rational objective 361
517.30/519.05 c #Conflicts: 624000 | #Constraints: 109031
517.30/519.05 c #Conflicts: 625000 | #Constraints: 110031
517.30/519.05 c #Conflicts: 626000 | #Constraints: 111031
517.30/519.05 c #Conflicts: 627000 | #Constraints: 112031
517.30/519.05 c #Conflicts: 628000 | #Constraints: 113031
517.30/519.05 c #Conflicts: 629000 | #Constraints: 114031
517.30/519.05 c #Conflicts: 630000 | #Constraints: 115031
517.30/519.05 c #Conflicts: 631000 | #Constraints: 116031
517.30/519.05 c #Conflicts: 632000 | #Constraints: 117031
517.30/519.05 c #Conflicts: 633000 | #Constraints: 118031
517.30/519.05 c #Conflicts: 634000 | #Constraints: 119031
517.30/519.05 c #Conflicts: 635000 | #Constraints: 120031
517.30/519.05 c #Conflicts: 636000 | #Constraints: 121031
517.30/519.05 c #Conflicts: 637000 | #Constraints: 122031
517.30/519.05 c #Conflicts: 638000 | #Constraints: 123031
517.30/519.05 c #Conflicts: 639000 | #Constraints: 124031
517.30/519.05 c INPROCESSING
517.30/519.05 c GARBAGE COLLECT
517.30/519.05 c #Conflicts: 640000 | #Constraints: 109226
517.30/519.05 c #Conflicts: 641000 | #Constraints: 110226
517.30/519.05 c #Conflicts: 642000 | #Constraints: 111226
517.30/519.05 c #Conflicts: 643000 | #Constraints: 112226
517.30/519.05 c #Conflicts: 644000 | #Constraints: 113226
517.30/519.05 c #Conflicts: 645000 | #Constraints: 114226
517.30/519.05 c #Conflicts: 646000 | #Constraints: 115226
517.30/519.05 c #Conflicts: 647000 | #Constraints: 116226
517.30/519.05 c #Conflicts: 648000 | #Constraints: 117226
517.30/519.05 c #Conflicts: 649000 | #Constraints: 118226
517.30/519.05 c #Conflicts: 650000 | #Constraints: 119226
517.30/519.05 c #Conflicts: 651000 | #Constraints: 120226
517.30/519.05 c #Conflicts: 652000 | #Constraints: 121226
517.30/519.05 c #Conflicts: 653000 | #Constraints: 122227
517.30/519.05 c #Conflicts: 654000 | #Constraints: 123227
517.30/519.05 c #Conflicts: 655000 | #Constraints: 124227
517.30/519.05 c INPROCESSING
517.30/519.05 c GARBAGE COLLECT
517.30/519.05 c #Conflicts: 656000 | #Constraints: 109230
517.30/519.05 c #Conflicts: 657000 | #Constraints: 110230
517.30/519.05 c #Conflicts: 658000 | #Constraints: 111230
517.30/519.05 c #Conflicts: 659000 | #Constraints: 112230
517.30/519.05 c #Conflicts: 660000 | #Constraints: 113230
517.30/519.05 c #Conflicts: 661000 | #Constraints: 114230
517.30/519.05 c #Conflicts: 662000 | #Constraints: 115230
517.30/519.05 c #Conflicts: 663000 | #Constraints: 116230
517.30/519.05 c #Conflicts: 664000 | #Constraints: 117230
517.30/519.05 c #Conflicts: 665000 | #Constraints: 118230
517.30/519.05 c #Conflicts: 666000 | #Constraints: 119230
517.30/519.05 c #Conflicts: 667000 | #Constraints: 120230
517.30/519.05 c #Conflicts: 668000 | #Constraints: 121230
517.30/519.05 c #Conflicts: 669000 | #Constraints: 122230
517.30/519.05 c #Conflicts: 670000 | #Constraints: 123230
517.30/519.05 c #Conflicts: 671000 | #Constraints: 124230
517.30/519.05 c INPROCESSING
517.30/519.05 c GARBAGE COLLECT
517.30/519.05 c #Conflicts: 672000 | #Constraints: 109021
517.30/519.05 c #Conflicts: 673000 | #Constraints: 110021
517.30/519.05 c #Conflicts: 674000 | #Constraints: 111021
517.30/519.05 c #Conflicts: 675000 | #Constraints: 112021
517.30/519.05 c #Conflicts: 676000 | #Constraints: 113021
517.30/519.05 c #Conflicts: 677000 | #Constraints: 114022
517.30/519.05 c #Conflicts: 678000 | #Constraints: 115022
517.30/519.05 c #Conflicts: 679000 | #Constraints: 116022
517.30/519.05 c #Conflicts: 680000 | #Constraints: 117022
517.30/519.05 c #Conflicts: 681000 | #Constraints: 118022
517.30/519.05 c #Conflicts: 682000 | #Constraints: 119022
517.30/519.05 c #Conflicts: 683000 | #Constraints: 120022
517.30/519.05 c #Conflicts: 684000 | #Constraints: 121022
517.30/519.05 c #Conflicts: 685000 | #Constraints: 122022
517.30/519.05 c #Conflicts: 686000 | #Constraints: 123022
517.30/519.05 c #Conflicts: 687000 | #Constraints: 124022
517.30/519.05 c #Conflicts: 688000 | #Constraints: 125022
517.30/519.05 c INPROCESSING
517.30/519.05 c GARBAGE COLLECT
517.30/519.05 c #Conflicts: 689000 | #Constraints: 109618
517.30/519.05 c #Conflicts: 690000 | #Constraints: 110618
517.30/519.05 c #Conflicts: 691000 | #Constraints: 111618
517.30/519.05 c #Conflicts: 692000 | #Constraints: 112618
517.30/519.05 c #Conflicts: 693000 | #Constraints: 113618
517.30/519.05 c #Conflicts: 694000 | #Constraints: 114618
517.30/519.05 WSVECS04 Frhs2[8]: 6 -1.00005 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[26]: 6 -0.0431961 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[37]: 6 -0.0215927 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[44]: 6 0 0.0431737 shouldn't be
517.30/519.05 WSVECS04 Frhs2[104]: 6 0 16.7581 shouldn't be
517.30/519.05 WSVECS04 Frhs2[125]: 6 0 0.0629731 shouldn't be
517.30/519.05 WSVECS04 Frhs2[166]: 6 -1.00009 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[171]: 6 0 0.0822403 shouldn't be
517.30/519.05 WSVECS04 Frhs2[174]: 6 0 7.2001 shouldn't be
517.30/519.05 WSVECS04 Frhs2[250]: 6 0 18.9367 shouldn't be
517.30/519.05 WSVECS04 Frhs2[261]: 6 0 3.25253 shouldn't be
517.30/519.05 WSVECS04 Frhs2[262]: 6 0 3.25259 shouldn't be
517.30/519.05 WSVECS04 Frhs2[287]: 6 0 5.14773 shouldn't be
517.30/519.05 WSVECS04 Frhs2[288]: 6 0 5.14776 shouldn't be
517.30/519.05 WSVECS04 Frhs2[298]: 6 0 14.998 shouldn't be
517.30/519.05 WSVECS04 Frhs2[313]: 6 0 0.132174 shouldn't be
517.30/519.05 WSVECS04 Frhs2[336]: 6 0 0.926444 shouldn't be
517.30/519.05 WSVECS04 Frhs2[352]: 6 -10.5979 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[383]: 6 -14.5002 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[421]: 6 0 11.7844 shouldn't be
517.30/519.05 WSVECS04 Frhs2[423]: 6 0 11.7844 shouldn't be
517.30/519.05 WSVECS04 Frhs2[461]: 6 -1.00005 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[464]: 6 0 28.8439 shouldn't be
517.30/519.05 WSVECS04 Frhs2[477]: 6 -0.0376319 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[691]: 6 -46.0647 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[694]: 6 0 0.039124 shouldn't be
517.30/519.05 WSVECS04 Frhs2[728]: 6 0 0.1495 shouldn't be
517.30/519.05 WSVECS04 Frhs2[737]: 6 0 3.63618 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1030]: 6 0 24.498 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1098]: 6 0 7.73821 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1197]: 6 0 0.0070702 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1222]: 6 0 8.05765 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1238]: 6 0 7.73825 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1253]: 6 0 0.0666956 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1267]: 6 0 2.79677 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1270]: 6 0 21.0523 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1293]: 6 -0.216245 0 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1314]: 6 0 0.0317645 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1342]: 6 0 0.0417673 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1373]: 6 0 4.7804 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1383]: 6 0 14.3273 shouldn't be
517.30/519.05 WSVECS04 Frhs2[1406]: 6 -0.056779 0 shouldn't be
521.08/522.81 WSVECS04 Frhs2[1046]: 6 -0.0247484 0 shouldn't be
524.78/526.54 WSVECS04 Frhs2[203]: 6 0 2.94452 shouldn't be
524.78/526.54 WSVECS04 Frhs2[949]: 6 -0.0137695 0 shouldn't be
524.78/526.54 WSVECS04 Frhs2[1176]: 6 -5.38116 0 shouldn't be
524.78/526.54 WSVECS04 Frhs2[1271]: 6 0 21.0523 shouldn't be
545.91/547.73 c #Conflicts: 695000 | #Constraints: 115618
545.91/547.73 c #Conflicts: 696000 | #Constraints: 116618
545.91/547.73 c #Conflicts: 697000 | #Constraints: 117618
545.91/547.73 c #Conflicts: 698000 | #Constraints: 118618
545.91/547.73 c #Conflicts: 699000 | #Constraints: 119618
545.91/547.73 c #Conflicts: 700000 | #Constraints: 120618
545.91/547.73 c #Conflicts: 701000 | #Constraints: 121618
545.91/547.73 c #Conflicts: 702000 | #Constraints: 122618
545.91/547.73 c #Conflicts: 703000 | #Constraints: 123618
545.91/547.73 c #Conflicts: 704000 | #Constraints: 124618
545.91/547.73 c #Conflicts: 705000 | #Constraints: 125618
545.91/547.73 c INPROCESSING
545.91/547.73 c GARBAGE COLLECT
545.91/547.73 c #Conflicts: 706000 | #Constraints: 110038
545.91/547.73 c #Conflicts: 707000 | #Constraints: 111038
545.91/547.73 c #Conflicts: 708000 | #Constraints: 112038
545.91/547.73 c #Conflicts: 709000 | #Constraints: 113038
545.91/547.73 c #Conflicts: 710000 | #Constraints: 114038
545.91/547.73 c #Conflicts: 711000 | #Constraints: 115038
545.91/547.73 c #Conflicts: 712000 | #Constraints: 116038
545.91/547.73 c #Conflicts: 713000 | #Constraints: 117038
545.91/547.73 c #Conflicts: 714000 | #Constraints: 118038
545.91/547.73 c #Conflicts: 715000 | #Constraints: 119038
545.91/547.73 c #Conflicts: 716000 | #Constraints: 120038
545.91/547.73 c #Conflicts: 717000 | #Constraints: 121038
545.91/547.73 c #Conflicts: 718000 | #Constraints: 122038
545.91/547.73 c #Conflicts: 719000 | #Constraints: 123038
545.91/547.73 c #Conflicts: 720000 | #Constraints: 124038
545.91/547.73 c #Conflicts: 721000 | #Constraints: 125038
545.91/547.73 c #Conflicts: 722000 | #Constraints: 126038
545.91/547.73 c INPROCESSING
545.91/547.73 c GARBAGE COLLECT
545.91/547.73 c #Conflicts: 723000 | #Constraints: 110242
545.91/547.73 c #Conflicts: 724000 | #Constraints: 111242
545.91/547.73 c #Conflicts: 725000 | #Constraints: 112242
545.91/547.73 c #Conflicts: 726000 | #Constraints: 113242
545.91/547.73 c #Conflicts: 727000 | #Constraints: 114242
545.91/547.73 c #Conflicts: 728000 | #Constraints: 115242
545.91/547.73 c #Conflicts: 729000 | #Constraints: 116242
545.91/547.73 c #Conflicts: 730000 | #Constraints: 117242
545.91/547.73 c #Conflicts: 731000 | #Constraints: 118242
545.91/547.73 c #Conflicts: 732000 | #Constraints: 119242
545.91/547.73 c #Conflicts: 733000 | #Constraints: 120242
545.91/547.74 c #Conflicts: 734000 | #Constraints: 121242
545.91/547.74 c #Conflicts: 735000 | #Constraints: 122242
545.91/547.74 c #Conflicts: 736000 | #Constraints: 123242
545.91/547.74 c #Conflicts: 737000 | #Constraints: 124242
545.91/547.74 c #Conflicts: 738000 | #Constraints: 125242
545.91/547.74 c #Conflicts: 739000 | #Constraints: 126242
545.91/547.74 c INPROCESSING
545.91/547.74 c GARBAGE COLLECT
545.91/547.74 c #Conflicts: 740000 | #Constraints: 110258
545.91/547.74 c #Conflicts: 741000 | #Constraints: 111258
545.91/547.74 c #Conflicts: 742000 | #Constraints: 112258
545.91/547.74 c #Conflicts: 743000 | #Constraints: 113258
545.91/547.74 c #Conflicts: 744000 | #Constraints: 114258
545.91/547.74 c #Conflicts: 745000 | #Constraints: 115258
545.91/547.74 c #Conflicts: 746000 | #Constraints: 116258
545.91/547.74 c #Conflicts: 747000 | #Constraints: 117258
545.91/547.74 c #Conflicts: 748000 | #Constraints: 118258
545.91/547.74 c #Conflicts: 749000 | #Constraints: 119258
545.91/547.74 c #Conflicts: 750000 | #Constraints: 120258
545.91/547.74 c #Conflicts: 751000 | #Constraints: 121258
545.91/547.74 c #Conflicts: 752000 | #Constraints: 122258
545.91/547.74 c #Conflicts: 753000 | #Constraints: 123258
545.91/547.74 c #Conflicts: 754000 | #Constraints: 124258
545.91/547.74 c #Conflicts: 755000 | #Constraints: 125258
545.91/547.74 c #Conflicts: 756000 | #Constraints: 126258
545.91/547.74 c INPROCESSING
545.91/547.74 c GARBAGE COLLECT
545.91/547.74 c #Conflicts: 757000 | #Constraints: 110039
545.91/547.74 c #Conflicts: 758000 | #Constraints: 111039
545.91/547.74 c #Conflicts: 759000 | #Constraints: 112039
545.91/547.74 c #Conflicts: 760000 | #Constraints: 113039
545.91/547.74 c #Conflicts: 761000 | #Constraints: 114039
545.91/547.74 c #Conflicts: 762000 | #Constraints: 115039
545.91/547.74 c #Conflicts: 763000 | #Constraints: 116039
545.91/547.74 c #Conflicts: 764000 | #Constraints: 117039
545.91/547.74 c #Conflicts: 765000 | #Constraints: 118039
545.91/547.74 c #Conflicts: 766000 | #Constraints: 119039
545.91/547.74 c #Conflicts: 767000 | #Constraints: 120039
545.91/547.74 c #Conflicts: 768000 | #Constraints: 121039
545.91/547.74 c #Conflicts: 769000 | #Constraints: 122039
545.91/547.74 c #Conflicts: 770000 | #Constraints: 123039
545.91/547.74 c #Conflicts: 771000 | #Constraints: 124039
551.60/553.48 c #Conflicts: 772000 | #Constraints: 125039
551.60/553.48 c #Conflicts: 773000 | #Constraints: 126039
551.60/553.48 c #Conflicts: 774000 | #Constraints: 127039
551.60/553.48 c INPROCESSING
551.60/553.48 c GARBAGE COLLECT
551.60/553.48 c rational objective 361
623.27/629.46 c #Conflicts: 775000 | #Constraints: 110627
623.27/629.46 c #Conflicts: 776000 | #Constraints: 111627
623.27/629.46 c #Conflicts: 777000 | #Constraints: 112627
623.27/629.46 c #Conflicts: 778000 | #Constraints: 113627
623.27/629.46 c #Conflicts: 779000 | #Constraints: 114627
623.27/629.46 c #Conflicts: 780000 | #Constraints: 115627
623.27/629.46 c #Conflicts: 781000 | #Constraints: 116627
623.27/629.46 c #Conflicts: 782000 | #Constraints: 117627
623.27/629.46 c #Conflicts: 783000 | #Constraints: 118627
623.27/629.46 c #Conflicts: 784000 | #Constraints: 119627
623.27/629.46 c #Conflicts: 785000 | #Constraints: 120627
623.27/629.46 c #Conflicts: 786000 | #Constraints: 121627
623.27/629.46 c #Conflicts: 787000 | #Constraints: 122627
623.27/629.46 c #Conflicts: 788000 | #Constraints: 123627
623.27/629.46 c #Conflicts: 789000 | #Constraints: 124627
623.27/629.46 c #Conflicts: 790000 | #Constraints: 125627
623.27/629.46 c #Conflicts: 791000 | #Constraints: 126627
623.27/629.46 c #Conflicts: 792000 | #Constraints: 127627
623.27/629.46 c INPROCESSING
623.27/629.46 c GARBAGE COLLECT
623.27/629.46 c #Conflicts: 793000 | #Constraints: 111018
623.27/629.46 c #Conflicts: 794000 | #Constraints: 112018
623.27/629.46 c #Conflicts: 795000 | #Constraints: 113018
623.27/629.46 c #Conflicts: 796000 | #Constraints: 114018
623.27/629.46 c #Conflicts: 797000 | #Constraints: 115018
623.27/629.46 c #Conflicts: 798000 | #Constraints: 116018
623.27/629.46 c #Conflicts: 799000 | #Constraints: 117018
623.27/629.46 c #Conflicts: 800000 | #Constraints: 118018
623.27/629.46 c #Conflicts: 801000 | #Constraints: 119018
623.27/629.46 c #Conflicts: 802000 | #Constraints: 120018
623.27/629.46 c #Conflicts: 803000 | #Constraints: 121018
623.27/629.46 c #Conflicts: 804000 | #Constraints: 122018
623.27/629.46 c #Conflicts: 805000 | #Constraints: 123018
623.27/629.46 c #Conflicts: 806000 | #Constraints: 124018
623.27/629.46 c #Conflicts: 807000 | #Constraints: 125018
623.27/629.46 c #Conflicts: 808000 | #Constraints: 126018
623.27/629.46 c #Conflicts: 809000 | #Constraints: 127018
623.27/629.46 c #Conflicts: 810000 | #Constraints: 128018
623.27/629.46 c INPROCESSING
623.27/629.46 c GARBAGE COLLECT
623.27/629.46 c #Conflicts: 811000 | #Constraints: 111222
623.27/629.46 c #Conflicts: 812000 | #Constraints: 112222
623.27/629.46 c #Conflicts: 813000 | #Constraints: 113222
623.27/629.46 c #Conflicts: 814000 | #Constraints: 114222
623.27/629.46 c #Conflicts: 815000 | #Constraints: 115222
623.27/629.46 c #Conflicts: 816000 | #Constraints: 116222
623.27/629.46 c #Conflicts: 817000 | #Constraints: 117222
623.27/629.46 c #Conflicts: 818000 | #Constraints: 118222
623.27/629.46 c #Conflicts: 819000 | #Constraints: 119222
623.27/629.46 c #Conflicts: 820000 | #Constraints: 120222
623.27/629.46 c #Conflicts: 821000 | #Constraints: 121222
623.27/629.46 c #Conflicts: 822000 | #Constraints: 122222
623.27/629.46 c #Conflicts: 823000 | #Constraints: 123222
623.27/629.46 c #Conflicts: 824000 | #Constraints: 124222
623.27/629.46 c #Conflicts: 825000 | #Constraints: 125222
623.27/629.46 c #Conflicts: 826000 | #Constraints: 126222
623.27/629.46 c #Conflicts: 827000 | #Constraints: 127222
623.27/629.46 c #Conflicts: 828000 | #Constraints: 128222
623.27/629.46 c INPROCESSING
623.27/629.46 c GARBAGE COLLECT
623.27/629.46 WSVECS04 Frhs2[33]: 6 0 0.161526 shouldn't be
623.27/629.46 WSVECS04 Frhs2[36]: 6 0 0.161447 shouldn't be
623.27/629.46 WSVECS04 Frhs2[312]: 6 -0.33391 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[380]: 6 0 0.419917 shouldn't be
623.27/629.46 WSVECS04 Frhs2[389]: 6 0 0.171192 shouldn't be
623.27/629.46 WSVECS04 Frhs2[390]: 6 0 0.171189 shouldn't be
623.27/629.46 WSVECS04 Frhs2[391]: 6 0 0.17119 shouldn't be
623.27/629.46 WSVECS04 Frhs2[406]: 6 0 0.169985 shouldn't be
623.27/629.46 WSVECS04 Frhs2[407]: 6 0 0.169937 shouldn't be
623.27/629.46 WSVECS04 Frhs2[408]: 6 0 0.169992 shouldn't be
623.27/629.46 WSVECS04 Frhs2[432]: 6 -1.17476 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[456]: 6 0 0.172785 shouldn't be
623.27/629.46 WSVECS04 Frhs2[457]: 6 0 0.205248 shouldn't be
623.27/629.46 WSVECS04 Frhs2[480]: 6 -0.69892 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[492]: 6 0 0.425791 shouldn't be
623.27/629.46 WSVECS04 Frhs2[516]: 6 -0.553881 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[540]: 6 0 0.357669 shouldn't be
623.27/629.46 WSVECS04 Frhs2[544]: 6 0 0.0431908 shouldn't be
623.27/629.46 WSVECS04 Frhs2[546]: 6 -0.102823 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[549]: 6 0 0.0368965 shouldn't be
623.27/629.46 WSVECS04 Frhs2[550]: 6 0 0.0369009 shouldn't be
623.27/629.46 WSVECS04 Frhs2[551]: 6 0 0.0369239 shouldn't be
623.27/629.46 WSVECS04 Frhs2[673]: 6 -0.726964 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[765]: 6 0 0.038936 shouldn't be
623.27/629.46 WSVECS04 Frhs2[766]: 6 0 0.0389362 shouldn't be
623.27/629.46 WSVECS04 Frhs2[767]: 6 0 0.0389663 shouldn't be
623.27/629.46 WSVECS04 Frhs2[769]: 6 0 1.56716 shouldn't be
623.27/629.46 WSVECS04 Frhs2[845]: 6 0 0.244496 shouldn't be
623.27/629.46 WSVECS04 Frhs2[846]: 6 0 0.244444 shouldn't be
623.27/629.46 WSVECS04 Frhs2[847]: 6 0 0.244487 shouldn't be
623.27/629.46 WSVECS04 Frhs2[849]: 6 0 0.029897 shouldn't be
623.27/629.46 WSVECS04 Frhs2[850]: 6 0 0.0299027 shouldn't be
623.27/629.46 WSVECS04 Frhs2[852]: 6 0 0.0299549 shouldn't be
623.27/629.46 WSVECS04 Frhs2[869]: 6 -0.887154 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[884]: 6 -1.50861 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[893]: 6 -0.471378 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[919]: 6 0 0.0360721 shouldn't be
623.27/629.46 WSVECS04 Frhs2[1011]: 6 -0.0258337 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[1100]: 6 0 0.0239278 shouldn't be
623.27/629.46 WSVECS04 Frhs2[1168]: 6 -0.125714 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[1172]: 6 -0.394661 0 shouldn't be
623.27/629.46 WSVECS04 Frhs2[1342]: 6 0 0.168852 shouldn't be
623.27/629.46 WSVECS04 Frhs2[1394]: 6 0 0.172697 shouldn't be
632.44/638.63 WSVECS04 Frhs2[149]: 6 0 0.010988 shouldn't be
632.44/638.63 WSVECS04 Frhs2[167]: 6 0 0.0322254 shouldn't be
632.44/638.63 WSVECS04 Frhs2[448]: 6 0 0.0817328 shouldn't be
632.44/638.63 WSVECS04 Frhs2[810]: 6 -0.232093 0 shouldn't be
632.44/638.63 WSVECS04 Frhs2[904]: 6 0 0.235618 shouldn't be
632.44/638.63 WSVECS04 Frhs2[1091]: 6 0 0.0322856 shouldn't be
632.44/638.63 WSVECS04 Frhs2[1092]: 6 0 0.0322265 shouldn't be
632.44/638.63 WSVECS04 Frhs2[1344]: 6 0 0.168875 shouldn't be
643.02/649.29 WSVECS04 Frhs2[260]: 6 0 0.378079 shouldn't be
643.02/649.29 WSVECS04 Frhs2[401]: 6 0 0.27091 shouldn't be
643.02/649.29 WSVECS04 Frhs2[489]: 6 0 0.425792 shouldn't be
643.02/649.29 WSVECS04 Frhs2[504]: 6 0 0.0076027 shouldn't be
643.02/649.29 WSVECS04 Frhs2[608]: 6 0 0.314804 shouldn't be
643.02/649.29 WSVECS04 Frhs2[624]: 6 0 0.0817622 shouldn't be
643.02/649.29 WSVECS04 Frhs2[770]: 6 0 1.56721 shouldn't be
643.02/649.29 WSVECS04 Frhs2[771]: 6 0 1.5672 shouldn't be
643.02/649.29 WSVECS04 Frhs2[786]: 6 -0.438404 0 shouldn't be
643.02/649.29 WSVECS04 Frhs2[792]: 6 0 0.687568 shouldn't be
643.02/649.29 WSVECS04 Frhs2[825]: 6 0 0.510696 shouldn't be
643.02/649.29 WSVECS04 Frhs2[1080]: 6 0 0.160789 shouldn't be
643.02/649.29 WSVECS04 Frhs2[1089]: 6 0 0.032293 shouldn't be
643.02/649.29 WSVECS04 Frhs2[1146]: 6 0 0.0359523 shouldn't be
643.02/649.29 WSVECS04 Frhs2[1147]: 6 0 0.0359615 shouldn't be
643.02/649.29 WSVECS04 Frhs2[1396]: 6 0 0.172744 shouldn't be
656.98/663.28 WSVECS04 Frhs2[61]: 6 -0.0322854 0 shouldn't be
656.98/663.28 WSVECS04 Frhs2[137]: 6 0 0.232065 shouldn't be
656.98/663.28 WSVECS04 Frhs2[437]: 6 -0.602878 0 shouldn't be
656.98/663.28 WSVECS04 Frhs2[455]: 6 0 0.172739 shouldn't be
656.98/663.28 WSVECS04 Frhs2[502]: 6 0 0.00759164 shouldn't be
656.98/663.28 WSVECS04 Frhs2[585]: 6 0 0.30932 shouldn't be
656.98/663.28 WSVECS04 Frhs2[598]: 6 0 0.284895 shouldn't be
656.98/663.28 WSVECS04 Frhs2[616]: 6 0 0.373951 shouldn't be
656.98/663.28 WSVECS04 Frhs2[628]: 6 -0.898499 0 shouldn't be
656.98/663.28 WSVECS04 Frhs2[638]: 6 0 1.31007 shouldn't be
656.98/663.28 WSVECS04 Frhs2[748]: 6 -0.378158 0 shouldn't be
656.98/663.28 WSVECS04 Frhs2[899]: 6 -0.309059 0 shouldn't be
656.98/663.28 WSVECS04 Frhs2[939]: 6 -0.593599 0 shouldn't be
670.04/676.31 WSVECS04 Frhs2[273]: 6 0 0.499058 shouldn't be
670.04/676.31 WSVECS04 Frhs2[576]: 6 0 1.49144 shouldn't be
670.04/676.31 WSVECS04 Frhs2[605]: 6 0 0.314823 shouldn't be
670.04/676.31 WSVECS04 Frhs2[613]: 6 0 0.373953 shouldn't be
670.04/676.31 WSVECS04 Frhs2[646]: 6 0 0.545435 shouldn't be
680.01/686.30 WSVECS04 Frhs2[132]: 6 0 0.214517 shouldn't be
680.01/686.30 WSVECS04 Frhs2[501]: 6 0 0.00756354 shouldn't be
680.01/686.30 WSVECS04 Frhs2[599]: 6 0 0.284866 shouldn't be
680.01/686.30 WSVECS04 Frhs2[758]: 6 -0.0874083 0 shouldn't be
680.01/686.30 WSVECS04 Frhs2[828]: 6 0 0.510678 shouldn't be
680.01/686.30 WSVECS04 Frhs2[1075]: 6 -0.864621 0 shouldn't be
680.01/686.30 WSVECS04 Frhs2[1097]: 6 0 0.0240004 shouldn't be
689.08/695.43 WSVECS04 Frhs2[151]: 6 0 0.0109127 shouldn't be
689.08/695.43 WSVECS04 Frhs2[391]: 6 0 0.171128 shouldn't be
689.08/695.43 WSVECS04 Frhs2[401]: 6 0 0.270834 shouldn't be
689.08/695.43 WSVECS04 Frhs2[407]: 6 0 0.169898 shouldn't be
689.08/695.43 WSVECS04 Frhs2[455]: 6 0 0.172686 shouldn't be
689.08/695.43 WSVECS04 Frhs2[457]: 6 0 0.205224 shouldn't be
689.08/695.43 WSVECS04 Frhs2[480]: 6 -0.698894 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[490]: 6 0 0.425741 shouldn't be
689.08/695.43 WSVECS04 Frhs2[504]: 6 0 0.0075423 shouldn't be
689.08/695.43 WSVECS04 Frhs2[512]: 6 -0.0282566 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[537]: 6 0 0.357648 shouldn't be
689.08/695.43 WSVECS04 Frhs2[543]: 6 0 0.0431068 shouldn't be
689.08/695.43 WSVECS04 Frhs2[549]: 6 0 0.0368654 shouldn't be
689.08/695.43 WSVECS04 Frhs2[559]: 6 -0.409927 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[584]: 6 -0.103809 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[599]: 6 0 0.284848 shouldn't be
689.08/695.43 WSVECS04 Frhs2[608]: 6 0 0.314779 shouldn't be
689.08/695.43 WSVECS04 Frhs2[628]: 6 -0.898449 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[748]: 6 -0.378064 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[758]: 6 -0.0873482 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[767]: 6 0 0.0389115 shouldn't be
689.08/695.43 WSVECS04 Frhs2[769]: 6 0 1.56714 shouldn't be
689.08/695.43 WSVECS04 Frhs2[810]: 6 -0.232053 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[828]: 6 0 0.510638 shouldn't be
689.08/695.43 WSVECS04 Frhs2[847]: 6 0 0.244416 shouldn't be
689.08/695.43 WSVECS04 Frhs2[850]: 6 0 0.0298774 shouldn't be
689.08/695.43 WSVECS04 Frhs2[869]: 6 -0.887132 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[877]: 6 0 0.194668 shouldn't be
689.08/695.43 WSVECS04 Frhs2[899]: 6 -0.30905 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[919]: 6 0 0.0359942 shouldn't be
689.08/695.43 WSVECS04 Frhs2[939]: 6 -0.593501 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[1021]: 6 -0.2425 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[1168]: 6 -0.125654 0 shouldn't be
689.08/695.43 WSVECS04 Frhs2[1172]: 6 -0.39465 0 shouldn't be
697.46/703.85 WSVECS04 Frhs2[193]: 6 0 0.0679926 shouldn't be
697.46/703.85 WSVECS04 Frhs2[328]: 6 0 0.275542 shouldn't be
697.46/703.85 WSVECS04 Frhs2[437]: 6 -0.0399755 0 shouldn't be
697.46/703.85 WSVECS04 Frhs2[479]: 6 0 0.204201 shouldn't be
697.46/703.85 WSVECS04 Frhs2[528]: 6 -1.1486 0 shouldn't be
697.46/703.85 WSVECS04 Frhs2[640]: 6 -0.130561 0 shouldn't be
723.48/729.95 c #Conflicts: 829000 | #Constraints: 111225
723.48/729.95 c #Conflicts: 830000 | #Constraints: 112225
723.48/729.95 c #Conflicts: 831000 | #Constraints: 113225
723.48/729.95 c #Conflicts: 832000 | #Constraints: 114225
723.48/729.95 c #Conflicts: 833000 | #Constraints: 115225
723.48/729.95 c #Conflicts: 834000 | #Constraints: 116225
723.48/729.95 c #Conflicts: 835000 | #Constraints: 117225
723.48/729.95 c #Conflicts: 836000 | #Constraints: 118225
723.48/729.95 c #Conflicts: 837000 | #Constraints: 119225
723.48/729.95 c #Conflicts: 838000 | #Constraints: 120225
723.48/729.95 c #Conflicts: 839000 | #Constraints: 121225
723.48/729.95 c #Conflicts: 840000 | #Constraints: 122225
723.48/729.95 c #Conflicts: 841000 | #Constraints: 123225
723.48/729.95 c #Conflicts: 842000 | #Constraints: 124225
723.48/729.95 c #Conflicts: 843000 | #Constraints: 125225
723.48/729.95 c #Conflicts: 844000 | #Constraints: 126225
723.48/729.95 c #Conflicts: 845000 | #Constraints: 127225
723.48/729.95 c #Conflicts: 846000 | #Constraints: 128225
723.48/729.95 c INPROCESSING
723.48/729.95 c GARBAGE COLLECT
723.48/729.95 c #Conflicts: 847000 | #Constraints: 111018
723.48/729.95 c #Conflicts: 848000 | #Constraints: 112018
723.48/729.95 c #Conflicts: 849000 | #Constraints: 113018
723.48/729.95 c #Conflicts: 850000 | #Constraints: 114018
723.48/729.95 c #Conflicts: 851000 | #Constraints: 115018
723.48/729.95 c #Conflicts: 852000 | #Constraints: 116018
723.48/729.95 c #Conflicts: 853000 | #Constraints: 117018
723.48/729.95 c #Conflicts: 854000 | #Constraints: 118018
723.48/729.95 c #Conflicts: 855000 | #Constraints: 119018
723.48/729.95 c #Conflicts: 856000 | #Constraints: 120018
723.48/729.95 c #Conflicts: 857000 | #Constraints: 121018
723.48/729.95 c #Conflicts: 858000 | #Constraints: 122018
723.48/729.95 c #Conflicts: 859000 | #Constraints: 123018
723.48/729.95 c #Conflicts: 860000 | #Constraints: 124018
723.48/729.95 c #Conflicts: 861000 | #Constraints: 125018
723.48/729.95 c #Conflicts: 862000 | #Constraints: 126018
723.48/729.95 c #Conflicts: 863000 | #Constraints: 127018
723.48/729.95 c #Conflicts: 864000 | #Constraints: 128018
723.48/729.95 c #Conflicts: 865000 | #Constraints: 129018
723.48/729.95 c INPROCESSING
723.48/729.95 c GARBAGE COLLECT
723.48/729.95 c #Conflicts: 866000 | #Constraints: 111623
723.48/729.95 c #Conflicts: 867000 | #Constraints: 112623
723.48/729.95 c #Conflicts: 868000 | #Constraints: 113623
723.48/729.95 c #Conflicts: 869000 | #Constraints: 114623
723.48/729.95 c #Conflicts: 870000 | #Constraints: 115623
723.48/729.95 c #Conflicts: 871000 | #Constraints: 116623
723.48/729.95 c #Conflicts: 872000 | #Constraints: 117623
723.48/729.95 c #Conflicts: 873000 | #Constraints: 118623
723.48/729.95 c #Conflicts: 874000 | #Constraints: 119623
723.48/729.95 c #Conflicts: 875000 | #Constraints: 120623
723.48/729.95 c #Conflicts: 876000 | #Constraints: 121623
723.48/729.95 c #Conflicts: 877000 | #Constraints: 122623
723.48/729.95 c #Conflicts: 878000 | #Constraints: 123623
723.48/729.95 c #Conflicts: 879000 | #Constraints: 124623
723.48/729.95 c #Conflicts: 880000 | #Constraints: 125623
723.48/729.95 c #Conflicts: 881000 | #Constraints: 126623
723.48/729.95 c #Conflicts: 882000 | #Constraints: 127623
723.48/729.95 c #Conflicts: 883000 | #Constraints: 128623
723.48/729.95 c #Conflicts: 884000 | #Constraints: 129623
723.48/729.95 c INPROCESSING
723.48/729.95 c GARBAGE COLLECT
723.48/729.95 c #Conflicts: 885000 | #Constraints: 112028
723.48/729.95 c #Conflicts: 886000 | #Constraints: 113028
723.48/729.95 c #Conflicts: 887000 | #Constraints: 114028
723.48/729.95 c #Conflicts: 888000 | #Constraints: 115028
723.48/729.95 c #Conflicts: 889000 | #Constraints: 116028
723.48/729.95 c #Conflicts: 890000 | #Constraints: 117028
723.48/729.95 c #Conflicts: 891000 | #Constraints: 118028
723.48/729.95 c #Conflicts: 892000 | #Constraints: 119028
723.48/729.95 c #Conflicts: 893000 | #Constraints: 120028
723.48/729.95 c #Conflicts: 894000 | #Constraints: 121028
723.48/729.95 c #Conflicts: 895000 | #Constraints: 122028
723.48/729.95 c #Conflicts: 896000 | #Constraints: 123028
723.48/729.95 c #Conflicts: 897000 | #Constraints: 124028
723.48/729.95 c #Conflicts: 898000 | #Constraints: 125028
723.48/729.95 c #Conflicts: 899000 | #Constraints: 126028
723.48/729.95 c #Conflicts: 900000 | #Constraints: 127028
723.48/729.95 c #Conflicts: 901000 | #Constraints: 128028
723.48/729.95 c #Conflicts: 902000 | #Constraints: 129028
723.48/729.95 c #Conflicts: 903000 | #Constraints: 130028
723.48/729.95 c INPROCESSING
723.48/729.95 c GARBAGE COLLECT
723.48/729.95 c #Conflicts: 904000 | #Constraints: 112223
723.48/729.95 c #Conflicts: 905000 | #Constraints: 113223
740.82/747.34 c #Conflicts: 906000 | #Constraints: 114223
740.82/747.34 c #Conflicts: 907000 | #Constraints: 115223
740.82/747.34 c #Conflicts: 908000 | #Constraints: 116223
740.82/747.34 c #Conflicts: 909000 | #Constraints: 117223
740.82/747.34 c #Conflicts: 910000 | #Constraints: 118223
740.82/747.34 c #Conflicts: 911000 | #Constraints: 119223
740.82/747.34 c #Conflicts: 912000 | #Constraints: 120223
740.82/747.34 c #Conflicts: 913000 | #Constraints: 121223
740.82/747.34 c #Conflicts: 914000 | #Constraints: 122223
740.82/747.34 c #Conflicts: 915000 | #Constraints: 123223
740.82/747.34 c #Conflicts: 916000 | #Constraints: 124223
740.82/747.34 c #Conflicts: 917000 | #Constraints: 125223
740.82/747.34 c #Conflicts: 918000 | #Constraints: 126223
740.82/747.34 c #Conflicts: 919000 | #Constraints: 127223
740.82/747.34 c #Conflicts: 920000 | #Constraints: 128223
740.82/747.34 c #Conflicts: 921000 | #Constraints: 129223
740.82/747.34 c #Conflicts: 922000 | #Constraints: 130223
740.82/747.34 c INPROCESSING
740.82/747.34 c GARBAGE COLLECT
740.82/747.34 c #Conflicts: 923000 | #Constraints: 112223
740.82/747.34 c #Conflicts: 924000 | #Constraints: 113223
740.82/747.34 c #Conflicts: 925000 | #Constraints: 114223
740.82/747.34 c #Conflicts: 926000 | #Constraints: 115223
740.82/747.34 c #Conflicts: 927000 | #Constraints: 116223
740.82/747.34 c #Conflicts: 928000 | #Constraints: 117223
740.82/747.34 c #Conflicts: 929000 | #Constraints: 118223
740.82/747.34 c #Conflicts: 930000 | #Constraints: 119223
740.82/747.34 c #Conflicts: 931000 | #Constraints: 120223
740.82/747.34 c #Conflicts: 932000 | #Constraints: 121223
740.82/747.34 c #Conflicts: 933000 | #Constraints: 122223
740.82/747.34 c #Conflicts: 934000 | #Constraints: 123223
740.82/747.34 c #Conflicts: 935000 | #Constraints: 124223
740.82/747.34 c #Conflicts: 936000 | #Constraints: 125223
740.82/747.34 c #Conflicts: 937000 | #Constraints: 126223
740.82/747.34 c #Conflicts: 938000 | #Constraints: 127223
740.82/747.34 c #Conflicts: 939000 | #Constraints: 128223
740.82/747.34 c #Conflicts: 940000 | #Constraints: 129223
740.82/747.34 c #Conflicts: 941000 | #Constraints: 130223
740.82/747.34 c INPROCESSING
740.82/747.34 c GARBAGE COLLECT
740.82/747.34 c #Conflicts: 942000 | #Constraints: 112040
740.82/747.34 c #Conflicts: 943000 | #Constraints: 113040
740.82/747.34 c #Conflicts: 944000 | #Constraints: 114040
740.82/747.34 c #Conflicts: 945000 | #Constraints: 115040
740.82/747.34 c #Conflicts: 946000 | #Constraints: 116040
740.82/747.34 c #Conflicts: 947000 | #Constraints: 117040
740.82/747.34 c #Conflicts: 948000 | #Constraints: 118040
740.82/747.34 c #Conflicts: 949000 | #Constraints: 119040
740.82/747.34 c #Conflicts: 950000 | #Constraints: 120040
740.82/747.34 c #Conflicts: 951000 | #Constraints: 121040
740.82/747.34 c #Conflicts: 952000 | #Constraints: 122040
740.82/747.34 c #Conflicts: 953000 | #Constraints: 123040
740.82/747.34 c #Conflicts: 954000 | #Constraints: 124040
740.82/747.34 c #Conflicts: 955000 | #Constraints: 125040
740.82/747.34 c #Conflicts: 956000 | #Constraints: 126040
740.82/747.34 c #Conflicts: 957000 | #Constraints: 127040
740.82/747.34 c #Conflicts: 958000 | #Constraints: 128040
740.82/747.34 c #Conflicts: 959000 | #Constraints: 129040
740.82/747.34 c #Conflicts: 960000 | #Constraints: 130040
740.82/747.34 c #Conflicts: 961000 | #Constraints: 131040
740.82/747.34 c INPROCESSING
740.82/747.34 c GARBAGE COLLECT
740.82/747.34 c #Conflicts: 962000 | #Constraints: 112648
740.82/747.34 c #Conflicts: 963000 | #Constraints: 113648
740.82/747.34 c #Conflicts: 964000 | #Constraints: 114648
740.82/747.34 c #Conflicts: 965000 | #Constraints: 115648
740.82/747.34 c #Conflicts: 966000 | #Constraints: 116648
740.82/747.34 c #Conflicts: 967000 | #Constraints: 117648
740.82/747.34 c #Conflicts: 968000 | #Constraints: 118648
740.82/747.34 c #Conflicts: 969000 | #Constraints: 119648
740.82/747.34 c #Conflicts: 970000 | #Constraints: 120648
740.82/747.34 c #Conflicts: 971000 | #Constraints: 121648
740.82/747.34 c #Conflicts: 972000 | #Constraints: 122648
740.82/747.34 c #Conflicts: 973000 | #Constraints: 123648
740.82/747.34 c #Conflicts: 974000 | #Constraints: 124648
740.82/747.34 c #Conflicts: 975000 | #Constraints: 125648
740.82/747.34 c #Conflicts: 976000 | #Constraints: 126648
740.82/747.34 c #Conflicts: 977000 | #Constraints: 127648
740.82/747.34 c #Conflicts: 978000 | #Constraints: 128648
740.82/747.34 c #Conflicts: 979000 | #Constraints: 129648
740.82/747.34 c #Conflicts: 980000 | #Constraints: 130648
740.82/747.34 c #Conflicts: 981000 | #Constraints: 131648
740.82/747.34 c INPROCESSING
761.75/768.34 c GARBAGE COLLECT
761.75/768.34 c #Conflicts: 982000 | #Constraints: 113048
761.75/768.34 c #Conflicts: 983000 | #Constraints: 114048
761.75/768.34 c #Conflicts: 984000 | #Constraints: 115048
761.75/768.34 c #Conflicts: 985000 | #Constraints: 116048
761.75/768.34 c #Conflicts: 986000 | #Constraints: 117048
761.75/768.34 c #Conflicts: 987000 | #Constraints: 118048
761.75/768.34 c #Conflicts: 988000 | #Constraints: 119048
761.75/768.34 c #Conflicts: 989000 | #Constraints: 120048
761.75/768.34 c #Conflicts: 990000 | #Constraints: 121048
761.75/768.34 c #Conflicts: 991000 | #Constraints: 122048
761.75/768.34 c #Conflicts: 992000 | #Constraints: 123048
761.75/768.34 c #Conflicts: 993000 | #Constraints: 124048
761.75/768.34 c #Conflicts: 994000 | #Constraints: 125048
761.75/768.34 c #Conflicts: 995000 | #Constraints: 126048
761.75/768.34 c #Conflicts: 996000 | #Constraints: 127048
761.75/768.34 c #Conflicts: 997000 | #Constraints: 128048
761.75/768.34 c #Conflicts: 998000 | #Constraints: 129048
761.75/768.34 c #Conflicts: 999000 | #Constraints: 130048
761.75/768.34 c #Conflicts: 1000000 | #Constraints: 131048
761.75/768.34 c #Conflicts: 1001000 | #Constraints: 132048
761.75/768.34 c INPROCESSING
761.75/768.34 c GARBAGE COLLECT
761.75/768.34 c #Conflicts: 1002000 | #Constraints: 113246
761.75/768.34 c #Conflicts: 1003000 | #Constraints: 114246
761.75/768.34 c #Conflicts: 1004000 | #Constraints: 115246
761.75/768.34 c #Conflicts: 1005000 | #Constraints: 116246
761.75/768.34 c #Conflicts: 1006000 | #Constraints: 117246
761.75/768.34 c #Conflicts: 1007000 | #Constraints: 118246
761.75/768.34 c #Conflicts: 1008000 | #Constraints: 119246
761.75/768.34 c #Conflicts: 1009000 | #Constraints: 120246
761.75/768.34 c #Conflicts: 1010000 | #Constraints: 121246
761.75/768.34 c #Conflicts: 1011000 | #Constraints: 122246
761.75/768.34 c #Conflicts: 1012000 | #Constraints: 123246
761.75/768.34 c #Conflicts: 1013000 | #Constraints: 124246
761.75/768.34 c #Conflicts: 1014000 | #Constraints: 125246
761.75/768.34 c #Conflicts: 1015000 | #Constraints: 126246
761.75/768.34 c #Conflicts: 1016000 | #Constraints: 127246
761.75/768.34 c #Conflicts: 1017000 | #Constraints: 128246
761.75/768.34 c #Conflicts: 1018000 | #Constraints: 129246
761.75/768.34 c #Conflicts: 1019000 | #Constraints: 130246
761.75/768.34 c #Conflicts: 1020000 | #Constraints: 131246
761.75/768.34 c #Conflicts: 1021000 | #Constraints: 132246
761.75/768.34 c INPROCESSING
761.75/768.34 c GARBAGE COLLECT
761.75/768.34 c #Conflicts: 1022000 | #Constraints: 113254
761.75/768.34 c #Conflicts: 1023000 | #Constraints: 114254
761.75/768.34 c #Conflicts: 1024000 | #Constraints: 115254
761.75/768.34 c #Conflicts: 1025000 | #Constraints: 116254
761.75/768.34 c #Conflicts: 1026000 | #Constraints: 117254
761.75/768.34 c #Conflicts: 1027000 | #Constraints: 118254
761.75/768.34 c #Conflicts: 1028000 | #Constraints: 119254
761.75/768.34 c #Conflicts: 1029000 | #Constraints: 120254
761.75/768.34 c #Conflicts: 1030000 | #Constraints: 121254
761.75/768.34 c #Conflicts: 1031000 | #Constraints: 122254
761.75/768.34 c #Conflicts: 1032000 | #Constraints: 123254
761.75/768.34 c #Conflicts: 1033000 | #Constraints: 124254
761.75/768.34 c #Conflicts: 1034000 | #Constraints: 125254
761.75/768.34 c #Conflicts: 1035000 | #Constraints: 126254
761.75/768.34 c #Conflicts: 1036000 | #Constraints: 127254
761.75/768.34 c #Conflicts: 1037000 | #Constraints: 128254
761.75/768.34 c #Conflicts: 1038000 | #Constraints: 129254
761.75/768.34 c #Conflicts: 1039000 | #Constraints: 130254
761.75/768.34 c #Conflicts: 1040000 | #Constraints: 131254
761.75/768.34 c #Conflicts: 1041000 | #Constraints: 132254
761.75/768.34 c INPROCESSING
761.75/768.34 c GARBAGE COLLECT
761.75/768.34 c #Conflicts: 1042000 | #Constraints: 113050
761.75/768.34 c #Conflicts: 1043000 | #Constraints: 114050
761.75/768.34 c #Conflicts: 1044000 | #Constraints: 115050
761.75/768.34 c #Conflicts: 1045000 | #Constraints: 116050
761.75/768.34 c #Conflicts: 1046000 | #Constraints: 117050
761.75/768.34 c #Conflicts: 1047000 | #Constraints: 118050
761.75/768.34 c #Conflicts: 1048000 | #Constraints: 119050
761.75/768.34 c #Conflicts: 1049000 | #Constraints: 120050
761.75/768.34 c #Conflicts: 1050000 | #Constraints: 121050
761.75/768.34 c #Conflicts: 1051000 | #Constraints: 122050
761.75/768.34 c #Conflicts: 1052000 | #Constraints: 123050
761.75/768.34 c #Conflicts: 1053000 | #Constraints: 124050
761.75/768.34 c #Conflicts: 1054000 | #Constraints: 125050
761.75/768.34 c #Conflicts: 1055000 | #Constraints: 126050
761.75/768.34 c #Conflicts: 1056000 | #Constraints: 127050
761.75/768.34 c #Conflicts: 1057000 | #Constraints: 128050
761.75/768.34 c #Conflicts: 1058000 | #Constraints: 129050
778.79/785.44 c #Conflicts: 1059000 | #Constraints: 130050
778.79/785.44 c #Conflicts: 1060000 | #Constraints: 131050
778.79/785.44 c #Conflicts: 1061000 | #Constraints: 132050
778.79/785.44 c #Conflicts: 1062000 | #Constraints: 133051
778.79/785.44 c INPROCESSING
778.79/785.44 c GARBAGE COLLECT
778.79/785.44 c #Conflicts: 1063000 | #Constraints: 113656
778.79/785.44 c #Conflicts: 1064000 | #Constraints: 114656
778.79/785.44 c #Conflicts: 1065000 | #Constraints: 115656
778.79/785.44 c #Conflicts: 1066000 | #Constraints: 116656
778.79/785.44 c #Conflicts: 1067000 | #Constraints: 117656
778.79/785.44 c #Conflicts: 1068000 | #Constraints: 118656
778.79/785.44 c #Conflicts: 1069000 | #Constraints: 119656
778.79/785.44 c #Conflicts: 1070000 | #Constraints: 120656
778.79/785.44 c #Conflicts: 1071000 | #Constraints: 121656
778.79/785.44 c #Conflicts: 1072000 | #Constraints: 122656
778.79/785.44 c #Conflicts: 1073000 | #Constraints: 123656
778.79/785.44 c #Conflicts: 1074000 | #Constraints: 124656
778.79/785.44 c #Conflicts: 1075000 | #Constraints: 125656
778.79/785.44 c #Conflicts: 1076000 | #Constraints: 126656
778.79/785.44 c #Conflicts: 1077000 | #Constraints: 127656
778.79/785.44 c #Conflicts: 1078000 | #Constraints: 128656
778.79/785.44 c #Conflicts: 1079000 | #Constraints: 129656
778.79/785.44 c #Conflicts: 1080000 | #Constraints: 130656
778.79/785.44 c #Conflicts: 1081000 | #Constraints: 131656
778.79/785.44 c #Conflicts: 1082000 | #Constraints: 132656
778.79/785.44 WSVECS04 Frhs2[40]: 6 0 172.381 shouldn't be
778.79/785.44 WSVECS04 Frhs2[73]: 6 0 2.10998 shouldn't be
778.79/785.44 WSVECS04 Frhs2[115]: 6 0 0.103808 shouldn't be
778.79/785.44 WSVECS04 Frhs2[135]: 6 0 0.864995 shouldn't be
778.79/785.44 WSVECS04 Frhs2[149]: 6 0 14.8373 shouldn't be
778.79/785.44 WSVECS04 Frhs2[173]: 6 0 21.3578 shouldn't be
778.79/785.44 WSVECS04 Frhs2[179]: 6 0 12.728 shouldn't be
778.79/785.44 WSVECS04 Frhs2[180]: 6 0 13.4328 shouldn't be
778.79/785.44 WSVECS04 Frhs2[197]: 6 0 27.7599 shouldn't be
778.79/785.44 WSVECS04 Frhs2[205]: 6 0 1.75018 shouldn't be
778.79/785.44 WSVECS04 Frhs2[207]: 6 0 9.41769 shouldn't be
778.79/785.44 WSVECS04 Frhs2[210]: 6 0 11.2264 shouldn't be
778.79/785.44 WSVECS04 Frhs2[218]: 6 0 9.63448 shouldn't be
778.79/785.44 WSVECS04 Frhs2[237]: 6 0 0.601045 shouldn't be
778.79/785.44 WSVECS04 Frhs2[242]: 6 0 6.85711 shouldn't be
778.79/785.44 WSVECS04 Frhs2[260]: 6 0 259.782 shouldn't be
778.79/785.44 WSVECS04 Frhs2[262]: 6 0 7.4048 shouldn't be
778.79/785.44 WSVECS04 Frhs2[269]: 6 0 14.2429 shouldn't be
778.79/785.44 WSVECS04 Frhs2[284]: 6 0 2.55179 shouldn't be
778.79/785.44 WSVECS04 Frhs2[287]: 6 0 0.262745 shouldn't be
778.79/785.44 WSVECS04 Frhs2[298]: 6 0 15.8011 shouldn't be
778.79/785.44 WSVECS04 Frhs2[328]: 6 0 25.9881 shouldn't be
778.79/785.44 WSVECS04 Frhs2[374]: 6 0 0.34083 shouldn't be
778.79/785.44 WSVECS04 Frhs2[388]: 6 -43.9524 0 shouldn't be
778.79/785.44 WSVECS04 Frhs2[400]: 6 0 106.355 shouldn't be
778.79/785.44 WSVECS04 Frhs2[560]: 6 0 0.941831 shouldn't be
778.79/785.44 WSVECS04 Frhs2[668]: 6 0 139.651 shouldn't be
778.79/785.44 WSVECS04 Frhs2[692]: 6 0 39.2596 shouldn't be
778.79/785.44 WSVECS04 Frhs2[748]: 6 -48.1428 0 shouldn't be
778.79/785.44 WSVECS04 Frhs2[749]: 6 0 5.39224 shouldn't be
778.79/785.44 WSVECS04 Frhs2[843]: 6 0 8.48734 shouldn't be
778.79/785.44 WSVECS04 Frhs2[937]: 6 0 11.5531 shouldn't be
778.79/785.44 WSVECS04 Frhs2[947]: 6 0 24.7329 shouldn't be
778.79/785.44 WSVECS04 Frhs2[953]: 6 -7.34742 0 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1037]: 6 -4.28353 0 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1040]: 6 0 255.746 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1060]: 6 0 115.336 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1071]: 6 0 15.1755 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1076]: 6 -157.502 0 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1086]: 6 0 4.04655 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1099]: 6 0 0.118598 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1102]: 6 0 7.46925 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1107]: 6 0 16.9432 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1112]: 6 0 171.596 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1121]: 6 0 14.1339 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1160]: 6 0 0.118589 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1177]: 6 0 0.153827 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1186]: 6 0 0.237045 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1190]: 6 0 0.941872 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1192]: 6 0 200.842 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1203]: 6 0 15.1755 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1241]: 6 0 0.118558 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1246]: 6 0 0.941879 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1260]: 6 0 11.5075 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1293]: 6 0 1.5446 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1303]: 6 0 47.7687 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1309]: 6 0 1.05539 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1329]: 6 0 1.78165 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1376]: 6 0 121.684 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1385]: 6 0 14.1338 shouldn't be
778.79/785.44 WSVECS04 Frhs2[1409]: 6 0 0.222355 shouldn't be
784.77/791.41 WSVECS04 Frhs2[153]: 6 0 2.28199 shouldn't be
784.77/791.41 WSVECS04 Frhs2[265]: 6 0 0.262828 shouldn't be
784.77/791.41 WSVECS04 Frhs2[841]: 6 0 11.1801 shouldn't be
784.77/791.41 WSVECS04 Frhs2[1317]: 6 0 1.78162 shouldn't be
791.54/798.29 WSVECS04 Frhs2[1180]: 6 0 0.153893 shouldn't be
797.93/804.63 WSVECS04 Frhs2[1248]: 6 0 258.631 shouldn't be
826.04/832.87 c #Conflicts: 1083000 | #Constraints: 133656
826.04/832.87 c INPROCESSING
826.04/832.87 c GARBAGE COLLECT
826.04/832.87 c #Conflicts: 1084000 | #Constraints: 114066
826.04/832.87 c #Conflicts: 1085000 | #Constraints: 115066
826.04/832.87 c #Conflicts: 1086000 | #Constraints: 116066
826.04/832.87 c #Conflicts: 1087000 | #Constraints: 117066
826.04/832.87 c #Conflicts: 1088000 | #Constraints: 118066
826.04/832.87 c #Conflicts: 1089000 | #Constraints: 119066
826.04/832.87 c #Conflicts: 1090000 | #Constraints: 120066
826.04/832.87 c #Conflicts: 1091000 | #Constraints: 121066
826.04/832.87 c #Conflicts: 1092000 | #Constraints: 122066
826.04/832.87 c #Conflicts: 1093000 | #Constraints: 123066
826.04/832.87 c #Conflicts: 1094000 | #Constraints: 124066
826.04/832.87 c #Conflicts: 1095000 | #Constraints: 125066
826.04/832.87 c #Conflicts: 1096000 | #Constraints: 126066
826.04/832.87 c #Conflicts: 1097000 | #Constraints: 127066
826.04/832.87 c #Conflicts: 1098000 | #Constraints: 128066
826.04/832.87 c #Conflicts: 1099000 | #Constraints: 129066
826.04/832.87 c #Conflicts: 1100000 | #Constraints: 130066
826.04/832.87 c #Conflicts: 1101000 | #Constraints: 131066
826.04/832.87 c #Conflicts: 1102000 | #Constraints: 132066
826.04/832.87 c #Conflicts: 1103000 | #Constraints: 133066
826.04/832.87 c #Conflicts: 1104000 | #Constraints: 134066
826.04/832.87 c INPROCESSING
826.04/832.87 c GARBAGE COLLECT
826.04/832.87 c #Conflicts: 1105000 | #Constraints: 114266
826.04/832.87 c #Conflicts: 1106000 | #Constraints: 115266
826.04/832.87 c #Conflicts: 1107000 | #Constraints: 116266
826.04/832.87 c #Conflicts: 1108000 | #Constraints: 117266
826.04/832.87 c #Conflicts: 1109000 | #Constraints: 118266
826.04/832.87 c #Conflicts: 1110000 | #Constraints: 119266
826.04/832.87 c #Conflicts: 1111000 | #Constraints: 120266
826.04/832.87 c #Conflicts: 1112000 | #Constraints: 121266
826.04/832.87 c #Conflicts: 1113000 | #Constraints: 122266
826.04/832.87 c #Conflicts: 1114000 | #Constraints: 123266
826.04/832.87 c #Conflicts: 1115000 | #Constraints: 124266
826.04/832.87 c #Conflicts: 1116000 | #Constraints: 125266
826.04/832.87 c #Conflicts: 1117000 | #Constraints: 126266
826.04/832.87 c #Conflicts: 1118000 | #Constraints: 127266
826.04/832.87 c #Conflicts: 1119000 | #Constraints: 128266
826.04/832.87 c #Conflicts: 1120000 | #Constraints: 129266
826.04/832.87 c #Conflicts: 1121000 | #Constraints: 130266
826.04/832.87 c #Conflicts: 1122000 | #Constraints: 131266
826.04/832.87 c #Conflicts: 1123000 | #Constraints: 132266
826.04/832.87 c #Conflicts: 1124000 | #Constraints: 133266
826.04/832.87 c #Conflicts: 1125000 | #Constraints: 134266
826.04/832.87 c INPROCESSING
826.04/832.87 c GARBAGE COLLECT
826.04/832.87 c #Conflicts: 1126000 | #Constraints: 114266
826.04/832.87 c #Conflicts: 1127000 | #Constraints: 115266
826.04/832.87 c #Conflicts: 1128000 | #Constraints: 116266
826.04/832.87 c #Conflicts: 1129000 | #Constraints: 117266
826.04/832.87 c #Conflicts: 1130000 | #Constraints: 118266
826.04/832.87 c #Conflicts: 1131000 | #Constraints: 119266
826.04/832.87 c #Conflicts: 1132000 | #Constraints: 120266
826.04/832.87 c #Conflicts: 1133000 | #Constraints: 121266
826.04/832.87 c #Conflicts: 1134000 | #Constraints: 122266
826.04/832.87 c #Conflicts: 1135000 | #Constraints: 123266
826.04/832.87 c #Conflicts: 1136000 | #Constraints: 124266
826.04/832.87 c #Conflicts: 1137000 | #Constraints: 125266
826.04/832.87 c #Conflicts: 1138000 | #Constraints: 126266
826.04/832.87 c #Conflicts: 1139000 | #Constraints: 127266
826.04/832.87 c #Conflicts: 1140000 | #Constraints: 128266
826.04/832.87 c #Conflicts: 1141000 | #Constraints: 129266
826.04/832.87 c #Conflicts: 1142000 | #Constraints: 130266
826.04/832.87 c #Conflicts: 1143000 | #Constraints: 131266
826.04/832.87 c #Conflicts: 1144000 | #Constraints: 132266
826.04/832.87 c #Conflicts: 1145000 | #Constraints: 133266
826.04/832.87 c #Conflicts: 1146000 | #Constraints: 134266
826.04/832.87 c INPROCESSING
826.04/832.87 c GARBAGE COLLECT
826.04/832.87 c rational objective 361
846.82/853.72 c #Conflicts: 1147000 | #Constraints: 114053
846.82/853.72 c #Conflicts: 1148000 | #Constraints: 115053
846.82/853.72 c #Conflicts: 1149000 | #Constraints: 116053
846.82/853.72 c #Conflicts: 1150000 | #Constraints: 117053
846.82/853.72 c #Conflicts: 1151000 | #Constraints: 118053
846.82/853.72 c #Conflicts: 1152000 | #Constraints: 119053
846.82/853.72 c #Conflicts: 1153000 | #Constraints: 120053
846.82/853.72 c #Conflicts: 1154000 | #Constraints: 121053
846.82/853.72 c #Conflicts: 1155000 | #Constraints: 122053
846.82/853.72 c #Conflicts: 1156000 | #Constraints: 123053
846.82/853.72 c #Conflicts: 1157000 | #Constraints: 124053
846.82/853.72 c #Conflicts: 1158000 | #Constraints: 125053
846.82/853.72 c #Conflicts: 1159000 | #Constraints: 126053
846.82/853.72 c #Conflicts: 1160000 | #Constraints: 127053
846.82/853.72 c #Conflicts: 1161000 | #Constraints: 128053
846.82/853.72 c #Conflicts: 1162000 | #Constraints: 129053
846.82/853.72 c #Conflicts: 1163000 | #Constraints: 130053
846.82/853.72 c #Conflicts: 1164000 | #Constraints: 131053
846.82/853.72 c #Conflicts: 1165000 | #Constraints: 132053
846.82/853.72 c #Conflicts: 1166000 | #Constraints: 133053
846.82/853.72 c #Conflicts: 1167000 | #Constraints: 134053
846.82/853.72 c #Conflicts: 1168000 | #Constraints: 135053
846.82/853.72 c INPROCESSING
846.82/853.72 c GARBAGE COLLECT
846.82/853.72 c #Conflicts: 1169000 | #Constraints: 114644
846.82/853.72 c #Conflicts: 1170000 | #Constraints: 115644
846.82/853.72 c #Conflicts: 1171000 | #Constraints: 116644
846.82/853.72 c #Conflicts: 1172000 | #Constraints: 117644
846.82/853.72 c #Conflicts: 1173000 | #Constraints: 118644
846.82/853.72 c #Conflicts: 1174000 | #Constraints: 119644
846.82/853.72 c #Conflicts: 1175000 | #Constraints: 120644
846.82/853.72 c #Conflicts: 1176000 | #Constraints: 121644
846.82/853.72 c #Conflicts: 1177000 | #Constraints: 122644
846.82/853.72 c #Conflicts: 1178000 | #Constraints: 123644
846.82/853.72 c #Conflicts: 1179000 | #Constraints: 124644
846.82/853.72 c #Conflicts: 1180000 | #Constraints: 125644
846.82/853.72 c #Conflicts: 1181000 | #Constraints: 126644
846.82/853.72 c #Conflicts: 1182000 | #Constraints: 127644
846.82/853.72 c #Conflicts: 1183000 | #Constraints: 128644
846.82/853.72 c #Conflicts: 1184000 | #Constraints: 129644
846.82/853.72 c #Conflicts: 1185000 | #Constraints: 130644
846.82/853.72 c #Conflicts: 1186000 | #Constraints: 131644
846.82/853.72 c #Conflicts: 1187000 | #Constraints: 132644
846.82/853.72 c #Conflicts: 1188000 | #Constraints: 133644
846.82/853.72 c #Conflicts: 1189000 | #Constraints: 134644
846.82/853.72 c #Conflicts: 1190000 | #Constraints: 135644
846.82/853.72 c INPROCESSING
846.82/853.72 c GARBAGE COLLECT
846.82/853.72 c #Conflicts: 1191000 | #Constraints: 115041
846.82/853.72 c #Conflicts: 1192000 | #Constraints: 116041
846.82/853.72 c #Conflicts: 1193000 | #Constraints: 117041
846.82/853.72 c #Conflicts: 1194000 | #Constraints: 118041
846.82/853.72 c #Conflicts: 1195000 | #Constraints: 119041
846.82/853.72 c #Conflicts: 1196000 | #Constraints: 120041
846.82/853.72 c #Conflicts: 1197000 | #Constraints: 121041
846.82/853.72 c #Conflicts: 1198000 | #Constraints: 122041
846.82/853.72 c #Conflicts: 1199000 | #Constraints: 123041
846.82/853.72 c #Conflicts: 1200000 | #Constraints: 124041
846.82/853.72 c #Conflicts: 1201000 | #Constraints: 125041
846.82/853.72 c #Conflicts: 1202000 | #Constraints: 126041
846.82/853.72 c #Conflicts: 1203000 | #Constraints: 127041
846.82/853.72 c #Conflicts: 1204000 | #Constraints: 128041
846.82/853.72 c #Conflicts: 1205000 | #Constraints: 129041
846.82/853.72 c #Conflicts: 1206000 | #Constraints: 130041
846.82/853.72 c #Conflicts: 1207000 | #Constraints: 131041
846.82/853.72 c #Conflicts: 1208000 | #Constraints: 132041
846.82/853.72 c #Conflicts: 1209000 | #Constraints: 133041
846.82/853.72 c #Conflicts: 1210000 | #Constraints: 134041
846.82/853.72 c #Conflicts: 1211000 | #Constraints: 135041
846.82/853.72 c #Conflicts: 1212000 | #Constraints: 136041
846.82/853.72 c INPROCESSING
846.82/853.72 c GARBAGE COLLECT
846.82/853.72 c rational objective 361
904.83/911.93 c #Conflicts: 1213000 | #Constraints: 115239
904.83/911.93 c #Conflicts: 1214000 | #Constraints: 116239
904.83/911.93 c #Conflicts: 1215000 | #Constraints: 117239
904.83/911.93 c #Conflicts: 1216000 | #Constraints: 118239
904.83/911.93 c #Conflicts: 1217000 | #Constraints: 119239
904.83/911.93 c #Conflicts: 1218000 | #Constraints: 120239
904.83/911.93 c #Conflicts: 1219000 | #Constraints: 121239
904.83/911.93 c #Conflicts: 1220000 | #Constraints: 122239
904.83/911.93 c #Conflicts: 1221000 | #Constraints: 123239
904.83/911.93 c #Conflicts: 1222000 | #Constraints: 124239
904.83/911.93 c #Conflicts: 1223000 | #Constraints: 125239
904.83/911.93 c #Conflicts: 1224000 | #Constraints: 126239
904.83/911.93 c #Conflicts: 1225000 | #Constraints: 127239
904.83/911.93 c #Conflicts: 1226000 | #Constraints: 128239
904.83/911.93 c #Conflicts: 1227000 | #Constraints: 129239
904.83/911.93 c #Conflicts: 1228000 | #Constraints: 130239
904.83/911.93 c #Conflicts: 1229000 | #Constraints: 131239
904.83/911.93 c #Conflicts: 1230000 | #Constraints: 132239
904.83/911.93 c #Conflicts: 1231000 | #Constraints: 133239
904.83/911.93 c #Conflicts: 1232000 | #Constraints: 134239
904.83/911.93 c #Conflicts: 1233000 | #Constraints: 135239
904.83/911.93 c #Conflicts: 1234000 | #Constraints: 136239
904.83/911.93 c INPROCESSING
904.83/911.93 c GARBAGE COLLECT
904.83/911.93 c #Conflicts: 1235000 | #Constraints: 115228
904.83/911.93 c #Conflicts: 1236000 | #Constraints: 116228
904.83/911.93 c #Conflicts: 1237000 | #Constraints: 117228
904.83/911.93 c #Conflicts: 1238000 | #Constraints: 118228
904.83/911.93 c #Conflicts: 1239000 | #Constraints: 119228
904.83/911.93 c #Conflicts: 1240000 | #Constraints: 120228
904.83/911.93 c #Conflicts: 1241000 | #Constraints: 121228
904.83/911.93 c #Conflicts: 1242000 | #Constraints: 122228
904.83/911.93 c #Conflicts: 1243000 | #Constraints: 123228
904.83/911.93 c #Conflicts: 1244000 | #Constraints: 124228
904.83/911.93 c #Conflicts: 1245000 | #Constraints: 125228
904.83/911.93 c #Conflicts: 1246000 | #Constraints: 126228
904.83/911.93 c #Conflicts: 1247000 | #Constraints: 127228
904.83/911.93 c #Conflicts: 1248000 | #Constraints: 128228
904.83/911.93 c #Conflicts: 1249000 | #Constraints: 129228
904.83/911.93 c #Conflicts: 1250000 | #Constraints: 130228
904.83/911.93 c #Conflicts: 1251000 | #Constraints: 131228
904.83/911.93 c #Conflicts: 1252000 | #Constraints: 132228
904.83/911.93 c #Conflicts: 1253000 | #Constraints: 133228
904.83/911.93 c #Conflicts: 1254000 | #Constraints: 134228
904.83/911.93 c #Conflicts: 1255000 | #Constraints: 135228
904.83/911.93 c #Conflicts: 1256000 | #Constraints: 136228
904.83/911.93 c INPROCESSING
904.83/911.93 c GARBAGE COLLECT
904.83/911.93 c #Conflicts: 1257000 | #Constraints: 115028
904.83/911.93 c #Conflicts: 1258000 | #Constraints: 116028
904.83/911.93 c #Conflicts: 1259000 | #Constraints: 117028
904.83/911.93 c #Conflicts: 1260000 | #Constraints: 118028
904.83/911.93 c #Conflicts: 1261000 | #Constraints: 119028
904.83/911.93 c #Conflicts: 1262000 | #Constraints: 120028
904.83/911.93 c #Conflicts: 1263000 | #Constraints: 121028
904.83/911.93 c #Conflicts: 1264000 | #Constraints: 122028
904.83/911.93 c #Conflicts: 1265000 | #Constraints: 123028
904.83/911.93 c #Conflicts: 1266000 | #Constraints: 124028
904.83/911.93 c #Conflicts: 1267000 | #Constraints: 125028
904.83/911.93 c #Conflicts: 1268000 | #Constraints: 126028
904.83/911.93 c #Conflicts: 1269000 | #Constraints: 127028
904.83/911.93 c #Conflicts: 1270000 | #Constraints: 128028
904.83/911.93 c #Conflicts: 1271000 | #Constraints: 129028
904.83/911.93 c #Conflicts: 1272000 | #Constraints: 130028
904.83/911.93 c #Conflicts: 1273000 | #Constraints: 131028
904.83/911.93 c #Conflicts: 1274000 | #Constraints: 132028
904.83/911.93 c #Conflicts: 1275000 | #Constraints: 133028
904.83/911.93 c #Conflicts: 1276000 | #Constraints: 134028
904.83/911.93 c #Conflicts: 1277000 | #Constraints: 135028
904.83/911.93 c #Conflicts: 1278000 | #Constraints: 136028
904.83/911.93 c #Conflicts: 1279000 | #Constraints: 137028
904.83/911.93 c INPROCESSING
904.83/911.93 c GARBAGE COLLECT
904.83/911.93 c rational objective 361
920.87/928.09 c #Conflicts: 1280000 | #Constraints: 115622
920.87/928.09 c #Conflicts: 1281000 | #Constraints: 116622
920.87/928.09 c #Conflicts: 1282000 | #Constraints: 117622
920.87/928.09 c #Conflicts: 1283000 | #Constraints: 118622
920.87/928.09 c #Conflicts: 1284000 | #Constraints: 119622
920.87/928.09 c #Conflicts: 1285000 | #Constraints: 120622
920.87/928.09 c #Conflicts: 1286000 | #Constraints: 121622
920.87/928.09 c #Conflicts: 1287000 | #Constraints: 122622
920.87/928.09 c #Conflicts: 1288000 | #Constraints: 123622
920.87/928.09 c #Conflicts: 1289000 | #Constraints: 124622
920.87/928.09 c #Conflicts: 1290000 | #Constraints: 125622
920.87/928.09 c #Conflicts: 1291000 | #Constraints: 126622
920.87/928.09 c #Conflicts: 1292000 | #Constraints: 127622
920.87/928.09 c #Conflicts: 1293000 | #Constraints: 128622
920.87/928.09 c #Conflicts: 1294000 | #Constraints: 129622
920.87/928.09 c #Conflicts: 1295000 | #Constraints: 130622
920.87/928.09 c #Conflicts: 1296000 | #Constraints: 131622
920.87/928.09 c #Conflicts: 1297000 | #Constraints: 132622
920.87/928.09 c #Conflicts: 1298000 | #Constraints: 133622
920.87/928.09 c #Conflicts: 1299000 | #Constraints: 134622
920.87/928.09 c #Conflicts: 1300000 | #Constraints: 135622
920.87/928.09 c #Conflicts: 1301000 | #Constraints: 136622
920.87/928.09 c #Conflicts: 1302000 | #Constraints: 137622
920.87/928.09 c INPROCESSING
920.87/928.09 c GARBAGE COLLECT
920.87/928.09 c #Conflicts: 1303000 | #Constraints: 116022
920.87/928.09 c #Conflicts: 1304000 | #Constraints: 117022
920.87/928.09 c #Conflicts: 1305000 | #Constraints: 118022
920.87/928.09 c #Conflicts: 1306000 | #Constraints: 119022
920.87/928.09 c #Conflicts: 1307000 | #Constraints: 120022
920.87/928.09 c #Conflicts: 1308000 | #Constraints: 121022
920.87/928.09 c #Conflicts: 1309000 | #Constraints: 122022
920.87/928.09 c #Conflicts: 1310000 | #Constraints: 123022
920.87/928.09 c #Conflicts: 1311000 | #Constraints: 124022
920.87/928.09 c #Conflicts: 1312000 | #Constraints: 125022
920.87/928.09 c #Conflicts: 1313000 | #Constraints: 126022
920.87/928.09 c #Conflicts: 1314000 | #Constraints: 127022
920.87/928.09 c #Conflicts: 1315000 | #Constraints: 128022
920.87/928.09 c #Conflicts: 1316000 | #Constraints: 129022
920.87/928.09 c #Conflicts: 1317000 | #Constraints: 130022
920.87/928.09 c #Conflicts: 1318000 | #Constraints: 131022
920.87/928.09 c #Conflicts: 1319000 | #Constraints: 132022
920.87/928.09 c #Conflicts: 1320000 | #Constraints: 133022
920.87/928.09 c #Conflicts: 1321000 | #Constraints: 134022
920.87/928.09 c #Conflicts: 1322000 | #Constraints: 135022
920.87/928.09 c #Conflicts: 1323000 | #Constraints: 136022
920.87/928.09 c #Conflicts: 1324000 | #Constraints: 137022
920.87/928.09 c #Conflicts: 1325000 | #Constraints: 138022
920.87/928.09 c INPROCESSING
920.87/928.09 c GARBAGE COLLECT
920.87/928.09 c rational objective 361
927.92/935.11 c #Conflicts: 1326000 | #Constraints: 116232
927.92/935.11 c #Conflicts: 1327000 | #Constraints: 117232
927.92/935.11 c #Conflicts: 1328000 | #Constraints: 118232
927.92/935.11 c #Conflicts: 1329000 | #Constraints: 119232
927.92/935.11 c #Conflicts: 1330000 | #Constraints: 120232
927.92/935.11 c #Conflicts: 1331000 | #Constraints: 121232
927.92/935.11 c #Conflicts: 1332000 | #Constraints: 122232
927.92/935.11 c #Conflicts: 1333000 | #Constraints: 123232
927.92/935.11 c #Conflicts: 1334000 | #Constraints: 124232
927.92/935.11 c #Conflicts: 1335000 | #Constraints: 125232
927.92/935.11 c #Conflicts: 1336000 | #Constraints: 126232
927.92/935.11 c #Conflicts: 1337000 | #Constraints: 127232
927.92/935.11 c #Conflicts: 1338000 | #Constraints: 128232
927.92/935.11 c #Conflicts: 1339000 | #Constraints: 129232
927.92/935.11 c #Conflicts: 1340000 | #Constraints: 130232
927.92/935.11 c #Conflicts: 1341000 | #Constraints: 131232
927.92/935.11 c #Conflicts: 1342000 | #Constraints: 132232
927.92/935.11 c #Conflicts: 1343000 | #Constraints: 133232
927.92/935.11 c #Conflicts: 1344000 | #Constraints: 134232
927.92/935.11 c #Conflicts: 1345000 | #Constraints: 135232
927.92/935.11 c #Conflicts: 1346000 | #Constraints: 136232
927.92/935.11 c #Conflicts: 1347000 | #Constraints: 137232
927.92/935.11 c #Conflicts: 1348000 | #Constraints: 138232
927.92/935.11 c INPROCESSING
927.92/935.11 c GARBAGE COLLECT
927.92/935.11 c cpu time 921.208 s
927.92/935.11 c deterministic time 4222064582 4.22e+09
927.92/935.11 c optimization time 0.000321 s
927.92/935.11 c total solve time 920.715 s
927.92/935.11 c core-guided solve time 0 s
927.92/935.11 c propagation time 338.137 s
927.92/935.11 c conflict analysis time 105.549 s
927.92/935.11 c propagations 289532434
927.92/935.11 c resolve steps 44650999
927.92/935.11 c decisions 2122608
927.92/935.11 c conflicts 1348200
927.92/935.11 c restarts 2557
927.92/935.11 c inprocessing phases 107
927.92/935.11 c garbage collections 105 ,( 98.13 )
927.92/935.11 c input clauses 92542 ,( 99.61 )
927.92/935.11 c input cardinalities 360 ,( 0.39 )
927.92/935.11 c input general constraints 0 ,( 0.00 )
927.92/935.11 c input average constraint length 3.93
927.92/935.11 c input average constraint degree 1.01
927.92/935.11 c learned clauses 1348179 ,( 100.00 )
927.92/935.11 c learned cardinalities 20 ,( 0.00 )
927.92/935.11 c learned general constraints 29 ,( 0.00 )
927.92/935.11 c learned average constraint length 129.89
927.92/935.11 c learned average constraint degree 144022.29
927.92/935.11 c watched CF 32, 64, 128, Arb: 19 , 0 , 0 , 0
927.92/935.11 c counting CF 32, 64, 128, Arb: 10 , 0 , 0 , 0
927.92/935.11 c watched constraints 19 ,( 65.52 )
927.92/935.11 c counting constraints 10 ,( 34.48 )
927.92/935.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 806126661 , 36550168 , 718 ,( 718 , 0 )
927.92/935.11 c gcd simplifications 0
927.92/935.11 c detected cardinalities 0
927.92/935.11 c weakened non-implied lits 86603
927.92/935.11 c weakened non-implying lits 0
927.92/935.11 c original variables 3606
927.92/935.11 c clausal propagations 284782233
927.92/935.11 c cardinality propagations 3401996
927.92/935.11 c watched propagations 0
927.92/935.11 c counting propagations 0
927.92/935.11 c watch lookups 844133553
927.92/935.11 c watch backjump lookups 0
927.92/935.11 c watch checks 1931943053
927.92/935.11 c propagation checks 430942230
927.92/935.11 c constraint additions 430105976
927.92/935.11 c trail pops 293003234
927.92/935.11 c formula constraints 92902
927.92/935.11 c learned constraints 1348200
927.92/935.11 c bound constraints 0
927.92/935.11 c core-guided constraints 0
927.92/935.11 c encountered formula constraints 41727534
927.92/935.11 c encountered learned constraints 4271665
927.92/935.11 c encountered bound constraints 0
927.92/935.11 c encountered core-guided constraints 0
927.92/935.11 c LP total time 533.582 s
927.92/935.11 c LP solve time 519.32 s
927.92/935.11 c LP constraints added 92922
927.92/935.11 c LP constraints removed 19
927.92/935.11 c LP pivots internal 144170
927.92/935.11 c LP pivots root 137323
927.92/935.11 c LP calls 48
927.92/935.11 c LP optimalities 25
927.92/935.11 c LP no pivot count 2
927.92/935.11 c LP infeasibilities 9
927.92/935.11 c LP valid Farkas constraints 9
927.92/935.11 c LP learned Farkas constraints 0
927.92/935.11 c LP basis resets 8
927.92/935.11 c LP cycling count 2
927.92/935.11 c LP singular count 3
927.92/935.11 c LP no primal count 0
927.92/935.11 c LP no farkas count 0
927.92/935.11 c LP other issue count 3
927.92/935.11 c LP Gomory cuts 19
927.92/935.11 c LP learned cuts 2
927.92/935.11 c LP deleted cuts 20
927.92/935.11 c LP encountered Gomory constraints 0
927.92/935.11 c LP encountered Farkas constraints 0
927.92/935.11 c LP encountered learned Farkas constraints 0
927.92/935.11 c CG auxiliary variables introduced 0
927.92/935.11 c CG solutions found 0
927.92/935.11 c CG cores constructed 0
927.92/935.11 c CG core cardinality constraints returned 0
927.92/935.11 c CG unit cores 0
927.92/935.11 c CG single cores 0
927.92/935.11 c CG blocks removed during cardinality reduction 0
927.92/935.11 c CG first core best 0
927.92/935.11 c CG decision core best 0
927.92/935.11 c CG core reduction tie 0
927.92/935.11 c CG core degree average 0.00
927.92/935.11 c CG core slack average 0.00
927.92/935.11 c CG core upper bound improvements 0
927.92/935.11 c STR number of successful calls 0
927.92/935.11 c STR number of unsuccessful calls 0
927.92/935.11 c STR number of inconclusive calls 0
927.92/935.11 c STR number of successful attempts 0
927.92/935.11 c STR number of unsuccessful attempts 0
927.92/935.11 c STR number of inconclusive attempts 0
927.92/935.11 c STR average degree increase per successful call inf
927.92/935.11 c STR average degree increase per successful attempt inf
927.92/935.11 c STR total number of conflicts for successful attempts 0
927.92/935.11 c STR total number of conflicts for unsuccessful attempts 0
927.92/935.11 c STR total number of conflicts for inconclusive attempts 0
927.92/935.11 c STR average number of conflicts per successful attempt inf
927.92/935.11 c STR average number of conflicts per unsuccessful attempt inf
927.92/935.11 c STR average number of conflicts per inconclusive attempt inf
927.92/935.11 c AVG.sumWPerc 35.54
927.92/935.11 c bigint constraints 0
927.92/935.11 s SATISFIABLE
927.92/935.11 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: 63708 MiB (61145 MiB free)
memory of node 1: 64465 MiB (63674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4494529-1751155971/watcher-4494529-1751155971 -o /tmp/evaluation-result-4494529-1751155971/solver-4494529-1751155971 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15097 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4494529-1751155971.opb PROOFDIR/proof-4494529-1751155971
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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=16777, runsolver pid=16774
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.40 3.84 3.58 5/272 16779
/proc/meminfo: memFree=127771816/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16779] ppid=16777 vsize=58636 memory=43680 CPUtime=0.08 cores=5,7
/proc/16779/stat : 16779 (pbsuma) R 16777 16777 15084 0 -1 4194304 8227 0 0 0 7 1 0 0 20 0 1 0 31275623 60043264 10920 18446744073709551615 4210688 4653049 140723488040544 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24461312 140723488049379 140723488049714 140723488049714 140723488055279 0
/proc/16779/statm: 14659 10920 1024 108 0 12067 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62828 KiB
Current children cumulated memory: 46624 KiB
[startup+0.205702 s]*
/proc/loadavg: 4.40 3.84 3.58 5/272 16779
/proc/meminfo: memFree=127762996/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16779] ppid=16777 vsize=58636 memory=45472 CPUtime=0.19 cores=5,7
/proc/16779/stat : 16779 (pbsuma) R 16777 16777 15084 0 -1 4194304 8674 0 0 0 18 1 0 0 20 0 1 0 31275623 60043264 11368 18446744073709551615 4210688 4653049 140723488040544 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24461312 140723488049379 140723488049714 140723488049714 140723488055279 0
/proc/16779/statm: 14659 11368 1024 108 0 12067 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62828 KiB
Current children cumulated memory: 48416 KiB
[startup+0.305419 s]*
/proc/loadavg: 4.40 3.84 3.58 5/272 16779
/proc/meminfo: memFree=127762996/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16779] ppid=16777 vsize=58636 memory=45472 CPUtime=0.29 cores=5,7
/proc/16779/stat : 16779 (pbsuma) R 16777 16777 15084 0 -1 4194304 8674 0 0 0 28 1 0 0 20 0 1 0 31275623 60043264 11368 18446744073709551615 4210688 4653049 140723488040544 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24461312 140723488049379 140723488049714 140723488049714 140723488055279 0
/proc/16779/statm: 14659 11368 1024 108 0 12067 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62828 KiB
Current children cumulated memory: 48416 KiB
[startup+0.700206 s]
/proc/loadavg: 4.40 3.84 3.58 5/272 16779
/proc/meminfo: memFree=127755940/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.50016 s]
/proc/loadavg: 4.40 3.84 3.58 5/272 16780
/proc/meminfo: memFree=127750792/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=218048 memory=157716 CPUtime=0.85 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 22305 0 0 0 73 12 0 0 20 0 1 0 31275685 223281152 39429 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 54512 39429 2304 1147 0 41939 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 222240 KiB
Current children cumulated memory: 160660 KiB
[startup+3.10551 s]
/proc/loadavg: 4.45 3.86 3.59 5/272 16780
/proc/meminfo: memFree=127659688/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=218048 memory=157716 CPUtime=2.45 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 22322 0 0 0 233 12 0 0 20 0 1 0 31275685 223281152 39429 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 54512 39429 2304 1147 0 41939 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 222240 KiB
Current children cumulated memory: 160660 KiB
[startup+6.30017 s]
/proc/loadavg: 4.45 3.86 3.59 5/272 16780
/proc/meminfo: memFree=127628768/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=220768 memory=158996 CPUtime=5.63 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 22569 0 0 0 550 13 0 0 20 0 1 0 31275685 226066432 39749 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 55192 39749 2368 1147 0 42619 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 224960 KiB
Current children cumulated memory: 161940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 3.87 3.59 5/272 16780
/proc/meminfo: memFree=127656100/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=220768 memory=160020 CPUtime=12.02 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 22843 0 0 0 1187 15 0 0 20 0 1 0 31275685 226066432 40005 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 55192 40005 2368 1147 0 42619 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 224960 KiB
Current children cumulated memory: 162964 KiB
[startup+25.5001 s]
/proc/loadavg: 4.32 3.87 3.60 5/272 16780
/proc/meminfo: memFree=127456888/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=234120 memory=168980 CPUtime=24.78 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 25050 0 0 0 2456 22 0 0 20 0 1 0 31275685 239738880 42245 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 58530 42245 2400 1147 0 45957 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 238312 KiB
Current children cumulated memory: 171924 KiB
[startup+51.1055 s]
/proc/loadavg: 4.28 3.90 3.61 5/272 16827
/proc/meminfo: memFree=128033956/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=243948 memory=177436 CPUtime=50.31 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 26646 0 0 0 5001 30 0 0 20 0 1 0 31275685 249802752 44359 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 60987 44359 2400 1147 0 48414 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 248140 KiB
Current children cumulated memory: 180380 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 3.94 3.64 5/274 16835
/proc/meminfo: memFree=127699164/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=252880 memory=183956 CPUtime=101.31 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 27322 0 0 0 10070 61 0 0 20 0 1 0 31275685 258949120 45989 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 63220 45989 2400 1147 0 50647 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 257072 KiB
Current children cumulated memory: 186900 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 3.98 3.68 5/274 16930
/proc/meminfo: memFree=127406012/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=275072 memory=211352 CPUtime=161.14 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 29064 0 0 0 16031 83 0 0 20 0 1 0 31275685 281673728 52838 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 68768 52838 2400 1147 0 56195 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 279264 KiB
Current children cumulated memory: 214296 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.00 3.71 5/275 17455
/proc/meminfo: memFree=127101876/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=298628 memory=226404 CPUtime=220.95 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 30672 0 0 0 21981 114 0 0 20 0 1 0 31275685 305795072 56601 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 74657 56601 2400 1147 0 62084 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 302820 KiB
################
# More data... #
################
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32437 0 0 0 75041 477 0 0 20 0 1 0 31275685 328192000 62025 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62025 2496 1147 0 67552 0
Current children cumulated CPU time: 755.77 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 251044 KiB
[startup+822.3 s]
/proc/loadavg: 4.14 4.10 3.93 5/272 18577
/proc/meminfo: memFree=122736968/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=248484 CPUtime=814.97 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32529 0 0 0 80980 517 0 0 20 0 1 0 31275685 328192000 62121 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62121 2496 1147 0 67552 0
Current children cumulated CPU time: 815.56 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 251428 KiB
[startup+882.3 s]
/proc/loadavg: 4.11 4.10 3.94 5/271 18579
/proc/meminfo: memFree=122247276/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=248740 CPUtime=874.74 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32598 0 0 0 86902 572 0 0 20 0 1 0 31275685 328192000 62185 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62185 2496 1147 0 67552 0
Current children cumulated CPU time: 875.33 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 251684 KiB
[startup+935.13 s]
# the end of solver process 16777 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=921.791 s, system=6.1818 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 4.09 4.09 3.94 5/271 18580
/proc/meminfo: memFree=122158460/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=248740 CPUtime=888.4 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32598 0 0 0 88266 574 0 0 20 0 1 0 31275685 328192000 62185 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62185 2496 1147 0 67552 0
Current children cumulated CPU time: 888.99 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 251684 KiB
[startup+921.6 s]
/proc/loadavg: 4.12 4.10 3.95 5/272 18582
/proc/meminfo: memFree=122011224/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=248740 CPUtime=913.9 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32608 0 0 0 90789 601 0 0 20 0 1 0 31275685 328192000 62185 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62185 2496 1147 0 67552 0
Current children cumulated CPU time: 914.49 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 251684 KiB
[startup+928 s]*
/proc/loadavg: 4.10 4.10 3.95 5/272 18582
/proc/meminfo: memFree=121935824/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=248740 CPUtime=920.28 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32610 0 0 0 91422 606 0 0 20 0 1 0 31275685 328192000 62185 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62185 2496 1147 0 67552 0
Current children cumulated CPU time: 920.87 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 251684 KiB
[startup+931.2 s]
/proc/loadavg: 4.10 4.10 3.95 5/272 18582
/proc/meminfo: memFree=121903856/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=248740 CPUtime=923.47 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32610 0 0 0 91739 608 0 0 20 0 1 0 31275685 328192000 62185 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62185 2496 1147 0 67552 0
Current children cumulated CPU time: 924.06 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 251684 KiB
[startup+932.8 s]
/proc/loadavg: 4.09 4.09 3.95 5/272 18582
/proc/meminfo: memFree=121895792/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=248740 CPUtime=925.06 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32610 0 0 0 91895 611 0 0 20 0 1 0 31275685 328192000 62185 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62185 2496 1147 0 67552 0
Current children cumulated CPU time: 925.65 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 251684 KiB
[startup+934.4 s]
/proc/loadavg: 4.09 4.09 3.95 5/272 18582
/proc/meminfo: memFree=121888404/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=249380 CPUtime=926.62 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32790 0 0 0 92049 613 0 0 20 0 1 0 31275685 328192000 62345 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62345 2496 1147 0 67552 0
Current children cumulated CPU time: 927.21 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 252324 KiB
[startup+934.8 s]
/proc/loadavg: 4.09 4.09 3.95 5/272 18582
/proc/meminfo: memFree=121888404/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=249380 CPUtime=927.02 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32790 0 0 0 92089 613 0 0 20 0 1 0 31275685 328192000 62345 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62345 2496 1147 0 67552 0
Current children cumulated CPU time: 927.61 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 252324 KiB
[startup+935 s]*
/proc/loadavg: 4.09 4.09 3.95 5/272 18582
/proc/meminfo: memFree=121880088/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=249380 CPUtime=927.23 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32790 0 0 0 92110 613 0 0 20 0 1 0 31275685 328192000 62345 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62345 2496 1147 0 67552 0
Current children cumulated CPU time: 927.82 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 252324 KiB
[startup+935.105 s]
/proc/loadavg: 4.09 4.09 3.95 5/272 18582
/proc/meminfo: memFree=121880088/131249988 swapFree=33010684/33010684
[pid=16777] ppid=16774 vsize=4192 memory=2944 CPUtime=0.59 cores=5,7
/proc/16777/stat : 16777 (run-dec-break-l) S 16774 16777 15084 0 -1 4194304 241 16920 0 0 0 0 56 3 20 0 1 0 31275622 4292608 736 18446744073709551615 93845668098048 93845668992581 140724348128912 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93845669231632 93845669279376 93845676580864 140724348135701 140724348135902 140724348135902 140724348141504 0
/proc/16777/statm: 1048 736 672 219 0 110 0
[pid=16780] ppid=16777 vsize=320500 memory=249380 CPUtime=927.33 cores=5,7
/proc/16780/stat : 16780 (roundingsat) R 16777 16777 15084 0 -1 4194304 32790 0 0 0 92120 613 0 0 20 0 1 0 31275685 328192000 62345 18446744073709551615 4227072 8923433 140731412118064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28291072 140731412125940 140731412126248 140731412126248 140731412131818 0
/proc/16780/statm: 80125 62345 2496 1147 0 67552 0
Current children cumulated CPU time: 927.92 s
Current children cumulated vsize: 324692 KiB
Current children cumulated memory: 252324 KiB
Child status: 0
Real time (s): 935.13
CPU time (s): 927.973
CPU user time (s): 921.791
CPU system time (s): 6.1818
CPU usage (%): 99.2346
Max. virtual memory (cumulated for all children) (KiB): 324692
Max. memory (cumulated for all children) (KiB): 252324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 921.791
system time used= 6.1818
maximum resident set size= 249380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49975
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1073720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 422
involuntary context switches= 5454
# summary of solver processes directly reported to runsolver:
# pid: 16777
# total CPU time (s): 927.973
# total CPU user time (s): 921.791
# total CPU system time (s): 6.1818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.84254 second user time and 4.16873 second system time
The end
Begin job on nodeC031 at 2025-06-29 02:12:51
IDJOB=4494529
IDBENCH=147893
IDSOLVER=3358
FILE ID=nodeC031/4494529-1751155971
RUNJOBID= nodeC031-1751155546-15097
SLURM_JOB_ID= 9587472
Free space on /tmp= 432988 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4494529-1751155971/watcher-4494529-1751155971 -o /tmp/evaluation-result-4494529-1751155971/solver-4494529-1751155971 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15097 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4494529-1751155971.opb PROOFDIR/proof-4494529-1751155971
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=275565448
nodeC031 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.861
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.78
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.870
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.78
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 : 3599.110
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.78
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 : 3587.342
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.78
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.866
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.78
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 : 3599.872
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.78
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 : 3600.687
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.78
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 : 3604.270
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127815452 kB
MemAvailable: 128581492 kB
Buffers: 3280 kB
Cached: 1576012 kB
SwapCached: 0 kB
Active: 1506992 kB
Inactive: 1356908 kB
Active(anon): 1302756 kB
Inactive(anon): 0 kB
Active(file): 204236 kB
Inactive(file): 1356908 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 102624 kB
Writeback: 12 kB
AnonPages: 1286436 kB
Mapped: 116432 kB
Shmem: 18064 kB
KReclaimable: 88272 kB
Slab: 176060 kB
SReclaimable: 88272 kB
SUnreclaim: 87788 kB
KernelStack: 4400 kB
PageTables: 5804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1704188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 753664 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC031 at 2025-06-29 02:28:26