0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.16 c #variables 9324 #constraints 28660
0.08/0.16 c objective is ce32
0.08/0.17 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
0.08/0.17 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.08/0.17 c GLOBAL bounds - >= 0 @ 0.114297
0.08/0.17 c GLOBAL bounds - >= 0 @ 0.11913
0.49/0.59 c GLOBAL bounds - >= 0 @ 0.517846
0.49/0.60 c GLOBAL bounds - >= 0 @ 0.520667
0.49/0.60 c GLOBAL bounds - >= 0 @ 0.521361
0.58/0.61 c GLOBAL bounds - >= 0 @ 0.522531
0.58/0.61 c GLOBAL bounds - >= 0 @ 0.525807
0.58/0.62 c GLOBAL bounds - >= 0 @ 0.527486
2.97/3.00 c #Conflicts: 1000 | #Constraints: 29662
2.97/3.00 c #Conflicts: 2000 | #Constraints: 30662
2.97/3.00 c INPROCESSING
2.97/3.00 c #Conflicts: 3000 | #Constraints: 30673
2.97/3.00 c GLOBAL bounds - >= 0 @ 2.86687
2.97/3.01 c GLOBAL bounds - >= 0 @ 2.86967
12.84/12.96 c #Conflicts: 4000 | #Constraints: 31674
12.84/12.96 c INPROCESSING
12.84/12.96 c GARBAGE COLLECT
12.84/12.96 c #Conflicts: 5000 | #Constraints: 31079
12.84/12.96 c #Conflicts: 6000 | #Constraints: 32079
12.84/12.96 c INPROCESSING
12.84/12.96 c GARBAGE COLLECT
12.84/12.96 c #Conflicts: 7000 | #Constraints: 31085
12.84/12.96 c #Conflicts: 8000 | #Constraints: 32085
12.84/12.96 c #Conflicts: 9000 | #Constraints: 33085
12.84/12.96 c INPROCESSING
12.84/12.96 c GARBAGE COLLECT
12.84/12.96 c rational objective 9.5
29.40/29.50 c #Conflicts: 10000 | #Constraints: 31888
29.40/29.50 c #Conflicts: 11000 | #Constraints: 32888
29.40/29.50 c #Conflicts: 12000 | #Constraints: 33888
29.40/29.50 c INPROCESSING
29.40/29.50 c GARBAGE COLLECT
29.40/29.50 c #Conflicts: 13000 | #Constraints: 32287
29.40/29.50 c #Conflicts: 14000 | #Constraints: 33287
29.40/29.50 c #Conflicts: 15000 | #Constraints: 34287
29.40/29.50 c INPROCESSING
29.40/29.50 c GARBAGE COLLECT
29.40/29.50 c #Conflicts: 16000 | #Constraints: 32487
29.40/29.50 c #Conflicts: 17000 | #Constraints: 33487
29.40/29.50 c #Conflicts: 18000 | #Constraints: 34487
29.40/29.50 c INPROCESSING
29.40/29.50 c GARBAGE COLLECT
29.40/29.50 c #Conflicts: 19000 | #Constraints: 32488
29.40/29.50 c #Conflicts: 20000 | #Constraints: 33488
29.40/29.50 c #Conflicts: 21000 | #Constraints: 34488
29.40/29.50 c INPROCESSING
29.40/29.50 c GARBAGE COLLECT
29.40/29.50 c #Conflicts: 22000 | #Constraints: 32291
29.40/29.50 c #Conflicts: 23000 | #Constraints: 33291
29.40/29.50 c #Conflicts: 24000 | #Constraints: 34291
29.40/29.50 c #Conflicts: 25000 | #Constraints: 35291
29.40/29.50 c INPROCESSING
29.40/29.50 c GARBAGE COLLECT
29.40/29.50 c rational objective 9.5
38.77/39.00 c #Conflicts: 26000 | #Constraints: 32991
38.77/39.00 c #Conflicts: 27000 | #Constraints: 33991
38.77/39.00 c GLOBAL bounds - >= 0 @ 38.4559
38.88/39.01 c GLOBAL bounds - >= 0 @ 38.4569
46.05/46.26 c #Conflicts: 28000 | #Constraints: 34992
46.05/46.26 c #Conflicts: 29000 | #Constraints: 35992
46.05/46.26 c INPROCESSING
46.05/46.26 c GARBAGE COLLECT
46.05/46.26 c #Conflicts: 30000 | #Constraints: 33342
46.05/46.26 c #Conflicts: 31000 | #Constraints: 34342
46.05/46.26 c #Conflicts: 32000 | #Constraints: 35342
46.05/46.26 c #Conflicts: 33000 | #Constraints: 36342
46.05/46.26 c INPROCESSING
46.05/46.26 c GARBAGE COLLECT
46.05/46.26 c #Conflicts: 34000 | #Constraints: 33516
46.05/46.26 c #Conflicts: 35000 | #Constraints: 34516
46.05/46.26 c #Conflicts: 36000 | #Constraints: 35516
46.05/46.26 c #Conflicts: 37000 | #Constraints: 36516
46.05/46.26 c INPROCESSING
46.05/46.26 c GARBAGE COLLECT
46.05/46.26 c rational objective 12
64.01/64.28 c #Conflicts: 38000 | #Constraints: 33596
64.01/64.28 c #Conflicts: 39000 | #Constraints: 34596
64.01/64.28 c #Conflicts: 40000 | #Constraints: 35596
64.01/64.28 c #Conflicts: 41000 | #Constraints: 36596
64.01/64.28 c INPROCESSING
64.01/64.28 c GARBAGE COLLECT
64.01/64.28 c #Conflicts: 42000 | #Constraints: 33346
64.01/64.28 c #Conflicts: 43000 | #Constraints: 34346
64.01/64.28 c #Conflicts: 44000 | #Constraints: 35346
64.01/64.28 c #Conflicts: 45000 | #Constraints: 36346
64.01/64.28 c #Conflicts: 46000 | #Constraints: 37346
64.01/64.28 c INPROCESSING
64.01/64.28 c GARBAGE COLLECT
64.01/64.28 c #Conflicts: 47000 | #Constraints: 33917
64.01/64.28 c #Conflicts: 48000 | #Constraints: 34917
64.01/64.28 c #Conflicts: 49000 | #Constraints: 35917
64.01/64.28 c #Conflicts: 50000 | #Constraints: 36917
64.01/64.28 c #Conflicts: 51000 | #Constraints: 37917
64.01/64.28 c INPROCESSING
64.01/64.28 c GARBAGE COLLECT
64.01/64.28 c rational objective 12
82.46/82.78 c #Conflicts: 52000 | #Constraints: 34395
82.46/82.78 c #Conflicts: 53000 | #Constraints: 35395
82.46/82.78 c #Conflicts: 54000 | #Constraints: 36395
82.46/82.78 c #Conflicts: 55000 | #Constraints: 37395
82.46/82.78 c #Conflicts: 56000 | #Constraints: 38395
82.46/82.78 c INPROCESSING
82.46/82.78 c GARBAGE COLLECT
82.46/82.78 c #Conflicts: 57000 | #Constraints: 34547
82.46/82.78 c #Conflicts: 58000 | #Constraints: 35547
82.46/82.78 c #Conflicts: 59000 | #Constraints: 36547
82.46/82.78 c #Conflicts: 60000 | #Constraints: 37547
82.46/82.78 c #Conflicts: 61000 | #Constraints: 38547
82.46/82.78 c INPROCESSING
82.46/82.78 c GARBAGE COLLECT
82.46/82.78 c rational objective 12
203.31/203.94 c #Conflicts: 62000 | #Constraints: 34608
203.31/203.94 c #Conflicts: 63000 | #Constraints: 35608
203.31/203.94 c #Conflicts: 64000 | #Constraints: 36608
203.31/203.94 c #Conflicts: 65000 | #Constraints: 37608
203.31/203.94 c #Conflicts: 66000 | #Constraints: 38608
203.31/203.94 c INPROCESSING
203.31/203.94 c GARBAGE COLLECT
203.31/203.94 c #Conflicts: 67000 | #Constraints: 34349
203.31/203.94 c #Conflicts: 68000 | #Constraints: 35349
203.31/203.94 c #Conflicts: 69000 | #Constraints: 36349
203.31/203.94 c #Conflicts: 70000 | #Constraints: 37349
203.31/203.94 c #Conflicts: 71000 | #Constraints: 38349
203.31/203.94 c #Conflicts: 72000 | #Constraints: 39349
203.31/203.94 c INPROCESSING
203.31/203.94 c GARBAGE COLLECT
203.31/203.94 c #Conflicts: 73000 | #Constraints: 34920
203.31/203.94 c #Conflicts: 74000 | #Constraints: 35920
203.31/203.94 c #Conflicts: 75000 | #Constraints: 36920
203.31/203.94 c #Conflicts: 76000 | #Constraints: 37920
203.31/203.94 c #Conflicts: 77000 | #Constraints: 38920
203.31/203.94 c #Conflicts: 78000 | #Constraints: 39920
203.31/203.94 c INPROCESSING
203.31/203.94 c GARBAGE COLLECT
203.31/203.94 c #Conflicts: 79000 | #Constraints: 35307
203.31/203.94 c #Conflicts: 80000 | #Constraints: 36307
203.31/203.94 c #Conflicts: 81000 | #Constraints: 37307
203.31/203.94 c #Conflicts: 82000 | #Constraints: 38307
203.31/203.94 c #Conflicts: 83000 | #Constraints: 39307
203.31/203.94 c #Conflicts: 84000 | #Constraints: 40307
203.31/203.94 c INPROCESSING
203.31/203.94 c GARBAGE COLLECT
203.31/203.94 c #Conflicts: 85000 | #Constraints: 35500
203.31/203.94 c #Conflicts: 86000 | #Constraints: 36500
203.31/203.94 c #Conflicts: 87000 | #Constraints: 37500
203.31/203.94 c #Conflicts: 88000 | #Constraints: 38500
203.31/203.94 c #Conflicts: 89000 | #Constraints: 39500
203.31/203.94 c #Conflicts: 90000 | #Constraints: 40500
203.31/203.94 c INPROCESSING
203.31/203.94 c GARBAGE COLLECT
203.31/203.94 c #Conflicts: 91000 | #Constraints: 35497
203.31/203.94 c #Conflicts: 92000 | #Constraints: 36497
203.31/203.94 c #Conflicts: 93000 | #Constraints: 37497
203.31/203.94 c #Conflicts: 94000 | #Constraints: 38498
203.31/203.94 c #Conflicts: 95000 | #Constraints: 39498
203.31/203.94 c #Conflicts: 96000 | #Constraints: 40498
203.31/203.94 c INPROCESSING
203.31/203.94 c GARBAGE COLLECT
203.31/203.94 c #Conflicts: 97000 | #Constraints: 35301
203.31/203.94 c #Conflicts: 98000 | #Constraints: 36301
203.31/203.94 c #Conflicts: 99000 | #Constraints: 37301
203.31/203.94 c #Conflicts: 100000 | #Constraints: 38301
203.31/203.94 c #Conflicts: 101000 | #Constraints: 39301
203.31/203.94 c #Conflicts: 102000 | #Constraints: 40301
203.31/203.94 c #Conflicts: 103000 | #Constraints: 41301
203.31/203.94 c INPROCESSING
203.31/203.94 c GARBAGE COLLECT
203.31/203.94 c #Conflicts: 104000 | #Constraints: 35898
203.31/203.94 c #Conflicts: 105000 | #Constraints: 36898
203.31/203.94 c #Conflicts: 106000 | #Constraints: 37898
203.31/203.94 c #Conflicts: 107000 | #Constraints: 38898
203.31/203.94 c #Conflicts: 108000 | #Constraints: 39899
203.31/203.94 c #Conflicts: 109000 | #Constraints: 40900
203.31/203.94 c #Conflicts: 110000 | #Constraints: 41900
203.31/203.94 c INPROCESSING
203.31/203.94 c GARBAGE COLLECT
203.31/203.94 c #Conflicts: 111000 | #Constraints: 36299
203.31/203.94 c #Conflicts: 112000 | #Constraints: 37299
203.31/203.94 c #Conflicts: 113000 | #Constraints: 38300
203.31/203.94 c #Conflicts: 114000 | #Constraints: 39300
203.31/203.94 c #Conflicts: 115000 | #Constraints: 40300
203.31/203.94 c #Conflicts: 116000 | #Constraints: 41300
203.31/203.94 c #Conflicts: 117000 | #Constraints: 42300
203.31/203.94 c INPROCESSING
203.31/203.94 c GARBAGE COLLECT
203.31/203.94 c rational objective 12
272.13/272.96 c #Conflicts: 118000 | #Constraints: 36584
272.13/272.96 c #Conflicts: 119000 | #Constraints: 37584
272.13/272.96 c #Conflicts: 120000 | #Constraints: 38584
272.13/272.96 c #Conflicts: 121000 | #Constraints: 39584
272.13/272.96 c #Conflicts: 122000 | #Constraints: 40584
272.13/272.96 c #Conflicts: 123000 | #Constraints: 41584
272.13/272.96 c #Conflicts: 124000 | #Constraints: 42584
272.13/272.96 c INPROCESSING
272.13/272.96 c GARBAGE COLLECT
272.13/272.96 c #Conflicts: 125000 | #Constraints: 36545
272.13/272.96 c #Conflicts: 126000 | #Constraints: 37545
272.13/272.96 c #Conflicts: 127000 | #Constraints: 38545
272.13/272.96 c #Conflicts: 128000 | #Constraints: 39545
272.13/272.96 c #Conflicts: 129000 | #Constraints: 40545
272.13/272.96 c #Conflicts: 130000 | #Constraints: 41545
272.13/272.96 c #Conflicts: 131000 | #Constraints: 42545
272.13/272.96 c INPROCESSING
272.13/272.96 c GARBAGE COLLECT
272.13/272.96 c #Conflicts: 132000 | #Constraints: 36322
272.13/272.96 c #Conflicts: 133000 | #Constraints: 37322
272.13/272.96 c #Conflicts: 134000 | #Constraints: 38322
272.13/272.96 c #Conflicts: 135000 | #Constraints: 39322
272.13/272.96 c #Conflicts: 136000 | #Constraints: 40322
272.13/272.96 c #Conflicts: 137000 | #Constraints: 41322
272.13/272.96 c #Conflicts: 138000 | #Constraints: 42322
272.13/272.96 c #Conflicts: 139000 | #Constraints: 43322
272.13/272.96 c INPROCESSING
272.13/272.96 c GARBAGE COLLECT
272.13/272.96 c #Conflicts: 140000 | #Constraints: 36909
272.13/272.96 c #Conflicts: 141000 | #Constraints: 37909
272.13/272.96 c #Conflicts: 142000 | #Constraints: 38909
272.13/272.96 c #Conflicts: 143000 | #Constraints: 39909
272.13/272.96 c #Conflicts: 144000 | #Constraints: 40909
272.13/272.96 c #Conflicts: 145000 | #Constraints: 41909
272.13/272.96 c #Conflicts: 146000 | #Constraints: 42909
272.13/272.96 c #Conflicts: 147000 | #Constraints: 43909
272.13/272.96 c INPROCESSING
272.13/272.96 c GARBAGE COLLECT
272.13/272.96 c #Conflicts: 148000 | #Constraints: 37301
272.13/272.96 c #Conflicts: 149000 | #Constraints: 38301
272.13/272.96 c #Conflicts: 150000 | #Constraints: 39301
272.13/272.96 c #Conflicts: 151000 | #Constraints: 40301
272.13/272.96 c #Conflicts: 152000 | #Constraints: 41301
272.13/272.96 c #Conflicts: 153000 | #Constraints: 42301
272.13/272.96 c #Conflicts: 154000 | #Constraints: 43301
272.13/272.96 c #Conflicts: 155000 | #Constraints: 44301
272.13/272.96 c INPROCESSING
272.13/272.96 c GARBAGE COLLECT
272.13/272.96 c #Conflicts: 156000 | #Constraints: 37499
272.13/272.96 c #Conflicts: 157000 | #Constraints: 38499
272.13/272.96 c #Conflicts: 158000 | #Constraints: 39499
272.13/272.96 c #Conflicts: 159000 | #Constraints: 40499
272.13/272.96 c #Conflicts: 160000 | #Constraints: 41499
272.13/272.96 c #Conflicts: 161000 | #Constraints: 42499
272.13/272.96 c #Conflicts: 162000 | #Constraints: 43499
272.13/272.96 c #Conflicts: 163000 | #Constraints: 44499
272.13/272.96 c INPROCESSING
272.13/272.96 c GARBAGE COLLECT
272.13/272.96 c #Conflicts: 164000 | #Constraints: 37499
272.13/272.96 c #Conflicts: 165000 | #Constraints: 38499
272.13/272.96 c #Conflicts: 166000 | #Constraints: 39499
272.13/272.96 c #Conflicts: 167000 | #Constraints: 40499
272.13/272.96 c #Conflicts: 168000 | #Constraints: 41499
272.13/272.96 c #Conflicts: 169000 | #Constraints: 42499
272.13/272.96 c #Conflicts: 170000 | #Constraints: 43499
272.13/272.96 c #Conflicts: 171000 | #Constraints: 44499
272.13/272.96 c INPROCESSING
272.13/272.96 c GARBAGE COLLECT
272.13/272.96 c #Conflicts: 172000 | #Constraints: 37296
272.13/272.96 c #Conflicts: 173000 | #Constraints: 38296
272.13/272.96 c #Conflicts: 174000 | #Constraints: 39296
272.13/272.96 c #Conflicts: 175000 | #Constraints: 40296
272.13/272.96 c #Conflicts: 176000 | #Constraints: 41297
272.13/272.96 c #Conflicts: 177000 | #Constraints: 42297
272.13/272.96 c #Conflicts: 178000 | #Constraints: 43297
272.13/272.96 c #Conflicts: 179000 | #Constraints: 44297
272.13/272.96 c #Conflicts: 180000 | #Constraints: 45297
272.13/272.96 c INPROCESSING
272.13/272.96 c GARBAGE COLLECT
272.13/272.96 c #Conflicts: 181000 | #Constraints: 37898
272.13/272.96 c #Conflicts: 182000 | #Constraints: 38898
272.13/272.96 c #Conflicts: 183000 | #Constraints: 39898
272.13/272.96 c #Conflicts: 184000 | #Constraints: 40898
272.13/272.96 c #Conflicts: 185000 | #Constraints: 41901
272.13/272.96 c #Conflicts: 186000 | #Constraints: 42901
272.13/272.96 c #Conflicts: 187000 | #Constraints: 43901
272.13/272.96 c #Conflicts: 188000 | #Constraints: 44901
272.13/272.96 c #Conflicts: 189000 | #Constraints: 45901
272.13/272.96 c INPROCESSING
272.13/272.96 c GARBAGE COLLECT
272.13/272.96 c #Conflicts: 190000 | #Constraints: 38305
272.13/272.96 c #Conflicts: 191000 | #Constraints: 39321
278.51/279.34 c #Conflicts: 192000 | #Constraints: 40321
278.51/279.34 c #Conflicts: 193000 | #Constraints: 41321
278.51/279.34 c #Conflicts: 194000 | #Constraints: 42321
278.51/279.34 c #Conflicts: 195000 | #Constraints: 43321
278.51/279.34 c #Conflicts: 196000 | #Constraints: 44321
278.51/279.34 c #Conflicts: 197000 | #Constraints: 45321
278.51/279.34 c #Conflicts: 198000 | #Constraints: 46321
278.51/279.34 c INPROCESSING
278.51/279.34 c GARBAGE COLLECT
278.51/279.34 c rational objective 17.3333
315.13/316.01 c #Conflicts: 199000 | #Constraints: 38597
315.13/316.01 c #Conflicts: 200000 | #Constraints: 39597
315.13/316.01 c #Conflicts: 201000 | #Constraints: 40597
315.13/316.01 c #Conflicts: 202000 | #Constraints: 41597
315.13/316.01 c #Conflicts: 203000 | #Constraints: 42597
315.13/316.01 c #Conflicts: 204000 | #Constraints: 43597
315.13/316.01 c #Conflicts: 205000 | #Constraints: 44597
315.13/316.01 c #Conflicts: 206000 | #Constraints: 45597
315.13/316.01 c #Conflicts: 207000 | #Constraints: 46597
315.13/316.01 c INPROCESSING
315.13/316.01 c GARBAGE COLLECT
315.13/316.01 c rational objective 21.3333
316.23/317.19 c #Conflicts: 208000 | #Constraints: 38625
316.23/317.19 c #Conflicts: 209000 | #Constraints: 39625
316.23/317.19 c #Conflicts: 210000 | #Constraints: 40625
316.23/317.19 c #Conflicts: 211000 | #Constraints: 41625
316.23/317.19 c #Conflicts: 212000 | #Constraints: 42625
316.23/317.19 c #Conflicts: 213000 | #Constraints: 43625
316.23/317.19 c #Conflicts: 214000 | #Constraints: 44625
316.23/317.19 c #Conflicts: 215000 | #Constraints: 45625
316.23/317.19 c #Conflicts: 216000 | #Constraints: 46625
316.23/317.19 c GLOBAL bounds - >= 0 @ 313.821
316.32/317.20 c GLOBAL bounds - >= 0 @ 313.822
402.55/403.72 c INPROCESSING
402.55/403.72 c GARBAGE COLLECT
402.55/403.72 c #Conflicts: 217000 | #Constraints: 38359
402.55/403.72 c #Conflicts: 218000 | #Constraints: 39359
402.55/403.72 c #Conflicts: 219000 | #Constraints: 40359
402.55/403.72 c #Conflicts: 220000 | #Constraints: 41359
402.55/403.72 c #Conflicts: 221000 | #Constraints: 42359
402.55/403.72 c #Conflicts: 222000 | #Constraints: 43359
402.55/403.72 c #Conflicts: 223000 | #Constraints: 44359
402.55/403.72 c #Conflicts: 224000 | #Constraints: 45359
402.55/403.72 c #Conflicts: 225000 | #Constraints: 46359
402.55/403.72 c #Conflicts: 226000 | #Constraints: 47359
402.55/403.72 c INPROCESSING
402.55/403.72 c GARBAGE COLLECT
402.55/403.72 c rational objective 23.3333
452.71/454.09 c #Conflicts: 227000 | #Constraints: 39013
452.71/454.09 c #Conflicts: 228000 | #Constraints: 40013
452.71/454.09 c #Conflicts: 229000 | #Constraints: 41013
452.71/454.09 c #Conflicts: 230000 | #Constraints: 42013
452.71/454.09 c #Conflicts: 231000 | #Constraints: 43013
452.71/454.09 c #Conflicts: 232000 | #Constraints: 44013
452.71/454.09 c #Conflicts: 233000 | #Constraints: 45013
452.71/454.09 c #Conflicts: 234000 | #Constraints: 46013
452.71/454.09 c #Conflicts: 235000 | #Constraints: 47013
452.71/454.09 c #Conflicts: 236000 | #Constraints: 48013
452.71/454.09 c INPROCESSING
452.71/454.09 c GARBAGE COLLECT
452.71/454.09 c #Conflicts: 237000 | #Constraints: 39352
452.71/454.09 c #Conflicts: 238000 | #Constraints: 40352
452.71/454.09 c #Conflicts: 239000 | #Constraints: 41352
452.71/454.09 c #Conflicts: 240000 | #Constraints: 42352
452.71/454.09 c #Conflicts: 241000 | #Constraints: 43352
452.71/454.09 c #Conflicts: 242000 | #Constraints: 44352
452.71/454.09 c #Conflicts: 243000 | #Constraints: 45352
452.71/454.09 c #Conflicts: 244000 | #Constraints: 46352
452.71/454.09 c #Conflicts: 245000 | #Constraints: 47352
452.71/454.09 c #Conflicts: 246000 | #Constraints: 48352
452.71/454.09 c INPROCESSING
452.71/454.09 c GARBAGE COLLECT
452.71/454.09 c #Conflicts: 247000 | #Constraints: 39526
452.71/454.09 c #Conflicts: 248000 | #Constraints: 40526
452.71/454.09 c #Conflicts: 249000 | #Constraints: 41526
452.71/454.09 c #Conflicts: 250000 | #Constraints: 42526
452.71/454.09 c #Conflicts: 251000 | #Constraints: 43526
452.71/454.09 c #Conflicts: 252000 | #Constraints: 44526
452.71/454.09 c #Conflicts: 253000 | #Constraints: 45526
452.71/454.09 c #Conflicts: 254000 | #Constraints: 46526
452.71/454.09 c #Conflicts: 255000 | #Constraints: 47526
452.71/454.09 c #Conflicts: 256000 | #Constraints: 48526
452.71/454.09 c INPROCESSING
452.71/454.09 c GARBAGE COLLECT
452.71/454.09 c #Conflicts: 257000 | #Constraints: 39512
452.71/454.09 c #Conflicts: 258000 | #Constraints: 40512
452.71/454.09 c #Conflicts: 259000 | #Constraints: 41512
452.71/454.09 c #Conflicts: 260000 | #Constraints: 42512
452.71/454.09 c #Conflicts: 261000 | #Constraints: 43512
452.71/454.09 c #Conflicts: 262000 | #Constraints: 44512
452.71/454.09 c #Conflicts: 263000 | #Constraints: 45512
452.71/454.09 c #Conflicts: 264000 | #Constraints: 46512
452.71/454.09 c #Conflicts: 265000 | #Constraints: 47512
452.71/454.09 c #Conflicts: 266000 | #Constraints: 48512
452.71/454.09 c INPROCESSING
452.71/454.09 c GARBAGE COLLECT
452.71/454.09 c #Conflicts: 267000 | #Constraints: 39303
452.71/454.09 c #Conflicts: 268000 | #Constraints: 40303
452.71/454.09 c #Conflicts: 269000 | #Constraints: 41303
452.71/454.09 c #Conflicts: 270000 | #Constraints: 42303
452.71/454.09 c #Conflicts: 271000 | #Constraints: 43303
452.71/454.09 c #Conflicts: 272000 | #Constraints: 44303
452.71/454.09 c #Conflicts: 273000 | #Constraints: 45303
452.71/454.09 c #Conflicts: 274000 | #Constraints: 46303
452.71/454.09 c #Conflicts: 275000 | #Constraints: 47303
452.71/454.09 c #Conflicts: 276000 | #Constraints: 48303
452.71/454.09 c #Conflicts: 277000 | #Constraints: 49303
452.71/454.09 c INPROCESSING
452.71/454.09 c GARBAGE COLLECT
452.71/454.09 c #Conflicts: 278000 | #Constraints: 39895
452.71/454.09 c #Conflicts: 279000 | #Constraints: 40895
452.71/454.09 c #Conflicts: 280000 | #Constraints: 41895
452.71/454.09 c #Conflicts: 281000 | #Constraints: 42895
452.71/454.09 c #Conflicts: 282000 | #Constraints: 43895
452.71/454.09 c #Conflicts: 283000 | #Constraints: 44895
452.71/454.09 c #Conflicts: 284000 | #Constraints: 45895
452.71/454.09 c #Conflicts: 285000 | #Constraints: 46895
452.71/454.09 c #Conflicts: 286000 | #Constraints: 47895
452.71/454.09 c #Conflicts: 287000 | #Constraints: 48895
452.71/454.09 c #Conflicts: 288000 | #Constraints: 49895
452.71/454.09 c INPROCESSING
452.71/454.09 c GARBAGE COLLECT
452.71/454.09 c #Conflicts: 289000 | #Constraints: 40294
452.71/454.09 c #Conflicts: 290000 | #Constraints: 41294
452.71/454.09 c #Conflicts: 291000 | #Constraints: 42294
452.71/454.09 c #Conflicts: 292000 | #Constraints: 43294
452.71/454.09 c #Conflicts: 293000 | #Constraints: 44294
452.71/454.09 c #Conflicts: 294000 | #Constraints: 45294
452.71/454.09 c #Conflicts: 295000 | #Constraints: 46294
452.71/454.09 c #Conflicts: 296000 | #Constraints: 47294
452.71/454.09 c #Conflicts: 297000 | #Constraints: 48294
452.71/454.09 c #Conflicts: 298000 | #Constraints: 49294
452.71/454.09 c #Conflicts: 299000 | #Constraints: 50294
452.71/454.09 c INPROCESSING
452.71/454.09 c GARBAGE COLLECT
452.71/454.09 c #Conflicts: 300000 | #Constraints: 40498
452.71/454.09 c #Conflicts: 301000 | #Constraints: 41498
463.68/465.01 c #Conflicts: 302000 | #Constraints: 42498
463.68/465.01 c #Conflicts: 303000 | #Constraints: 43498
463.68/465.01 c #Conflicts: 304000 | #Constraints: 44498
463.68/465.01 c #Conflicts: 305000 | #Constraints: 45498
463.68/465.01 c #Conflicts: 306000 | #Constraints: 46498
463.68/465.01 c #Conflicts: 307000 | #Constraints: 47498
463.68/465.01 c #Conflicts: 308000 | #Constraints: 48498
463.68/465.01 c #Conflicts: 309000 | #Constraints: 49498
463.68/465.01 c #Conflicts: 310000 | #Constraints: 50498
463.68/465.01 c INPROCESSING
463.68/465.01 c GARBAGE COLLECT
463.68/465.01 c rational objective 23.3333
488.02/489.49 c #Conflicts: 311000 | #Constraints: 40569
488.02/489.49 c #Conflicts: 312000 | #Constraints: 41569
488.02/489.49 c #Conflicts: 313000 | #Constraints: 42569
488.02/489.49 c #Conflicts: 314000 | #Constraints: 43569
488.02/489.49 c #Conflicts: 315000 | #Constraints: 44569
488.02/489.49 c #Conflicts: 316000 | #Constraints: 45569
488.02/489.49 c #Conflicts: 317000 | #Constraints: 46569
488.02/489.49 c #Conflicts: 318000 | #Constraints: 47569
488.02/489.49 c #Conflicts: 319000 | #Constraints: 48569
488.02/489.49 c #Conflicts: 320000 | #Constraints: 49569
488.02/489.49 c #Conflicts: 321000 | #Constraints: 50569
488.02/489.49 c INPROCESSING
488.02/489.49 c GARBAGE COLLECT
488.02/489.49 c #Conflicts: 322000 | #Constraints: 40334
488.02/489.49 c #Conflicts: 323000 | #Constraints: 41334
488.02/489.49 c #Conflicts: 324000 | #Constraints: 42334
488.02/489.49 c #Conflicts: 325000 | #Constraints: 43334
488.02/489.49 c #Conflicts: 326000 | #Constraints: 44334
488.02/489.49 c #Conflicts: 327000 | #Constraints: 45334
488.02/489.49 c #Conflicts: 328000 | #Constraints: 46334
488.02/489.49 c #Conflicts: 329000 | #Constraints: 47334
488.02/489.49 c #Conflicts: 330000 | #Constraints: 48334
488.02/489.49 c #Conflicts: 331000 | #Constraints: 49334
488.02/489.49 c #Conflicts: 332000 | #Constraints: 50334
488.02/489.49 c #Conflicts: 333000 | #Constraints: 51334
488.02/489.49 c INPROCESSING
488.02/489.49 c GARBAGE COLLECT
488.02/489.49 c rational objective 23.3333
509.57/511.09 c #Conflicts: 334000 | #Constraints: 40985
509.57/511.09 c #Conflicts: 335000 | #Constraints: 41985
509.57/511.09 c #Conflicts: 336000 | #Constraints: 42985
509.57/511.09 c #Conflicts: 337000 | #Constraints: 43985
509.57/511.09 c #Conflicts: 338000 | #Constraints: 44985
509.57/511.09 c #Conflicts: 339000 | #Constraints: 45985
509.57/511.09 c #Conflicts: 340000 | #Constraints: 46985
509.57/511.09 c #Conflicts: 341000 | #Constraints: 47985
509.57/511.09 c #Conflicts: 342000 | #Constraints: 48985
509.57/511.09 c #Conflicts: 343000 | #Constraints: 49985
509.57/511.09 c #Conflicts: 344000 | #Constraints: 50985
509.57/511.09 c #Conflicts: 345000 | #Constraints: 51985
509.57/511.09 c INPROCESSING
509.57/511.09 c GARBAGE COLLECT
509.57/511.09 c rational objective 23.3333
534.20/535.77 c #Conflicts: 346000 | #Constraints: 41405
534.20/535.77 c #Conflicts: 347000 | #Constraints: 42405
534.20/535.77 c #Conflicts: 348000 | #Constraints: 43405
534.20/535.77 c #Conflicts: 349000 | #Constraints: 44405
534.20/535.77 c #Conflicts: 350000 | #Constraints: 45405
534.20/535.77 c #Conflicts: 351000 | #Constraints: 46405
534.20/535.77 c #Conflicts: 352000 | #Constraints: 47405
534.20/535.77 c #Conflicts: 353000 | #Constraints: 48405
534.20/535.77 c #Conflicts: 354000 | #Constraints: 49405
534.20/535.77 c #Conflicts: 355000 | #Constraints: 50405
534.20/535.77 c #Conflicts: 356000 | #Constraints: 51405
534.20/535.77 c #Conflicts: 357000 | #Constraints: 52405
534.20/535.77 c INPROCESSING
534.20/535.77 c GARBAGE COLLECT
534.20/535.77 c rational objective 23.3333
561.72/563.32 c #Conflicts: 358000 | #Constraints: 41617
561.72/563.32 c #Conflicts: 359000 | #Constraints: 42617
561.72/563.32 c #Conflicts: 360000 | #Constraints: 43617
561.72/563.32 c #Conflicts: 361000 | #Constraints: 44617
561.72/563.32 c #Conflicts: 362000 | #Constraints: 45617
561.72/563.32 c #Conflicts: 363000 | #Constraints: 46617
561.72/563.32 c #Conflicts: 364000 | #Constraints: 47618
561.72/563.32 c #Conflicts: 365000 | #Constraints: 48618
561.72/563.32 c #Conflicts: 366000 | #Constraints: 49618
561.72/563.32 c #Conflicts: 367000 | #Constraints: 50618
561.72/563.32 c #Conflicts: 368000 | #Constraints: 51618
561.72/563.32 c #Conflicts: 369000 | #Constraints: 52618
561.72/563.32 c INPROCESSING
561.72/563.32 c GARBAGE COLLECT
561.72/563.32 c #Conflicts: 370000 | #Constraints: 41555
561.72/563.32 c #Conflicts: 371000 | #Constraints: 42555
561.72/563.32 c #Conflicts: 372000 | #Constraints: 43555
561.72/563.32 c #Conflicts: 373000 | #Constraints: 44555
561.72/563.32 c #Conflicts: 374000 | #Constraints: 45555
561.72/563.32 c #Conflicts: 375000 | #Constraints: 46555
561.72/563.32 c #Conflicts: 376000 | #Constraints: 47555
561.72/563.32 c #Conflicts: 377000 | #Constraints: 48555
561.72/563.32 c #Conflicts: 378000 | #Constraints: 49555
561.72/563.32 c #Conflicts: 379000 | #Constraints: 50555
561.72/563.32 c #Conflicts: 380000 | #Constraints: 51555
561.72/563.32 c #Conflicts: 381000 | #Constraints: 52555
561.72/563.32 c INPROCESSING
561.72/563.32 c GARBAGE COLLECT
561.72/563.32 WSVECS04 Frhs2[7578]: 6 -20 0 shouldn't be
673.39/675.33 c #Conflicts: 382000 | #Constraints: 41330
673.39/675.33 c #Conflicts: 383000 | #Constraints: 42330
673.39/675.33 c #Conflicts: 384000 | #Constraints: 43330
673.39/675.33 c #Conflicts: 385000 | #Constraints: 44330
673.39/675.33 c #Conflicts: 386000 | #Constraints: 45330
673.39/675.33 c #Conflicts: 387000 | #Constraints: 46330
673.39/675.33 c #Conflicts: 388000 | #Constraints: 47330
673.39/675.33 c #Conflicts: 389000 | #Constraints: 48330
673.39/675.33 c #Conflicts: 390000 | #Constraints: 49330
673.39/675.33 c #Conflicts: 391000 | #Constraints: 50330
673.39/675.33 c #Conflicts: 392000 | #Constraints: 51330
673.39/675.33 c #Conflicts: 393000 | #Constraints: 52330
673.39/675.33 c #Conflicts: 394000 | #Constraints: 53330
673.39/675.33 c INPROCESSING
673.39/675.33 c GARBAGE COLLECT
673.39/675.33 c rational objective 23.6667
743.28/745.44 c #Conflicts: 395000 | #Constraints: 41970
743.28/745.44 c #Conflicts: 396000 | #Constraints: 42970
743.28/745.44 c #Conflicts: 397000 | #Constraints: 43971
743.28/745.44 c #Conflicts: 398000 | #Constraints: 44971
743.28/745.44 c #Conflicts: 399000 | #Constraints: 45971
743.28/745.44 c #Conflicts: 400000 | #Constraints: 46971
743.28/745.44 c #Conflicts: 401000 | #Constraints: 47971
743.28/745.44 c #Conflicts: 402000 | #Constraints: 48971
743.28/745.44 c #Conflicts: 403000 | #Constraints: 49971
743.28/745.44 c #Conflicts: 404000 | #Constraints: 50971
743.28/745.44 c #Conflicts: 405000 | #Constraints: 51971
743.28/745.44 c #Conflicts: 406000 | #Constraints: 52971
743.28/745.44 c #Conflicts: 407000 | #Constraints: 53971
743.28/745.44 c INPROCESSING
743.28/745.44 c GARBAGE COLLECT
743.28/745.44 c #Conflicts: 408000 | #Constraints: 42342
743.28/745.44 c #Conflicts: 409000 | #Constraints: 43342
743.28/745.44 c #Conflicts: 410000 | #Constraints: 44342
743.28/745.44 c #Conflicts: 411000 | #Constraints: 45342
743.28/745.44 c #Conflicts: 412000 | #Constraints: 46342
743.28/745.44 c #Conflicts: 413000 | #Constraints: 47342
743.28/745.44 c #Conflicts: 414000 | #Constraints: 48342
743.28/745.44 c #Conflicts: 415000 | #Constraints: 49342
743.28/745.44 c #Conflicts: 416000 | #Constraints: 50342
743.28/745.44 c #Conflicts: 417000 | #Constraints: 51342
743.28/745.44 c #Conflicts: 418000 | #Constraints: 52342
743.28/745.44 c #Conflicts: 419000 | #Constraints: 53342
743.28/745.44 c #Conflicts: 420000 | #Constraints: 54342
743.28/745.44 c INPROCESSING
743.28/745.44 c GARBAGE COLLECT
743.28/745.44 c #Conflicts: 421000 | #Constraints: 42518
743.28/745.44 c #Conflicts: 422000 | #Constraints: 43518
743.28/745.44 c #Conflicts: 423000 | #Constraints: 44518
743.28/745.44 c #Conflicts: 424000 | #Constraints: 45518
743.28/745.44 c #Conflicts: 425000 | #Constraints: 46518
743.28/745.44 c #Conflicts: 426000 | #Constraints: 47518
743.28/745.44 c #Conflicts: 427000 | #Constraints: 48522
743.28/745.44 c #Conflicts: 428000 | #Constraints: 49532
743.28/745.44 c #Conflicts: 429000 | #Constraints: 50535
743.28/745.44 c #Conflicts: 430000 | #Constraints: 51541
743.28/745.44 c #Conflicts: 431000 | #Constraints: 52543
743.28/745.44 c #Conflicts: 432000 | #Constraints: 53546
743.28/745.44 c #Conflicts: 433000 | #Constraints: 54547
743.28/745.44 c INPROCESSING
743.28/745.44 c GARBAGE COLLECT
743.28/745.44 c #Conflicts: 434000 | #Constraints: 42525
743.28/745.44 c #Conflicts: 435000 | #Constraints: 43531
743.28/745.44 c #Conflicts: 436000 | #Constraints: 44531
743.28/745.44 c #Conflicts: 437000 | #Constraints: 45541
743.28/745.44 c #Conflicts: 438000 | #Constraints: 46579
743.28/745.44 c #Conflicts: 439000 | #Constraints: 47786
743.28/745.44 c #Conflicts: 440000 | #Constraints: 48786
743.28/745.44 c #Conflicts: 441000 | #Constraints: 49787
743.28/745.44 c #Conflicts: 442000 | #Constraints: 50812
743.28/745.44 c #Conflicts: 443000 | #Constraints: 52297
743.28/745.44 c #Conflicts: 444000 | #Constraints: 53780
743.28/745.44 c #Conflicts: 445000 | #Constraints: 55272
743.28/745.44 c #Conflicts: 446000 | #Constraints: 56739
743.28/745.44 c INPROCESSING
743.28/745.44 c GARBAGE COLLECT
743.28/745.44 c #Conflicts: 447000 | #Constraints: 43557
743.28/745.44 c #Conflicts: 448000 | #Constraints: 44557
743.28/745.44 c #Conflicts: 449000 | #Constraints: 45557
743.28/745.44 c #Conflicts: 450000 | #Constraints: 46557
743.28/745.44 c #Conflicts: 451000 | #Constraints: 47557
743.28/745.44 c #Conflicts: 452000 | #Constraints: 48557
743.28/745.44 c #Conflicts: 453000 | #Constraints: 49557
743.28/745.44 c #Conflicts: 454000 | #Constraints: 50557
743.28/745.44 c #Conflicts: 455000 | #Constraints: 51557
743.28/745.44 c #Conflicts: 456000 | #Constraints: 52557
743.28/745.44 c #Conflicts: 457000 | #Constraints: 53557
743.28/745.44 c #Conflicts: 458000 | #Constraints: 54557
743.28/745.44 c #Conflicts: 459000 | #Constraints: 55558
743.28/745.44 c #Conflicts: 460000 | #Constraints: 56558
743.28/745.44 c INPROCESSING
743.28/745.44 c GARBAGE COLLECT
743.28/745.44 c #Conflicts: 461000 | #Constraints: 43529
743.28/745.44 c #Conflicts: 462000 | #Constraints: 44529
743.28/745.44 c #Conflicts: 463000 | #Constraints: 45529
743.28/745.44 c #Conflicts: 464000 | #Constraints: 46530
743.28/745.44 c #Conflicts: 465000 | #Constraints: 47530
743.28/745.44 c #Conflicts: 466000 | #Constraints: 48530
743.28/745.44 c #Conflicts: 467000 | #Constraints: 49533
743.28/745.44 c #Conflicts: 468000 | #Constraints: 50534
743.28/745.44 c #Conflicts: 469000 | #Constraints: 51534
743.28/745.44 c #Conflicts: 470000 | #Constraints: 52534
779.19/781.43 c #Conflicts: 471000 | #Constraints: 53537
779.19/781.43 c #Conflicts: 472000 | #Constraints: 54545
779.19/781.43 c #Conflicts: 473000 | #Constraints: 55545
779.19/781.43 c #Conflicts: 474000 | #Constraints: 56545
779.19/781.43 c INPROCESSING
779.19/781.43 c GARBAGE COLLECT
779.19/781.43 c #Conflicts: 475000 | #Constraints: 43629
779.19/781.43 c #Conflicts: 476000 | #Constraints: 44636
779.19/781.43 c #Conflicts: 477000 | #Constraints: 45636
779.19/781.43 c #Conflicts: 478000 | #Constraints: 46638
779.19/781.43 c #Conflicts: 479000 | #Constraints: 47642
779.19/781.43 c #Conflicts: 480000 | #Constraints: 48642
779.19/781.43 c #Conflicts: 481000 | #Constraints: 49644
779.19/781.43 c #Conflicts: 482000 | #Constraints: 50649
779.19/781.43 c #Conflicts: 483000 | #Constraints: 51650
779.19/781.43 c #Conflicts: 484000 | #Constraints: 52653
779.19/781.43 c #Conflicts: 485000 | #Constraints: 53654
779.19/781.43 c #Conflicts: 486000 | #Constraints: 54654
779.19/781.43 c #Conflicts: 487000 | #Constraints: 55655
779.19/781.43 c #Conflicts: 488000 | #Constraints: 56661
779.19/781.43 c INPROCESSING
779.19/781.43 c GARBAGE COLLECT
779.19/781.43 c #Conflicts: 489000 | #Constraints: 43684
779.19/781.43 c #Conflicts: 490000 | #Constraints: 44685
779.19/781.43 c #Conflicts: 491000 | #Constraints: 45689
779.19/781.43 c #Conflicts: 492000 | #Constraints: 46689
779.19/781.43 c #Conflicts: 493000 | #Constraints: 47689
779.19/781.43 c #Conflicts: 494000 | #Constraints: 48689
779.19/781.43 c #Conflicts: 495000 | #Constraints: 49700
779.19/781.43 c #Conflicts: 496000 | #Constraints: 50702
779.19/781.43 c #Conflicts: 497000 | #Constraints: 51702
779.19/781.43 c #Conflicts: 498000 | #Constraints: 52702
779.19/781.43 c #Conflicts: 499000 | #Constraints: 53705
779.19/781.43 c #Conflicts: 500000 | #Constraints: 54707
779.19/781.43 c #Conflicts: 501000 | #Constraints: 55707
779.19/781.43 c #Conflicts: 502000 | #Constraints: 56712
779.19/781.43 c INPROCESSING
779.19/781.43 c GARBAGE COLLECT
779.19/781.43 c rational objective 23.6667
820.36/822.78 c #Conflicts: 503000 | #Constraints: 43664
820.36/822.78 c #Conflicts: 504000 | #Constraints: 44665
820.36/822.78 c #Conflicts: 505000 | #Constraints: 45665
820.36/822.78 c #Conflicts: 506000 | #Constraints: 46665
820.36/822.78 c #Conflicts: 507000 | #Constraints: 47665
820.36/822.78 c #Conflicts: 508000 | #Constraints: 48665
820.36/822.78 c #Conflicts: 509000 | #Constraints: 49665
820.36/822.78 c #Conflicts: 510000 | #Constraints: 50665
820.36/822.78 c #Conflicts: 511000 | #Constraints: 51665
820.36/822.78 c #Conflicts: 512000 | #Constraints: 52665
820.36/822.78 c #Conflicts: 513000 | #Constraints: 53665
820.36/822.78 c #Conflicts: 514000 | #Constraints: 54665
820.36/822.78 c #Conflicts: 515000 | #Constraints: 55665
820.36/822.78 c #Conflicts: 516000 | #Constraints: 56665
820.36/822.78 c INPROCESSING
820.36/822.78 c GARBAGE COLLECT
820.36/822.78 WSVECS04 Frhs2[562]: 6 0 11 shouldn't be
820.36/822.78 WSVECS04 Frhs2[1282]: 6 0 11 shouldn't be
820.36/822.78 WSVECS04 Frhs2[1762]: 6 0 11.0001 shouldn't be
820.36/822.78 WSVECS04 Frhs2[2482]: 6 0 11.0001 shouldn't be
820.36/822.78 WSVECS04 Frhs2[3202]: 6 0 11.0001 shouldn't be
820.36/822.78 WSVECS04 Frhs2[4402]: 6 0 11 shouldn't be
820.36/822.78 WSVECS04 Frhs2[4882]: 6 0 11 shouldn't be
820.36/822.78 WSVECS04 Frhs2[5122]: 6 0 11 shouldn't be
820.36/822.78 WSVECS04 Frhs2[5362]: 6 0 11 shouldn't be
820.36/822.78 WSVECS04 Frhs2[5602]: 6 0 11 shouldn't be
820.36/822.78 WSVECS04 Frhs2[5842]: 6 0 11 shouldn't be
820.36/822.78 WSVECS04 Frhs2[6082]: 6 0 11.0001 shouldn't be
820.36/822.78 WSVECS04 Frhs2[6084]: 6 0 6.60007 shouldn't be
820.36/822.78 WSVECS04 Frhs2[6087]: 6 0 4.40002 shouldn't be
820.36/822.78 WSVECS04 Frhs2[6562]: 6 0 11.0001 shouldn't be
820.36/822.78 WSVECS04 Frhs2[7578]: 6 -20.0001 0 shouldn't be
833.02/835.43 c rational objective 23.6667
945.37/948.14 c #Conflicts: 517000 | #Constraints: 43430
945.37/948.14 c #Conflicts: 518000 | #Constraints: 44430
945.37/948.14 c #Conflicts: 519000 | #Constraints: 45430
945.37/948.14 c #Conflicts: 520000 | #Constraints: 46430
945.37/948.14 c #Conflicts: 521000 | #Constraints: 47430
945.37/948.14 c #Conflicts: 522000 | #Constraints: 48430
945.37/948.14 c #Conflicts: 523000 | #Constraints: 49430
945.37/948.14 c #Conflicts: 524000 | #Constraints: 50430
945.37/948.14 c #Conflicts: 525000 | #Constraints: 51430
945.37/948.14 c #Conflicts: 526000 | #Constraints: 52430
945.37/948.14 c #Conflicts: 527000 | #Constraints: 53430
945.37/948.14 c #Conflicts: 528000 | #Constraints: 54430
945.37/948.14 c #Conflicts: 529000 | #Constraints: 55430
945.37/948.14 c #Conflicts: 530000 | #Constraints: 56430
945.37/948.14 c #Conflicts: 531000 | #Constraints: 57430
945.37/948.14 c INPROCESSING
945.37/948.14 c GARBAGE COLLECT
945.37/948.14 c rational objective 32.6667
1035.86/1038.98 c #Conflicts: 532000 | #Constraints: 44031
1035.86/1038.98 c #Conflicts: 533000 | #Constraints: 45031
1035.86/1038.98 c #Conflicts: 534000 | #Constraints: 46031
1035.86/1038.98 c #Conflicts: 535000 | #Constraints: 47031
1035.86/1038.98 c #Conflicts: 536000 | #Constraints: 48031
1035.86/1038.98 c #Conflicts: 537000 | #Constraints: 49031
1035.86/1038.98 c #Conflicts: 538000 | #Constraints: 50031
1035.86/1038.98 c #Conflicts: 539000 | #Constraints: 51031
1035.86/1038.98 c #Conflicts: 540000 | #Constraints: 52031
1035.86/1038.98 c #Conflicts: 541000 | #Constraints: 53031
1035.86/1038.98 c #Conflicts: 542000 | #Constraints: 54031
1035.86/1038.98 c #Conflicts: 543000 | #Constraints: 55031
1035.86/1038.98 c #Conflicts: 544000 | #Constraints: 56031
1035.86/1038.98 c #Conflicts: 545000 | #Constraints: 57031
1035.86/1038.98 c #Conflicts: 546000 | #Constraints: 58031
1035.86/1038.98 c INPROCESSING
1035.86/1038.98 c GARBAGE COLLECT
1035.86/1038.98 c #Conflicts: 547000 | #Constraints: 44371
1035.86/1038.98 c #Conflicts: 548000 | #Constraints: 45372
1035.86/1038.98 c #Conflicts: 549000 | #Constraints: 46372
1035.86/1038.98 c #Conflicts: 550000 | #Constraints: 47372
1035.86/1038.98 c #Conflicts: 551000 | #Constraints: 48372
1035.86/1038.98 c #Conflicts: 552000 | #Constraints: 49372
1035.86/1038.98 c #Conflicts: 553000 | #Constraints: 50372
1035.86/1038.98 c #Conflicts: 554000 | #Constraints: 51372
1035.86/1038.98 c #Conflicts: 555000 | #Constraints: 52372
1035.86/1038.98 c #Conflicts: 556000 | #Constraints: 53372
1035.86/1038.98 c #Conflicts: 557000 | #Constraints: 54372
1035.86/1038.98 c #Conflicts: 558000 | #Constraints: 55372
1035.86/1038.98 c #Conflicts: 559000 | #Constraints: 56372
1035.86/1038.98 c #Conflicts: 560000 | #Constraints: 57372
1035.86/1038.98 c #Conflicts: 561000 | #Constraints: 58372
1035.86/1038.98 c INPROCESSING
1035.86/1038.98 c GARBAGE COLLECT
1035.86/1038.98 c #Conflicts: 562000 | #Constraints: 44541
1035.86/1038.98 c #Conflicts: 563000 | #Constraints: 45541
1035.86/1038.98 c #Conflicts: 564000 | #Constraints: 46541
1035.86/1038.98 c #Conflicts: 565000 | #Constraints: 47541
1035.86/1038.98 c #Conflicts: 566000 | #Constraints: 48541
1035.86/1038.98 c #Conflicts: 567000 | #Constraints: 49541
1035.86/1038.98 c #Conflicts: 568000 | #Constraints: 50541
1035.86/1038.98 c #Conflicts: 569000 | #Constraints: 51541
1035.86/1038.98 c #Conflicts: 570000 | #Constraints: 52541
1035.86/1038.98 c #Conflicts: 571000 | #Constraints: 53541
1035.86/1038.98 c #Conflicts: 572000 | #Constraints: 54541
1035.86/1038.98 c #Conflicts: 573000 | #Constraints: 55541
1035.86/1038.98 c #Conflicts: 574000 | #Constraints: 56541
1035.86/1038.98 c #Conflicts: 575000 | #Constraints: 57541
1035.86/1038.98 c #Conflicts: 576000 | #Constraints: 58541
1035.86/1038.98 c INPROCESSING
1035.86/1038.98 c GARBAGE COLLECT
1035.86/1038.98 c #Conflicts: 577000 | #Constraints: 44522
1035.86/1038.98 c #Conflicts: 578000 | #Constraints: 45522
1035.86/1038.98 c #Conflicts: 579000 | #Constraints: 46522
1035.86/1038.98 c #Conflicts: 580000 | #Constraints: 47522
1035.86/1038.98 c #Conflicts: 581000 | #Constraints: 48522
1035.86/1038.98 c #Conflicts: 582000 | #Constraints: 49522
1035.86/1038.98 c #Conflicts: 583000 | #Constraints: 50522
1035.86/1038.98 c #Conflicts: 584000 | #Constraints: 51522
1035.86/1038.98 c #Conflicts: 585000 | #Constraints: 52522
1035.86/1038.98 c #Conflicts: 586000 | #Constraints: 53522
1035.86/1038.98 c #Conflicts: 587000 | #Constraints: 54522
1035.86/1038.98 c #Conflicts: 588000 | #Constraints: 55522
1035.86/1038.98 c #Conflicts: 589000 | #Constraints: 56525
1035.86/1038.98 c #Conflicts: 590000 | #Constraints: 57527
1035.86/1038.98 c #Conflicts: 591000 | #Constraints: 58527
1035.86/1038.98 c INPROCESSING
1035.86/1038.98 c GARBAGE COLLECT
1035.86/1038.98 c #Conflicts: 592000 | #Constraints: 44317
1035.86/1038.98 c #Conflicts: 593000 | #Constraints: 45485
1035.86/1038.98 c #Conflicts: 594000 | #Constraints: 46963
1035.86/1038.98 c #Conflicts: 595000 | #Constraints: 48458
1035.86/1038.98 c #Conflicts: 596000 | #Constraints: 49957
1035.86/1038.98 c #Conflicts: 597000 | #Constraints: 51496
1035.86/1038.98 c #Conflicts: 598000 | #Constraints: 53010
1035.86/1038.98 c #Conflicts: 599000 | #Constraints: 54542
1035.86/1038.98 c #Conflicts: 600000 | #Constraints: 56070
1035.86/1038.98 c #Conflicts: 601000 | #Constraints: 57573
1035.86/1038.98 c #Conflicts: 602000 | #Constraints: 59094
1035.86/1038.98 c #Conflicts: 603000 | #Constraints: 60598
1035.86/1038.98 c #Conflicts: 604000 | #Constraints: 62168
1035.86/1038.98 c #Conflicts: 605000 | #Constraints: 63675
1035.86/1038.98 c #Conflicts: 606000 | #Constraints: 65230
1035.86/1038.98 c #Conflicts: 607000 | #Constraints: 66754
1035.86/1038.98 c INPROCESSING
1041.25/1044.38 c GARBAGE COLLECT
1041.25/1044.38 WSVECS04 Frhs2[7578]: 6 -20 0 shouldn't be
1041.25/1044.38 WSVECS04 Frhs2[7584]: 6 -10 0 shouldn't be
1124.42/1127.74 c #Conflicts: 608000 | #Constraints: 48686
1124.42/1127.74 c #Conflicts: 609000 | #Constraints: 49686
1124.42/1127.74 c #Conflicts: 610000 | #Constraints: 50686
1124.42/1127.74 c #Conflicts: 611000 | #Constraints: 51688
1124.42/1127.74 c #Conflicts: 612000 | #Constraints: 52688
1124.42/1127.74 c #Conflicts: 613000 | #Constraints: 53689
1124.42/1127.74 c #Conflicts: 614000 | #Constraints: 54691
1124.42/1127.74 c #Conflicts: 615000 | #Constraints: 55692
1124.42/1127.74 c #Conflicts: 616000 | #Constraints: 56692
1124.42/1127.74 c #Conflicts: 617000 | #Constraints: 57693
1124.42/1127.74 c #Conflicts: 618000 | #Constraints: 58695
1124.42/1127.74 c #Conflicts: 619000 | #Constraints: 59695
1124.42/1127.74 c #Conflicts: 620000 | #Constraints: 60749
1124.42/1127.74 c #Conflicts: 621000 | #Constraints: 61749
1124.42/1127.74 c #Conflicts: 622000 | #Constraints: 62749
1124.42/1127.74 c #Conflicts: 623000 | #Constraints: 63749
1124.42/1127.74 c INPROCESSING
1124.42/1127.74 c GARBAGE COLLECT
1124.42/1127.74 c #Conflicts: 624000 | #Constraints: 47232
1124.42/1127.74 c #Conflicts: 625000 | #Constraints: 48232
1124.42/1127.74 c #Conflicts: 626000 | #Constraints: 49404
1124.42/1127.74 c #Conflicts: 627000 | #Constraints: 50952
1124.42/1127.74 c #Conflicts: 628000 | #Constraints: 52489
1124.42/1127.74 c #Conflicts: 629000 | #Constraints: 54023
1124.42/1127.74 c #Conflicts: 630000 | #Constraints: 55528
1124.42/1127.74 c #Conflicts: 631000 | #Constraints: 57028
1124.42/1127.74 c #Conflicts: 632000 | #Constraints: 58533
1124.42/1127.74 c #Conflicts: 633000 | #Constraints: 60016
1124.42/1127.74 c #Conflicts: 634000 | #Constraints: 61493
1124.42/1127.74 c #Conflicts: 635000 | #Constraints: 62992
1124.42/1127.74 c #Conflicts: 636000 | #Constraints: 64522
1124.42/1127.74 c #Conflicts: 637000 | #Constraints: 66058
1124.42/1127.74 c #Conflicts: 638000 | #Constraints: 67574
1124.42/1127.74 c #Conflicts: 639000 | #Constraints: 69082
1124.42/1127.74 c INPROCESSING
1124.42/1127.74 c GARBAGE COLLECT
1124.42/1127.74 WSVECS04 Frhs2[7584]: 6 -12.0001 0 shouldn't be
1127.82/1131.15 c rational objective 32.6667
1245.51/1249.15 c #Conflicts: 640000 | #Constraints: 49962
1245.51/1249.15 c #Conflicts: 641000 | #Constraints: 50962
1245.51/1249.15 c #Conflicts: 642000 | #Constraints: 51962
1245.51/1249.15 c #Conflicts: 643000 | #Constraints: 52962
1245.51/1249.15 c #Conflicts: 644000 | #Constraints: 53962
1245.51/1249.15 c #Conflicts: 645000 | #Constraints: 54962
1245.51/1249.15 c #Conflicts: 646000 | #Constraints: 55962
1245.51/1249.15 c #Conflicts: 647000 | #Constraints: 56962
1245.51/1249.15 c #Conflicts: 648000 | #Constraints: 57962
1245.51/1249.15 c #Conflicts: 649000 | #Constraints: 58962
1245.51/1249.15 c #Conflicts: 650000 | #Constraints: 59962
1245.51/1249.15 c #Conflicts: 651000 | #Constraints: 60962
1245.51/1249.15 c #Conflicts: 652000 | #Constraints: 61962
1245.51/1249.15 c #Conflicts: 653000 | #Constraints: 62962
1245.51/1249.15 c #Conflicts: 654000 | #Constraints: 63962
1245.51/1249.15 c #Conflicts: 655000 | #Constraints: 64962
1245.51/1249.15 c INPROCESSING
1245.51/1249.15 c GARBAGE COLLECT
1245.51/1249.15 c rational objective 32.6667
1373.84/1377.88 c #Conflicts: 656000 | #Constraints: 47792
1373.84/1377.88 c #Conflicts: 657000 | #Constraints: 48792
1373.84/1377.88 c #Conflicts: 658000 | #Constraints: 49792
1373.84/1377.88 c #Conflicts: 659000 | #Constraints: 50792
1373.84/1377.88 c #Conflicts: 660000 | #Constraints: 51792
1373.84/1377.88 c #Conflicts: 661000 | #Constraints: 52792
1373.84/1377.88 c #Conflicts: 662000 | #Constraints: 53792
1373.84/1377.88 c #Conflicts: 663000 | #Constraints: 54792
1373.84/1377.88 c #Conflicts: 664000 | #Constraints: 55792
1373.84/1377.88 c #Conflicts: 665000 | #Constraints: 56792
1373.84/1377.88 c #Conflicts: 666000 | #Constraints: 57792
1373.84/1377.88 c #Conflicts: 667000 | #Constraints: 58792
1373.84/1377.88 c #Conflicts: 668000 | #Constraints: 59792
1373.84/1377.88 c #Conflicts: 669000 | #Constraints: 60792
1373.84/1377.88 c #Conflicts: 670000 | #Constraints: 61792
1373.84/1377.88 c #Conflicts: 671000 | #Constraints: 62792
1373.84/1377.88 c INPROCESSING
1373.84/1377.88 c GARBAGE COLLECT
1373.84/1377.88 c rational objective 32.6667
1408.64/1412.77 c #Conflicts: 672000 | #Constraints: 46518
1408.64/1412.77 c #Conflicts: 673000 | #Constraints: 47518
1408.64/1412.77 c #Conflicts: 674000 | #Constraints: 48518
1408.64/1412.77 c #Conflicts: 675000 | #Constraints: 49518
1408.64/1412.77 c #Conflicts: 676000 | #Constraints: 50518
1408.64/1412.77 c #Conflicts: 677000 | #Constraints: 51518
1408.64/1412.77 c #Conflicts: 678000 | #Constraints: 52518
1408.64/1412.77 c #Conflicts: 679000 | #Constraints: 53518
1408.64/1412.77 c #Conflicts: 680000 | #Constraints: 54518
1408.64/1412.77 c #Conflicts: 681000 | #Constraints: 55518
1408.64/1412.77 c #Conflicts: 682000 | #Constraints: 56518
1408.64/1412.77 c #Conflicts: 683000 | #Constraints: 57518
1408.64/1412.77 c #Conflicts: 684000 | #Constraints: 58518
1408.64/1412.77 c #Conflicts: 685000 | #Constraints: 59518
1408.64/1412.77 c #Conflicts: 686000 | #Constraints: 60518
1408.64/1412.77 c #Conflicts: 687000 | #Constraints: 61518
1408.64/1412.77 c #Conflicts: 688000 | #Constraints: 62518
1408.64/1412.77 c INPROCESSING
1408.64/1412.77 c GARBAGE COLLECT
1408.64/1412.77 c #Conflicts: 689000 | #Constraints: 46512
1408.64/1412.77 c #Conflicts: 690000 | #Constraints: 47512
1408.64/1412.77 c #Conflicts: 691000 | #Constraints: 48512
1408.64/1412.77 c #Conflicts: 692000 | #Constraints: 49512
1408.64/1412.77 c #Conflicts: 693000 | #Constraints: 50512
1408.64/1412.77 c #Conflicts: 694000 | #Constraints: 51512
1408.64/1412.77 c #Conflicts: 695000 | #Constraints: 52512
1408.64/1412.77 c #Conflicts: 696000 | #Constraints: 53512
1408.64/1412.77 c #Conflicts: 697000 | #Constraints: 54512
1408.64/1412.77 c #Conflicts: 698000 | #Constraints: 55512
1408.64/1412.77 c #Conflicts: 699000 | #Constraints: 56512
1408.64/1412.77 c #Conflicts: 700000 | #Constraints: 57512
1408.64/1412.77 c #Conflicts: 701000 | #Constraints: 58512
1408.64/1412.77 c #Conflicts: 702000 | #Constraints: 59512
1408.64/1412.77 c #Conflicts: 703000 | #Constraints: 60512
1408.64/1412.77 c #Conflicts: 704000 | #Constraints: 61512
1408.64/1412.77 c #Conflicts: 705000 | #Constraints: 62512
1408.64/1412.77 c INPROCESSING
1408.64/1412.77 c GARBAGE COLLECT
1408.64/1412.77 c #Conflicts: 706000 | #Constraints: 46613
1408.64/1412.77 c #Conflicts: 707000 | #Constraints: 47613
1408.64/1412.77 c #Conflicts: 708000 | #Constraints: 48613
1408.64/1412.77 c #Conflicts: 709000 | #Constraints: 49613
1408.64/1412.77 c #Conflicts: 710000 | #Constraints: 50613
1408.64/1412.77 c #Conflicts: 711000 | #Constraints: 51613
1408.64/1412.77 c #Conflicts: 712000 | #Constraints: 52613
1408.64/1412.77 c #Conflicts: 713000 | #Constraints: 53613
1408.64/1412.77 c #Conflicts: 714000 | #Constraints: 54613
1408.64/1412.77 c #Conflicts: 715000 | #Constraints: 55613
1408.64/1412.77 c #Conflicts: 716000 | #Constraints: 56613
1408.64/1412.77 c #Conflicts: 717000 | #Constraints: 57613
1408.64/1412.77 c #Conflicts: 718000 | #Constraints: 58613
1408.64/1412.77 c #Conflicts: 719000 | #Constraints: 59613
1408.64/1412.77 c #Conflicts: 720000 | #Constraints: 60613
1408.64/1412.77 c #Conflicts: 721000 | #Constraints: 61613
1408.64/1412.77 c #Conflicts: 722000 | #Constraints: 62613
1408.64/1412.77 c INPROCESSING
1408.64/1412.77 c GARBAGE COLLECT
1408.64/1412.77 c #Conflicts: 723000 | #Constraints: 46664
1408.64/1412.77 c #Conflicts: 724000 | #Constraints: 47664
1408.64/1412.77 c #Conflicts: 725000 | #Constraints: 48664
1408.64/1412.77 c #Conflicts: 726000 | #Constraints: 49664
1408.64/1412.77 c #Conflicts: 727000 | #Constraints: 50664
1408.64/1412.77 c #Conflicts: 728000 | #Constraints: 51664
1408.64/1412.77 c #Conflicts: 729000 | #Constraints: 52664
1408.64/1412.77 c #Conflicts: 730000 | #Constraints: 53664
1408.64/1412.77 c #Conflicts: 731000 | #Constraints: 54664
1408.64/1412.77 c #Conflicts: 732000 | #Constraints: 55664
1408.64/1412.77 c #Conflicts: 733000 | #Constraints: 56664
1408.64/1412.77 c #Conflicts: 734000 | #Constraints: 57664
1408.64/1412.77 c #Conflicts: 735000 | #Constraints: 58664
1408.64/1412.77 c #Conflicts: 736000 | #Constraints: 59664
1408.64/1412.77 c #Conflicts: 737000 | #Constraints: 60664
1408.64/1412.77 c #Conflicts: 738000 | #Constraints: 61664
1408.64/1412.77 c #Conflicts: 739000 | #Constraints: 62664
1408.64/1412.77 c INPROCESSING
1408.64/1412.77 c GARBAGE COLLECT
1408.64/1412.77 c #Conflicts: 740000 | #Constraints: 46587
1408.64/1412.77 c #Conflicts: 741000 | #Constraints: 47587
1408.64/1412.77 c #Conflicts: 742000 | #Constraints: 48587
1408.64/1412.77 c #Conflicts: 743000 | #Constraints: 49587
1408.64/1412.77 c #Conflicts: 744000 | #Constraints: 50587
1408.64/1412.77 c #Conflicts: 745000 | #Constraints: 51587
1408.64/1412.77 c #Conflicts: 746000 | #Constraints: 52587
1408.64/1412.77 c #Conflicts: 747000 | #Constraints: 53587
1408.64/1412.77 c #Conflicts: 748000 | #Constraints: 54587
1417.91/1422.03 c #Conflicts: 749000 | #Constraints: 55587
1417.91/1422.03 c #Conflicts: 750000 | #Constraints: 56587
1417.91/1422.03 c #Conflicts: 751000 | #Constraints: 57587
1417.91/1422.03 c #Conflicts: 752000 | #Constraints: 58587
1417.91/1422.03 c #Conflicts: 753000 | #Constraints: 59587
1417.91/1422.03 c #Conflicts: 754000 | #Constraints: 60587
1417.91/1422.03 c #Conflicts: 755000 | #Constraints: 61587
1417.91/1422.03 c #Conflicts: 756000 | #Constraints: 62587
1417.91/1422.03 c INPROCESSING
1417.91/1422.03 c GARBAGE COLLECT
1417.91/1422.03 c #Conflicts: 757000 | #Constraints: 46345
1417.91/1422.03 c #Conflicts: 758000 | #Constraints: 47345
1417.91/1422.03 c #Conflicts: 759000 | #Constraints: 48345
1417.91/1422.03 c #Conflicts: 760000 | #Constraints: 49345
1417.91/1422.03 c #Conflicts: 761000 | #Constraints: 50345
1417.91/1422.03 c #Conflicts: 762000 | #Constraints: 51345
1417.91/1422.03 c #Conflicts: 763000 | #Constraints: 52345
1417.91/1422.03 c #Conflicts: 764000 | #Constraints: 53345
1417.91/1422.03 c #Conflicts: 765000 | #Constraints: 54345
1417.91/1422.03 c #Conflicts: 766000 | #Constraints: 55345
1417.91/1422.03 c #Conflicts: 767000 | #Constraints: 56345
1417.91/1422.03 c #Conflicts: 768000 | #Constraints: 57345
1417.91/1422.03 c #Conflicts: 769000 | #Constraints: 58345
1417.91/1422.03 c #Conflicts: 770000 | #Constraints: 59345
1417.91/1422.03 c #Conflicts: 771000 | #Constraints: 60345
1417.91/1422.03 c #Conflicts: 772000 | #Constraints: 61345
1417.91/1422.03 c #Conflicts: 773000 | #Constraints: 62345
1417.91/1422.03 c #Conflicts: 774000 | #Constraints: 63345
1417.91/1422.03 c INPROCESSING
1417.91/1422.03 c GARBAGE COLLECT
1417.91/1422.03 WSVECS04 Frhs2[7577]: 6 -20 0 shouldn't be
1417.91/1422.03 WSVECS04 Frhs2[7578]: 6 -20.0001 0 shouldn't be
1441.05/1445.29 WSVECS04 Frhs2[7577]: 6 -20 0 shouldn't be
1441.05/1445.29 WSVECS04 Frhs2[7578]: 6 -20 0 shouldn't be
1497.91/1502.24 c #Conflicts: 775000 | #Constraints: 46928
1497.91/1502.24 c #Conflicts: 776000 | #Constraints: 47928
1497.91/1502.24 c #Conflicts: 777000 | #Constraints: 48928
1497.91/1502.24 c #Conflicts: 778000 | #Constraints: 49928
1497.91/1502.24 c #Conflicts: 779000 | #Constraints: 50928
1497.91/1502.24 c #Conflicts: 780000 | #Constraints: 51928
1497.91/1502.24 c #Conflicts: 781000 | #Constraints: 52928
1497.91/1502.24 c #Conflicts: 782000 | #Constraints: 53928
1497.91/1502.24 c #Conflicts: 783000 | #Constraints: 54928
1497.91/1502.24 c #Conflicts: 784000 | #Constraints: 55928
1497.91/1502.24 c #Conflicts: 785000 | #Constraints: 56928
1497.91/1502.24 c #Conflicts: 786000 | #Constraints: 57928
1497.91/1502.24 c #Conflicts: 787000 | #Constraints: 58928
1497.91/1502.24 c #Conflicts: 788000 | #Constraints: 59928
1497.91/1502.24 c #Conflicts: 789000 | #Constraints: 60928
1497.91/1502.24 c #Conflicts: 790000 | #Constraints: 61928
1497.91/1502.24 c #Conflicts: 791000 | #Constraints: 62928
1497.91/1502.24 c #Conflicts: 792000 | #Constraints: 63928
1497.91/1502.24 c INPROCESSING
1497.91/1502.24 c GARBAGE COLLECT
1497.91/1502.24 c #Conflicts: 793000 | #Constraints: 47319
1497.91/1502.24 c #Conflicts: 794000 | #Constraints: 48319
1497.91/1502.24 c #Conflicts: 795000 | #Constraints: 49319
1497.91/1502.24 c #Conflicts: 796000 | #Constraints: 50319
1497.91/1502.24 c #Conflicts: 797000 | #Constraints: 51319
1497.91/1502.24 c #Conflicts: 798000 | #Constraints: 52319
1497.91/1502.24 c #Conflicts: 799000 | #Constraints: 53319
1497.91/1502.24 c #Conflicts: 800000 | #Constraints: 54319
1497.91/1502.24 c #Conflicts: 801000 | #Constraints: 55319
1497.91/1502.24 c #Conflicts: 802000 | #Constraints: 56319
1497.91/1502.24 c #Conflicts: 803000 | #Constraints: 57319
1497.91/1502.24 c #Conflicts: 804000 | #Constraints: 58319
1497.91/1502.24 c #Conflicts: 805000 | #Constraints: 59319
1497.91/1502.24 c #Conflicts: 806000 | #Constraints: 60319
1497.91/1502.24 c #Conflicts: 807000 | #Constraints: 61319
1497.91/1502.24 c #Conflicts: 808000 | #Constraints: 62319
1497.91/1502.24 c #Conflicts: 809000 | #Constraints: 63391
1497.91/1502.24 c #Conflicts: 810000 | #Constraints: 64391
1497.91/1502.24 c INPROCESSING
1497.91/1502.24 c GARBAGE COLLECT
1497.91/1502.24 c rational objective 32.6667
1552.38/1556.84 c #Conflicts: 811000 | #Constraints: 47609
1552.38/1556.84 c #Conflicts: 812000 | #Constraints: 48609
1552.38/1556.84 c #Conflicts: 813000 | #Constraints: 49609
1552.38/1556.84 c #Conflicts: 814000 | #Constraints: 50609
1552.38/1556.84 c #Conflicts: 815000 | #Constraints: 51609
1552.38/1556.84 c #Conflicts: 816000 | #Constraints: 52609
1552.38/1556.84 c #Conflicts: 817000 | #Constraints: 53609
1552.38/1556.84 c #Conflicts: 818000 | #Constraints: 54609
1552.38/1556.84 c #Conflicts: 819000 | #Constraints: 55609
1552.38/1556.84 c #Conflicts: 820000 | #Constraints: 56609
1552.38/1556.84 c #Conflicts: 821000 | #Constraints: 57609
1552.38/1556.84 c #Conflicts: 822000 | #Constraints: 58609
1552.38/1556.84 c #Conflicts: 823000 | #Constraints: 59609
1552.38/1556.84 c #Conflicts: 824000 | #Constraints: 60609
1552.38/1556.84 c #Conflicts: 825000 | #Constraints: 61609
1552.38/1556.84 c #Conflicts: 826000 | #Constraints: 62609
1552.38/1556.84 c #Conflicts: 827000 | #Constraints: 63609
1552.38/1556.84 c #Conflicts: 828000 | #Constraints: 64609
1552.38/1556.84 c INPROCESSING
1552.38/1556.84 c GARBAGE COLLECT
1552.38/1556.84 c rational objective 32.6667
1648.66/1653.33 c #Conflicts: 829000 | #Constraints: 47625
1648.66/1653.33 c #Conflicts: 830000 | #Constraints: 48625
1648.66/1653.33 c #Conflicts: 831000 | #Constraints: 49625
1648.66/1653.33 c #Conflicts: 832000 | #Constraints: 50625
1648.66/1653.33 c #Conflicts: 833000 | #Constraints: 51625
1648.66/1653.33 c #Conflicts: 834000 | #Constraints: 52625
1648.66/1653.33 c #Conflicts: 835000 | #Constraints: 53625
1648.66/1653.33 c #Conflicts: 836000 | #Constraints: 54625
1648.66/1653.33 c #Conflicts: 837000 | #Constraints: 55625
1648.66/1653.33 c #Conflicts: 838000 | #Constraints: 56625
1648.66/1653.33 c #Conflicts: 839000 | #Constraints: 57625
1648.66/1653.33 c #Conflicts: 840000 | #Constraints: 58625
1648.66/1653.33 c #Conflicts: 841000 | #Constraints: 59625
1648.66/1653.33 c #Conflicts: 842000 | #Constraints: 60625
1648.66/1653.33 c #Conflicts: 843000 | #Constraints: 61625
1648.66/1653.33 c #Conflicts: 844000 | #Constraints: 62625
1648.66/1653.33 c #Conflicts: 845000 | #Constraints: 63625
1648.66/1653.33 c #Conflicts: 846000 | #Constraints: 64625
1648.66/1653.33 c INPROCESSING
1648.66/1653.33 c GARBAGE COLLECT
1648.66/1653.33 c rational objective 32.6667
1699.95/1704.72 c #Conflicts: 847000 | #Constraints: 47411
1699.95/1704.72 c #Conflicts: 848000 | #Constraints: 48411
1699.95/1704.72 c #Conflicts: 849000 | #Constraints: 49411
1699.95/1704.72 c #Conflicts: 850000 | #Constraints: 50411
1699.95/1704.72 c #Conflicts: 851000 | #Constraints: 51411
1699.95/1704.72 c #Conflicts: 852000 | #Constraints: 52411
1699.95/1704.72 c #Conflicts: 853000 | #Constraints: 53411
1699.95/1704.72 c #Conflicts: 854000 | #Constraints: 54411
1699.95/1704.72 c #Conflicts: 855000 | #Constraints: 55411
1699.95/1704.72 c #Conflicts: 856000 | #Constraints: 56411
1699.95/1704.72 c #Conflicts: 857000 | #Constraints: 57411
1699.95/1704.72 c #Conflicts: 858000 | #Constraints: 58411
1699.95/1704.72 c #Conflicts: 859000 | #Constraints: 59411
1699.95/1704.72 c #Conflicts: 860000 | #Constraints: 60411
1699.95/1704.72 c #Conflicts: 861000 | #Constraints: 61411
1699.95/1704.72 c #Conflicts: 862000 | #Constraints: 62411
1699.95/1704.72 c #Conflicts: 863000 | #Constraints: 63411
1699.95/1704.72 c #Conflicts: 864000 | #Constraints: 64411
1699.95/1704.72 c #Conflicts: 865000 | #Constraints: 65411
1699.95/1704.72 c INPROCESSING
1699.95/1704.72 c GARBAGE COLLECT
1699.95/1704.72 c #Conflicts: 866000 | #Constraints: 47961
1699.95/1704.72 c #Conflicts: 867000 | #Constraints: 48961
1699.95/1704.72 c #Conflicts: 868000 | #Constraints: 49961
1699.95/1704.72 c #Conflicts: 869000 | #Constraints: 50961
1699.95/1704.72 c #Conflicts: 870000 | #Constraints: 51961
1699.95/1704.72 c #Conflicts: 871000 | #Constraints: 52961
1699.95/1704.72 c #Conflicts: 872000 | #Constraints: 53961
1699.95/1704.72 c #Conflicts: 873000 | #Constraints: 54961
1699.95/1704.72 c #Conflicts: 874000 | #Constraints: 55961
1699.95/1704.72 c #Conflicts: 875000 | #Constraints: 56961
1699.95/1704.72 c #Conflicts: 876000 | #Constraints: 57961
1699.95/1704.72 c #Conflicts: 877000 | #Constraints: 58961
1699.95/1704.72 c #Conflicts: 878000 | #Constraints: 59961
1699.95/1704.72 c #Conflicts: 879000 | #Constraints: 60961
1699.95/1704.72 c #Conflicts: 880000 | #Constraints: 61961
1699.95/1704.72 c #Conflicts: 881000 | #Constraints: 62961
1699.95/1704.72 c #Conflicts: 882000 | #Constraints: 63961
1699.95/1704.72 c #Conflicts: 883000 | #Constraints: 64961
1699.95/1704.72 c #Conflicts: 884000 | #Constraints: 65961
1699.95/1704.72 c INPROCESSING
1699.95/1704.72 c GARBAGE COLLECT
1699.95/1704.72 c #Conflicts: 885000 | #Constraints: 48335
1699.95/1704.72 c #Conflicts: 886000 | #Constraints: 49335
1699.95/1704.72 c #Conflicts: 887000 | #Constraints: 50335
1699.95/1704.72 c #Conflicts: 888000 | #Constraints: 51335
1699.95/1704.72 c #Conflicts: 889000 | #Constraints: 52335
1699.95/1704.72 c #Conflicts: 890000 | #Constraints: 53335
1699.95/1704.72 c #Conflicts: 891000 | #Constraints: 54335
1699.95/1704.72 c #Conflicts: 892000 | #Constraints: 55335
1699.95/1704.72 c #Conflicts: 893000 | #Constraints: 56335
1699.95/1704.72 c #Conflicts: 894000 | #Constraints: 57335
1699.95/1704.72 c #Conflicts: 895000 | #Constraints: 58335
1699.95/1704.72 c #Conflicts: 896000 | #Constraints: 59335
1699.95/1704.72 c #Conflicts: 897000 | #Constraints: 60335
1699.95/1704.72 c #Conflicts: 898000 | #Constraints: 61335
1699.95/1704.72 c #Conflicts: 899000 | #Constraints: 62335
1699.95/1704.72 c #Conflicts: 900000 | #Constraints: 63335
1699.95/1704.72 c #Conflicts: 901000 | #Constraints: 64335
1699.95/1704.72 c #Conflicts: 902000 | #Constraints: 65335
1699.95/1704.72 c #Conflicts: 903000 | #Constraints: 66335
1699.95/1704.72 c INPROCESSING
1699.95/1704.72 c GARBAGE COLLECT
1699.95/1704.72 c #Conflicts: 904000 | #Constraints: 48518
1699.95/1704.72 c #Conflicts: 905000 | #Constraints: 49518
1699.95/1704.72 c #Conflicts: 906000 | #Constraints: 50518
1699.95/1704.72 c #Conflicts: 907000 | #Constraints: 51518
1699.95/1704.72 c #Conflicts: 908000 | #Constraints: 52518
1699.95/1704.72 c #Conflicts: 909000 | #Constraints: 53518
1699.95/1704.72 c #Conflicts: 910000 | #Constraints: 54518
1699.95/1704.72 c #Conflicts: 911000 | #Constraints: 55518
1699.95/1704.72 c #Conflicts: 912000 | #Constraints: 56518
1699.95/1704.72 c #Conflicts: 913000 | #Constraints: 57518
1699.95/1704.72 c #Conflicts: 914000 | #Constraints: 58518
1699.95/1704.72 c #Conflicts: 915000 | #Constraints: 59519
1699.95/1704.72 c #Conflicts: 916000 | #Constraints: 60519
1699.95/1704.72 c #Conflicts: 917000 | #Constraints: 61519
1699.95/1704.72 c #Conflicts: 918000 | #Constraints: 62519
1699.95/1704.72 c #Conflicts: 919000 | #Constraints: 63519
1699.95/1704.72 c #Conflicts: 920000 | #Constraints: 64519
1699.95/1704.72 c #Conflicts: 921000 | #Constraints: 65519
1699.95/1704.72 c #Conflicts: 922000 | #Constraints: 66519
1699.95/1704.72 c INPROCESSING
1699.95/1704.72 c GARBAGE COLLECT
1699.95/1704.72 c #Conflicts: 923000 | #Constraints: 48514
1719.80/1724.61 c #Conflicts: 924000 | #Constraints: 49514
1719.80/1724.61 c #Conflicts: 925000 | #Constraints: 50514
1719.80/1724.61 c #Conflicts: 926000 | #Constraints: 51514
1719.80/1724.61 c #Conflicts: 927000 | #Constraints: 52514
1719.80/1724.61 c #Conflicts: 928000 | #Constraints: 53514
1719.80/1724.61 c #Conflicts: 929000 | #Constraints: 54514
1719.80/1724.61 c #Conflicts: 930000 | #Constraints: 55514
1719.80/1724.61 c #Conflicts: 931000 | #Constraints: 56514
1719.80/1724.61 c #Conflicts: 932000 | #Constraints: 57514
1719.80/1724.61 c #Conflicts: 933000 | #Constraints: 58514
1719.80/1724.61 c #Conflicts: 934000 | #Constraints: 59514
1719.80/1724.61 c #Conflicts: 935000 | #Constraints: 60514
1719.80/1724.61 c #Conflicts: 936000 | #Constraints: 61514
1719.80/1724.61 c #Conflicts: 937000 | #Constraints: 62514
1719.80/1724.61 c #Conflicts: 938000 | #Constraints: 63514
1719.80/1724.61 c #Conflicts: 939000 | #Constraints: 64514
1719.80/1724.61 c #Conflicts: 940000 | #Constraints: 65514
1719.80/1724.61 c #Conflicts: 941000 | #Constraints: 66514
1719.80/1724.61 c INPROCESSING
1719.80/1724.61 c GARBAGE COLLECT
1719.80/1724.61 c rational objective 32.6667
1769.99/1774.91 c #Conflicts: 942000 | #Constraints: 48372
1769.99/1774.91 c #Conflicts: 943000 | #Constraints: 49372
1769.99/1774.91 c #Conflicts: 944000 | #Constraints: 50372
1769.99/1774.91 c #Conflicts: 945000 | #Constraints: 51372
1769.99/1774.91 c #Conflicts: 946000 | #Constraints: 52372
1769.99/1774.91 c #Conflicts: 947000 | #Constraints: 53372
1769.99/1774.91 c #Conflicts: 948000 | #Constraints: 54372
1769.99/1774.91 c #Conflicts: 949000 | #Constraints: 55372
1769.99/1774.91 c #Conflicts: 950000 | #Constraints: 56372
1769.99/1774.91 c #Conflicts: 951000 | #Constraints: 57372
1769.99/1774.91 c #Conflicts: 952000 | #Constraints: 58372
1769.99/1774.91 c #Conflicts: 953000 | #Constraints: 59372
1769.99/1774.91 c #Conflicts: 954000 | #Constraints: 60372
1769.99/1774.91 c #Conflicts: 955000 | #Constraints: 61372
1769.99/1774.91 c #Conflicts: 956000 | #Constraints: 62372
1769.99/1774.91 c #Conflicts: 957000 | #Constraints: 63372
1769.99/1774.91 c #Conflicts: 958000 | #Constraints: 64372
1769.99/1774.91 c #Conflicts: 959000 | #Constraints: 65372
1769.99/1774.91 c #Conflicts: 960000 | #Constraints: 66372
1769.99/1774.91 c #Conflicts: 961000 | #Constraints: 67372
1769.99/1774.91 c INPROCESSING
1769.99/1774.91 c GARBAGE COLLECT
1769.99/1774.91 c rational objective 32.6667
1888.72/1893.98 c #Conflicts: 962000 | #Constraints: 48986
1888.72/1893.98 c #Conflicts: 963000 | #Constraints: 49986
1888.72/1893.98 c #Conflicts: 964000 | #Constraints: 50986
1888.72/1893.98 c #Conflicts: 965000 | #Constraints: 51986
1888.72/1893.98 c #Conflicts: 966000 | #Constraints: 52986
1888.72/1893.98 c #Conflicts: 967000 | #Constraints: 53986
1888.72/1893.98 c #Conflicts: 968000 | #Constraints: 54986
1888.72/1893.98 c #Conflicts: 969000 | #Constraints: 55986
1888.72/1893.98 c #Conflicts: 970000 | #Constraints: 56986
1888.72/1893.98 c #Conflicts: 971000 | #Constraints: 57986
1888.72/1893.98 c #Conflicts: 972000 | #Constraints: 58986
1888.72/1893.98 c #Conflicts: 973000 | #Constraints: 59986
1888.72/1893.98 c #Conflicts: 974000 | #Constraints: 60986
1888.72/1893.98 c #Conflicts: 975000 | #Constraints: 61986
1888.72/1893.98 c #Conflicts: 976000 | #Constraints: 62986
1888.72/1893.98 c #Conflicts: 977000 | #Constraints: 63986
1888.72/1893.98 c #Conflicts: 978000 | #Constraints: 64986
1888.72/1893.98 c #Conflicts: 979000 | #Constraints: 65986
1888.72/1893.98 c #Conflicts: 980000 | #Constraints: 66986
1888.72/1893.98 c #Conflicts: 981000 | #Constraints: 67986
1888.72/1893.98 c INPROCESSING
1888.72/1893.98 c GARBAGE COLLECT
1888.72/1893.98 c rational objective 32.6667
1947.60/1952.90 c #Conflicts: 982000 | #Constraints: 49414
1947.60/1952.90 c #Conflicts: 983000 | #Constraints: 50414
1947.60/1952.90 c #Conflicts: 984000 | #Constraints: 51414
1947.60/1952.90 c #Conflicts: 985000 | #Constraints: 52414
1947.60/1952.90 c #Conflicts: 986000 | #Constraints: 53414
1947.60/1952.90 c #Conflicts: 987000 | #Constraints: 54414
1947.60/1952.90 c #Conflicts: 988000 | #Constraints: 55414
1947.60/1952.90 c #Conflicts: 989000 | #Constraints: 56414
1947.60/1952.90 c #Conflicts: 990000 | #Constraints: 57414
1947.60/1952.90 c #Conflicts: 991000 | #Constraints: 58414
1947.60/1952.90 c #Conflicts: 992000 | #Constraints: 59414
1947.60/1952.90 c #Conflicts: 993000 | #Constraints: 60414
1947.60/1952.90 c #Conflicts: 994000 | #Constraints: 61414
1947.60/1952.90 c #Conflicts: 995000 | #Constraints: 62414
1947.60/1952.90 c #Conflicts: 996000 | #Constraints: 63414
1947.60/1952.90 c #Conflicts: 997000 | #Constraints: 64414
1947.60/1952.90 c #Conflicts: 998000 | #Constraints: 65414
1947.60/1952.90 c #Conflicts: 999000 | #Constraints: 66414
1947.60/1952.90 c #Conflicts: 1000000 | #Constraints: 67414
1947.60/1952.90 c #Conflicts: 1001000 | #Constraints: 68414
1947.60/1952.90 c INPROCESSING
1947.60/1952.90 c GARBAGE COLLECT
1947.60/1952.90 c #Conflicts: 1002000 | #Constraints: 49559
1947.60/1952.90 c #Conflicts: 1003000 | #Constraints: 50559
1947.60/1952.90 c #Conflicts: 1004000 | #Constraints: 51559
1947.60/1952.90 c #Conflicts: 1005000 | #Constraints: 52559
1947.60/1952.90 c #Conflicts: 1006000 | #Constraints: 53559
1947.60/1952.90 c #Conflicts: 1007000 | #Constraints: 54559
1947.60/1952.90 c #Conflicts: 1008000 | #Constraints: 55559
1947.60/1952.90 c #Conflicts: 1009000 | #Constraints: 56559
1947.60/1952.90 c #Conflicts: 1010000 | #Constraints: 57559
1947.60/1952.90 c #Conflicts: 1011000 | #Constraints: 58559
1947.60/1952.90 c #Conflicts: 1012000 | #Constraints: 59559
1947.60/1952.90 c #Conflicts: 1013000 | #Constraints: 60559
1947.60/1952.90 c #Conflicts: 1014000 | #Constraints: 61559
1947.60/1952.90 c #Conflicts: 1015000 | #Constraints: 62559
1947.60/1952.90 c #Conflicts: 1016000 | #Constraints: 63559
1947.60/1952.90 c #Conflicts: 1017000 | #Constraints: 64559
1947.60/1952.90 c #Conflicts: 1018000 | #Constraints: 65559
1947.60/1952.90 c #Conflicts: 1019000 | #Constraints: 66559
1947.60/1952.90 c #Conflicts: 1020000 | #Constraints: 67559
1947.60/1952.90 c #Conflicts: 1021000 | #Constraints: 68559
1947.60/1952.90 c INPROCESSING
1947.60/1952.90 c GARBAGE COLLECT
1947.60/1952.90 c #Conflicts: 1022000 | #Constraints: 49531
1947.60/1952.90 c #Conflicts: 1023000 | #Constraints: 50531
1947.60/1952.90 c #Conflicts: 1024000 | #Constraints: 51531
1947.60/1952.90 c #Conflicts: 1025000 | #Constraints: 52531
1947.60/1952.90 c #Conflicts: 1026000 | #Constraints: 53531
1947.60/1952.90 c #Conflicts: 1027000 | #Constraints: 54531
1947.60/1952.90 c #Conflicts: 1028000 | #Constraints: 55531
1947.60/1952.90 c #Conflicts: 1029000 | #Constraints: 56531
1947.60/1952.90 c #Conflicts: 1030000 | #Constraints: 57531
1947.60/1952.90 c #Conflicts: 1031000 | #Constraints: 58531
1947.60/1952.90 c #Conflicts: 1032000 | #Constraints: 59531
1947.60/1952.90 c #Conflicts: 1033000 | #Constraints: 60531
1947.60/1952.90 c #Conflicts: 1034000 | #Constraints: 61531
1947.60/1952.90 c #Conflicts: 1035000 | #Constraints: 62531
1947.60/1952.90 c #Conflicts: 1036000 | #Constraints: 63531
1947.60/1952.90 c #Conflicts: 1037000 | #Constraints: 64531
1947.60/1952.90 c #Conflicts: 1038000 | #Constraints: 65531
1947.60/1952.90 c #Conflicts: 1039000 | #Constraints: 66531
1947.60/1952.90 c #Conflicts: 1040000 | #Constraints: 67531
1947.60/1952.90 c #Conflicts: 1041000 | #Constraints: 68531
1947.60/1952.90 c INPROCESSING
1947.60/1952.90 c GARBAGE COLLECT
1947.60/1952.90 c #Conflicts: 1042000 | #Constraints: 49325
1947.60/1952.90 c #Conflicts: 1043000 | #Constraints: 50325
1947.60/1952.90 c #Conflicts: 1044000 | #Constraints: 51325
1947.60/1952.90 c #Conflicts: 1045000 | #Constraints: 52325
1947.60/1952.90 c #Conflicts: 1046000 | #Constraints: 53325
1947.60/1952.90 c #Conflicts: 1047000 | #Constraints: 54325
1947.60/1952.90 c #Conflicts: 1048000 | #Constraints: 55325
1947.60/1952.90 c #Conflicts: 1049000 | #Constraints: 56325
1947.60/1952.90 c #Conflicts: 1050000 | #Constraints: 57325
1947.60/1952.90 c #Conflicts: 1051000 | #Constraints: 58325
1947.60/1952.90 c #Conflicts: 1052000 | #Constraints: 59325
1947.60/1952.90 c #Conflicts: 1053000 | #Constraints: 60325
1947.60/1952.90 c #Conflicts: 1054000 | #Constraints: 61325
1947.60/1952.90 c #Conflicts: 1055000 | #Constraints: 62325
1947.60/1952.90 c #Conflicts: 1056000 | #Constraints: 63325
1947.60/1952.90 c #Conflicts: 1057000 | #Constraints: 64325
1947.60/1952.90 c #Conflicts: 1058000 | #Constraints: 65325
1968.55/1973.97 c #Conflicts: 1059000 | #Constraints: 66325
1968.55/1973.97 c #Conflicts: 1060000 | #Constraints: 67325
1968.55/1973.97 c #Conflicts: 1061000 | #Constraints: 68325
1968.55/1973.97 c #Conflicts: 1062000 | #Constraints: 69325
1968.55/1973.97 c INPROCESSING
1968.55/1973.97 c GARBAGE COLLECT
1968.55/1973.97 c #Conflicts: 1063000 | #Constraints: 49917
1968.55/1973.97 c #Conflicts: 1064000 | #Constraints: 50917
1968.55/1973.97 c #Conflicts: 1065000 | #Constraints: 51917
1968.55/1973.97 c #Conflicts: 1066000 | #Constraints: 52917
1968.55/1973.97 c #Conflicts: 1067000 | #Constraints: 53917
1968.55/1973.97 c #Conflicts: 1068000 | #Constraints: 54917
1968.55/1973.97 c #Conflicts: 1069000 | #Constraints: 55917
1968.55/1973.97 c #Conflicts: 1070000 | #Constraints: 56917
1968.55/1973.97 c #Conflicts: 1071000 | #Constraints: 57917
1968.55/1973.97 c #Conflicts: 1072000 | #Constraints: 58917
1968.55/1973.97 c #Conflicts: 1073000 | #Constraints: 59917
1968.55/1973.97 c #Conflicts: 1074000 | #Constraints: 60917
1968.55/1973.97 c #Conflicts: 1075000 | #Constraints: 61917
1968.55/1973.97 c #Conflicts: 1076000 | #Constraints: 62917
1968.55/1973.97 c #Conflicts: 1077000 | #Constraints: 63917
1968.55/1973.97 c #Conflicts: 1078000 | #Constraints: 64917
1968.55/1973.97 c #Conflicts: 1079000 | #Constraints: 65917
1968.55/1973.97 c #Conflicts: 1080000 | #Constraints: 66917
1968.55/1973.97 c #Conflicts: 1081000 | #Constraints: 67917
1968.55/1973.97 c #Conflicts: 1082000 | #Constraints: 68917
1968.55/1973.97 c #Conflicts: 1083000 | #Constraints: 69917
1968.55/1973.97 c INPROCESSING
1968.55/1973.97 c GARBAGE COLLECT
1968.55/1973.97 c rational objective 32.6667
2005.86/2011.36 c #Conflicts: 1084000 | #Constraints: 50372
2005.86/2011.36 c #Conflicts: 1085000 | #Constraints: 51372
2005.86/2011.36 c #Conflicts: 1086000 | #Constraints: 52372
2005.86/2011.36 c #Conflicts: 1087000 | #Constraints: 53372
2005.86/2011.36 c #Conflicts: 1088000 | #Constraints: 54372
2005.86/2011.36 c #Conflicts: 1089000 | #Constraints: 55372
2005.86/2011.36 c #Conflicts: 1090000 | #Constraints: 56372
2005.86/2011.36 c #Conflicts: 1091000 | #Constraints: 57372
2005.86/2011.36 c #Conflicts: 1092000 | #Constraints: 58372
2005.86/2011.36 c #Conflicts: 1093000 | #Constraints: 59372
2005.86/2011.36 c #Conflicts: 1094000 | #Constraints: 60372
2005.86/2011.36 c #Conflicts: 1095000 | #Constraints: 61372
2005.86/2011.36 c #Conflicts: 1096000 | #Constraints: 62372
2005.86/2011.36 c #Conflicts: 1097000 | #Constraints: 63372
2005.86/2011.36 c #Conflicts: 1098000 | #Constraints: 64372
2005.86/2011.36 c #Conflicts: 1099000 | #Constraints: 65372
2005.86/2011.36 c #Conflicts: 1100000 | #Constraints: 66372
2005.86/2011.36 c #Conflicts: 1101000 | #Constraints: 67372
2005.86/2011.36 c #Conflicts: 1102000 | #Constraints: 68372
2005.86/2011.36 c #Conflicts: 1103000 | #Constraints: 69372
2005.86/2011.36 c #Conflicts: 1104000 | #Constraints: 70372
2005.86/2011.36 c INPROCESSING
2005.86/2011.36 c GARBAGE COLLECT
2005.86/2011.36 c rational objective 32.6667
2030.01/2035.51 c #Conflicts: 1105000 | #Constraints: 50590
2030.01/2035.51 c #Conflicts: 1106000 | #Constraints: 51590
2030.01/2035.51 c #Conflicts: 1107000 | #Constraints: 52590
2030.01/2035.51 c #Conflicts: 1108000 | #Constraints: 53590
2030.01/2035.51 c #Conflicts: 1109000 | #Constraints: 54590
2030.01/2035.51 c #Conflicts: 1110000 | #Constraints: 55590
2030.01/2035.51 c #Conflicts: 1111000 | #Constraints: 56590
2030.01/2035.51 c #Conflicts: 1112000 | #Constraints: 57590
2030.01/2035.51 c #Conflicts: 1113000 | #Constraints: 58590
2030.01/2035.51 c #Conflicts: 1114000 | #Constraints: 59590
2030.01/2035.51 c #Conflicts: 1115000 | #Constraints: 60590
2030.01/2035.51 c #Conflicts: 1116000 | #Constraints: 61590
2030.01/2035.51 c #Conflicts: 1117000 | #Constraints: 62590
2030.01/2035.51 c #Conflicts: 1118000 | #Constraints: 63590
2030.01/2035.51 c #Conflicts: 1119000 | #Constraints: 64590
2030.01/2035.51 c #Conflicts: 1120000 | #Constraints: 65590
2030.01/2035.51 c #Conflicts: 1121000 | #Constraints: 66590
2030.01/2035.51 c #Conflicts: 1122000 | #Constraints: 67590
2030.01/2035.51 c #Conflicts: 1123000 | #Constraints: 68590
2030.01/2035.51 c #Conflicts: 1124000 | #Constraints: 69590
2030.01/2035.51 c #Conflicts: 1125000 | #Constraints: 70590
2030.01/2035.51 c INPROCESSING
2030.01/2035.51 c GARBAGE COLLECT
2030.01/2035.51 c rational objective 32.6667
2050.07/2055.63 c #Conflicts: 1126000 | #Constraints: 50612
2050.07/2055.63 c #Conflicts: 1127000 | #Constraints: 51612
2050.07/2055.63 c #Conflicts: 1128000 | #Constraints: 52612
2050.07/2055.63 c #Conflicts: 1129000 | #Constraints: 53612
2050.07/2055.63 c #Conflicts: 1130000 | #Constraints: 54612
2050.07/2055.63 c #Conflicts: 1131000 | #Constraints: 55612
2050.07/2055.63 c #Conflicts: 1132000 | #Constraints: 56612
2050.07/2055.63 c #Conflicts: 1133000 | #Constraints: 57612
2050.07/2055.63 c #Conflicts: 1134000 | #Constraints: 58612
2050.07/2055.63 c #Conflicts: 1135000 | #Constraints: 59612
2050.07/2055.63 c #Conflicts: 1136000 | #Constraints: 60612
2050.07/2055.63 c #Conflicts: 1137000 | #Constraints: 61612
2050.07/2055.63 c #Conflicts: 1138000 | #Constraints: 62612
2050.07/2055.63 c #Conflicts: 1139000 | #Constraints: 63612
2050.07/2055.63 c #Conflicts: 1140000 | #Constraints: 64612
2050.07/2055.63 c #Conflicts: 1141000 | #Constraints: 65612
2050.07/2055.63 c #Conflicts: 1142000 | #Constraints: 66612
2050.07/2055.63 c #Conflicts: 1143000 | #Constraints: 67612
2050.07/2055.63 c #Conflicts: 1144000 | #Constraints: 68612
2050.07/2055.63 c #Conflicts: 1145000 | #Constraints: 69612
2050.07/2055.63 c #Conflicts: 1146000 | #Constraints: 70612
2050.07/2055.63 c INPROCESSING
2050.07/2055.63 c GARBAGE COLLECT
2050.07/2055.63 c rational objective 32.6667
2073.52/2079.17 c #Conflicts: 1147000 | #Constraints: 50405
2073.52/2079.17 c #Conflicts: 1148000 | #Constraints: 51405
2073.52/2079.17 c #Conflicts: 1149000 | #Constraints: 52405
2073.52/2079.17 c #Conflicts: 1150000 | #Constraints: 53405
2073.52/2079.17 c #Conflicts: 1151000 | #Constraints: 54405
2073.52/2079.17 c #Conflicts: 1152000 | #Constraints: 55405
2073.52/2079.17 c #Conflicts: 1153000 | #Constraints: 56405
2073.52/2079.17 c #Conflicts: 1154000 | #Constraints: 57405
2073.52/2079.17 c #Conflicts: 1155000 | #Constraints: 58405
2073.52/2079.17 c #Conflicts: 1156000 | #Constraints: 59405
2073.52/2079.17 c #Conflicts: 1157000 | #Constraints: 60405
2073.52/2079.17 c #Conflicts: 1158000 | #Constraints: 61405
2073.52/2079.17 c #Conflicts: 1159000 | #Constraints: 62405
2073.52/2079.17 c #Conflicts: 1160000 | #Constraints: 63405
2073.52/2079.17 c #Conflicts: 1161000 | #Constraints: 64405
2073.52/2079.17 c #Conflicts: 1162000 | #Constraints: 65405
2073.52/2079.17 c #Conflicts: 1163000 | #Constraints: 66405
2073.52/2079.17 c #Conflicts: 1164000 | #Constraints: 67405
2073.52/2079.17 c #Conflicts: 1165000 | #Constraints: 68405
2073.52/2079.17 c #Conflicts: 1166000 | #Constraints: 69405
2073.52/2079.17 c #Conflicts: 1167000 | #Constraints: 70405
2073.52/2079.17 c #Conflicts: 1168000 | #Constraints: 71405
2073.52/2079.17 c INPROCESSING
2073.52/2079.17 c GARBAGE COLLECT
2073.52/2079.17 c rational objective 32.6667
2099.16/2104.89 c #Conflicts: 1169000 | #Constraints: 51006
2099.16/2104.89 c #Conflicts: 1170000 | #Constraints: 52006
2099.16/2104.89 c #Conflicts: 1171000 | #Constraints: 53006
2099.16/2104.89 c #Conflicts: 1172000 | #Constraints: 54006
2099.16/2104.89 c #Conflicts: 1173000 | #Constraints: 55006
2099.16/2104.89 c #Conflicts: 1174000 | #Constraints: 56006
2099.16/2104.89 c #Conflicts: 1175000 | #Constraints: 57006
2099.16/2104.89 c #Conflicts: 1176000 | #Constraints: 58006
2099.16/2104.89 c #Conflicts: 1177000 | #Constraints: 59006
2099.16/2104.89 c #Conflicts: 1178000 | #Constraints: 60006
2099.16/2104.89 c #Conflicts: 1179000 | #Constraints: 61006
2099.16/2104.89 c #Conflicts: 1180000 | #Constraints: 62006
2099.16/2104.89 c #Conflicts: 1181000 | #Constraints: 63006
2099.16/2104.89 c #Conflicts: 1182000 | #Constraints: 64006
2099.16/2104.89 c #Conflicts: 1183000 | #Constraints: 65006
2099.16/2104.89 c #Conflicts: 1184000 | #Constraints: 66006
2099.16/2104.89 c #Conflicts: 1185000 | #Constraints: 67006
2099.16/2104.89 c #Conflicts: 1186000 | #Constraints: 68006
2099.16/2104.89 c #Conflicts: 1187000 | #Constraints: 69006
2099.16/2104.89 c #Conflicts: 1188000 | #Constraints: 70006
2099.16/2104.89 c #Conflicts: 1189000 | #Constraints: 71006
2099.16/2104.89 c #Conflicts: 1190000 | #Constraints: 72006
2099.16/2104.89 c INPROCESSING
2099.16/2104.89 c GARBAGE COLLECT
2099.16/2104.89 c rational objective 32.6667
2124.31/2130.00 c #Conflicts: 1191000 | #Constraints: 51412
2124.31/2130.00 c #Conflicts: 1192000 | #Constraints: 52412
2124.31/2130.00 c #Conflicts: 1193000 | #Constraints: 53412
2124.31/2130.00 c #Conflicts: 1194000 | #Constraints: 54412
2124.31/2130.00 c #Conflicts: 1195000 | #Constraints: 55412
2124.31/2130.00 c #Conflicts: 1196000 | #Constraints: 56412
2124.31/2130.00 c #Conflicts: 1197000 | #Constraints: 57412
2124.31/2130.00 c #Conflicts: 1198000 | #Constraints: 58412
2124.31/2130.00 c #Conflicts: 1199000 | #Constraints: 59412
2124.31/2130.00 c #Conflicts: 1200000 | #Constraints: 60412
2124.31/2130.00 c #Conflicts: 1201000 | #Constraints: 61412
2124.31/2130.00 c #Conflicts: 1202000 | #Constraints: 62412
2124.31/2130.00 c #Conflicts: 1203000 | #Constraints: 63412
2124.31/2130.00 c #Conflicts: 1204000 | #Constraints: 64412
2124.31/2130.00 c #Conflicts: 1205000 | #Constraints: 65412
2124.31/2130.00 c #Conflicts: 1206000 | #Constraints: 66412
2124.31/2130.00 c #Conflicts: 1207000 | #Constraints: 67412
2124.31/2130.00 c #Conflicts: 1208000 | #Constraints: 68412
2124.31/2130.00 c #Conflicts: 1209000 | #Constraints: 69412
2124.31/2130.00 c #Conflicts: 1210000 | #Constraints: 70412
2124.31/2130.00 c #Conflicts: 1211000 | #Constraints: 71412
2124.31/2130.00 c #Conflicts: 1212000 | #Constraints: 72412
2124.31/2130.00 c INPROCESSING
2124.31/2130.00 c GARBAGE COLLECT
2124.31/2130.00 c rational objective 32.6667
2149.25/2155.05 c #Conflicts: 1213000 | #Constraints: 51614
2149.25/2155.05 c #Conflicts: 1214000 | #Constraints: 52614
2149.25/2155.05 c #Conflicts: 1215000 | #Constraints: 53614
2149.25/2155.05 c #Conflicts: 1216000 | #Constraints: 54614
2149.25/2155.05 c #Conflicts: 1217000 | #Constraints: 55614
2149.25/2155.05 c #Conflicts: 1218000 | #Constraints: 56614
2149.25/2155.05 c #Conflicts: 1219000 | #Constraints: 57614
2149.25/2155.05 c #Conflicts: 1220000 | #Constraints: 58614
2149.25/2155.05 c #Conflicts: 1221000 | #Constraints: 59614
2149.25/2155.05 c #Conflicts: 1222000 | #Constraints: 60614
2149.25/2155.05 c #Conflicts: 1223000 | #Constraints: 61614
2149.25/2155.05 c #Conflicts: 1224000 | #Constraints: 62614
2149.25/2155.05 c #Conflicts: 1225000 | #Constraints: 63614
2149.25/2155.05 c #Conflicts: 1226000 | #Constraints: 64614
2149.25/2155.05 c #Conflicts: 1227000 | #Constraints: 65614
2149.25/2155.05 c #Conflicts: 1228000 | #Constraints: 66614
2149.25/2155.05 c #Conflicts: 1229000 | #Constraints: 67614
2149.25/2155.05 c #Conflicts: 1230000 | #Constraints: 68614
2149.25/2155.05 c #Conflicts: 1231000 | #Constraints: 69614
2149.25/2155.05 c #Conflicts: 1232000 | #Constraints: 70614
2149.25/2155.05 c #Conflicts: 1233000 | #Constraints: 71614
2149.25/2155.05 c #Conflicts: 1234000 | #Constraints: 72614
2149.25/2155.05 c INPROCESSING
2149.25/2155.05 c GARBAGE COLLECT
2149.25/2155.05 c rational objective 32.6667
2173.30/2179.17 c #Conflicts: 1235000 | #Constraints: 51622
2173.30/2179.17 c #Conflicts: 1236000 | #Constraints: 52622
2173.30/2179.17 c #Conflicts: 1237000 | #Constraints: 53622
2173.30/2179.17 c #Conflicts: 1238000 | #Constraints: 54622
2173.30/2179.17 c #Conflicts: 1239000 | #Constraints: 55622
2173.30/2179.17 c #Conflicts: 1240000 | #Constraints: 56622
2173.30/2179.17 c #Conflicts: 1241000 | #Constraints: 57622
2173.30/2179.17 c #Conflicts: 1242000 | #Constraints: 58622
2173.30/2179.17 c #Conflicts: 1243000 | #Constraints: 59622
2173.30/2179.17 c #Conflicts: 1244000 | #Constraints: 60622
2173.30/2179.17 c #Conflicts: 1245000 | #Constraints: 61622
2173.30/2179.17 c #Conflicts: 1246000 | #Constraints: 62622
2173.30/2179.17 c #Conflicts: 1247000 | #Constraints: 63622
2173.30/2179.17 c #Conflicts: 1248000 | #Constraints: 64622
2173.30/2179.17 c #Conflicts: 1249000 | #Constraints: 65622
2173.30/2179.17 c #Conflicts: 1250000 | #Constraints: 66622
2173.30/2179.17 c #Conflicts: 1251000 | #Constraints: 67622
2173.30/2179.17 c #Conflicts: 1252000 | #Constraints: 68622
2173.30/2179.17 c #Conflicts: 1253000 | #Constraints: 69622
2173.30/2179.17 c #Conflicts: 1254000 | #Constraints: 70622
2173.30/2179.17 c #Conflicts: 1255000 | #Constraints: 71622
2173.30/2179.17 c #Conflicts: 1256000 | #Constraints: 72622
2173.30/2179.17 c INPROCESSING
2173.30/2179.17 c GARBAGE COLLECT
2173.30/2179.17 c rational objective 32.6667
2203.12/2209.04 c #Conflicts: 1257000 | #Constraints: 51432
2203.12/2209.04 c #Conflicts: 1258000 | #Constraints: 52432
2203.12/2209.04 c #Conflicts: 1259000 | #Constraints: 53432
2203.12/2209.04 c #Conflicts: 1260000 | #Constraints: 54432
2203.12/2209.04 c #Conflicts: 1261000 | #Constraints: 55432
2203.12/2209.04 c #Conflicts: 1262000 | #Constraints: 56432
2203.12/2209.04 c #Conflicts: 1263000 | #Constraints: 57432
2203.12/2209.04 c #Conflicts: 1264000 | #Constraints: 58432
2203.12/2209.04 c #Conflicts: 1265000 | #Constraints: 59432
2203.12/2209.04 c #Conflicts: 1266000 | #Constraints: 60432
2203.12/2209.04 c #Conflicts: 1267000 | #Constraints: 61432
2203.12/2209.04 c #Conflicts: 1268000 | #Constraints: 62432
2203.12/2209.04 c #Conflicts: 1269000 | #Constraints: 63432
2203.12/2209.04 c #Conflicts: 1270000 | #Constraints: 64432
2203.12/2209.04 c #Conflicts: 1271000 | #Constraints: 65432
2203.12/2209.04 c #Conflicts: 1272000 | #Constraints: 66432
2203.12/2209.04 c #Conflicts: 1273000 | #Constraints: 67432
2203.12/2209.04 c #Conflicts: 1274000 | #Constraints: 68432
2203.12/2209.04 c #Conflicts: 1275000 | #Constraints: 69432
2203.12/2209.04 c #Conflicts: 1276000 | #Constraints: 70432
2203.12/2209.04 c #Conflicts: 1277000 | #Constraints: 71432
2203.12/2209.04 c #Conflicts: 1278000 | #Constraints: 72432
2203.12/2209.04 c #Conflicts: 1279000 | #Constraints: 73432
2203.12/2209.04 c INPROCESSING
2203.12/2209.04 c GARBAGE COLLECT
2203.12/2209.04 c rational objective 32.6667
2229.27/2235.25 c #Conflicts: 1280000 | #Constraints: 52025
2229.27/2235.25 c #Conflicts: 1281000 | #Constraints: 53025
2229.27/2235.25 c #Conflicts: 1282000 | #Constraints: 54025
2229.27/2235.25 c #Conflicts: 1283000 | #Constraints: 55025
2229.27/2235.25 c #Conflicts: 1284000 | #Constraints: 56025
2229.27/2235.25 c #Conflicts: 1285000 | #Constraints: 57025
2229.27/2235.25 c #Conflicts: 1286000 | #Constraints: 58025
2229.27/2235.25 c #Conflicts: 1287000 | #Constraints: 59025
2229.27/2235.25 c #Conflicts: 1288000 | #Constraints: 60025
2229.27/2235.25 c #Conflicts: 1289000 | #Constraints: 61025
2229.27/2235.25 c #Conflicts: 1290000 | #Constraints: 62025
2229.27/2235.25 c #Conflicts: 1291000 | #Constraints: 63025
2229.27/2235.25 c #Conflicts: 1292000 | #Constraints: 64025
2229.27/2235.25 c #Conflicts: 1293000 | #Constraints: 65025
2229.27/2235.25 c #Conflicts: 1294000 | #Constraints: 66025
2229.27/2235.25 c #Conflicts: 1295000 | #Constraints: 67025
2229.27/2235.25 c #Conflicts: 1296000 | #Constraints: 68025
2229.27/2235.25 c #Conflicts: 1297000 | #Constraints: 69025
2229.27/2235.25 c #Conflicts: 1298000 | #Constraints: 70025
2229.27/2235.25 c #Conflicts: 1299000 | #Constraints: 71025
2229.27/2235.25 c #Conflicts: 1300000 | #Constraints: 72025
2229.27/2235.25 c #Conflicts: 1301000 | #Constraints: 73025
2229.27/2235.25 c #Conflicts: 1302000 | #Constraints: 74025
2229.27/2235.25 c INPROCESSING
2229.27/2235.25 c GARBAGE COLLECT
2229.27/2235.25 c rational objective 32.6667
2251.72/2257.79 c #Conflicts: 1303000 | #Constraints: 52435
2251.72/2257.79 c #Conflicts: 1304000 | #Constraints: 53435
2251.72/2257.79 c #Conflicts: 1305000 | #Constraints: 54435
2251.72/2257.79 c #Conflicts: 1306000 | #Constraints: 55435
2251.72/2257.79 c #Conflicts: 1307000 | #Constraints: 56435
2251.72/2257.79 c #Conflicts: 1308000 | #Constraints: 57435
2251.72/2257.79 c #Conflicts: 1309000 | #Constraints: 58435
2251.72/2257.79 c #Conflicts: 1310000 | #Constraints: 59435
2251.72/2257.79 c #Conflicts: 1311000 | #Constraints: 60435
2251.72/2257.79 c #Conflicts: 1312000 | #Constraints: 61435
2251.72/2257.79 c #Conflicts: 1313000 | #Constraints: 62435
2251.72/2257.79 c #Conflicts: 1314000 | #Constraints: 63435
2251.72/2257.79 c #Conflicts: 1315000 | #Constraints: 64435
2251.72/2257.79 c #Conflicts: 1316000 | #Constraints: 65435
2251.72/2257.79 c #Conflicts: 1317000 | #Constraints: 66435
2251.72/2257.79 c #Conflicts: 1318000 | #Constraints: 67435
2251.72/2257.79 c #Conflicts: 1319000 | #Constraints: 68435
2251.72/2257.79 c #Conflicts: 1320000 | #Constraints: 69435
2251.72/2257.79 c #Conflicts: 1321000 | #Constraints: 70435
2251.72/2257.79 c #Conflicts: 1322000 | #Constraints: 71435
2251.72/2257.79 c #Conflicts: 1323000 | #Constraints: 72435
2251.72/2257.79 c #Conflicts: 1324000 | #Constraints: 73435
2251.72/2257.79 c #Conflicts: 1325000 | #Constraints: 74435
2251.72/2257.79 c INPROCESSING
2251.72/2257.79 c GARBAGE COLLECT
2251.72/2257.79 c rational objective 32.6667
2273.76/2279.85 c #Conflicts: 1326000 | #Constraints: 52612
2273.76/2279.85 c #Conflicts: 1327000 | #Constraints: 53612
2273.76/2279.85 c #Conflicts: 1328000 | #Constraints: 54612
2273.76/2279.85 c #Conflicts: 1329000 | #Constraints: 55612
2273.76/2279.85 c #Conflicts: 1330000 | #Constraints: 56612
2273.76/2279.85 c #Conflicts: 1331000 | #Constraints: 57612
2273.76/2279.85 c #Conflicts: 1332000 | #Constraints: 58612
2273.76/2279.85 c #Conflicts: 1333000 | #Constraints: 59612
2273.76/2279.85 c #Conflicts: 1334000 | #Constraints: 60612
2273.76/2279.85 c #Conflicts: 1335000 | #Constraints: 61612
2273.76/2279.85 c #Conflicts: 1336000 | #Constraints: 62612
2273.76/2279.85 c #Conflicts: 1337000 | #Constraints: 63612
2273.76/2279.85 c #Conflicts: 1338000 | #Constraints: 64612
2273.76/2279.85 c #Conflicts: 1339000 | #Constraints: 65612
2273.76/2279.85 c #Conflicts: 1340000 | #Constraints: 66612
2273.76/2279.85 c #Conflicts: 1341000 | #Constraints: 67612
2273.76/2279.85 c #Conflicts: 1342000 | #Constraints: 68612
2273.76/2279.85 c #Conflicts: 1343000 | #Constraints: 69612
2273.76/2279.85 c #Conflicts: 1344000 | #Constraints: 70612
2273.76/2279.85 c #Conflicts: 1345000 | #Constraints: 71612
2273.76/2279.85 c #Conflicts: 1346000 | #Constraints: 72612
2273.76/2279.85 c #Conflicts: 1347000 | #Constraints: 73612
2273.76/2279.85 c #Conflicts: 1348000 | #Constraints: 74612
2273.76/2279.85 c INPROCESSING
2273.76/2279.85 c GARBAGE COLLECT
2273.76/2279.85 c rational objective 32.6667
2299.60/2305.71 c #Conflicts: 1349000 | #Constraints: 52616
2299.60/2305.71 c #Conflicts: 1350000 | #Constraints: 53616
2299.60/2305.71 c #Conflicts: 1351000 | #Constraints: 54616
2299.60/2305.71 c #Conflicts: 1352000 | #Constraints: 55616
2299.60/2305.71 c #Conflicts: 1353000 | #Constraints: 56616
2299.60/2305.71 c #Conflicts: 1354000 | #Constraints: 57616
2299.60/2305.71 c #Conflicts: 1355000 | #Constraints: 58616
2299.60/2305.71 c #Conflicts: 1356000 | #Constraints: 59616
2299.60/2305.71 c #Conflicts: 1357000 | #Constraints: 60616
2299.60/2305.71 c #Conflicts: 1358000 | #Constraints: 61616
2299.60/2305.71 c #Conflicts: 1359000 | #Constraints: 62616
2299.60/2305.71 c #Conflicts: 1360000 | #Constraints: 63616
2299.60/2305.71 c #Conflicts: 1361000 | #Constraints: 64616
2299.60/2305.71 c #Conflicts: 1362000 | #Constraints: 65616
2299.60/2305.71 c #Conflicts: 1363000 | #Constraints: 66616
2299.60/2305.71 c #Conflicts: 1364000 | #Constraints: 67616
2299.60/2305.71 c #Conflicts: 1365000 | #Constraints: 68616
2299.60/2305.71 c #Conflicts: 1366000 | #Constraints: 69616
2299.60/2305.71 c #Conflicts: 1367000 | #Constraints: 70616
2299.60/2305.71 c #Conflicts: 1368000 | #Constraints: 71616
2299.60/2305.71 c #Conflicts: 1369000 | #Constraints: 72616
2299.60/2305.71 c #Conflicts: 1370000 | #Constraints: 73616
2299.60/2305.71 c #Conflicts: 1371000 | #Constraints: 74616
2299.60/2305.71 c INPROCESSING
2299.60/2305.71 c GARBAGE COLLECT
2299.60/2305.71 c rational objective 32.6667
2326.25/2332.41 c #Conflicts: 1372000 | #Constraints: 52435
2326.25/2332.41 c #Conflicts: 1373000 | #Constraints: 53435
2326.25/2332.41 c #Conflicts: 1374000 | #Constraints: 54435
2326.25/2332.41 c #Conflicts: 1375000 | #Constraints: 55435
2326.25/2332.41 c #Conflicts: 1376000 | #Constraints: 56435
2326.25/2332.41 c #Conflicts: 1377000 | #Constraints: 57435
2326.25/2332.41 c #Conflicts: 1378000 | #Constraints: 58435
2326.25/2332.41 c #Conflicts: 1379000 | #Constraints: 59435
2326.25/2332.41 c #Conflicts: 1380000 | #Constraints: 60435
2326.25/2332.41 c #Conflicts: 1381000 | #Constraints: 61435
2326.25/2332.41 c #Conflicts: 1382000 | #Constraints: 62435
2326.25/2332.41 c #Conflicts: 1383000 | #Constraints: 63435
2326.25/2332.41 c #Conflicts: 1384000 | #Constraints: 64435
2326.25/2332.41 c #Conflicts: 1385000 | #Constraints: 65435
2326.25/2332.41 c #Conflicts: 1386000 | #Constraints: 66435
2326.25/2332.41 c #Conflicts: 1387000 | #Constraints: 67435
2326.25/2332.41 c #Conflicts: 1388000 | #Constraints: 68435
2326.25/2332.41 c #Conflicts: 1389000 | #Constraints: 69435
2326.25/2332.41 c #Conflicts: 1390000 | #Constraints: 70435
2326.25/2332.41 c #Conflicts: 1391000 | #Constraints: 71435
2326.25/2332.41 c #Conflicts: 1392000 | #Constraints: 72435
2326.25/2332.41 c #Conflicts: 1393000 | #Constraints: 73435
2326.25/2332.41 c #Conflicts: 1394000 | #Constraints: 74435
2326.25/2332.41 c #Conflicts: 1395000 | #Constraints: 75435
2326.25/2332.41 c INPROCESSING
2326.25/2332.41 c GARBAGE COLLECT
2326.25/2332.41 c rational objective 32.6667
2347.10/2353.35 c #Conflicts: 1396000 | #Constraints: 53025
2347.10/2353.35 c #Conflicts: 1397000 | #Constraints: 54025
2347.10/2353.35 c #Conflicts: 1398000 | #Constraints: 55025
2347.10/2353.35 c #Conflicts: 1399000 | #Constraints: 56025
2347.10/2353.35 c #Conflicts: 1400000 | #Constraints: 57025
2347.10/2353.35 c #Conflicts: 1401000 | #Constraints: 58025
2347.10/2353.35 c #Conflicts: 1402000 | #Constraints: 59025
2347.10/2353.35 c #Conflicts: 1403000 | #Constraints: 60025
2347.10/2353.35 c #Conflicts: 1404000 | #Constraints: 61025
2347.10/2353.35 c #Conflicts: 1405000 | #Constraints: 62025
2347.10/2353.35 c #Conflicts: 1406000 | #Constraints: 63025
2347.10/2353.35 c #Conflicts: 1407000 | #Constraints: 64025
2347.10/2353.35 c #Conflicts: 1408000 | #Constraints: 65025
2347.10/2353.35 c #Conflicts: 1409000 | #Constraints: 66025
2347.10/2353.35 c #Conflicts: 1410000 | #Constraints: 67025
2347.10/2353.35 c #Conflicts: 1411000 | #Constraints: 68025
2347.10/2353.35 c #Conflicts: 1412000 | #Constraints: 69025
2347.10/2353.35 c #Conflicts: 1413000 | #Constraints: 70025
2347.10/2353.35 c #Conflicts: 1414000 | #Constraints: 71025
2347.10/2353.35 c #Conflicts: 1415000 | #Constraints: 72025
2347.10/2353.35 c #Conflicts: 1416000 | #Constraints: 73025
2347.10/2353.35 c #Conflicts: 1417000 | #Constraints: 74025
2347.10/2353.35 c #Conflicts: 1418000 | #Constraints: 75025
2347.10/2353.35 c #Conflicts: 1419000 | #Constraints: 76025
2347.10/2353.35 c INPROCESSING
2347.10/2353.35 c GARBAGE COLLECT
2347.10/2353.35 c rational objective 32.6667
2374.15/2380.49 c #Conflicts: 1420000 | #Constraints: 53412
2374.15/2380.49 c #Conflicts: 1421000 | #Constraints: 54412
2374.15/2380.49 c #Conflicts: 1422000 | #Constraints: 55412
2374.15/2380.49 c #Conflicts: 1423000 | #Constraints: 56412
2374.15/2380.49 c #Conflicts: 1424000 | #Constraints: 57412
2374.15/2380.49 c #Conflicts: 1425000 | #Constraints: 58412
2374.15/2380.49 c #Conflicts: 1426000 | #Constraints: 59412
2374.15/2380.49 c #Conflicts: 1427000 | #Constraints: 60412
2374.15/2380.49 c #Conflicts: 1428000 | #Constraints: 61412
2374.15/2380.49 c #Conflicts: 1429000 | #Constraints: 62412
2374.15/2380.49 c #Conflicts: 1430000 | #Constraints: 63412
2374.15/2380.49 c #Conflicts: 1431000 | #Constraints: 64412
2374.15/2380.49 c #Conflicts: 1432000 | #Constraints: 65412
2374.15/2380.49 c #Conflicts: 1433000 | #Constraints: 66412
2374.15/2380.49 c #Conflicts: 1434000 | #Constraints: 67412
2374.15/2380.49 c #Conflicts: 1435000 | #Constraints: 68412
2374.15/2380.49 c #Conflicts: 1436000 | #Constraints: 69412
2374.15/2380.49 c #Conflicts: 1437000 | #Constraints: 70412
2374.15/2380.49 c #Conflicts: 1438000 | #Constraints: 71412
2374.15/2380.49 c #Conflicts: 1439000 | #Constraints: 72412
2374.15/2380.49 c #Conflicts: 1440000 | #Constraints: 73412
2374.15/2380.49 c #Conflicts: 1441000 | #Constraints: 74412
2374.15/2380.49 c #Conflicts: 1442000 | #Constraints: 75412
2374.15/2380.49 c #Conflicts: 1443000 | #Constraints: 76412
2374.15/2380.49 c INPROCESSING
2374.15/2380.49 c GARBAGE COLLECT
2374.15/2380.49 c rational objective 32.6667
2402.48/2408.80 c #Conflicts: 1444000 | #Constraints: 53614
2402.48/2408.80 c #Conflicts: 1445000 | #Constraints: 54614
2402.48/2408.80 c #Conflicts: 1446000 | #Constraints: 55614
2402.48/2408.80 c #Conflicts: 1447000 | #Constraints: 56614
2402.48/2408.80 c #Conflicts: 1448000 | #Constraints: 57614
2402.48/2408.80 c #Conflicts: 1449000 | #Constraints: 58614
2402.48/2408.80 c #Conflicts: 1450000 | #Constraints: 59614
2402.48/2408.80 c #Conflicts: 1451000 | #Constraints: 60614
2402.48/2408.80 c #Conflicts: 1452000 | #Constraints: 61614
2402.48/2408.80 c #Conflicts: 1453000 | #Constraints: 62614
2402.48/2408.80 c #Conflicts: 1454000 | #Constraints: 63614
2402.48/2408.80 c #Conflicts: 1455000 | #Constraints: 64614
2402.48/2408.80 c #Conflicts: 1456000 | #Constraints: 65614
2402.48/2408.80 c #Conflicts: 1457000 | #Constraints: 66614
2402.48/2408.80 c #Conflicts: 1458000 | #Constraints: 67614
2402.48/2408.80 c #Conflicts: 1459000 | #Constraints: 68614
2402.48/2408.80 c #Conflicts: 1460000 | #Constraints: 69614
2402.48/2408.80 c #Conflicts: 1461000 | #Constraints: 70614
2402.48/2408.80 c #Conflicts: 1462000 | #Constraints: 71614
2402.48/2408.80 c #Conflicts: 1463000 | #Constraints: 72614
2402.48/2408.80 c #Conflicts: 1464000 | #Constraints: 73614
2402.48/2408.80 c #Conflicts: 1465000 | #Constraints: 74614
2402.48/2408.80 c #Conflicts: 1466000 | #Constraints: 75614
2402.48/2408.80 c #Conflicts: 1467000 | #Constraints: 76614
2402.48/2408.80 c INPROCESSING
2402.48/2408.80 c GARBAGE COLLECT
2402.48/2408.80 c rational objective 32.6667
2433.11/2439.51 c #Conflicts: 1468000 | #Constraints: 53623
2433.11/2439.51 c #Conflicts: 1469000 | #Constraints: 54623
2433.11/2439.51 c #Conflicts: 1470000 | #Constraints: 55623
2433.11/2439.51 c #Conflicts: 1471000 | #Constraints: 56623
2433.11/2439.51 c #Conflicts: 1472000 | #Constraints: 57623
2433.11/2439.51 c #Conflicts: 1473000 | #Constraints: 58623
2433.11/2439.51 c #Conflicts: 1474000 | #Constraints: 59623
2433.11/2439.51 c #Conflicts: 1475000 | #Constraints: 60623
2433.11/2439.51 c #Conflicts: 1476000 | #Constraints: 61623
2433.11/2439.51 c #Conflicts: 1477000 | #Constraints: 62623
2433.11/2439.51 c #Conflicts: 1478000 | #Constraints: 63623
2433.11/2439.51 c #Conflicts: 1479000 | #Constraints: 64623
2433.11/2439.51 c #Conflicts: 1480000 | #Constraints: 65623
2433.11/2439.51 c #Conflicts: 1481000 | #Constraints: 66623
2433.11/2439.51 c #Conflicts: 1482000 | #Constraints: 67623
2433.11/2439.51 c #Conflicts: 1483000 | #Constraints: 68623
2433.11/2439.51 c #Conflicts: 1484000 | #Constraints: 69623
2433.11/2439.51 c #Conflicts: 1485000 | #Constraints: 70623
2433.11/2439.51 c #Conflicts: 1486000 | #Constraints: 71623
2433.11/2439.51 c #Conflicts: 1487000 | #Constraints: 72623
2433.11/2439.51 c #Conflicts: 1488000 | #Constraints: 73623
2433.11/2439.51 c #Conflicts: 1489000 | #Constraints: 74623
2433.11/2439.51 c #Conflicts: 1490000 | #Constraints: 75623
2433.11/2439.51 c #Conflicts: 1491000 | #Constraints: 76623
2433.11/2439.51 c INPROCESSING
2433.11/2439.51 c GARBAGE COLLECT
2433.11/2439.51 c rational objective 32.6667
2457.66/2464.10 c #Conflicts: 1492000 | #Constraints: 53405
2457.66/2464.10 c #Conflicts: 1493000 | #Constraints: 54405
2457.66/2464.10 c #Conflicts: 1494000 | #Constraints: 55405
2457.66/2464.10 c #Conflicts: 1495000 | #Constraints: 56405
2457.66/2464.10 c #Conflicts: 1496000 | #Constraints: 57405
2457.66/2464.10 c #Conflicts: 1497000 | #Constraints: 58405
2457.66/2464.10 c #Conflicts: 1498000 | #Constraints: 59405
2457.66/2464.10 c #Conflicts: 1499000 | #Constraints: 60405
2457.66/2464.10 c #Conflicts: 1500000 | #Constraints: 61405
2457.66/2464.10 c #Conflicts: 1501000 | #Constraints: 62405
2457.66/2464.10 c #Conflicts: 1502000 | #Constraints: 63405
2457.66/2464.10 c #Conflicts: 1503000 | #Constraints: 64405
2457.66/2464.10 c #Conflicts: 1504000 | #Constraints: 65405
2457.66/2464.10 c #Conflicts: 1505000 | #Constraints: 66405
2457.66/2464.10 c #Conflicts: 1506000 | #Constraints: 67405
2457.66/2464.10 c #Conflicts: 1507000 | #Constraints: 68405
2457.66/2464.10 c #Conflicts: 1508000 | #Constraints: 69405
2457.66/2464.10 c #Conflicts: 1509000 | #Constraints: 70405
2457.66/2464.10 c #Conflicts: 1510000 | #Constraints: 71405
2457.66/2464.10 c #Conflicts: 1511000 | #Constraints: 72405
2457.66/2464.11 c #Conflicts: 1512000 | #Constraints: 73405
2457.66/2464.11 c #Conflicts: 1513000 | #Constraints: 74405
2457.66/2464.11 c #Conflicts: 1514000 | #Constraints: 75405
2457.66/2464.11 c #Conflicts: 1515000 | #Constraints: 76405
2457.66/2464.11 c #Conflicts: 1516000 | #Constraints: 77405
2457.66/2464.11 c INPROCESSING
2457.66/2464.11 c GARBAGE COLLECT
2457.66/2464.11 c rational objective 32.6667
2481.00/2487.51 c #Conflicts: 1517000 | #Constraints: 54009
2481.00/2487.51 c #Conflicts: 1518000 | #Constraints: 55009
2481.00/2487.51 c #Conflicts: 1519000 | #Constraints: 56009
2481.00/2487.51 c #Conflicts: 1520000 | #Constraints: 57009
2481.00/2487.51 c #Conflicts: 1521000 | #Constraints: 58009
2481.00/2487.51 c #Conflicts: 1522000 | #Constraints: 59009
2481.00/2487.51 c #Conflicts: 1523000 | #Constraints: 60009
2481.00/2487.51 c #Conflicts: 1524000 | #Constraints: 61009
2481.00/2487.51 c #Conflicts: 1525000 | #Constraints: 62009
2481.00/2487.51 c #Conflicts: 1526000 | #Constraints: 63009
2481.00/2487.51 c #Conflicts: 1527000 | #Constraints: 64009
2481.00/2487.51 c #Conflicts: 1528000 | #Constraints: 65009
2481.00/2487.51 c #Conflicts: 1529000 | #Constraints: 66009
2481.00/2487.51 c #Conflicts: 1530000 | #Constraints: 67009
2481.00/2487.51 c #Conflicts: 1531000 | #Constraints: 68009
2481.00/2487.51 c #Conflicts: 1532000 | #Constraints: 69009
2481.00/2487.51 c #Conflicts: 1533000 | #Constraints: 70009
2481.00/2487.51 c #Conflicts: 1534000 | #Constraints: 71009
2481.00/2487.51 c #Conflicts: 1535000 | #Constraints: 72009
2481.00/2487.51 c #Conflicts: 1536000 | #Constraints: 73009
2481.00/2487.51 c #Conflicts: 1537000 | #Constraints: 74009
2481.00/2487.51 c #Conflicts: 1538000 | #Constraints: 75009
2481.00/2487.51 c #Conflicts: 1539000 | #Constraints: 76009
2481.00/2487.51 c #Conflicts: 1540000 | #Constraints: 77009
2481.00/2487.51 c #Conflicts: 1541000 | #Constraints: 78009
2481.00/2487.51 c INPROCESSING
2481.00/2487.51 c GARBAGE COLLECT
2481.00/2487.51 c rational objective 32.6667
2507.74/2514.31 c #Conflicts: 1542000 | #Constraints: 54419
2507.74/2514.31 c #Conflicts: 1543000 | #Constraints: 55419
2507.74/2514.31 c #Conflicts: 1544000 | #Constraints: 56419
2507.74/2514.31 c #Conflicts: 1545000 | #Constraints: 57419
2507.74/2514.31 c #Conflicts: 1546000 | #Constraints: 58419
2507.74/2514.31 c #Conflicts: 1547000 | #Constraints: 59419
2507.74/2514.31 c #Conflicts: 1548000 | #Constraints: 60419
2507.74/2514.31 c #Conflicts: 1549000 | #Constraints: 61419
2507.74/2514.31 c #Conflicts: 1550000 | #Constraints: 62419
2507.74/2514.31 c #Conflicts: 1551000 | #Constraints: 63419
2507.74/2514.31 c #Conflicts: 1552000 | #Constraints: 64419
2507.74/2514.31 c #Conflicts: 1553000 | #Constraints: 65419
2507.74/2514.31 c #Conflicts: 1554000 | #Constraints: 66419
2507.74/2514.31 c #Conflicts: 1555000 | #Constraints: 67419
2507.74/2514.31 c #Conflicts: 1556000 | #Constraints: 68419
2507.74/2514.31 c #Conflicts: 1557000 | #Constraints: 69419
2507.74/2514.31 c #Conflicts: 1558000 | #Constraints: 70419
2507.74/2514.31 c #Conflicts: 1559000 | #Constraints: 71419
2507.74/2514.31 c #Conflicts: 1560000 | #Constraints: 72419
2507.74/2514.31 c #Conflicts: 1561000 | #Constraints: 73419
2507.74/2514.31 c #Conflicts: 1562000 | #Constraints: 74419
2507.74/2514.31 c #Conflicts: 1563000 | #Constraints: 75419
2507.74/2514.31 c #Conflicts: 1564000 | #Constraints: 76419
2507.74/2514.31 c #Conflicts: 1565000 | #Constraints: 77419
2507.74/2514.31 c #Conflicts: 1566000 | #Constraints: 78419
2507.74/2514.31 c INPROCESSING
2507.74/2514.31 c GARBAGE COLLECT
2507.74/2514.31 c rational objective 32.6667
2529.40/2536.05 c #Conflicts: 1567000 | #Constraints: 54621
2529.40/2536.05 c #Conflicts: 1568000 | #Constraints: 55621
2529.40/2536.05 c #Conflicts: 1569000 | #Constraints: 56621
2529.40/2536.05 c #Conflicts: 1570000 | #Constraints: 57621
2529.40/2536.05 c #Conflicts: 1571000 | #Constraints: 58621
2529.40/2536.05 c #Conflicts: 1572000 | #Constraints: 59621
2529.40/2536.05 c #Conflicts: 1573000 | #Constraints: 60621
2529.40/2536.05 c #Conflicts: 1574000 | #Constraints: 61621
2529.40/2536.05 c #Conflicts: 1575000 | #Constraints: 62621
2529.40/2536.05 c #Conflicts: 1576000 | #Constraints: 63621
2529.40/2536.05 c #Conflicts: 1577000 | #Constraints: 64621
2529.40/2536.05 c #Conflicts: 1578000 | #Constraints: 65621
2529.40/2536.05 c #Conflicts: 1579000 | #Constraints: 66621
2529.40/2536.05 c #Conflicts: 1580000 | #Constraints: 67621
2529.40/2536.05 c #Conflicts: 1581000 | #Constraints: 68621
2529.40/2536.05 c #Conflicts: 1582000 | #Constraints: 69621
2529.40/2536.05 c #Conflicts: 1583000 | #Constraints: 70621
2529.40/2536.05 c #Conflicts: 1584000 | #Constraints: 71621
2529.40/2536.05 c #Conflicts: 1585000 | #Constraints: 72621
2529.40/2536.05 c #Conflicts: 1586000 | #Constraints: 73621
2529.40/2536.05 c #Conflicts: 1587000 | #Constraints: 74621
2529.40/2536.05 c #Conflicts: 1588000 | #Constraints: 75621
2529.40/2536.05 c #Conflicts: 1589000 | #Constraints: 76621
2529.40/2536.05 c #Conflicts: 1590000 | #Constraints: 77621
2529.40/2536.05 c #Conflicts: 1591000 | #Constraints: 78621
2529.40/2536.05 c INPROCESSING
2529.40/2536.05 c GARBAGE COLLECT
2529.40/2536.05 c rational objective 32.6667
2559.03/2565.76 c #Conflicts: 1592000 | #Constraints: 54623
2559.03/2565.76 c #Conflicts: 1593000 | #Constraints: 55623
2559.03/2565.76 c #Conflicts: 1594000 | #Constraints: 56623
2559.03/2565.76 c #Conflicts: 1595000 | #Constraints: 57623
2559.03/2565.76 c #Conflicts: 1596000 | #Constraints: 58623
2559.03/2565.76 c #Conflicts: 1597000 | #Constraints: 59623
2559.03/2565.76 c #Conflicts: 1598000 | #Constraints: 60623
2559.03/2565.76 c #Conflicts: 1599000 | #Constraints: 61623
2559.03/2565.76 c #Conflicts: 1600000 | #Constraints: 62623
2559.03/2565.76 c #Conflicts: 1601000 | #Constraints: 63623
2559.03/2565.76 c #Conflicts: 1602000 | #Constraints: 64623
2559.03/2565.76 c #Conflicts: 1603000 | #Constraints: 65623
2559.03/2565.76 c #Conflicts: 1604000 | #Constraints: 66623
2559.03/2565.76 c #Conflicts: 1605000 | #Constraints: 67623
2559.03/2565.76 c #Conflicts: 1606000 | #Constraints: 68623
2559.03/2565.76 c #Conflicts: 1607000 | #Constraints: 69623
2559.03/2565.76 c #Conflicts: 1608000 | #Constraints: 70623
2559.03/2565.76 c #Conflicts: 1609000 | #Constraints: 71623
2559.03/2565.76 c #Conflicts: 1610000 | #Constraints: 72623
2559.03/2565.76 c #Conflicts: 1611000 | #Constraints: 73623
2559.03/2565.76 c #Conflicts: 1612000 | #Constraints: 74623
2559.03/2565.76 c #Conflicts: 1613000 | #Constraints: 75623
2559.03/2565.76 c #Conflicts: 1614000 | #Constraints: 76623
2559.03/2565.76 c #Conflicts: 1615000 | #Constraints: 77623
2559.03/2565.76 c #Conflicts: 1616000 | #Constraints: 78623
2559.03/2565.76 c INPROCESSING
2559.03/2565.76 c GARBAGE COLLECT
2559.03/2565.76 c rational objective 32.6667
2596.84/2603.67 c #Conflicts: 1617000 | #Constraints: 54430
2596.84/2603.67 c #Conflicts: 1618000 | #Constraints: 55430
2596.84/2603.67 c #Conflicts: 1619000 | #Constraints: 56430
2596.84/2603.67 c #Conflicts: 1620000 | #Constraints: 57430
2596.84/2603.67 c #Conflicts: 1621000 | #Constraints: 58430
2596.84/2603.67 c #Conflicts: 1622000 | #Constraints: 59430
2596.84/2603.67 c #Conflicts: 1623000 | #Constraints: 60430
2596.84/2603.67 c #Conflicts: 1624000 | #Constraints: 61430
2596.84/2603.67 c #Conflicts: 1625000 | #Constraints: 62430
2596.84/2603.67 c #Conflicts: 1626000 | #Constraints: 63430
2596.84/2603.67 c #Conflicts: 1627000 | #Constraints: 64430
2596.84/2603.67 c #Conflicts: 1628000 | #Constraints: 65430
2596.84/2603.67 c #Conflicts: 1629000 | #Constraints: 66430
2596.84/2603.67 c #Conflicts: 1630000 | #Constraints: 67430
2596.84/2603.67 c #Conflicts: 1631000 | #Constraints: 68430
2596.84/2603.67 c #Conflicts: 1632000 | #Constraints: 69430
2596.84/2603.67 c #Conflicts: 1633000 | #Constraints: 70430
2596.84/2603.67 c #Conflicts: 1634000 | #Constraints: 71430
2596.84/2603.67 c #Conflicts: 1635000 | #Constraints: 72430
2596.84/2603.67 c #Conflicts: 1636000 | #Constraints: 73430
2596.84/2603.67 c #Conflicts: 1637000 | #Constraints: 74430
2596.84/2603.67 c #Conflicts: 1638000 | #Constraints: 75430
2596.84/2603.67 c #Conflicts: 1639000 | #Constraints: 76430
2596.84/2603.67 c #Conflicts: 1640000 | #Constraints: 77430
2596.84/2603.67 c #Conflicts: 1641000 | #Constraints: 78430
2596.84/2603.67 c #Conflicts: 1642000 | #Constraints: 79430
2596.84/2603.67 c INPROCESSING
2596.84/2603.67 c GARBAGE COLLECT
2596.84/2603.67 c rational objective 32.6667
2643.54/2650.41 c #Conflicts: 1643000 | #Constraints: 55021
2643.54/2650.41 c #Conflicts: 1644000 | #Constraints: 56021
2643.54/2650.41 c #Conflicts: 1645000 | #Constraints: 57021
2643.54/2650.41 c #Conflicts: 1646000 | #Constraints: 58021
2643.54/2650.41 c #Conflicts: 1647000 | #Constraints: 59021
2643.54/2650.41 c #Conflicts: 1648000 | #Constraints: 60021
2643.54/2650.41 c #Conflicts: 1649000 | #Constraints: 61021
2643.54/2650.41 c #Conflicts: 1650000 | #Constraints: 62021
2643.54/2650.41 c #Conflicts: 1651000 | #Constraints: 63021
2643.54/2650.41 c #Conflicts: 1652000 | #Constraints: 64021
2643.54/2650.41 c #Conflicts: 1653000 | #Constraints: 65021
2643.54/2650.41 c #Conflicts: 1654000 | #Constraints: 66021
2643.54/2650.41 c #Conflicts: 1655000 | #Constraints: 67021
2643.54/2650.41 c #Conflicts: 1656000 | #Constraints: 68021
2643.54/2650.41 c #Conflicts: 1657000 | #Constraints: 69021
2643.54/2650.41 c #Conflicts: 1658000 | #Constraints: 70021
2643.54/2650.41 c #Conflicts: 1659000 | #Constraints: 71021
2643.54/2650.41 c #Conflicts: 1660000 | #Constraints: 72021
2643.54/2650.41 c #Conflicts: 1661000 | #Constraints: 73021
2643.54/2650.41 c #Conflicts: 1662000 | #Constraints: 74021
2643.54/2650.41 c #Conflicts: 1663000 | #Constraints: 75021
2643.54/2650.41 c #Conflicts: 1664000 | #Constraints: 76022
2643.54/2650.41 c #Conflicts: 1665000 | #Constraints: 77022
2643.54/2650.41 c #Conflicts: 1666000 | #Constraints: 78022
2643.54/2650.41 c #Conflicts: 1667000 | #Constraints: 79022
2643.54/2650.41 c #Conflicts: 1668000 | #Constraints: 80022
2643.54/2650.41 c INPROCESSING
2643.54/2650.41 c GARBAGE COLLECT
2643.54/2650.41 c rational objective 32.6667
2748.30/2755.46 c #Conflicts: 1669000 | #Constraints: 55421
2748.30/2755.46 c #Conflicts: 1670000 | #Constraints: 56421
2748.30/2755.46 c #Conflicts: 1671000 | #Constraints: 57421
2748.30/2755.46 c #Conflicts: 1672000 | #Constraints: 58421
2748.30/2755.46 c #Conflicts: 1673000 | #Constraints: 59421
2748.30/2755.46 c #Conflicts: 1674000 | #Constraints: 60421
2748.30/2755.46 c #Conflicts: 1675000 | #Constraints: 61421
2748.30/2755.46 c #Conflicts: 1676000 | #Constraints: 62421
2748.30/2755.46 c #Conflicts: 1677000 | #Constraints: 63421
2748.30/2755.46 c #Conflicts: 1678000 | #Constraints: 64421
2748.30/2755.46 c #Conflicts: 1679000 | #Constraints: 65421
2748.30/2755.46 c #Conflicts: 1680000 | #Constraints: 66421
2748.30/2755.46 c #Conflicts: 1681000 | #Constraints: 67421
2748.30/2755.46 c #Conflicts: 1682000 | #Constraints: 68421
2748.30/2755.46 c #Conflicts: 1683000 | #Constraints: 69421
2748.30/2755.46 c #Conflicts: 1684000 | #Constraints: 70421
2748.30/2755.46 c #Conflicts: 1685000 | #Constraints: 71421
2748.30/2755.46 c #Conflicts: 1686000 | #Constraints: 72421
2748.30/2755.46 c #Conflicts: 1687000 | #Constraints: 73421
2748.30/2755.46 c #Conflicts: 1688000 | #Constraints: 74421
2748.30/2755.46 c #Conflicts: 1689000 | #Constraints: 75421
2748.30/2755.46 c #Conflicts: 1690000 | #Constraints: 76421
2748.30/2755.46 c #Conflicts: 1691000 | #Constraints: 77421
2748.30/2755.46 c #Conflicts: 1692000 | #Constraints: 78421
2748.30/2755.46 c #Conflicts: 1693000 | #Constraints: 79421
2748.30/2755.46 c #Conflicts: 1694000 | #Constraints: 80421
2748.30/2755.46 c INPROCESSING
2748.30/2755.46 c GARBAGE COLLECT
2748.30/2755.46 c rational objective 32.6667
2804.67/2811.94 c #Conflicts: 1695000 | #Constraints: 55630
2804.67/2811.94 c #Conflicts: 1696000 | #Constraints: 56630
2804.67/2811.94 c #Conflicts: 1697000 | #Constraints: 57630
2804.67/2811.94 c #Conflicts: 1698000 | #Constraints: 58630
2804.67/2811.94 c #Conflicts: 1699000 | #Constraints: 59630
2804.67/2811.94 c #Conflicts: 1700000 | #Constraints: 60630
2804.67/2811.94 c #Conflicts: 1701000 | #Constraints: 61630
2804.67/2811.94 c #Conflicts: 1702000 | #Constraints: 62630
2804.67/2811.94 c #Conflicts: 1703000 | #Constraints: 63630
2804.67/2811.94 c #Conflicts: 1704000 | #Constraints: 64630
2804.67/2811.94 c #Conflicts: 1705000 | #Constraints: 65630
2804.67/2811.94 c #Conflicts: 1706000 | #Constraints: 66630
2804.67/2811.94 c #Conflicts: 1707000 | #Constraints: 67630
2804.67/2811.94 c #Conflicts: 1708000 | #Constraints: 68630
2804.67/2811.94 c #Conflicts: 1709000 | #Constraints: 69630
2804.67/2811.94 c #Conflicts: 1710000 | #Constraints: 70630
2804.67/2811.94 c #Conflicts: 1711000 | #Constraints: 71630
2804.67/2811.94 c #Conflicts: 1712000 | #Constraints: 72630
2804.67/2811.94 c #Conflicts: 1713000 | #Constraints: 73630
2804.67/2811.94 c #Conflicts: 1714000 | #Constraints: 74630
2804.67/2811.94 c #Conflicts: 1715000 | #Constraints: 75630
2804.67/2811.94 c #Conflicts: 1716000 | #Constraints: 76630
2804.67/2811.94 c #Conflicts: 1717000 | #Constraints: 77630
2804.67/2811.94 c #Conflicts: 1718000 | #Constraints: 78630
2804.67/2811.94 c #Conflicts: 1719000 | #Constraints: 79630
2804.67/2811.94 c #Conflicts: 1720000 | #Constraints: 80630
2804.67/2811.94 c INPROCESSING
2804.67/2811.94 c GARBAGE COLLECT
2804.67/2811.94 c rational objective 32.6667
2915.82/2923.37 c #Conflicts: 1721000 | #Constraints: 55628
2915.82/2923.37 c #Conflicts: 1722000 | #Constraints: 56628
2915.82/2923.37 c #Conflicts: 1723000 | #Constraints: 57628
2915.82/2923.37 c #Conflicts: 1724000 | #Constraints: 58628
2915.82/2923.37 c #Conflicts: 1725000 | #Constraints: 59628
2915.82/2923.37 c #Conflicts: 1726000 | #Constraints: 60628
2915.82/2923.37 c #Conflicts: 1727000 | #Constraints: 61628
2915.82/2923.37 c #Conflicts: 1728000 | #Constraints: 62628
2915.82/2923.37 c #Conflicts: 1729000 | #Constraints: 63628
2915.82/2923.37 c #Conflicts: 1730000 | #Constraints: 64628
2915.82/2923.37 c #Conflicts: 1731000 | #Constraints: 65628
2915.82/2923.37 c #Conflicts: 1732000 | #Constraints: 66628
2915.82/2923.37 c #Conflicts: 1733000 | #Constraints: 67628
2915.82/2923.37 c #Conflicts: 1734000 | #Constraints: 68628
2915.82/2923.37 c #Conflicts: 1735000 | #Constraints: 69628
2915.82/2923.37 c #Conflicts: 1736000 | #Constraints: 70628
2915.82/2923.37 c #Conflicts: 1737000 | #Constraints: 71628
2915.82/2923.37 c #Conflicts: 1738000 | #Constraints: 72628
2915.82/2923.37 c #Conflicts: 1739000 | #Constraints: 73628
2915.82/2923.37 c #Conflicts: 1740000 | #Constraints: 74628
2915.82/2923.37 c #Conflicts: 1741000 | #Constraints: 75628
2915.82/2923.37 c #Conflicts: 1742000 | #Constraints: 76628
2915.82/2923.37 c #Conflicts: 1743000 | #Constraints: 77628
2915.82/2923.37 c #Conflicts: 1744000 | #Constraints: 78628
2915.82/2923.37 c #Conflicts: 1745000 | #Constraints: 79628
2915.82/2923.37 c #Conflicts: 1746000 | #Constraints: 80628
2915.82/2923.37 c INPROCESSING
2915.82/2923.37 c GARBAGE COLLECT
2915.82/2923.37 c rational objective 32.6667
2917.22/2924.76 c #Conflicts: 1747000 | #Constraints: 55433
2917.22/2924.76 c #Conflicts: 1748000 | #Constraints: 56433
2917.22/2924.76 c #Conflicts: 1749000 | #Constraints: 57433
2917.22/2924.76 c #Conflicts: 1750000 | #Constraints: 58433
2917.22/2924.76 c #Conflicts: 1751000 | #Constraints: 59433
2917.22/2924.76 c #Conflicts: 1752000 | #Constraints: 60433
2917.22/2924.76 c GLOBAL bounds - >= 0 @ 2897.46
2917.22/2924.77 c GLOBAL bounds - >= 0 @ 2897.46
2952.14/2959.74 c #Conflicts: 1753000 | #Constraints: 61434
2952.14/2959.74 c #Conflicts: 1754000 | #Constraints: 62434
2952.14/2959.74 c #Conflicts: 1755000 | #Constraints: 63434
2952.14/2959.74 c #Conflicts: 1756000 | #Constraints: 64434
2952.14/2959.74 c #Conflicts: 1757000 | #Constraints: 65434
2952.14/2959.74 c #Conflicts: 1758000 | #Constraints: 66434
2952.14/2959.74 c #Conflicts: 1759000 | #Constraints: 67434
2952.14/2959.74 c #Conflicts: 1760000 | #Constraints: 68434
2952.14/2959.74 c #Conflicts: 1761000 | #Constraints: 69434
2952.14/2959.74 c #Conflicts: 1762000 | #Constraints: 70434
2952.14/2959.74 c #Conflicts: 1763000 | #Constraints: 71434
2952.14/2959.74 c #Conflicts: 1764000 | #Constraints: 72434
2952.14/2959.74 c #Conflicts: 1765000 | #Constraints: 73434
2952.14/2959.74 c #Conflicts: 1766000 | #Constraints: 74435
2952.14/2959.74 c #Conflicts: 1767000 | #Constraints: 75435
2952.14/2959.74 c #Conflicts: 1768000 | #Constraints: 76435
2952.14/2959.74 c #Conflicts: 1769000 | #Constraints: 77435
2952.14/2959.74 c #Conflicts: 1770000 | #Constraints: 78435
2952.14/2959.74 c #Conflicts: 1771000 | #Constraints: 79435
2952.14/2959.74 c #Conflicts: 1772000 | #Constraints: 80435
2952.14/2959.74 c #Conflicts: 1773000 | #Constraints: 81435
2952.14/2959.74 c INPROCESSING
2952.14/2959.74 c GARBAGE COLLECT
2952.14/2959.74 WSVECS04 Frhs2[7578]: 6 -20.0001 0 shouldn't be
2957.43/2965.04 c rational objective 32.6667
3077.46/3085.31 c #Conflicts: 1774000 | #Constraints: 56024
3077.46/3085.31 c #Conflicts: 1775000 | #Constraints: 57024
3077.46/3085.31 c #Conflicts: 1776000 | #Constraints: 58024
3077.46/3085.31 c #Conflicts: 1777000 | #Constraints: 59024
3077.46/3085.31 c #Conflicts: 1778000 | #Constraints: 60024
3077.46/3085.31 c #Conflicts: 1779000 | #Constraints: 61024
3077.46/3085.31 c #Conflicts: 1780000 | #Constraints: 62024
3077.46/3085.31 c #Conflicts: 1781000 | #Constraints: 63024
3077.46/3085.31 c #Conflicts: 1782000 | #Constraints: 64024
3077.46/3085.31 c #Conflicts: 1783000 | #Constraints: 65024
3077.46/3085.31 c #Conflicts: 1784000 | #Constraints: 66024
3077.46/3085.31 c #Conflicts: 1785000 | #Constraints: 67024
3077.46/3085.31 c #Conflicts: 1786000 | #Constraints: 68024
3077.46/3085.31 c #Conflicts: 1787000 | #Constraints: 69024
3077.46/3085.31 c #Conflicts: 1788000 | #Constraints: 70024
3077.46/3085.31 c #Conflicts: 1789000 | #Constraints: 71024
3077.46/3085.31 c #Conflicts: 1790000 | #Constraints: 72024
3077.46/3085.31 c #Conflicts: 1791000 | #Constraints: 73024
3077.46/3085.31 c #Conflicts: 1792000 | #Constraints: 74024
3077.46/3085.31 c #Conflicts: 1793000 | #Constraints: 75024
3077.46/3085.31 c #Conflicts: 1794000 | #Constraints: 76024
3077.46/3085.31 c #Conflicts: 1795000 | #Constraints: 77024
3077.46/3085.31 c #Conflicts: 1796000 | #Constraints: 78024
3077.46/3085.31 c #Conflicts: 1797000 | #Constraints: 79024
3077.46/3085.31 c #Conflicts: 1798000 | #Constraints: 80024
3077.46/3085.31 c #Conflicts: 1799000 | #Constraints: 81024
3077.46/3085.31 c #Conflicts: 1800000 | #Constraints: 82024
3077.46/3085.31 c INPROCESSING
3077.46/3085.31 c GARBAGE COLLECT
3077.46/3085.31 c rational objective 32.6667
3111.18/3119.18 c #Conflicts: 1801000 | #Constraints: 56424
3111.18/3119.18 c #Conflicts: 1802000 | #Constraints: 57424
3111.18/3119.18 c #Conflicts: 1803000 | #Constraints: 58424
3111.18/3119.18 c #Conflicts: 1804000 | #Constraints: 59424
3111.18/3119.18 c #Conflicts: 1805000 | #Constraints: 60424
3111.18/3119.18 c #Conflicts: 1806000 | #Constraints: 61424
3111.18/3119.18 c #Conflicts: 1807000 | #Constraints: 62424
3111.18/3119.18 c #Conflicts: 1808000 | #Constraints: 63424
3111.18/3119.18 c #Conflicts: 1809000 | #Constraints: 64424
3111.18/3119.18 c #Conflicts: 1810000 | #Constraints: 65424
3111.18/3119.18 c #Conflicts: 1811000 | #Constraints: 66424
3111.18/3119.18 c #Conflicts: 1812000 | #Constraints: 67424
3111.18/3119.18 c #Conflicts: 1813000 | #Constraints: 68424
3111.18/3119.18 c #Conflicts: 1814000 | #Constraints: 69424
3111.18/3119.18 c #Conflicts: 1815000 | #Constraints: 70424
3111.18/3119.18 c #Conflicts: 1816000 | #Constraints: 71424
3111.18/3119.18 c #Conflicts: 1817000 | #Constraints: 72424
3111.18/3119.18 c #Conflicts: 1818000 | #Constraints: 73424
3111.18/3119.18 c #Conflicts: 1819000 | #Constraints: 74424
3111.18/3119.18 c #Conflicts: 1820000 | #Constraints: 75424
3111.18/3119.18 c #Conflicts: 1821000 | #Constraints: 76424
3111.18/3119.18 c #Conflicts: 1822000 | #Constraints: 77424
3111.18/3119.18 c #Conflicts: 1823000 | #Constraints: 78424
3111.18/3119.18 c #Conflicts: 1824000 | #Constraints: 79424
3111.18/3119.18 c #Conflicts: 1825000 | #Constraints: 80424
3111.18/3119.18 c #Conflicts: 1826000 | #Constraints: 81424
3111.18/3119.18 c #Conflicts: 1827000 | #Constraints: 82424
3111.18/3119.18 c INPROCESSING
3111.18/3119.18 c GARBAGE COLLECT
3111.18/3119.18 c rational objective 32.6667
3133.33/3141.37 c #Conflicts: 1828000 | #Constraints: 56616
3133.33/3141.37 c #Conflicts: 1829000 | #Constraints: 57616
3133.33/3141.37 c #Conflicts: 1830000 | #Constraints: 58616
3133.33/3141.37 c #Conflicts: 1831000 | #Constraints: 59616
3133.33/3141.37 c #Conflicts: 1832000 | #Constraints: 60616
3133.33/3141.37 c #Conflicts: 1833000 | #Constraints: 61616
3133.33/3141.37 c #Conflicts: 1834000 | #Constraints: 62616
3133.33/3141.37 c #Conflicts: 1835000 | #Constraints: 63616
3133.33/3141.37 c #Conflicts: 1836000 | #Constraints: 64616
3133.33/3141.37 c #Conflicts: 1837000 | #Constraints: 65616
3133.33/3141.37 c #Conflicts: 1838000 | #Constraints: 66616
3133.33/3141.37 c #Conflicts: 1839000 | #Constraints: 67616
3133.33/3141.37 c #Conflicts: 1840000 | #Constraints: 68616
3133.33/3141.37 c #Conflicts: 1841000 | #Constraints: 69616
3133.33/3141.37 c #Conflicts: 1842000 | #Constraints: 70616
3133.33/3141.37 c #Conflicts: 1843000 | #Constraints: 71616
3133.33/3141.37 c #Conflicts: 1844000 | #Constraints: 72616
3133.33/3141.37 c #Conflicts: 1845000 | #Constraints: 73616
3133.33/3141.37 c #Conflicts: 1846000 | #Constraints: 74616
3133.33/3141.37 c #Conflicts: 1847000 | #Constraints: 75616
3133.33/3141.37 c #Conflicts: 1848000 | #Constraints: 76616
3133.33/3141.37 c #Conflicts: 1849000 | #Constraints: 77616
3133.33/3141.37 c #Conflicts: 1850000 | #Constraints: 78616
3133.33/3141.37 c #Conflicts: 1851000 | #Constraints: 79616
3133.33/3141.37 c #Conflicts: 1852000 | #Constraints: 80616
3133.33/3141.37 c #Conflicts: 1853000 | #Constraints: 81616
3133.33/3141.37 c #Conflicts: 1854000 | #Constraints: 82616
3133.33/3141.37 c INPROCESSING
3133.33/3141.37 c GARBAGE COLLECT
3133.33/3141.37 c rational objective 32.6667
3159.18/3167.27 c #Conflicts: 1855000 | #Constraints: 56621
3159.18/3167.27 c #Conflicts: 1856000 | #Constraints: 57621
3159.18/3167.27 c #Conflicts: 1857000 | #Constraints: 58621
3159.18/3167.27 c #Conflicts: 1858000 | #Constraints: 59621
3159.18/3167.27 c #Conflicts: 1859000 | #Constraints: 60621
3159.18/3167.27 c #Conflicts: 1860000 | #Constraints: 61621
3159.18/3167.27 c #Conflicts: 1861000 | #Constraints: 62621
3159.18/3167.27 c #Conflicts: 1862000 | #Constraints: 63621
3159.18/3167.27 c #Conflicts: 1863000 | #Constraints: 64621
3159.18/3167.27 c #Conflicts: 1864000 | #Constraints: 65621
3159.18/3167.27 c #Conflicts: 1865000 | #Constraints: 66621
3159.18/3167.27 c #Conflicts: 1866000 | #Constraints: 67621
3159.18/3167.27 c #Conflicts: 1867000 | #Constraints: 68621
3159.18/3167.27 c #Conflicts: 1868000 | #Constraints: 69621
3159.18/3167.27 c #Conflicts: 1869000 | #Constraints: 70621
3159.18/3167.27 c #Conflicts: 1870000 | #Constraints: 71621
3159.18/3167.27 c #Conflicts: 1871000 | #Constraints: 72621
3159.18/3167.27 c #Conflicts: 1872000 | #Constraints: 73621
3159.18/3167.27 c #Conflicts: 1873000 | #Constraints: 74621
3159.18/3167.27 c #Conflicts: 1874000 | #Constraints: 75621
3159.18/3167.27 c #Conflicts: 1875000 | #Constraints: 76621
3159.18/3167.27 c #Conflicts: 1876000 | #Constraints: 77621
3159.18/3167.27 c #Conflicts: 1877000 | #Constraints: 78621
3159.18/3167.27 c #Conflicts: 1878000 | #Constraints: 79621
3159.18/3167.27 c #Conflicts: 1879000 | #Constraints: 80621
3159.18/3167.27 c #Conflicts: 1880000 | #Constraints: 81621
3159.18/3167.27 c #Conflicts: 1881000 | #Constraints: 82621
3159.18/3167.27 c INPROCESSING
3159.18/3167.27 c GARBAGE COLLECT
3159.18/3167.27 c rational objective 32.6667
3187.92/3196.03 c #Conflicts: 1882000 | #Constraints: 56419
3187.92/3196.03 c #Conflicts: 1883000 | #Constraints: 57419
3187.92/3196.03 c #Conflicts: 1884000 | #Constraints: 58419
3187.92/3196.03 c #Conflicts: 1885000 | #Constraints: 59419
3187.92/3196.03 c #Conflicts: 1886000 | #Constraints: 60419
3187.92/3196.03 c #Conflicts: 1887000 | #Constraints: 61419
3187.92/3196.03 c #Conflicts: 1888000 | #Constraints: 62419
3187.92/3196.03 c #Conflicts: 1889000 | #Constraints: 63419
3187.92/3196.03 c #Conflicts: 1890000 | #Constraints: 64419
3187.92/3196.03 c #Conflicts: 1891000 | #Constraints: 65419
3187.92/3196.03 c #Conflicts: 1892000 | #Constraints: 66419
3187.92/3196.03 c #Conflicts: 1893000 | #Constraints: 67419
3187.92/3196.03 c #Conflicts: 1894000 | #Constraints: 68419
3187.92/3196.03 c #Conflicts: 1895000 | #Constraints: 69419
3187.92/3196.03 c #Conflicts: 1896000 | #Constraints: 70419
3187.92/3196.03 c #Conflicts: 1897000 | #Constraints: 71419
3187.92/3196.03 c #Conflicts: 1898000 | #Constraints: 72419
3187.92/3196.03 c #Conflicts: 1899000 | #Constraints: 73419
3187.92/3196.03 c #Conflicts: 1900000 | #Constraints: 74419
3187.92/3196.03 c #Conflicts: 1901000 | #Constraints: 75419
3187.92/3196.03 c #Conflicts: 1902000 | #Constraints: 76419
3187.92/3196.03 c #Conflicts: 1903000 | #Constraints: 77419
3187.92/3196.03 c #Conflicts: 1904000 | #Constraints: 78419
3187.92/3196.03 c #Conflicts: 1905000 | #Constraints: 79419
3187.92/3196.03 c #Conflicts: 1906000 | #Constraints: 80419
3187.92/3196.03 c #Conflicts: 1907000 | #Constraints: 81419
3187.92/3196.03 c #Conflicts: 1908000 | #Constraints: 82419
3187.92/3196.03 c #Conflicts: 1909000 | #Constraints: 83419
3187.92/3196.03 c INPROCESSING
3187.92/3196.03 c GARBAGE COLLECT
3187.92/3196.03 c rational objective 32.6667
3213.76/3221.95 c #Conflicts: 1910000 | #Constraints: 57020
3213.76/3221.95 c #Conflicts: 1911000 | #Constraints: 58020
3213.76/3221.95 c #Conflicts: 1912000 | #Constraints: 59020
3213.76/3221.95 c #Conflicts: 1913000 | #Constraints: 60020
3213.76/3221.95 c #Conflicts: 1914000 | #Constraints: 61020
3213.76/3221.95 c #Conflicts: 1915000 | #Constraints: 62020
3213.76/3221.95 c #Conflicts: 1916000 | #Constraints: 63020
3213.76/3221.95 c #Conflicts: 1917000 | #Constraints: 64020
3213.76/3221.95 c #Conflicts: 1918000 | #Constraints: 65020
3213.76/3221.95 c #Conflicts: 1919000 | #Constraints: 66020
3213.76/3221.95 c #Conflicts: 1920000 | #Constraints: 67020
3213.76/3221.95 c #Conflicts: 1921000 | #Constraints: 68020
3213.76/3221.95 c #Conflicts: 1922000 | #Constraints: 69020
3213.76/3221.95 c #Conflicts: 1923000 | #Constraints: 70020
3213.76/3221.95 c #Conflicts: 1924000 | #Constraints: 71020
3213.76/3221.95 c #Conflicts: 1925000 | #Constraints: 72020
3213.76/3221.95 c #Conflicts: 1926000 | #Constraints: 73020
3213.76/3221.95 c #Conflicts: 1927000 | #Constraints: 74020
3213.76/3221.95 c #Conflicts: 1928000 | #Constraints: 75020
3213.76/3221.95 c #Conflicts: 1929000 | #Constraints: 76020
3213.76/3221.95 c #Conflicts: 1930000 | #Constraints: 77020
3213.76/3221.95 c #Conflicts: 1931000 | #Constraints: 78020
3213.76/3221.95 c #Conflicts: 1932000 | #Constraints: 79020
3213.76/3221.95 c #Conflicts: 1933000 | #Constraints: 80020
3213.76/3221.95 c #Conflicts: 1934000 | #Constraints: 81020
3213.76/3221.95 c #Conflicts: 1935000 | #Constraints: 82020
3213.76/3221.95 c #Conflicts: 1936000 | #Constraints: 83020
3213.76/3221.95 c #Conflicts: 1937000 | #Constraints: 84020
3213.76/3221.95 c INPROCESSING
3213.76/3221.95 c GARBAGE COLLECT
3213.76/3221.95 c rational objective 32.6667
3241.10/3249.37 c #Conflicts: 1938000 | #Constraints: 57426
3241.10/3249.37 c #Conflicts: 1939000 | #Constraints: 58426
3241.10/3249.37 c #Conflicts: 1940000 | #Constraints: 59426
3241.10/3249.37 c #Conflicts: 1941000 | #Constraints: 60426
3241.10/3249.37 c #Conflicts: 1942000 | #Constraints: 61426
3241.10/3249.37 c #Conflicts: 1943000 | #Constraints: 62426
3241.10/3249.37 c #Conflicts: 1944000 | #Constraints: 63426
3241.10/3249.37 c #Conflicts: 1945000 | #Constraints: 64426
3241.10/3249.37 c #Conflicts: 1946000 | #Constraints: 65426
3241.10/3249.37 c #Conflicts: 1947000 | #Constraints: 66426
3241.10/3249.37 c #Conflicts: 1948000 | #Constraints: 67426
3241.10/3249.37 c #Conflicts: 1949000 | #Constraints: 68426
3241.10/3249.37 c #Conflicts: 1950000 | #Constraints: 69426
3241.10/3249.37 c #Conflicts: 1951000 | #Constraints: 70426
3241.10/3249.37 c #Conflicts: 1952000 | #Constraints: 71426
3241.10/3249.37 c #Conflicts: 1953000 | #Constraints: 72426
3241.10/3249.37 c #Conflicts: 1954000 | #Constraints: 73426
3241.10/3249.37 c #Conflicts: 1955000 | #Constraints: 74426
3241.10/3249.37 c #Conflicts: 1956000 | #Constraints: 75426
3241.10/3249.37 c #Conflicts: 1957000 | #Constraints: 76426
3241.10/3249.38 c #Conflicts: 1958000 | #Constraints: 77426
3241.10/3249.38 c #Conflicts: 1959000 | #Constraints: 78426
3241.10/3249.38 c #Conflicts: 1960000 | #Constraints: 79426
3241.10/3249.38 c #Conflicts: 1961000 | #Constraints: 80426
3241.10/3249.38 c #Conflicts: 1962000 | #Constraints: 81426
3241.10/3249.38 c #Conflicts: 1963000 | #Constraints: 82426
3241.10/3249.38 c #Conflicts: 1964000 | #Constraints: 83426
3241.10/3249.38 c #Conflicts: 1965000 | #Constraints: 84426
3241.10/3249.38 c INPROCESSING
3241.10/3249.38 c GARBAGE COLLECT
3241.10/3249.38 c rational objective 32.6667
3272.43/3280.72 c #Conflicts: 1966000 | #Constraints: 57626
3272.43/3280.72 c #Conflicts: 1967000 | #Constraints: 58626
3272.43/3280.72 c #Conflicts: 1968000 | #Constraints: 59626
3272.43/3280.72 c #Conflicts: 1969000 | #Constraints: 60626
3272.43/3280.72 c #Conflicts: 1970000 | #Constraints: 61626
3272.43/3280.72 c #Conflicts: 1971000 | #Constraints: 62626
3272.43/3280.72 c #Conflicts: 1972000 | #Constraints: 63626
3272.43/3280.72 c #Conflicts: 1973000 | #Constraints: 64626
3272.43/3280.72 c #Conflicts: 1974000 | #Constraints: 65626
3272.43/3280.72 c #Conflicts: 1975000 | #Constraints: 66626
3272.43/3280.72 c #Conflicts: 1976000 | #Constraints: 67626
3272.43/3280.72 c #Conflicts: 1977000 | #Constraints: 68626
3272.43/3280.72 c #Conflicts: 1978000 | #Constraints: 69626
3272.43/3280.72 c #Conflicts: 1979000 | #Constraints: 70626
3272.43/3280.72 c #Conflicts: 1980000 | #Constraints: 71626
3272.43/3280.72 c #Conflicts: 1981000 | #Constraints: 72626
3272.43/3280.72 c #Conflicts: 1982000 | #Constraints: 73626
3272.43/3280.72 c #Conflicts: 1983000 | #Constraints: 74626
3272.43/3280.72 c #Conflicts: 1984000 | #Constraints: 75626
3272.43/3280.72 c #Conflicts: 1985000 | #Constraints: 76626
3272.43/3280.72 c #Conflicts: 1986000 | #Constraints: 77626
3272.43/3280.72 c #Conflicts: 1987000 | #Constraints: 78626
3272.43/3280.72 c #Conflicts: 1988000 | #Constraints: 79626
3272.43/3280.72 c #Conflicts: 1989000 | #Constraints: 80626
3272.43/3280.72 c #Conflicts: 1990000 | #Constraints: 81626
3272.43/3280.72 c #Conflicts: 1991000 | #Constraints: 82626
3272.43/3280.72 c #Conflicts: 1992000 | #Constraints: 83626
3272.43/3280.72 c #Conflicts: 1993000 | #Constraints: 84626
3272.43/3280.72 c INPROCESSING
3272.43/3280.72 c GARBAGE COLLECT
3272.43/3280.72 c rational objective 32.6667
3302.86/3311.22 c #Conflicts: 1994000 | #Constraints: 57627
3302.86/3311.22 c #Conflicts: 1995000 | #Constraints: 58627
3302.86/3311.22 c #Conflicts: 1996000 | #Constraints: 59627
3302.86/3311.22 c #Conflicts: 1997000 | #Constraints: 60627
3302.86/3311.22 c #Conflicts: 1998000 | #Constraints: 61627
3302.86/3311.22 c #Conflicts: 1999000 | #Constraints: 62627
3302.86/3311.22 c #Conflicts: 2000000 | #Constraints: 63627
3302.86/3311.22 c #Conflicts: 2001000 | #Constraints: 64627
3302.86/3311.22 c #Conflicts: 2002000 | #Constraints: 65627
3302.86/3311.22 c #Conflicts: 2003000 | #Constraints: 66627
3302.86/3311.22 c #Conflicts: 2004000 | #Constraints: 67627
3302.86/3311.22 c #Conflicts: 2005000 | #Constraints: 68627
3302.86/3311.22 c #Conflicts: 2006000 | #Constraints: 69627
3302.86/3311.22 c #Conflicts: 2007000 | #Constraints: 70627
3302.86/3311.22 c #Conflicts: 2008000 | #Constraints: 71627
3302.86/3311.22 c #Conflicts: 2009000 | #Constraints: 72627
3302.86/3311.22 c #Conflicts: 2010000 | #Constraints: 73627
3302.86/3311.22 c #Conflicts: 2011000 | #Constraints: 74627
3302.86/3311.22 c #Conflicts: 2012000 | #Constraints: 75627
3302.86/3311.22 c #Conflicts: 2013000 | #Constraints: 76627
3302.86/3311.22 c #Conflicts: 2014000 | #Constraints: 77627
3302.86/3311.22 c #Conflicts: 2015000 | #Constraints: 78627
3302.86/3311.22 c #Conflicts: 2016000 | #Constraints: 79627
3302.86/3311.22 c #Conflicts: 2017000 | #Constraints: 80627
3302.86/3311.22 c #Conflicts: 2018000 | #Constraints: 81627
3302.86/3311.22 c #Conflicts: 2019000 | #Constraints: 82627
3302.86/3311.22 c #Conflicts: 2020000 | #Constraints: 83627
3302.86/3311.22 c #Conflicts: 2021000 | #Constraints: 84627
3302.86/3311.22 c INPROCESSING
3302.86/3311.22 c GARBAGE COLLECT
3302.86/3311.22 c rational objective 32.6667
3328.90/3337.35 c #Conflicts: 2022000 | #Constraints: 57429
3328.90/3337.35 c #Conflicts: 2023000 | #Constraints: 58429
3328.90/3337.35 c #Conflicts: 2024000 | #Constraints: 59429
3328.90/3337.35 c #Conflicts: 2025000 | #Constraints: 60429
3328.90/3337.35 c #Conflicts: 2026000 | #Constraints: 61429
3328.90/3337.35 c #Conflicts: 2027000 | #Constraints: 62429
3328.90/3337.35 c #Conflicts: 2028000 | #Constraints: 63429
3328.90/3337.35 c #Conflicts: 2029000 | #Constraints: 64429
3328.90/3337.35 c #Conflicts: 2030000 | #Constraints: 65429
3328.90/3337.35 c #Conflicts: 2031000 | #Constraints: 66429
3328.90/3337.35 c #Conflicts: 2032000 | #Constraints: 67429
3328.90/3337.35 c #Conflicts: 2033000 | #Constraints: 68429
3328.90/3337.35 c #Conflicts: 2034000 | #Constraints: 69429
3328.90/3337.35 c #Conflicts: 2035000 | #Constraints: 70429
3328.90/3337.35 c #Conflicts: 2036000 | #Constraints: 71429
3328.90/3337.35 c #Conflicts: 2037000 | #Constraints: 72429
3328.90/3337.35 c #Conflicts: 2038000 | #Constraints: 73429
3328.90/3337.35 c #Conflicts: 2039000 | #Constraints: 74429
3328.90/3337.35 c #Conflicts: 2040000 | #Constraints: 75429
3328.90/3337.35 c #Conflicts: 2041000 | #Constraints: 76429
3328.90/3337.35 c #Conflicts: 2042000 | #Constraints: 77429
3328.90/3337.35 c #Conflicts: 2043000 | #Constraints: 78429
3328.90/3337.35 c #Conflicts: 2044000 | #Constraints: 79429
3328.90/3337.35 c #Conflicts: 2045000 | #Constraints: 80429
3328.90/3337.35 c #Conflicts: 2046000 | #Constraints: 81429
3328.90/3337.35 c #Conflicts: 2047000 | #Constraints: 82429
3328.90/3337.35 c #Conflicts: 2048000 | #Constraints: 83429
3328.90/3337.35 c #Conflicts: 2049000 | #Constraints: 84429
3328.90/3337.35 c #Conflicts: 2050000 | #Constraints: 85429
3328.90/3337.35 c INPROCESSING
3328.90/3337.35 c GARBAGE COLLECT
3328.90/3337.35 c rational objective 32.6667
3356.73/3365.21 c #Conflicts: 2051000 | #Constraints: 58015
3356.73/3365.21 c #Conflicts: 2052000 | #Constraints: 59015
3356.73/3365.21 c #Conflicts: 2053000 | #Constraints: 60015
3356.73/3365.21 c #Conflicts: 2054000 | #Constraints: 61015
3356.73/3365.21 c #Conflicts: 2055000 | #Constraints: 62015
3356.73/3365.21 c #Conflicts: 2056000 | #Constraints: 63015
3356.73/3365.21 c #Conflicts: 2057000 | #Constraints: 64015
3356.73/3365.21 c #Conflicts: 2058000 | #Constraints: 65015
3356.73/3365.21 c #Conflicts: 2059000 | #Constraints: 66015
3356.73/3365.21 c #Conflicts: 2060000 | #Constraints: 67015
3356.73/3365.21 c #Conflicts: 2061000 | #Constraints: 68015
3356.73/3365.21 c #Conflicts: 2062000 | #Constraints: 69015
3356.73/3365.21 c #Conflicts: 2063000 | #Constraints: 70015
3356.73/3365.21 c #Conflicts: 2064000 | #Constraints: 71015
3356.73/3365.21 c #Conflicts: 2065000 | #Constraints: 72015
3356.73/3365.21 c #Conflicts: 2066000 | #Constraints: 73015
3356.73/3365.21 c #Conflicts: 2067000 | #Constraints: 74015
3356.73/3365.21 c #Conflicts: 2068000 | #Constraints: 75015
3356.73/3365.21 c #Conflicts: 2069000 | #Constraints: 76015
3356.73/3365.21 c #Conflicts: 2070000 | #Constraints: 77015
3356.73/3365.21 c #Conflicts: 2071000 | #Constraints: 78015
3356.73/3365.21 c #Conflicts: 2072000 | #Constraints: 79015
3356.73/3365.21 c #Conflicts: 2073000 | #Constraints: 80015
3356.73/3365.21 c #Conflicts: 2074000 | #Constraints: 81015
3356.73/3365.21 c #Conflicts: 2075000 | #Constraints: 82015
3356.73/3365.21 c #Conflicts: 2076000 | #Constraints: 83015
3356.73/3365.21 c #Conflicts: 2077000 | #Constraints: 84015
3356.73/3365.21 c #Conflicts: 2078000 | #Constraints: 85015
3356.73/3365.21 c #Conflicts: 2079000 | #Constraints: 86015
3356.73/3365.21 c INPROCESSING
3356.73/3365.21 c GARBAGE COLLECT
3356.73/3365.21 c rational objective 32.6667
3381.59/3390.17 c #Conflicts: 2080000 | #Constraints: 58407
3381.59/3390.17 c #Conflicts: 2081000 | #Constraints: 59408
3381.59/3390.17 c #Conflicts: 2082000 | #Constraints: 60408
3381.59/3390.17 c #Conflicts: 2083000 | #Constraints: 61408
3381.59/3390.17 c #Conflicts: 2084000 | #Constraints: 62408
3381.59/3390.17 c #Conflicts: 2085000 | #Constraints: 63408
3381.59/3390.17 c #Conflicts: 2086000 | #Constraints: 64408
3381.59/3390.17 c #Conflicts: 2087000 | #Constraints: 65408
3381.59/3390.17 c #Conflicts: 2088000 | #Constraints: 66408
3381.59/3390.17 c #Conflicts: 2089000 | #Constraints: 67408
3381.59/3390.17 c #Conflicts: 2090000 | #Constraints: 68408
3381.59/3390.17 c #Conflicts: 2091000 | #Constraints: 69408
3381.59/3390.17 c #Conflicts: 2092000 | #Constraints: 70408
3381.59/3390.17 c #Conflicts: 2093000 | #Constraints: 71408
3381.59/3390.17 c #Conflicts: 2094000 | #Constraints: 72408
3381.59/3390.17 c #Conflicts: 2095000 | #Constraints: 73408
3381.59/3390.17 c #Conflicts: 2096000 | #Constraints: 74408
3381.59/3390.17 c #Conflicts: 2097000 | #Constraints: 75408
3381.59/3390.17 c #Conflicts: 2098000 | #Constraints: 76408
3381.59/3390.17 c #Conflicts: 2099000 | #Constraints: 77408
3381.59/3390.17 c #Conflicts: 2100000 | #Constraints: 78408
3381.59/3390.17 c #Conflicts: 2101000 | #Constraints: 79408
3381.59/3390.17 c #Conflicts: 2102000 | #Constraints: 80408
3381.59/3390.17 c #Conflicts: 2103000 | #Constraints: 81408
3381.59/3390.17 c #Conflicts: 2104000 | #Constraints: 82408
3381.59/3390.17 c #Conflicts: 2105000 | #Constraints: 83408
3381.59/3390.17 c #Conflicts: 2106000 | #Constraints: 84408
3381.59/3390.17 c #Conflicts: 2107000 | #Constraints: 85408
3381.59/3390.17 c #Conflicts: 2108000 | #Constraints: 86408
3381.59/3390.17 c INPROCESSING
3381.59/3390.17 c GARBAGE COLLECT
3381.59/3390.17 c rational objective 32.6667
3415.00/3423.67 c #Conflicts: 2109000 | #Constraints: 58618
3415.00/3423.67 c #Conflicts: 2110000 | #Constraints: 59618
3415.00/3423.67 c #Conflicts: 2111000 | #Constraints: 60618
3415.00/3423.67 c #Conflicts: 2112000 | #Constraints: 61618
3415.00/3423.67 c #Conflicts: 2113000 | #Constraints: 62618
3415.00/3423.67 c #Conflicts: 2114000 | #Constraints: 63618
3415.00/3423.67 c #Conflicts: 2115000 | #Constraints: 64618
3415.00/3423.67 c #Conflicts: 2116000 | #Constraints: 65618
3415.00/3423.67 c #Conflicts: 2117000 | #Constraints: 66618
3415.00/3423.67 c #Conflicts: 2118000 | #Constraints: 67618
3415.00/3423.67 c #Conflicts: 2119000 | #Constraints: 68618
3415.00/3423.67 c #Conflicts: 2120000 | #Constraints: 69618
3415.00/3423.67 c #Conflicts: 2121000 | #Constraints: 70618
3415.00/3423.67 c #Conflicts: 2122000 | #Constraints: 71618
3415.00/3423.67 c #Conflicts: 2123000 | #Constraints: 72618
3415.00/3423.67 c #Conflicts: 2124000 | #Constraints: 73618
3415.00/3423.67 c #Conflicts: 2125000 | #Constraints: 74618
3415.00/3423.67 c #Conflicts: 2126000 | #Constraints: 75618
3415.00/3423.67 c #Conflicts: 2127000 | #Constraints: 76618
3415.00/3423.67 c #Conflicts: 2128000 | #Constraints: 77618
3415.00/3423.67 c #Conflicts: 2129000 | #Constraints: 78618
3415.00/3423.67 c #Conflicts: 2130000 | #Constraints: 79618
3415.00/3423.67 c #Conflicts: 2131000 | #Constraints: 80618
3415.00/3423.67 c #Conflicts: 2132000 | #Constraints: 81618
3415.00/3423.67 c #Conflicts: 2133000 | #Constraints: 82618
3415.00/3423.67 c #Conflicts: 2134000 | #Constraints: 83618
3415.00/3423.67 c #Conflicts: 2135000 | #Constraints: 84618
3415.00/3423.67 c #Conflicts: 2136000 | #Constraints: 85618
3415.00/3423.67 c #Conflicts: 2137000 | #Constraints: 86618
3415.00/3423.67 c INPROCESSING
3415.00/3423.67 c GARBAGE COLLECT
3415.00/3423.67 c rational objective 32.6667
3443.95/3452.66 c #Conflicts: 2138000 | #Constraints: 58615
3443.95/3452.66 c #Conflicts: 2139000 | #Constraints: 59616
3443.95/3452.66 c #Conflicts: 2140000 | #Constraints: 60616
3443.95/3452.66 c #Conflicts: 2141000 | #Constraints: 61616
3443.95/3452.66 c #Conflicts: 2142000 | #Constraints: 62616
3443.95/3452.66 c #Conflicts: 2143000 | #Constraints: 63616
3443.95/3452.66 c #Conflicts: 2144000 | #Constraints: 64616
3443.95/3452.66 c #Conflicts: 2145000 | #Constraints: 65616
3443.95/3452.66 c #Conflicts: 2146000 | #Constraints: 66616
3443.95/3452.66 c #Conflicts: 2147000 | #Constraints: 67616
3443.95/3452.66 c #Conflicts: 2148000 | #Constraints: 68616
3443.95/3452.66 c #Conflicts: 2149000 | #Constraints: 69616
3443.95/3452.66 c #Conflicts: 2150000 | #Constraints: 70616
3443.95/3452.66 c #Conflicts: 2151000 | #Constraints: 71616
3443.95/3452.66 c #Conflicts: 2152000 | #Constraints: 72616
3443.95/3452.66 c #Conflicts: 2153000 | #Constraints: 73616
3443.95/3452.66 c #Conflicts: 2154000 | #Constraints: 74616
3443.95/3452.66 c #Conflicts: 2155000 | #Constraints: 75616
3443.95/3452.66 c #Conflicts: 2156000 | #Constraints: 76616
3443.95/3452.66 c #Conflicts: 2157000 | #Constraints: 77616
3443.95/3452.66 c #Conflicts: 2158000 | #Constraints: 78616
3443.95/3452.66 c #Conflicts: 2159000 | #Constraints: 79616
3443.95/3452.66 c #Conflicts: 2160000 | #Constraints: 80616
3443.95/3452.66 c #Conflicts: 2161000 | #Constraints: 81616
3443.95/3452.66 c #Conflicts: 2162000 | #Constraints: 82616
3443.95/3452.66 c #Conflicts: 2163000 | #Constraints: 83616
3443.95/3452.66 c #Conflicts: 2164000 | #Constraints: 84616
3443.95/3452.66 c #Conflicts: 2165000 | #Constraints: 85616
3443.95/3452.66 c #Conflicts: 2166000 | #Constraints: 86616
3443.95/3452.66 c INPROCESSING
3443.95/3452.66 c GARBAGE COLLECT
3443.95/3452.66 c rational objective 32.6667
3478.17/3486.92 c #Conflicts: 2167000 | #Constraints: 58419
3478.17/3486.92 c #Conflicts: 2168000 | #Constraints: 59419
3478.17/3486.92 c #Conflicts: 2169000 | #Constraints: 60419
3478.17/3486.92 c #Conflicts: 2170000 | #Constraints: 61419
3478.17/3486.92 c #Conflicts: 2171000 | #Constraints: 62419
3478.17/3486.92 c #Conflicts: 2172000 | #Constraints: 63419
3478.17/3486.92 c #Conflicts: 2173000 | #Constraints: 64419
3478.17/3486.92 c #Conflicts: 2174000 | #Constraints: 65419
3478.17/3486.92 c #Conflicts: 2175000 | #Constraints: 66419
3478.17/3486.92 c #Conflicts: 2176000 | #Constraints: 67419
3478.17/3486.92 c #Conflicts: 2177000 | #Constraints: 68419
3478.17/3486.92 c #Conflicts: 2178000 | #Constraints: 69419
3478.17/3486.92 c #Conflicts: 2179000 | #Constraints: 70419
3478.17/3486.92 c #Conflicts: 2180000 | #Constraints: 71419
3478.17/3486.92 c #Conflicts: 2181000 | #Constraints: 72419
3478.17/3486.92 c #Conflicts: 2182000 | #Constraints: 73419
3478.17/3486.92 c #Conflicts: 2183000 | #Constraints: 74419
3478.17/3486.92 c #Conflicts: 2184000 | #Constraints: 75419
3478.17/3486.92 c #Conflicts: 2185000 | #Constraints: 76419
3478.17/3486.92 c #Conflicts: 2186000 | #Constraints: 77419
3478.17/3486.92 c #Conflicts: 2187000 | #Constraints: 78419
3478.17/3486.92 c #Conflicts: 2188000 | #Constraints: 79419
3478.17/3486.92 c #Conflicts: 2189000 | #Constraints: 80419
3478.17/3486.92 c #Conflicts: 2190000 | #Constraints: 81419
3478.17/3486.92 c #Conflicts: 2191000 | #Constraints: 82419
3478.17/3486.92 c #Conflicts: 2192000 | #Constraints: 83419
3478.17/3486.92 c #Conflicts: 2193000 | #Constraints: 84419
3478.17/3486.92 c #Conflicts: 2194000 | #Constraints: 85419
3478.17/3486.92 c #Conflicts: 2195000 | #Constraints: 86419
3478.17/3486.92 c #Conflicts: 2196000 | #Constraints: 87419
3478.17/3486.92 c INPROCESSING
3478.17/3486.92 c GARBAGE COLLECT
3478.17/3486.92 c rational objective 32.6667
3521.57/3530.40 c #Conflicts: 2197000 | #Constraints: 59015
3521.57/3530.40 c #Conflicts: 2198000 | #Constraints: 60015
3521.57/3530.40 c #Conflicts: 2199000 | #Constraints: 61015
3521.57/3530.40 c #Conflicts: 2200000 | #Constraints: 62015
3521.57/3530.40 c #Conflicts: 2201000 | #Constraints: 63015
3521.57/3530.40 c #Conflicts: 2202000 | #Constraints: 64015
3521.57/3530.40 c #Conflicts: 2203000 | #Constraints: 65015
3521.57/3530.40 c #Conflicts: 2204000 | #Constraints: 66015
3521.57/3530.40 c #Conflicts: 2205000 | #Constraints: 67015
3521.57/3530.40 c #Conflicts: 2206000 | #Constraints: 68015
3521.57/3530.40 c #Conflicts: 2207000 | #Constraints: 69015
3521.57/3530.40 c #Conflicts: 2208000 | #Constraints: 70015
3521.57/3530.40 c #Conflicts: 2209000 | #Constraints: 71015
3521.57/3530.40 c #Conflicts: 2210000 | #Constraints: 72015
3521.57/3530.40 c #Conflicts: 2211000 | #Constraints: 73015
3521.57/3530.40 c #Conflicts: 2212000 | #Constraints: 74015
3521.57/3530.40 c #Conflicts: 2213000 | #Constraints: 75015
3521.57/3530.40 c #Conflicts: 2214000 | #Constraints: 76015
3521.57/3530.40 c #Conflicts: 2215000 | #Constraints: 77015
3521.57/3530.40 c #Conflicts: 2216000 | #Constraints: 78015
3521.57/3530.40 c #Conflicts: 2217000 | #Constraints: 79015
3521.57/3530.40 c #Conflicts: 2218000 | #Constraints: 80015
3521.57/3530.40 c #Conflicts: 2219000 | #Constraints: 81015
3521.57/3530.40 c #Conflicts: 2220000 | #Constraints: 82015
3521.57/3530.40 c #Conflicts: 2221000 | #Constraints: 83015
3521.57/3530.40 c #Conflicts: 2222000 | #Constraints: 84015
3521.57/3530.40 c #Conflicts: 2223000 | #Constraints: 85015
3521.57/3530.40 c #Conflicts: 2224000 | #Constraints: 86015
3521.57/3530.40 c #Conflicts: 2225000 | #Constraints: 87015
3521.57/3530.40 c #Conflicts: 2226000 | #Constraints: 88015
3521.57/3530.40 c INPROCESSING
3521.57/3530.40 c GARBAGE COLLECT
3521.57/3530.40 c rational objective 32.6667
3575.15/3584.18 c #Conflicts: 2227000 | #Constraints: 59431
3575.15/3584.18 c #Conflicts: 2228000 | #Constraints: 60431
3575.15/3584.18 c #Conflicts: 2229000 | #Constraints: 61431
3575.15/3584.18 c #Conflicts: 2230000 | #Constraints: 62431
3575.15/3584.18 c #Conflicts: 2231000 | #Constraints: 63431
3575.15/3584.18 c #Conflicts: 2232000 | #Constraints: 64431
3575.15/3584.18 c #Conflicts: 2233000 | #Constraints: 65431
3575.15/3584.18 c #Conflicts: 2234000 | #Constraints: 66431
3575.15/3584.18 c #Conflicts: 2235000 | #Constraints: 67431
3575.15/3584.18 c #Conflicts: 2236000 | #Constraints: 68431
3575.15/3584.18 c #Conflicts: 2237000 | #Constraints: 69431
3575.15/3584.18 c #Conflicts: 2238000 | #Constraints: 70431
3575.15/3584.18 c #Conflicts: 2239000 | #Constraints: 71431
3575.15/3584.18 c #Conflicts: 2240000 | #Constraints: 72431
3575.15/3584.18 c #Conflicts: 2241000 | #Constraints: 73432
3575.15/3584.18 c #Conflicts: 2242000 | #Constraints: 74432
3575.15/3584.18 c #Conflicts: 2243000 | #Constraints: 75432
3575.15/3584.18 c #Conflicts: 2244000 | #Constraints: 76432
3575.15/3584.18 c #Conflicts: 2245000 | #Constraints: 77432
3575.15/3584.18 c #Conflicts: 2246000 | #Constraints: 78432
3575.15/3584.18 c #Conflicts: 2247000 | #Constraints: 79432
3575.15/3584.18 c #Conflicts: 2248000 | #Constraints: 80432
3575.15/3584.18 c #Conflicts: 2249000 | #Constraints: 81432
3575.15/3584.18 c #Conflicts: 2250000 | #Constraints: 82432
3575.15/3584.18 c #Conflicts: 2251000 | #Constraints: 83432
3575.15/3584.18 c #Conflicts: 2252000 | #Constraints: 84432
3575.15/3584.18 c #Conflicts: 2253000 | #Constraints: 85432
3575.15/3584.18 c #Conflicts: 2254000 | #Constraints: 86432
3575.15/3584.18 c #Conflicts: 2255000 | #Constraints: 87432
3575.15/3584.18 c #Conflicts: 2256000 | #Constraints: 88432
3575.15/3584.18 c INPROCESSING
3575.15/3584.18 c GARBAGE COLLECT
3575.15/3584.18 c rational objective 32.6667
3600.00/3609.00 c #Conflicts: 2257000 | #Constraints: 59618
3600.00/3609.00 c #Conflicts: 2258000 | #Constraints: 60618
3600.00/3609.00 c #Conflicts: 2259000 | #Constraints: 61618
3600.00/3609.00 c #Conflicts: 2260000 | #Constraints: 62618
3600.00/3609.00 c #Conflicts: 2261000 | #Constraints: 63618
3600.00/3609.00 c #Conflicts: 2262000 | #Constraints: 64618
3600.00/3609.00 c #Conflicts: 2263000 | #Constraints: 65618
3600.00/3609.00 c #Conflicts: 2264000 | #Constraints: 66618
3600.00/3609.00 c #Conflicts: 2265000 | #Constraints: 67618
3600.00/3609.00 c #Conflicts: 2266000 | #Constraints: 68618
3600.00/3609.00 c #Conflicts: 2267000 | #Constraints: 69618
3600.00/3609.00 c #Conflicts: 2268000 | #Constraints: 70618
3600.00/3609.00 c #Conflicts: 2269000 | #Constraints: 71618
3600.00/3609.00 c #Conflicts: 2270000 | #Constraints: 72618
3600.00/3609.00 c #Conflicts: 2271000 | #Constraints: 73618
3600.00/3609.00 c #Conflicts: 2272000 | #Constraints: 74618
3600.00/3609.00 c #Conflicts: 2273000 | #Constraints: 75618
3600.00/3609.00 c #Conflicts: 2274000 | #Constraints: 76618
3600.00/3609.00 c #Conflicts: 2275000 | #Constraints: 77618
3600.00/3609.00 c #Conflicts: 2276000 | #Constraints: 78618
3600.00/3609.00 c #Conflicts: 2277000 | #Constraints: 79618
3600.00/3609.00 c #Conflicts: 2278000 | #Constraints: 80618
3600.00/3609.00 c #Conflicts: 2279000 | #Constraints: 81618
3600.00/3609.00 c #Conflicts: 2280000 | #Constraints: 82618
3600.00/3609.00 c #Conflicts: 2281000 | #Constraints: 83618
3600.00/3609.00 c #Conflicts: 2282000 | #Constraints: 84618
3600.00/3609.00 c #Conflicts: 2283000 | #Constraints: 85618
3600.00/3609.00 c #Conflicts: 2284000 | #Constraints: 86618
3600.00/3609.00 c #Conflicts: 2285000 | #Constraints: 87618
3600.00/3609.00 c #Conflicts: 2286000 | #Constraints: 88618
3600.00/3609.00 c INPROCESSING
3600.00/3609.00 c GARBAGE COLLECT
3600.00/3609.00 c Disabling crashed LP
3600.00/3609.00 c cpu time 3575.17 s
3600.00/3609.00 c deterministic time 28689600758 2.87e+10
3600.00/3609.00 c optimization time 0.02459 s
3600.00/3609.00 c total solve time 3575.04 s
3600.00/3609.00 c core-guided solve time 0 s
3600.00/3609.00 c propagation time 1957.84 s
3600.00/3609.00 c conflict analysis time 77.2825 s
3600.00/3609.00 c propagations 109426321
3600.00/3609.00 c resolve steps 24141805
3600.00/3609.00 c decisions 2890688
3600.00/3609.00 c conflicts 2286200
3600.00/3609.00 c restarts 4094
3600.00/3609.00 c inprocessing phases 142
3600.00/3609.00 c garbage collections 141 ,( 99.30 )
3600.00/3609.00 c input clauses 27506 ,( 95.95 )
3600.00/3609.00 c input cardinalities 293 ,( 1.02 )
3600.00/3609.00 c input general constraints 868 ,( 3.03 )
3600.00/3609.00 c input average constraint length 3.52
3600.00/3609.00 c input average constraint degree 1.54
3600.00/3609.00 c learned clauses 1800542 ,( 78.03 )
3600.00/3609.00 c learned cardinalities 72483 ,( 3.14 )
3600.00/3609.00 c learned general constraints 434596 ,( 18.83 )
3600.00/3609.00 c learned average constraint length 46.71
3600.00/3609.00 c learned average constraint degree 101263866.11
3600.00/3609.00 c watched CF 32, 64, 128, Arb: 417777 , 0 , 0 , 0
3600.00/3609.00 c counting CF 32, 64, 128, Arb: 17688 , 0 , 0 , 0
3600.00/3609.00 c watched constraints 417777 ,( 95.94 )
3600.00/3609.00 c counting constraints 17687 ,( 4.06 )
3600.00/3609.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1240453895 , 2808003746 , 222269689 ,( 221412245 , 857444 )
3600.00/3609.00 c gcd simplifications 16489
3600.00/3609.00 c detected cardinalities 3707
3600.00/3609.00 c weakened non-implied lits 20216274
3600.00/3609.00 c weakened non-implying lits 5118
3600.00/3609.00 c original variables 9324
3600.00/3609.00 c clausal propagations 89517116
3600.00/3609.00 c cardinality propagations 13862253
3600.00/3609.00 c watched propagations 3464538
3600.00/3609.00 c counting propagations 15110
3600.00/3609.00 c watch lookups 10760818634
3600.00/3609.00 c watch backjump lookups 0
3600.00/3609.00 c watch checks 15261378074
3600.00/3609.00 c propagation checks 2050675552
3600.00/3609.00 c constraint additions 385628994
3600.00/3609.00 c trail pops 114603206
3600.00/3609.00 c formula constraints 28660
3600.00/3609.00 c learned constraints 2286197
3600.00/3609.00 c bound constraints 0
3600.00/3609.00 c core-guided constraints 0
3600.00/3609.00 c encountered formula constraints 13971871
3600.00/3609.00 c encountered learned constraints 11387910
3600.00/3609.00 c encountered bound constraints 0
3600.00/3609.00 c encountered core-guided constraints 0
3600.00/3609.00 c LP total time 3158.63 s
3600.00/3609.00 c LP solve time 3074.46 s
3600.00/3609.00 c LP constraints added 46227
3600.00/3609.00 c LP constraints removed 17227
3600.00/3609.00 c LP pivots internal 2294305
3600.00/3609.00 c LP pivots root 1884983
3600.00/3609.00 c LP calls 17368
3600.00/3609.00 c LP optimalities 186
3600.00/3609.00 c LP no pivot count 1
3600.00/3609.00 c LP infeasibilities 17172
3600.00/3609.00 c LP valid Farkas constraints 17169
3600.00/3609.00 c LP learned Farkas constraints 3
3600.00/3609.00 c LP basis resets 6
3600.00/3609.00 c LP cycling count 2
3600.00/3609.00 c LP singular count 1
3600.00/3609.00 c LP no primal count 0
3600.00/3609.00 c LP no farkas count 3
3600.00/3609.00 c LP other issue count 0
3600.00/3609.00 c LP Gomory cuts 4252
3600.00/3609.00 c LP learned cuts 13315
3600.00/3609.00 c LP deleted cuts 17227
3600.00/3609.00 c LP encountered Gomory constraints 1067958
3600.00/3609.00 c LP encountered Farkas constraints 260
3600.00/3609.00 c LP encountered learned Farkas constraints 3
3600.00/3609.00 c CG auxiliary variables introduced 8
3600.00/3609.00 c CG solutions found 0
3600.00/3609.00 c CG cores constructed 7
3600.00/3609.00 c CG core cardinality constraints returned 0
3600.00/3609.00 c CG unit cores 0
3600.00/3609.00 c CG single cores 0
3600.00/3609.00 c CG blocks removed during cardinality reduction 0
3600.00/3609.00 c CG first core best 0
3600.00/3609.00 c CG decision core best 0
3600.00/3609.00 c CG core reduction tie 0
3600.00/3609.00 c CG core degree average 0.00
3600.00/3609.00 c CG core slack average 0.00
3600.00/3609.00 c CG core upper bound improvements 0
3600.00/3609.00 c STR number of successful calls 0
3600.00/3609.00 c STR number of unsuccessful calls 0
3600.00/3609.00 c STR number of inconclusive calls 0
3600.00/3609.00 c STR number of successful attempts 0
3600.00/3609.00 c STR number of unsuccessful attempts 0
3600.00/3609.00 c STR number of inconclusive attempts 0
3600.00/3609.00 c STR average degree increase per successful call inf
3600.00/3609.00 c STR average degree increase per successful attempt inf
3600.00/3609.00 c STR total number of conflicts for successful attempts 0
3600.00/3609.00 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.00 c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.00 c STR average number of conflicts per successful attempt inf
3600.00/3609.00 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.00 c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.00 c AVG.sumWPerc 18.91
3600.00/3609.00 c bigint constraints 0
3600.00/3609.00 s UNKNOWN
3600.00/3609.00 c Program interrupted by user.
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 (26306 MiB free)
memory of node 1: 64465 MiB (10272 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507861-1751507396/watcher-4507861-1751507396 -o /tmp/evaluation-result-4507861-1751507396/solver-4507861-1751507396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71419 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4507861-1751507396.opb PROOFDIR/proof-4507861-1751507396
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=72539, runsolver pid=72536
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.21 4.14 4.12 5/274 72541
/proc/meminfo: memFree=37456408/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=60352 memory=15408 CPUtime=0.08 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 1708 0 0 0 6 2 0 0 20 0 1 0 66417211 61800448 3852 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 15088 3852 1952 1147 0 2515 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64544 KiB
Current children cumulated memory: 18224 KiB
[startup+0.205613 s]*
/proc/loadavg: 4.21 4.14 4.12 5/274 72541
/proc/meminfo: memFree=37408020/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=105228 memory=54516 CPUtime=0.18 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 9290 0 0 0 14 4 0 0 20 0 1 0 66417211 107753472 13629 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 26307 13629 2368 1147 0 13734 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 109420 KiB
Current children cumulated memory: 57332 KiB
[startup+0.305669 s]*
/proc/loadavg: 4.21 4.14 4.12 5/274 72541
/proc/meminfo: memFree=37408020/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=105228 memory=54516 CPUtime=0.29 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 9290 0 0 0 24 5 0 0 20 0 1 0 66417211 107753472 13629 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 26307 13629 2368 1147 0 13734 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109420 KiB
Current children cumulated memory: 57332 KiB
[startup+0.700203 s]
/proc/loadavg: 4.21 4.14 4.12 5/274 72541
/proc/meminfo: memFree=37399956/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=106348 memory=55028 CPUtime=0.67 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 9395 0 0 0 59 8 0 0 20 0 1 0 66417211 108900352 13757 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 26587 13757 2400 1147 0 14014 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 110540 KiB
Current children cumulated memory: 57844 KiB
[startup+1.50018 s]
/proc/loadavg: 4.19 4.14 4.12 5/274 72541
/proc/meminfo: memFree=37375264/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=110052 memory=57844 CPUtime=1.47 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 10133 0 0 0 138 9 0 0 20 0 1 0 66417211 112693248 14461 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 27513 14461 2400 1147 0 14940 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 114244 KiB
Current children cumulated memory: 60660 KiB
[startup+3.10552 s]
/proc/loadavg: 4.19 4.14 4.12 5/274 72541
/proc/meminfo: memFree=37283060/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=113344 memory=63244 CPUtime=3.07 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 10973 0 0 0 295 12 0 0 20 0 1 0 66417211 116064256 15811 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 28336 15811 2400 1147 0 15763 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 117536 KiB
Current children cumulated memory: 66060 KiB
[startup+6.30019 s]
/proc/loadavg: 4.18 4.13 4.12 5/274 72541
/proc/meminfo: memFree=37146980/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=113216 memory=63244 CPUtime=6.26 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 11037 0 0 0 610 16 0 0 20 0 1 0 66417211 115933184 15811 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 28304 15811 2400 1147 0 15731 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117408 KiB
Current children cumulated memory: 66060 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.12 5/274 72541
/proc/meminfo: memFree=36964680/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=115864 memory=65420 CPUtime=12.64 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 11594 0 0 0 1243 21 0 0 20 0 1 0 66417211 118644736 16355 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 28966 16355 2400 1147 0 16393 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 120056 KiB
Current children cumulated memory: 68236 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.14 4.12 5/274 72542
/proc/meminfo: memFree=36488004/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=122592 memory=71948 CPUtime=25.41 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 13253 0 0 0 2506 35 0 0 20 0 1 0 66417211 125534208 17987 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 30648 17987 2400 1147 0 18075 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 74764 KiB
[startup+51.1057 s]
/proc/loadavg: 4.21 4.15 4.12 5/274 72543
/proc/meminfo: memFree=35692432/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=123672 memory=73356 CPUtime=50.95 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 13607 0 0 0 5038 57 0 0 20 0 1 0 66417211 126640128 18339 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 30918 18339 2400 1147 0 18345 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 127864 KiB
Current children cumulated memory: 76172 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.16 4.13 5/274 72545
/proc/meminfo: memFree=33921804/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=126340 memory=75916 CPUtime=102.01 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 14258 0 0 0 10106 95 0 0 20 0 1 0 66417211 129372160 18979 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 31585 18979 2400 1147 0 19012 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 130532 KiB
Current children cumulated memory: 78732 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/272 72547
/proc/meminfo: memFree=31663640/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=134264 memory=83884 CPUtime=161.85 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 16339 0 0 0 16047 138 0 0 20 0 1 0 66417211 137486336 20971 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 33566 20971 2400 1147 0 20993 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 138456 KiB
Current children cumulated memory: 86700 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/273 72550
/proc/meminfo: memFree=29758828/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=134264 memory=83884 CPUtime=221.67 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 16343 0 0 0 21995 172 0 0 20 0 1 0 66417211 137486336 20971 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 33566 20971 2400 1147 0 20993 0
################
# More data... #
################
/proc/72541/statm: 47906 35882 2464 1147 0 35333 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 146344 KiB
[startup+3102.3 s]
/proc/loadavg: 1.04 1.08 1.54 2/246 72797
/proc/meminfo: memFree=127921956/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=191624 memory=143528 CPUtime=3094.42 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 27814 0 0 0 307366 2076 0 0 20 0 1 0 66417211 196222976 35882 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 47906 35882 2464 1147 0 35333 0
Current children cumulated CPU time: 3094.42 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 146344 KiB
[startup+3162.3 s]
/proc/loadavg: 1.11 1.09 1.51 2/247 72800
/proc/meminfo: memFree=127906964/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=191624 memory=143528 CPUtime=3154.29 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 27815 0 0 0 313303 2126 0 0 20 0 1 0 66417211 196222976 35882 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 47906 35882 2464 1147 0 35333 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 146344 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.09 1.48 2/247 72802
/proc/meminfo: memFree=127900072/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=191624 memory=143528 CPUtime=3214.16 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 27815 0 0 0 319239 2177 0 0 20 0 1 0 66417211 196222976 35882 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 47906 35882 2464 1147 0 35333 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 146344 KiB
[startup+3282.3 s]
/proc/loadavg: 1.07 1.08 1.45 2/247 72804
/proc/meminfo: memFree=127884516/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=191624 memory=143528 CPUtime=3274.03 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 27815 0 0 0 325170 2233 0 0 20 0 1 0 66417211 196222976 35882 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 47906 35882 2464 1147 0 35333 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 146344 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.10 1.43 2/247 72810
/proc/meminfo: memFree=127870572/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=191624 memory=143528 CPUtime=3333.89 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 27815 0 0 0 331102 2287 0 0 20 0 1 0 66417211 196222976 35882 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 47906 35882 2464 1147 0 35333 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 146344 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.09 1.41 2/247 72815
/proc/meminfo: memFree=127858072/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=191624 memory=143528 CPUtime=3393.75 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 27815 0 0 0 337039 2336 0 0 20 0 1 0 66417211 196222976 35882 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 47906 35882 2464 1147 0 35333 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 146344 KiB
[startup+3462.3 s]
/proc/loadavg: 1.14 1.10 1.39 2/249 72819
/proc/meminfo: memFree=127838564/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=191624 memory=145448 CPUtime=3453.62 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 28088 0 0 0 342981 2381 0 0 20 0 1 0 66417211 196222976 36362 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 47906 36362 2464 1147 0 35333 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 195816 KiB
Current children cumulated memory: 148264 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.10 1.37 2/249 72821
/proc/meminfo: memFree=127823004/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=198684 memory=152552 CPUtime=3513.49 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 29342 0 0 0 348927 2422 0 0 20 0 1 0 66417211 203452416 38138 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 49671 38138 2464 1147 0 37098 0
Current children cumulated CPU time: 3513.49 s
Current children cumulated vsize: 202876 KiB
Current children cumulated memory: 155368 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.11 1.36 2/249 72823
/proc/meminfo: memFree=127816408/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=200588 memory=154472 CPUtime=3573.35 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 29872 0 0 0 354870 2465 0 0 20 0 1 0 66417211 205402112 38618 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 50147 38618 2464 1147 0 37574 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 204780 KiB
Current children cumulated memory: 157288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 1.10 1.10 1.35 2/249 72823
/proc/meminfo: memFree=127808548/131249988 swapFree=33010160/33010684
[pid=72539] ppid=72536 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/72539/stat : 72539 (run-opt-log.sh) S 72536 72539 71409 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66417211 4292608 704 18446744073709551615 94785156812800 94785157707333 140727353529824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94785157946384 94785157994128 94785162780672 140727353538849 140727353539044 140727353539044 140727353544646 0
/proc/72539/statm: 1048 704 672 219 0 110 0
[pid=72541] ppid=72539 vsize=200588 memory=154472 CPUtime=3600 cores=0,2
/proc/72541/stat : 72541 (roundingsat) R 72539 72539 71409 0 -1 4194304 29874 0 0 0 357516 2484 0 0 20 0 1 0 66417211 205402112 38618 18446744073709551615 4227072 8923433 140726975398368 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35139584 140726975400274 140726975400488 140726975400488 140726975406058 0
/proc/72541/statm: 50147 38618 2464 1147 0 37574 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 204780 KiB
Current children cumulated memory: 157288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 72539 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001817 s
[startup+3609.02 s]
# the end of solver process 72541 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.18 s, system=24.8438 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.02
CPU time (s): 3600.02
CPU user time (s): 3575.18
CPU system time (s): 24.8438
CPU usage (%): 99.7507
Max. virtual memory (cumulated for all children) (KiB): 204780
Max. memory (cumulated for all children) (KiB): 157288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.18
system time used= 24.8438
maximum resident set size= 154728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3892112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 173
involuntary context switches= 5533
# summary of solver processes directly reported to runsolver:
# pid: 72539,72541
# total CPU time (s): 3600.02
# total CPU user time (s): 3575.18
# total CPU system time (s): 24.8438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14948 second user time and 13.5976 second system time
The end
Begin job on nodeC020 at 2025-07-03 03:49:56
IDJOB=4507861
IDBENCH=158386
IDSOLVER=3351
FILE ID=nodeC020/4507861-1751507396
RUNJOBID= nodeC020-1751497800-71419
SLURM_JOB_ID= 9598575
Free space on /tmp= 431672 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep5.5.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507861-1751507396/watcher-4507861-1751507396 -o /tmp/evaluation-result-4507861-1751507396/solver-4507861-1751507396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71419 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4507861-1751507396.opb PROOFDIR/proof-4507861-1751507396
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57020c0b0c1558ae6f18629e32faebb8
RANDOM SEED=1108769763
nodeC020 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.890
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.79
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.886
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.79
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 : 3601.944
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.79
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 : 3548.009
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.79
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.831
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.79
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.913
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.79
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 : 3753.504
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.79
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 : 3513.938
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 37456408 kB
MemAvailable: 115635792 kB
Buffers: 2128 kB
Cached: 78868236 kB
SwapCached: 12 kB
Active: 14404280 kB
Inactive: 78196148 kB
Active(anon): 13723116 kB
Inactive(anon): 25072 kB
Active(file): 681164 kB
Inactive(file): 78171076 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10469448 kB
Writeback: 8 kB
AnonPages: 13732456 kB
Mapped: 117648 kB
Shmem: 18040 kB
KReclaimable: 332764 kB
Slab: 753992 kB
SReclaimable: 332764 kB
SUnreclaim: 421228 kB
KernelStack: 4400 kB
PageTables: 33384 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 16773720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150744 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2353152 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431780 MiB
End job on nodeC020 at 2025-07-03 04:50:06