0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.13 c #variables 9324 #constraints 28660
0.08/0.13 c objective is ce32
0.08/0.13 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
0.08/0.13 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.08/0.13 c GLOBAL bounds - >= 0 @ 0.091912
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.097448
0.49/0.56 c GLOBAL bounds - >= 0 @ 0.503014
0.49/0.57 c GLOBAL bounds - >= 0 @ 0.50465
0.49/0.57 c GLOBAL bounds - >= 0 @ 0.505386
0.49/0.58 c GLOBAL bounds - >= 0 @ 0.509927
0.49/0.58 c GLOBAL bounds - >= 0 @ 0.512353
0.49/0.59 c GLOBAL bounds - >= 0 @ 0.515599
2.87/2.97 c #Conflicts: 1000 | #Constraints: 29662
2.87/2.97 c #Conflicts: 2000 | #Constraints: 30662
2.87/2.97 c INPROCESSING
2.87/2.97 c #Conflicts: 3000 | #Constraints: 30673
2.87/2.97 c GLOBAL bounds - >= 0 @ 2.84242
2.87/2.98 c GLOBAL bounds - >= 0 @ 2.84649
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.30/29.45 c #Conflicts: 10000 | #Constraints: 31888
29.30/29.45 c #Conflicts: 11000 | #Constraints: 32888
29.30/29.45 c #Conflicts: 12000 | #Constraints: 33888
29.30/29.45 c INPROCESSING
29.30/29.45 c GARBAGE COLLECT
29.30/29.45 c #Conflicts: 13000 | #Constraints: 32287
29.30/29.45 c #Conflicts: 14000 | #Constraints: 33287
29.30/29.45 c #Conflicts: 15000 | #Constraints: 34287
29.30/29.45 c INPROCESSING
29.30/29.45 c GARBAGE COLLECT
29.30/29.45 c #Conflicts: 16000 | #Constraints: 32487
29.30/29.45 c #Conflicts: 17000 | #Constraints: 33487
29.30/29.45 c #Conflicts: 18000 | #Constraints: 34487
29.30/29.45 c INPROCESSING
29.30/29.45 c GARBAGE COLLECT
29.30/29.45 c #Conflicts: 19000 | #Constraints: 32488
29.30/29.45 c #Conflicts: 20000 | #Constraints: 33488
29.30/29.45 c #Conflicts: 21000 | #Constraints: 34488
29.30/29.45 c INPROCESSING
29.30/29.45 c GARBAGE COLLECT
29.30/29.45 c #Conflicts: 22000 | #Constraints: 32291
29.30/29.45 c #Conflicts: 23000 | #Constraints: 33291
29.30/29.45 c #Conflicts: 24000 | #Constraints: 34291
29.30/29.45 c #Conflicts: 25000 | #Constraints: 35291
29.30/29.45 c INPROCESSING
29.30/29.45 c GARBAGE COLLECT
29.30/29.45 c rational objective 9.5
38.87/39.05 c #Conflicts: 26000 | #Constraints: 32991
38.87/39.05 c #Conflicts: 27000 | #Constraints: 33991
38.87/39.05 c GLOBAL bounds - >= 0 @ 38.5307
38.87/39.06 c GLOBAL bounds - >= 0 @ 38.5325
46.04/46.26 c #Conflicts: 28000 | #Constraints: 34992
46.04/46.26 c #Conflicts: 29000 | #Constraints: 35992
46.04/46.26 c INPROCESSING
46.04/46.26 c GARBAGE COLLECT
46.04/46.26 c #Conflicts: 30000 | #Constraints: 33342
46.04/46.26 c #Conflicts: 31000 | #Constraints: 34342
46.04/46.26 c #Conflicts: 32000 | #Constraints: 35342
46.04/46.26 c #Conflicts: 33000 | #Constraints: 36342
46.04/46.26 c INPROCESSING
46.04/46.26 c GARBAGE COLLECT
46.04/46.26 c #Conflicts: 34000 | #Constraints: 33516
46.04/46.26 c #Conflicts: 35000 | #Constraints: 34516
46.04/46.26 c #Conflicts: 36000 | #Constraints: 35516
46.04/46.26 c #Conflicts: 37000 | #Constraints: 36516
46.04/46.26 c INPROCESSING
46.04/46.26 c GARBAGE COLLECT
46.04/46.26 c rational objective 12
64.09/64.36 c #Conflicts: 38000 | #Constraints: 33596
64.09/64.36 c #Conflicts: 39000 | #Constraints: 34596
64.09/64.36 c #Conflicts: 40000 | #Constraints: 35596
64.09/64.36 c #Conflicts: 41000 | #Constraints: 36596
64.09/64.36 c INPROCESSING
64.09/64.36 c GARBAGE COLLECT
64.09/64.36 c #Conflicts: 42000 | #Constraints: 33346
64.09/64.36 c #Conflicts: 43000 | #Constraints: 34346
64.09/64.36 c #Conflicts: 44000 | #Constraints: 35346
64.09/64.36 c #Conflicts: 45000 | #Constraints: 36346
64.09/64.36 c #Conflicts: 46000 | #Constraints: 37346
64.09/64.36 c INPROCESSING
64.09/64.36 c GARBAGE COLLECT
64.09/64.36 c #Conflicts: 47000 | #Constraints: 33917
64.09/64.36 c #Conflicts: 48000 | #Constraints: 34917
64.09/64.36 c #Conflicts: 49000 | #Constraints: 35917
64.09/64.36 c #Conflicts: 50000 | #Constraints: 36917
64.09/64.36 c #Conflicts: 51000 | #Constraints: 37917
64.09/64.36 c INPROCESSING
64.09/64.36 c GARBAGE COLLECT
64.09/64.36 c rational objective 12
82.62/82.95 c #Conflicts: 52000 | #Constraints: 34395
82.62/82.95 c #Conflicts: 53000 | #Constraints: 35395
82.62/82.95 c #Conflicts: 54000 | #Constraints: 36395
82.62/82.95 c #Conflicts: 55000 | #Constraints: 37395
82.62/82.95 c #Conflicts: 56000 | #Constraints: 38395
82.62/82.95 c INPROCESSING
82.62/82.95 c GARBAGE COLLECT
82.62/82.95 c #Conflicts: 57000 | #Constraints: 34547
82.62/82.95 c #Conflicts: 58000 | #Constraints: 35547
82.62/82.95 c #Conflicts: 59000 | #Constraints: 36547
82.62/82.95 c #Conflicts: 60000 | #Constraints: 37547
82.62/82.95 c #Conflicts: 61000 | #Constraints: 38547
82.62/82.95 c INPROCESSING
82.62/82.95 c GARBAGE COLLECT
82.62/82.95 c rational objective 12
204.83/205.52 c #Conflicts: 62000 | #Constraints: 34608
204.83/205.52 c #Conflicts: 63000 | #Constraints: 35608
204.83/205.52 c #Conflicts: 64000 | #Constraints: 36608
204.83/205.52 c #Conflicts: 65000 | #Constraints: 37608
204.83/205.52 c #Conflicts: 66000 | #Constraints: 38608
204.83/205.52 c INPROCESSING
204.83/205.52 c GARBAGE COLLECT
204.83/205.52 c #Conflicts: 67000 | #Constraints: 34349
204.83/205.52 c #Conflicts: 68000 | #Constraints: 35349
204.83/205.52 c #Conflicts: 69000 | #Constraints: 36349
204.83/205.52 c #Conflicts: 70000 | #Constraints: 37349
204.83/205.52 c #Conflicts: 71000 | #Constraints: 38349
204.83/205.52 c #Conflicts: 72000 | #Constraints: 39349
204.83/205.52 c INPROCESSING
204.83/205.52 c GARBAGE COLLECT
204.83/205.52 c #Conflicts: 73000 | #Constraints: 34920
204.83/205.52 c #Conflicts: 74000 | #Constraints: 35920
204.83/205.52 c #Conflicts: 75000 | #Constraints: 36920
204.83/205.52 c #Conflicts: 76000 | #Constraints: 37920
204.83/205.52 c #Conflicts: 77000 | #Constraints: 38920
204.83/205.52 c #Conflicts: 78000 | #Constraints: 39920
204.83/205.52 c INPROCESSING
204.83/205.52 c GARBAGE COLLECT
204.83/205.52 c #Conflicts: 79000 | #Constraints: 35307
204.83/205.52 c #Conflicts: 80000 | #Constraints: 36307
204.83/205.52 c #Conflicts: 81000 | #Constraints: 37307
204.83/205.52 c #Conflicts: 82000 | #Constraints: 38307
204.83/205.52 c #Conflicts: 83000 | #Constraints: 39307
204.83/205.52 c #Conflicts: 84000 | #Constraints: 40307
204.83/205.52 c INPROCESSING
204.83/205.52 c GARBAGE COLLECT
204.83/205.52 c #Conflicts: 85000 | #Constraints: 35500
204.83/205.52 c #Conflicts: 86000 | #Constraints: 36500
204.83/205.52 c #Conflicts: 87000 | #Constraints: 37500
204.83/205.52 c #Conflicts: 88000 | #Constraints: 38500
204.83/205.52 c #Conflicts: 89000 | #Constraints: 39500
204.83/205.52 c #Conflicts: 90000 | #Constraints: 40500
204.83/205.52 c INPROCESSING
204.83/205.52 c GARBAGE COLLECT
204.83/205.52 c #Conflicts: 91000 | #Constraints: 35497
204.83/205.52 c #Conflicts: 92000 | #Constraints: 36497
204.83/205.52 c #Conflicts: 93000 | #Constraints: 37497
204.83/205.52 c #Conflicts: 94000 | #Constraints: 38498
204.83/205.52 c #Conflicts: 95000 | #Constraints: 39498
204.83/205.52 c #Conflicts: 96000 | #Constraints: 40498
204.83/205.52 c INPROCESSING
204.83/205.52 c GARBAGE COLLECT
204.83/205.52 c #Conflicts: 97000 | #Constraints: 35301
204.83/205.52 c #Conflicts: 98000 | #Constraints: 36301
204.83/205.52 c #Conflicts: 99000 | #Constraints: 37301
204.83/205.52 c #Conflicts: 100000 | #Constraints: 38301
204.83/205.52 c #Conflicts: 101000 | #Constraints: 39301
204.83/205.52 c #Conflicts: 102000 | #Constraints: 40301
204.83/205.52 c #Conflicts: 103000 | #Constraints: 41301
204.83/205.52 c INPROCESSING
204.83/205.52 c GARBAGE COLLECT
204.83/205.52 c #Conflicts: 104000 | #Constraints: 35898
204.83/205.52 c #Conflicts: 105000 | #Constraints: 36898
204.83/205.52 c #Conflicts: 106000 | #Constraints: 37898
204.83/205.52 c #Conflicts: 107000 | #Constraints: 38898
204.83/205.52 c #Conflicts: 108000 | #Constraints: 39899
204.83/205.52 c #Conflicts: 109000 | #Constraints: 40900
204.83/205.52 c #Conflicts: 110000 | #Constraints: 41900
204.83/205.52 c INPROCESSING
204.83/205.52 c GARBAGE COLLECT
204.83/205.52 c #Conflicts: 111000 | #Constraints: 36299
204.83/205.52 c #Conflicts: 112000 | #Constraints: 37299
204.83/205.52 c #Conflicts: 113000 | #Constraints: 38300
204.83/205.52 c #Conflicts: 114000 | #Constraints: 39300
204.83/205.52 c #Conflicts: 115000 | #Constraints: 40300
204.83/205.52 c #Conflicts: 116000 | #Constraints: 41300
204.83/205.52 c #Conflicts: 117000 | #Constraints: 42300
204.83/205.52 c INPROCESSING
204.83/205.52 c GARBAGE COLLECT
204.83/205.52 c rational objective 12
273.91/274.88 c #Conflicts: 118000 | #Constraints: 36584
273.91/274.88 c #Conflicts: 119000 | #Constraints: 37584
273.91/274.88 c #Conflicts: 120000 | #Constraints: 38584
273.91/274.88 c #Conflicts: 121000 | #Constraints: 39584
273.91/274.88 c #Conflicts: 122000 | #Constraints: 40584
273.91/274.88 c #Conflicts: 123000 | #Constraints: 41584
273.91/274.88 c #Conflicts: 124000 | #Constraints: 42584
273.91/274.88 c INPROCESSING
273.91/274.88 c GARBAGE COLLECT
273.91/274.88 c #Conflicts: 125000 | #Constraints: 36545
273.91/274.88 c #Conflicts: 126000 | #Constraints: 37545
273.91/274.88 c #Conflicts: 127000 | #Constraints: 38545
273.91/274.88 c #Conflicts: 128000 | #Constraints: 39545
273.91/274.88 c #Conflicts: 129000 | #Constraints: 40545
273.91/274.88 c #Conflicts: 130000 | #Constraints: 41545
273.91/274.88 c #Conflicts: 131000 | #Constraints: 42545
273.91/274.88 c INPROCESSING
273.91/274.88 c GARBAGE COLLECT
273.91/274.88 c #Conflicts: 132000 | #Constraints: 36322
273.91/274.88 c #Conflicts: 133000 | #Constraints: 37322
273.91/274.88 c #Conflicts: 134000 | #Constraints: 38322
273.91/274.88 c #Conflicts: 135000 | #Constraints: 39322
273.91/274.88 c #Conflicts: 136000 | #Constraints: 40322
273.91/274.88 c #Conflicts: 137000 | #Constraints: 41322
273.91/274.88 c #Conflicts: 138000 | #Constraints: 42322
273.91/274.88 c #Conflicts: 139000 | #Constraints: 43322
273.91/274.88 c INPROCESSING
273.91/274.88 c GARBAGE COLLECT
273.91/274.88 c #Conflicts: 140000 | #Constraints: 36909
273.91/274.88 c #Conflicts: 141000 | #Constraints: 37909
273.91/274.88 c #Conflicts: 142000 | #Constraints: 38909
273.91/274.88 c #Conflicts: 143000 | #Constraints: 39909
273.91/274.88 c #Conflicts: 144000 | #Constraints: 40909
273.91/274.88 c #Conflicts: 145000 | #Constraints: 41909
273.91/274.88 c #Conflicts: 146000 | #Constraints: 42909
273.91/274.88 c #Conflicts: 147000 | #Constraints: 43909
273.91/274.88 c INPROCESSING
273.91/274.88 c GARBAGE COLLECT
273.91/274.88 c #Conflicts: 148000 | #Constraints: 37301
273.91/274.88 c #Conflicts: 149000 | #Constraints: 38301
273.91/274.88 c #Conflicts: 150000 | #Constraints: 39301
273.91/274.88 c #Conflicts: 151000 | #Constraints: 40301
273.91/274.88 c #Conflicts: 152000 | #Constraints: 41301
273.91/274.88 c #Conflicts: 153000 | #Constraints: 42301
273.91/274.88 c #Conflicts: 154000 | #Constraints: 43301
273.91/274.88 c #Conflicts: 155000 | #Constraints: 44301
273.91/274.88 c INPROCESSING
273.91/274.88 c GARBAGE COLLECT
273.91/274.88 c #Conflicts: 156000 | #Constraints: 37499
273.91/274.88 c #Conflicts: 157000 | #Constraints: 38499
273.91/274.88 c #Conflicts: 158000 | #Constraints: 39499
273.91/274.88 c #Conflicts: 159000 | #Constraints: 40499
273.91/274.88 c #Conflicts: 160000 | #Constraints: 41499
273.91/274.88 c #Conflicts: 161000 | #Constraints: 42499
273.91/274.88 c #Conflicts: 162000 | #Constraints: 43499
273.91/274.88 c #Conflicts: 163000 | #Constraints: 44499
273.91/274.88 c INPROCESSING
273.91/274.88 c GARBAGE COLLECT
273.91/274.88 c #Conflicts: 164000 | #Constraints: 37499
273.91/274.88 c #Conflicts: 165000 | #Constraints: 38499
273.91/274.88 c #Conflicts: 166000 | #Constraints: 39499
273.91/274.88 c #Conflicts: 167000 | #Constraints: 40499
273.91/274.88 c #Conflicts: 168000 | #Constraints: 41499
273.91/274.88 c #Conflicts: 169000 | #Constraints: 42499
273.91/274.88 c #Conflicts: 170000 | #Constraints: 43499
273.91/274.88 c #Conflicts: 171000 | #Constraints: 44499
273.91/274.88 c INPROCESSING
273.91/274.88 c GARBAGE COLLECT
273.91/274.88 c #Conflicts: 172000 | #Constraints: 37296
273.91/274.88 c #Conflicts: 173000 | #Constraints: 38296
273.91/274.88 c #Conflicts: 174000 | #Constraints: 39296
273.91/274.88 c #Conflicts: 175000 | #Constraints: 40296
273.91/274.88 c #Conflicts: 176000 | #Constraints: 41297
273.91/274.88 c #Conflicts: 177000 | #Constraints: 42297
273.91/274.88 c #Conflicts: 178000 | #Constraints: 43297
273.91/274.88 c #Conflicts: 179000 | #Constraints: 44297
273.91/274.88 c #Conflicts: 180000 | #Constraints: 45297
273.91/274.88 c INPROCESSING
273.91/274.88 c GARBAGE COLLECT
273.91/274.88 c #Conflicts: 181000 | #Constraints: 37898
273.91/274.88 c #Conflicts: 182000 | #Constraints: 38898
273.91/274.88 c #Conflicts: 183000 | #Constraints: 39898
273.91/274.88 c #Conflicts: 184000 | #Constraints: 40898
273.91/274.88 c #Conflicts: 185000 | #Constraints: 41901
273.91/274.88 c #Conflicts: 186000 | #Constraints: 42901
273.91/274.88 c #Conflicts: 187000 | #Constraints: 43901
273.91/274.88 c #Conflicts: 188000 | #Constraints: 44901
273.91/274.88 c #Conflicts: 189000 | #Constraints: 45901
273.91/274.88 c INPROCESSING
273.91/274.88 c GARBAGE COLLECT
273.91/274.88 c #Conflicts: 190000 | #Constraints: 38305
273.91/274.88 c #Conflicts: 191000 | #Constraints: 39321
280.29/281.22 c #Conflicts: 192000 | #Constraints: 40321
280.29/281.22 c #Conflicts: 193000 | #Constraints: 41321
280.29/281.22 c #Conflicts: 194000 | #Constraints: 42321
280.29/281.22 c #Conflicts: 195000 | #Constraints: 43321
280.29/281.22 c #Conflicts: 196000 | #Constraints: 44321
280.29/281.22 c #Conflicts: 197000 | #Constraints: 45321
280.29/281.22 c #Conflicts: 198000 | #Constraints: 46321
280.29/281.22 c INPROCESSING
280.29/281.22 c GARBAGE COLLECT
280.29/281.22 c rational objective 17.3333
316.98/318.09 c #Conflicts: 199000 | #Constraints: 38597
316.98/318.09 c #Conflicts: 200000 | #Constraints: 39597
316.98/318.09 c #Conflicts: 201000 | #Constraints: 40597
316.98/318.09 c #Conflicts: 202000 | #Constraints: 41597
316.98/318.09 c #Conflicts: 203000 | #Constraints: 42597
316.98/318.09 c #Conflicts: 204000 | #Constraints: 43597
316.98/318.09 c #Conflicts: 205000 | #Constraints: 44597
316.98/318.09 c #Conflicts: 206000 | #Constraints: 45597
316.98/318.09 c #Conflicts: 207000 | #Constraints: 46597
316.98/318.09 c INPROCESSING
316.98/318.09 c GARBAGE COLLECT
316.98/318.09 c rational objective 21.3333
318.08/319.18 c #Conflicts: 208000 | #Constraints: 38625
318.08/319.18 c #Conflicts: 209000 | #Constraints: 39625
318.08/319.18 c #Conflicts: 210000 | #Constraints: 40625
318.08/319.18 c #Conflicts: 211000 | #Constraints: 41625
318.08/319.18 c #Conflicts: 212000 | #Constraints: 42625
318.08/319.18 c #Conflicts: 213000 | #Constraints: 43625
318.08/319.18 c #Conflicts: 214000 | #Constraints: 44625
318.08/319.18 c #Conflicts: 215000 | #Constraints: 45625
318.08/319.18 c #Conflicts: 216000 | #Constraints: 46625
318.08/319.18 c GLOBAL bounds - >= 0 @ 315.756
318.08/319.19 c GLOBAL bounds - >= 0 @ 315.76
405.00/406.37 c INPROCESSING
405.00/406.37 c GARBAGE COLLECT
405.00/406.37 c #Conflicts: 217000 | #Constraints: 38359
405.00/406.37 c #Conflicts: 218000 | #Constraints: 39359
405.00/406.37 c #Conflicts: 219000 | #Constraints: 40359
405.00/406.37 c #Conflicts: 220000 | #Constraints: 41359
405.00/406.37 c #Conflicts: 221000 | #Constraints: 42359
405.00/406.37 c #Conflicts: 222000 | #Constraints: 43359
405.00/406.37 c #Conflicts: 223000 | #Constraints: 44359
405.00/406.37 c #Conflicts: 224000 | #Constraints: 45359
405.00/406.37 c #Conflicts: 225000 | #Constraints: 46359
405.00/406.37 c #Conflicts: 226000 | #Constraints: 47359
405.00/406.37 c INPROCESSING
405.00/406.37 c GARBAGE COLLECT
405.00/406.37 c rational objective 23.3333
455.04/456.54 c #Conflicts: 227000 | #Constraints: 39013
455.04/456.54 c #Conflicts: 228000 | #Constraints: 40013
455.04/456.54 c #Conflicts: 229000 | #Constraints: 41013
455.04/456.54 c #Conflicts: 230000 | #Constraints: 42013
455.04/456.54 c #Conflicts: 231000 | #Constraints: 43013
455.04/456.54 c #Conflicts: 232000 | #Constraints: 44013
455.04/456.54 c #Conflicts: 233000 | #Constraints: 45013
455.04/456.54 c #Conflicts: 234000 | #Constraints: 46013
455.04/456.54 c #Conflicts: 235000 | #Constraints: 47013
455.04/456.54 c #Conflicts: 236000 | #Constraints: 48013
455.04/456.54 c INPROCESSING
455.04/456.54 c GARBAGE COLLECT
455.04/456.54 c #Conflicts: 237000 | #Constraints: 39352
455.04/456.54 c #Conflicts: 238000 | #Constraints: 40352
455.04/456.54 c #Conflicts: 239000 | #Constraints: 41352
455.04/456.54 c #Conflicts: 240000 | #Constraints: 42352
455.04/456.54 c #Conflicts: 241000 | #Constraints: 43352
455.04/456.54 c #Conflicts: 242000 | #Constraints: 44352
455.04/456.54 c #Conflicts: 243000 | #Constraints: 45352
455.04/456.54 c #Conflicts: 244000 | #Constraints: 46352
455.04/456.54 c #Conflicts: 245000 | #Constraints: 47352
455.04/456.54 c #Conflicts: 246000 | #Constraints: 48352
455.04/456.54 c INPROCESSING
455.04/456.54 c GARBAGE COLLECT
455.04/456.54 c #Conflicts: 247000 | #Constraints: 39526
455.04/456.54 c #Conflicts: 248000 | #Constraints: 40526
455.04/456.54 c #Conflicts: 249000 | #Constraints: 41526
455.04/456.54 c #Conflicts: 250000 | #Constraints: 42526
455.04/456.54 c #Conflicts: 251000 | #Constraints: 43526
455.04/456.54 c #Conflicts: 252000 | #Constraints: 44526
455.04/456.54 c #Conflicts: 253000 | #Constraints: 45526
455.04/456.54 c #Conflicts: 254000 | #Constraints: 46526
455.04/456.54 c #Conflicts: 255000 | #Constraints: 47526
455.04/456.54 c #Conflicts: 256000 | #Constraints: 48526
455.04/456.54 c INPROCESSING
455.04/456.54 c GARBAGE COLLECT
455.04/456.54 c #Conflicts: 257000 | #Constraints: 39512
455.04/456.54 c #Conflicts: 258000 | #Constraints: 40512
455.04/456.54 c #Conflicts: 259000 | #Constraints: 41512
455.04/456.54 c #Conflicts: 260000 | #Constraints: 42512
455.04/456.54 c #Conflicts: 261000 | #Constraints: 43512
455.04/456.54 c #Conflicts: 262000 | #Constraints: 44512
455.04/456.54 c #Conflicts: 263000 | #Constraints: 45512
455.04/456.54 c #Conflicts: 264000 | #Constraints: 46512
455.04/456.54 c #Conflicts: 265000 | #Constraints: 47512
455.04/456.54 c #Conflicts: 266000 | #Constraints: 48512
455.04/456.54 c INPROCESSING
455.04/456.54 c GARBAGE COLLECT
455.04/456.54 c #Conflicts: 267000 | #Constraints: 39303
455.04/456.54 c #Conflicts: 268000 | #Constraints: 40303
455.04/456.54 c #Conflicts: 269000 | #Constraints: 41303
455.04/456.54 c #Conflicts: 270000 | #Constraints: 42303
455.04/456.54 c #Conflicts: 271000 | #Constraints: 43303
455.04/456.54 c #Conflicts: 272000 | #Constraints: 44303
455.04/456.54 c #Conflicts: 273000 | #Constraints: 45303
455.04/456.54 c #Conflicts: 274000 | #Constraints: 46303
455.04/456.54 c #Conflicts: 275000 | #Constraints: 47303
455.04/456.54 c #Conflicts: 276000 | #Constraints: 48303
455.04/456.54 c #Conflicts: 277000 | #Constraints: 49303
455.04/456.54 c INPROCESSING
455.04/456.54 c GARBAGE COLLECT
455.04/456.54 c #Conflicts: 278000 | #Constraints: 39895
455.04/456.54 c #Conflicts: 279000 | #Constraints: 40895
455.04/456.54 c #Conflicts: 280000 | #Constraints: 41895
455.04/456.54 c #Conflicts: 281000 | #Constraints: 42895
455.04/456.54 c #Conflicts: 282000 | #Constraints: 43895
455.04/456.54 c #Conflicts: 283000 | #Constraints: 44895
455.04/456.54 c #Conflicts: 284000 | #Constraints: 45895
455.04/456.54 c #Conflicts: 285000 | #Constraints: 46895
455.04/456.54 c #Conflicts: 286000 | #Constraints: 47895
455.04/456.54 c #Conflicts: 287000 | #Constraints: 48895
455.04/456.54 c #Conflicts: 288000 | #Constraints: 49895
455.04/456.54 c INPROCESSING
455.04/456.54 c GARBAGE COLLECT
455.04/456.54 c #Conflicts: 289000 | #Constraints: 40294
455.04/456.54 c #Conflicts: 290000 | #Constraints: 41294
455.04/456.54 c #Conflicts: 291000 | #Constraints: 42294
455.04/456.54 c #Conflicts: 292000 | #Constraints: 43294
455.04/456.54 c #Conflicts: 293000 | #Constraints: 44294
455.04/456.54 c #Conflicts: 294000 | #Constraints: 45294
455.04/456.54 c #Conflicts: 295000 | #Constraints: 46294
455.04/456.54 c #Conflicts: 296000 | #Constraints: 47294
455.04/456.54 c #Conflicts: 297000 | #Constraints: 48294
455.04/456.54 c #Conflicts: 298000 | #Constraints: 49294
455.04/456.54 c #Conflicts: 299000 | #Constraints: 50294
455.04/456.54 c INPROCESSING
455.04/456.54 c GARBAGE COLLECT
455.04/456.54 c #Conflicts: 300000 | #Constraints: 40498
455.04/456.54 c #Conflicts: 301000 | #Constraints: 41498
465.91/467.43 c #Conflicts: 302000 | #Constraints: 42498
465.91/467.43 c #Conflicts: 303000 | #Constraints: 43498
465.91/467.43 c #Conflicts: 304000 | #Constraints: 44498
465.91/467.43 c #Conflicts: 305000 | #Constraints: 45498
465.91/467.43 c #Conflicts: 306000 | #Constraints: 46498
465.91/467.43 c #Conflicts: 307000 | #Constraints: 47498
465.91/467.43 c #Conflicts: 308000 | #Constraints: 48498
465.91/467.43 c #Conflicts: 309000 | #Constraints: 49498
465.91/467.43 c #Conflicts: 310000 | #Constraints: 50498
465.91/467.43 c INPROCESSING
465.91/467.43 c GARBAGE COLLECT
465.91/467.43 c rational objective 23.3333
490.22/491.81 c #Conflicts: 311000 | #Constraints: 40569
490.22/491.81 c #Conflicts: 312000 | #Constraints: 41569
490.22/491.81 c #Conflicts: 313000 | #Constraints: 42569
490.22/491.81 c #Conflicts: 314000 | #Constraints: 43569
490.22/491.81 c #Conflicts: 315000 | #Constraints: 44569
490.22/491.81 c #Conflicts: 316000 | #Constraints: 45569
490.22/491.81 c #Conflicts: 317000 | #Constraints: 46569
490.22/491.81 c #Conflicts: 318000 | #Constraints: 47569
490.22/491.81 c #Conflicts: 319000 | #Constraints: 48569
490.22/491.81 c #Conflicts: 320000 | #Constraints: 49569
490.22/491.81 c #Conflicts: 321000 | #Constraints: 50569
490.22/491.81 c INPROCESSING
490.22/491.81 c GARBAGE COLLECT
490.22/491.81 c #Conflicts: 322000 | #Constraints: 40334
490.22/491.81 c #Conflicts: 323000 | #Constraints: 41334
490.22/491.81 c #Conflicts: 324000 | #Constraints: 42334
490.22/491.81 c #Conflicts: 325000 | #Constraints: 43334
490.22/491.81 c #Conflicts: 326000 | #Constraints: 44334
490.22/491.81 c #Conflicts: 327000 | #Constraints: 45334
490.22/491.81 c #Conflicts: 328000 | #Constraints: 46334
490.22/491.81 c #Conflicts: 329000 | #Constraints: 47334
490.22/491.81 c #Conflicts: 330000 | #Constraints: 48334
490.22/491.81 c #Conflicts: 331000 | #Constraints: 49334
490.22/491.81 c #Conflicts: 332000 | #Constraints: 50334
490.22/491.81 c #Conflicts: 333000 | #Constraints: 51334
490.22/491.81 c INPROCESSING
490.22/491.81 c GARBAGE COLLECT
490.22/491.81 c rational objective 23.3333
511.66/513.32 c #Conflicts: 334000 | #Constraints: 40985
511.66/513.32 c #Conflicts: 335000 | #Constraints: 41985
511.66/513.32 c #Conflicts: 336000 | #Constraints: 42985
511.66/513.32 c #Conflicts: 337000 | #Constraints: 43985
511.66/513.32 c #Conflicts: 338000 | #Constraints: 44985
511.66/513.32 c #Conflicts: 339000 | #Constraints: 45985
511.66/513.32 c #Conflicts: 340000 | #Constraints: 46985
511.66/513.32 c #Conflicts: 341000 | #Constraints: 47985
511.66/513.32 c #Conflicts: 342000 | #Constraints: 48985
511.66/513.32 c #Conflicts: 343000 | #Constraints: 49985
511.66/513.32 c #Conflicts: 344000 | #Constraints: 50985
511.66/513.32 c #Conflicts: 345000 | #Constraints: 51985
511.66/513.32 c INPROCESSING
511.66/513.32 c GARBAGE COLLECT
511.66/513.32 c rational objective 23.3333
536.48/538.20 c #Conflicts: 346000 | #Constraints: 41405
536.48/538.20 c #Conflicts: 347000 | #Constraints: 42405
536.48/538.20 c #Conflicts: 348000 | #Constraints: 43405
536.48/538.20 c #Conflicts: 349000 | #Constraints: 44405
536.48/538.20 c #Conflicts: 350000 | #Constraints: 45405
536.48/538.20 c #Conflicts: 351000 | #Constraints: 46405
536.48/538.20 c #Conflicts: 352000 | #Constraints: 47405
536.48/538.20 c #Conflicts: 353000 | #Constraints: 48405
536.48/538.20 c #Conflicts: 354000 | #Constraints: 49405
536.48/538.20 c #Conflicts: 355000 | #Constraints: 50405
536.48/538.20 c #Conflicts: 356000 | #Constraints: 51405
536.48/538.20 c #Conflicts: 357000 | #Constraints: 52405
536.48/538.20 c INPROCESSING
536.48/538.20 c GARBAGE COLLECT
536.48/538.20 c rational objective 23.3333
563.89/565.72 c #Conflicts: 358000 | #Constraints: 41617
563.89/565.72 c #Conflicts: 359000 | #Constraints: 42617
563.89/565.72 c #Conflicts: 360000 | #Constraints: 43617
563.89/565.72 c #Conflicts: 361000 | #Constraints: 44617
563.89/565.72 c #Conflicts: 362000 | #Constraints: 45617
563.89/565.72 c #Conflicts: 363000 | #Constraints: 46617
563.89/565.72 c #Conflicts: 364000 | #Constraints: 47618
563.89/565.72 c #Conflicts: 365000 | #Constraints: 48618
563.89/565.72 c #Conflicts: 366000 | #Constraints: 49618
563.89/565.72 c #Conflicts: 367000 | #Constraints: 50618
563.89/565.72 c #Conflicts: 368000 | #Constraints: 51618
563.89/565.72 c #Conflicts: 369000 | #Constraints: 52618
563.89/565.72 c INPROCESSING
563.89/565.72 c GARBAGE COLLECT
563.89/565.72 c #Conflicts: 370000 | #Constraints: 41555
563.89/565.72 c #Conflicts: 371000 | #Constraints: 42555
563.89/565.72 c #Conflicts: 372000 | #Constraints: 43555
563.89/565.72 c #Conflicts: 373000 | #Constraints: 44555
563.89/565.72 c #Conflicts: 374000 | #Constraints: 45555
563.89/565.72 c #Conflicts: 375000 | #Constraints: 46555
563.89/565.72 c #Conflicts: 376000 | #Constraints: 47555
563.89/565.72 c #Conflicts: 377000 | #Constraints: 48555
563.89/565.72 c #Conflicts: 378000 | #Constraints: 49555
563.89/565.72 c #Conflicts: 379000 | #Constraints: 50555
563.89/565.72 c #Conflicts: 380000 | #Constraints: 51555
563.89/565.72 c #Conflicts: 381000 | #Constraints: 52555
563.89/565.72 c INPROCESSING
563.89/565.72 c GARBAGE COLLECT
563.89/565.72 WSVECS04 Frhs2[7578]: 6 -20 0 shouldn't be
676.24/678.44 c #Conflicts: 382000 | #Constraints: 41330
676.24/678.44 c #Conflicts: 383000 | #Constraints: 42330
676.24/678.44 c #Conflicts: 384000 | #Constraints: 43330
676.24/678.44 c #Conflicts: 385000 | #Constraints: 44330
676.24/678.44 c #Conflicts: 386000 | #Constraints: 45330
676.24/678.44 c #Conflicts: 387000 | #Constraints: 46330
676.24/678.44 c #Conflicts: 388000 | #Constraints: 47330
676.24/678.44 c #Conflicts: 389000 | #Constraints: 48330
676.24/678.44 c #Conflicts: 390000 | #Constraints: 49330
676.24/678.44 c #Conflicts: 391000 | #Constraints: 50330
676.24/678.44 c #Conflicts: 392000 | #Constraints: 51330
676.24/678.44 c #Conflicts: 393000 | #Constraints: 52330
676.24/678.44 c #Conflicts: 394000 | #Constraints: 53330
676.24/678.44 c INPROCESSING
676.24/678.44 c GARBAGE COLLECT
676.24/678.44 c rational objective 23.6667
741.93/744.36 c #Conflicts: 395000 | #Constraints: 41970
741.93/744.36 c #Conflicts: 396000 | #Constraints: 42970
741.93/744.36 c #Conflicts: 397000 | #Constraints: 43971
741.93/744.36 c #Conflicts: 398000 | #Constraints: 44971
741.93/744.36 c #Conflicts: 399000 | #Constraints: 45971
741.93/744.36 c #Conflicts: 400000 | #Constraints: 46971
741.93/744.36 c #Conflicts: 401000 | #Constraints: 47971
741.93/744.36 c #Conflicts: 402000 | #Constraints: 48971
741.93/744.36 c #Conflicts: 403000 | #Constraints: 49971
741.93/744.36 c #Conflicts: 404000 | #Constraints: 50971
741.93/744.36 c #Conflicts: 405000 | #Constraints: 51971
741.93/744.36 c #Conflicts: 406000 | #Constraints: 52971
741.93/744.36 c #Conflicts: 407000 | #Constraints: 53971
741.93/744.36 c INPROCESSING
741.93/744.36 c GARBAGE COLLECT
741.93/744.36 c #Conflicts: 408000 | #Constraints: 42342
741.93/744.36 c #Conflicts: 409000 | #Constraints: 43342
741.93/744.36 c #Conflicts: 410000 | #Constraints: 44342
741.93/744.36 c #Conflicts: 411000 | #Constraints: 45342
741.93/744.36 c #Conflicts: 412000 | #Constraints: 46342
741.93/744.36 c #Conflicts: 413000 | #Constraints: 47342
741.93/744.36 c #Conflicts: 414000 | #Constraints: 48342
741.93/744.36 c #Conflicts: 415000 | #Constraints: 49342
741.93/744.36 c #Conflicts: 416000 | #Constraints: 50342
741.93/744.36 c #Conflicts: 417000 | #Constraints: 51342
741.93/744.36 c #Conflicts: 418000 | #Constraints: 52342
741.93/744.36 c #Conflicts: 419000 | #Constraints: 53342
741.93/744.36 c #Conflicts: 420000 | #Constraints: 54342
741.93/744.36 c INPROCESSING
741.93/744.36 c GARBAGE COLLECT
741.93/744.36 c #Conflicts: 421000 | #Constraints: 42518
741.93/744.36 c #Conflicts: 422000 | #Constraints: 43518
741.93/744.36 c #Conflicts: 423000 | #Constraints: 44518
741.93/744.36 c #Conflicts: 424000 | #Constraints: 45518
741.93/744.36 c #Conflicts: 425000 | #Constraints: 46518
741.93/744.36 c #Conflicts: 426000 | #Constraints: 47518
741.93/744.36 c #Conflicts: 427000 | #Constraints: 48522
741.93/744.36 c #Conflicts: 428000 | #Constraints: 49532
741.93/744.36 c #Conflicts: 429000 | #Constraints: 50535
741.93/744.36 c #Conflicts: 430000 | #Constraints: 51541
741.93/744.36 c #Conflicts: 431000 | #Constraints: 52543
741.93/744.36 c #Conflicts: 432000 | #Constraints: 53546
741.93/744.36 c #Conflicts: 433000 | #Constraints: 54547
741.93/744.36 c INPROCESSING
741.93/744.36 c GARBAGE COLLECT
741.93/744.36 c #Conflicts: 434000 | #Constraints: 42525
741.93/744.36 c #Conflicts: 435000 | #Constraints: 43531
741.93/744.36 c #Conflicts: 436000 | #Constraints: 44531
741.93/744.36 c #Conflicts: 437000 | #Constraints: 45541
741.93/744.36 c #Conflicts: 438000 | #Constraints: 46579
741.93/744.36 c #Conflicts: 439000 | #Constraints: 47786
741.93/744.36 c #Conflicts: 440000 | #Constraints: 48786
741.93/744.36 c #Conflicts: 441000 | #Constraints: 49787
741.93/744.36 c #Conflicts: 442000 | #Constraints: 50812
741.93/744.36 c #Conflicts: 443000 | #Constraints: 52297
741.93/744.36 c #Conflicts: 444000 | #Constraints: 53780
741.93/744.36 c #Conflicts: 445000 | #Constraints: 55272
741.93/744.36 c #Conflicts: 446000 | #Constraints: 56739
741.93/744.36 c INPROCESSING
741.93/744.36 c GARBAGE COLLECT
741.93/744.36 c #Conflicts: 447000 | #Constraints: 43557
741.93/744.36 c #Conflicts: 448000 | #Constraints: 44557
741.93/744.36 c #Conflicts: 449000 | #Constraints: 45557
741.93/744.36 c #Conflicts: 450000 | #Constraints: 46557
741.93/744.36 c #Conflicts: 451000 | #Constraints: 47557
741.93/744.36 c #Conflicts: 452000 | #Constraints: 48557
741.93/744.36 c #Conflicts: 453000 | #Constraints: 49557
741.93/744.36 c #Conflicts: 454000 | #Constraints: 50557
741.93/744.36 c #Conflicts: 455000 | #Constraints: 51557
741.93/744.36 c #Conflicts: 456000 | #Constraints: 52557
741.93/744.36 c #Conflicts: 457000 | #Constraints: 53557
741.93/744.36 c #Conflicts: 458000 | #Constraints: 54557
741.93/744.36 c #Conflicts: 459000 | #Constraints: 55558
741.93/744.36 c #Conflicts: 460000 | #Constraints: 56558
741.93/744.36 c INPROCESSING
741.93/744.36 c GARBAGE COLLECT
741.93/744.36 c #Conflicts: 461000 | #Constraints: 43529
741.93/744.36 c #Conflicts: 462000 | #Constraints: 44529
741.93/744.36 c #Conflicts: 463000 | #Constraints: 45529
741.93/744.36 c #Conflicts: 464000 | #Constraints: 46530
741.93/744.36 c #Conflicts: 465000 | #Constraints: 47530
741.93/744.36 c #Conflicts: 466000 | #Constraints: 48530
741.93/744.36 c #Conflicts: 467000 | #Constraints: 49533
741.93/744.36 c #Conflicts: 468000 | #Constraints: 50534
741.93/744.36 c #Conflicts: 469000 | #Constraints: 51534
741.93/744.36 c #Conflicts: 470000 | #Constraints: 52534
777.42/779.94 c #Conflicts: 471000 | #Constraints: 53537
777.42/779.94 c #Conflicts: 472000 | #Constraints: 54545
777.42/779.94 c #Conflicts: 473000 | #Constraints: 55545
777.42/779.94 c #Conflicts: 474000 | #Constraints: 56545
777.42/779.94 c INPROCESSING
777.42/779.94 c GARBAGE COLLECT
777.42/779.94 c #Conflicts: 475000 | #Constraints: 43629
777.42/779.94 c #Conflicts: 476000 | #Constraints: 44636
777.42/779.94 c #Conflicts: 477000 | #Constraints: 45636
777.42/779.94 c #Conflicts: 478000 | #Constraints: 46638
777.42/779.94 c #Conflicts: 479000 | #Constraints: 47642
777.42/779.94 c #Conflicts: 480000 | #Constraints: 48642
777.42/779.94 c #Conflicts: 481000 | #Constraints: 49644
777.42/779.94 c #Conflicts: 482000 | #Constraints: 50649
777.42/779.94 c #Conflicts: 483000 | #Constraints: 51650
777.42/779.94 c #Conflicts: 484000 | #Constraints: 52653
777.42/779.94 c #Conflicts: 485000 | #Constraints: 53654
777.42/779.94 c #Conflicts: 486000 | #Constraints: 54654
777.42/779.94 c #Conflicts: 487000 | #Constraints: 55655
777.42/779.94 c #Conflicts: 488000 | #Constraints: 56661
777.42/779.94 c INPROCESSING
777.42/779.94 c GARBAGE COLLECT
777.42/779.94 c #Conflicts: 489000 | #Constraints: 43684
777.42/779.94 c #Conflicts: 490000 | #Constraints: 44685
777.42/779.94 c #Conflicts: 491000 | #Constraints: 45689
777.42/779.94 c #Conflicts: 492000 | #Constraints: 46689
777.42/779.94 c #Conflicts: 493000 | #Constraints: 47689
777.42/779.94 c #Conflicts: 494000 | #Constraints: 48689
777.42/779.94 c #Conflicts: 495000 | #Constraints: 49700
777.42/779.94 c #Conflicts: 496000 | #Constraints: 50702
777.42/779.94 c #Conflicts: 497000 | #Constraints: 51702
777.42/779.94 c #Conflicts: 498000 | #Constraints: 52702
777.42/779.94 c #Conflicts: 499000 | #Constraints: 53705
777.42/779.94 c #Conflicts: 500000 | #Constraints: 54707
777.42/779.94 c #Conflicts: 501000 | #Constraints: 55707
777.42/779.94 c #Conflicts: 502000 | #Constraints: 56712
777.42/779.94 c INPROCESSING
777.42/779.94 c GARBAGE COLLECT
777.42/779.94 c rational objective 23.6667
818.68/821.38 c #Conflicts: 503000 | #Constraints: 43664
818.68/821.38 c #Conflicts: 504000 | #Constraints: 44665
818.68/821.38 c #Conflicts: 505000 | #Constraints: 45665
818.68/821.38 c #Conflicts: 506000 | #Constraints: 46665
818.68/821.38 c #Conflicts: 507000 | #Constraints: 47665
818.68/821.38 c #Conflicts: 508000 | #Constraints: 48665
818.68/821.38 c #Conflicts: 509000 | #Constraints: 49665
818.68/821.38 c #Conflicts: 510000 | #Constraints: 50665
818.68/821.38 c #Conflicts: 511000 | #Constraints: 51665
818.68/821.38 c #Conflicts: 512000 | #Constraints: 52665
818.68/821.38 c #Conflicts: 513000 | #Constraints: 53665
818.68/821.38 c #Conflicts: 514000 | #Constraints: 54665
818.68/821.38 c #Conflicts: 515000 | #Constraints: 55665
818.68/821.38 c #Conflicts: 516000 | #Constraints: 56665
818.68/821.38 c INPROCESSING
818.68/821.38 c GARBAGE COLLECT
818.68/821.38 WSVECS04 Frhs2[562]: 6 0 11 shouldn't be
818.68/821.38 WSVECS04 Frhs2[1282]: 6 0 11 shouldn't be
818.68/821.38 WSVECS04 Frhs2[1762]: 6 0 11.0001 shouldn't be
818.68/821.38 WSVECS04 Frhs2[2482]: 6 0 11.0001 shouldn't be
818.68/821.38 WSVECS04 Frhs2[3202]: 6 0 11.0001 shouldn't be
818.68/821.38 WSVECS04 Frhs2[4402]: 6 0 11 shouldn't be
818.68/821.38 WSVECS04 Frhs2[4882]: 6 0 11 shouldn't be
818.68/821.38 WSVECS04 Frhs2[5122]: 6 0 11 shouldn't be
818.68/821.38 WSVECS04 Frhs2[5362]: 6 0 11 shouldn't be
818.68/821.38 WSVECS04 Frhs2[5602]: 6 0 11 shouldn't be
818.68/821.38 WSVECS04 Frhs2[5842]: 6 0 11 shouldn't be
818.68/821.38 WSVECS04 Frhs2[6082]: 6 0 11.0001 shouldn't be
818.68/821.38 WSVECS04 Frhs2[6084]: 6 0 6.60007 shouldn't be
818.68/821.38 WSVECS04 Frhs2[6087]: 6 0 4.40002 shouldn't be
818.68/821.38 WSVECS04 Frhs2[6562]: 6 0 11.0001 shouldn't be
818.68/821.38 WSVECS04 Frhs2[7578]: 6 -20.0001 0 shouldn't be
831.35/834.06 c rational objective 23.6667
945.10/948.11 c #Conflicts: 517000 | #Constraints: 43430
945.10/948.11 c #Conflicts: 518000 | #Constraints: 44430
945.10/948.11 c #Conflicts: 519000 | #Constraints: 45430
945.10/948.11 c #Conflicts: 520000 | #Constraints: 46430
945.10/948.11 c #Conflicts: 521000 | #Constraints: 47430
945.10/948.11 c #Conflicts: 522000 | #Constraints: 48430
945.10/948.11 c #Conflicts: 523000 | #Constraints: 49430
945.10/948.11 c #Conflicts: 524000 | #Constraints: 50430
945.10/948.11 c #Conflicts: 525000 | #Constraints: 51430
945.10/948.11 c #Conflicts: 526000 | #Constraints: 52430
945.10/948.11 c #Conflicts: 527000 | #Constraints: 53430
945.10/948.11 c #Conflicts: 528000 | #Constraints: 54430
945.10/948.11 c #Conflicts: 529000 | #Constraints: 55430
945.10/948.11 c #Conflicts: 530000 | #Constraints: 56430
945.10/948.11 c #Conflicts: 531000 | #Constraints: 57430
945.10/948.11 c INPROCESSING
945.10/948.11 c GARBAGE COLLECT
945.10/948.11 c rational objective 32.6667
1024.53/1027.84 c #Conflicts: 532000 | #Constraints: 44031
1024.53/1027.84 c #Conflicts: 533000 | #Constraints: 45031
1024.53/1027.84 c #Conflicts: 534000 | #Constraints: 46031
1024.53/1027.84 c #Conflicts: 535000 | #Constraints: 47031
1024.53/1027.84 c #Conflicts: 536000 | #Constraints: 48031
1024.53/1027.84 c #Conflicts: 537000 | #Constraints: 49031
1024.53/1027.84 c #Conflicts: 538000 | #Constraints: 50031
1024.53/1027.84 c #Conflicts: 539000 | #Constraints: 51031
1024.53/1027.84 c #Conflicts: 540000 | #Constraints: 52031
1024.53/1027.84 c #Conflicts: 541000 | #Constraints: 53031
1024.53/1027.84 c #Conflicts: 542000 | #Constraints: 54031
1024.53/1027.84 c #Conflicts: 543000 | #Constraints: 55031
1024.53/1027.84 c #Conflicts: 544000 | #Constraints: 56031
1024.53/1027.84 c #Conflicts: 545000 | #Constraints: 57031
1024.53/1027.84 c #Conflicts: 546000 | #Constraints: 58031
1024.53/1027.84 c INPROCESSING
1024.53/1027.84 c GARBAGE COLLECT
1024.53/1027.84 c #Conflicts: 547000 | #Constraints: 44371
1024.53/1027.84 c #Conflicts: 548000 | #Constraints: 45372
1024.53/1027.84 c #Conflicts: 549000 | #Constraints: 46372
1024.53/1027.84 c #Conflicts: 550000 | #Constraints: 47372
1024.53/1027.84 c #Conflicts: 551000 | #Constraints: 48372
1024.53/1027.84 c #Conflicts: 552000 | #Constraints: 49372
1024.53/1027.84 c #Conflicts: 553000 | #Constraints: 50372
1024.53/1027.84 c #Conflicts: 554000 | #Constraints: 51372
1024.53/1027.84 c #Conflicts: 555000 | #Constraints: 52372
1024.53/1027.84 c #Conflicts: 556000 | #Constraints: 53372
1024.53/1027.84 c #Conflicts: 557000 | #Constraints: 54372
1024.53/1027.84 c #Conflicts: 558000 | #Constraints: 55372
1024.53/1027.84 c #Conflicts: 559000 | #Constraints: 56372
1024.53/1027.84 c #Conflicts: 560000 | #Constraints: 57372
1024.53/1027.84 c #Conflicts: 561000 | #Constraints: 58372
1024.53/1027.84 c INPROCESSING
1024.53/1027.84 c GARBAGE COLLECT
1024.53/1027.84 c #Conflicts: 562000 | #Constraints: 44541
1024.53/1027.84 c #Conflicts: 563000 | #Constraints: 45541
1024.53/1027.84 c #Conflicts: 564000 | #Constraints: 46541
1024.53/1027.84 c #Conflicts: 565000 | #Constraints: 47541
1024.53/1027.84 c #Conflicts: 566000 | #Constraints: 48541
1024.53/1027.84 c #Conflicts: 567000 | #Constraints: 49541
1024.53/1027.84 c #Conflicts: 568000 | #Constraints: 50541
1024.53/1027.84 c #Conflicts: 569000 | #Constraints: 51541
1024.53/1027.84 c #Conflicts: 570000 | #Constraints: 52541
1024.53/1027.84 c #Conflicts: 571000 | #Constraints: 53541
1024.53/1027.84 c #Conflicts: 572000 | #Constraints: 54541
1024.53/1027.84 c #Conflicts: 573000 | #Constraints: 55541
1024.53/1027.84 c #Conflicts: 574000 | #Constraints: 56541
1024.53/1027.84 c #Conflicts: 575000 | #Constraints: 57541
1024.53/1027.84 c #Conflicts: 576000 | #Constraints: 58541
1024.53/1027.84 c INPROCESSING
1024.53/1027.84 c GARBAGE COLLECT
1024.53/1027.84 c #Conflicts: 577000 | #Constraints: 44522
1024.53/1027.84 c #Conflicts: 578000 | #Constraints: 45522
1024.53/1027.84 c #Conflicts: 579000 | #Constraints: 46522
1024.53/1027.84 c #Conflicts: 580000 | #Constraints: 47522
1024.53/1027.84 c #Conflicts: 581000 | #Constraints: 48522
1024.53/1027.84 c #Conflicts: 582000 | #Constraints: 49522
1024.53/1027.84 c #Conflicts: 583000 | #Constraints: 50522
1024.53/1027.84 c #Conflicts: 584000 | #Constraints: 51522
1024.53/1027.84 c #Conflicts: 585000 | #Constraints: 52522
1024.53/1027.84 c #Conflicts: 586000 | #Constraints: 53522
1024.53/1027.84 c #Conflicts: 587000 | #Constraints: 54522
1024.53/1027.84 c #Conflicts: 588000 | #Constraints: 55522
1024.53/1027.84 c #Conflicts: 589000 | #Constraints: 56525
1024.53/1027.84 c #Conflicts: 590000 | #Constraints: 57527
1024.53/1027.84 c #Conflicts: 591000 | #Constraints: 58527
1024.53/1027.84 c INPROCESSING
1024.53/1027.84 c GARBAGE COLLECT
1024.53/1027.84 c #Conflicts: 592000 | #Constraints: 44317
1024.53/1027.84 c #Conflicts: 593000 | #Constraints: 45485
1024.53/1027.84 c #Conflicts: 594000 | #Constraints: 46963
1024.53/1027.84 c #Conflicts: 595000 | #Constraints: 48458
1024.53/1027.84 c #Conflicts: 596000 | #Constraints: 49957
1024.53/1027.84 c #Conflicts: 597000 | #Constraints: 51496
1024.53/1027.84 c #Conflicts: 598000 | #Constraints: 53010
1024.53/1027.84 c #Conflicts: 599000 | #Constraints: 54542
1024.53/1027.84 c #Conflicts: 600000 | #Constraints: 56070
1024.53/1027.84 c #Conflicts: 601000 | #Constraints: 57573
1024.53/1027.84 c #Conflicts: 602000 | #Constraints: 59094
1024.53/1027.84 c #Conflicts: 603000 | #Constraints: 60598
1024.53/1027.84 c #Conflicts: 604000 | #Constraints: 62168
1024.53/1027.84 c #Conflicts: 605000 | #Constraints: 63675
1024.53/1027.84 c #Conflicts: 606000 | #Constraints: 65230
1024.53/1027.84 c #Conflicts: 607000 | #Constraints: 66754
1024.53/1027.84 c INPROCESSING
1029.92/1033.25 c GARBAGE COLLECT
1029.92/1033.25 WSVECS04 Frhs2[7578]: 6 -20 0 shouldn't be
1029.92/1033.25 WSVECS04 Frhs2[7584]: 6 -10 0 shouldn't be
1097.51/1101.06 c #Conflicts: 608000 | #Constraints: 48686
1097.51/1101.06 c #Conflicts: 609000 | #Constraints: 49686
1097.51/1101.06 c #Conflicts: 610000 | #Constraints: 50686
1097.51/1101.06 c #Conflicts: 611000 | #Constraints: 51688
1097.51/1101.06 c #Conflicts: 612000 | #Constraints: 52688
1097.51/1101.06 c #Conflicts: 613000 | #Constraints: 53689
1097.51/1101.06 c #Conflicts: 614000 | #Constraints: 54691
1097.51/1101.06 c #Conflicts: 615000 | #Constraints: 55692
1097.51/1101.06 c #Conflicts: 616000 | #Constraints: 56692
1097.51/1101.06 c #Conflicts: 617000 | #Constraints: 57693
1097.51/1101.06 c #Conflicts: 618000 | #Constraints: 58695
1097.51/1101.06 c #Conflicts: 619000 | #Constraints: 59695
1097.51/1101.06 c #Conflicts: 620000 | #Constraints: 60749
1097.51/1101.06 c #Conflicts: 621000 | #Constraints: 61749
1097.51/1101.06 c #Conflicts: 622000 | #Constraints: 62749
1097.51/1101.06 c #Conflicts: 623000 | #Constraints: 63749
1097.51/1101.06 c INPROCESSING
1097.51/1101.06 c GARBAGE COLLECT
1097.51/1101.06 c #Conflicts: 624000 | #Constraints: 47232
1097.51/1101.06 c #Conflicts: 625000 | #Constraints: 48232
1097.51/1101.06 c #Conflicts: 626000 | #Constraints: 49404
1097.51/1101.06 c #Conflicts: 627000 | #Constraints: 50952
1097.51/1101.06 c #Conflicts: 628000 | #Constraints: 52489
1097.51/1101.06 c #Conflicts: 629000 | #Constraints: 54023
1097.51/1101.06 c #Conflicts: 630000 | #Constraints: 55528
1097.51/1101.06 c #Conflicts: 631000 | #Constraints: 57028
1097.51/1101.06 c #Conflicts: 632000 | #Constraints: 58533
1097.51/1101.06 c #Conflicts: 633000 | #Constraints: 60016
1097.51/1101.06 c #Conflicts: 634000 | #Constraints: 61493
1097.51/1101.06 c #Conflicts: 635000 | #Constraints: 62992
1097.51/1101.06 c #Conflicts: 636000 | #Constraints: 64522
1097.51/1101.06 c #Conflicts: 637000 | #Constraints: 66058
1097.51/1101.06 c #Conflicts: 638000 | #Constraints: 67574
1097.51/1101.06 c #Conflicts: 639000 | #Constraints: 69082
1097.51/1101.06 c INPROCESSING
1097.51/1101.06 c GARBAGE COLLECT
1097.51/1101.06 WSVECS04 Frhs2[7584]: 6 -12.0001 0 shouldn't be
1100.99/1104.58 c rational objective 32.6667
1220.62/1224.56 c #Conflicts: 640000 | #Constraints: 49962
1220.62/1224.56 c #Conflicts: 641000 | #Constraints: 50962
1220.62/1224.56 c #Conflicts: 642000 | #Constraints: 51962
1220.62/1224.56 c #Conflicts: 643000 | #Constraints: 52962
1220.62/1224.56 c #Conflicts: 644000 | #Constraints: 53962
1220.62/1224.56 c #Conflicts: 645000 | #Constraints: 54962
1220.62/1224.56 c #Conflicts: 646000 | #Constraints: 55962
1220.62/1224.56 c #Conflicts: 647000 | #Constraints: 56962
1220.62/1224.56 c #Conflicts: 648000 | #Constraints: 57962
1220.62/1224.56 c #Conflicts: 649000 | #Constraints: 58962
1220.62/1224.56 c #Conflicts: 650000 | #Constraints: 59962
1220.62/1224.56 c #Conflicts: 651000 | #Constraints: 60962
1220.62/1224.56 c #Conflicts: 652000 | #Constraints: 61962
1220.62/1224.56 c #Conflicts: 653000 | #Constraints: 62962
1220.62/1224.56 c #Conflicts: 654000 | #Constraints: 63962
1220.62/1224.56 c #Conflicts: 655000 | #Constraints: 64962
1220.62/1224.56 c INPROCESSING
1220.62/1224.56 c GARBAGE COLLECT
1220.62/1224.56 c rational objective 32.6667
1352.50/1356.84 c #Conflicts: 656000 | #Constraints: 47792
1352.50/1356.84 c #Conflicts: 657000 | #Constraints: 48792
1352.50/1356.84 c #Conflicts: 658000 | #Constraints: 49792
1352.50/1356.84 c #Conflicts: 659000 | #Constraints: 50792
1352.50/1356.84 c #Conflicts: 660000 | #Constraints: 51792
1352.50/1356.84 c #Conflicts: 661000 | #Constraints: 52792
1352.50/1356.84 c #Conflicts: 662000 | #Constraints: 53792
1352.50/1356.84 c #Conflicts: 663000 | #Constraints: 54792
1352.50/1356.84 c #Conflicts: 664000 | #Constraints: 55792
1352.50/1356.84 c #Conflicts: 665000 | #Constraints: 56792
1352.50/1356.84 c #Conflicts: 666000 | #Constraints: 57792
1352.50/1356.84 c #Conflicts: 667000 | #Constraints: 58792
1352.50/1356.84 c #Conflicts: 668000 | #Constraints: 59792
1352.50/1356.84 c #Conflicts: 669000 | #Constraints: 60792
1352.50/1356.84 c #Conflicts: 670000 | #Constraints: 61792
1352.50/1356.84 c #Conflicts: 671000 | #Constraints: 62792
1352.50/1356.84 c INPROCESSING
1352.50/1356.84 c GARBAGE COLLECT
1352.50/1356.84 c rational objective 32.6667
1387.19/1391.65 c #Conflicts: 672000 | #Constraints: 46518
1387.19/1391.65 c #Conflicts: 673000 | #Constraints: 47518
1387.19/1391.65 c #Conflicts: 674000 | #Constraints: 48518
1387.19/1391.65 c #Conflicts: 675000 | #Constraints: 49518
1387.19/1391.65 c #Conflicts: 676000 | #Constraints: 50518
1387.19/1391.65 c #Conflicts: 677000 | #Constraints: 51518
1387.19/1391.65 c #Conflicts: 678000 | #Constraints: 52518
1387.19/1391.65 c #Conflicts: 679000 | #Constraints: 53518
1387.19/1391.65 c #Conflicts: 680000 | #Constraints: 54518
1387.19/1391.65 c #Conflicts: 681000 | #Constraints: 55518
1387.19/1391.65 c #Conflicts: 682000 | #Constraints: 56518
1387.19/1391.65 c #Conflicts: 683000 | #Constraints: 57518
1387.19/1391.65 c #Conflicts: 684000 | #Constraints: 58518
1387.19/1391.65 c #Conflicts: 685000 | #Constraints: 59518
1387.19/1391.65 c #Conflicts: 686000 | #Constraints: 60518
1387.19/1391.65 c #Conflicts: 687000 | #Constraints: 61518
1387.19/1391.65 c #Conflicts: 688000 | #Constraints: 62518
1387.19/1391.65 c INPROCESSING
1387.19/1391.65 c GARBAGE COLLECT
1387.19/1391.65 c #Conflicts: 689000 | #Constraints: 46512
1387.19/1391.65 c #Conflicts: 690000 | #Constraints: 47512
1387.19/1391.65 c #Conflicts: 691000 | #Constraints: 48512
1387.19/1391.65 c #Conflicts: 692000 | #Constraints: 49512
1387.19/1391.65 c #Conflicts: 693000 | #Constraints: 50512
1387.19/1391.65 c #Conflicts: 694000 | #Constraints: 51512
1387.19/1391.65 c #Conflicts: 695000 | #Constraints: 52512
1387.19/1391.65 c #Conflicts: 696000 | #Constraints: 53512
1387.19/1391.65 c #Conflicts: 697000 | #Constraints: 54512
1387.19/1391.65 c #Conflicts: 698000 | #Constraints: 55512
1387.19/1391.65 c #Conflicts: 699000 | #Constraints: 56512
1387.19/1391.65 c #Conflicts: 700000 | #Constraints: 57512
1387.19/1391.65 c #Conflicts: 701000 | #Constraints: 58512
1387.19/1391.65 c #Conflicts: 702000 | #Constraints: 59512
1387.19/1391.65 c #Conflicts: 703000 | #Constraints: 60512
1387.19/1391.65 c #Conflicts: 704000 | #Constraints: 61512
1387.19/1391.65 c #Conflicts: 705000 | #Constraints: 62512
1387.19/1391.65 c INPROCESSING
1387.19/1391.65 c GARBAGE COLLECT
1387.19/1391.65 c #Conflicts: 706000 | #Constraints: 46613
1387.19/1391.65 c #Conflicts: 707000 | #Constraints: 47613
1387.19/1391.65 c #Conflicts: 708000 | #Constraints: 48613
1387.19/1391.65 c #Conflicts: 709000 | #Constraints: 49613
1387.19/1391.65 c #Conflicts: 710000 | #Constraints: 50613
1387.19/1391.65 c #Conflicts: 711000 | #Constraints: 51613
1387.19/1391.65 c #Conflicts: 712000 | #Constraints: 52613
1387.19/1391.65 c #Conflicts: 713000 | #Constraints: 53613
1387.19/1391.65 c #Conflicts: 714000 | #Constraints: 54613
1387.19/1391.65 c #Conflicts: 715000 | #Constraints: 55613
1387.19/1391.65 c #Conflicts: 716000 | #Constraints: 56613
1387.19/1391.65 c #Conflicts: 717000 | #Constraints: 57613
1387.19/1391.65 c #Conflicts: 718000 | #Constraints: 58613
1387.19/1391.65 c #Conflicts: 719000 | #Constraints: 59613
1387.19/1391.65 c #Conflicts: 720000 | #Constraints: 60613
1387.19/1391.65 c #Conflicts: 721000 | #Constraints: 61613
1387.19/1391.65 c #Conflicts: 722000 | #Constraints: 62613
1387.19/1391.65 c INPROCESSING
1387.19/1391.65 c GARBAGE COLLECT
1387.19/1391.65 c #Conflicts: 723000 | #Constraints: 46664
1387.19/1391.65 c #Conflicts: 724000 | #Constraints: 47664
1387.19/1391.65 c #Conflicts: 725000 | #Constraints: 48664
1387.19/1391.65 c #Conflicts: 726000 | #Constraints: 49664
1387.19/1391.65 c #Conflicts: 727000 | #Constraints: 50664
1387.19/1391.65 c #Conflicts: 728000 | #Constraints: 51664
1387.19/1391.65 c #Conflicts: 729000 | #Constraints: 52664
1387.19/1391.65 c #Conflicts: 730000 | #Constraints: 53664
1387.19/1391.65 c #Conflicts: 731000 | #Constraints: 54664
1387.19/1391.65 c #Conflicts: 732000 | #Constraints: 55664
1387.19/1391.65 c #Conflicts: 733000 | #Constraints: 56664
1387.19/1391.65 c #Conflicts: 734000 | #Constraints: 57664
1387.19/1391.65 c #Conflicts: 735000 | #Constraints: 58664
1387.19/1391.65 c #Conflicts: 736000 | #Constraints: 59664
1387.19/1391.65 c #Conflicts: 737000 | #Constraints: 60664
1387.19/1391.65 c #Conflicts: 738000 | #Constraints: 61664
1387.19/1391.65 c #Conflicts: 739000 | #Constraints: 62664
1387.19/1391.65 c INPROCESSING
1387.19/1391.65 c GARBAGE COLLECT
1387.19/1391.65 c #Conflicts: 740000 | #Constraints: 46587
1387.19/1391.65 c #Conflicts: 741000 | #Constraints: 47587
1387.19/1391.65 c #Conflicts: 742000 | #Constraints: 48587
1387.19/1391.65 c #Conflicts: 743000 | #Constraints: 49587
1387.19/1391.65 c #Conflicts: 744000 | #Constraints: 50587
1387.19/1391.65 c #Conflicts: 745000 | #Constraints: 51587
1387.19/1391.65 c #Conflicts: 746000 | #Constraints: 52587
1387.19/1391.65 c #Conflicts: 747000 | #Constraints: 53587
1387.19/1391.65 c #Conflicts: 748000 | #Constraints: 54587
1396.56/1401.01 c #Conflicts: 749000 | #Constraints: 55587
1396.56/1401.01 c #Conflicts: 750000 | #Constraints: 56587
1396.56/1401.01 c #Conflicts: 751000 | #Constraints: 57587
1396.56/1401.01 c #Conflicts: 752000 | #Constraints: 58587
1396.56/1401.01 c #Conflicts: 753000 | #Constraints: 59587
1396.56/1401.01 c #Conflicts: 754000 | #Constraints: 60587
1396.56/1401.01 c #Conflicts: 755000 | #Constraints: 61587
1396.56/1401.01 c #Conflicts: 756000 | #Constraints: 62587
1396.56/1401.01 c INPROCESSING
1396.56/1401.01 c GARBAGE COLLECT
1396.56/1401.01 c #Conflicts: 757000 | #Constraints: 46345
1396.56/1401.01 c #Conflicts: 758000 | #Constraints: 47345
1396.56/1401.01 c #Conflicts: 759000 | #Constraints: 48345
1396.56/1401.01 c #Conflicts: 760000 | #Constraints: 49345
1396.56/1401.01 c #Conflicts: 761000 | #Constraints: 50345
1396.56/1401.01 c #Conflicts: 762000 | #Constraints: 51345
1396.56/1401.01 c #Conflicts: 763000 | #Constraints: 52345
1396.56/1401.01 c #Conflicts: 764000 | #Constraints: 53345
1396.56/1401.01 c #Conflicts: 765000 | #Constraints: 54345
1396.56/1401.01 c #Conflicts: 766000 | #Constraints: 55345
1396.56/1401.01 c #Conflicts: 767000 | #Constraints: 56345
1396.56/1401.01 c #Conflicts: 768000 | #Constraints: 57345
1396.56/1401.01 c #Conflicts: 769000 | #Constraints: 58345
1396.56/1401.01 c #Conflicts: 770000 | #Constraints: 59345
1396.56/1401.01 c #Conflicts: 771000 | #Constraints: 60345
1396.56/1401.01 c #Conflicts: 772000 | #Constraints: 61345
1396.56/1401.01 c #Conflicts: 773000 | #Constraints: 62345
1396.56/1401.01 c #Conflicts: 774000 | #Constraints: 63345
1396.56/1401.01 c INPROCESSING
1396.56/1401.01 c GARBAGE COLLECT
1396.56/1401.01 WSVECS04 Frhs2[7577]: 6 -20 0 shouldn't be
1396.56/1401.01 WSVECS04 Frhs2[7578]: 6 -20.0001 0 shouldn't be
1420.89/1425.49 WSVECS04 Frhs2[7577]: 6 -20 0 shouldn't be
1420.89/1425.49 WSVECS04 Frhs2[7578]: 6 -20 0 shouldn't be
1478.81/1483.56 c #Conflicts: 775000 | #Constraints: 46928
1478.81/1483.56 c #Conflicts: 776000 | #Constraints: 47928
1478.81/1483.56 c #Conflicts: 777000 | #Constraints: 48928
1478.81/1483.56 c #Conflicts: 778000 | #Constraints: 49928
1478.81/1483.56 c #Conflicts: 779000 | #Constraints: 50928
1478.81/1483.56 c #Conflicts: 780000 | #Constraints: 51928
1478.81/1483.56 c #Conflicts: 781000 | #Constraints: 52928
1478.81/1483.56 c #Conflicts: 782000 | #Constraints: 53928
1478.81/1483.56 c #Conflicts: 783000 | #Constraints: 54928
1478.81/1483.56 c #Conflicts: 784000 | #Constraints: 55928
1478.81/1483.56 c #Conflicts: 785000 | #Constraints: 56928
1478.81/1483.56 c #Conflicts: 786000 | #Constraints: 57928
1478.81/1483.56 c #Conflicts: 787000 | #Constraints: 58928
1478.81/1483.56 c #Conflicts: 788000 | #Constraints: 59928
1478.81/1483.56 c #Conflicts: 789000 | #Constraints: 60928
1478.81/1483.56 c #Conflicts: 790000 | #Constraints: 61928
1478.81/1483.56 c #Conflicts: 791000 | #Constraints: 62928
1478.81/1483.56 c #Conflicts: 792000 | #Constraints: 63928
1478.81/1483.56 c INPROCESSING
1478.81/1483.56 c GARBAGE COLLECT
1478.81/1483.56 c #Conflicts: 793000 | #Constraints: 47319
1478.81/1483.56 c #Conflicts: 794000 | #Constraints: 48319
1478.81/1483.57 c #Conflicts: 795000 | #Constraints: 49319
1478.81/1483.57 c #Conflicts: 796000 | #Constraints: 50319
1478.81/1483.57 c #Conflicts: 797000 | #Constraints: 51319
1478.81/1483.57 c #Conflicts: 798000 | #Constraints: 52319
1478.81/1483.57 c #Conflicts: 799000 | #Constraints: 53319
1478.81/1483.57 c #Conflicts: 800000 | #Constraints: 54319
1478.81/1483.57 c #Conflicts: 801000 | #Constraints: 55319
1478.81/1483.57 c #Conflicts: 802000 | #Constraints: 56319
1478.81/1483.57 c #Conflicts: 803000 | #Constraints: 57319
1478.81/1483.57 c #Conflicts: 804000 | #Constraints: 58319
1478.81/1483.57 c #Conflicts: 805000 | #Constraints: 59319
1478.81/1483.57 c #Conflicts: 806000 | #Constraints: 60319
1478.81/1483.57 c #Conflicts: 807000 | #Constraints: 61319
1478.81/1483.57 c #Conflicts: 808000 | #Constraints: 62319
1478.81/1483.57 c #Conflicts: 809000 | #Constraints: 63391
1478.81/1483.57 c #Conflicts: 810000 | #Constraints: 64391
1478.81/1483.57 c INPROCESSING
1478.81/1483.57 c GARBAGE COLLECT
1478.81/1483.57 c rational objective 32.6667
1534.55/1539.46 c #Conflicts: 811000 | #Constraints: 47609
1534.55/1539.46 c #Conflicts: 812000 | #Constraints: 48609
1534.55/1539.46 c #Conflicts: 813000 | #Constraints: 49609
1534.55/1539.46 c #Conflicts: 814000 | #Constraints: 50609
1534.55/1539.46 c #Conflicts: 815000 | #Constraints: 51609
1534.55/1539.46 c #Conflicts: 816000 | #Constraints: 52609
1534.55/1539.46 c #Conflicts: 817000 | #Constraints: 53609
1534.55/1539.46 c #Conflicts: 818000 | #Constraints: 54609
1534.55/1539.46 c #Conflicts: 819000 | #Constraints: 55609
1534.55/1539.46 c #Conflicts: 820000 | #Constraints: 56609
1534.55/1539.46 c #Conflicts: 821000 | #Constraints: 57609
1534.55/1539.46 c #Conflicts: 822000 | #Constraints: 58609
1534.55/1539.46 c #Conflicts: 823000 | #Constraints: 59609
1534.55/1539.46 c #Conflicts: 824000 | #Constraints: 60609
1534.55/1539.46 c #Conflicts: 825000 | #Constraints: 61609
1534.55/1539.46 c #Conflicts: 826000 | #Constraints: 62609
1534.55/1539.46 c #Conflicts: 827000 | #Constraints: 63609
1534.55/1539.46 c #Conflicts: 828000 | #Constraints: 64609
1534.55/1539.46 c INPROCESSING
1534.55/1539.46 c GARBAGE COLLECT
1534.55/1539.46 c rational objective 32.6667
1632.77/1638.00 c #Conflicts: 829000 | #Constraints: 47625
1632.77/1638.00 c #Conflicts: 830000 | #Constraints: 48625
1632.77/1638.00 c #Conflicts: 831000 | #Constraints: 49625
1632.77/1638.00 c #Conflicts: 832000 | #Constraints: 50625
1632.77/1638.00 c #Conflicts: 833000 | #Constraints: 51625
1632.77/1638.00 c #Conflicts: 834000 | #Constraints: 52625
1632.77/1638.00 c #Conflicts: 835000 | #Constraints: 53625
1632.77/1638.00 c #Conflicts: 836000 | #Constraints: 54625
1632.77/1638.00 c #Conflicts: 837000 | #Constraints: 55625
1632.77/1638.00 c #Conflicts: 838000 | #Constraints: 56625
1632.77/1638.00 c #Conflicts: 839000 | #Constraints: 57625
1632.77/1638.00 c #Conflicts: 840000 | #Constraints: 58625
1632.77/1638.00 c #Conflicts: 841000 | #Constraints: 59625
1632.77/1638.00 c #Conflicts: 842000 | #Constraints: 60625
1632.77/1638.00 c #Conflicts: 843000 | #Constraints: 61625
1632.77/1638.00 c #Conflicts: 844000 | #Constraints: 62625
1632.77/1638.00 c #Conflicts: 845000 | #Constraints: 63625
1632.77/1638.00 c #Conflicts: 846000 | #Constraints: 64625
1632.77/1638.00 c INPROCESSING
1632.77/1638.00 c GARBAGE COLLECT
1632.77/1638.00 c rational objective 32.6667
1683.65/1688.90 c #Conflicts: 847000 | #Constraints: 47411
1683.65/1688.90 c #Conflicts: 848000 | #Constraints: 48411
1683.65/1688.90 c #Conflicts: 849000 | #Constraints: 49411
1683.65/1688.90 c #Conflicts: 850000 | #Constraints: 50411
1683.65/1688.90 c #Conflicts: 851000 | #Constraints: 51411
1683.65/1688.90 c #Conflicts: 852000 | #Constraints: 52411
1683.65/1688.90 c #Conflicts: 853000 | #Constraints: 53411
1683.65/1688.90 c #Conflicts: 854000 | #Constraints: 54411
1683.65/1688.90 c #Conflicts: 855000 | #Constraints: 55411
1683.65/1688.90 c #Conflicts: 856000 | #Constraints: 56411
1683.65/1688.90 c #Conflicts: 857000 | #Constraints: 57411
1683.65/1688.90 c #Conflicts: 858000 | #Constraints: 58411
1683.65/1688.90 c #Conflicts: 859000 | #Constraints: 59411
1683.65/1688.90 c #Conflicts: 860000 | #Constraints: 60411
1683.65/1688.90 c #Conflicts: 861000 | #Constraints: 61411
1683.65/1688.90 c #Conflicts: 862000 | #Constraints: 62411
1683.65/1688.90 c #Conflicts: 863000 | #Constraints: 63411
1683.65/1688.90 c #Conflicts: 864000 | #Constraints: 64411
1683.65/1688.90 c #Conflicts: 865000 | #Constraints: 65411
1683.65/1688.90 c INPROCESSING
1683.65/1688.90 c GARBAGE COLLECT
1683.65/1688.90 c #Conflicts: 866000 | #Constraints: 47961
1683.65/1688.90 c #Conflicts: 867000 | #Constraints: 48961
1683.65/1688.90 c #Conflicts: 868000 | #Constraints: 49961
1683.65/1688.90 c #Conflicts: 869000 | #Constraints: 50961
1683.65/1688.90 c #Conflicts: 870000 | #Constraints: 51961
1683.65/1688.90 c #Conflicts: 871000 | #Constraints: 52961
1683.65/1688.90 c #Conflicts: 872000 | #Constraints: 53961
1683.65/1688.90 c #Conflicts: 873000 | #Constraints: 54961
1683.65/1688.90 c #Conflicts: 874000 | #Constraints: 55961
1683.65/1688.90 c #Conflicts: 875000 | #Constraints: 56961
1683.65/1688.90 c #Conflicts: 876000 | #Constraints: 57961
1683.65/1688.90 c #Conflicts: 877000 | #Constraints: 58961
1683.65/1688.90 c #Conflicts: 878000 | #Constraints: 59961
1683.65/1688.90 c #Conflicts: 879000 | #Constraints: 60961
1683.65/1688.90 c #Conflicts: 880000 | #Constraints: 61961
1683.65/1688.90 c #Conflicts: 881000 | #Constraints: 62961
1683.65/1688.90 c #Conflicts: 882000 | #Constraints: 63961
1683.65/1688.90 c #Conflicts: 883000 | #Constraints: 64961
1683.65/1688.90 c #Conflicts: 884000 | #Constraints: 65961
1683.65/1688.90 c INPROCESSING
1683.65/1688.90 c GARBAGE COLLECT
1683.65/1688.90 c #Conflicts: 885000 | #Constraints: 48335
1683.65/1688.90 c #Conflicts: 886000 | #Constraints: 49335
1683.65/1688.90 c #Conflicts: 887000 | #Constraints: 50335
1683.65/1688.90 c #Conflicts: 888000 | #Constraints: 51335
1683.65/1688.90 c #Conflicts: 889000 | #Constraints: 52335
1683.65/1688.90 c #Conflicts: 890000 | #Constraints: 53335
1683.65/1688.90 c #Conflicts: 891000 | #Constraints: 54335
1683.65/1688.90 c #Conflicts: 892000 | #Constraints: 55335
1683.65/1688.90 c #Conflicts: 893000 | #Constraints: 56335
1683.65/1688.90 c #Conflicts: 894000 | #Constraints: 57335
1683.65/1688.90 c #Conflicts: 895000 | #Constraints: 58335
1683.65/1688.90 c #Conflicts: 896000 | #Constraints: 59335
1683.65/1688.90 c #Conflicts: 897000 | #Constraints: 60335
1683.65/1688.90 c #Conflicts: 898000 | #Constraints: 61335
1683.65/1688.90 c #Conflicts: 899000 | #Constraints: 62335
1683.65/1688.90 c #Conflicts: 900000 | #Constraints: 63335
1683.65/1688.90 c #Conflicts: 901000 | #Constraints: 64335
1683.65/1688.90 c #Conflicts: 902000 | #Constraints: 65335
1683.65/1688.90 c #Conflicts: 903000 | #Constraints: 66335
1683.65/1688.90 c INPROCESSING
1683.65/1688.90 c GARBAGE COLLECT
1683.65/1688.90 c #Conflicts: 904000 | #Constraints: 48518
1683.65/1688.90 c #Conflicts: 905000 | #Constraints: 49518
1683.65/1688.90 c #Conflicts: 906000 | #Constraints: 50518
1683.65/1688.90 c #Conflicts: 907000 | #Constraints: 51518
1683.65/1688.90 c #Conflicts: 908000 | #Constraints: 52518
1683.65/1688.90 c #Conflicts: 909000 | #Constraints: 53518
1683.65/1688.90 c #Conflicts: 910000 | #Constraints: 54518
1683.65/1688.90 c #Conflicts: 911000 | #Constraints: 55518
1683.65/1688.90 c #Conflicts: 912000 | #Constraints: 56518
1683.65/1688.90 c #Conflicts: 913000 | #Constraints: 57518
1683.65/1688.90 c #Conflicts: 914000 | #Constraints: 58518
1683.65/1688.90 c #Conflicts: 915000 | #Constraints: 59519
1683.65/1688.90 c #Conflicts: 916000 | #Constraints: 60519
1683.65/1688.90 c #Conflicts: 917000 | #Constraints: 61519
1683.65/1688.90 c #Conflicts: 918000 | #Constraints: 62519
1683.65/1688.90 c #Conflicts: 919000 | #Constraints: 63519
1683.65/1688.90 c #Conflicts: 920000 | #Constraints: 64519
1683.65/1688.90 c #Conflicts: 921000 | #Constraints: 65519
1683.65/1688.90 c #Conflicts: 922000 | #Constraints: 66519
1683.65/1688.90 c INPROCESSING
1683.65/1688.90 c GARBAGE COLLECT
1683.65/1688.90 c #Conflicts: 923000 | #Constraints: 48514
1703.20/1708.59 c #Conflicts: 924000 | #Constraints: 49514
1703.20/1708.59 c #Conflicts: 925000 | #Constraints: 50514
1703.20/1708.59 c #Conflicts: 926000 | #Constraints: 51514
1703.20/1708.59 c #Conflicts: 927000 | #Constraints: 52514
1703.20/1708.59 c #Conflicts: 928000 | #Constraints: 53514
1703.20/1708.59 c #Conflicts: 929000 | #Constraints: 54514
1703.20/1708.59 c #Conflicts: 930000 | #Constraints: 55514
1703.20/1708.59 c #Conflicts: 931000 | #Constraints: 56514
1703.20/1708.59 c #Conflicts: 932000 | #Constraints: 57514
1703.20/1708.59 c #Conflicts: 933000 | #Constraints: 58514
1703.20/1708.59 c #Conflicts: 934000 | #Constraints: 59514
1703.20/1708.59 c #Conflicts: 935000 | #Constraints: 60514
1703.20/1708.59 c #Conflicts: 936000 | #Constraints: 61514
1703.20/1708.59 c #Conflicts: 937000 | #Constraints: 62514
1703.20/1708.59 c #Conflicts: 938000 | #Constraints: 63514
1703.20/1708.59 c #Conflicts: 939000 | #Constraints: 64514
1703.20/1708.59 c #Conflicts: 940000 | #Constraints: 65514
1703.20/1708.59 c #Conflicts: 941000 | #Constraints: 66514
1703.20/1708.59 c INPROCESSING
1703.20/1708.59 c GARBAGE COLLECT
1703.20/1708.59 c rational objective 32.6667
1753.30/1758.74 c #Conflicts: 942000 | #Constraints: 48372
1753.30/1758.74 c #Conflicts: 943000 | #Constraints: 49372
1753.30/1758.74 c #Conflicts: 944000 | #Constraints: 50372
1753.30/1758.74 c #Conflicts: 945000 | #Constraints: 51372
1753.30/1758.74 c #Conflicts: 946000 | #Constraints: 52372
1753.30/1758.74 c #Conflicts: 947000 | #Constraints: 53372
1753.30/1758.74 c #Conflicts: 948000 | #Constraints: 54372
1753.30/1758.74 c #Conflicts: 949000 | #Constraints: 55372
1753.30/1758.74 c #Conflicts: 950000 | #Constraints: 56372
1753.30/1758.74 c #Conflicts: 951000 | #Constraints: 57372
1753.30/1758.74 c #Conflicts: 952000 | #Constraints: 58372
1753.30/1758.74 c #Conflicts: 953000 | #Constraints: 59372
1753.30/1758.74 c #Conflicts: 954000 | #Constraints: 60372
1753.30/1758.74 c #Conflicts: 955000 | #Constraints: 61372
1753.30/1758.74 c #Conflicts: 956000 | #Constraints: 62372
1753.30/1758.74 c #Conflicts: 957000 | #Constraints: 63372
1753.30/1758.74 c #Conflicts: 958000 | #Constraints: 64372
1753.30/1758.74 c #Conflicts: 959000 | #Constraints: 65372
1753.30/1758.74 c #Conflicts: 960000 | #Constraints: 66372
1753.30/1758.74 c #Conflicts: 961000 | #Constraints: 67372
1753.30/1758.74 c INPROCESSING
1753.30/1758.74 c GARBAGE COLLECT
1753.30/1758.74 c rational objective 32.6667
1871.74/1877.40 c #Conflicts: 962000 | #Constraints: 48986
1871.74/1877.40 c #Conflicts: 963000 | #Constraints: 49986
1871.74/1877.40 c #Conflicts: 964000 | #Constraints: 50986
1871.74/1877.40 c #Conflicts: 965000 | #Constraints: 51986
1871.74/1877.40 c #Conflicts: 966000 | #Constraints: 52986
1871.74/1877.40 c #Conflicts: 967000 | #Constraints: 53986
1871.74/1877.40 c #Conflicts: 968000 | #Constraints: 54986
1871.74/1877.40 c #Conflicts: 969000 | #Constraints: 55986
1871.74/1877.40 c #Conflicts: 970000 | #Constraints: 56986
1871.74/1877.40 c #Conflicts: 971000 | #Constraints: 57986
1871.74/1877.40 c #Conflicts: 972000 | #Constraints: 58986
1871.74/1877.40 c #Conflicts: 973000 | #Constraints: 59986
1871.74/1877.40 c #Conflicts: 974000 | #Constraints: 60986
1871.74/1877.40 c #Conflicts: 975000 | #Constraints: 61986
1871.74/1877.40 c #Conflicts: 976000 | #Constraints: 62986
1871.74/1877.40 c #Conflicts: 977000 | #Constraints: 63986
1871.74/1877.40 c #Conflicts: 978000 | #Constraints: 64986
1871.74/1877.40 c #Conflicts: 979000 | #Constraints: 65986
1871.74/1877.40 c #Conflicts: 980000 | #Constraints: 66986
1871.74/1877.40 c #Conflicts: 981000 | #Constraints: 67986
1871.74/1877.40 c INPROCESSING
1871.74/1877.40 c GARBAGE COLLECT
1871.74/1877.40 c rational objective 32.6667
1929.31/1935.14 c #Conflicts: 982000 | #Constraints: 49414
1929.31/1935.14 c #Conflicts: 983000 | #Constraints: 50414
1929.31/1935.14 c #Conflicts: 984000 | #Constraints: 51414
1929.31/1935.14 c #Conflicts: 985000 | #Constraints: 52414
1929.31/1935.14 c #Conflicts: 986000 | #Constraints: 53414
1929.31/1935.14 c #Conflicts: 987000 | #Constraints: 54414
1929.31/1935.14 c #Conflicts: 988000 | #Constraints: 55414
1929.31/1935.14 c #Conflicts: 989000 | #Constraints: 56414
1929.31/1935.14 c #Conflicts: 990000 | #Constraints: 57414
1929.31/1935.14 c #Conflicts: 991000 | #Constraints: 58414
1929.31/1935.14 c #Conflicts: 992000 | #Constraints: 59414
1929.31/1935.14 c #Conflicts: 993000 | #Constraints: 60414
1929.31/1935.14 c #Conflicts: 994000 | #Constraints: 61414
1929.31/1935.14 c #Conflicts: 995000 | #Constraints: 62414
1929.31/1935.14 c #Conflicts: 996000 | #Constraints: 63414
1929.31/1935.14 c #Conflicts: 997000 | #Constraints: 64414
1929.31/1935.14 c #Conflicts: 998000 | #Constraints: 65414
1929.31/1935.14 c #Conflicts: 999000 | #Constraints: 66414
1929.31/1935.14 c #Conflicts: 1000000 | #Constraints: 67414
1929.31/1935.14 c #Conflicts: 1001000 | #Constraints: 68414
1929.31/1935.14 c INPROCESSING
1929.31/1935.14 c GARBAGE COLLECT
1929.31/1935.14 c #Conflicts: 1002000 | #Constraints: 49559
1929.31/1935.14 c #Conflicts: 1003000 | #Constraints: 50559
1929.31/1935.14 c #Conflicts: 1004000 | #Constraints: 51559
1929.31/1935.14 c #Conflicts: 1005000 | #Constraints: 52559
1929.31/1935.14 c #Conflicts: 1006000 | #Constraints: 53559
1929.31/1935.14 c #Conflicts: 1007000 | #Constraints: 54559
1929.31/1935.14 c #Conflicts: 1008000 | #Constraints: 55559
1929.31/1935.14 c #Conflicts: 1009000 | #Constraints: 56559
1929.31/1935.14 c #Conflicts: 1010000 | #Constraints: 57559
1929.31/1935.14 c #Conflicts: 1011000 | #Constraints: 58559
1929.31/1935.14 c #Conflicts: 1012000 | #Constraints: 59559
1929.31/1935.14 c #Conflicts: 1013000 | #Constraints: 60559
1929.31/1935.14 c #Conflicts: 1014000 | #Constraints: 61559
1929.31/1935.14 c #Conflicts: 1015000 | #Constraints: 62559
1929.31/1935.14 c #Conflicts: 1016000 | #Constraints: 63559
1929.31/1935.14 c #Conflicts: 1017000 | #Constraints: 64559
1929.31/1935.14 c #Conflicts: 1018000 | #Constraints: 65559
1929.31/1935.14 c #Conflicts: 1019000 | #Constraints: 66559
1929.31/1935.14 c #Conflicts: 1020000 | #Constraints: 67559
1929.31/1935.14 c #Conflicts: 1021000 | #Constraints: 68559
1929.31/1935.14 c INPROCESSING
1929.31/1935.14 c GARBAGE COLLECT
1929.31/1935.14 c #Conflicts: 1022000 | #Constraints: 49531
1929.31/1935.14 c #Conflicts: 1023000 | #Constraints: 50531
1929.31/1935.14 c #Conflicts: 1024000 | #Constraints: 51531
1929.31/1935.14 c #Conflicts: 1025000 | #Constraints: 52531
1929.31/1935.14 c #Conflicts: 1026000 | #Constraints: 53531
1929.31/1935.14 c #Conflicts: 1027000 | #Constraints: 54531
1929.31/1935.14 c #Conflicts: 1028000 | #Constraints: 55531
1929.31/1935.14 c #Conflicts: 1029000 | #Constraints: 56531
1929.31/1935.14 c #Conflicts: 1030000 | #Constraints: 57531
1929.31/1935.14 c #Conflicts: 1031000 | #Constraints: 58531
1929.31/1935.14 c #Conflicts: 1032000 | #Constraints: 59531
1929.31/1935.14 c #Conflicts: 1033000 | #Constraints: 60531
1929.31/1935.14 c #Conflicts: 1034000 | #Constraints: 61531
1929.31/1935.14 c #Conflicts: 1035000 | #Constraints: 62531
1929.31/1935.14 c #Conflicts: 1036000 | #Constraints: 63531
1929.31/1935.14 c #Conflicts: 1037000 | #Constraints: 64531
1929.31/1935.14 c #Conflicts: 1038000 | #Constraints: 65531
1929.31/1935.14 c #Conflicts: 1039000 | #Constraints: 66531
1929.31/1935.14 c #Conflicts: 1040000 | #Constraints: 67531
1929.31/1935.14 c #Conflicts: 1041000 | #Constraints: 68531
1929.31/1935.14 c INPROCESSING
1929.31/1935.14 c GARBAGE COLLECT
1929.31/1935.14 c #Conflicts: 1042000 | #Constraints: 49325
1929.31/1935.14 c #Conflicts: 1043000 | #Constraints: 50325
1929.31/1935.14 c #Conflicts: 1044000 | #Constraints: 51325
1929.31/1935.14 c #Conflicts: 1045000 | #Constraints: 52325
1929.31/1935.14 c #Conflicts: 1046000 | #Constraints: 53325
1929.31/1935.14 c #Conflicts: 1047000 | #Constraints: 54325
1929.31/1935.14 c #Conflicts: 1048000 | #Constraints: 55325
1929.31/1935.14 c #Conflicts: 1049000 | #Constraints: 56325
1929.31/1935.14 c #Conflicts: 1050000 | #Constraints: 57325
1929.31/1935.14 c #Conflicts: 1051000 | #Constraints: 58325
1929.31/1935.14 c #Conflicts: 1052000 | #Constraints: 59325
1929.31/1935.14 c #Conflicts: 1053000 | #Constraints: 60325
1929.31/1935.14 c #Conflicts: 1054000 | #Constraints: 61325
1929.31/1935.14 c #Conflicts: 1055000 | #Constraints: 62325
1929.31/1935.14 c #Conflicts: 1056000 | #Constraints: 63325
1929.31/1935.14 c #Conflicts: 1057000 | #Constraints: 64325
1929.31/1935.14 c #Conflicts: 1058000 | #Constraints: 65325
1949.96/1955.87 c #Conflicts: 1059000 | #Constraints: 66325
1949.96/1955.87 c #Conflicts: 1060000 | #Constraints: 67325
1949.96/1955.87 c #Conflicts: 1061000 | #Constraints: 68325
1949.96/1955.87 c #Conflicts: 1062000 | #Constraints: 69325
1949.96/1955.87 c INPROCESSING
1949.96/1955.87 c GARBAGE COLLECT
1949.96/1955.87 c #Conflicts: 1063000 | #Constraints: 49917
1949.96/1955.87 c #Conflicts: 1064000 | #Constraints: 50917
1949.96/1955.87 c #Conflicts: 1065000 | #Constraints: 51917
1949.96/1955.87 c #Conflicts: 1066000 | #Constraints: 52917
1949.96/1955.87 c #Conflicts: 1067000 | #Constraints: 53917
1949.96/1955.87 c #Conflicts: 1068000 | #Constraints: 54917
1949.96/1955.87 c #Conflicts: 1069000 | #Constraints: 55917
1949.96/1955.87 c #Conflicts: 1070000 | #Constraints: 56917
1949.96/1955.87 c #Conflicts: 1071000 | #Constraints: 57917
1949.96/1955.87 c #Conflicts: 1072000 | #Constraints: 58917
1949.96/1955.87 c #Conflicts: 1073000 | #Constraints: 59917
1949.96/1955.87 c #Conflicts: 1074000 | #Constraints: 60917
1949.96/1955.87 c #Conflicts: 1075000 | #Constraints: 61917
1949.96/1955.87 c #Conflicts: 1076000 | #Constraints: 62917
1949.96/1955.87 c #Conflicts: 1077000 | #Constraints: 63917
1949.96/1955.87 c #Conflicts: 1078000 | #Constraints: 64917
1949.96/1955.87 c #Conflicts: 1079000 | #Constraints: 65917
1949.96/1955.87 c #Conflicts: 1080000 | #Constraints: 66917
1949.96/1955.87 c #Conflicts: 1081000 | #Constraints: 67917
1949.96/1955.87 c #Conflicts: 1082000 | #Constraints: 68917
1949.96/1955.87 c #Conflicts: 1083000 | #Constraints: 69917
1949.96/1955.87 c INPROCESSING
1949.96/1955.87 c GARBAGE COLLECT
1949.96/1955.87 c rational objective 32.6667
1987.18/1993.14 c #Conflicts: 1084000 | #Constraints: 50372
1987.18/1993.14 c #Conflicts: 1085000 | #Constraints: 51372
1987.18/1993.14 c #Conflicts: 1086000 | #Constraints: 52372
1987.18/1993.14 c #Conflicts: 1087000 | #Constraints: 53372
1987.18/1993.14 c #Conflicts: 1088000 | #Constraints: 54372
1987.18/1993.14 c #Conflicts: 1089000 | #Constraints: 55372
1987.18/1993.14 c #Conflicts: 1090000 | #Constraints: 56372
1987.18/1993.14 c #Conflicts: 1091000 | #Constraints: 57372
1987.18/1993.14 c #Conflicts: 1092000 | #Constraints: 58372
1987.18/1993.14 c #Conflicts: 1093000 | #Constraints: 59372
1987.18/1993.14 c #Conflicts: 1094000 | #Constraints: 60372
1987.18/1993.14 c #Conflicts: 1095000 | #Constraints: 61372
1987.18/1993.14 c #Conflicts: 1096000 | #Constraints: 62372
1987.18/1993.14 c #Conflicts: 1097000 | #Constraints: 63372
1987.18/1993.14 c #Conflicts: 1098000 | #Constraints: 64372
1987.18/1993.14 c #Conflicts: 1099000 | #Constraints: 65372
1987.18/1993.14 c #Conflicts: 1100000 | #Constraints: 66372
1987.18/1993.14 c #Conflicts: 1101000 | #Constraints: 67372
1987.18/1993.14 c #Conflicts: 1102000 | #Constraints: 68372
1987.18/1993.14 c #Conflicts: 1103000 | #Constraints: 69372
1987.18/1993.14 c #Conflicts: 1104000 | #Constraints: 70372
1987.18/1993.14 c INPROCESSING
1987.18/1993.14 c GARBAGE COLLECT
1987.18/1993.14 c rational objective 32.6667
2011.03/2017.03 c #Conflicts: 1105000 | #Constraints: 50590
2011.03/2017.03 c #Conflicts: 1106000 | #Constraints: 51590
2011.03/2017.03 c #Conflicts: 1107000 | #Constraints: 52590
2011.03/2017.03 c #Conflicts: 1108000 | #Constraints: 53590
2011.03/2017.03 c #Conflicts: 1109000 | #Constraints: 54590
2011.03/2017.03 c #Conflicts: 1110000 | #Constraints: 55590
2011.03/2017.03 c #Conflicts: 1111000 | #Constraints: 56590
2011.03/2017.03 c #Conflicts: 1112000 | #Constraints: 57590
2011.03/2017.03 c #Conflicts: 1113000 | #Constraints: 58590
2011.03/2017.03 c #Conflicts: 1114000 | #Constraints: 59590
2011.03/2017.03 c #Conflicts: 1115000 | #Constraints: 60590
2011.03/2017.03 c #Conflicts: 1116000 | #Constraints: 61590
2011.03/2017.03 c #Conflicts: 1117000 | #Constraints: 62590
2011.03/2017.03 c #Conflicts: 1118000 | #Constraints: 63590
2011.03/2017.03 c #Conflicts: 1119000 | #Constraints: 64590
2011.03/2017.03 c #Conflicts: 1120000 | #Constraints: 65590
2011.03/2017.03 c #Conflicts: 1121000 | #Constraints: 66590
2011.03/2017.03 c #Conflicts: 1122000 | #Constraints: 67590
2011.03/2017.03 c #Conflicts: 1123000 | #Constraints: 68590
2011.03/2017.03 c #Conflicts: 1124000 | #Constraints: 69590
2011.03/2017.03 c #Conflicts: 1125000 | #Constraints: 70590
2011.03/2017.03 c INPROCESSING
2011.03/2017.03 c GARBAGE COLLECT
2011.03/2017.03 c rational objective 32.6667
2030.78/2036.88 c #Conflicts: 1126000 | #Constraints: 50612
2030.78/2036.88 c #Conflicts: 1127000 | #Constraints: 51612
2030.78/2036.88 c #Conflicts: 1128000 | #Constraints: 52612
2030.78/2036.88 c #Conflicts: 1129000 | #Constraints: 53612
2030.78/2036.88 c #Conflicts: 1130000 | #Constraints: 54612
2030.78/2036.88 c #Conflicts: 1131000 | #Constraints: 55612
2030.78/2036.88 c #Conflicts: 1132000 | #Constraints: 56612
2030.78/2036.88 c #Conflicts: 1133000 | #Constraints: 57612
2030.78/2036.88 c #Conflicts: 1134000 | #Constraints: 58612
2030.78/2036.88 c #Conflicts: 1135000 | #Constraints: 59612
2030.78/2036.88 c #Conflicts: 1136000 | #Constraints: 60612
2030.78/2036.88 c #Conflicts: 1137000 | #Constraints: 61612
2030.78/2036.88 c #Conflicts: 1138000 | #Constraints: 62612
2030.78/2036.88 c #Conflicts: 1139000 | #Constraints: 63612
2030.78/2036.88 c #Conflicts: 1140000 | #Constraints: 64612
2030.78/2036.88 c #Conflicts: 1141000 | #Constraints: 65612
2030.78/2036.88 c #Conflicts: 1142000 | #Constraints: 66612
2030.78/2036.88 c #Conflicts: 1143000 | #Constraints: 67612
2030.78/2036.88 c #Conflicts: 1144000 | #Constraints: 68612
2030.78/2036.88 c #Conflicts: 1145000 | #Constraints: 69612
2030.78/2036.88 c #Conflicts: 1146000 | #Constraints: 70612
2030.78/2036.88 c INPROCESSING
2030.78/2036.88 c GARBAGE COLLECT
2030.78/2036.88 c rational objective 32.6667
2054.04/2060.18 c #Conflicts: 1147000 | #Constraints: 50405
2054.04/2060.18 c #Conflicts: 1148000 | #Constraints: 51405
2054.04/2060.18 c #Conflicts: 1149000 | #Constraints: 52405
2054.04/2060.18 c #Conflicts: 1150000 | #Constraints: 53405
2054.04/2060.18 c #Conflicts: 1151000 | #Constraints: 54405
2054.04/2060.18 c #Conflicts: 1152000 | #Constraints: 55405
2054.04/2060.18 c #Conflicts: 1153000 | #Constraints: 56405
2054.04/2060.18 c #Conflicts: 1154000 | #Constraints: 57405
2054.04/2060.18 c #Conflicts: 1155000 | #Constraints: 58405
2054.04/2060.18 c #Conflicts: 1156000 | #Constraints: 59405
2054.04/2060.18 c #Conflicts: 1157000 | #Constraints: 60405
2054.04/2060.18 c #Conflicts: 1158000 | #Constraints: 61405
2054.04/2060.18 c #Conflicts: 1159000 | #Constraints: 62405
2054.04/2060.18 c #Conflicts: 1160000 | #Constraints: 63405
2054.04/2060.18 c #Conflicts: 1161000 | #Constraints: 64405
2054.04/2060.18 c #Conflicts: 1162000 | #Constraints: 65405
2054.04/2060.18 c #Conflicts: 1163000 | #Constraints: 66405
2054.04/2060.18 c #Conflicts: 1164000 | #Constraints: 67405
2054.04/2060.18 c #Conflicts: 1165000 | #Constraints: 68405
2054.04/2060.18 c #Conflicts: 1166000 | #Constraints: 69405
2054.04/2060.18 c #Conflicts: 1167000 | #Constraints: 70405
2054.04/2060.18 c #Conflicts: 1168000 | #Constraints: 71405
2054.04/2060.18 c INPROCESSING
2054.04/2060.18 c GARBAGE COLLECT
2054.04/2060.18 c rational objective 32.6667
2079.57/2085.70 c #Conflicts: 1169000 | #Constraints: 51006
2079.57/2085.70 c #Conflicts: 1170000 | #Constraints: 52006
2079.57/2085.70 c #Conflicts: 1171000 | #Constraints: 53006
2079.57/2085.70 c #Conflicts: 1172000 | #Constraints: 54006
2079.57/2085.70 c #Conflicts: 1173000 | #Constraints: 55006
2079.57/2085.70 c #Conflicts: 1174000 | #Constraints: 56006
2079.57/2085.70 c #Conflicts: 1175000 | #Constraints: 57006
2079.57/2085.70 c #Conflicts: 1176000 | #Constraints: 58006
2079.57/2085.70 c #Conflicts: 1177000 | #Constraints: 59006
2079.57/2085.70 c #Conflicts: 1178000 | #Constraints: 60006
2079.57/2085.70 c #Conflicts: 1179000 | #Constraints: 61006
2079.57/2085.70 c #Conflicts: 1180000 | #Constraints: 62006
2079.57/2085.70 c #Conflicts: 1181000 | #Constraints: 63006
2079.57/2085.70 c #Conflicts: 1182000 | #Constraints: 64006
2079.57/2085.70 c #Conflicts: 1183000 | #Constraints: 65006
2079.57/2085.70 c #Conflicts: 1184000 | #Constraints: 66006
2079.57/2085.70 c #Conflicts: 1185000 | #Constraints: 67006
2079.57/2085.70 c #Conflicts: 1186000 | #Constraints: 68006
2079.57/2085.70 c #Conflicts: 1187000 | #Constraints: 69006
2079.57/2085.70 c #Conflicts: 1188000 | #Constraints: 70006
2079.57/2085.70 c #Conflicts: 1189000 | #Constraints: 71006
2079.57/2085.70 c #Conflicts: 1190000 | #Constraints: 72006
2079.57/2085.70 c INPROCESSING
2079.57/2085.70 c GARBAGE COLLECT
2079.57/2085.70 c rational objective 32.6667
2104.42/2110.61 c #Conflicts: 1191000 | #Constraints: 51412
2104.42/2110.61 c #Conflicts: 1192000 | #Constraints: 52412
2104.42/2110.61 c #Conflicts: 1193000 | #Constraints: 53412
2104.42/2110.61 c #Conflicts: 1194000 | #Constraints: 54412
2104.42/2110.61 c #Conflicts: 1195000 | #Constraints: 55412
2104.42/2110.61 c #Conflicts: 1196000 | #Constraints: 56412
2104.42/2110.61 c #Conflicts: 1197000 | #Constraints: 57412
2104.42/2110.61 c #Conflicts: 1198000 | #Constraints: 58412
2104.42/2110.61 c #Conflicts: 1199000 | #Constraints: 59412
2104.42/2110.61 c #Conflicts: 1200000 | #Constraints: 60412
2104.42/2110.61 c #Conflicts: 1201000 | #Constraints: 61412
2104.42/2110.61 c #Conflicts: 1202000 | #Constraints: 62412
2104.42/2110.61 c #Conflicts: 1203000 | #Constraints: 63412
2104.42/2110.61 c #Conflicts: 1204000 | #Constraints: 64412
2104.42/2110.61 c #Conflicts: 1205000 | #Constraints: 65412
2104.42/2110.61 c #Conflicts: 1206000 | #Constraints: 66412
2104.42/2110.61 c #Conflicts: 1207000 | #Constraints: 67412
2104.42/2110.61 c #Conflicts: 1208000 | #Constraints: 68412
2104.42/2110.61 c #Conflicts: 1209000 | #Constraints: 69412
2104.42/2110.61 c #Conflicts: 1210000 | #Constraints: 70412
2104.42/2110.61 c #Conflicts: 1211000 | #Constraints: 71412
2104.42/2110.61 c #Conflicts: 1212000 | #Constraints: 72412
2104.42/2110.61 c INPROCESSING
2104.42/2110.61 c GARBAGE COLLECT
2104.42/2110.61 c rational objective 32.6667
2129.16/2135.43 c #Conflicts: 1213000 | #Constraints: 51614
2129.16/2135.43 c #Conflicts: 1214000 | #Constraints: 52614
2129.16/2135.43 c #Conflicts: 1215000 | #Constraints: 53614
2129.16/2135.43 c #Conflicts: 1216000 | #Constraints: 54614
2129.16/2135.43 c #Conflicts: 1217000 | #Constraints: 55614
2129.16/2135.43 c #Conflicts: 1218000 | #Constraints: 56614
2129.16/2135.43 c #Conflicts: 1219000 | #Constraints: 57614
2129.16/2135.43 c #Conflicts: 1220000 | #Constraints: 58614
2129.16/2135.43 c #Conflicts: 1221000 | #Constraints: 59614
2129.16/2135.43 c #Conflicts: 1222000 | #Constraints: 60614
2129.16/2135.43 c #Conflicts: 1223000 | #Constraints: 61614
2129.16/2135.43 c #Conflicts: 1224000 | #Constraints: 62614
2129.16/2135.43 c #Conflicts: 1225000 | #Constraints: 63614
2129.16/2135.43 c #Conflicts: 1226000 | #Constraints: 64614
2129.16/2135.43 c #Conflicts: 1227000 | #Constraints: 65614
2129.16/2135.43 c #Conflicts: 1228000 | #Constraints: 66614
2129.16/2135.43 c #Conflicts: 1229000 | #Constraints: 67614
2129.16/2135.43 c #Conflicts: 1230000 | #Constraints: 68614
2129.16/2135.43 c #Conflicts: 1231000 | #Constraints: 69614
2129.16/2135.43 c #Conflicts: 1232000 | #Constraints: 70614
2129.16/2135.43 c #Conflicts: 1233000 | #Constraints: 71614
2129.16/2135.43 c #Conflicts: 1234000 | #Constraints: 72614
2129.16/2135.43 c INPROCESSING
2129.16/2135.43 c GARBAGE COLLECT
2129.16/2135.43 c rational objective 32.6667
2153.01/2159.33 c #Conflicts: 1235000 | #Constraints: 51622
2153.01/2159.33 c #Conflicts: 1236000 | #Constraints: 52622
2153.01/2159.33 c #Conflicts: 1237000 | #Constraints: 53622
2153.01/2159.33 c #Conflicts: 1238000 | #Constraints: 54622
2153.01/2159.33 c #Conflicts: 1239000 | #Constraints: 55622
2153.01/2159.33 c #Conflicts: 1240000 | #Constraints: 56622
2153.01/2159.33 c #Conflicts: 1241000 | #Constraints: 57622
2153.01/2159.33 c #Conflicts: 1242000 | #Constraints: 58622
2153.01/2159.33 c #Conflicts: 1243000 | #Constraints: 59622
2153.01/2159.33 c #Conflicts: 1244000 | #Constraints: 60622
2153.01/2159.33 c #Conflicts: 1245000 | #Constraints: 61622
2153.01/2159.33 c #Conflicts: 1246000 | #Constraints: 62622
2153.01/2159.33 c #Conflicts: 1247000 | #Constraints: 63622
2153.01/2159.33 c #Conflicts: 1248000 | #Constraints: 64622
2153.01/2159.33 c #Conflicts: 1249000 | #Constraints: 65622
2153.01/2159.33 c #Conflicts: 1250000 | #Constraints: 66622
2153.01/2159.33 c #Conflicts: 1251000 | #Constraints: 67622
2153.01/2159.33 c #Conflicts: 1252000 | #Constraints: 68622
2153.01/2159.33 c #Conflicts: 1253000 | #Constraints: 69622
2153.01/2159.33 c #Conflicts: 1254000 | #Constraints: 70622
2153.01/2159.33 c #Conflicts: 1255000 | #Constraints: 71622
2153.01/2159.33 c #Conflicts: 1256000 | #Constraints: 72622
2153.01/2159.33 c INPROCESSING
2153.01/2159.33 c GARBAGE COLLECT
2153.01/2159.33 c rational objective 32.6667
2182.65/2189.03 c #Conflicts: 1257000 | #Constraints: 51432
2182.65/2189.03 c #Conflicts: 1258000 | #Constraints: 52432
2182.65/2189.03 c #Conflicts: 1259000 | #Constraints: 53432
2182.65/2189.03 c #Conflicts: 1260000 | #Constraints: 54432
2182.65/2189.03 c #Conflicts: 1261000 | #Constraints: 55432
2182.65/2189.03 c #Conflicts: 1262000 | #Constraints: 56432
2182.65/2189.03 c #Conflicts: 1263000 | #Constraints: 57432
2182.65/2189.03 c #Conflicts: 1264000 | #Constraints: 58432
2182.65/2189.03 c #Conflicts: 1265000 | #Constraints: 59432
2182.65/2189.03 c #Conflicts: 1266000 | #Constraints: 60432
2182.65/2189.03 c #Conflicts: 1267000 | #Constraints: 61432
2182.65/2189.03 c #Conflicts: 1268000 | #Constraints: 62432
2182.65/2189.03 c #Conflicts: 1269000 | #Constraints: 63432
2182.65/2189.03 c #Conflicts: 1270000 | #Constraints: 64432
2182.65/2189.03 c #Conflicts: 1271000 | #Constraints: 65432
2182.65/2189.03 c #Conflicts: 1272000 | #Constraints: 66432
2182.65/2189.03 c #Conflicts: 1273000 | #Constraints: 67432
2182.65/2189.03 c #Conflicts: 1274000 | #Constraints: 68432
2182.65/2189.03 c #Conflicts: 1275000 | #Constraints: 69432
2182.65/2189.03 c #Conflicts: 1276000 | #Constraints: 70432
2182.65/2189.03 c #Conflicts: 1277000 | #Constraints: 71432
2182.65/2189.03 c #Conflicts: 1278000 | #Constraints: 72432
2182.65/2189.03 c #Conflicts: 1279000 | #Constraints: 73432
2182.65/2189.03 c INPROCESSING
2182.65/2189.03 c GARBAGE COLLECT
2182.65/2189.03 c rational objective 32.6667
2208.70/2215.12 c #Conflicts: 1280000 | #Constraints: 52025
2208.70/2215.12 c #Conflicts: 1281000 | #Constraints: 53025
2208.70/2215.12 c #Conflicts: 1282000 | #Constraints: 54025
2208.70/2215.12 c #Conflicts: 1283000 | #Constraints: 55025
2208.70/2215.12 c #Conflicts: 1284000 | #Constraints: 56025
2208.70/2215.12 c #Conflicts: 1285000 | #Constraints: 57025
2208.70/2215.12 c #Conflicts: 1286000 | #Constraints: 58025
2208.70/2215.12 c #Conflicts: 1287000 | #Constraints: 59025
2208.70/2215.12 c #Conflicts: 1288000 | #Constraints: 60025
2208.70/2215.12 c #Conflicts: 1289000 | #Constraints: 61025
2208.70/2215.12 c #Conflicts: 1290000 | #Constraints: 62025
2208.70/2215.12 c #Conflicts: 1291000 | #Constraints: 63025
2208.70/2215.12 c #Conflicts: 1292000 | #Constraints: 64025
2208.70/2215.12 c #Conflicts: 1293000 | #Constraints: 65025
2208.70/2215.12 c #Conflicts: 1294000 | #Constraints: 66025
2208.70/2215.12 c #Conflicts: 1295000 | #Constraints: 67025
2208.70/2215.12 c #Conflicts: 1296000 | #Constraints: 68025
2208.70/2215.12 c #Conflicts: 1297000 | #Constraints: 69025
2208.70/2215.12 c #Conflicts: 1298000 | #Constraints: 70025
2208.70/2215.12 c #Conflicts: 1299000 | #Constraints: 71025
2208.70/2215.12 c #Conflicts: 1300000 | #Constraints: 72025
2208.70/2215.12 c #Conflicts: 1301000 | #Constraints: 73025
2208.70/2215.12 c #Conflicts: 1302000 | #Constraints: 74025
2208.70/2215.12 c INPROCESSING
2208.70/2215.12 c GARBAGE COLLECT
2208.70/2215.12 c rational objective 32.6667
2230.84/2237.37 c #Conflicts: 1303000 | #Constraints: 52435
2230.84/2237.37 c #Conflicts: 1304000 | #Constraints: 53435
2230.84/2237.37 c #Conflicts: 1305000 | #Constraints: 54435
2230.84/2237.37 c #Conflicts: 1306000 | #Constraints: 55435
2230.84/2237.37 c #Conflicts: 1307000 | #Constraints: 56435
2230.84/2237.37 c #Conflicts: 1308000 | #Constraints: 57435
2230.84/2237.37 c #Conflicts: 1309000 | #Constraints: 58435
2230.84/2237.37 c #Conflicts: 1310000 | #Constraints: 59435
2230.84/2237.37 c #Conflicts: 1311000 | #Constraints: 60435
2230.84/2237.37 c #Conflicts: 1312000 | #Constraints: 61435
2230.84/2237.37 c #Conflicts: 1313000 | #Constraints: 62435
2230.84/2237.37 c #Conflicts: 1314000 | #Constraints: 63435
2230.84/2237.37 c #Conflicts: 1315000 | #Constraints: 64435
2230.84/2237.37 c #Conflicts: 1316000 | #Constraints: 65435
2230.84/2237.37 c #Conflicts: 1317000 | #Constraints: 66435
2230.84/2237.37 c #Conflicts: 1318000 | #Constraints: 67435
2230.84/2237.37 c #Conflicts: 1319000 | #Constraints: 68435
2230.84/2237.37 c #Conflicts: 1320000 | #Constraints: 69435
2230.84/2237.37 c #Conflicts: 1321000 | #Constraints: 70435
2230.84/2237.37 c #Conflicts: 1322000 | #Constraints: 71435
2230.84/2237.37 c #Conflicts: 1323000 | #Constraints: 72435
2230.84/2237.37 c #Conflicts: 1324000 | #Constraints: 73435
2230.84/2237.37 c #Conflicts: 1325000 | #Constraints: 74435
2230.84/2237.37 c INPROCESSING
2230.84/2237.37 c GARBAGE COLLECT
2230.84/2237.37 c rational objective 32.6667
2252.69/2259.24 c #Conflicts: 1326000 | #Constraints: 52612
2252.69/2259.24 c #Conflicts: 1327000 | #Constraints: 53612
2252.69/2259.24 c #Conflicts: 1328000 | #Constraints: 54612
2252.69/2259.24 c #Conflicts: 1329000 | #Constraints: 55612
2252.69/2259.24 c #Conflicts: 1330000 | #Constraints: 56612
2252.69/2259.24 c #Conflicts: 1331000 | #Constraints: 57612
2252.69/2259.24 c #Conflicts: 1332000 | #Constraints: 58612
2252.69/2259.24 c #Conflicts: 1333000 | #Constraints: 59612
2252.69/2259.24 c #Conflicts: 1334000 | #Constraints: 60612
2252.69/2259.24 c #Conflicts: 1335000 | #Constraints: 61612
2252.69/2259.24 c #Conflicts: 1336000 | #Constraints: 62612
2252.69/2259.24 c #Conflicts: 1337000 | #Constraints: 63612
2252.69/2259.24 c #Conflicts: 1338000 | #Constraints: 64612
2252.69/2259.24 c #Conflicts: 1339000 | #Constraints: 65612
2252.69/2259.24 c #Conflicts: 1340000 | #Constraints: 66612
2252.69/2259.24 c #Conflicts: 1341000 | #Constraints: 67612
2252.69/2259.24 c #Conflicts: 1342000 | #Constraints: 68612
2252.69/2259.24 c #Conflicts: 1343000 | #Constraints: 69612
2252.69/2259.24 c #Conflicts: 1344000 | #Constraints: 70612
2252.69/2259.24 c #Conflicts: 1345000 | #Constraints: 71612
2252.69/2259.24 c #Conflicts: 1346000 | #Constraints: 72612
2252.69/2259.24 c #Conflicts: 1347000 | #Constraints: 73612
2252.69/2259.24 c #Conflicts: 1348000 | #Constraints: 74612
2252.69/2259.24 c INPROCESSING
2252.69/2259.24 c GARBAGE COLLECT
2252.69/2259.24 c rational objective 32.6667
2278.13/2284.75 c #Conflicts: 1349000 | #Constraints: 52616
2278.13/2284.75 c #Conflicts: 1350000 | #Constraints: 53616
2278.13/2284.75 c #Conflicts: 1351000 | #Constraints: 54616
2278.13/2284.75 c #Conflicts: 1352000 | #Constraints: 55616
2278.13/2284.75 c #Conflicts: 1353000 | #Constraints: 56616
2278.13/2284.75 c #Conflicts: 1354000 | #Constraints: 57616
2278.13/2284.75 c #Conflicts: 1355000 | #Constraints: 58616
2278.13/2284.75 c #Conflicts: 1356000 | #Constraints: 59616
2278.13/2284.75 c #Conflicts: 1357000 | #Constraints: 60616
2278.13/2284.75 c #Conflicts: 1358000 | #Constraints: 61616
2278.13/2284.75 c #Conflicts: 1359000 | #Constraints: 62616
2278.13/2284.75 c #Conflicts: 1360000 | #Constraints: 63616
2278.13/2284.75 c #Conflicts: 1361000 | #Constraints: 64616
2278.13/2284.75 c #Conflicts: 1362000 | #Constraints: 65616
2278.13/2284.75 c #Conflicts: 1363000 | #Constraints: 66616
2278.13/2284.75 c #Conflicts: 1364000 | #Constraints: 67616
2278.13/2284.75 c #Conflicts: 1365000 | #Constraints: 68616
2278.13/2284.75 c #Conflicts: 1366000 | #Constraints: 69616
2278.13/2284.75 c #Conflicts: 1367000 | #Constraints: 70616
2278.13/2284.75 c #Conflicts: 1368000 | #Constraints: 71616
2278.13/2284.75 c #Conflicts: 1369000 | #Constraints: 72616
2278.13/2284.75 c #Conflicts: 1370000 | #Constraints: 73616
2278.13/2284.75 c #Conflicts: 1371000 | #Constraints: 74616
2278.13/2284.75 c INPROCESSING
2278.13/2284.75 c GARBAGE COLLECT
2278.13/2284.75 c rational objective 32.6667
2304.57/2311.21 c #Conflicts: 1372000 | #Constraints: 52435
2304.57/2311.21 c #Conflicts: 1373000 | #Constraints: 53435
2304.57/2311.21 c #Conflicts: 1374000 | #Constraints: 54435
2304.57/2311.21 c #Conflicts: 1375000 | #Constraints: 55435
2304.57/2311.21 c #Conflicts: 1376000 | #Constraints: 56435
2304.57/2311.21 c #Conflicts: 1377000 | #Constraints: 57435
2304.57/2311.21 c #Conflicts: 1378000 | #Constraints: 58435
2304.57/2311.21 c #Conflicts: 1379000 | #Constraints: 59435
2304.57/2311.21 c #Conflicts: 1380000 | #Constraints: 60435
2304.57/2311.21 c #Conflicts: 1381000 | #Constraints: 61435
2304.57/2311.21 c #Conflicts: 1382000 | #Constraints: 62435
2304.57/2311.21 c #Conflicts: 1383000 | #Constraints: 63435
2304.57/2311.21 c #Conflicts: 1384000 | #Constraints: 64435
2304.57/2311.21 c #Conflicts: 1385000 | #Constraints: 65435
2304.57/2311.21 c #Conflicts: 1386000 | #Constraints: 66435
2304.57/2311.21 c #Conflicts: 1387000 | #Constraints: 67435
2304.57/2311.21 c #Conflicts: 1388000 | #Constraints: 68435
2304.57/2311.21 c #Conflicts: 1389000 | #Constraints: 69435
2304.57/2311.21 c #Conflicts: 1390000 | #Constraints: 70435
2304.57/2311.21 c #Conflicts: 1391000 | #Constraints: 71435
2304.57/2311.21 c #Conflicts: 1392000 | #Constraints: 72435
2304.57/2311.21 c #Conflicts: 1393000 | #Constraints: 73435
2304.57/2311.21 c #Conflicts: 1394000 | #Constraints: 74435
2304.57/2311.21 c #Conflicts: 1395000 | #Constraints: 75435
2304.57/2311.21 c INPROCESSING
2304.57/2311.21 c GARBAGE COLLECT
2304.57/2311.21 c rational objective 32.6667
2325.23/2331.91 c #Conflicts: 1396000 | #Constraints: 53025
2325.23/2331.91 c #Conflicts: 1397000 | #Constraints: 54025
2325.23/2331.91 c #Conflicts: 1398000 | #Constraints: 55025
2325.23/2331.91 c #Conflicts: 1399000 | #Constraints: 56025
2325.23/2331.91 c #Conflicts: 1400000 | #Constraints: 57025
2325.23/2331.91 c #Conflicts: 1401000 | #Constraints: 58025
2325.23/2331.91 c #Conflicts: 1402000 | #Constraints: 59025
2325.23/2331.91 c #Conflicts: 1403000 | #Constraints: 60025
2325.23/2331.91 c #Conflicts: 1404000 | #Constraints: 61025
2325.23/2331.91 c #Conflicts: 1405000 | #Constraints: 62025
2325.23/2331.91 c #Conflicts: 1406000 | #Constraints: 63025
2325.23/2331.91 c #Conflicts: 1407000 | #Constraints: 64025
2325.23/2331.91 c #Conflicts: 1408000 | #Constraints: 65025
2325.23/2331.91 c #Conflicts: 1409000 | #Constraints: 66025
2325.23/2331.91 c #Conflicts: 1410000 | #Constraints: 67025
2325.23/2331.91 c #Conflicts: 1411000 | #Constraints: 68025
2325.23/2331.91 c #Conflicts: 1412000 | #Constraints: 69025
2325.23/2331.91 c #Conflicts: 1413000 | #Constraints: 70025
2325.23/2331.91 c #Conflicts: 1414000 | #Constraints: 71025
2325.23/2331.91 c #Conflicts: 1415000 | #Constraints: 72025
2325.23/2331.91 c #Conflicts: 1416000 | #Constraints: 73025
2325.23/2331.91 c #Conflicts: 1417000 | #Constraints: 74025
2325.23/2331.91 c #Conflicts: 1418000 | #Constraints: 75025
2325.23/2331.91 c #Conflicts: 1419000 | #Constraints: 76025
2325.23/2331.91 c INPROCESSING
2325.23/2331.91 c GARBAGE COLLECT
2325.23/2331.91 c rational objective 32.6667
2352.07/2358.80 c #Conflicts: 1420000 | #Constraints: 53412
2352.07/2358.80 c #Conflicts: 1421000 | #Constraints: 54412
2352.07/2358.80 c #Conflicts: 1422000 | #Constraints: 55412
2352.07/2358.80 c #Conflicts: 1423000 | #Constraints: 56412
2352.07/2358.80 c #Conflicts: 1424000 | #Constraints: 57412
2352.07/2358.80 c #Conflicts: 1425000 | #Constraints: 58412
2352.07/2358.80 c #Conflicts: 1426000 | #Constraints: 59412
2352.07/2358.80 c #Conflicts: 1427000 | #Constraints: 60412
2352.07/2358.80 c #Conflicts: 1428000 | #Constraints: 61412
2352.07/2358.80 c #Conflicts: 1429000 | #Constraints: 62412
2352.07/2358.80 c #Conflicts: 1430000 | #Constraints: 63412
2352.07/2358.80 c #Conflicts: 1431000 | #Constraints: 64412
2352.07/2358.80 c #Conflicts: 1432000 | #Constraints: 65412
2352.07/2358.80 c #Conflicts: 1433000 | #Constraints: 66412
2352.07/2358.80 c #Conflicts: 1434000 | #Constraints: 67412
2352.07/2358.80 c #Conflicts: 1435000 | #Constraints: 68412
2352.07/2358.80 c #Conflicts: 1436000 | #Constraints: 69412
2352.07/2358.80 c #Conflicts: 1437000 | #Constraints: 70412
2352.07/2358.80 c #Conflicts: 1438000 | #Constraints: 71412
2352.07/2358.80 c #Conflicts: 1439000 | #Constraints: 72412
2352.07/2358.80 c #Conflicts: 1440000 | #Constraints: 73412
2352.07/2358.80 c #Conflicts: 1441000 | #Constraints: 74412
2352.07/2358.80 c #Conflicts: 1442000 | #Constraints: 75412
2352.07/2358.80 c #Conflicts: 1443000 | #Constraints: 76412
2352.07/2358.80 c INPROCESSING
2352.07/2358.80 c GARBAGE COLLECT
2352.07/2358.80 c rational objective 32.6667
2379.82/2386.66 c #Conflicts: 1444000 | #Constraints: 53614
2379.82/2386.66 c #Conflicts: 1445000 | #Constraints: 54614
2379.82/2386.66 c #Conflicts: 1446000 | #Constraints: 55614
2379.82/2386.66 c #Conflicts: 1447000 | #Constraints: 56614
2379.82/2386.66 c #Conflicts: 1448000 | #Constraints: 57614
2379.82/2386.66 c #Conflicts: 1449000 | #Constraints: 58614
2379.82/2386.66 c #Conflicts: 1450000 | #Constraints: 59614
2379.82/2386.66 c #Conflicts: 1451000 | #Constraints: 60614
2379.82/2386.66 c #Conflicts: 1452000 | #Constraints: 61614
2379.82/2386.66 c #Conflicts: 1453000 | #Constraints: 62614
2379.82/2386.66 c #Conflicts: 1454000 | #Constraints: 63614
2379.82/2386.66 c #Conflicts: 1455000 | #Constraints: 64614
2379.82/2386.66 c #Conflicts: 1456000 | #Constraints: 65614
2379.82/2386.66 c #Conflicts: 1457000 | #Constraints: 66614
2379.82/2386.66 c #Conflicts: 1458000 | #Constraints: 67614
2379.82/2386.66 c #Conflicts: 1459000 | #Constraints: 68614
2379.82/2386.66 c #Conflicts: 1460000 | #Constraints: 69614
2379.82/2386.66 c #Conflicts: 1461000 | #Constraints: 70614
2379.82/2386.66 c #Conflicts: 1462000 | #Constraints: 71614
2379.82/2386.66 c #Conflicts: 1463000 | #Constraints: 72614
2379.82/2386.66 c #Conflicts: 1464000 | #Constraints: 73614
2379.82/2386.66 c #Conflicts: 1465000 | #Constraints: 74614
2379.82/2386.66 c #Conflicts: 1466000 | #Constraints: 75614
2379.82/2386.66 c #Conflicts: 1467000 | #Constraints: 76614
2379.82/2386.66 c INPROCESSING
2379.82/2386.66 c GARBAGE COLLECT
2379.82/2386.66 c rational objective 32.6667
2410.25/2417.14 c #Conflicts: 1468000 | #Constraints: 53623
2410.25/2417.14 c #Conflicts: 1469000 | #Constraints: 54623
2410.25/2417.14 c #Conflicts: 1470000 | #Constraints: 55623
2410.25/2417.14 c #Conflicts: 1471000 | #Constraints: 56623
2410.25/2417.14 c #Conflicts: 1472000 | #Constraints: 57623
2410.25/2417.14 c #Conflicts: 1473000 | #Constraints: 58623
2410.25/2417.14 c #Conflicts: 1474000 | #Constraints: 59623
2410.25/2417.14 c #Conflicts: 1475000 | #Constraints: 60623
2410.25/2417.14 c #Conflicts: 1476000 | #Constraints: 61623
2410.25/2417.14 c #Conflicts: 1477000 | #Constraints: 62623
2410.25/2417.14 c #Conflicts: 1478000 | #Constraints: 63623
2410.25/2417.14 c #Conflicts: 1479000 | #Constraints: 64623
2410.25/2417.14 c #Conflicts: 1480000 | #Constraints: 65623
2410.25/2417.14 c #Conflicts: 1481000 | #Constraints: 66623
2410.25/2417.14 c #Conflicts: 1482000 | #Constraints: 67623
2410.25/2417.14 c #Conflicts: 1483000 | #Constraints: 68623
2410.25/2417.14 c #Conflicts: 1484000 | #Constraints: 69623
2410.25/2417.14 c #Conflicts: 1485000 | #Constraints: 70623
2410.25/2417.14 c #Conflicts: 1486000 | #Constraints: 71623
2410.25/2417.14 c #Conflicts: 1487000 | #Constraints: 72623
2410.25/2417.14 c #Conflicts: 1488000 | #Constraints: 73623
2410.25/2417.14 c #Conflicts: 1489000 | #Constraints: 74623
2410.25/2417.14 c #Conflicts: 1490000 | #Constraints: 75623
2410.25/2417.14 c #Conflicts: 1491000 | #Constraints: 76623
2410.25/2417.14 c INPROCESSING
2410.25/2417.14 c GARBAGE COLLECT
2410.25/2417.14 c rational objective 32.6667
2434.39/2441.39 c #Conflicts: 1492000 | #Constraints: 53405
2434.39/2441.39 c #Conflicts: 1493000 | #Constraints: 54405
2434.39/2441.39 c #Conflicts: 1494000 | #Constraints: 55405
2434.39/2441.39 c #Conflicts: 1495000 | #Constraints: 56405
2434.39/2441.39 c #Conflicts: 1496000 | #Constraints: 57405
2434.39/2441.39 c #Conflicts: 1497000 | #Constraints: 58405
2434.39/2441.39 c #Conflicts: 1498000 | #Constraints: 59405
2434.39/2441.39 c #Conflicts: 1499000 | #Constraints: 60405
2434.39/2441.39 c #Conflicts: 1500000 | #Constraints: 61405
2434.39/2441.39 c #Conflicts: 1501000 | #Constraints: 62405
2434.39/2441.39 c #Conflicts: 1502000 | #Constraints: 63405
2434.39/2441.39 c #Conflicts: 1503000 | #Constraints: 64405
2434.39/2441.39 c #Conflicts: 1504000 | #Constraints: 65405
2434.39/2441.39 c #Conflicts: 1505000 | #Constraints: 66405
2434.39/2441.39 c #Conflicts: 1506000 | #Constraints: 67405
2434.39/2441.39 c #Conflicts: 1507000 | #Constraints: 68405
2434.39/2441.39 c #Conflicts: 1508000 | #Constraints: 69405
2434.39/2441.39 c #Conflicts: 1509000 | #Constraints: 70405
2434.39/2441.39 c #Conflicts: 1510000 | #Constraints: 71405
2434.39/2441.39 c #Conflicts: 1511000 | #Constraints: 72405
2434.39/2441.39 c #Conflicts: 1512000 | #Constraints: 73405
2434.39/2441.39 c #Conflicts: 1513000 | #Constraints: 74405
2434.39/2441.39 c #Conflicts: 1514000 | #Constraints: 75405
2434.39/2441.39 c #Conflicts: 1515000 | #Constraints: 76405
2434.39/2441.39 c #Conflicts: 1516000 | #Constraints: 77405
2434.39/2441.39 c INPROCESSING
2434.39/2441.39 c GARBAGE COLLECT
2434.39/2441.39 c rational objective 32.6667
2457.54/2464.57 c #Conflicts: 1517000 | #Constraints: 54009
2457.54/2464.57 c #Conflicts: 1518000 | #Constraints: 55009
2457.54/2464.57 c #Conflicts: 1519000 | #Constraints: 56009
2457.54/2464.57 c #Conflicts: 1520000 | #Constraints: 57009
2457.54/2464.57 c #Conflicts: 1521000 | #Constraints: 58009
2457.54/2464.57 c #Conflicts: 1522000 | #Constraints: 59009
2457.54/2464.57 c #Conflicts: 1523000 | #Constraints: 60009
2457.54/2464.57 c #Conflicts: 1524000 | #Constraints: 61009
2457.54/2464.57 c #Conflicts: 1525000 | #Constraints: 62009
2457.54/2464.57 c #Conflicts: 1526000 | #Constraints: 63009
2457.54/2464.57 c #Conflicts: 1527000 | #Constraints: 64009
2457.54/2464.57 c #Conflicts: 1528000 | #Constraints: 65009
2457.54/2464.57 c #Conflicts: 1529000 | #Constraints: 66009
2457.54/2464.57 c #Conflicts: 1530000 | #Constraints: 67009
2457.54/2464.57 c #Conflicts: 1531000 | #Constraints: 68009
2457.54/2464.57 c #Conflicts: 1532000 | #Constraints: 69009
2457.54/2464.57 c #Conflicts: 1533000 | #Constraints: 70009
2457.54/2464.57 c #Conflicts: 1534000 | #Constraints: 71009
2457.54/2464.57 c #Conflicts: 1535000 | #Constraints: 72009
2457.54/2464.57 c #Conflicts: 1536000 | #Constraints: 73009
2457.54/2464.57 c #Conflicts: 1537000 | #Constraints: 74009
2457.54/2464.57 c #Conflicts: 1538000 | #Constraints: 75009
2457.54/2464.57 c #Conflicts: 1539000 | #Constraints: 76009
2457.54/2464.57 c #Conflicts: 1540000 | #Constraints: 77009
2457.54/2464.57 c #Conflicts: 1541000 | #Constraints: 78009
2457.54/2464.57 c INPROCESSING
2457.54/2464.57 c GARBAGE COLLECT
2457.54/2464.57 c rational objective 32.6667
2483.98/2491.07 c #Conflicts: 1542000 | #Constraints: 54419
2483.98/2491.07 c #Conflicts: 1543000 | #Constraints: 55419
2483.98/2491.07 c #Conflicts: 1544000 | #Constraints: 56419
2483.98/2491.07 c #Conflicts: 1545000 | #Constraints: 57419
2483.98/2491.07 c #Conflicts: 1546000 | #Constraints: 58419
2483.98/2491.07 c #Conflicts: 1547000 | #Constraints: 59419
2483.98/2491.07 c #Conflicts: 1548000 | #Constraints: 60419
2483.98/2491.07 c #Conflicts: 1549000 | #Constraints: 61419
2483.98/2491.07 c #Conflicts: 1550000 | #Constraints: 62419
2483.98/2491.07 c #Conflicts: 1551000 | #Constraints: 63419
2483.98/2491.07 c #Conflicts: 1552000 | #Constraints: 64419
2483.98/2491.07 c #Conflicts: 1553000 | #Constraints: 65419
2483.98/2491.07 c #Conflicts: 1554000 | #Constraints: 66419
2483.98/2491.07 c #Conflicts: 1555000 | #Constraints: 67419
2483.98/2491.07 c #Conflicts: 1556000 | #Constraints: 68419
2483.98/2491.07 c #Conflicts: 1557000 | #Constraints: 69419
2483.98/2491.07 c #Conflicts: 1558000 | #Constraints: 70419
2483.98/2491.07 c #Conflicts: 1559000 | #Constraints: 71419
2483.98/2491.07 c #Conflicts: 1560000 | #Constraints: 72419
2483.98/2491.07 c #Conflicts: 1561000 | #Constraints: 73419
2483.98/2491.07 c #Conflicts: 1562000 | #Constraints: 74419
2483.98/2491.07 c #Conflicts: 1563000 | #Constraints: 75419
2483.98/2491.07 c #Conflicts: 1564000 | #Constraints: 76419
2483.98/2491.07 c #Conflicts: 1565000 | #Constraints: 77419
2483.98/2491.07 c #Conflicts: 1566000 | #Constraints: 78419
2483.98/2491.07 c INPROCESSING
2483.98/2491.07 c GARBAGE COLLECT
2483.98/2491.07 c rational objective 32.6667
2505.43/2512.51 c #Conflicts: 1567000 | #Constraints: 54621
2505.43/2512.51 c #Conflicts: 1568000 | #Constraints: 55621
2505.43/2512.51 c #Conflicts: 1569000 | #Constraints: 56621
2505.43/2512.51 c #Conflicts: 1570000 | #Constraints: 57621
2505.43/2512.51 c #Conflicts: 1571000 | #Constraints: 58621
2505.43/2512.51 c #Conflicts: 1572000 | #Constraints: 59621
2505.43/2512.51 c #Conflicts: 1573000 | #Constraints: 60621
2505.43/2512.51 c #Conflicts: 1574000 | #Constraints: 61621
2505.43/2512.51 c #Conflicts: 1575000 | #Constraints: 62621
2505.43/2512.51 c #Conflicts: 1576000 | #Constraints: 63621
2505.43/2512.51 c #Conflicts: 1577000 | #Constraints: 64621
2505.43/2512.51 c #Conflicts: 1578000 | #Constraints: 65621
2505.43/2512.51 c #Conflicts: 1579000 | #Constraints: 66621
2505.43/2512.51 c #Conflicts: 1580000 | #Constraints: 67621
2505.43/2512.51 c #Conflicts: 1581000 | #Constraints: 68621
2505.43/2512.51 c #Conflicts: 1582000 | #Constraints: 69621
2505.43/2512.51 c #Conflicts: 1583000 | #Constraints: 70621
2505.43/2512.51 c #Conflicts: 1584000 | #Constraints: 71621
2505.43/2512.51 c #Conflicts: 1585000 | #Constraints: 72621
2505.43/2512.51 c #Conflicts: 1586000 | #Constraints: 73621
2505.43/2512.51 c #Conflicts: 1587000 | #Constraints: 74621
2505.43/2512.51 c #Conflicts: 1588000 | #Constraints: 75621
2505.43/2512.51 c #Conflicts: 1589000 | #Constraints: 76621
2505.43/2512.51 c #Conflicts: 1590000 | #Constraints: 77621
2505.43/2512.51 c #Conflicts: 1591000 | #Constraints: 78621
2505.43/2512.51 c INPROCESSING
2505.43/2512.51 c GARBAGE COLLECT
2505.43/2512.51 c rational objective 32.6667
2534.87/2542.03 c #Conflicts: 1592000 | #Constraints: 54623
2534.87/2542.03 c #Conflicts: 1593000 | #Constraints: 55623
2534.87/2542.03 c #Conflicts: 1594000 | #Constraints: 56623
2534.87/2542.03 c #Conflicts: 1595000 | #Constraints: 57623
2534.87/2542.03 c #Conflicts: 1596000 | #Constraints: 58623
2534.87/2542.03 c #Conflicts: 1597000 | #Constraints: 59623
2534.87/2542.03 c #Conflicts: 1598000 | #Constraints: 60623
2534.87/2542.03 c #Conflicts: 1599000 | #Constraints: 61623
2534.87/2542.03 c #Conflicts: 1600000 | #Constraints: 62623
2534.87/2542.03 c #Conflicts: 1601000 | #Constraints: 63623
2534.87/2542.03 c #Conflicts: 1602000 | #Constraints: 64623
2534.87/2542.03 c #Conflicts: 1603000 | #Constraints: 65623
2534.87/2542.03 c #Conflicts: 1604000 | #Constraints: 66623
2534.87/2542.03 c #Conflicts: 1605000 | #Constraints: 67623
2534.87/2542.03 c #Conflicts: 1606000 | #Constraints: 68623
2534.87/2542.03 c #Conflicts: 1607000 | #Constraints: 69623
2534.87/2542.03 c #Conflicts: 1608000 | #Constraints: 70623
2534.87/2542.03 c #Conflicts: 1609000 | #Constraints: 71623
2534.87/2542.03 c #Conflicts: 1610000 | #Constraints: 72623
2534.87/2542.03 c #Conflicts: 1611000 | #Constraints: 73623
2534.87/2542.03 c #Conflicts: 1612000 | #Constraints: 74623
2534.87/2542.03 c #Conflicts: 1613000 | #Constraints: 75623
2534.87/2542.03 c #Conflicts: 1614000 | #Constraints: 76623
2534.87/2542.03 c #Conflicts: 1615000 | #Constraints: 77623
2534.87/2542.03 c #Conflicts: 1616000 | #Constraints: 78623
2534.87/2542.03 c INPROCESSING
2534.87/2542.03 c GARBAGE COLLECT
2534.87/2542.03 c rational objective 32.6667
2572.58/2579.85 c #Conflicts: 1617000 | #Constraints: 54430
2572.58/2579.85 c #Conflicts: 1618000 | #Constraints: 55430
2572.58/2579.85 c #Conflicts: 1619000 | #Constraints: 56430
2572.58/2579.85 c #Conflicts: 1620000 | #Constraints: 57430
2572.58/2579.85 c #Conflicts: 1621000 | #Constraints: 58430
2572.58/2579.85 c #Conflicts: 1622000 | #Constraints: 59430
2572.58/2579.85 c #Conflicts: 1623000 | #Constraints: 60430
2572.58/2579.85 c #Conflicts: 1624000 | #Constraints: 61430
2572.58/2579.85 c #Conflicts: 1625000 | #Constraints: 62430
2572.58/2579.85 c #Conflicts: 1626000 | #Constraints: 63430
2572.58/2579.85 c #Conflicts: 1627000 | #Constraints: 64430
2572.58/2579.85 c #Conflicts: 1628000 | #Constraints: 65430
2572.58/2579.85 c #Conflicts: 1629000 | #Constraints: 66430
2572.58/2579.85 c #Conflicts: 1630000 | #Constraints: 67430
2572.58/2579.85 c #Conflicts: 1631000 | #Constraints: 68430
2572.58/2579.85 c #Conflicts: 1632000 | #Constraints: 69430
2572.58/2579.85 c #Conflicts: 1633000 | #Constraints: 70430
2572.58/2579.85 c #Conflicts: 1634000 | #Constraints: 71430
2572.58/2579.85 c #Conflicts: 1635000 | #Constraints: 72430
2572.58/2579.85 c #Conflicts: 1636000 | #Constraints: 73430
2572.58/2579.85 c #Conflicts: 1637000 | #Constraints: 74430
2572.58/2579.85 c #Conflicts: 1638000 | #Constraints: 75430
2572.58/2579.85 c #Conflicts: 1639000 | #Constraints: 76430
2572.58/2579.85 c #Conflicts: 1640000 | #Constraints: 77430
2572.58/2579.85 c #Conflicts: 1641000 | #Constraints: 78430
2572.58/2579.85 c #Conflicts: 1642000 | #Constraints: 79430
2572.58/2579.85 c INPROCESSING
2572.58/2579.85 c GARBAGE COLLECT
2572.58/2579.85 c rational objective 32.6667
2618.88/2626.22 c #Conflicts: 1643000 | #Constraints: 55021
2618.88/2626.22 c #Conflicts: 1644000 | #Constraints: 56021
2618.88/2626.22 c #Conflicts: 1645000 | #Constraints: 57021
2618.88/2626.22 c #Conflicts: 1646000 | #Constraints: 58021
2618.88/2626.22 c #Conflicts: 1647000 | #Constraints: 59021
2618.88/2626.22 c #Conflicts: 1648000 | #Constraints: 60021
2618.88/2626.22 c #Conflicts: 1649000 | #Constraints: 61021
2618.88/2626.22 c #Conflicts: 1650000 | #Constraints: 62021
2618.88/2626.22 c #Conflicts: 1651000 | #Constraints: 63021
2618.88/2626.22 c #Conflicts: 1652000 | #Constraints: 64021
2618.88/2626.22 c #Conflicts: 1653000 | #Constraints: 65021
2618.88/2626.22 c #Conflicts: 1654000 | #Constraints: 66021
2618.88/2626.22 c #Conflicts: 1655000 | #Constraints: 67021
2618.88/2626.22 c #Conflicts: 1656000 | #Constraints: 68021
2618.88/2626.22 c #Conflicts: 1657000 | #Constraints: 69021
2618.88/2626.22 c #Conflicts: 1658000 | #Constraints: 70021
2618.88/2626.22 c #Conflicts: 1659000 | #Constraints: 71021
2618.88/2626.22 c #Conflicts: 1660000 | #Constraints: 72021
2618.88/2626.22 c #Conflicts: 1661000 | #Constraints: 73021
2618.88/2626.22 c #Conflicts: 1662000 | #Constraints: 74021
2618.88/2626.22 c #Conflicts: 1663000 | #Constraints: 75021
2618.88/2626.22 c #Conflicts: 1664000 | #Constraints: 76022
2618.88/2626.22 c #Conflicts: 1665000 | #Constraints: 77022
2618.88/2626.22 c #Conflicts: 1666000 | #Constraints: 78022
2618.88/2626.22 c #Conflicts: 1667000 | #Constraints: 79022
2618.88/2626.22 c #Conflicts: 1668000 | #Constraints: 80022
2618.88/2626.22 c INPROCESSING
2618.88/2626.22 c GARBAGE COLLECT
2618.88/2626.22 c rational objective 32.6667
2723.55/2731.18 c #Conflicts: 1669000 | #Constraints: 55421
2723.55/2731.18 c #Conflicts: 1670000 | #Constraints: 56421
2723.55/2731.18 c #Conflicts: 1671000 | #Constraints: 57421
2723.55/2731.18 c #Conflicts: 1672000 | #Constraints: 58421
2723.55/2731.18 c #Conflicts: 1673000 | #Constraints: 59421
2723.55/2731.18 c #Conflicts: 1674000 | #Constraints: 60421
2723.55/2731.18 c #Conflicts: 1675000 | #Constraints: 61421
2723.55/2731.18 c #Conflicts: 1676000 | #Constraints: 62421
2723.55/2731.18 c #Conflicts: 1677000 | #Constraints: 63421
2723.55/2731.18 c #Conflicts: 1678000 | #Constraints: 64421
2723.55/2731.18 c #Conflicts: 1679000 | #Constraints: 65421
2723.55/2731.18 c #Conflicts: 1680000 | #Constraints: 66421
2723.55/2731.18 c #Conflicts: 1681000 | #Constraints: 67421
2723.55/2731.18 c #Conflicts: 1682000 | #Constraints: 68421
2723.55/2731.18 c #Conflicts: 1683000 | #Constraints: 69421
2723.55/2731.18 c #Conflicts: 1684000 | #Constraints: 70421
2723.55/2731.18 c #Conflicts: 1685000 | #Constraints: 71421
2723.55/2731.18 c #Conflicts: 1686000 | #Constraints: 72421
2723.55/2731.18 c #Conflicts: 1687000 | #Constraints: 73421
2723.55/2731.18 c #Conflicts: 1688000 | #Constraints: 74421
2723.55/2731.18 c #Conflicts: 1689000 | #Constraints: 75421
2723.55/2731.18 c #Conflicts: 1690000 | #Constraints: 76421
2723.55/2731.18 c #Conflicts: 1691000 | #Constraints: 77421
2723.55/2731.18 c #Conflicts: 1692000 | #Constraints: 78421
2723.55/2731.18 c #Conflicts: 1693000 | #Constraints: 79421
2723.55/2731.18 c #Conflicts: 1694000 | #Constraints: 80421
2723.55/2731.18 c INPROCESSING
2723.55/2731.18 c GARBAGE COLLECT
2723.55/2731.18 c rational objective 32.6667
2779.62/2787.39 c #Conflicts: 1695000 | #Constraints: 55630
2779.62/2787.39 c #Conflicts: 1696000 | #Constraints: 56630
2779.62/2787.39 c #Conflicts: 1697000 | #Constraints: 57630
2779.62/2787.39 c #Conflicts: 1698000 | #Constraints: 58630
2779.62/2787.39 c #Conflicts: 1699000 | #Constraints: 59630
2779.62/2787.39 c #Conflicts: 1700000 | #Constraints: 60630
2779.62/2787.39 c #Conflicts: 1701000 | #Constraints: 61630
2779.62/2787.39 c #Conflicts: 1702000 | #Constraints: 62630
2779.62/2787.39 c #Conflicts: 1703000 | #Constraints: 63630
2779.62/2787.39 c #Conflicts: 1704000 | #Constraints: 64630
2779.62/2787.39 c #Conflicts: 1705000 | #Constraints: 65630
2779.62/2787.39 c #Conflicts: 1706000 | #Constraints: 66630
2779.62/2787.39 c #Conflicts: 1707000 | #Constraints: 67630
2779.62/2787.39 c #Conflicts: 1708000 | #Constraints: 68630
2779.62/2787.39 c #Conflicts: 1709000 | #Constraints: 69630
2779.62/2787.39 c #Conflicts: 1710000 | #Constraints: 70630
2779.62/2787.39 c #Conflicts: 1711000 | #Constraints: 71630
2779.62/2787.39 c #Conflicts: 1712000 | #Constraints: 72630
2779.62/2787.39 c #Conflicts: 1713000 | #Constraints: 73630
2779.62/2787.39 c #Conflicts: 1714000 | #Constraints: 74630
2779.62/2787.39 c #Conflicts: 1715000 | #Constraints: 75630
2779.62/2787.39 c #Conflicts: 1716000 | #Constraints: 76630
2779.62/2787.39 c #Conflicts: 1717000 | #Constraints: 77630
2779.62/2787.39 c #Conflicts: 1718000 | #Constraints: 78630
2779.62/2787.39 c #Conflicts: 1719000 | #Constraints: 79630
2779.62/2787.39 c #Conflicts: 1720000 | #Constraints: 80630
2779.62/2787.39 c INPROCESSING
2779.62/2787.39 c GARBAGE COLLECT
2779.62/2787.39 c rational objective 32.6667
2890.47/2898.45 c #Conflicts: 1721000 | #Constraints: 55628
2890.47/2898.45 c #Conflicts: 1722000 | #Constraints: 56628
2890.47/2898.45 c #Conflicts: 1723000 | #Constraints: 57628
2890.47/2898.45 c #Conflicts: 1724000 | #Constraints: 58628
2890.47/2898.45 c #Conflicts: 1725000 | #Constraints: 59628
2890.47/2898.45 c #Conflicts: 1726000 | #Constraints: 60628
2890.47/2898.45 c #Conflicts: 1727000 | #Constraints: 61628
2890.47/2898.45 c #Conflicts: 1728000 | #Constraints: 62628
2890.47/2898.45 c #Conflicts: 1729000 | #Constraints: 63628
2890.47/2898.45 c #Conflicts: 1730000 | #Constraints: 64628
2890.47/2898.45 c #Conflicts: 1731000 | #Constraints: 65628
2890.47/2898.45 c #Conflicts: 1732000 | #Constraints: 66628
2890.47/2898.45 c #Conflicts: 1733000 | #Constraints: 67628
2890.47/2898.45 c #Conflicts: 1734000 | #Constraints: 68628
2890.47/2898.45 c #Conflicts: 1735000 | #Constraints: 69628
2890.47/2898.45 c #Conflicts: 1736000 | #Constraints: 70628
2890.47/2898.45 c #Conflicts: 1737000 | #Constraints: 71628
2890.47/2898.45 c #Conflicts: 1738000 | #Constraints: 72628
2890.47/2898.45 c #Conflicts: 1739000 | #Constraints: 73628
2890.47/2898.45 c #Conflicts: 1740000 | #Constraints: 74628
2890.47/2898.45 c #Conflicts: 1741000 | #Constraints: 75628
2890.47/2898.45 c #Conflicts: 1742000 | #Constraints: 76628
2890.47/2898.45 c #Conflicts: 1743000 | #Constraints: 77628
2890.47/2898.45 c #Conflicts: 1744000 | #Constraints: 78628
2890.47/2898.45 c #Conflicts: 1745000 | #Constraints: 79628
2890.47/2898.45 c #Conflicts: 1746000 | #Constraints: 80628
2890.47/2898.45 c INPROCESSING
2890.47/2898.45 c GARBAGE COLLECT
2890.47/2898.45 c rational objective 32.6667
2891.77/2899.76 c #Conflicts: 1747000 | #Constraints: 55433
2891.77/2899.76 c #Conflicts: 1748000 | #Constraints: 56433
2891.77/2899.76 c #Conflicts: 1749000 | #Constraints: 57433
2891.77/2899.76 c #Conflicts: 1750000 | #Constraints: 58433
2891.77/2899.76 c #Conflicts: 1751000 | #Constraints: 59433
2891.77/2899.76 c #Conflicts: 1752000 | #Constraints: 60433
2891.77/2899.76 c GLOBAL bounds - >= 0 @ 2873.85
2891.77/2899.77 c GLOBAL bounds - >= 0 @ 2873.85
2926.49/2934.59 c #Conflicts: 1753000 | #Constraints: 61434
2926.49/2934.59 c #Conflicts: 1754000 | #Constraints: 62434
2926.49/2934.59 c #Conflicts: 1755000 | #Constraints: 63434
2926.49/2934.59 c #Conflicts: 1756000 | #Constraints: 64434
2926.49/2934.59 c #Conflicts: 1757000 | #Constraints: 65434
2926.49/2934.59 c #Conflicts: 1758000 | #Constraints: 66434
2926.49/2934.59 c #Conflicts: 1759000 | #Constraints: 67434
2926.49/2934.59 c #Conflicts: 1760000 | #Constraints: 68434
2926.49/2934.59 c #Conflicts: 1761000 | #Constraints: 69434
2926.49/2934.59 c #Conflicts: 1762000 | #Constraints: 70434
2926.49/2934.59 c #Conflicts: 1763000 | #Constraints: 71434
2926.49/2934.59 c #Conflicts: 1764000 | #Constraints: 72434
2926.49/2934.59 c #Conflicts: 1765000 | #Constraints: 73434
2926.49/2934.59 c #Conflicts: 1766000 | #Constraints: 74435
2926.49/2934.59 c #Conflicts: 1767000 | #Constraints: 75435
2926.49/2934.59 c #Conflicts: 1768000 | #Constraints: 76435
2926.49/2934.59 c #Conflicts: 1769000 | #Constraints: 77435
2926.49/2934.59 c #Conflicts: 1770000 | #Constraints: 78435
2926.49/2934.59 c #Conflicts: 1771000 | #Constraints: 79435
2926.49/2934.59 c #Conflicts: 1772000 | #Constraints: 80435
2926.49/2934.59 c #Conflicts: 1773000 | #Constraints: 81435
2926.49/2934.59 c INPROCESSING
2926.49/2934.59 c GARBAGE COLLECT
2926.49/2934.59 WSVECS04 Frhs2[7578]: 6 -20.0001 0 shouldn't be
2931.88/2939.90 c rational objective 32.6667
3052.02/3060.35 c #Conflicts: 1774000 | #Constraints: 56024
3052.02/3060.35 c #Conflicts: 1775000 | #Constraints: 57024
3052.02/3060.35 c #Conflicts: 1776000 | #Constraints: 58024
3052.02/3060.35 c #Conflicts: 1777000 | #Constraints: 59024
3052.02/3060.35 c #Conflicts: 1778000 | #Constraints: 60024
3052.02/3060.35 c #Conflicts: 1779000 | #Constraints: 61024
3052.02/3060.35 c #Conflicts: 1780000 | #Constraints: 62024
3052.02/3060.35 c #Conflicts: 1781000 | #Constraints: 63024
3052.02/3060.35 c #Conflicts: 1782000 | #Constraints: 64024
3052.02/3060.35 c #Conflicts: 1783000 | #Constraints: 65024
3052.02/3060.35 c #Conflicts: 1784000 | #Constraints: 66024
3052.02/3060.35 c #Conflicts: 1785000 | #Constraints: 67024
3052.02/3060.35 c #Conflicts: 1786000 | #Constraints: 68024
3052.02/3060.35 c #Conflicts: 1787000 | #Constraints: 69024
3052.02/3060.35 c #Conflicts: 1788000 | #Constraints: 70024
3052.02/3060.35 c #Conflicts: 1789000 | #Constraints: 71024
3052.02/3060.35 c #Conflicts: 1790000 | #Constraints: 72024
3052.02/3060.35 c #Conflicts: 1791000 | #Constraints: 73024
3052.02/3060.35 c #Conflicts: 1792000 | #Constraints: 74024
3052.02/3060.35 c #Conflicts: 1793000 | #Constraints: 75024
3052.02/3060.35 c #Conflicts: 1794000 | #Constraints: 76024
3052.02/3060.35 c #Conflicts: 1795000 | #Constraints: 77024
3052.02/3060.35 c #Conflicts: 1796000 | #Constraints: 78024
3052.02/3060.35 c #Conflicts: 1797000 | #Constraints: 79024
3052.02/3060.35 c #Conflicts: 1798000 | #Constraints: 80024
3052.02/3060.35 c #Conflicts: 1799000 | #Constraints: 81024
3052.02/3060.35 c #Conflicts: 1800000 | #Constraints: 82024
3052.02/3060.35 c INPROCESSING
3052.02/3060.35 c GARBAGE COLLECT
3052.02/3060.35 c rational objective 32.6667
3085.64/3094.04 c #Conflicts: 1801000 | #Constraints: 56424
3085.64/3094.04 c #Conflicts: 1802000 | #Constraints: 57424
3085.64/3094.04 c #Conflicts: 1803000 | #Constraints: 58424
3085.64/3094.04 c #Conflicts: 1804000 | #Constraints: 59424
3085.64/3094.04 c #Conflicts: 1805000 | #Constraints: 60424
3085.64/3094.04 c #Conflicts: 1806000 | #Constraints: 61424
3085.64/3094.04 c #Conflicts: 1807000 | #Constraints: 62424
3085.64/3094.04 c #Conflicts: 1808000 | #Constraints: 63424
3085.64/3094.04 c #Conflicts: 1809000 | #Constraints: 64424
3085.64/3094.04 c #Conflicts: 1810000 | #Constraints: 65424
3085.64/3094.04 c #Conflicts: 1811000 | #Constraints: 66424
3085.64/3094.04 c #Conflicts: 1812000 | #Constraints: 67424
3085.64/3094.04 c #Conflicts: 1813000 | #Constraints: 68424
3085.64/3094.04 c #Conflicts: 1814000 | #Constraints: 69424
3085.64/3094.04 c #Conflicts: 1815000 | #Constraints: 70424
3085.64/3094.04 c #Conflicts: 1816000 | #Constraints: 71424
3085.64/3094.04 c #Conflicts: 1817000 | #Constraints: 72424
3085.64/3094.04 c #Conflicts: 1818000 | #Constraints: 73424
3085.64/3094.04 c #Conflicts: 1819000 | #Constraints: 74424
3085.64/3094.04 c #Conflicts: 1820000 | #Constraints: 75424
3085.64/3094.04 c #Conflicts: 1821000 | #Constraints: 76424
3085.64/3094.04 c #Conflicts: 1822000 | #Constraints: 77424
3085.64/3094.04 c #Conflicts: 1823000 | #Constraints: 78424
3085.64/3094.04 c #Conflicts: 1824000 | #Constraints: 79424
3085.64/3094.04 c #Conflicts: 1825000 | #Constraints: 80424
3085.64/3094.04 c #Conflicts: 1826000 | #Constraints: 81424
3085.64/3094.04 c #Conflicts: 1827000 | #Constraints: 82424
3085.64/3094.04 c INPROCESSING
3085.64/3094.04 c GARBAGE COLLECT
3085.64/3094.04 c rational objective 32.6667
3107.39/3115.85 c #Conflicts: 1828000 | #Constraints: 56616
3107.39/3115.85 c #Conflicts: 1829000 | #Constraints: 57616
3107.39/3115.85 c #Conflicts: 1830000 | #Constraints: 58616
3107.39/3115.85 c #Conflicts: 1831000 | #Constraints: 59616
3107.39/3115.85 c #Conflicts: 1832000 | #Constraints: 60616
3107.39/3115.85 c #Conflicts: 1833000 | #Constraints: 61616
3107.39/3115.85 c #Conflicts: 1834000 | #Constraints: 62616
3107.39/3115.85 c #Conflicts: 1835000 | #Constraints: 63616
3107.39/3115.85 c #Conflicts: 1836000 | #Constraints: 64616
3107.39/3115.85 c #Conflicts: 1837000 | #Constraints: 65616
3107.39/3115.85 c #Conflicts: 1838000 | #Constraints: 66616
3107.39/3115.85 c #Conflicts: 1839000 | #Constraints: 67616
3107.39/3115.85 c #Conflicts: 1840000 | #Constraints: 68616
3107.39/3115.85 c #Conflicts: 1841000 | #Constraints: 69616
3107.39/3115.85 c #Conflicts: 1842000 | #Constraints: 70616
3107.39/3115.85 c #Conflicts: 1843000 | #Constraints: 71616
3107.39/3115.85 c #Conflicts: 1844000 | #Constraints: 72616
3107.39/3115.85 c #Conflicts: 1845000 | #Constraints: 73616
3107.39/3115.85 c #Conflicts: 1846000 | #Constraints: 74616
3107.39/3115.85 c #Conflicts: 1847000 | #Constraints: 75616
3107.39/3115.85 c #Conflicts: 1848000 | #Constraints: 76616
3107.39/3115.85 c #Conflicts: 1849000 | #Constraints: 77616
3107.39/3115.85 c #Conflicts: 1850000 | #Constraints: 78616
3107.39/3115.85 c #Conflicts: 1851000 | #Constraints: 79616
3107.39/3115.85 c #Conflicts: 1852000 | #Constraints: 80616
3107.39/3115.85 c #Conflicts: 1853000 | #Constraints: 81616
3107.39/3115.85 c #Conflicts: 1854000 | #Constraints: 82616
3107.39/3115.85 c INPROCESSING
3107.39/3115.85 c GARBAGE COLLECT
3107.39/3115.85 c rational objective 32.6667
3133.03/3141.51 c #Conflicts: 1855000 | #Constraints: 56621
3133.03/3141.51 c #Conflicts: 1856000 | #Constraints: 57621
3133.03/3141.51 c #Conflicts: 1857000 | #Constraints: 58621
3133.03/3141.51 c #Conflicts: 1858000 | #Constraints: 59621
3133.03/3141.51 c #Conflicts: 1859000 | #Constraints: 60621
3133.03/3141.51 c #Conflicts: 1860000 | #Constraints: 61621
3133.03/3141.51 c #Conflicts: 1861000 | #Constraints: 62621
3133.03/3141.51 c #Conflicts: 1862000 | #Constraints: 63621
3133.03/3141.51 c #Conflicts: 1863000 | #Constraints: 64621
3133.03/3141.51 c #Conflicts: 1864000 | #Constraints: 65621
3133.03/3141.51 c #Conflicts: 1865000 | #Constraints: 66621
3133.03/3141.51 c #Conflicts: 1866000 | #Constraints: 67621
3133.03/3141.51 c #Conflicts: 1867000 | #Constraints: 68621
3133.03/3141.51 c #Conflicts: 1868000 | #Constraints: 69621
3133.03/3141.51 c #Conflicts: 1869000 | #Constraints: 70621
3133.03/3141.51 c #Conflicts: 1870000 | #Constraints: 71621
3133.03/3141.51 c #Conflicts: 1871000 | #Constraints: 72621
3133.03/3141.51 c #Conflicts: 1872000 | #Constraints: 73621
3133.03/3141.51 c #Conflicts: 1873000 | #Constraints: 74621
3133.03/3141.51 c #Conflicts: 1874000 | #Constraints: 75621
3133.03/3141.51 c #Conflicts: 1875000 | #Constraints: 76621
3133.03/3141.51 c #Conflicts: 1876000 | #Constraints: 77621
3133.03/3141.51 c #Conflicts: 1877000 | #Constraints: 78621
3133.03/3141.51 c #Conflicts: 1878000 | #Constraints: 79621
3133.03/3141.51 c #Conflicts: 1879000 | #Constraints: 80621
3133.03/3141.51 c #Conflicts: 1880000 | #Constraints: 81621
3133.03/3141.51 c #Conflicts: 1881000 | #Constraints: 82621
3133.03/3141.51 c INPROCESSING
3133.03/3141.51 c GARBAGE COLLECT
3133.03/3141.51 c rational objective 32.6667
3161.37/3169.98 c #Conflicts: 1882000 | #Constraints: 56419
3161.37/3169.98 c #Conflicts: 1883000 | #Constraints: 57419
3161.37/3169.98 c #Conflicts: 1884000 | #Constraints: 58419
3161.37/3169.98 c #Conflicts: 1885000 | #Constraints: 59419
3161.37/3169.98 c #Conflicts: 1886000 | #Constraints: 60419
3161.37/3169.98 c #Conflicts: 1887000 | #Constraints: 61419
3161.37/3169.98 c #Conflicts: 1888000 | #Constraints: 62419
3161.37/3169.98 c #Conflicts: 1889000 | #Constraints: 63419
3161.37/3169.98 c #Conflicts: 1890000 | #Constraints: 64419
3161.37/3169.98 c #Conflicts: 1891000 | #Constraints: 65419
3161.37/3169.98 c #Conflicts: 1892000 | #Constraints: 66419
3161.37/3169.98 c #Conflicts: 1893000 | #Constraints: 67419
3161.37/3169.98 c #Conflicts: 1894000 | #Constraints: 68419
3161.37/3169.98 c #Conflicts: 1895000 | #Constraints: 69419
3161.37/3169.98 c #Conflicts: 1896000 | #Constraints: 70419
3161.37/3169.98 c #Conflicts: 1897000 | #Constraints: 71419
3161.37/3169.98 c #Conflicts: 1898000 | #Constraints: 72419
3161.37/3169.98 c #Conflicts: 1899000 | #Constraints: 73419
3161.37/3169.98 c #Conflicts: 1900000 | #Constraints: 74419
3161.37/3169.98 c #Conflicts: 1901000 | #Constraints: 75419
3161.37/3169.98 c #Conflicts: 1902000 | #Constraints: 76419
3161.37/3169.98 c #Conflicts: 1903000 | #Constraints: 77419
3161.37/3169.98 c #Conflicts: 1904000 | #Constraints: 78419
3161.37/3169.98 c #Conflicts: 1905000 | #Constraints: 79419
3161.37/3169.98 c #Conflicts: 1906000 | #Constraints: 80419
3161.37/3169.98 c #Conflicts: 1907000 | #Constraints: 81419
3161.37/3169.98 c #Conflicts: 1908000 | #Constraints: 82419
3161.37/3169.98 c #Conflicts: 1909000 | #Constraints: 83419
3161.37/3169.98 c INPROCESSING
3161.37/3169.98 c GARBAGE COLLECT
3161.37/3169.98 c rational objective 32.6667
3187.02/3195.61 c #Conflicts: 1910000 | #Constraints: 57020
3187.02/3195.61 c #Conflicts: 1911000 | #Constraints: 58020
3187.02/3195.61 c #Conflicts: 1912000 | #Constraints: 59020
3187.02/3195.61 c #Conflicts: 1913000 | #Constraints: 60020
3187.02/3195.61 c #Conflicts: 1914000 | #Constraints: 61020
3187.02/3195.61 c #Conflicts: 1915000 | #Constraints: 62020
3187.02/3195.61 c #Conflicts: 1916000 | #Constraints: 63020
3187.02/3195.61 c #Conflicts: 1917000 | #Constraints: 64020
3187.02/3195.61 c #Conflicts: 1918000 | #Constraints: 65020
3187.02/3195.61 c #Conflicts: 1919000 | #Constraints: 66020
3187.02/3195.61 c #Conflicts: 1920000 | #Constraints: 67020
3187.02/3195.61 c #Conflicts: 1921000 | #Constraints: 68020
3187.02/3195.61 c #Conflicts: 1922000 | #Constraints: 69020
3187.02/3195.61 c #Conflicts: 1923000 | #Constraints: 70020
3187.02/3195.61 c #Conflicts: 1924000 | #Constraints: 71020
3187.02/3195.61 c #Conflicts: 1925000 | #Constraints: 72020
3187.02/3195.61 c #Conflicts: 1926000 | #Constraints: 73020
3187.02/3195.61 c #Conflicts: 1927000 | #Constraints: 74020
3187.02/3195.61 c #Conflicts: 1928000 | #Constraints: 75020
3187.02/3195.61 c #Conflicts: 1929000 | #Constraints: 76020
3187.02/3195.61 c #Conflicts: 1930000 | #Constraints: 77020
3187.02/3195.61 c #Conflicts: 1931000 | #Constraints: 78020
3187.02/3195.61 c #Conflicts: 1932000 | #Constraints: 79020
3187.02/3195.61 c #Conflicts: 1933000 | #Constraints: 80020
3187.02/3195.61 c #Conflicts: 1934000 | #Constraints: 81020
3187.02/3195.61 c #Conflicts: 1935000 | #Constraints: 82020
3187.02/3195.61 c #Conflicts: 1936000 | #Constraints: 83020
3187.02/3195.61 c #Conflicts: 1937000 | #Constraints: 84020
3187.02/3195.61 c INPROCESSING
3187.02/3195.61 c GARBAGE COLLECT
3187.02/3195.61 c rational objective 32.6667
3214.06/3222.74 c #Conflicts: 1938000 | #Constraints: 57426
3214.06/3222.74 c #Conflicts: 1939000 | #Constraints: 58426
3214.06/3222.74 c #Conflicts: 1940000 | #Constraints: 59426
3214.06/3222.74 c #Conflicts: 1941000 | #Constraints: 60426
3214.06/3222.74 c #Conflicts: 1942000 | #Constraints: 61426
3214.06/3222.74 c #Conflicts: 1943000 | #Constraints: 62426
3214.06/3222.74 c #Conflicts: 1944000 | #Constraints: 63426
3214.06/3222.74 c #Conflicts: 1945000 | #Constraints: 64426
3214.06/3222.74 c #Conflicts: 1946000 | #Constraints: 65426
3214.06/3222.74 c #Conflicts: 1947000 | #Constraints: 66426
3214.06/3222.74 c #Conflicts: 1948000 | #Constraints: 67426
3214.06/3222.74 c #Conflicts: 1949000 | #Constraints: 68426
3214.06/3222.74 c #Conflicts: 1950000 | #Constraints: 69426
3214.06/3222.74 c #Conflicts: 1951000 | #Constraints: 70426
3214.06/3222.74 c #Conflicts: 1952000 | #Constraints: 71426
3214.06/3222.74 c #Conflicts: 1953000 | #Constraints: 72426
3214.06/3222.74 c #Conflicts: 1954000 | #Constraints: 73426
3214.06/3222.74 c #Conflicts: 1955000 | #Constraints: 74426
3214.06/3222.74 c #Conflicts: 1956000 | #Constraints: 75426
3214.06/3222.74 c #Conflicts: 1957000 | #Constraints: 76426
3214.06/3222.74 c #Conflicts: 1958000 | #Constraints: 77426
3214.06/3222.74 c #Conflicts: 1959000 | #Constraints: 78426
3214.06/3222.74 c #Conflicts: 1960000 | #Constraints: 79426
3214.06/3222.74 c #Conflicts: 1961000 | #Constraints: 80426
3214.06/3222.74 c #Conflicts: 1962000 | #Constraints: 81426
3214.06/3222.74 c #Conflicts: 1963000 | #Constraints: 82426
3214.06/3222.74 c #Conflicts: 1964000 | #Constraints: 83426
3214.06/3222.74 c #Conflicts: 1965000 | #Constraints: 84426
3214.06/3222.74 c INPROCESSING
3214.06/3222.74 c GARBAGE COLLECT
3214.06/3222.74 c rational objective 32.6667
3245.09/3253.85 c #Conflicts: 1966000 | #Constraints: 57626
3245.09/3253.85 c #Conflicts: 1967000 | #Constraints: 58626
3245.09/3253.85 c #Conflicts: 1968000 | #Constraints: 59626
3245.09/3253.85 c #Conflicts: 1969000 | #Constraints: 60626
3245.09/3253.85 c #Conflicts: 1970000 | #Constraints: 61626
3245.09/3253.85 c #Conflicts: 1971000 | #Constraints: 62626
3245.09/3253.85 c #Conflicts: 1972000 | #Constraints: 63626
3245.09/3253.85 c #Conflicts: 1973000 | #Constraints: 64626
3245.09/3253.85 c #Conflicts: 1974000 | #Constraints: 65626
3245.09/3253.85 c #Conflicts: 1975000 | #Constraints: 66626
3245.09/3253.85 c #Conflicts: 1976000 | #Constraints: 67626
3245.09/3253.85 c #Conflicts: 1977000 | #Constraints: 68626
3245.09/3253.85 c #Conflicts: 1978000 | #Constraints: 69626
3245.09/3253.85 c #Conflicts: 1979000 | #Constraints: 70626
3245.09/3253.85 c #Conflicts: 1980000 | #Constraints: 71626
3245.09/3253.85 c #Conflicts: 1981000 | #Constraints: 72626
3245.09/3253.85 c #Conflicts: 1982000 | #Constraints: 73626
3245.09/3253.85 c #Conflicts: 1983000 | #Constraints: 74626
3245.09/3253.85 c #Conflicts: 1984000 | #Constraints: 75626
3245.09/3253.85 c #Conflicts: 1985000 | #Constraints: 76626
3245.09/3253.85 c #Conflicts: 1986000 | #Constraints: 77626
3245.09/3253.85 c #Conflicts: 1987000 | #Constraints: 78626
3245.09/3253.85 c #Conflicts: 1988000 | #Constraints: 79626
3245.09/3253.85 c #Conflicts: 1989000 | #Constraints: 80626
3245.09/3253.85 c #Conflicts: 1990000 | #Constraints: 81626
3245.09/3253.85 c #Conflicts: 1991000 | #Constraints: 82626
3245.09/3253.85 c #Conflicts: 1992000 | #Constraints: 83626
3245.09/3253.85 c #Conflicts: 1993000 | #Constraints: 84626
3245.09/3253.85 c INPROCESSING
3245.09/3253.85 c GARBAGE COLLECT
3245.09/3253.85 c rational objective 32.6667
3275.12/3283.94 c #Conflicts: 1994000 | #Constraints: 57627
3275.12/3283.94 c #Conflicts: 1995000 | #Constraints: 58627
3275.12/3283.94 c #Conflicts: 1996000 | #Constraints: 59627
3275.12/3283.94 c #Conflicts: 1997000 | #Constraints: 60627
3275.12/3283.94 c #Conflicts: 1998000 | #Constraints: 61627
3275.12/3283.94 c #Conflicts: 1999000 | #Constraints: 62627
3275.12/3283.94 c #Conflicts: 2000000 | #Constraints: 63627
3275.12/3283.94 c #Conflicts: 2001000 | #Constraints: 64627
3275.12/3283.94 c #Conflicts: 2002000 | #Constraints: 65627
3275.12/3283.94 c #Conflicts: 2003000 | #Constraints: 66627
3275.12/3283.94 c #Conflicts: 2004000 | #Constraints: 67627
3275.12/3283.94 c #Conflicts: 2005000 | #Constraints: 68627
3275.12/3283.94 c #Conflicts: 2006000 | #Constraints: 69627
3275.12/3283.94 c #Conflicts: 2007000 | #Constraints: 70627
3275.12/3283.94 c #Conflicts: 2008000 | #Constraints: 71627
3275.12/3283.94 c #Conflicts: 2009000 | #Constraints: 72627
3275.12/3283.94 c #Conflicts: 2010000 | #Constraints: 73627
3275.12/3283.94 c #Conflicts: 2011000 | #Constraints: 74627
3275.12/3283.94 c #Conflicts: 2012000 | #Constraints: 75627
3275.12/3283.94 c #Conflicts: 2013000 | #Constraints: 76627
3275.12/3283.94 c #Conflicts: 2014000 | #Constraints: 77627
3275.12/3283.94 c #Conflicts: 2015000 | #Constraints: 78627
3275.12/3283.94 c #Conflicts: 2016000 | #Constraints: 79627
3275.12/3283.94 c #Conflicts: 2017000 | #Constraints: 80627
3275.12/3283.94 c #Conflicts: 2018000 | #Constraints: 81627
3275.12/3283.94 c #Conflicts: 2019000 | #Constraints: 82627
3275.12/3283.94 c #Conflicts: 2020000 | #Constraints: 83627
3275.12/3283.94 c #Conflicts: 2021000 | #Constraints: 84627
3275.12/3283.94 c INPROCESSING
3275.12/3283.94 c GARBAGE COLLECT
3275.12/3283.94 c rational objective 32.6667
3300.96/3309.82 c #Conflicts: 2022000 | #Constraints: 57429
3300.96/3309.82 c #Conflicts: 2023000 | #Constraints: 58429
3300.96/3309.82 c #Conflicts: 2024000 | #Constraints: 59429
3300.96/3309.82 c #Conflicts: 2025000 | #Constraints: 60429
3300.96/3309.82 c #Conflicts: 2026000 | #Constraints: 61429
3300.96/3309.82 c #Conflicts: 2027000 | #Constraints: 62429
3300.96/3309.82 c #Conflicts: 2028000 | #Constraints: 63429
3300.96/3309.82 c #Conflicts: 2029000 | #Constraints: 64429
3300.96/3309.82 c #Conflicts: 2030000 | #Constraints: 65429
3300.96/3309.82 c #Conflicts: 2031000 | #Constraints: 66429
3300.96/3309.82 c #Conflicts: 2032000 | #Constraints: 67429
3300.96/3309.82 c #Conflicts: 2033000 | #Constraints: 68429
3300.96/3309.82 c #Conflicts: 2034000 | #Constraints: 69429
3300.96/3309.82 c #Conflicts: 2035000 | #Constraints: 70429
3300.96/3309.82 c #Conflicts: 2036000 | #Constraints: 71429
3300.96/3309.82 c #Conflicts: 2037000 | #Constraints: 72429
3300.96/3309.82 c #Conflicts: 2038000 | #Constraints: 73429
3300.96/3309.82 c #Conflicts: 2039000 | #Constraints: 74429
3300.96/3309.82 c #Conflicts: 2040000 | #Constraints: 75429
3300.96/3309.82 c #Conflicts: 2041000 | #Constraints: 76429
3300.96/3309.82 c #Conflicts: 2042000 | #Constraints: 77429
3300.96/3309.82 c #Conflicts: 2043000 | #Constraints: 78429
3300.96/3309.82 c #Conflicts: 2044000 | #Constraints: 79429
3300.96/3309.82 c #Conflicts: 2045000 | #Constraints: 80429
3300.96/3309.82 c #Conflicts: 2046000 | #Constraints: 81429
3300.96/3309.82 c #Conflicts: 2047000 | #Constraints: 82429
3300.96/3309.82 c #Conflicts: 2048000 | #Constraints: 83429
3300.96/3309.82 c #Conflicts: 2049000 | #Constraints: 84429
3300.96/3309.82 c #Conflicts: 2050000 | #Constraints: 85429
3300.96/3309.82 c INPROCESSING
3300.96/3309.82 c GARBAGE COLLECT
3300.96/3309.82 c rational objective 32.6667
3328.40/3337.36 c #Conflicts: 2051000 | #Constraints: 58015
3328.40/3337.36 c #Conflicts: 2052000 | #Constraints: 59015
3328.40/3337.36 c #Conflicts: 2053000 | #Constraints: 60015
3328.40/3337.36 c #Conflicts: 2054000 | #Constraints: 61015
3328.40/3337.36 c #Conflicts: 2055000 | #Constraints: 62015
3328.40/3337.36 c #Conflicts: 2056000 | #Constraints: 63015
3328.40/3337.36 c #Conflicts: 2057000 | #Constraints: 64015
3328.40/3337.36 c #Conflicts: 2058000 | #Constraints: 65015
3328.40/3337.36 c #Conflicts: 2059000 | #Constraints: 66015
3328.40/3337.36 c #Conflicts: 2060000 | #Constraints: 67015
3328.40/3337.36 c #Conflicts: 2061000 | #Constraints: 68015
3328.40/3337.36 c #Conflicts: 2062000 | #Constraints: 69015
3328.40/3337.36 c #Conflicts: 2063000 | #Constraints: 70015
3328.40/3337.36 c #Conflicts: 2064000 | #Constraints: 71015
3328.40/3337.36 c #Conflicts: 2065000 | #Constraints: 72015
3328.40/3337.36 c #Conflicts: 2066000 | #Constraints: 73015
3328.40/3337.36 c #Conflicts: 2067000 | #Constraints: 74015
3328.40/3337.36 c #Conflicts: 2068000 | #Constraints: 75015
3328.40/3337.36 c #Conflicts: 2069000 | #Constraints: 76015
3328.40/3337.36 c #Conflicts: 2070000 | #Constraints: 77015
3328.40/3337.36 c #Conflicts: 2071000 | #Constraints: 78015
3328.40/3337.36 c #Conflicts: 2072000 | #Constraints: 79015
3328.40/3337.36 c #Conflicts: 2073000 | #Constraints: 80015
3328.40/3337.36 c #Conflicts: 2074000 | #Constraints: 81015
3328.40/3337.36 c #Conflicts: 2075000 | #Constraints: 82015
3328.40/3337.36 c #Conflicts: 2076000 | #Constraints: 83015
3328.40/3337.36 c #Conflicts: 2077000 | #Constraints: 84015
3328.40/3337.36 c #Conflicts: 2078000 | #Constraints: 85015
3328.40/3337.36 c #Conflicts: 2079000 | #Constraints: 86015
3328.40/3337.36 c INPROCESSING
3328.40/3337.36 c GARBAGE COLLECT
3328.40/3337.36 c rational objective 32.6667
3353.05/3362.01 c #Conflicts: 2080000 | #Constraints: 58407
3353.05/3362.01 c #Conflicts: 2081000 | #Constraints: 59408
3353.05/3362.01 c #Conflicts: 2082000 | #Constraints: 60408
3353.05/3362.01 c #Conflicts: 2083000 | #Constraints: 61408
3353.05/3362.01 c #Conflicts: 2084000 | #Constraints: 62408
3353.05/3362.01 c #Conflicts: 2085000 | #Constraints: 63408
3353.05/3362.01 c #Conflicts: 2086000 | #Constraints: 64408
3353.05/3362.01 c #Conflicts: 2087000 | #Constraints: 65408
3353.05/3362.01 c #Conflicts: 2088000 | #Constraints: 66408
3353.05/3362.01 c #Conflicts: 2089000 | #Constraints: 67408
3353.05/3362.01 c #Conflicts: 2090000 | #Constraints: 68408
3353.05/3362.01 c #Conflicts: 2091000 | #Constraints: 69408
3353.05/3362.01 c #Conflicts: 2092000 | #Constraints: 70408
3353.05/3362.01 c #Conflicts: 2093000 | #Constraints: 71408
3353.05/3362.01 c #Conflicts: 2094000 | #Constraints: 72408
3353.05/3362.01 c #Conflicts: 2095000 | #Constraints: 73408
3353.05/3362.01 c #Conflicts: 2096000 | #Constraints: 74408
3353.05/3362.01 c #Conflicts: 2097000 | #Constraints: 75408
3353.05/3362.01 c #Conflicts: 2098000 | #Constraints: 76408
3353.05/3362.01 c #Conflicts: 2099000 | #Constraints: 77408
3353.05/3362.01 c #Conflicts: 2100000 | #Constraints: 78408
3353.05/3362.01 c #Conflicts: 2101000 | #Constraints: 79408
3353.05/3362.01 c #Conflicts: 2102000 | #Constraints: 80408
3353.05/3362.01 c #Conflicts: 2103000 | #Constraints: 81408
3353.05/3362.01 c #Conflicts: 2104000 | #Constraints: 82408
3353.05/3362.01 c #Conflicts: 2105000 | #Constraints: 83408
3353.05/3362.01 c #Conflicts: 2106000 | #Constraints: 84408
3353.05/3362.01 c #Conflicts: 2107000 | #Constraints: 85408
3353.05/3362.01 c #Conflicts: 2108000 | #Constraints: 86408
3353.05/3362.01 c INPROCESSING
3353.05/3362.01 c GARBAGE COLLECT
3353.05/3362.01 c rational objective 32.6667
3385.98/3395.06 c #Conflicts: 2109000 | #Constraints: 58618
3385.98/3395.06 c #Conflicts: 2110000 | #Constraints: 59618
3385.98/3395.06 c #Conflicts: 2111000 | #Constraints: 60618
3385.98/3395.06 c #Conflicts: 2112000 | #Constraints: 61618
3385.98/3395.06 c #Conflicts: 2113000 | #Constraints: 62618
3385.98/3395.06 c #Conflicts: 2114000 | #Constraints: 63618
3385.98/3395.06 c #Conflicts: 2115000 | #Constraints: 64618
3385.98/3395.06 c #Conflicts: 2116000 | #Constraints: 65618
3385.98/3395.06 c #Conflicts: 2117000 | #Constraints: 66618
3385.98/3395.06 c #Conflicts: 2118000 | #Constraints: 67618
3385.98/3395.06 c #Conflicts: 2119000 | #Constraints: 68618
3385.98/3395.06 c #Conflicts: 2120000 | #Constraints: 69618
3385.98/3395.06 c #Conflicts: 2121000 | #Constraints: 70618
3385.98/3395.06 c #Conflicts: 2122000 | #Constraints: 71618
3385.98/3395.06 c #Conflicts: 2123000 | #Constraints: 72618
3385.98/3395.06 c #Conflicts: 2124000 | #Constraints: 73618
3385.98/3395.06 c #Conflicts: 2125000 | #Constraints: 74618
3385.98/3395.06 c #Conflicts: 2126000 | #Constraints: 75618
3385.98/3395.06 c #Conflicts: 2127000 | #Constraints: 76618
3385.98/3395.06 c #Conflicts: 2128000 | #Constraints: 77618
3385.98/3395.06 c #Conflicts: 2129000 | #Constraints: 78618
3385.98/3395.06 c #Conflicts: 2130000 | #Constraints: 79618
3385.98/3395.06 c #Conflicts: 2131000 | #Constraints: 80618
3385.98/3395.06 c #Conflicts: 2132000 | #Constraints: 81618
3385.98/3395.06 c #Conflicts: 2133000 | #Constraints: 82618
3385.98/3395.06 c #Conflicts: 2134000 | #Constraints: 83618
3385.98/3395.06 c #Conflicts: 2135000 | #Constraints: 84618
3385.98/3395.06 c #Conflicts: 2136000 | #Constraints: 85618
3385.98/3395.06 c #Conflicts: 2137000 | #Constraints: 86618
3385.98/3395.06 c INPROCESSING
3385.98/3395.06 c GARBAGE COLLECT
3385.98/3395.06 c rational objective 32.6667
3414.50/3423.60 c #Conflicts: 2138000 | #Constraints: 58615
3414.50/3423.60 c #Conflicts: 2139000 | #Constraints: 59616
3414.50/3423.60 c #Conflicts: 2140000 | #Constraints: 60616
3414.50/3423.60 c #Conflicts: 2141000 | #Constraints: 61616
3414.50/3423.60 c #Conflicts: 2142000 | #Constraints: 62616
3414.50/3423.60 c #Conflicts: 2143000 | #Constraints: 63616
3414.50/3423.60 c #Conflicts: 2144000 | #Constraints: 64616
3414.50/3423.60 c #Conflicts: 2145000 | #Constraints: 65616
3414.50/3423.60 c #Conflicts: 2146000 | #Constraints: 66616
3414.50/3423.60 c #Conflicts: 2147000 | #Constraints: 67616
3414.50/3423.60 c #Conflicts: 2148000 | #Constraints: 68616
3414.50/3423.60 c #Conflicts: 2149000 | #Constraints: 69616
3414.50/3423.60 c #Conflicts: 2150000 | #Constraints: 70616
3414.50/3423.60 c #Conflicts: 2151000 | #Constraints: 71616
3414.50/3423.60 c #Conflicts: 2152000 | #Constraints: 72616
3414.50/3423.60 c #Conflicts: 2153000 | #Constraints: 73616
3414.50/3423.60 c #Conflicts: 2154000 | #Constraints: 74616
3414.50/3423.60 c #Conflicts: 2155000 | #Constraints: 75616
3414.50/3423.60 c #Conflicts: 2156000 | #Constraints: 76616
3414.50/3423.60 c #Conflicts: 2157000 | #Constraints: 77616
3414.50/3423.60 c #Conflicts: 2158000 | #Constraints: 78616
3414.50/3423.60 c #Conflicts: 2159000 | #Constraints: 79616
3414.50/3423.60 c #Conflicts: 2160000 | #Constraints: 80616
3414.50/3423.60 c #Conflicts: 2161000 | #Constraints: 81616
3414.50/3423.60 c #Conflicts: 2162000 | #Constraints: 82616
3414.50/3423.60 c #Conflicts: 2163000 | #Constraints: 83616
3414.50/3423.60 c #Conflicts: 2164000 | #Constraints: 84616
3414.50/3423.60 c #Conflicts: 2165000 | #Constraints: 85616
3414.50/3423.60 c #Conflicts: 2166000 | #Constraints: 86616
3414.50/3423.60 c INPROCESSING
3414.50/3423.60 c GARBAGE COLLECT
3414.50/3423.60 c rational objective 32.6667
3448.33/3457.50 c #Conflicts: 2167000 | #Constraints: 58419
3448.33/3457.50 c #Conflicts: 2168000 | #Constraints: 59419
3448.33/3457.50 c #Conflicts: 2169000 | #Constraints: 60419
3448.33/3457.50 c #Conflicts: 2170000 | #Constraints: 61419
3448.33/3457.50 c #Conflicts: 2171000 | #Constraints: 62419
3448.33/3457.50 c #Conflicts: 2172000 | #Constraints: 63419
3448.33/3457.50 c #Conflicts: 2173000 | #Constraints: 64419
3448.33/3457.50 c #Conflicts: 2174000 | #Constraints: 65419
3448.33/3457.50 c #Conflicts: 2175000 | #Constraints: 66419
3448.33/3457.50 c #Conflicts: 2176000 | #Constraints: 67419
3448.33/3457.50 c #Conflicts: 2177000 | #Constraints: 68419
3448.33/3457.50 c #Conflicts: 2178000 | #Constraints: 69419
3448.33/3457.50 c #Conflicts: 2179000 | #Constraints: 70419
3448.33/3457.50 c #Conflicts: 2180000 | #Constraints: 71419
3448.33/3457.50 c #Conflicts: 2181000 | #Constraints: 72419
3448.33/3457.50 c #Conflicts: 2182000 | #Constraints: 73419
3448.33/3457.50 c #Conflicts: 2183000 | #Constraints: 74419
3448.33/3457.50 c #Conflicts: 2184000 | #Constraints: 75419
3448.33/3457.50 c #Conflicts: 2185000 | #Constraints: 76419
3448.33/3457.50 c #Conflicts: 2186000 | #Constraints: 77419
3448.33/3457.50 c #Conflicts: 2187000 | #Constraints: 78419
3448.33/3457.50 c #Conflicts: 2188000 | #Constraints: 79419
3448.33/3457.50 c #Conflicts: 2189000 | #Constraints: 80419
3448.33/3457.50 c #Conflicts: 2190000 | #Constraints: 81419
3448.33/3457.50 c #Conflicts: 2191000 | #Constraints: 82419
3448.33/3457.50 c #Conflicts: 2192000 | #Constraints: 83419
3448.33/3457.50 c #Conflicts: 2193000 | #Constraints: 84419
3448.33/3457.50 c #Conflicts: 2194000 | #Constraints: 85419
3448.33/3457.50 c #Conflicts: 2195000 | #Constraints: 86419
3448.33/3457.50 c #Conflicts: 2196000 | #Constraints: 87419
3448.33/3457.50 c INPROCESSING
3448.33/3457.50 c GARBAGE COLLECT
3448.33/3457.50 c rational objective 32.6667
3491.43/3500.75 c #Conflicts: 2197000 | #Constraints: 59015
3491.43/3500.75 c #Conflicts: 2198000 | #Constraints: 60015
3491.43/3500.75 c #Conflicts: 2199000 | #Constraints: 61015
3491.43/3500.75 c #Conflicts: 2200000 | #Constraints: 62015
3491.43/3500.75 c #Conflicts: 2201000 | #Constraints: 63015
3491.43/3500.75 c #Conflicts: 2202000 | #Constraints: 64015
3491.43/3500.75 c #Conflicts: 2203000 | #Constraints: 65015
3491.43/3500.75 c #Conflicts: 2204000 | #Constraints: 66015
3491.43/3500.75 c #Conflicts: 2205000 | #Constraints: 67015
3491.43/3500.75 c #Conflicts: 2206000 | #Constraints: 68015
3491.43/3500.75 c #Conflicts: 2207000 | #Constraints: 69015
3491.43/3500.75 c #Conflicts: 2208000 | #Constraints: 70015
3491.43/3500.75 c #Conflicts: 2209000 | #Constraints: 71015
3491.43/3500.75 c #Conflicts: 2210000 | #Constraints: 72015
3491.43/3500.75 c #Conflicts: 2211000 | #Constraints: 73015
3491.43/3500.75 c #Conflicts: 2212000 | #Constraints: 74015
3491.43/3500.75 c #Conflicts: 2213000 | #Constraints: 75015
3491.43/3500.75 c #Conflicts: 2214000 | #Constraints: 76015
3491.43/3500.75 c #Conflicts: 2215000 | #Constraints: 77015
3491.43/3500.75 c #Conflicts: 2216000 | #Constraints: 78015
3491.43/3500.75 c #Conflicts: 2217000 | #Constraints: 79015
3491.43/3500.75 c #Conflicts: 2218000 | #Constraints: 80015
3491.43/3500.75 c #Conflicts: 2219000 | #Constraints: 81015
3491.43/3500.75 c #Conflicts: 2220000 | #Constraints: 82015
3491.43/3500.75 c #Conflicts: 2221000 | #Constraints: 83015
3491.43/3500.75 c #Conflicts: 2222000 | #Constraints: 84015
3491.43/3500.75 c #Conflicts: 2223000 | #Constraints: 85015
3491.43/3500.75 c #Conflicts: 2224000 | #Constraints: 86015
3491.43/3500.75 c #Conflicts: 2225000 | #Constraints: 87015
3491.43/3500.75 c #Conflicts: 2226000 | #Constraints: 88015
3491.43/3500.75 c INPROCESSING
3491.43/3500.75 c GARBAGE COLLECT
3491.43/3500.75 c rational objective 32.6667
3544.91/3554.39 c #Conflicts: 2227000 | #Constraints: 59431
3544.91/3554.39 c #Conflicts: 2228000 | #Constraints: 60431
3544.91/3554.39 c #Conflicts: 2229000 | #Constraints: 61431
3544.91/3554.39 c #Conflicts: 2230000 | #Constraints: 62431
3544.91/3554.39 c #Conflicts: 2231000 | #Constraints: 63431
3544.91/3554.39 c #Conflicts: 2232000 | #Constraints: 64431
3544.91/3554.39 c #Conflicts: 2233000 | #Constraints: 65431
3544.91/3554.39 c #Conflicts: 2234000 | #Constraints: 66431
3544.91/3554.39 c #Conflicts: 2235000 | #Constraints: 67431
3544.91/3554.39 c #Conflicts: 2236000 | #Constraints: 68431
3544.91/3554.39 c #Conflicts: 2237000 | #Constraints: 69431
3544.91/3554.39 c #Conflicts: 2238000 | #Constraints: 70431
3544.91/3554.39 c #Conflicts: 2239000 | #Constraints: 71431
3544.91/3554.39 c #Conflicts: 2240000 | #Constraints: 72431
3544.91/3554.39 c #Conflicts: 2241000 | #Constraints: 73432
3544.91/3554.39 c #Conflicts: 2242000 | #Constraints: 74432
3544.91/3554.39 c #Conflicts: 2243000 | #Constraints: 75432
3544.91/3554.39 c #Conflicts: 2244000 | #Constraints: 76432
3544.91/3554.39 c #Conflicts: 2245000 | #Constraints: 77432
3544.91/3554.39 c #Conflicts: 2246000 | #Constraints: 78432
3544.91/3554.39 c #Conflicts: 2247000 | #Constraints: 79432
3544.91/3554.39 c #Conflicts: 2248000 | #Constraints: 80432
3544.91/3554.39 c #Conflicts: 2249000 | #Constraints: 81432
3544.91/3554.39 c #Conflicts: 2250000 | #Constraints: 82432
3544.91/3554.39 c #Conflicts: 2251000 | #Constraints: 83432
3544.91/3554.39 c #Conflicts: 2252000 | #Constraints: 84432
3544.91/3554.39 c #Conflicts: 2253000 | #Constraints: 85432
3544.91/3554.39 c #Conflicts: 2254000 | #Constraints: 86432
3544.91/3554.39 c #Conflicts: 2255000 | #Constraints: 87432
3544.91/3554.39 c #Conflicts: 2256000 | #Constraints: 88432
3544.91/3554.39 c INPROCESSING
3544.91/3554.39 c GARBAGE COLLECT
3544.91/3554.39 c rational objective 32.6667
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (54667 MiB free)
memory of node 1: 64507 MiB (56040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507860-1751510078/watcher-4507860-1751510078 -o /tmp/evaluation-result-4507860-1751510078/solver-4507860-1751510078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70776 --watchdog 3760 run-opt.sh HOME/instance-4507860-1751510078.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71901, runsolver pid=71898
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.14 4.11 5/268 71903
/proc/meminfo: memFree=113361032/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=75856 memory=26344 CPUtime=0.08 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 3988 0 0 0 6 2 0 0 20 0 1 0 66685448 77676544 6586 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 18964 6586 2240 1147 0 6391 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 80048 KiB
Current children cumulated memory: 29288 KiB
[startup+0.205621 s]*
/proc/loadavg: 4.10 4.14 4.11 5/268 71903
/proc/meminfo: memFree=113332868/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=104380 memory=55056 CPUtime=0.19 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 9394 0 0 0 16 3 0 0 20 0 1 0 66685448 106885120 13764 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 26095 13764 2336 1147 0 13522 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108572 KiB
Current children cumulated memory: 58000 KiB
[startup+0.305545 s]*
/proc/loadavg: 4.10 4.14 4.11 5/268 71903
/proc/meminfo: memFree=113332868/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=104380 memory=55184 CPUtime=0.28 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 9395 0 0 0 25 3 0 0 20 0 1 0 66685448 106885120 13796 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 26095 13796 2368 1147 0 13522 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 108572 KiB
Current children cumulated memory: 58128 KiB
[startup+0.700199 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 71903
/proc/meminfo: memFree=113332868/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=106704 memory=56464 CPUtime=0.67 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 9691 0 0 0 61 6 0 0 20 0 1 0 66685448 109264896 14116 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 26676 14116 2400 1147 0 14103 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 110896 KiB
Current children cumulated memory: 59408 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 71903
/proc/meminfo: memFree=113324804/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=107964 memory=58000 CPUtime=1.48 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 10073 0 0 0 140 8 0 0 20 0 1 0 66685448 110555136 14500 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 26991 14500 2400 1147 0 14418 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112156 KiB
Current children cumulated memory: 60944 KiB
[startup+3.10532 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 71903
/proc/meminfo: memFree=113320960/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=111020 memory=62752 CPUtime=3.08 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 10738 0 0 0 296 12 0 0 20 0 1 0 66685448 113684480 15688 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 27755 15688 2400 1147 0 15182 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115212 KiB
Current children cumulated memory: 65696 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.13 4.11 5/268 71903
/proc/meminfo: memFree=113321212/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=110920 memory=62756 CPUtime=6.26 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 10800 0 0 0 611 15 0 0 20 0 1 0 66685448 113582080 15689 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 27730 15689 2400 1147 0 15157 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 115112 KiB
Current children cumulated memory: 65700 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.13 4.11 5/268 71903
/proc/meminfo: memFree=113321568/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=114088 memory=65060 CPUtime=12.65 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 11384 0 0 0 1245 20 0 0 20 0 1 0 66685448 116826112 16265 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 28522 16265 2400 1147 0 15949 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 118280 KiB
Current children cumulated memory: 68004 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.12 4.11 5/268 71903
/proc/meminfo: memFree=113301532/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=119964 memory=70436 CPUtime=25.4 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 12778 0 0 0 2509 31 0 0 20 0 1 0 66685448 122843136 17609 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 29991 17609 2400 1147 0 17418 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 124156 KiB
Current children cumulated memory: 73380 KiB
[startup+51.1054 s]
/proc/loadavg: 4.04 4.11 4.10 5/268 71904
/proc/meminfo: memFree=113303428/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=120508 memory=71076 CPUtime=50.93 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 12932 0 0 0 5042 51 0 0 20 0 1 0 66685448 123400192 17769 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 30127 17769 2400 1147 0 17554 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 124700 KiB
Current children cumulated memory: 74020 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.11 5/268 71906
/proc/meminfo: memFree=113285788/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=123252 memory=74148 CPUtime=101.96 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 13692 0 0 0 10107 89 0 0 20 0 1 0 66685448 126210048 18537 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 30813 18537 2400 1147 0 18240 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 127444 KiB
Current children cumulated memory: 77092 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/268 71908
/proc/meminfo: memFree=113249364/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=131036 memory=81956 CPUtime=161.77 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 15657 0 0 0 16045 132 0 0 20 0 1 0 66685448 134180864 20489 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 32759 20489 2400 1147 0 20186 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 135228 KiB
Current children cumulated memory: 84900 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/268 71910
/proc/meminfo: memFree=113238176/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=131036 memory=82084 CPUtime=221.58 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 15673 0 0 0 21995 163 0 0 20 0 1 0 66685448 134180864 20521 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 32759 20521 2400 1147 0 20186 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=185124 memory=140088 CPUtime=3213.65 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 26133 0 0 0 319351 2014 0 0 20 0 1 0 66685448 189566976 35022 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 46281 35022 2528 1147 0 33708 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 189316 KiB
Current children cumulated memory: 143032 KiB
[startup+3282.3 s]
/proc/loadavg: 1.16 1.12 1.49 2/247 72162
/proc/meminfo: memFree=125748124/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=185124 memory=140088 CPUtime=3273.52 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 26133 0 0 0 325289 2063 0 0 20 0 1 0 66685448 189566976 35022 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 46281 35022 2528 1147 0 33708 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 189316 KiB
Current children cumulated memory: 143032 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.11 1.46 2/247 72165
/proc/meminfo: memFree=125748156/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=185124 memory=140088 CPUtime=3333.39 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 26133 0 0 0 331219 2120 0 0 20 0 1 0 66685448 189566976 35022 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 46281 35022 2528 1147 0 33708 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 189316 KiB
Current children cumulated memory: 143032 KiB
[startup+3402.3 s]
/proc/loadavg: 1.09 1.11 1.43 2/247 72170
/proc/meminfo: memFree=125748108/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=185124 memory=140088 CPUtime=3393.26 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 26133 0 0 0 337157 2169 0 0 20 0 1 0 66685448 189566976 35022 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 46281 35022 2528 1147 0 33708 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 189316 KiB
Current children cumulated memory: 143032 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.12 1.42 2/247 72172
/proc/meminfo: memFree=125747712/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=188144 memory=142776 CPUtime=3453.12 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 26819 0 0 0 343100 2212 0 0 20 0 1 0 66685448 192659456 35694 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 47036 35694 2528 1147 0 34463 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 192336 KiB
Current children cumulated memory: 145720 KiB
[startup+3522.3 s]
/proc/loadavg: 1.05 1.09 1.39 2/247 72174
/proc/meminfo: memFree=125739776/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=190864 memory=145848 CPUtime=3512.99 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 27558 0 0 0 349044 2255 0 0 20 0 1 0 66685448 195444736 36462 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 47716 36462 2528 1147 0 35143 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 195056 KiB
Current children cumulated memory: 148792 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.09 1.36 2/247 72176
/proc/meminfo: memFree=125731616/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=190864 memory=145848 CPUtime=3572.85 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 27560 0 0 0 354998 2287 0 0 20 0 1 0 66685448 195444736 36462 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 47716 36462 2528 1147 0 35143 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 195056 KiB
Current children cumulated memory: 148792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 1.10 1.10 1.36 2/247 72177
/proc/meminfo: memFree=125731680/131249996 swapFree=33010160/33010684
[pid=71901] ppid=71898 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/71901/stat : 71901 (run-opt.sh) S 71898 71901 70763 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66685448 4292608 736 18446744073709551615 93848680112128 93848681006661 140721663764448 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93848681245712 93848681293456 93848687448064 140721663773037 140721663773160 140721663773160 140721663778762 0
/proc/71901/statm: 1048 736 672 219 0 110 0
[pid=71903] ppid=71901 vsize=190864 memory=145848 CPUtime=3600.09 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71901 71901 70763 0 -1 4194304 27560 0 0 0 357711 2298 0 0 20 0 1 0 66685448 195444736 36462 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 47716 36462 2528 1147 0 35143 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 195056 KiB
Current children cumulated memory: 148792 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 71901 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00061 s, system=0.001831 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.6 s]
# the end of solver process 71903 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3579.1 s, system=22.9952 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
[startup+3610.4 s]
/proc/loadavg: 1.09 1.09 1.36 2/246 72177
/proc/meminfo: memFree=125731680/131249996 swapFree=33010160/33010684
[pid=71903] ppid=71898 vsize=190864 memory=145848 CPUtime=3600.88 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71898 71901 70763 0 -1 4194304 27560 0 0 0 357790 2298 0 0 20 0 1 0 66685448 195444736 36462 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 47716 36462 2528 1147 0 35143 0
Current cumulated CPU time of completed processes: 0.002441 s
Current children cumulated CPU time: 3600.88 s
Current children cumulated vsize: 190864 KiB
Current children cumulated memory: 145848 KiB
[startup+3611.2 s]
/proc/loadavg: 1.09 1.09 1.36 2/246 72177
/proc/meminfo: memFree=125731680/131249996 swapFree=33010160/33010684
[pid=71903] ppid=71898 vsize=190864 memory=145848 CPUtime=3601.69 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71898 71901 70763 0 -1 4194304 27560 0 0 0 357870 2299 0 0 20 0 1 0 66685448 195444736 36462 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 47716 36462 2528 1147 0 35143 0
Current cumulated CPU time of completed processes: 0.002441 s
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 190864 KiB
Current children cumulated memory: 145848 KiB
[startup+3611.6 s]
/proc/loadavg: 1.09 1.09 1.36 2/246 72177
/proc/meminfo: memFree=125731680/131249996 swapFree=33010160/33010684
[pid=71903] ppid=71898 vsize=190864 memory=145848 CPUtime=3602.09 cores=5,7
/proc/71903/stat : 71903 (roundingsat) R 71898 71901 70763 0 -1 4194304 27560 0 0 0 357910 2299 0 0 20 0 1 0 66685448 195444736 36462 18446744073709551615 4227072 8923433 140728755087904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13324288 140728755095970 140728755096104 140728755096104 140728755101674 0
/proc/71903/statm: 47716 36462 2528 1147 0 35143 0
Current cumulated CPU time of completed processes: 0.002441 s
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 190864 KiB
Current children cumulated memory: 145848 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.6
CPU time (s): 3602.1
CPU user time (s): 3579.1
CPU system time (s): 22.9952
CPU usage (%): 99.7369
Max. virtual memory (cumulated for all children) (KiB): 195056
Max. memory (cumulated for all children) (KiB): 148792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.1
system time used= 22.9952
maximum resident set size= 145848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 18651
# summary of solver processes directly reported to runsolver:
# pid: 71901,71903
# total CPU time (s): 3602.1
# total CPU user time (s): 3579.1
# total CPU system time (s): 22.9952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21466 second user time and 13.7085 second system time
The end
Begin job on nodeC021 at 2025-07-03 04:34:38
IDJOB=4507860
IDBENCH=158386
IDSOLVER=3350
FILE ID=nodeC021/4507860-1751510078
RUNJOBID= nodeC021-1751500681-70776
SLURM_JOB_ID= 9598584
Free space on /tmp= 430896 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep5.5.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507860-1751510078/watcher-4507860-1751510078 -o /tmp/evaluation-result-4507860-1751510078/solver-4507860-1751510078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70776 --watchdog 3760 run-opt.sh HOME/instance-4507860-1751510078.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57020c0b0c1558ae6f18629e32faebb8
RANDOM SEED=1727102276
nodeC021 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.775
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.56
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.750
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.56
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 : 3426.420
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.56
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 : 3570.959
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.56
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.792
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.56
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.765
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.501
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.613
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113364616 kB
MemAvailable: 117230780 kB
Buffers: 2128 kB
Cached: 4604304 kB
SwapCached: 20 kB
Active: 12988932 kB
Inactive: 4125564 kB
Active(anon): 12515184 kB
Inactive(anon): 10924 kB
Active(file): 473748 kB
Inactive(file): 4114640 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8104 kB
Writeback: 0 kB
AnonPages: 12510096 kB
Mapped: 117660 kB
Shmem: 18040 kB
KReclaimable: 233628 kB
Slab: 325560 kB
SReclaimable: 233628 kB
SUnreclaim: 91932 kB
KernelStack: 4272 kB
PageTables: 32008 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 15423636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2291712 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430952 MiB
End job on nodeC021 at 2025-07-03 05:34:49