0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.06 c #variables 5712 #constraints 5882
32.29/32.46 c #Conflicts: 1000 | #Constraints: 6881
32.29/32.46 c #Conflicts: 2000 | #Constraints: 7881
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 3000 | #Constraints: 7565
32.29/32.46 c #Conflicts: 4000 | #Constraints: 8565
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 5000 | #Constraints: 8022
32.29/32.46 c #Conflicts: 6000 | #Constraints: 9022
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 7000 | #Constraints: 8086
32.29/32.46 c #Conflicts: 8000 | #Constraints: 9086
32.29/32.46 c #Conflicts: 9000 | #Constraints: 10086
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 10000 | #Constraints: 8798
32.29/32.46 c #Conflicts: 11000 | #Constraints: 9798
32.29/32.46 c #Conflicts: 12000 | #Constraints: 10798
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 13000 | #Constraints: 9283
32.29/32.46 c #Conflicts: 14000 | #Constraints: 10283
32.29/32.46 c #Conflicts: 15000 | #Constraints: 11283
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 16000 | #Constraints: 9572
32.29/32.46 c #Conflicts: 17000 | #Constraints: 10572
32.29/32.46 c #Conflicts: 18000 | #Constraints: 11572
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 19000 | #Constraints: 9622
32.29/32.46 c #Conflicts: 20000 | #Constraints: 10622
32.29/32.46 c #Conflicts: 21000 | #Constraints: 11622
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 22000 | #Constraints: 9426
32.29/32.46 c #Conflicts: 23000 | #Constraints: 10426
32.29/32.46 c #Conflicts: 24000 | #Constraints: 11426
32.29/32.46 c #Conflicts: 25000 | #Constraints: 12426
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 26000 | #Constraints: 10032
32.29/32.46 c #Conflicts: 27000 | #Constraints: 11032
32.29/32.46 c #Conflicts: 28000 | #Constraints: 12032
32.29/32.46 c #Conflicts: 29000 | #Constraints: 13032
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 30000 | #Constraints: 10484
32.29/32.46 c #Conflicts: 31000 | #Constraints: 11484
32.29/32.46 c #Conflicts: 32000 | #Constraints: 12484
32.29/32.46 c #Conflicts: 33000 | #Constraints: 13484
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 34000 | #Constraints: 10696
32.29/32.46 c #Conflicts: 35000 | #Constraints: 11696
32.29/32.46 c #Conflicts: 36000 | #Constraints: 12696
32.29/32.46 c #Conflicts: 37000 | #Constraints: 13696
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 38000 | #Constraints: 10719
32.29/32.46 c #Conflicts: 39000 | #Constraints: 11719
32.29/32.46 c #Conflicts: 40000 | #Constraints: 12719
32.29/32.46 c #Conflicts: 41000 | #Constraints: 13719
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 42000 | #Constraints: 10521
32.29/32.46 c #Conflicts: 43000 | #Constraints: 11521
32.29/32.46 c #Conflicts: 44000 | #Constraints: 12521
32.29/32.46 c #Conflicts: 45000 | #Constraints: 13521
32.29/32.46 c #Conflicts: 46000 | #Constraints: 14521
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c #Conflicts: 47000 | #Constraints: 11133
32.29/32.46 c #Conflicts: 48000 | #Constraints: 12133
32.29/32.46 c #Conflicts: 49000 | #Constraints: 13133
32.29/32.46 c #Conflicts: 50000 | #Constraints: 14133
32.29/32.46 c #Conflicts: 51000 | #Constraints: 15133
32.29/32.46 c INPROCESSING
32.29/32.46 c GARBAGE COLLECT
32.29/32.46 c rational objective 84
91.53/91.88 c #Conflicts: 52000 | #Constraints: 11589
91.53/91.88 c #Conflicts: 53000 | #Constraints: 12589
91.53/91.88 c #Conflicts: 54000 | #Constraints: 13589
91.53/91.88 c #Conflicts: 55000 | #Constraints: 14589
91.53/91.88 c #Conflicts: 56000 | #Constraints: 15589
91.53/91.88 c INPROCESSING
91.53/91.88 c GARBAGE COLLECT
91.53/91.88 c #Conflicts: 57000 | #Constraints: 11807
91.53/91.88 c #Conflicts: 58000 | #Constraints: 12807
91.53/91.88 c #Conflicts: 59000 | #Constraints: 13807
91.53/91.88 c #Conflicts: 60000 | #Constraints: 14807
91.53/91.88 c #Conflicts: 61000 | #Constraints: 15807
91.53/91.88 c INPROCESSING
91.53/91.88 c GARBAGE COLLECT
91.53/91.88 c #Conflicts: 62000 | #Constraints: 11783
91.53/91.88 c #Conflicts: 63000 | #Constraints: 12783
91.53/91.88 c #Conflicts: 64000 | #Constraints: 13783
91.53/91.88 c #Conflicts: 65000 | #Constraints: 14783
91.53/91.88 c #Conflicts: 66000 | #Constraints: 15783
91.53/91.88 c INPROCESSING
91.53/91.88 c GARBAGE COLLECT
91.53/91.88 c #Conflicts: 67000 | #Constraints: 11621
91.53/91.88 c #Conflicts: 68000 | #Constraints: 12621
91.53/91.88 c #Conflicts: 69000 | #Constraints: 13621
91.53/91.88 c #Conflicts: 70000 | #Constraints: 14621
91.53/91.88 c #Conflicts: 71000 | #Constraints: 15621
91.53/91.88 c #Conflicts: 72000 | #Constraints: 16621
91.53/91.88 c INPROCESSING
91.53/91.88 c GARBAGE COLLECT
91.53/91.88 c #Conflicts: 73000 | #Constraints: 12222
91.53/91.88 c #Conflicts: 74000 | #Constraints: 13222
91.53/91.88 c #Conflicts: 75000 | #Constraints: 14222
91.53/91.88 c #Conflicts: 76000 | #Constraints: 15222
91.53/91.88 c #Conflicts: 77000 | #Constraints: 16222
91.53/91.88 c #Conflicts: 78000 | #Constraints: 17222
91.53/91.88 c #Conflicts: 79000 | #Constraints: 18222
91.53/91.88 c #Conflicts: 80000 | #Constraints: 19222
91.53/91.88 c #Conflicts: 81000 | #Constraints: 20222
91.53/91.88 c #Conflicts: 82000 | #Constraints: 21222
91.53/91.88 c #Conflicts: 83000 | #Constraints: 22222
91.53/91.88 c #Conflicts: 84000 | #Constraints: 23222
91.53/91.88 c #Conflicts: 85000 | #Constraints: 24222
91.53/91.88 c #Conflicts: 86000 | #Constraints: 25222
91.53/91.88 c #Conflicts: 87000 | #Constraints: 26222
91.53/91.88 c #Conflicts: 88000 | #Constraints: 27222
91.53/91.88 c #Conflicts: 89000 | #Constraints: 28222
91.53/91.88 c #Conflicts: 90000 | #Constraints: 29222
91.53/91.88 c #Conflicts: 91000 | #Constraints: 30222
91.53/91.88 c #Conflicts: 92000 | #Constraints: 31222
91.53/91.88 c #Conflicts: 93000 | #Constraints: 32222
91.53/91.88 c #Conflicts: 94000 | #Constraints: 33222
91.53/91.88 c #Conflicts: 95000 | #Constraints: 34222
91.53/91.88 c #Conflicts: 96000 | #Constraints: 35222
91.53/91.88 c INPROCESSING
91.53/91.88 c GARBAGE COLLECT
91.53/91.88 c #Conflicts: 97000 | #Constraints: 21636
91.53/91.88 c #Conflicts: 98000 | #Constraints: 22636
91.53/91.88 c #Conflicts: 99000 | #Constraints: 23636
91.53/91.88 c #Conflicts: 100000 | #Constraints: 24636
91.53/91.88 c #Conflicts: 101000 | #Constraints: 25637
91.53/91.88 c #Conflicts: 102000 | #Constraints: 26637
91.53/91.88 c INPROCESSING
91.53/91.88 c GARBAGE COLLECT
91.53/91.88 c #Conflicts: 103000 | #Constraints: 16923
91.53/91.88 c #Conflicts: 104000 | #Constraints: 17923
91.53/91.88 c #Conflicts: 105000 | #Constraints: 18923
91.53/91.88 c #Conflicts: 106000 | #Constraints: 19923
91.53/91.88 c #Conflicts: 107000 | #Constraints: 20923
91.53/91.88 c #Conflicts: 108000 | #Constraints: 21923
91.53/91.88 c #Conflicts: 109000 | #Constraints: 22923
91.53/91.88 c #Conflicts: 110000 | #Constraints: 23923
91.53/91.88 c INPROCESSING
91.53/91.88 c GARBAGE COLLECT
91.53/91.88 c #Conflicts: 111000 | #Constraints: 16055
91.53/91.88 c #Conflicts: 112000 | #Constraints: 17055
91.53/91.88 c #Conflicts: 113000 | #Constraints: 18055
91.53/91.88 c #Conflicts: 114000 | #Constraints: 19055
91.53/91.88 c #Conflicts: 115000 | #Constraints: 20055
91.53/91.88 c #Conflicts: 116000 | #Constraints: 21055
91.53/91.88 c #Conflicts: 117000 | #Constraints: 22055
91.53/91.88 c INPROCESSING
91.53/91.88 c GARBAGE COLLECT
91.53/91.88 c #Conflicts: 118000 | #Constraints: 14930
91.53/91.88 c #Conflicts: 119000 | #Constraints: 15930
91.53/91.88 c #Conflicts: 120000 | #Constraints: 16930
91.53/91.88 c #Conflicts: 121000 | #Constraints: 17930
91.53/91.88 c #Conflicts: 122000 | #Constraints: 18930
91.53/91.88 c #Conflicts: 123000 | #Constraints: 19930
91.53/91.88 c #Conflicts: 124000 | #Constraints: 20930
91.53/91.88 c INPROCESSING
91.53/91.88 c GARBAGE COLLECT
91.53/91.88 c #Conflicts: 125000 | #Constraints: 14154
157.87/158.39 c #Conflicts: 126000 | #Constraints: 15154
157.87/158.39 c #Conflicts: 127000 | #Constraints: 16154
157.87/158.39 c #Conflicts: 128000 | #Constraints: 17154
157.87/158.39 c #Conflicts: 129000 | #Constraints: 18154
157.87/158.39 c #Conflicts: 130000 | #Constraints: 19154
157.87/158.39 c #Conflicts: 131000 | #Constraints: 20154
157.87/158.39 c #Conflicts: 132000 | #Constraints: 21154
157.87/158.39 c INPROCESSING
157.87/158.39 c GARBAGE COLLECT
157.87/158.39 c #Conflicts: 133000 | #Constraints: 14390
157.87/158.39 c #Conflicts: 134000 | #Constraints: 15390
157.87/158.39 c #Conflicts: 135000 | #Constraints: 16390
157.87/158.39 c #Conflicts: 136000 | #Constraints: 17390
157.87/158.39 c #Conflicts: 137000 | #Constraints: 18390
157.87/158.39 c #Conflicts: 138000 | #Constraints: 19390
157.87/158.39 c #Conflicts: 139000 | #Constraints: 20390
157.87/158.39 c #Conflicts: 140000 | #Constraints: 21390
157.87/158.39 c #Conflicts: 141000 | #Constraints: 22390
157.87/158.39 c #Conflicts: 142000 | #Constraints: 23390
157.87/158.39 c #Conflicts: 143000 | #Constraints: 24390
157.87/158.39 c #Conflicts: 144000 | #Constraints: 25390
157.87/158.39 c #Conflicts: 145000 | #Constraints: 26390
157.87/158.39 c #Conflicts: 146000 | #Constraints: 27390
157.87/158.39 c #Conflicts: 147000 | #Constraints: 28390
157.87/158.39 c #Conflicts: 148000 | #Constraints: 29390
157.87/158.39 c #Conflicts: 149000 | #Constraints: 30390
157.87/158.39 c #Conflicts: 150000 | #Constraints: 31390
157.87/158.39 c #Conflicts: 151000 | #Constraints: 32390
157.87/158.39 c #Conflicts: 152000 | #Constraints: 33390
157.87/158.39 c #Conflicts: 153000 | #Constraints: 34390
157.87/158.39 c #Conflicts: 154000 | #Constraints: 35390
157.87/158.39 c #Conflicts: 155000 | #Constraints: 36390
157.87/158.39 c #Conflicts: 156000 | #Constraints: 37390
157.87/158.39 c #Conflicts: 157000 | #Constraints: 38390
157.87/158.39 c #Conflicts: 158000 | #Constraints: 39390
157.87/158.39 c #Conflicts: 159000 | #Constraints: 40390
157.87/158.39 c #Conflicts: 160000 | #Constraints: 41390
157.87/158.39 c #Conflicts: 161000 | #Constraints: 42390
157.87/158.39 c #Conflicts: 162000 | #Constraints: 43390
157.87/158.39 c #Conflicts: 163000 | #Constraints: 44390
157.87/158.39 c INPROCESSING
157.87/158.39 c GARBAGE COLLECT
157.87/158.39 c #Conflicts: 164000 | #Constraints: 25930
157.87/158.39 c #Conflicts: 165000 | #Constraints: 26930
157.87/158.39 c #Conflicts: 166000 | #Constraints: 27930
157.87/158.39 c #Conflicts: 167000 | #Constraints: 28930
157.87/158.39 c #Conflicts: 168000 | #Constraints: 29930
157.87/158.39 c #Conflicts: 169000 | #Constraints: 30930
157.87/158.39 c #Conflicts: 170000 | #Constraints: 31930
157.87/158.39 c #Conflicts: 171000 | #Constraints: 32930
157.87/158.39 c #Conflicts: 172000 | #Constraints: 33930
157.87/158.39 c INPROCESSING
157.87/158.39 c GARBAGE COLLECT
157.87/158.39 c #Conflicts: 173000 | #Constraints: 20655
157.87/158.39 c #Conflicts: 174000 | #Constraints: 21655
157.87/158.39 c #Conflicts: 175000 | #Constraints: 22655
157.87/158.39 c #Conflicts: 176000 | #Constraints: 23655
157.87/158.39 c #Conflicts: 177000 | #Constraints: 24655
157.87/158.39 c #Conflicts: 178000 | #Constraints: 25655
157.87/158.39 c #Conflicts: 179000 | #Constraints: 26655
157.87/158.39 c #Conflicts: 180000 | #Constraints: 27655
157.87/158.39 c #Conflicts: 181000 | #Constraints: 28655
157.87/158.39 c #Conflicts: 182000 | #Constraints: 29655
157.87/158.39 c INPROCESSING
157.87/158.39 c GARBAGE COLLECT
157.87/158.39 c rational objective 84
262.60/263.38 c #Conflicts: 183000 | #Constraints: 18926
262.60/263.38 c #Conflicts: 184000 | #Constraints: 19926
262.60/263.38 c #Conflicts: 185000 | #Constraints: 20926
262.60/263.38 c #Conflicts: 186000 | #Constraints: 21926
262.60/263.38 c #Conflicts: 187000 | #Constraints: 22926
262.60/263.38 c #Conflicts: 188000 | #Constraints: 23926
262.60/263.38 c #Conflicts: 189000 | #Constraints: 24926
262.60/263.38 c #Conflicts: 190000 | #Constraints: 25926
262.60/263.38 c #Conflicts: 191000 | #Constraints: 26926
262.60/263.38 c INPROCESSING
262.60/263.38 c GARBAGE COLLECT
262.60/263.38 c #Conflicts: 192000 | #Constraints: 17368
262.60/263.38 c #Conflicts: 193000 | #Constraints: 18368
262.60/263.38 c #Conflicts: 194000 | #Constraints: 19368
262.60/263.38 c #Conflicts: 195000 | #Constraints: 20368
262.60/263.38 c #Conflicts: 196000 | #Constraints: 21368
262.60/263.38 c #Conflicts: 197000 | #Constraints: 22368
262.60/263.38 c #Conflicts: 198000 | #Constraints: 23368
262.60/263.38 c #Conflicts: 199000 | #Constraints: 24368
262.60/263.38 c #Conflicts: 200000 | #Constraints: 25368
262.60/263.38 c #Conflicts: 201000 | #Constraints: 26368
262.60/263.38 c INPROCESSING
262.60/263.38 c GARBAGE COLLECT
262.60/263.38 c #Conflicts: 202000 | #Constraints: 17292
262.60/263.38 c #Conflicts: 203000 | #Constraints: 18292
262.60/263.38 c #Conflicts: 204000 | #Constraints: 19292
262.60/263.38 c #Conflicts: 205000 | #Constraints: 20292
262.60/263.38 c #Conflicts: 206000 | #Constraints: 21292
262.60/263.38 c #Conflicts: 207000 | #Constraints: 22292
262.60/263.38 c #Conflicts: 208000 | #Constraints: 23292
262.60/263.38 c #Conflicts: 209000 | #Constraints: 24292
262.60/263.38 c #Conflicts: 210000 | #Constraints: 25292
262.60/263.38 c #Conflicts: 211000 | #Constraints: 26292
262.60/263.38 c #Conflicts: 212000 | #Constraints: 27292
262.60/263.38 c #Conflicts: 213000 | #Constraints: 28292
262.60/263.38 c #Conflicts: 214000 | #Constraints: 29292
262.60/263.38 c #Conflicts: 215000 | #Constraints: 30292
262.60/263.38 c #Conflicts: 216000 | #Constraints: 31292
262.60/263.38 c #Conflicts: 217000 | #Constraints: 32292
262.60/263.38 c #Conflicts: 218000 | #Constraints: 33292
262.60/263.38 c #Conflicts: 219000 | #Constraints: 34292
262.60/263.38 c #Conflicts: 220000 | #Constraints: 35292
262.60/263.38 c #Conflicts: 221000 | #Constraints: 36292
262.60/263.38 c #Conflicts: 222000 | #Constraints: 37292
262.60/263.38 c #Conflicts: 223000 | #Constraints: 38292
262.60/263.38 c #Conflicts: 224000 | #Constraints: 39292
262.60/263.38 c #Conflicts: 225000 | #Constraints: 40292
262.60/263.38 c #Conflicts: 226000 | #Constraints: 41292
262.60/263.38 c #Conflicts: 227000 | #Constraints: 42292
262.60/263.38 c #Conflicts: 228000 | #Constraints: 43292
262.60/263.38 c #Conflicts: 229000 | #Constraints: 44292
262.60/263.38 c #Conflicts: 230000 | #Constraints: 45292
262.60/263.38 c #Conflicts: 231000 | #Constraints: 46292
262.60/263.38 c #Conflicts: 232000 | #Constraints: 47292
262.60/263.38 c #Conflicts: 233000 | #Constraints: 48292
262.60/263.38 c #Conflicts: 234000 | #Constraints: 49292
262.60/263.38 c #Conflicts: 235000 | #Constraints: 50292
262.60/263.38 c #Conflicts: 236000 | #Constraints: 51292
262.60/263.38 c #Conflicts: 237000 | #Constraints: 52292
262.60/263.38 c #Conflicts: 238000 | #Constraints: 53292
262.60/263.38 c INPROCESSING
262.60/263.38 c GARBAGE COLLECT
262.60/263.38 c #Conflicts: 239000 | #Constraints: 30430
262.60/263.38 c #Conflicts: 240000 | #Constraints: 31430
262.60/263.38 c #Conflicts: 241000 | #Constraints: 32430
262.60/263.38 c #Conflicts: 242000 | #Constraints: 33430
262.60/263.38 c #Conflicts: 243000 | #Constraints: 34430
262.60/263.38 c #Conflicts: 244000 | #Constraints: 35430
262.60/263.38 c #Conflicts: 245000 | #Constraints: 36430
262.60/263.38 c #Conflicts: 246000 | #Constraints: 37430
262.60/263.38 c #Conflicts: 247000 | #Constraints: 38430
262.60/263.38 c #Conflicts: 248000 | #Constraints: 39430
262.60/263.38 c #Conflicts: 249000 | #Constraints: 40430
262.60/263.38 c INPROCESSING
262.60/263.38 c GARBAGE COLLECT
262.60/263.38 c #Conflicts: 250000 | #Constraints: 24066
262.60/263.38 c #Conflicts: 251000 | #Constraints: 25066
262.60/263.38 c #Conflicts: 252000 | #Constraints: 26066
262.60/263.38 c #Conflicts: 253000 | #Constraints: 27066
262.60/263.38 c #Conflicts: 254000 | #Constraints: 28066
262.60/263.38 c #Conflicts: 255000 | #Constraints: 29066
262.60/263.38 c #Conflicts: 256000 | #Constraints: 30066
262.60/263.38 c #Conflicts: 257000 | #Constraints: 31066
262.60/263.38 c #Conflicts: 258000 | #Constraints: 32066
262.60/263.38 c #Conflicts: 259000 | #Constraints: 33066
379.66/380.77 c #Conflicts: 260000 | #Constraints: 34066
379.66/380.77 c INPROCESSING
379.66/380.77 c GARBAGE COLLECT
379.66/380.77 c #Conflicts: 261000 | #Constraints: 20803
379.66/380.77 c #Conflicts: 262000 | #Constraints: 21803
379.66/380.77 c #Conflicts: 263000 | #Constraints: 22803
379.66/380.77 c #Conflicts: 264000 | #Constraints: 23803
379.66/380.77 c #Conflicts: 265000 | #Constraints: 24803
379.66/380.77 c #Conflicts: 266000 | #Constraints: 25803
379.66/380.77 c #Conflicts: 267000 | #Constraints: 26803
379.66/380.77 c #Conflicts: 268000 | #Constraints: 27803
379.66/380.77 c #Conflicts: 269000 | #Constraints: 28803
379.66/380.77 c #Conflicts: 270000 | #Constraints: 29803
379.66/380.77 c #Conflicts: 271000 | #Constraints: 30803
379.66/380.77 c #Conflicts: 272000 | #Constraints: 31803
379.66/380.77 c INPROCESSING
379.66/380.77 c GARBAGE COLLECT
379.66/380.77 c #Conflicts: 273000 | #Constraints: 20053
379.66/380.77 c #Conflicts: 274000 | #Constraints: 21053
379.66/380.77 c #Conflicts: 275000 | #Constraints: 22053
379.66/380.77 c #Conflicts: 276000 | #Constraints: 23053
379.66/380.77 c #Conflicts: 277000 | #Constraints: 24053
379.66/380.77 c #Conflicts: 278000 | #Constraints: 25053
379.66/380.77 c #Conflicts: 279000 | #Constraints: 26053
379.66/380.77 c #Conflicts: 280000 | #Constraints: 27053
379.66/380.77 c #Conflicts: 281000 | #Constraints: 28053
379.66/380.77 c #Conflicts: 282000 | #Constraints: 29053
379.66/380.77 c #Conflicts: 283000 | #Constraints: 30053
379.66/380.77 c INPROCESSING
379.66/380.77 c GARBAGE COLLECT
379.66/380.77 c #Conflicts: 284000 | #Constraints: 18959
379.66/380.77 c #Conflicts: 285000 | #Constraints: 19959
379.66/380.77 c #Conflicts: 286000 | #Constraints: 20959
379.66/380.77 c #Conflicts: 287000 | #Constraints: 21959
379.66/380.77 c #Conflicts: 288000 | #Constraints: 22959
379.66/380.77 c #Conflicts: 289000 | #Constraints: 23959
379.66/380.77 c #Conflicts: 290000 | #Constraints: 24959
379.66/380.77 c #Conflicts: 291000 | #Constraints: 25959
379.66/380.77 c #Conflicts: 292000 | #Constraints: 26959
379.66/380.77 c #Conflicts: 293000 | #Constraints: 27959
379.66/380.77 c #Conflicts: 294000 | #Constraints: 28959
379.66/380.77 c #Conflicts: 295000 | #Constraints: 29959
379.66/380.77 c #Conflicts: 296000 | #Constraints: 30959
379.66/380.77 c #Conflicts: 297000 | #Constraints: 31959
379.66/380.77 c #Conflicts: 298000 | #Constraints: 32959
379.66/380.77 c #Conflicts: 299000 | #Constraints: 33959
379.66/380.77 c #Conflicts: 300000 | #Constraints: 34959
379.66/380.77 c #Conflicts: 301000 | #Constraints: 35959
379.66/380.77 c #Conflicts: 302000 | #Constraints: 36959
379.66/380.77 c #Conflicts: 303000 | #Constraints: 37959
379.66/380.77 c #Conflicts: 304000 | #Constraints: 38959
379.66/380.77 c #Conflicts: 305000 | #Constraints: 39959
379.66/380.77 c #Conflicts: 306000 | #Constraints: 40959
379.66/380.77 c #Conflicts: 307000 | #Constraints: 41959
379.66/380.77 c #Conflicts: 308000 | #Constraints: 42959
379.66/380.77 c #Conflicts: 309000 | #Constraints: 43959
379.66/380.77 c #Conflicts: 310000 | #Constraints: 44959
379.66/380.77 c #Conflicts: 311000 | #Constraints: 45959
379.66/380.77 c #Conflicts: 312000 | #Constraints: 46959
379.66/380.77 c #Conflicts: 313000 | #Constraints: 47959
379.66/380.77 c #Conflicts: 314000 | #Constraints: 48959
379.66/380.77 c #Conflicts: 315000 | #Constraints: 49959
379.66/380.77 c #Conflicts: 316000 | #Constraints: 50959
379.66/380.77 c #Conflicts: 317000 | #Constraints: 51959
379.66/380.77 c #Conflicts: 318000 | #Constraints: 52960
379.66/380.77 c #Conflicts: 319000 | #Constraints: 53960
379.66/380.77 c #Conflicts: 320000 | #Constraints: 54960
379.66/380.77 c #Conflicts: 321000 | #Constraints: 55960
379.66/380.77 c #Conflicts: 322000 | #Constraints: 56960
379.66/380.77 c #Conflicts: 323000 | #Constraints: 57960
379.66/380.77 c #Conflicts: 324000 | #Constraints: 58960
379.66/380.77 c #Conflicts: 325000 | #Constraints: 59960
379.66/380.77 c #Conflicts: 326000 | #Constraints: 60960
379.66/380.77 c #Conflicts: 327000 | #Constraints: 61960
379.66/380.77 c INPROCESSING
379.66/380.77 c GARBAGE COLLECT
379.66/380.77 c rational objective 84
470.38/471.75 c #Conflicts: 328000 | #Constraints: 34793
470.38/471.75 c #Conflicts: 329000 | #Constraints: 35793
470.38/471.75 c #Conflicts: 330000 | #Constraints: 36793
470.38/471.75 c #Conflicts: 331000 | #Constraints: 37793
470.38/471.75 c #Conflicts: 332000 | #Constraints: 38793
470.38/471.75 c #Conflicts: 333000 | #Constraints: 39793
470.38/471.75 c #Conflicts: 334000 | #Constraints: 40793
470.38/471.75 c #Conflicts: 335000 | #Constraints: 41793
470.38/471.75 c #Conflicts: 336000 | #Constraints: 42793
470.38/471.75 c #Conflicts: 337000 | #Constraints: 43793
470.38/471.75 c #Conflicts: 338000 | #Constraints: 44793
470.38/471.75 c #Conflicts: 339000 | #Constraints: 45793
470.38/471.75 c #Conflicts: 340000 | #Constraints: 46793
470.38/471.75 c INPROCESSING
470.38/471.75 c GARBAGE COLLECT
470.38/471.75 c #Conflicts: 341000 | #Constraints: 27382
470.38/471.75 c #Conflicts: 342000 | #Constraints: 28382
470.38/471.75 c #Conflicts: 343000 | #Constraints: 29382
470.38/471.75 c #Conflicts: 344000 | #Constraints: 30382
470.38/471.75 c #Conflicts: 345000 | #Constraints: 31382
470.38/471.75 c #Conflicts: 346000 | #Constraints: 32382
470.38/471.75 c #Conflicts: 347000 | #Constraints: 33382
470.38/471.75 c #Conflicts: 348000 | #Constraints: 34382
470.38/471.75 c #Conflicts: 349000 | #Constraints: 35382
470.38/471.75 c #Conflicts: 350000 | #Constraints: 36382
470.38/471.75 c #Conflicts: 351000 | #Constraints: 37382
470.38/471.75 c #Conflicts: 352000 | #Constraints: 38382
470.38/471.75 c #Conflicts: 353000 | #Constraints: 39382
470.38/471.75 c INPROCESSING
470.38/471.75 c GARBAGE COLLECT
470.38/471.75 c #Conflicts: 354000 | #Constraints: 23652
470.38/471.75 c #Conflicts: 355000 | #Constraints: 24652
470.38/471.75 c #Conflicts: 356000 | #Constraints: 25652
470.38/471.75 c #Conflicts: 357000 | #Constraints: 26652
470.38/471.75 c #Conflicts: 358000 | #Constraints: 27652
470.38/471.75 c #Conflicts: 359000 | #Constraints: 28652
470.38/471.75 c #Conflicts: 360000 | #Constraints: 29652
470.38/471.75 c #Conflicts: 361000 | #Constraints: 30652
470.38/471.75 c #Conflicts: 362000 | #Constraints: 31652
470.38/471.75 c #Conflicts: 363000 | #Constraints: 32652
470.38/471.75 c #Conflicts: 364000 | #Constraints: 33652
470.38/471.75 c #Conflicts: 365000 | #Constraints: 34652
470.38/471.75 c #Conflicts: 366000 | #Constraints: 35652
470.38/471.75 c INPROCESSING
470.38/471.75 c GARBAGE COLLECT
470.38/471.75 c #Conflicts: 367000 | #Constraints: 21694
470.38/471.75 c #Conflicts: 368000 | #Constraints: 22694
470.38/471.75 c #Conflicts: 369000 | #Constraints: 23694
470.38/471.75 c #Conflicts: 370000 | #Constraints: 24694
470.38/471.75 c #Conflicts: 371000 | #Constraints: 25694
470.38/471.75 c #Conflicts: 372000 | #Constraints: 26694
470.38/471.75 c #Conflicts: 373000 | #Constraints: 27694
470.38/471.75 c #Conflicts: 374000 | #Constraints: 28694
470.38/471.75 c #Conflicts: 375000 | #Constraints: 29694
470.38/471.75 c #Conflicts: 376000 | #Constraints: 30694
470.38/471.75 c #Conflicts: 377000 | #Constraints: 31694
470.38/471.75 c #Conflicts: 378000 | #Constraints: 32694
470.38/471.75 c #Conflicts: 379000 | #Constraints: 33694
470.38/471.75 c #Conflicts: 380000 | #Constraints: 34694
470.38/471.75 c INPROCESSING
470.38/471.75 c GARBAGE COLLECT
470.38/471.75 c #Conflicts: 381000 | #Constraints: 21494
470.38/471.75 c #Conflicts: 382000 | #Constraints: 22494
470.38/471.75 c #Conflicts: 383000 | #Constraints: 23494
470.38/471.75 c #Conflicts: 384000 | #Constraints: 24494
470.38/471.75 c #Conflicts: 385000 | #Constraints: 25494
470.38/471.75 c #Conflicts: 386000 | #Constraints: 26494
470.38/471.75 c #Conflicts: 387000 | #Constraints: 27494
470.38/471.75 c #Conflicts: 388000 | #Constraints: 28494
470.38/471.75 c #Conflicts: 389000 | #Constraints: 29494
470.38/471.75 c #Conflicts: 390000 | #Constraints: 30494
470.38/471.75 c #Conflicts: 391000 | #Constraints: 31494
470.38/471.75 c #Conflicts: 392000 | #Constraints: 32494
470.38/471.75 c #Conflicts: 393000 | #Constraints: 33494
470.38/471.75 c #Conflicts: 394000 | #Constraints: 34494
470.38/471.75 c #Conflicts: 395000 | #Constraints: 35494
470.38/471.75 c #Conflicts: 396000 | #Constraints: 36494
470.38/471.75 c #Conflicts: 397000 | #Constraints: 37494
470.38/471.75 c #Conflicts: 398000 | #Constraints: 38494
470.38/471.75 c #Conflicts: 399000 | #Constraints: 39494
470.38/471.75 c #Conflicts: 400000 | #Constraints: 40494
470.38/471.75 c #Conflicts: 401000 | #Constraints: 41494
470.38/471.75 c #Conflicts: 402000 | #Constraints: 42494
470.38/471.75 c #Conflicts: 403000 | #Constraints: 43494
470.38/471.75 c #Conflicts: 404000 | #Constraints: 44494
574.41/576.01 c #Conflicts: 405000 | #Constraints: 45494
574.41/576.01 c #Conflicts: 406000 | #Constraints: 46494
574.41/576.01 c #Conflicts: 407000 | #Constraints: 47494
574.41/576.01 c #Conflicts: 408000 | #Constraints: 48494
574.41/576.01 c #Conflicts: 409000 | #Constraints: 49494
574.41/576.01 c #Conflicts: 410000 | #Constraints: 50494
574.41/576.01 c #Conflicts: 411000 | #Constraints: 51494
574.41/576.01 c #Conflicts: 412000 | #Constraints: 52494
574.41/576.01 c #Conflicts: 413000 | #Constraints: 53494
574.41/576.01 c #Conflicts: 414000 | #Constraints: 54494
574.41/576.01 c #Conflicts: 415000 | #Constraints: 55494
574.41/576.01 c #Conflicts: 416000 | #Constraints: 56494
574.41/576.01 c #Conflicts: 417000 | #Constraints: 57494
574.41/576.01 c #Conflicts: 418000 | #Constraints: 58494
574.41/576.01 c #Conflicts: 419000 | #Constraints: 59494
574.41/576.01 c #Conflicts: 420000 | #Constraints: 60494
574.41/576.01 c #Conflicts: 421000 | #Constraints: 61494
574.41/576.01 c #Conflicts: 422000 | #Constraints: 62494
574.41/576.01 c #Conflicts: 423000 | #Constraints: 63494
574.41/576.01 c #Conflicts: 424000 | #Constraints: 64494
574.41/576.01 c #Conflicts: 425000 | #Constraints: 65494
574.41/576.01 c #Conflicts: 426000 | #Constraints: 66494
574.41/576.01 c #Conflicts: 427000 | #Constraints: 67494
574.41/576.01 c #Conflicts: 428000 | #Constraints: 68494
574.41/576.01 c #Conflicts: 429000 | #Constraints: 69494
574.41/576.01 c #Conflicts: 430000 | #Constraints: 70494
574.41/576.01 c INPROCESSING
574.41/576.01 c GARBAGE COLLECT
574.41/576.01 c #Conflicts: 431000 | #Constraints: 39162
574.41/576.01 c #Conflicts: 432000 | #Constraints: 40162
574.41/576.01 c #Conflicts: 433000 | #Constraints: 41162
574.41/576.01 c #Conflicts: 434000 | #Constraints: 42162
574.41/576.01 c #Conflicts: 435000 | #Constraints: 43162
574.41/576.01 c #Conflicts: 436000 | #Constraints: 44162
574.41/576.01 c #Conflicts: 437000 | #Constraints: 45162
574.41/576.01 c #Conflicts: 438000 | #Constraints: 46162
574.41/576.01 c #Conflicts: 439000 | #Constraints: 47162
574.41/576.01 c #Conflicts: 440000 | #Constraints: 48162
574.41/576.01 c #Conflicts: 441000 | #Constraints: 49162
574.41/576.01 c #Conflicts: 442000 | #Constraints: 50162
574.41/576.01 c #Conflicts: 443000 | #Constraints: 51162
574.41/576.01 c #Conflicts: 444000 | #Constraints: 52162
574.41/576.01 c #Conflicts: 445000 | #Constraints: 53162
574.41/576.01 c INPROCESSING
574.41/576.01 c GARBAGE COLLECT
574.41/576.01 c #Conflicts: 446000 | #Constraints: 30723
574.41/576.01 c #Conflicts: 447000 | #Constraints: 31723
574.41/576.01 c #Conflicts: 448000 | #Constraints: 32723
574.41/576.01 c #Conflicts: 449000 | #Constraints: 33723
574.41/576.01 c #Conflicts: 450000 | #Constraints: 34723
574.41/576.01 c #Conflicts: 451000 | #Constraints: 35723
574.41/576.01 c #Conflicts: 452000 | #Constraints: 36723
574.41/576.01 c #Conflicts: 453000 | #Constraints: 37723
574.41/576.01 c #Conflicts: 454000 | #Constraints: 38723
574.41/576.01 c #Conflicts: 455000 | #Constraints: 39723
574.41/576.01 c #Conflicts: 456000 | #Constraints: 40723
574.41/576.01 c #Conflicts: 457000 | #Constraints: 41723
574.41/576.01 c #Conflicts: 458000 | #Constraints: 42723
574.41/576.01 c #Conflicts: 459000 | #Constraints: 43723
574.41/576.01 c #Conflicts: 460000 | #Constraints: 44723
574.41/576.01 c INPROCESSING
574.41/576.01 c GARBAGE COLLECT
574.41/576.01 c rational objective 84
597.05/598.77 c #Conflicts: 461000 | #Constraints: 26475
597.05/598.77 c #Conflicts: 462000 | #Constraints: 27475
597.05/598.77 c #Conflicts: 463000 | #Constraints: 28475
597.05/598.77 c #Conflicts: 464000 | #Constraints: 29475
597.05/598.77 c #Conflicts: 465000 | #Constraints: 30475
597.05/598.77 c #Conflicts: 466000 | #Constraints: 31475
597.05/598.77 c #Conflicts: 467000 | #Constraints: 32475
597.05/598.77 c #Conflicts: 468000 | #Constraints: 33475
597.05/598.77 c #Conflicts: 469000 | #Constraints: 34475
597.05/598.77 c #Conflicts: 470000 | #Constraints: 35475
597.05/598.77 c #Conflicts: 471000 | #Constraints: 36475
597.05/598.77 c #Conflicts: 472000 | #Constraints: 37475
597.05/598.77 c #Conflicts: 473000 | #Constraints: 38475
597.05/598.77 c #Conflicts: 474000 | #Constraints: 39475
597.05/598.77 c #Conflicts: 475000 | #Constraints: 40475
597.05/598.77 c INPROCESSING
597.05/598.77 c GARBAGE COLLECT
597.05/598.77 c rational objective 84
734.50/736.56 c #Conflicts: 476000 | #Constraints: 24342
734.50/736.56 c #Conflicts: 477000 | #Constraints: 25342
734.50/736.56 c #Conflicts: 478000 | #Constraints: 26342
734.50/736.56 c #Conflicts: 479000 | #Constraints: 27342
734.50/736.56 c #Conflicts: 480000 | #Constraints: 28342
734.50/736.56 c #Conflicts: 481000 | #Constraints: 29342
734.50/736.56 c #Conflicts: 482000 | #Constraints: 30342
734.50/736.56 c #Conflicts: 483000 | #Constraints: 31342
734.50/736.56 c #Conflicts: 484000 | #Constraints: 32342
734.50/736.56 c #Conflicts: 485000 | #Constraints: 33342
734.50/736.56 c #Conflicts: 486000 | #Constraints: 34342
734.50/736.56 c #Conflicts: 487000 | #Constraints: 35342
734.50/736.56 c #Conflicts: 488000 | #Constraints: 36342
734.50/736.56 c #Conflicts: 489000 | #Constraints: 37342
734.50/736.56 c #Conflicts: 490000 | #Constraints: 38342
734.50/736.56 c INPROCESSING
734.50/736.56 c GARBAGE COLLECT
734.50/736.56 c #Conflicts: 491000 | #Constraints: 23120
734.50/736.56 c #Conflicts: 492000 | #Constraints: 24120
734.50/736.56 c #Conflicts: 493000 | #Constraints: 25120
734.50/736.56 c #Conflicts: 494000 | #Constraints: 26120
734.50/736.56 c #Conflicts: 495000 | #Constraints: 27120
734.50/736.56 c #Conflicts: 496000 | #Constraints: 28120
734.50/736.56 c #Conflicts: 497000 | #Constraints: 29120
734.50/736.56 c #Conflicts: 498000 | #Constraints: 30120
734.50/736.56 c #Conflicts: 499000 | #Constraints: 31120
734.50/736.56 c #Conflicts: 500000 | #Constraints: 32120
734.50/736.56 c #Conflicts: 501000 | #Constraints: 33120
734.50/736.56 c #Conflicts: 502000 | #Constraints: 34120
734.50/736.56 c #Conflicts: 503000 | #Constraints: 35120
734.50/736.56 c #Conflicts: 504000 | #Constraints: 36120
734.50/736.56 c #Conflicts: 505000 | #Constraints: 37120
734.50/736.56 c #Conflicts: 506000 | #Constraints: 38120
734.50/736.56 c #Conflicts: 507000 | #Constraints: 39120
734.50/736.56 c #Conflicts: 508000 | #Constraints: 40120
734.50/736.56 c #Conflicts: 509000 | #Constraints: 41120
734.50/736.56 c #Conflicts: 510000 | #Constraints: 42120
734.50/736.56 c #Conflicts: 511000 | #Constraints: 43120
734.50/736.56 c #Conflicts: 512000 | #Constraints: 44120
734.50/736.56 c #Conflicts: 513000 | #Constraints: 45120
734.50/736.56 c #Conflicts: 514000 | #Constraints: 46120
734.50/736.56 c #Conflicts: 515000 | #Constraints: 47120
734.50/736.56 c #Conflicts: 516000 | #Constraints: 48120
734.50/736.56 c #Conflicts: 517000 | #Constraints: 49120
734.50/736.56 c #Conflicts: 518000 | #Constraints: 50120
734.50/736.56 c #Conflicts: 519000 | #Constraints: 51120
734.50/736.56 c #Conflicts: 520000 | #Constraints: 52120
734.50/736.56 c #Conflicts: 521000 | #Constraints: 53120
734.50/736.56 c #Conflicts: 522000 | #Constraints: 54120
734.50/736.56 c #Conflicts: 523000 | #Constraints: 55120
734.50/736.56 c #Conflicts: 524000 | #Constraints: 56120
734.50/736.56 c #Conflicts: 525000 | #Constraints: 57120
734.50/736.56 c #Conflicts: 526000 | #Constraints: 58120
734.50/736.56 c #Conflicts: 527000 | #Constraints: 59120
734.50/736.56 c #Conflicts: 528000 | #Constraints: 60120
734.50/736.56 c #Conflicts: 529000 | #Constraints: 61120
734.50/736.56 c #Conflicts: 530000 | #Constraints: 62120
734.50/736.56 c #Conflicts: 531000 | #Constraints: 63120
734.50/736.56 c #Conflicts: 532000 | #Constraints: 64120
734.50/736.56 c #Conflicts: 533000 | #Constraints: 65120
734.50/736.56 c #Conflicts: 534000 | #Constraints: 66120
734.50/736.56 c #Conflicts: 535000 | #Constraints: 67120
734.50/736.56 c #Conflicts: 536000 | #Constraints: 68120
734.50/736.56 c #Conflicts: 537000 | #Constraints: 69120
734.50/736.56 c #Conflicts: 538000 | #Constraints: 70120
734.50/736.56 c #Conflicts: 539000 | #Constraints: 71120
734.50/736.56 c #Conflicts: 540000 | #Constraints: 72120
734.50/736.56 c #Conflicts: 541000 | #Constraints: 73120
734.50/736.56 c #Conflicts: 542000 | #Constraints: 74120
734.50/736.56 c #Conflicts: 543000 | #Constraints: 75120
734.50/736.56 c #Conflicts: 544000 | #Constraints: 76120
734.50/736.56 c #Conflicts: 545000 | #Constraints: 77120
734.50/736.56 c #Conflicts: 546000 | #Constraints: 78120
734.50/736.56 c #Conflicts: 547000 | #Constraints: 79120
734.50/736.56 c INPROCESSING
734.50/736.56 c GARBAGE COLLECT
734.50/736.56 c #Conflicts: 548000 | #Constraints: 43527
734.50/736.56 c #Conflicts: 549000 | #Constraints: 44527
734.50/736.56 c #Conflicts: 550000 | #Constraints: 45527
734.50/736.56 c #Conflicts: 551000 | #Constraints: 46527
734.50/736.56 c #Conflicts: 552000 | #Constraints: 47527
734.50/736.56 c #Conflicts: 553000 | #Constraints: 48527
785.68/787.80 c #Conflicts: 554000 | #Constraints: 49527
785.68/787.80 c #Conflicts: 555000 | #Constraints: 50527
785.68/787.80 c #Conflicts: 556000 | #Constraints: 51527
785.68/787.80 c #Conflicts: 557000 | #Constraints: 52527
785.68/787.80 c #Conflicts: 558000 | #Constraints: 53527
785.68/787.80 c #Conflicts: 559000 | #Constraints: 54527
785.68/787.80 c #Conflicts: 560000 | #Constraints: 55527
785.68/787.80 c #Conflicts: 561000 | #Constraints: 56527
785.68/787.80 c #Conflicts: 562000 | #Constraints: 57527
785.68/787.80 c #Conflicts: 563000 | #Constraints: 58528
785.68/787.80 c #Conflicts: 564000 | #Constraints: 59528
785.68/787.80 c INPROCESSING
785.68/787.80 c GARBAGE COLLECT
785.68/787.80 c #Conflicts: 565000 | #Constraints: 34003
785.68/787.80 c #Conflicts: 566000 | #Constraints: 35003
785.68/787.80 c #Conflicts: 567000 | #Constraints: 36003
785.68/787.80 c #Conflicts: 568000 | #Constraints: 37003
785.68/787.80 c #Conflicts: 569000 | #Constraints: 38003
785.68/787.80 c #Conflicts: 570000 | #Constraints: 39003
785.68/787.80 c #Conflicts: 571000 | #Constraints: 40003
785.68/787.80 c #Conflicts: 572000 | #Constraints: 41003
785.68/787.80 c #Conflicts: 573000 | #Constraints: 42003
785.68/787.80 c #Conflicts: 574000 | #Constraints: 43003
785.68/787.80 c #Conflicts: 575000 | #Constraints: 44003
785.68/787.80 c #Conflicts: 576000 | #Constraints: 45003
785.68/787.80 c #Conflicts: 577000 | #Constraints: 46003
785.68/787.80 c #Conflicts: 578000 | #Constraints: 47003
785.68/787.80 c #Conflicts: 579000 | #Constraints: 48003
785.68/787.80 c #Conflicts: 580000 | #Constraints: 49003
785.68/787.80 c INPROCESSING
785.68/787.80 c GARBAGE COLLECT
785.68/787.80 c rational objective 84
880.05/882.43 c #Conflicts: 581000 | #Constraints: 28332
880.05/882.43 c #Conflicts: 582000 | #Constraints: 29332
880.05/882.43 c #Conflicts: 583000 | #Constraints: 30332
880.05/882.43 c #Conflicts: 584000 | #Constraints: 31332
880.05/882.43 c #Conflicts: 585000 | #Constraints: 32332
880.05/882.43 c #Conflicts: 586000 | #Constraints: 33332
880.05/882.43 c #Conflicts: 587000 | #Constraints: 34332
880.05/882.43 c #Conflicts: 588000 | #Constraints: 35332
880.05/882.43 c #Conflicts: 589000 | #Constraints: 36332
880.05/882.43 c #Conflicts: 590000 | #Constraints: 37332
880.05/882.43 c #Conflicts: 591000 | #Constraints: 38332
880.05/882.43 c #Conflicts: 592000 | #Constraints: 39332
880.05/882.43 c #Conflicts: 593000 | #Constraints: 40332
880.05/882.43 c #Conflicts: 594000 | #Constraints: 41332
880.05/882.43 c #Conflicts: 595000 | #Constraints: 42332
880.05/882.43 c #Conflicts: 596000 | #Constraints: 43332
880.05/882.43 c #Conflicts: 597000 | #Constraints: 44332
880.05/882.43 c INPROCESSING
880.05/882.43 c GARBAGE COLLECT
880.05/882.43 c #Conflicts: 598000 | #Constraints: 25970
880.05/882.43 c #Conflicts: 599000 | #Constraints: 26970
880.05/882.43 c #Conflicts: 600000 | #Constraints: 27970
880.05/882.43 c #Conflicts: 601000 | #Constraints: 28970
880.05/882.43 c #Conflicts: 602000 | #Constraints: 29970
880.05/882.43 c #Conflicts: 603000 | #Constraints: 30970
880.05/882.43 c #Conflicts: 604000 | #Constraints: 31970
880.05/882.43 c #Conflicts: 605000 | #Constraints: 32970
880.05/882.43 c #Conflicts: 606000 | #Constraints: 33970
880.05/882.43 c #Conflicts: 607000 | #Constraints: 34970
880.05/882.43 c #Conflicts: 608000 | #Constraints: 35970
880.05/882.43 c #Conflicts: 609000 | #Constraints: 36970
880.05/882.43 c #Conflicts: 610000 | #Constraints: 37970
880.05/882.43 c #Conflicts: 611000 | #Constraints: 38970
880.05/882.43 c #Conflicts: 612000 | #Constraints: 39970
880.05/882.43 c #Conflicts: 613000 | #Constraints: 40970
880.05/882.43 c #Conflicts: 614000 | #Constraints: 41970
880.05/882.43 c #Conflicts: 615000 | #Constraints: 42970
880.05/882.43 c INPROCESSING
880.05/882.43 c GARBAGE COLLECT
880.05/882.43 c #Conflicts: 616000 | #Constraints: 25699
880.05/882.43 c #Conflicts: 617000 | #Constraints: 26699
880.05/882.43 c #Conflicts: 618000 | #Constraints: 27699
880.05/882.43 c #Conflicts: 619000 | #Constraints: 28699
880.05/882.43 c #Conflicts: 620000 | #Constraints: 29699
880.05/882.43 c #Conflicts: 621000 | #Constraints: 30699
880.05/882.43 c #Conflicts: 622000 | #Constraints: 31699
880.05/882.43 c #Conflicts: 623000 | #Constraints: 32699
880.05/882.43 c #Conflicts: 624000 | #Constraints: 33699
880.05/882.43 c #Conflicts: 625000 | #Constraints: 34699
880.05/882.43 c #Conflicts: 626000 | #Constraints: 35699
880.05/882.43 c #Conflicts: 627000 | #Constraints: 36699
880.05/882.43 c #Conflicts: 628000 | #Constraints: 37699
880.05/882.43 c #Conflicts: 629000 | #Constraints: 38699
880.05/882.43 c #Conflicts: 630000 | #Constraints: 39699
880.05/882.43 c #Conflicts: 631000 | #Constraints: 40699
880.05/882.43 c #Conflicts: 632000 | #Constraints: 41699
880.05/882.43 c INPROCESSING
880.05/882.43 c GARBAGE COLLECT
880.05/882.43 c #Conflicts: 633000 | #Constraints: 24862
880.05/882.43 c #Conflicts: 634000 | #Constraints: 25862
880.05/882.43 c #Conflicts: 635000 | #Constraints: 26862
880.05/882.43 c #Conflicts: 636000 | #Constraints: 27862
880.05/882.43 c #Conflicts: 637000 | #Constraints: 28862
880.05/882.43 c #Conflicts: 638000 | #Constraints: 29862
880.05/882.43 c #Conflicts: 639000 | #Constraints: 30862
880.05/882.43 c #Conflicts: 640000 | #Constraints: 31862
880.05/882.43 c #Conflicts: 641000 | #Constraints: 32862
880.05/882.43 c #Conflicts: 642000 | #Constraints: 33862
880.05/882.43 c #Conflicts: 643000 | #Constraints: 34862
880.05/882.43 c #Conflicts: 644000 | #Constraints: 35862
880.05/882.43 c #Conflicts: 645000 | #Constraints: 36862
880.05/882.43 c #Conflicts: 646000 | #Constraints: 37862
880.05/882.43 c #Conflicts: 647000 | #Constraints: 38862
880.05/882.43 c #Conflicts: 648000 | #Constraints: 39862
880.05/882.43 c #Conflicts: 649000 | #Constraints: 40862
880.05/882.43 c #Conflicts: 650000 | #Constraints: 41862
880.05/882.43 c #Conflicts: 651000 | #Constraints: 42862
880.05/882.43 c #Conflicts: 652000 | #Constraints: 43862
880.05/882.43 c #Conflicts: 653000 | #Constraints: 44862
880.05/882.43 c #Conflicts: 654000 | #Constraints: 45862
880.05/882.43 c #Conflicts: 655000 | #Constraints: 46862
880.05/882.43 c #Conflicts: 656000 | #Constraints: 47862
880.05/882.43 c #Conflicts: 657000 | #Constraints: 48862
1051.52/1054.33 c #Conflicts: 658000 | #Constraints: 49862
1051.52/1054.33 c #Conflicts: 659000 | #Constraints: 50862
1051.52/1054.33 c #Conflicts: 660000 | #Constraints: 51862
1051.52/1054.33 c #Conflicts: 661000 | #Constraints: 52862
1051.52/1054.33 c #Conflicts: 662000 | #Constraints: 53862
1051.52/1054.33 c #Conflicts: 663000 | #Constraints: 54862
1051.52/1054.33 c #Conflicts: 664000 | #Constraints: 55862
1051.52/1054.33 c #Conflicts: 665000 | #Constraints: 56862
1051.52/1054.33 c #Conflicts: 666000 | #Constraints: 57862
1051.52/1054.33 c #Conflicts: 667000 | #Constraints: 58862
1051.52/1054.33 c #Conflicts: 668000 | #Constraints: 59862
1051.52/1054.33 c #Conflicts: 669000 | #Constraints: 60862
1051.52/1054.33 c #Conflicts: 670000 | #Constraints: 61862
1051.52/1054.33 c #Conflicts: 671000 | #Constraints: 62862
1051.52/1054.33 c #Conflicts: 672000 | #Constraints: 63862
1051.52/1054.33 c #Conflicts: 673000 | #Constraints: 64862
1051.52/1054.33 c #Conflicts: 674000 | #Constraints: 65862
1051.52/1054.33 c #Conflicts: 675000 | #Constraints: 66862
1051.52/1054.33 c #Conflicts: 676000 | #Constraints: 67862
1051.52/1054.33 c #Conflicts: 677000 | #Constraints: 68862
1051.52/1054.33 c #Conflicts: 678000 | #Constraints: 69862
1051.52/1054.33 c #Conflicts: 679000 | #Constraints: 70862
1051.52/1054.33 c #Conflicts: 680000 | #Constraints: 71862
1051.52/1054.33 c #Conflicts: 681000 | #Constraints: 72862
1051.52/1054.33 c #Conflicts: 682000 | #Constraints: 73862
1051.52/1054.33 c #Conflicts: 683000 | #Constraints: 74862
1051.52/1054.33 c #Conflicts: 684000 | #Constraints: 75862
1051.52/1054.33 c #Conflicts: 685000 | #Constraints: 76862
1051.52/1054.33 c #Conflicts: 686000 | #Constraints: 77862
1051.52/1054.33 c #Conflicts: 687000 | #Constraints: 78862
1051.52/1054.33 c #Conflicts: 688000 | #Constraints: 79862
1051.52/1054.33 c #Conflicts: 689000 | #Constraints: 80862
1051.52/1054.33 c #Conflicts: 690000 | #Constraints: 81862
1051.52/1054.33 c #Conflicts: 691000 | #Constraints: 82862
1051.52/1054.33 c #Conflicts: 692000 | #Constraints: 83862
1051.52/1054.33 c #Conflicts: 693000 | #Constraints: 84862
1051.52/1054.33 c #Conflicts: 694000 | #Constraints: 85862
1051.52/1054.33 c #Conflicts: 695000 | #Constraints: 86862
1051.52/1054.33 c #Conflicts: 696000 | #Constraints: 87862
1051.52/1054.33 c INPROCESSING
1051.52/1054.33 c GARBAGE COLLECT
1051.52/1054.33 c #Conflicts: 697000 | #Constraints: 47843
1051.52/1054.33 c #Conflicts: 698000 | #Constraints: 48843
1051.52/1054.33 c #Conflicts: 699000 | #Constraints: 49843
1051.52/1054.33 c #Conflicts: 700000 | #Constraints: 50843
1051.52/1054.33 c #Conflicts: 701000 | #Constraints: 51843
1051.52/1054.33 c #Conflicts: 702000 | #Constraints: 52843
1051.52/1054.33 c #Conflicts: 703000 | #Constraints: 53843
1051.52/1054.33 c #Conflicts: 704000 | #Constraints: 54843
1051.52/1054.33 c #Conflicts: 705000 | #Constraints: 55843
1051.52/1054.33 c #Conflicts: 706000 | #Constraints: 56843
1051.52/1054.33 c #Conflicts: 707000 | #Constraints: 57843
1051.52/1054.33 c #Conflicts: 708000 | #Constraints: 58843
1051.52/1054.33 c #Conflicts: 709000 | #Constraints: 59843
1051.52/1054.33 c #Conflicts: 710000 | #Constraints: 60843
1051.52/1054.33 c #Conflicts: 711000 | #Constraints: 61843
1051.52/1054.33 c #Conflicts: 712000 | #Constraints: 62843
1051.52/1054.33 c #Conflicts: 713000 | #Constraints: 63843
1051.52/1054.33 c #Conflicts: 714000 | #Constraints: 64843
1051.52/1054.33 c #Conflicts: 715000 | #Constraints: 65843
1051.52/1054.33 c INPROCESSING
1051.52/1054.33 c GARBAGE COLLECT
1051.52/1054.33 c #Conflicts: 716000 | #Constraints: 36898
1051.52/1054.33 c #Conflicts: 717000 | #Constraints: 37898
1051.52/1054.33 c #Conflicts: 718000 | #Constraints: 38898
1051.52/1054.33 c #Conflicts: 719000 | #Constraints: 39898
1051.52/1054.33 c #Conflicts: 720000 | #Constraints: 40898
1051.52/1054.33 c #Conflicts: 721000 | #Constraints: 41898
1051.52/1054.33 c #Conflicts: 722000 | #Constraints: 42898
1051.52/1054.33 c #Conflicts: 723000 | #Constraints: 43898
1051.52/1054.33 c #Conflicts: 724000 | #Constraints: 44898
1051.52/1054.33 c #Conflicts: 725000 | #Constraints: 45898
1051.52/1054.33 c #Conflicts: 726000 | #Constraints: 46898
1051.52/1054.33 c #Conflicts: 727000 | #Constraints: 47898
1051.52/1054.33 c #Conflicts: 728000 | #Constraints: 48898
1051.52/1054.33 c #Conflicts: 729000 | #Constraints: 49898
1051.52/1054.33 c #Conflicts: 730000 | #Constraints: 50898
1051.52/1054.33 c #Conflicts: 731000 | #Constraints: 51898
1051.52/1054.33 c #Conflicts: 732000 | #Constraints: 52898
1051.52/1054.33 c #Conflicts: 733000 | #Constraints: 53898
1051.52/1054.33 c #Conflicts: 734000 | #Constraints: 54898
1051.52/1054.33 c INPROCESSING
1051.52/1054.33 c GARBAGE COLLECT
1051.52/1054.37 c rational objective 84
1081.75/1084.64 c #Conflicts: 735000 | #Constraints: 31421
1081.75/1084.64 c #Conflicts: 736000 | #Constraints: 32421
1081.75/1084.64 c #Conflicts: 737000 | #Constraints: 33421
1081.75/1084.64 c #Conflicts: 738000 | #Constraints: 34421
1081.75/1084.64 c #Conflicts: 739000 | #Constraints: 35421
1081.75/1084.64 c #Conflicts: 740000 | #Constraints: 36421
1081.75/1084.64 c #Conflicts: 741000 | #Constraints: 37421
1081.75/1084.64 c #Conflicts: 742000 | #Constraints: 38421
1081.75/1084.64 c #Conflicts: 743000 | #Constraints: 39421
1081.75/1084.64 c #Conflicts: 744000 | #Constraints: 40421
1081.75/1084.64 c #Conflicts: 745000 | #Constraints: 41421
1081.75/1084.64 c #Conflicts: 746000 | #Constraints: 42421
1081.75/1084.64 c #Conflicts: 747000 | #Constraints: 43421
1081.75/1084.64 c #Conflicts: 748000 | #Constraints: 44421
1081.75/1084.64 c #Conflicts: 749000 | #Constraints: 45421
1081.75/1084.64 c #Conflicts: 750000 | #Constraints: 46421
1081.75/1084.64 c #Conflicts: 751000 | #Constraints: 47421
1081.75/1084.64 c #Conflicts: 752000 | #Constraints: 48421
1081.75/1084.64 c #Conflicts: 753000 | #Constraints: 49421
1081.75/1084.64 c INPROCESSING
1081.75/1084.64 c GARBAGE COLLECT
1081.75/1084.64 c rational objective 84
1193.77/1196.92 c #Conflicts: 754000 | #Constraints: 28692
1193.77/1196.92 c #Conflicts: 755000 | #Constraints: 29692
1193.77/1196.92 c #Conflicts: 756000 | #Constraints: 30692
1193.77/1196.92 c #Conflicts: 757000 | #Constraints: 31692
1193.77/1196.92 c #Conflicts: 758000 | #Constraints: 32692
1193.77/1196.92 c #Conflicts: 759000 | #Constraints: 33692
1193.77/1196.92 c #Conflicts: 760000 | #Constraints: 34692
1193.77/1196.92 c #Conflicts: 761000 | #Constraints: 35692
1193.77/1196.92 c #Conflicts: 762000 | #Constraints: 36692
1193.77/1196.92 c #Conflicts: 763000 | #Constraints: 37692
1193.77/1196.92 c #Conflicts: 764000 | #Constraints: 38692
1193.77/1196.92 c #Conflicts: 765000 | #Constraints: 39692
1193.77/1196.92 c #Conflicts: 766000 | #Constraints: 40692
1193.77/1196.92 c #Conflicts: 767000 | #Constraints: 41692
1193.77/1196.92 c #Conflicts: 768000 | #Constraints: 42692
1193.77/1196.92 c #Conflicts: 769000 | #Constraints: 43692
1193.77/1196.92 c #Conflicts: 770000 | #Constraints: 44692
1193.77/1196.92 c #Conflicts: 771000 | #Constraints: 45692
1193.77/1196.92 c #Conflicts: 772000 | #Constraints: 46692
1193.77/1196.92 c INPROCESSING
1193.77/1196.92 c GARBAGE COLLECT
1193.77/1196.92 c #Conflicts: 773000 | #Constraints: 27166
1193.77/1196.92 c #Conflicts: 774000 | #Constraints: 28166
1193.77/1196.92 c #Conflicts: 775000 | #Constraints: 29166
1193.77/1196.92 c #Conflicts: 776000 | #Constraints: 30166
1193.77/1196.92 c #Conflicts: 777000 | #Constraints: 31166
1193.77/1196.92 c #Conflicts: 778000 | #Constraints: 32166
1193.77/1196.92 c #Conflicts: 779000 | #Constraints: 33166
1193.77/1196.92 c #Conflicts: 780000 | #Constraints: 34166
1193.77/1196.92 c #Conflicts: 781000 | #Constraints: 35166
1193.77/1196.92 c #Conflicts: 782000 | #Constraints: 36167
1193.77/1196.92 c #Conflicts: 783000 | #Constraints: 37167
1193.77/1196.92 c #Conflicts: 784000 | #Constraints: 38167
1193.77/1196.92 c #Conflicts: 785000 | #Constraints: 39167
1193.77/1196.92 c #Conflicts: 786000 | #Constraints: 40167
1193.77/1196.92 c #Conflicts: 787000 | #Constraints: 41167
1193.77/1196.92 c #Conflicts: 788000 | #Constraints: 42167
1193.77/1196.92 c #Conflicts: 789000 | #Constraints: 43167
1193.77/1196.92 c #Conflicts: 790000 | #Constraints: 44167
1193.77/1196.92 c #Conflicts: 791000 | #Constraints: 45167
1193.77/1196.92 c #Conflicts: 792000 | #Constraints: 46167
1193.77/1196.92 c INPROCESSING
1193.77/1196.92 c GARBAGE COLLECT
1193.77/1196.92 c #Conflicts: 793000 | #Constraints: 27300
1193.77/1196.92 c #Conflicts: 794000 | #Constraints: 28300
1193.77/1196.92 c #Conflicts: 795000 | #Constraints: 29300
1193.77/1196.92 c #Conflicts: 796000 | #Constraints: 30300
1193.77/1196.92 c #Conflicts: 797000 | #Constraints: 31300
1193.77/1196.92 c #Conflicts: 798000 | #Constraints: 32300
1193.77/1196.92 c #Conflicts: 799000 | #Constraints: 33300
1193.77/1196.92 c #Conflicts: 800000 | #Constraints: 34300
1193.77/1196.92 c #Conflicts: 801000 | #Constraints: 35300
1193.77/1196.92 c #Conflicts: 802000 | #Constraints: 36300
1193.77/1196.92 c #Conflicts: 803000 | #Constraints: 37300
1193.77/1196.92 c #Conflicts: 804000 | #Constraints: 38300
1193.77/1196.92 c #Conflicts: 805000 | #Constraints: 39300
1193.77/1196.92 c #Conflicts: 806000 | #Constraints: 40300
1193.77/1196.92 c #Conflicts: 807000 | #Constraints: 41300
1193.77/1196.92 c #Conflicts: 808000 | #Constraints: 42300
1193.77/1196.92 c #Conflicts: 809000 | #Constraints: 43300
1193.77/1196.92 c #Conflicts: 810000 | #Constraints: 44300
1193.77/1196.92 c #Conflicts: 811000 | #Constraints: 45300
1193.77/1196.92 c #Conflicts: 812000 | #Constraints: 46300
1193.77/1196.92 c #Conflicts: 813000 | #Constraints: 47300
1193.77/1196.92 c #Conflicts: 814000 | #Constraints: 48300
1193.77/1196.92 c #Conflicts: 815000 | #Constraints: 49300
1193.77/1196.92 c #Conflicts: 816000 | #Constraints: 50300
1193.77/1196.92 c #Conflicts: 817000 | #Constraints: 51300
1193.77/1196.92 c #Conflicts: 818000 | #Constraints: 52300
1193.77/1196.92 c #Conflicts: 819000 | #Constraints: 53300
1193.77/1196.92 c #Conflicts: 820000 | #Constraints: 54300
1193.77/1196.92 c #Conflicts: 821000 | #Constraints: 55300
1193.77/1196.92 c #Conflicts: 822000 | #Constraints: 56300
1193.77/1196.92 c #Conflicts: 823000 | #Constraints: 57300
1193.77/1196.92 c #Conflicts: 824000 | #Constraints: 58300
1193.77/1196.92 c #Conflicts: 825000 | #Constraints: 59300
1193.77/1196.92 c #Conflicts: 826000 | #Constraints: 60300
1193.77/1196.92 c #Conflicts: 827000 | #Constraints: 61300
1193.77/1196.92 c #Conflicts: 828000 | #Constraints: 62300
1193.77/1196.92 c #Conflicts: 829000 | #Constraints: 63300
1193.77/1196.92 c #Conflicts: 830000 | #Constraints: 64300
1193.77/1196.92 c #Conflicts: 831000 | #Constraints: 65300
1303.39/1306.88 c #Conflicts: 832000 | #Constraints: 66300
1303.39/1306.88 c #Conflicts: 833000 | #Constraints: 67300
1303.39/1306.88 c #Conflicts: 834000 | #Constraints: 68300
1303.39/1306.88 c #Conflicts: 835000 | #Constraints: 69300
1303.39/1306.88 c #Conflicts: 836000 | #Constraints: 70300
1303.39/1306.88 c #Conflicts: 837000 | #Constraints: 71300
1303.39/1306.88 c #Conflicts: 838000 | #Constraints: 72300
1303.39/1306.88 c #Conflicts: 839000 | #Constraints: 73300
1303.39/1306.88 c #Conflicts: 840000 | #Constraints: 74300
1303.39/1306.88 c #Conflicts: 841000 | #Constraints: 75300
1303.39/1306.88 c #Conflicts: 842000 | #Constraints: 76300
1303.39/1306.88 c #Conflicts: 843000 | #Constraints: 77300
1303.39/1306.88 c #Conflicts: 844000 | #Constraints: 78300
1303.39/1306.88 c #Conflicts: 845000 | #Constraints: 79300
1303.39/1306.88 c #Conflicts: 846000 | #Constraints: 80300
1303.39/1306.88 c #Conflicts: 847000 | #Constraints: 81300
1303.39/1306.88 c #Conflicts: 848000 | #Constraints: 82300
1303.39/1306.88 c #Conflicts: 849000 | #Constraints: 83300
1303.39/1306.88 c #Conflicts: 850000 | #Constraints: 84300
1303.39/1306.88 c #Conflicts: 851000 | #Constraints: 85300
1303.39/1306.88 c #Conflicts: 852000 | #Constraints: 86300
1303.39/1306.88 c #Conflicts: 853000 | #Constraints: 87300
1303.39/1306.88 c #Conflicts: 854000 | #Constraints: 88300
1303.39/1306.88 c #Conflicts: 855000 | #Constraints: 89300
1303.39/1306.88 c #Conflicts: 856000 | #Constraints: 90300
1303.39/1306.88 c #Conflicts: 857000 | #Constraints: 91300
1303.39/1306.88 c #Conflicts: 858000 | #Constraints: 92300
1303.39/1306.88 c #Conflicts: 859000 | #Constraints: 93300
1303.39/1306.88 c #Conflicts: 860000 | #Constraints: 94300
1303.39/1306.88 c #Conflicts: 861000 | #Constraints: 95300
1303.39/1306.88 c #Conflicts: 862000 | #Constraints: 96300
1303.39/1306.88 c #Conflicts: 863000 | #Constraints: 97300
1303.39/1306.88 c #Conflicts: 864000 | #Constraints: 98300
1303.39/1306.88 c INPROCESSING
1303.39/1306.88 c GARBAGE COLLECT
1303.39/1306.88 c rational objective 84
1430.16/1433.92 c #Conflicts: 865000 | #Constraints: 53323
1430.16/1433.92 c #Conflicts: 866000 | #Constraints: 54323
1430.16/1433.92 c #Conflicts: 867000 | #Constraints: 55323
1430.16/1433.92 c #Conflicts: 868000 | #Constraints: 56323
1430.16/1433.92 c #Conflicts: 869000 | #Constraints: 57323
1430.16/1433.92 c #Conflicts: 870000 | #Constraints: 58323
1430.16/1433.92 c #Conflicts: 871000 | #Constraints: 59323
1430.16/1433.92 c #Conflicts: 872000 | #Constraints: 60323
1430.16/1433.92 c #Conflicts: 873000 | #Constraints: 61323
1430.16/1433.92 c #Conflicts: 874000 | #Constraints: 62323
1430.16/1433.92 c #Conflicts: 875000 | #Constraints: 63323
1430.16/1433.92 c #Conflicts: 876000 | #Constraints: 64323
1430.16/1433.92 c #Conflicts: 877000 | #Constraints: 65323
1430.16/1433.92 c #Conflicts: 878000 | #Constraints: 66323
1430.16/1433.92 c #Conflicts: 879000 | #Constraints: 67323
1430.16/1433.92 c #Conflicts: 880000 | #Constraints: 68323
1430.16/1433.92 c #Conflicts: 881000 | #Constraints: 69323
1430.16/1433.92 c #Conflicts: 882000 | #Constraints: 70323
1430.16/1433.92 c #Conflicts: 883000 | #Constraints: 71323
1430.16/1433.92 c #Conflicts: 884000 | #Constraints: 72323
1430.16/1433.92 c #Conflicts: 885000 | #Constraints: 73323
1430.16/1433.92 c INPROCESSING
1430.16/1433.92 c GARBAGE COLLECT
1430.16/1433.92 c #Conflicts: 886000 | #Constraints: 40934
1430.16/1433.92 c #Conflicts: 887000 | #Constraints: 41934
1430.16/1433.92 c #Conflicts: 888000 | #Constraints: 42934
1430.16/1433.92 c #Conflicts: 889000 | #Constraints: 43934
1430.16/1433.92 c #Conflicts: 890000 | #Constraints: 44934
1430.16/1433.92 c #Conflicts: 891000 | #Constraints: 45934
1430.16/1433.92 c #Conflicts: 892000 | #Constraints: 46934
1430.16/1433.92 c #Conflicts: 893000 | #Constraints: 47934
1430.16/1433.92 c #Conflicts: 894000 | #Constraints: 48934
1430.16/1433.92 c #Conflicts: 895000 | #Constraints: 49934
1430.16/1433.92 c #Conflicts: 896000 | #Constraints: 50935
1430.16/1433.92 c #Conflicts: 897000 | #Constraints: 51935
1430.16/1433.92 c #Conflicts: 898000 | #Constraints: 52935
1430.16/1433.92 c #Conflicts: 899000 | #Constraints: 53935
1430.16/1433.92 c #Conflicts: 900000 | #Constraints: 54935
1430.16/1433.92 c #Conflicts: 901000 | #Constraints: 55935
1430.16/1433.92 c #Conflicts: 902000 | #Constraints: 56935
1430.16/1433.92 c #Conflicts: 903000 | #Constraints: 57935
1430.16/1433.92 c #Conflicts: 904000 | #Constraints: 58935
1430.16/1433.92 c #Conflicts: 905000 | #Constraints: 59935
1430.16/1433.92 c #Conflicts: 906000 | #Constraints: 60935
1430.16/1433.92 c INPROCESSING
1430.16/1433.92 c GARBAGE COLLECT
1430.16/1433.92 c #Conflicts: 907000 | #Constraints: 34691
1430.16/1433.92 c #Conflicts: 908000 | #Constraints: 35691
1430.16/1433.92 c #Conflicts: 909000 | #Constraints: 36691
1430.16/1433.92 c #Conflicts: 910000 | #Constraints: 37691
1430.16/1433.92 c #Conflicts: 911000 | #Constraints: 38691
1430.16/1433.92 c #Conflicts: 912000 | #Constraints: 39691
1430.16/1433.92 c #Conflicts: 913000 | #Constraints: 40691
1430.16/1433.92 c #Conflicts: 914000 | #Constraints: 41691
1430.16/1433.92 c #Conflicts: 915000 | #Constraints: 42691
1430.16/1433.92 c #Conflicts: 916000 | #Constraints: 43691
1430.16/1433.92 c #Conflicts: 917000 | #Constraints: 44691
1430.16/1433.92 c #Conflicts: 918000 | #Constraints: 45691
1430.16/1433.92 c #Conflicts: 919000 | #Constraints: 46691
1430.16/1433.92 c #Conflicts: 920000 | #Constraints: 47691
1430.16/1433.92 c #Conflicts: 921000 | #Constraints: 48691
1430.16/1433.92 c #Conflicts: 922000 | #Constraints: 49691
1430.16/1433.92 c #Conflicts: 923000 | #Constraints: 50691
1430.16/1433.92 c #Conflicts: 924000 | #Constraints: 51691
1430.16/1433.92 c #Conflicts: 925000 | #Constraints: 52691
1430.16/1433.92 c #Conflicts: 926000 | #Constraints: 53691
1430.16/1433.92 c #Conflicts: 927000 | #Constraints: 54691
1430.16/1433.92 c INPROCESSING
1430.16/1433.92 c GARBAGE COLLECT
1430.16/1433.92 c #Conflicts: 928000 | #Constraints: 31484
1430.16/1433.92 c #Conflicts: 929000 | #Constraints: 32484
1430.16/1433.92 c #Conflicts: 930000 | #Constraints: 33484
1430.16/1433.92 c #Conflicts: 931000 | #Constraints: 34484
1430.16/1433.92 c #Conflicts: 932000 | #Constraints: 35484
1430.16/1433.92 c #Conflicts: 933000 | #Constraints: 36485
1430.16/1433.92 c #Conflicts: 934000 | #Constraints: 37485
1430.16/1433.92 c #Conflicts: 935000 | #Constraints: 38485
1430.16/1433.92 c #Conflicts: 936000 | #Constraints: 39485
1430.16/1433.92 c #Conflicts: 937000 | #Constraints: 40485
1430.16/1433.92 c #Conflicts: 938000 | #Constraints: 41485
1430.16/1433.92 c #Conflicts: 939000 | #Constraints: 42485
1430.16/1433.92 c #Conflicts: 940000 | #Constraints: 43485
1430.16/1433.92 c #Conflicts: 941000 | #Constraints: 44485
1576.98/1581.19 c #Conflicts: 942000 | #Constraints: 45485
1576.98/1581.19 c #Conflicts: 943000 | #Constraints: 46485
1576.98/1581.19 c #Conflicts: 944000 | #Constraints: 47485
1576.98/1581.19 c #Conflicts: 945000 | #Constraints: 48485
1576.98/1581.19 c #Conflicts: 946000 | #Constraints: 49485
1576.98/1581.19 c #Conflicts: 947000 | #Constraints: 50485
1576.98/1581.19 c #Conflicts: 948000 | #Constraints: 51485
1576.98/1581.19 c INPROCESSING
1576.98/1581.19 c GARBAGE COLLECT
1576.98/1581.19 c #Conflicts: 949000 | #Constraints: 29726
1576.98/1581.19 c #Conflicts: 950000 | #Constraints: 30726
1576.98/1581.19 c #Conflicts: 951000 | #Constraints: 31726
1576.98/1581.19 c #Conflicts: 952000 | #Constraints: 32726
1576.98/1581.19 c #Conflicts: 953000 | #Constraints: 33726
1576.98/1581.19 c #Conflicts: 954000 | #Constraints: 34726
1576.98/1581.19 c #Conflicts: 955000 | #Constraints: 35726
1576.98/1581.19 c #Conflicts: 956000 | #Constraints: 36726
1576.98/1581.19 c #Conflicts: 957000 | #Constraints: 37726
1576.98/1581.19 c #Conflicts: 958000 | #Constraints: 38726
1576.98/1581.19 c #Conflicts: 959000 | #Constraints: 39726
1576.98/1581.19 c #Conflicts: 960000 | #Constraints: 40726
1576.98/1581.19 c #Conflicts: 961000 | #Constraints: 41726
1576.98/1581.19 c #Conflicts: 962000 | #Constraints: 42726
1576.98/1581.19 c #Conflicts: 963000 | #Constraints: 43726
1576.98/1581.19 c #Conflicts: 964000 | #Constraints: 44726
1576.98/1581.19 c #Conflicts: 965000 | #Constraints: 45726
1576.98/1581.19 c #Conflicts: 966000 | #Constraints: 46726
1576.98/1581.19 c #Conflicts: 967000 | #Constraints: 47726
1576.98/1581.19 c #Conflicts: 968000 | #Constraints: 48726
1576.98/1581.19 c #Conflicts: 969000 | #Constraints: 49726
1576.98/1581.19 c #Conflicts: 970000 | #Constraints: 50726
1576.98/1581.19 c INPROCESSING
1576.98/1581.19 c GARBAGE COLLECT
1576.98/1581.19 c #Conflicts: 971000 | #Constraints: 29512
1576.98/1581.19 c #Conflicts: 972000 | #Constraints: 30512
1576.98/1581.19 c #Conflicts: 973000 | #Constraints: 31512
1576.98/1581.19 c #Conflicts: 974000 | #Constraints: 32512
1576.98/1581.19 c #Conflicts: 975000 | #Constraints: 33512
1576.98/1581.19 c #Conflicts: 976000 | #Constraints: 34512
1576.98/1581.19 c #Conflicts: 977000 | #Constraints: 35512
1576.98/1581.19 c #Conflicts: 978000 | #Constraints: 36512
1576.98/1581.19 c #Conflicts: 979000 | #Constraints: 37512
1576.98/1581.19 c #Conflicts: 980000 | #Constraints: 38512
1576.98/1581.19 c #Conflicts: 981000 | #Constraints: 39512
1576.98/1581.19 c #Conflicts: 982000 | #Constraints: 40512
1576.98/1581.19 c #Conflicts: 983000 | #Constraints: 41512
1576.98/1581.19 c #Conflicts: 984000 | #Constraints: 42512
1576.98/1581.19 c #Conflicts: 985000 | #Constraints: 43512
1576.98/1581.19 c #Conflicts: 986000 | #Constraints: 44512
1576.98/1581.19 c #Conflicts: 987000 | #Constraints: 45512
1576.98/1581.19 c #Conflicts: 988000 | #Constraints: 46512
1576.98/1581.19 c #Conflicts: 989000 | #Constraints: 47512
1576.98/1581.19 c #Conflicts: 990000 | #Constraints: 48512
1576.98/1581.19 c #Conflicts: 991000 | #Constraints: 49512
1576.98/1581.19 c #Conflicts: 992000 | #Constraints: 50512
1576.98/1581.19 c #Conflicts: 993000 | #Constraints: 51512
1576.98/1581.19 c #Conflicts: 994000 | #Constraints: 52512
1576.98/1581.19 c #Conflicts: 995000 | #Constraints: 53512
1576.98/1581.19 c #Conflicts: 996000 | #Constraints: 54512
1576.98/1581.19 c #Conflicts: 997000 | #Constraints: 55512
1576.98/1581.19 c #Conflicts: 998000 | #Constraints: 56512
1576.98/1581.19 c #Conflicts: 999000 | #Constraints: 57512
1576.98/1581.19 c #Conflicts: 1000000 | #Constraints: 58512
1576.98/1581.19 c #Conflicts: 1001000 | #Constraints: 59512
1576.98/1581.19 c #Conflicts: 1002000 | #Constraints: 60512
1576.98/1581.19 c #Conflicts: 1003000 | #Constraints: 61512
1576.98/1581.19 c #Conflicts: 1004000 | #Constraints: 62512
1576.98/1581.19 c #Conflicts: 1005000 | #Constraints: 63512
1576.98/1581.19 c #Conflicts: 1006000 | #Constraints: 64512
1576.98/1581.19 c #Conflicts: 1007000 | #Constraints: 65512
1576.98/1581.19 c #Conflicts: 1008000 | #Constraints: 66512
1576.98/1581.19 c #Conflicts: 1009000 | #Constraints: 67512
1576.98/1581.19 c #Conflicts: 1010000 | #Constraints: 68512
1576.98/1581.19 c #Conflicts: 1011000 | #Constraints: 69512
1576.98/1581.19 c #Conflicts: 1012000 | #Constraints: 70512
1576.98/1581.19 c #Conflicts: 1013000 | #Constraints: 71512
1576.98/1581.19 c #Conflicts: 1014000 | #Constraints: 72512
1576.98/1581.19 c #Conflicts: 1015000 | #Constraints: 73512
1576.98/1581.19 c #Conflicts: 1016000 | #Constraints: 74512
1576.98/1581.19 c #Conflicts: 1017000 | #Constraints: 75512
1576.98/1581.19 c #Conflicts: 1018000 | #Constraints: 76512
1576.98/1581.19 c #Conflicts: 1019000 | #Constraints: 77512
1675.03/1679.47 c #Conflicts: 1020000 | #Constraints: 78512
1675.03/1679.47 c #Conflicts: 1021000 | #Constraints: 79512
1675.03/1679.47 c #Conflicts: 1022000 | #Constraints: 80512
1675.03/1679.47 c #Conflicts: 1023000 | #Constraints: 81512
1675.03/1679.47 c #Conflicts: 1024000 | #Constraints: 82512
1675.03/1679.47 c #Conflicts: 1025000 | #Constraints: 83512
1675.03/1679.47 c #Conflicts: 1026000 | #Constraints: 84512
1675.03/1679.47 c #Conflicts: 1027000 | #Constraints: 85512
1675.03/1679.47 c #Conflicts: 1028000 | #Constraints: 86512
1675.03/1679.47 c #Conflicts: 1029000 | #Constraints: 87512
1675.03/1679.47 c #Conflicts: 1030000 | #Constraints: 88512
1675.03/1679.47 c #Conflicts: 1031000 | #Constraints: 89512
1675.03/1679.47 c #Conflicts: 1032000 | #Constraints: 90512
1675.03/1679.47 c #Conflicts: 1033000 | #Constraints: 91512
1675.03/1679.47 c #Conflicts: 1034000 | #Constraints: 92512
1675.03/1679.47 c #Conflicts: 1035000 | #Constraints: 93512
1675.03/1679.47 c #Conflicts: 1036000 | #Constraints: 94512
1675.03/1679.47 c #Conflicts: 1037000 | #Constraints: 95512
1675.03/1679.47 c #Conflicts: 1038000 | #Constraints: 96512
1675.03/1679.47 c #Conflicts: 1039000 | #Constraints: 97512
1675.03/1679.47 c #Conflicts: 1040000 | #Constraints: 98512
1675.03/1679.47 c #Conflicts: 1041000 | #Constraints: 99512
1675.03/1679.47 c #Conflicts: 1042000 | #Constraints: 100512
1675.03/1679.47 c #Conflicts: 1043000 | #Constraints: 101513
1675.03/1679.47 c #Conflicts: 1044000 | #Constraints: 102513
1675.03/1679.47 c #Conflicts: 1045000 | #Constraints: 103513
1675.03/1679.47 c #Conflicts: 1046000 | #Constraints: 104513
1675.03/1679.47 c #Conflicts: 1047000 | #Constraints: 105513
1675.03/1679.47 c #Conflicts: 1048000 | #Constraints: 106513
1675.03/1679.47 c #Conflicts: 1049000 | #Constraints: 107513
1675.03/1679.47 c INPROCESSING
1675.03/1679.47 c GARBAGE COLLECT
1675.03/1679.47 c rational objective 84
1813.87/1818.67 c #Conflicts: 1050000 | #Constraints: 57769
1813.87/1818.67 c #Conflicts: 1051000 | #Constraints: 58769
1813.87/1818.67 c #Conflicts: 1052000 | #Constraints: 59769
1813.87/1818.67 c #Conflicts: 1053000 | #Constraints: 60769
1813.87/1818.67 c #Conflicts: 1054000 | #Constraints: 61769
1813.87/1818.67 c #Conflicts: 1055000 | #Constraints: 62769
1813.87/1818.67 c #Conflicts: 1056000 | #Constraints: 63769
1813.87/1818.67 c #Conflicts: 1057000 | #Constraints: 64769
1813.87/1818.67 c #Conflicts: 1058000 | #Constraints: 65769
1813.87/1818.67 c #Conflicts: 1059000 | #Constraints: 66769
1813.87/1818.67 c #Conflicts: 1060000 | #Constraints: 67769
1813.87/1818.67 c #Conflicts: 1061000 | #Constraints: 68769
1813.87/1818.67 c #Conflicts: 1062000 | #Constraints: 69769
1813.87/1818.67 c #Conflicts: 1063000 | #Constraints: 70769
1813.87/1818.67 c #Conflicts: 1064000 | #Constraints: 71769
1813.87/1818.67 c #Conflicts: 1065000 | #Constraints: 72769
1813.87/1818.67 c #Conflicts: 1066000 | #Constraints: 73769
1813.87/1818.67 c #Conflicts: 1067000 | #Constraints: 74769
1813.87/1818.67 c #Conflicts: 1068000 | #Constraints: 75769
1813.87/1818.67 c #Conflicts: 1069000 | #Constraints: 76769
1813.87/1818.67 c #Conflicts: 1070000 | #Constraints: 77769
1813.87/1818.67 c #Conflicts: 1071000 | #Constraints: 78769
1813.87/1818.67 c #Conflicts: 1072000 | #Constraints: 79769
1813.87/1818.67 c INPROCESSING
1813.87/1818.67 c GARBAGE COLLECT
1813.87/1818.67 c #Conflicts: 1073000 | #Constraints: 43895
1813.87/1818.67 c #Conflicts: 1074000 | #Constraints: 44895
1813.87/1818.67 c #Conflicts: 1075000 | #Constraints: 45895
1813.87/1818.67 c #Conflicts: 1076000 | #Constraints: 46895
1813.87/1818.67 c #Conflicts: 1077000 | #Constraints: 47895
1813.87/1818.67 c #Conflicts: 1078000 | #Constraints: 48895
1813.87/1818.67 c #Conflicts: 1079000 | #Constraints: 49895
1813.87/1818.67 c #Conflicts: 1080000 | #Constraints: 50895
1813.87/1818.67 c #Conflicts: 1081000 | #Constraints: 51895
1813.87/1818.67 c #Conflicts: 1082000 | #Constraints: 52895
1813.87/1818.67 c #Conflicts: 1083000 | #Constraints: 53895
1813.87/1818.67 c #Conflicts: 1084000 | #Constraints: 54895
1813.87/1818.67 c #Conflicts: 1085000 | #Constraints: 55895
1813.87/1818.67 c #Conflicts: 1086000 | #Constraints: 56895
1813.87/1818.67 c #Conflicts: 1087000 | #Constraints: 57895
1813.87/1818.67 c #Conflicts: 1088000 | #Constraints: 58895
1813.87/1818.67 c #Conflicts: 1089000 | #Constraints: 59895
1813.87/1818.67 c #Conflicts: 1090000 | #Constraints: 60895
1813.87/1818.67 c #Conflicts: 1091000 | #Constraints: 61895
1813.87/1818.67 c #Conflicts: 1092000 | #Constraints: 62895
1813.87/1818.67 c #Conflicts: 1093000 | #Constraints: 63895
1813.87/1818.67 c #Conflicts: 1094000 | #Constraints: 64895
1813.87/1818.67 c #Conflicts: 1095000 | #Constraints: 65895
1813.87/1818.67 c INPROCESSING
1813.87/1818.67 c GARBAGE COLLECT
1813.87/1818.67 c #Conflicts: 1096000 | #Constraints: 36900
1813.87/1818.67 c #Conflicts: 1097000 | #Constraints: 37900
1813.87/1818.67 c #Conflicts: 1098000 | #Constraints: 38900
1813.87/1818.67 c #Conflicts: 1099000 | #Constraints: 39900
1813.87/1818.67 c #Conflicts: 1100000 | #Constraints: 40900
1813.87/1818.67 c #Conflicts: 1101000 | #Constraints: 41900
1813.87/1818.67 c #Conflicts: 1102000 | #Constraints: 42900
1813.87/1818.67 c #Conflicts: 1103000 | #Constraints: 43900
1813.87/1818.67 c #Conflicts: 1104000 | #Constraints: 44900
1813.87/1818.67 c #Conflicts: 1105000 | #Constraints: 45900
1813.87/1818.67 c #Conflicts: 1106000 | #Constraints: 46900
1813.87/1818.67 c #Conflicts: 1107000 | #Constraints: 47900
1813.87/1818.67 c #Conflicts: 1108000 | #Constraints: 48900
1813.87/1818.67 c #Conflicts: 1109000 | #Constraints: 49900
1813.87/1818.67 c #Conflicts: 1110000 | #Constraints: 50900
1813.87/1818.67 c #Conflicts: 1111000 | #Constraints: 51900
1813.87/1818.67 c #Conflicts: 1112000 | #Constraints: 52900
1813.87/1818.67 c #Conflicts: 1113000 | #Constraints: 53900
1813.87/1818.67 c #Conflicts: 1114000 | #Constraints: 54900
1813.87/1818.67 c #Conflicts: 1115000 | #Constraints: 55900
1813.87/1818.67 c #Conflicts: 1116000 | #Constraints: 56900
1813.87/1818.67 c #Conflicts: 1117000 | #Constraints: 57900
1813.87/1818.67 c #Conflicts: 1118000 | #Constraints: 58900
1813.87/1818.67 c INPROCESSING
1813.87/1818.67 c GARBAGE COLLECT
1813.87/1818.67 c rational objective 84
1920.50/1925.54 c #Conflicts: 1119000 | #Constraints: 33352
1920.50/1925.54 c #Conflicts: 1120000 | #Constraints: 34352
1920.50/1925.54 c #Conflicts: 1121000 | #Constraints: 35352
1920.50/1925.54 c #Conflicts: 1122000 | #Constraints: 36352
1920.50/1925.54 c #Conflicts: 1123000 | #Constraints: 37352
1920.50/1925.54 c #Conflicts: 1124000 | #Constraints: 38352
1920.50/1925.54 c #Conflicts: 1125000 | #Constraints: 39352
1920.50/1925.54 c #Conflicts: 1126000 | #Constraints: 40352
1920.50/1925.54 c #Conflicts: 1127000 | #Constraints: 41352
1920.50/1925.54 c #Conflicts: 1128000 | #Constraints: 42352
1920.50/1925.54 c #Conflicts: 1129000 | #Constraints: 43352
1920.50/1925.54 c #Conflicts: 1130000 | #Constraints: 44352
1920.50/1925.54 c #Conflicts: 1131000 | #Constraints: 45352
1920.50/1925.54 c #Conflicts: 1132000 | #Constraints: 46352
1920.50/1925.54 c #Conflicts: 1133000 | #Constraints: 47352
1920.50/1925.54 c #Conflicts: 1134000 | #Constraints: 48352
1920.50/1925.54 c #Conflicts: 1135000 | #Constraints: 49352
1920.50/1925.54 c #Conflicts: 1136000 | #Constraints: 50352
1920.50/1925.54 c #Conflicts: 1137000 | #Constraints: 51352
1920.50/1925.54 c #Conflicts: 1138000 | #Constraints: 52352
1920.50/1925.54 c #Conflicts: 1139000 | #Constraints: 53352
1920.50/1925.54 c #Conflicts: 1140000 | #Constraints: 54352
1920.50/1925.54 c #Conflicts: 1141000 | #Constraints: 55352
1920.50/1925.54 c #Conflicts: 1142000 | #Constraints: 56352
1920.50/1925.54 c INPROCESSING
1920.50/1925.54 c GARBAGE COLLECT
1920.50/1925.54 c #Conflicts: 1143000 | #Constraints: 32228
1920.50/1925.54 c #Conflicts: 1144000 | #Constraints: 33228
1920.50/1925.54 c #Conflicts: 1145000 | #Constraints: 34228
1920.50/1925.54 c #Conflicts: 1146000 | #Constraints: 35228
1920.50/1925.54 c #Conflicts: 1147000 | #Constraints: 36228
1920.50/1925.54 c #Conflicts: 1148000 | #Constraints: 37228
1920.50/1925.54 c #Conflicts: 1149000 | #Constraints: 38228
1920.50/1925.54 c #Conflicts: 1150000 | #Constraints: 39228
1920.50/1925.54 c #Conflicts: 1151000 | #Constraints: 40228
1920.50/1925.54 c #Conflicts: 1152000 | #Constraints: 41228
1920.50/1925.54 c #Conflicts: 1153000 | #Constraints: 42228
1920.50/1925.54 c #Conflicts: 1154000 | #Constraints: 43228
1920.50/1925.54 c #Conflicts: 1155000 | #Constraints: 44228
1920.50/1925.54 c #Conflicts: 1156000 | #Constraints: 45228
1920.50/1925.54 c #Conflicts: 1157000 | #Constraints: 46228
1920.50/1925.54 c #Conflicts: 1158000 | #Constraints: 47228
1920.50/1925.54 c #Conflicts: 1159000 | #Constraints: 48228
1920.50/1925.54 c #Conflicts: 1160000 | #Constraints: 49228
1920.50/1925.54 c #Conflicts: 1161000 | #Constraints: 50228
1920.50/1925.54 c #Conflicts: 1162000 | #Constraints: 51228
1920.50/1925.54 c #Conflicts: 1163000 | #Constraints: 52228
1920.50/1925.54 c #Conflicts: 1164000 | #Constraints: 53228
1920.50/1925.54 c #Conflicts: 1165000 | #Constraints: 54228
1920.50/1925.54 c #Conflicts: 1166000 | #Constraints: 55228
1920.50/1925.54 c INPROCESSING
1920.50/1925.54 c GARBAGE COLLECT
1920.50/1925.54 c #Conflicts: 1167000 | #Constraints: 31856
1920.50/1925.54 c #Conflicts: 1168000 | #Constraints: 32856
1920.50/1925.54 c #Conflicts: 1169000 | #Constraints: 33856
1920.50/1925.54 c #Conflicts: 1170000 | #Constraints: 34856
1920.50/1925.54 c #Conflicts: 1171000 | #Constraints: 35856
1920.50/1925.54 c #Conflicts: 1172000 | #Constraints: 36856
1920.50/1925.54 c #Conflicts: 1173000 | #Constraints: 37856
1920.50/1925.54 c #Conflicts: 1174000 | #Constraints: 38856
1920.50/1925.54 c #Conflicts: 1175000 | #Constraints: 39856
1920.50/1925.54 c #Conflicts: 1176000 | #Constraints: 40856
1920.50/1925.54 c #Conflicts: 1177000 | #Constraints: 41856
1920.50/1925.54 c #Conflicts: 1178000 | #Constraints: 42856
1920.50/1925.54 c #Conflicts: 1179000 | #Constraints: 43856
1920.50/1925.54 c #Conflicts: 1180000 | #Constraints: 44856
1920.50/1925.54 c #Conflicts: 1181000 | #Constraints: 45856
1920.50/1925.54 c #Conflicts: 1182000 | #Constraints: 46856
1920.50/1925.54 c #Conflicts: 1183000 | #Constraints: 47856
1920.50/1925.54 c #Conflicts: 1184000 | #Constraints: 48856
1920.50/1925.54 c #Conflicts: 1185000 | #Constraints: 49856
1920.50/1925.54 c #Conflicts: 1186000 | #Constraints: 50856
1920.50/1925.54 c #Conflicts: 1187000 | #Constraints: 51856
1920.50/1925.54 c #Conflicts: 1188000 | #Constraints: 52856
1920.50/1925.54 c #Conflicts: 1189000 | #Constraints: 53856
1920.50/1925.54 c #Conflicts: 1190000 | #Constraints: 54856
1920.50/1925.54 c INPROCESSING
1920.50/1925.54 c GARBAGE COLLECT
1920.50/1925.54 c #Conflicts: 1191000 | #Constraints: 31679
1920.50/1925.54 c #Conflicts: 1192000 | #Constraints: 32679
1920.50/1925.54 c #Conflicts: 1193000 | #Constraints: 33679
1920.50/1925.54 c #Conflicts: 1194000 | #Constraints: 34679
1920.50/1925.54 c #Conflicts: 1195000 | #Constraints: 35679
2167.46/2173.16 c #Conflicts: 1196000 | #Constraints: 36679
2167.46/2173.16 c #Conflicts: 1197000 | #Constraints: 37679
2167.46/2173.16 c #Conflicts: 1198000 | #Constraints: 38679
2167.46/2173.16 c #Conflicts: 1199000 | #Constraints: 39679
2167.46/2173.16 c #Conflicts: 1200000 | #Constraints: 40680
2167.46/2173.16 c #Conflicts: 1201000 | #Constraints: 41680
2167.46/2173.16 c #Conflicts: 1202000 | #Constraints: 42680
2167.46/2173.16 c #Conflicts: 1203000 | #Constraints: 43680
2167.46/2173.16 c #Conflicts: 1204000 | #Constraints: 44680
2167.46/2173.16 c #Conflicts: 1205000 | #Constraints: 45680
2167.46/2173.16 c #Conflicts: 1206000 | #Constraints: 46680
2167.46/2173.16 c #Conflicts: 1207000 | #Constraints: 47680
2167.46/2173.16 c #Conflicts: 1208000 | #Constraints: 48680
2167.46/2173.16 c #Conflicts: 1209000 | #Constraints: 49680
2167.46/2173.16 c #Conflicts: 1210000 | #Constraints: 50680
2167.46/2173.16 c #Conflicts: 1211000 | #Constraints: 51680
2167.46/2173.16 c #Conflicts: 1212000 | #Constraints: 52680
2167.46/2173.16 c #Conflicts: 1213000 | #Constraints: 53680
2167.46/2173.16 c #Conflicts: 1214000 | #Constraints: 54680
2167.46/2173.16 c #Conflicts: 1215000 | #Constraints: 55680
2167.46/2173.16 c #Conflicts: 1216000 | #Constraints: 56680
2167.46/2173.16 c #Conflicts: 1217000 | #Constraints: 57680
2167.46/2173.16 c #Conflicts: 1218000 | #Constraints: 58680
2167.46/2173.16 c #Conflicts: 1219000 | #Constraints: 59680
2167.46/2173.16 c #Conflicts: 1220000 | #Constraints: 60680
2167.46/2173.16 c #Conflicts: 1221000 | #Constraints: 61680
2167.46/2173.16 c #Conflicts: 1222000 | #Constraints: 62680
2167.46/2173.16 c #Conflicts: 1223000 | #Constraints: 63680
2167.46/2173.16 c #Conflicts: 1224000 | #Constraints: 64680
2167.46/2173.16 c #Conflicts: 1225000 | #Constraints: 65680
2167.46/2173.16 c #Conflicts: 1226000 | #Constraints: 66680
2167.46/2173.16 c #Conflicts: 1227000 | #Constraints: 67680
2167.46/2173.16 c #Conflicts: 1228000 | #Constraints: 68680
2167.46/2173.16 c #Conflicts: 1229000 | #Constraints: 69680
2167.46/2173.16 c #Conflicts: 1230000 | #Constraints: 70680
2167.46/2173.16 c #Conflicts: 1231000 | #Constraints: 71680
2167.46/2173.16 c #Conflicts: 1232000 | #Constraints: 72680
2167.46/2173.16 c #Conflicts: 1233000 | #Constraints: 73680
2167.46/2173.16 c #Conflicts: 1234000 | #Constraints: 74680
2167.46/2173.16 c #Conflicts: 1235000 | #Constraints: 75680
2167.46/2173.16 c #Conflicts: 1236000 | #Constraints: 76680
2167.46/2173.16 c #Conflicts: 1237000 | #Constraints: 77680
2167.46/2173.16 c #Conflicts: 1238000 | #Constraints: 78680
2167.46/2173.16 c #Conflicts: 1239000 | #Constraints: 79680
2167.46/2173.16 c #Conflicts: 1240000 | #Constraints: 80680
2167.46/2173.16 c #Conflicts: 1241000 | #Constraints: 81680
2167.46/2173.16 c #Conflicts: 1242000 | #Constraints: 82680
2167.46/2173.16 c #Conflicts: 1243000 | #Constraints: 83680
2167.46/2173.16 c #Conflicts: 1244000 | #Constraints: 84680
2167.46/2173.16 c #Conflicts: 1245000 | #Constraints: 85680
2167.46/2173.16 c #Conflicts: 1246000 | #Constraints: 86680
2167.46/2173.16 c #Conflicts: 1247000 | #Constraints: 87680
2167.46/2173.16 c #Conflicts: 1248000 | #Constraints: 88680
2167.46/2173.16 c #Conflicts: 1249000 | #Constraints: 89680
2167.46/2173.16 c #Conflicts: 1250000 | #Constraints: 90680
2167.46/2173.16 c #Conflicts: 1251000 | #Constraints: 91680
2167.46/2173.16 c #Conflicts: 1252000 | #Constraints: 92680
2167.46/2173.16 c #Conflicts: 1253000 | #Constraints: 93680
2167.46/2173.16 c #Conflicts: 1254000 | #Constraints: 94680
2167.46/2173.16 c #Conflicts: 1255000 | #Constraints: 95680
2167.46/2173.16 c #Conflicts: 1256000 | #Constraints: 96680
2167.46/2173.16 c #Conflicts: 1257000 | #Constraints: 97680
2167.46/2173.16 c #Conflicts: 1258000 | #Constraints: 98680
2167.46/2173.16 c #Conflicts: 1259000 | #Constraints: 99680
2167.46/2173.16 c #Conflicts: 1260000 | #Constraints: 100680
2167.46/2173.16 c #Conflicts: 1261000 | #Constraints: 101680
2167.46/2173.16 c #Conflicts: 1262000 | #Constraints: 102680
2167.46/2173.16 c #Conflicts: 1263000 | #Constraints: 103680
2167.46/2173.16 c #Conflicts: 1264000 | #Constraints: 104680
2167.46/2173.16 c #Conflicts: 1265000 | #Constraints: 105680
2167.46/2173.16 c #Conflicts: 1266000 | #Constraints: 106680
2167.46/2173.16 c #Conflicts: 1267000 | #Constraints: 107680
2167.46/2173.16 c #Conflicts: 1268000 | #Constraints: 108680
2167.46/2173.16 c #Conflicts: 1269000 | #Constraints: 109680
2167.46/2173.16 c #Conflicts: 1270000 | #Constraints: 110680
2167.46/2173.16 c #Conflicts: 1271000 | #Constraints: 111680
2167.46/2173.16 c #Conflicts: 1272000 | #Constraints: 112680
2167.46/2173.16 c #Conflicts: 1273000 | #Constraints: 113680
2167.46/2173.16 c #Conflicts: 1274000 | #Constraints: 114680
2192.70/2198.40 c #Conflicts: 1275000 | #Constraints: 115680
2192.70/2198.40 c #Conflicts: 1276000 | #Constraints: 116680
2192.70/2198.40 c #Conflicts: 1277000 | #Constraints: 117680
2192.70/2198.40 c #Conflicts: 1278000 | #Constraints: 118680
2192.70/2198.40 c INPROCESSING
2192.70/2198.40 c GARBAGE COLLECT
2192.70/2198.40 c rational objective 84
2371.39/2377.62 c #Conflicts: 1279000 | #Constraints: 63603
2371.39/2377.62 c #Conflicts: 1280000 | #Constraints: 64603
2371.39/2377.62 c #Conflicts: 1281000 | #Constraints: 65603
2371.39/2377.62 c #Conflicts: 1282000 | #Constraints: 66603
2371.39/2377.62 c #Conflicts: 1283000 | #Constraints: 67603
2371.39/2377.62 c #Conflicts: 1284000 | #Constraints: 68603
2371.39/2377.62 c #Conflicts: 1285000 | #Constraints: 69603
2371.39/2377.62 c #Conflicts: 1286000 | #Constraints: 70603
2371.39/2377.62 c #Conflicts: 1287000 | #Constraints: 71603
2371.39/2377.62 c #Conflicts: 1288000 | #Constraints: 72603
2371.39/2377.62 c #Conflicts: 1289000 | #Constraints: 73603
2371.39/2377.62 c #Conflicts: 1290000 | #Constraints: 74603
2371.39/2377.62 c #Conflicts: 1291000 | #Constraints: 75603
2371.39/2377.62 c #Conflicts: 1292000 | #Constraints: 76603
2371.39/2377.62 c #Conflicts: 1293000 | #Constraints: 77603
2371.39/2377.62 c #Conflicts: 1294000 | #Constraints: 78603
2371.39/2377.62 c #Conflicts: 1295000 | #Constraints: 79603
2371.39/2377.62 c #Conflicts: 1296000 | #Constraints: 80603
2371.39/2377.62 c #Conflicts: 1297000 | #Constraints: 81603
2371.39/2377.62 c #Conflicts: 1298000 | #Constraints: 82603
2371.39/2377.62 c #Conflicts: 1299000 | #Constraints: 83603
2371.39/2377.62 c #Conflicts: 1300000 | #Constraints: 84603
2371.39/2377.62 c #Conflicts: 1301000 | #Constraints: 85603
2371.39/2377.62 c #Conflicts: 1302000 | #Constraints: 86603
2371.39/2377.62 c #Conflicts: 1303000 | #Constraints: 87603
2371.39/2377.62 c INPROCESSING
2371.39/2377.62 c GARBAGE COLLECT
2371.39/2377.62 c #Conflicts: 1304000 | #Constraints: 47956
2371.39/2377.62 c #Conflicts: 1305000 | #Constraints: 48956
2371.39/2377.62 c #Conflicts: 1306000 | #Constraints: 49956
2371.39/2377.62 c #Conflicts: 1307000 | #Constraints: 50956
2371.39/2377.62 c #Conflicts: 1308000 | #Constraints: 51956
2371.39/2377.62 c #Conflicts: 1309000 | #Constraints: 52956
2371.39/2377.62 c #Conflicts: 1310000 | #Constraints: 53956
2371.39/2377.62 c #Conflicts: 1311000 | #Constraints: 54956
2371.39/2377.62 c #Conflicts: 1312000 | #Constraints: 55956
2371.39/2377.62 c #Conflicts: 1313000 | #Constraints: 56956
2371.39/2377.62 c #Conflicts: 1314000 | #Constraints: 57956
2371.39/2377.62 c #Conflicts: 1315000 | #Constraints: 58956
2371.39/2377.62 c #Conflicts: 1316000 | #Constraints: 59956
2371.39/2377.62 c #Conflicts: 1317000 | #Constraints: 60956
2371.39/2377.62 c #Conflicts: 1318000 | #Constraints: 61956
2371.39/2377.62 c #Conflicts: 1319000 | #Constraints: 62956
2371.39/2377.62 c #Conflicts: 1320000 | #Constraints: 63956
2371.39/2377.62 c #Conflicts: 1321000 | #Constraints: 64956
2371.39/2377.62 c #Conflicts: 1322000 | #Constraints: 65956
2371.39/2377.62 c #Conflicts: 1323000 | #Constraints: 66956
2371.39/2377.62 c #Conflicts: 1324000 | #Constraints: 67956
2371.39/2377.62 c #Conflicts: 1325000 | #Constraints: 68956
2371.39/2377.62 c #Conflicts: 1326000 | #Constraints: 69956
2371.39/2377.62 c #Conflicts: 1327000 | #Constraints: 70956
2371.39/2377.62 c #Conflicts: 1328000 | #Constraints: 71956
2371.39/2377.62 c INPROCESSING
2371.39/2377.62 c GARBAGE COLLECT
2371.39/2377.62 c #Conflicts: 1329000 | #Constraints: 40028
2371.39/2377.62 c #Conflicts: 1330000 | #Constraints: 41028
2371.39/2377.62 c #Conflicts: 1331000 | #Constraints: 42028
2371.39/2377.62 c #Conflicts: 1332000 | #Constraints: 43028
2371.39/2377.62 c #Conflicts: 1333000 | #Constraints: 44028
2371.39/2377.62 c #Conflicts: 1334000 | #Constraints: 45028
2371.39/2377.62 c #Conflicts: 1335000 | #Constraints: 46028
2371.39/2377.62 c #Conflicts: 1336000 | #Constraints: 47028
2371.39/2377.62 c #Conflicts: 1337000 | #Constraints: 48028
2371.39/2377.62 c #Conflicts: 1338000 | #Constraints: 49028
2371.39/2377.62 c #Conflicts: 1339000 | #Constraints: 50028
2371.39/2377.62 c #Conflicts: 1340000 | #Constraints: 51028
2371.39/2377.62 c #Conflicts: 1341000 | #Constraints: 52028
2371.39/2377.62 c #Conflicts: 1342000 | #Constraints: 53028
2371.39/2377.62 c #Conflicts: 1343000 | #Constraints: 54028
2371.39/2377.62 c #Conflicts: 1344000 | #Constraints: 55028
2371.39/2377.62 c #Conflicts: 1345000 | #Constraints: 56028
2371.39/2377.62 c #Conflicts: 1346000 | #Constraints: 57028
2371.39/2377.62 c #Conflicts: 1347000 | #Constraints: 58028
2371.39/2377.62 c #Conflicts: 1348000 | #Constraints: 59028
2371.39/2377.62 c #Conflicts: 1349000 | #Constraints: 60028
2371.39/2377.62 c #Conflicts: 1350000 | #Constraints: 61028
2371.39/2377.62 c #Conflicts: 1351000 | #Constraints: 62028
2371.39/2377.62 c #Conflicts: 1352000 | #Constraints: 63028
2371.39/2377.62 c #Conflicts: 1353000 | #Constraints: 64028
2371.39/2377.62 c #Conflicts: 1354000 | #Constraints: 65028
2371.39/2377.62 c INPROCESSING
2371.39/2377.62 c GARBAGE COLLECT
2371.39/2377.62 c #Conflicts: 1355000 | #Constraints: 36699
2412.99/2419.35 c #Conflicts: 1356000 | #Constraints: 37699
2412.99/2419.35 c #Conflicts: 1357000 | #Constraints: 38699
2412.99/2419.35 c #Conflicts: 1358000 | #Constraints: 39699
2412.99/2419.35 c #Conflicts: 1359000 | #Constraints: 40699
2412.99/2419.35 c #Conflicts: 1360000 | #Constraints: 41699
2412.99/2419.35 c #Conflicts: 1361000 | #Constraints: 42699
2412.99/2419.35 c #Conflicts: 1362000 | #Constraints: 43699
2412.99/2419.35 c #Conflicts: 1363000 | #Constraints: 44699
2412.99/2419.35 c #Conflicts: 1364000 | #Constraints: 45699
2412.99/2419.35 c #Conflicts: 1365000 | #Constraints: 46699
2412.99/2419.35 c #Conflicts: 1366000 | #Constraints: 47699
2412.99/2419.35 c #Conflicts: 1367000 | #Constraints: 48699
2412.99/2419.35 c #Conflicts: 1368000 | #Constraints: 49699
2412.99/2419.35 c #Conflicts: 1369000 | #Constraints: 50699
2412.99/2419.35 c #Conflicts: 1370000 | #Constraints: 51699
2412.99/2419.35 c #Conflicts: 1371000 | #Constraints: 52699
2412.99/2419.35 c #Conflicts: 1372000 | #Constraints: 53699
2412.99/2419.35 c #Conflicts: 1373000 | #Constraints: 54699
2412.99/2419.35 c #Conflicts: 1374000 | #Constraints: 55699
2412.99/2419.35 c #Conflicts: 1375000 | #Constraints: 56699
2412.99/2419.35 c #Conflicts: 1376000 | #Constraints: 57699
2412.99/2419.35 c #Conflicts: 1377000 | #Constraints: 58699
2412.99/2419.35 c #Conflicts: 1378000 | #Constraints: 59699
2412.99/2419.35 c #Conflicts: 1379000 | #Constraints: 60699
2412.99/2419.35 c #Conflicts: 1380000 | #Constraints: 61699
2412.99/2419.35 c INPROCESSING
2412.99/2419.35 c GARBAGE COLLECT
2412.99/2419.35 c rational objective 84
2456.08/2462.54 c #Conflicts: 1381000 | #Constraints: 35177
2456.08/2462.54 c #Conflicts: 1382000 | #Constraints: 36177
2456.08/2462.54 c #Conflicts: 1383000 | #Constraints: 37177
2456.08/2462.54 c #Conflicts: 1384000 | #Constraints: 38177
2456.08/2462.54 c #Conflicts: 1385000 | #Constraints: 39177
2456.08/2462.54 c #Conflicts: 1386000 | #Constraints: 40177
2456.08/2462.54 c #Conflicts: 1387000 | #Constraints: 41177
2456.08/2462.54 c #Conflicts: 1388000 | #Constraints: 42177
2456.08/2462.54 c #Conflicts: 1389000 | #Constraints: 43177
2456.08/2462.54 c #Conflicts: 1390000 | #Constraints: 44177
2456.08/2462.54 c #Conflicts: 1391000 | #Constraints: 45177
2456.08/2462.54 c #Conflicts: 1392000 | #Constraints: 46177
2456.08/2462.54 c #Conflicts: 1393000 | #Constraints: 47177
2456.08/2462.54 c #Conflicts: 1394000 | #Constraints: 48177
2456.08/2462.54 c #Conflicts: 1395000 | #Constraints: 49177
2456.08/2462.54 c #Conflicts: 1396000 | #Constraints: 50177
2456.08/2462.54 c #Conflicts: 1397000 | #Constraints: 51177
2456.08/2462.54 c #Conflicts: 1398000 | #Constraints: 52177
2456.08/2462.54 c #Conflicts: 1399000 | #Constraints: 53177
2456.08/2462.54 c #Conflicts: 1400000 | #Constraints: 54177
2456.08/2462.54 c #Conflicts: 1401000 | #Constraints: 55177
2456.08/2462.54 c #Conflicts: 1402000 | #Constraints: 56177
2456.08/2462.54 c #Conflicts: 1403000 | #Constraints: 57177
2456.08/2462.54 c #Conflicts: 1404000 | #Constraints: 58177
2456.08/2462.54 c #Conflicts: 1405000 | #Constraints: 59177
2456.08/2462.54 c #Conflicts: 1406000 | #Constraints: 60177
2456.08/2462.54 c INPROCESSING
2456.08/2462.54 c GARBAGE COLLECT
2456.08/2462.54 c rational objective 84
2494.38/2500.91 c #Conflicts: 1407000 | #Constraints: 34401
2494.38/2500.91 c #Conflicts: 1408000 | #Constraints: 35401
2494.38/2500.91 c #Conflicts: 1409000 | #Constraints: 36401
2494.38/2500.91 c #Conflicts: 1410000 | #Constraints: 37401
2494.38/2500.91 c #Conflicts: 1411000 | #Constraints: 38401
2494.38/2500.91 c #Conflicts: 1412000 | #Constraints: 39401
2494.38/2500.91 c #Conflicts: 1413000 | #Constraints: 40401
2494.38/2500.91 c #Conflicts: 1414000 | #Constraints: 41401
2494.38/2500.91 c #Conflicts: 1415000 | #Constraints: 42401
2494.38/2500.91 c #Conflicts: 1416000 | #Constraints: 43401
2494.38/2500.91 c #Conflicts: 1417000 | #Constraints: 44401
2494.38/2500.91 c #Conflicts: 1418000 | #Constraints: 45401
2494.38/2500.91 c #Conflicts: 1419000 | #Constraints: 46401
2494.38/2500.91 c #Conflicts: 1420000 | #Constraints: 47401
2494.38/2500.91 c #Conflicts: 1421000 | #Constraints: 48401
2494.38/2500.91 c #Conflicts: 1422000 | #Constraints: 49401
2494.38/2500.91 c #Conflicts: 1423000 | #Constraints: 50401
2494.38/2500.91 c #Conflicts: 1424000 | #Constraints: 51401
2494.38/2500.91 c #Conflicts: 1425000 | #Constraints: 52401
2494.38/2500.91 c #Conflicts: 1426000 | #Constraints: 53401
2494.38/2500.91 c #Conflicts: 1427000 | #Constraints: 54401
2494.38/2500.91 c #Conflicts: 1428000 | #Constraints: 55401
2494.38/2500.91 c #Conflicts: 1429000 | #Constraints: 56401
2494.38/2500.91 c #Conflicts: 1430000 | #Constraints: 57401
2494.38/2500.91 c #Conflicts: 1431000 | #Constraints: 58401
2494.38/2500.91 c #Conflicts: 1432000 | #Constraints: 59401
2494.38/2500.91 c INPROCESSING
2494.38/2500.91 c GARBAGE COLLECT
2494.38/2500.91 c rational objective 84
2708.56/2715.66 c #Conflicts: 1433000 | #Constraints: 33861
2708.56/2715.66 c #Conflicts: 1434000 | #Constraints: 34861
2708.56/2715.66 c #Conflicts: 1435000 | #Constraints: 35861
2708.56/2715.66 c #Conflicts: 1436000 | #Constraints: 36861
2708.56/2715.66 c #Conflicts: 1437000 | #Constraints: 37861
2708.56/2715.66 c #Conflicts: 1438000 | #Constraints: 38861
2708.56/2715.66 c #Conflicts: 1439000 | #Constraints: 39861
2708.56/2715.66 c #Conflicts: 1440000 | #Constraints: 40861
2708.56/2715.66 c #Conflicts: 1441000 | #Constraints: 41861
2708.56/2715.66 c #Conflicts: 1442000 | #Constraints: 42861
2708.56/2715.66 c #Conflicts: 1443000 | #Constraints: 43861
2708.56/2715.66 c #Conflicts: 1444000 | #Constraints: 44861
2708.56/2715.66 c #Conflicts: 1445000 | #Constraints: 45861
2708.56/2715.66 c #Conflicts: 1446000 | #Constraints: 46861
2708.56/2715.66 c #Conflicts: 1447000 | #Constraints: 47861
2708.56/2715.66 c #Conflicts: 1448000 | #Constraints: 48861
2708.56/2715.66 c #Conflicts: 1449000 | #Constraints: 49861
2708.56/2715.66 c #Conflicts: 1450000 | #Constraints: 50861
2708.56/2715.66 c #Conflicts: 1451000 | #Constraints: 51861
2708.56/2715.66 c #Conflicts: 1452000 | #Constraints: 52861
2708.56/2715.66 c #Conflicts: 1453000 | #Constraints: 53861
2708.56/2715.66 c #Conflicts: 1454000 | #Constraints: 54861
2708.56/2715.66 c #Conflicts: 1455000 | #Constraints: 55861
2708.56/2715.66 c #Conflicts: 1456000 | #Constraints: 56861
2708.56/2715.66 c #Conflicts: 1457000 | #Constraints: 57861
2708.56/2715.66 c #Conflicts: 1458000 | #Constraints: 58861
2708.56/2715.66 c #Conflicts: 1459000 | #Constraints: 59861
2708.56/2715.66 c #Conflicts: 1460000 | #Constraints: 60861
2708.56/2715.66 c #Conflicts: 1461000 | #Constraints: 61861
2708.56/2715.66 c #Conflicts: 1462000 | #Constraints: 62861
2708.56/2715.66 c #Conflicts: 1463000 | #Constraints: 63861
2708.56/2715.66 c #Conflicts: 1464000 | #Constraints: 64861
2708.56/2715.66 c #Conflicts: 1465000 | #Constraints: 65861
2708.56/2715.66 c #Conflicts: 1466000 | #Constraints: 66861
2708.56/2715.66 c #Conflicts: 1467000 | #Constraints: 67861
2708.56/2715.66 c #Conflicts: 1468000 | #Constraints: 68861
2708.56/2715.66 c #Conflicts: 1469000 | #Constraints: 69861
2708.56/2715.66 c #Conflicts: 1470000 | #Constraints: 70861
2708.56/2715.66 c #Conflicts: 1471000 | #Constraints: 71861
2708.56/2715.66 c #Conflicts: 1472000 | #Constraints: 72861
2708.56/2715.66 c #Conflicts: 1473000 | #Constraints: 73861
2708.56/2715.66 c #Conflicts: 1474000 | #Constraints: 74861
2708.56/2715.66 c #Conflicts: 1475000 | #Constraints: 75861
2708.56/2715.66 c #Conflicts: 1476000 | #Constraints: 76861
2708.56/2715.66 c #Conflicts: 1477000 | #Constraints: 77861
2708.56/2715.66 c #Conflicts: 1478000 | #Constraints: 78861
2708.56/2715.66 c #Conflicts: 1479000 | #Constraints: 79861
2708.56/2715.66 c #Conflicts: 1480000 | #Constraints: 80861
2708.56/2715.66 c #Conflicts: 1481000 | #Constraints: 81861
2708.56/2715.66 c #Conflicts: 1482000 | #Constraints: 82861
2708.56/2715.66 c #Conflicts: 1483000 | #Constraints: 83861
2708.56/2715.66 c #Conflicts: 1484000 | #Constraints: 84861
2708.56/2715.66 c #Conflicts: 1485000 | #Constraints: 85861
2708.56/2715.66 c #Conflicts: 1486000 | #Constraints: 86862
2708.56/2715.66 c #Conflicts: 1487000 | #Constraints: 87862
2708.56/2715.66 c #Conflicts: 1488000 | #Constraints: 88862
2708.56/2715.66 c #Conflicts: 1489000 | #Constraints: 89862
2708.56/2715.66 c #Conflicts: 1490000 | #Constraints: 90862
2708.56/2715.66 c #Conflicts: 1491000 | #Constraints: 91862
2708.56/2715.66 c #Conflicts: 1492000 | #Constraints: 92862
2708.56/2715.66 c #Conflicts: 1493000 | #Constraints: 93862
2708.56/2715.66 c #Conflicts: 1494000 | #Constraints: 94862
2708.56/2715.66 c #Conflicts: 1495000 | #Constraints: 95862
2708.56/2715.66 c #Conflicts: 1496000 | #Constraints: 96862
2708.56/2715.66 c #Conflicts: 1497000 | #Constraints: 97862
2708.56/2715.66 c #Conflicts: 1498000 | #Constraints: 98862
2708.56/2715.66 c #Conflicts: 1499000 | #Constraints: 99862
2708.56/2715.66 c #Conflicts: 1500000 | #Constraints: 100862
2708.56/2715.66 c #Conflicts: 1501000 | #Constraints: 101862
2708.56/2715.66 c #Conflicts: 1502000 | #Constraints: 102862
2708.56/2715.66 c #Conflicts: 1503000 | #Constraints: 103862
2708.56/2715.66 c #Conflicts: 1504000 | #Constraints: 104862
2708.56/2715.66 c #Conflicts: 1505000 | #Constraints: 105862
2708.56/2715.66 c #Conflicts: 1506000 | #Constraints: 106862
2708.56/2715.66 c #Conflicts: 1507000 | #Constraints: 107862
2708.56/2715.66 c #Conflicts: 1508000 | #Constraints: 108862
2708.56/2715.66 c #Conflicts: 1509000 | #Constraints: 109862
2708.56/2715.66 c #Conflicts: 1510000 | #Constraints: 110862
2708.56/2715.66 c #Conflicts: 1511000 | #Constraints: 111862
2882.72/2890.20 c #Conflicts: 1512000 | #Constraints: 112862
2882.72/2890.20 c #Conflicts: 1513000 | #Constraints: 113862
2882.72/2890.20 c #Conflicts: 1514000 | #Constraints: 114862
2882.72/2890.20 c #Conflicts: 1515000 | #Constraints: 115862
2882.72/2890.20 c #Conflicts: 1516000 | #Constraints: 116862
2882.72/2890.20 c #Conflicts: 1517000 | #Constraints: 117862
2882.72/2890.20 c #Conflicts: 1518000 | #Constraints: 118862
2882.72/2890.20 c #Conflicts: 1519000 | #Constraints: 119862
2882.72/2890.20 c #Conflicts: 1520000 | #Constraints: 120862
2882.72/2890.20 c #Conflicts: 1521000 | #Constraints: 121862
2882.72/2890.20 c #Conflicts: 1522000 | #Constraints: 122862
2882.72/2890.20 c #Conflicts: 1523000 | #Constraints: 123862
2882.72/2890.20 c #Conflicts: 1524000 | #Constraints: 124862
2882.72/2890.20 c #Conflicts: 1525000 | #Constraints: 125862
2882.72/2890.20 c #Conflicts: 1526000 | #Constraints: 126862
2882.72/2890.20 c #Conflicts: 1527000 | #Constraints: 127862
2882.72/2890.20 c #Conflicts: 1528000 | #Constraints: 128862
2882.72/2890.20 c INPROCESSING
2882.72/2890.20 c GARBAGE COLLECT
2882.72/2890.20 c #Conflicts: 1529000 | #Constraints: 68367
2882.72/2890.20 c #Conflicts: 1530000 | #Constraints: 69367
2882.72/2890.20 c #Conflicts: 1531000 | #Constraints: 70367
2882.72/2890.20 c #Conflicts: 1532000 | #Constraints: 71367
2882.72/2890.20 c #Conflicts: 1533000 | #Constraints: 72367
2882.72/2890.20 c #Conflicts: 1534000 | #Constraints: 73367
2882.72/2890.20 c #Conflicts: 1535000 | #Constraints: 74367
2882.72/2890.20 c #Conflicts: 1536000 | #Constraints: 75367
2882.72/2890.20 c #Conflicts: 1537000 | #Constraints: 76367
2882.72/2890.20 c #Conflicts: 1538000 | #Constraints: 77367
2882.72/2890.20 c #Conflicts: 1539000 | #Constraints: 78367
2882.72/2890.20 c #Conflicts: 1540000 | #Constraints: 79367
2882.72/2890.20 c #Conflicts: 1541000 | #Constraints: 80367
2882.72/2890.20 c #Conflicts: 1542000 | #Constraints: 81367
2882.72/2890.20 c #Conflicts: 1543000 | #Constraints: 82367
2882.72/2890.20 c #Conflicts: 1544000 | #Constraints: 83367
2882.72/2890.20 c #Conflicts: 1545000 | #Constraints: 84367
2882.72/2890.20 c #Conflicts: 1546000 | #Constraints: 85367
2882.72/2890.20 c #Conflicts: 1547000 | #Constraints: 86367
2882.72/2890.20 c #Conflicts: 1548000 | #Constraints: 87367
2882.72/2890.20 c #Conflicts: 1549000 | #Constraints: 88367
2882.72/2890.20 c #Conflicts: 1550000 | #Constraints: 89367
2882.72/2890.20 c #Conflicts: 1551000 | #Constraints: 90367
2882.72/2890.20 c #Conflicts: 1552000 | #Constraints: 91367
2882.72/2890.20 c #Conflicts: 1553000 | #Constraints: 92367
2882.72/2890.20 c #Conflicts: 1554000 | #Constraints: 93367
2882.72/2890.20 c #Conflicts: 1555000 | #Constraints: 94367
2882.72/2890.20 c #Conflicts: 1556000 | #Constraints: 95367
2882.72/2890.20 c INPROCESSING
2882.72/2890.20 c GARBAGE COLLECT
2882.72/2890.20 c rational objective 84
3062.59/3070.55 c #Conflicts: 1557000 | #Constraints: 51840
3062.59/3070.55 c #Conflicts: 1558000 | #Constraints: 52840
3062.59/3070.55 c #Conflicts: 1559000 | #Constraints: 53840
3062.59/3070.55 c #Conflicts: 1560000 | #Constraints: 54840
3062.59/3070.55 c #Conflicts: 1561000 | #Constraints: 55840
3062.59/3070.55 c #Conflicts: 1562000 | #Constraints: 56840
3062.59/3070.55 c #Conflicts: 1563000 | #Constraints: 57840
3062.59/3070.55 c #Conflicts: 1564000 | #Constraints: 58840
3062.59/3070.55 c #Conflicts: 1565000 | #Constraints: 59840
3062.59/3070.55 c #Conflicts: 1566000 | #Constraints: 60840
3062.59/3070.55 c #Conflicts: 1567000 | #Constraints: 61840
3062.59/3070.55 c #Conflicts: 1568000 | #Constraints: 62840
3062.59/3070.55 c #Conflicts: 1569000 | #Constraints: 63840
3062.59/3070.55 c #Conflicts: 1570000 | #Constraints: 64840
3062.59/3070.55 c #Conflicts: 1571000 | #Constraints: 65840
3062.59/3070.55 c #Conflicts: 1572000 | #Constraints: 66840
3062.59/3070.55 c #Conflicts: 1573000 | #Constraints: 67840
3062.59/3070.55 c #Conflicts: 1574000 | #Constraints: 68840
3062.59/3070.55 c #Conflicts: 1575000 | #Constraints: 69840
3062.59/3070.55 c #Conflicts: 1576000 | #Constraints: 70840
3062.59/3070.55 c #Conflicts: 1577000 | #Constraints: 71840
3062.59/3070.55 c #Conflicts: 1578000 | #Constraints: 72841
3062.59/3070.55 c #Conflicts: 1579000 | #Constraints: 73841
3062.59/3070.55 c #Conflicts: 1580000 | #Constraints: 74841
3062.59/3070.55 c #Conflicts: 1581000 | #Constraints: 75841
3062.59/3070.55 c #Conflicts: 1582000 | #Constraints: 76841
3062.59/3070.55 c #Conflicts: 1583000 | #Constraints: 77841
3062.59/3070.55 c #Conflicts: 1584000 | #Constraints: 78841
3062.59/3070.55 c INPROCESSING
3062.59/3070.55 c GARBAGE COLLECT
3062.59/3070.55 c #Conflicts: 1585000 | #Constraints: 43725
3062.59/3070.55 c #Conflicts: 1586000 | #Constraints: 44725
3062.59/3070.55 c #Conflicts: 1587000 | #Constraints: 45725
3062.59/3070.55 c #Conflicts: 1588000 | #Constraints: 46725
3062.59/3070.55 c #Conflicts: 1589000 | #Constraints: 47725
3062.59/3070.55 c #Conflicts: 1590000 | #Constraints: 48725
3062.59/3070.55 c #Conflicts: 1591000 | #Constraints: 49725
3062.59/3070.55 c #Conflicts: 1592000 | #Constraints: 50725
3062.59/3070.55 c #Conflicts: 1593000 | #Constraints: 51725
3062.59/3070.55 c #Conflicts: 1594000 | #Constraints: 52725
3062.59/3070.55 c #Conflicts: 1595000 | #Constraints: 53725
3062.59/3070.55 c #Conflicts: 1596000 | #Constraints: 54725
3062.59/3070.55 c #Conflicts: 1597000 | #Constraints: 55725
3062.59/3070.55 c #Conflicts: 1598000 | #Constraints: 56725
3062.59/3070.55 c #Conflicts: 1599000 | #Constraints: 57725
3062.59/3070.55 c #Conflicts: 1600000 | #Constraints: 58725
3062.59/3070.55 c #Conflicts: 1601000 | #Constraints: 59725
3062.59/3070.55 c #Conflicts: 1602000 | #Constraints: 60725
3062.59/3070.55 c #Conflicts: 1603000 | #Constraints: 61725
3062.59/3070.55 c #Conflicts: 1604000 | #Constraints: 62725
3062.59/3070.55 c #Conflicts: 1605000 | #Constraints: 63725
3062.59/3070.55 c #Conflicts: 1606000 | #Constraints: 64725
3062.59/3070.55 c #Conflicts: 1607000 | #Constraints: 65725
3062.59/3070.55 c #Conflicts: 1608000 | #Constraints: 66725
3062.59/3070.55 c #Conflicts: 1609000 | #Constraints: 67725
3062.59/3070.55 c #Conflicts: 1610000 | #Constraints: 68725
3062.59/3070.55 c #Conflicts: 1611000 | #Constraints: 69725
3062.59/3070.55 c INPROCESSING
3062.59/3070.55 c GARBAGE COLLECT
3062.59/3070.55 c #Conflicts: 1612000 | #Constraints: 38743
3062.59/3070.55 c #Conflicts: 1613000 | #Constraints: 39743
3062.59/3070.55 c #Conflicts: 1614000 | #Constraints: 40743
3062.59/3070.55 c #Conflicts: 1615000 | #Constraints: 41743
3062.59/3070.55 c #Conflicts: 1616000 | #Constraints: 42743
3062.59/3070.55 c #Conflicts: 1617000 | #Constraints: 43743
3062.59/3070.55 c #Conflicts: 1618000 | #Constraints: 44743
3062.59/3070.55 c #Conflicts: 1619000 | #Constraints: 45743
3062.59/3070.55 c #Conflicts: 1620000 | #Constraints: 46743
3062.59/3070.55 c #Conflicts: 1621000 | #Constraints: 47743
3062.59/3070.55 c #Conflicts: 1622000 | #Constraints: 48743
3062.59/3070.55 c #Conflicts: 1623000 | #Constraints: 49743
3062.59/3070.55 c #Conflicts: 1624000 | #Constraints: 50743
3062.59/3070.55 c #Conflicts: 1625000 | #Constraints: 51743
3062.59/3070.55 c #Conflicts: 1626000 | #Constraints: 52743
3062.59/3070.55 c #Conflicts: 1627000 | #Constraints: 53743
3062.59/3070.55 c #Conflicts: 1628000 | #Constraints: 54743
3062.59/3070.55 c #Conflicts: 1629000 | #Constraints: 55743
3062.59/3070.55 c #Conflicts: 1630000 | #Constraints: 56743
3062.59/3070.55 c #Conflicts: 1631000 | #Constraints: 57743
3062.59/3070.55 c #Conflicts: 1632000 | #Constraints: 58743
3062.59/3070.55 c #Conflicts: 1633000 | #Constraints: 59743
3062.59/3070.55 c #Conflicts: 1634000 | #Constraints: 60743
3169.72/3177.92 c #Conflicts: 1635000 | #Constraints: 61743
3169.72/3177.92 c #Conflicts: 1636000 | #Constraints: 62743
3169.72/3177.92 c #Conflicts: 1637000 | #Constraints: 63743
3169.72/3177.92 c #Conflicts: 1638000 | #Constraints: 64743
3169.72/3177.92 c #Conflicts: 1639000 | #Constraints: 65743
3169.72/3177.92 c #Conflicts: 1640000 | #Constraints: 66743
3169.72/3177.92 c INPROCESSING
3169.72/3177.92 c GARBAGE COLLECT
3169.72/3177.92 c #Conflicts: 1641000 | #Constraints: 37674
3169.72/3177.92 c #Conflicts: 1642000 | #Constraints: 38674
3169.72/3177.92 c #Conflicts: 1643000 | #Constraints: 39674
3169.72/3177.92 c #Conflicts: 1644000 | #Constraints: 40674
3169.72/3177.92 c #Conflicts: 1645000 | #Constraints: 41674
3169.72/3177.92 c #Conflicts: 1646000 | #Constraints: 42674
3169.72/3177.92 c #Conflicts: 1647000 | #Constraints: 43674
3169.72/3177.92 c #Conflicts: 1648000 | #Constraints: 44674
3169.72/3177.92 c #Conflicts: 1649000 | #Constraints: 45674
3169.72/3177.92 c #Conflicts: 1650000 | #Constraints: 46674
3169.72/3177.92 c #Conflicts: 1651000 | #Constraints: 47674
3169.72/3177.92 c #Conflicts: 1652000 | #Constraints: 48674
3169.72/3177.92 c #Conflicts: 1653000 | #Constraints: 49674
3169.72/3177.92 c #Conflicts: 1654000 | #Constraints: 50674
3169.72/3177.92 c #Conflicts: 1655000 | #Constraints: 51674
3169.72/3177.92 c #Conflicts: 1656000 | #Constraints: 52674
3169.72/3177.92 c #Conflicts: 1657000 | #Constraints: 53674
3169.72/3177.92 c #Conflicts: 1658000 | #Constraints: 54674
3169.72/3177.92 c #Conflicts: 1659000 | #Constraints: 55674
3169.72/3177.92 c #Conflicts: 1660000 | #Constraints: 56674
3169.72/3177.92 c #Conflicts: 1661000 | #Constraints: 57674
3169.72/3177.92 c #Conflicts: 1662000 | #Constraints: 58674
3169.72/3177.92 c #Conflicts: 1663000 | #Constraints: 59674
3169.72/3177.92 c #Conflicts: 1664000 | #Constraints: 60674
3169.72/3177.92 c #Conflicts: 1665000 | #Constraints: 61674
3169.72/3177.92 c #Conflicts: 1666000 | #Constraints: 62674
3169.72/3177.92 c #Conflicts: 1667000 | #Constraints: 63674
3169.72/3177.92 c #Conflicts: 1668000 | #Constraints: 64674
3169.72/3177.92 c INPROCESSING
3169.72/3177.92 c GARBAGE COLLECT
3169.72/3177.92 c #Conflicts: 1669000 | #Constraints: 36464
3169.72/3177.92 c #Conflicts: 1670000 | #Constraints: 37464
3169.72/3177.92 c #Conflicts: 1671000 | #Constraints: 38464
3169.72/3177.92 c #Conflicts: 1672000 | #Constraints: 39464
3169.72/3177.92 c #Conflicts: 1673000 | #Constraints: 40464
3169.72/3177.92 c #Conflicts: 1674000 | #Constraints: 41464
3169.72/3177.92 c #Conflicts: 1675000 | #Constraints: 42464
3169.72/3177.92 c #Conflicts: 1676000 | #Constraints: 43464
3169.72/3177.92 c #Conflicts: 1677000 | #Constraints: 44464
3169.72/3177.92 c #Conflicts: 1678000 | #Constraints: 45464
3169.72/3177.92 c #Conflicts: 1679000 | #Constraints: 46464
3169.72/3177.92 c #Conflicts: 1680000 | #Constraints: 47464
3169.72/3177.92 c #Conflicts: 1681000 | #Constraints: 48464
3169.72/3177.92 c #Conflicts: 1682000 | #Constraints: 49464
3169.72/3177.92 c #Conflicts: 1683000 | #Constraints: 50464
3169.72/3177.92 c #Conflicts: 1684000 | #Constraints: 51464
3169.72/3177.92 c #Conflicts: 1685000 | #Constraints: 52464
3169.72/3177.92 c #Conflicts: 1686000 | #Constraints: 53464
3169.72/3177.92 c #Conflicts: 1687000 | #Constraints: 54464
3169.72/3177.92 c #Conflicts: 1688000 | #Constraints: 55464
3169.72/3177.92 c #Conflicts: 1689000 | #Constraints: 56464
3169.72/3177.92 c #Conflicts: 1690000 | #Constraints: 57464
3169.72/3177.92 c #Conflicts: 1691000 | #Constraints: 58464
3169.72/3177.92 c #Conflicts: 1692000 | #Constraints: 59464
3169.72/3177.92 c #Conflicts: 1693000 | #Constraints: 60464
3169.72/3177.92 c #Conflicts: 1694000 | #Constraints: 61464
3169.72/3177.92 c #Conflicts: 1695000 | #Constraints: 62464
3169.72/3177.92 c #Conflicts: 1696000 | #Constraints: 63464
3169.72/3177.92 c INPROCESSING
3169.72/3177.92 c GARBAGE COLLECT
3169.72/3177.92 c rational objective 84
3307.38/3315.99 c #Conflicts: 1697000 | #Constraints: 35594
3307.38/3315.99 c #Conflicts: 1698000 | #Constraints: 36594
3307.38/3315.99 c #Conflicts: 1699000 | #Constraints: 37594
3307.38/3315.99 c #Conflicts: 1700000 | #Constraints: 38594
3307.38/3315.99 c #Conflicts: 1701000 | #Constraints: 39595
3307.38/3315.99 c #Conflicts: 1702000 | #Constraints: 40595
3307.38/3315.99 c #Conflicts: 1703000 | #Constraints: 41595
3307.38/3315.99 c #Conflicts: 1704000 | #Constraints: 42595
3307.38/3315.99 c #Conflicts: 1705000 | #Constraints: 43595
3307.38/3315.99 c #Conflicts: 1706000 | #Constraints: 44595
3307.38/3315.99 c #Conflicts: 1707000 | #Constraints: 45595
3307.38/3315.99 c #Conflicts: 1708000 | #Constraints: 46595
3307.38/3315.99 c #Conflicts: 1709000 | #Constraints: 47595
3307.38/3315.99 c #Conflicts: 1710000 | #Constraints: 48595
3307.38/3315.99 c #Conflicts: 1711000 | #Constraints: 49595
3307.38/3315.99 c #Conflicts: 1712000 | #Constraints: 50595
3307.38/3315.99 c #Conflicts: 1713000 | #Constraints: 51595
3307.38/3315.99 c #Conflicts: 1714000 | #Constraints: 52595
3307.38/3315.99 c #Conflicts: 1715000 | #Constraints: 53595
3307.38/3315.99 c #Conflicts: 1716000 | #Constraints: 54595
3307.38/3315.99 c #Conflicts: 1717000 | #Constraints: 55595
3307.38/3315.99 c #Conflicts: 1718000 | #Constraints: 56595
3307.38/3315.99 c #Conflicts: 1719000 | #Constraints: 57595
3307.38/3315.99 c #Conflicts: 1720000 | #Constraints: 58595
3307.38/3315.99 c #Conflicts: 1721000 | #Constraints: 59595
3307.38/3315.99 c #Conflicts: 1722000 | #Constraints: 60595
3307.38/3315.99 c #Conflicts: 1723000 | #Constraints: 61595
3307.38/3315.99 c #Conflicts: 1724000 | #Constraints: 62595
3307.38/3315.99 c #Conflicts: 1725000 | #Constraints: 63595
3307.38/3315.99 c INPROCESSING
3307.38/3315.99 c GARBAGE COLLECT
3307.38/3315.99 c #Conflicts: 1726000 | #Constraints: 35848
3307.38/3315.99 c #Conflicts: 1727000 | #Constraints: 36848
3307.38/3315.99 c #Conflicts: 1728000 | #Constraints: 37848
3307.38/3315.99 c #Conflicts: 1729000 | #Constraints: 38848
3307.38/3315.99 c #Conflicts: 1730000 | #Constraints: 39848
3307.38/3315.99 c #Conflicts: 1731000 | #Constraints: 40848
3307.38/3315.99 c #Conflicts: 1732000 | #Constraints: 41849
3307.38/3315.99 c #Conflicts: 1733000 | #Constraints: 42849
3307.38/3315.99 c #Conflicts: 1734000 | #Constraints: 43849
3307.38/3315.99 c #Conflicts: 1735000 | #Constraints: 44849
3307.38/3315.99 c #Conflicts: 1736000 | #Constraints: 45849
3307.38/3315.99 c #Conflicts: 1737000 | #Constraints: 46849
3307.38/3315.99 c #Conflicts: 1738000 | #Constraints: 47849
3307.38/3315.99 c #Conflicts: 1739000 | #Constraints: 48849
3307.38/3315.99 c #Conflicts: 1740000 | #Constraints: 49849
3307.38/3315.99 c #Conflicts: 1741000 | #Constraints: 50849
3307.38/3315.99 c #Conflicts: 1742000 | #Constraints: 51849
3307.38/3315.99 c #Conflicts: 1743000 | #Constraints: 52849
3307.38/3315.99 c #Conflicts: 1744000 | #Constraints: 53849
3307.38/3315.99 c #Conflicts: 1745000 | #Constraints: 54849
3307.38/3315.99 c #Conflicts: 1746000 | #Constraints: 55849
3307.38/3315.99 c #Conflicts: 1747000 | #Constraints: 56849
3307.38/3315.99 c #Conflicts: 1748000 | #Constraints: 57849
3307.38/3315.99 c #Conflicts: 1749000 | #Constraints: 58849
3307.38/3315.99 c #Conflicts: 1750000 | #Constraints: 59849
3307.38/3315.99 c #Conflicts: 1751000 | #Constraints: 60849
3307.38/3315.99 c #Conflicts: 1752000 | #Constraints: 61849
3307.38/3315.99 c #Conflicts: 1753000 | #Constraints: 62849
3307.38/3315.99 c #Conflicts: 1754000 | #Constraints: 63849
3307.38/3315.99 c #Conflicts: 1755000 | #Constraints: 64849
3307.38/3315.99 c #Conflicts: 1756000 | #Constraints: 65849
3307.38/3315.99 c #Conflicts: 1757000 | #Constraints: 66849
3307.38/3315.99 c #Conflicts: 1758000 | #Constraints: 67849
3307.38/3315.99 c #Conflicts: 1759000 | #Constraints: 68849
3307.38/3315.99 c #Conflicts: 1760000 | #Constraints: 69849
3307.38/3315.99 c #Conflicts: 1761000 | #Constraints: 70849
3307.38/3315.99 c #Conflicts: 1762000 | #Constraints: 71849
3307.38/3315.99 c #Conflicts: 1763000 | #Constraints: 72849
3307.38/3315.99 c #Conflicts: 1764000 | #Constraints: 73849
3307.38/3315.99 c #Conflicts: 1765000 | #Constraints: 74849
3307.38/3315.99 c #Conflicts: 1766000 | #Constraints: 75849
3307.38/3315.99 c #Conflicts: 1767000 | #Constraints: 76849
3307.38/3315.99 c #Conflicts: 1768000 | #Constraints: 77849
3307.38/3315.99 c #Conflicts: 1769000 | #Constraints: 78849
3307.38/3315.99 c #Conflicts: 1770000 | #Constraints: 79849
3307.38/3315.99 c #Conflicts: 1771000 | #Constraints: 80849
3307.38/3315.99 c #Conflicts: 1772000 | #Constraints: 81849
3307.38/3315.99 c #Conflicts: 1773000 | #Constraints: 82849
3307.38/3315.99 c #Conflicts: 1774000 | #Constraints: 83849
3307.38/3315.99 c #Conflicts: 1775000 | #Constraints: 84849
3567.65/3576.86 c #Conflicts: 1776000 | #Constraints: 85849
3567.65/3576.86 c #Conflicts: 1777000 | #Constraints: 86849
3567.65/3576.86 c #Conflicts: 1778000 | #Constraints: 87849
3567.65/3576.86 c #Conflicts: 1779000 | #Constraints: 88849
3567.65/3576.86 c #Conflicts: 1780000 | #Constraints: 89849
3567.65/3576.86 c #Conflicts: 1781000 | #Constraints: 90849
3567.65/3576.86 c #Conflicts: 1782000 | #Constraints: 91849
3567.65/3576.86 c #Conflicts: 1783000 | #Constraints: 92849
3567.65/3576.86 c #Conflicts: 1784000 | #Constraints: 93849
3567.65/3576.86 c #Conflicts: 1785000 | #Constraints: 94849
3567.65/3576.86 c #Conflicts: 1786000 | #Constraints: 95849
3567.65/3576.86 c #Conflicts: 1787000 | #Constraints: 96849
3567.65/3576.86 c #Conflicts: 1788000 | #Constraints: 97849
3567.65/3576.86 c #Conflicts: 1789000 | #Constraints: 98849
3567.65/3576.86 c #Conflicts: 1790000 | #Constraints: 99849
3567.65/3576.86 c #Conflicts: 1791000 | #Constraints: 100849
3567.65/3576.86 c #Conflicts: 1792000 | #Constraints: 101849
3567.65/3576.86 c #Conflicts: 1793000 | #Constraints: 102849
3567.65/3576.86 c #Conflicts: 1794000 | #Constraints: 103849
3567.65/3576.86 c #Conflicts: 1795000 | #Constraints: 104849
3567.65/3576.86 c #Conflicts: 1796000 | #Constraints: 105849
3567.65/3576.86 c #Conflicts: 1797000 | #Constraints: 106849
3567.65/3576.86 c #Conflicts: 1798000 | #Constraints: 107849
3567.65/3576.86 c #Conflicts: 1799000 | #Constraints: 108849
3567.65/3576.86 c #Conflicts: 1800000 | #Constraints: 109849
3567.65/3576.86 c #Conflicts: 1801000 | #Constraints: 110849
3567.65/3576.86 c #Conflicts: 1802000 | #Constraints: 111849
3567.65/3576.86 c #Conflicts: 1803000 | #Constraints: 112849
3567.65/3576.86 c #Conflicts: 1804000 | #Constraints: 113849
3567.65/3576.86 c #Conflicts: 1805000 | #Constraints: 114849
3567.65/3576.86 c #Conflicts: 1806000 | #Constraints: 115849
3567.65/3576.86 c #Conflicts: 1807000 | #Constraints: 116849
3567.65/3576.86 c #Conflicts: 1808000 | #Constraints: 117849
3567.65/3576.86 c #Conflicts: 1809000 | #Constraints: 118849
3567.65/3576.86 c #Conflicts: 1810000 | #Constraints: 119849
3567.65/3576.86 c #Conflicts: 1811000 | #Constraints: 120849
3567.65/3576.86 c #Conflicts: 1812000 | #Constraints: 121849
3567.65/3576.86 c #Conflicts: 1813000 | #Constraints: 122849
3567.65/3576.86 c #Conflicts: 1814000 | #Constraints: 123849
3567.65/3576.86 c #Conflicts: 1815000 | #Constraints: 124849
3567.65/3576.86 c #Conflicts: 1816000 | #Constraints: 125849
3567.65/3576.86 c #Conflicts: 1817000 | #Constraints: 126849
3567.65/3576.86 c #Conflicts: 1818000 | #Constraints: 127849
3567.65/3576.86 c #Conflicts: 1819000 | #Constraints: 128849
3567.65/3576.86 c #Conflicts: 1820000 | #Constraints: 129849
3567.65/3576.86 c #Conflicts: 1821000 | #Constraints: 130849
3567.65/3576.86 c #Conflicts: 1822000 | #Constraints: 131849
3567.65/3576.86 c #Conflicts: 1823000 | #Constraints: 132849
3567.65/3576.86 c #Conflicts: 1824000 | #Constraints: 133849
3567.65/3576.86 c #Conflicts: 1825000 | #Constraints: 134849
3567.65/3576.86 c #Conflicts: 1826000 | #Constraints: 135849
3567.65/3576.86 c #Conflicts: 1827000 | #Constraints: 136849
3567.65/3576.86 c #Conflicts: 1828000 | #Constraints: 137849
3567.65/3576.86 c #Conflicts: 1829000 | #Constraints: 138849
3567.65/3576.86 c #Conflicts: 1830000 | #Constraints: 139849
3567.65/3576.86 c #Conflicts: 1831000 | #Constraints: 140849
3567.65/3576.86 c INPROCESSING
3567.65/3576.86 c GARBAGE COLLECT
3567.65/3576.86 c rational objective 84
3600.06/3609.30 c #Conflicts: 1832000 | #Constraints: 74290
3600.06/3609.30 c #Conflicts: 1833000 | #Constraints: 75290
3600.06/3609.30 c #Conflicts: 1834000 | #Constraints: 76290
3600.06/3609.30 c #Conflicts: 1835000 | #Constraints: 77290
3600.06/3609.30 c #Conflicts: 1836000 | #Constraints: 78290
3600.06/3609.30 c #Conflicts: 1837000 | #Constraints: 79290
3600.06/3609.30 c #Conflicts: 1838000 | #Constraints: 80290
3600.06/3609.30 c #Conflicts: 1839000 | #Constraints: 81290
3600.06/3609.30 c #Conflicts: 1840000 | #Constraints: 82290
3600.06/3609.30 c #Conflicts: 1841000 | #Constraints: 83290
3600.06/3609.30 c #Conflicts: 1842000 | #Constraints: 84290
3600.06/3609.30 c cpu time 3578.02 s
3600.06/3609.30 c deterministic time 257176170392 2.57e+11
3600.06/3609.30 c optimization time 30.0739 s
3600.06/3609.30 c total solve time 3547.91 s
3600.06/3609.30 c core-guided solve time 0 s
3600.06/3609.30 c propagation time 1979.87 s
3600.06/3609.30 c conflict analysis time 1409.07 s
3600.06/3609.30 c propagations 918532069
3600.06/3609.30 c resolve steps 87142793
3600.06/3609.30 c decisions 11722154
3600.06/3609.30 c conflicts 1842402
3600.06/3609.30 c restarts 3579
3600.06/3609.30 c inprocessing phases 86
3600.06/3609.30 c garbage collections 86 ,( 100.00 )
3600.06/3609.30 c input clauses 5798 ,( 98.57 )
3600.06/3609.30 c input cardinalities 84 ,( 1.43 )
3600.06/3609.30 c input general constraints 0 ,( 0.00 )
3600.06/3609.30 c input average constraint length 6.23
3600.06/3609.30 c input average constraint degree 1.94
3600.06/3609.30 c learned clauses 1444540 ,( 78.40 )
3600.06/3609.30 c learned cardinalities 28695 ,( 1.56 )
3600.06/3609.30 c learned general constraints 369191 ,( 20.04 )
3600.06/3609.30 c learned average constraint length 682.24
3600.06/3609.30 c learned average constraint degree 8862621.22
3600.06/3609.30 c watched CF 32, 64, 128, Arb: 128050 , 0 , 0 , 0
3600.06/3609.30 c counting CF 32, 64, 128, Arb: 241141 , 0 , 0 , 0
3600.06/3609.30 c watched constraints 128050 ,( 34.68 )
3600.06/3609.30 c counting constraints 241141 ,( 65.32 )
3600.06/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1581675803 , 629506480 , 3379649840 ,( 159480636 , 3220169204 )
3600.06/3609.30 c gcd simplifications 1154
3600.06/3609.30 c detected cardinalities 1504
3600.06/3609.30 c weakened non-implied lits 357281900
3600.06/3609.30 c weakened non-implying lits 242070
3600.06/3609.30 c original variables 5712
3600.06/3609.30 c clausal propagations 349357721
3600.06/3609.30 c cardinality propagations 336372588
3600.06/3609.30 c watched propagations 4768058
3600.06/3609.30 c counting propagations 222116133
3600.06/3609.30 c watch lookups 142895412724
3600.06/3609.30 c watch backjump lookups 0
3600.06/3609.30 c watch checks 41678275527
3600.06/3609.30 c propagation checks 66266136281
3600.06/3609.30 c constraint additions 4473622240
3600.06/3609.30 c trail pops 932092740
3600.06/3609.30 c formula constraints 5882
3600.06/3609.30 c learned constraints 1842389
3600.06/3609.30 c bound constraints 0
3600.06/3609.30 c core-guided constraints 0
3600.06/3609.30 c encountered formula constraints 52989327
3600.06/3609.30 c encountered learned constraints 35995777
3600.06/3609.30 c encountered bound constraints 0
3600.06/3609.30 c encountered core-guided constraints 0
3600.06/3609.30 c LP total time 168.664 s
3600.06/3609.30 c LP solve time 132.33 s
3600.06/3609.30 c LP constraints added 7419
3600.06/3609.30 c LP constraints removed 1395
3600.06/3609.30 c LP pivots internal 184456
3600.06/3609.30 c LP pivots root 192200
3600.06/3609.30 c LP calls 41
3600.06/3609.30 c LP optimalities 24
3600.06/3609.30 c LP no pivot count 2
3600.06/3609.30 c LP infeasibilities 12
3600.06/3609.30 c LP valid Farkas constraints 12
3600.06/3609.30 c LP learned Farkas constraints 12
3600.06/3609.30 c LP basis resets 0
3600.06/3609.30 c LP cycling count 0
3600.06/3609.30 c LP singular count 0
3600.06/3609.30 c LP no primal count 0
3600.06/3609.30 c LP no farkas count 0
3600.06/3609.30 c LP other issue count 0
3600.06/3609.30 c LP Gomory cuts 13
3600.06/3609.30 c LP learned cuts 1614
3600.06/3609.30 c LP deleted cuts 1512
3600.06/3609.30 c LP encountered Gomory constraints 0
3600.06/3609.30 c LP encountered Farkas constraints 62
3600.06/3609.30 c LP encountered learned Farkas constraints 17
3600.06/3609.30 c CG auxiliary variables introduced 0
3600.06/3609.30 c CG solutions found 0
3600.06/3609.30 c CG cores constructed 0
3600.06/3609.30 c CG core cardinality constraints returned 0
3600.06/3609.30 c CG unit cores 0
3600.06/3609.30 c CG single cores 0
3600.06/3609.30 c CG blocks removed during cardinality reduction 0
3600.06/3609.30 c CG first core best 0
3600.06/3609.30 c CG decision core best 0
3600.06/3609.30 c CG core reduction tie 0
3600.06/3609.30 c CG core degree average 0.00
3600.06/3609.30 c CG core slack average 0.00
3600.06/3609.30 c CG core upper bound improvements 0
3600.06/3609.30 c STR number of successful calls 0
3600.06/3609.30 c STR number of unsuccessful calls 0
3600.06/3609.30 c STR number of inconclusive calls 0
3600.06/3609.30 c STR number of successful attempts 0
3600.06/3609.30 c STR number of unsuccessful attempts 0
3600.06/3609.30 c STR number of inconclusive attempts 0
3600.06/3609.30 c STR average degree increase per successful call inf
3600.06/3609.30 c STR average degree increase per successful attempt inf
3600.06/3609.30 c STR total number of conflicts for successful attempts 0
3600.06/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.30 c STR average number of conflicts per successful attempt inf
3600.06/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.30 c AVG.sumWPerc 58.03
3600.06/3609.30 c bigint constraints 0
3600.06/3609.30 s UNKNOWN
3600.06/3609.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62864 MiB free)
memory of node 1: 64507 MiB (64056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507337-1751183146/watcher-4507337-1751183146 -o /tmp/evaluation-result-4507337-1751183146/solver-4507337-1751183146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24188 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507337-1751183146.opb PROOFDIR/proof-4507337-1751183146
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=24244, runsolver pid=24232
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.88 1.12 1.86 6/272 24248
/proc/meminfo: memFree=129910176/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=69960 memory=22240 CPUtime=0.08 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 4086 0 0 0 7 1 0 0 20 0 1 0 33994858 71639040 5560 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 17490 5560 2272 1147 0 4917 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 74152 KiB
Current children cumulated memory: 25184 KiB
[startup+0.205905 s]*
/proc/loadavg: 0.88 1.12 1.86 6/272 24248
/proc/meminfo: memFree=129881508/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=70352 memory=22752 CPUtime=0.18 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 4236 0 0 0 17 1 0 0 20 0 1 0 33994858 72040448 5688 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 17588 5688 2272 1147 0 5015 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 74544 KiB
Current children cumulated memory: 25696 KiB
[startup+0.305567 s]*
/proc/loadavg: 0.88 1.12 1.86 6/272 24248
/proc/meminfo: memFree=129875376/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=71196 memory=23648 CPUtime=0.27 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 4442 0 0 0 26 1 0 0 20 0 1 0 33994858 72904704 5912 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 17799 5912 2272 1147 0 5226 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 75388 KiB
Current children cumulated memory: 26592 KiB
[startup+0.700142 s]
/proc/loadavg: 0.88 1.12 1.86 6/272 24248
/proc/meminfo: memFree=129875376/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=71736 memory=24032 CPUtime=0.67 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 4550 0 0 0 65 2 0 0 20 0 1 0 33994858 73457664 6008 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 17934 6008 2272 1147 0 5361 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75928 KiB
Current children cumulated memory: 26976 KiB
[startup+1.50016 s]
/proc/loadavg: 0.88 1.12 1.86 6/272 24248
/proc/meminfo: memFree=129871344/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=74268 memory=31016 CPUtime=1.46 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 5712 0 0 0 141 5 0 0 20 0 1 0 33994858 76050432 7754 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 18567 7754 2336 1147 0 5994 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 78460 KiB
Current children cumulated memory: 33960 KiB
[startup+3.10567 s]
/proc/loadavg: 0.88 1.12 1.86 6/272 24248
/proc/meminfo: memFree=129797640/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=81420 memory=35880 CPUtime=3.06 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 6942 0 0 0 295 11 0 0 20 0 1 0 33994858 83374080 8970 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 20355 8970 2336 1147 0 7782 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 85612 KiB
Current children cumulated memory: 38824 KiB
[startup+6.30013 s]
/proc/loadavg: 1.13 1.17 1.87 6/272 24248
/proc/meminfo: memFree=129735416/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=84504 memory=38824 CPUtime=6.25 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 7690 0 0 0 606 19 0 0 20 0 1 0 33994858 86532096 9706 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 21126 9706 2336 1147 0 8553 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 88696 KiB
Current children cumulated memory: 41768 KiB
[startup+12.7002 s]
/proc/loadavg: 1.36 1.21 1.88 6/272 24248
/proc/meminfo: memFree=129669764/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=92376 memory=48484 CPUtime=12.64 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 9576 0 0 0 1233 31 0 0 20 0 1 0 33994858 94593024 12121 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 23094 12121 2336 1147 0 10521 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 96568 KiB
Current children cumulated memory: 51428 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 1.37 1.92 6/272 24249
/proc/meminfo: memFree=129450480/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=96884 memory=53092 CPUtime=25.4 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 10747 0 0 0 2485 55 0 0 20 0 1 0 33994858 99209216 13273 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 24221 13273 2336 1147 0 11648 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 101076 KiB
Current children cumulated memory: 56036 KiB
[startup+51.1058 s]
/proc/loadavg: 2.69 1.58 1.98 6/272 24249
/proc/meminfo: memFree=128952464/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=143184 memory=88152 CPUtime=50.94 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 18490 0 0 0 4991 103 0 0 20 0 1 0 33994858 146620416 22038 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 35796 22038 2336 1147 0 23223 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 147376 KiB
Current children cumulated memory: 91096 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.99 2.10 6/273 24254
/proc/meminfo: memFree=128275724/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=214876 memory=146304 CPUtime=102.01 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 24853 0 0 0 10025 176 0 0 20 0 1 0 33994858 220033024 36576 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 53719 36576 2336 1147 0 41146 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 149248 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.37 2.22 6/274 24259
/proc/meminfo: memFree=127508508/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=236716 memory=184240 CPUtime=161.86 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 29752 0 0 0 15951 235 0 0 20 0 1 0 33994858 242397184 46060 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 59179 46060 2336 1147 0 46606 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 240908 KiB
Current children cumulated memory: 187184 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.69 2.34 6/273 24261
/proc/meminfo: memFree=126778580/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=310984 memory=243820 CPUtime=221.71 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 35981 0 0 0 21883 288 0 0 20 0 1 0 33994858 318447616 60955 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 77746 60955 2336 1147 0 65173 0
################
# More data... #
################
/proc/24248/statm: 181273 167736 2336 1147 0 168700 0
Current children cumulated CPU time: 3094.31 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 673888 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.09 6/273 24423
/proc/meminfo: memFree=104990044/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=725092 memory=670944 CPUtime=3154.16 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 82719 0 0 0 313404 2012 0 0 20 0 1 0 33994858 742494208 167736 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 181273 167736 2336 1147 0 168700 0
Current children cumulated CPU time: 3154.16 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 673888 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/272 24425
/proc/meminfo: memFree=104575596/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=725092 memory=670944 CPUtime=3214.01 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 82760 0 0 0 319348 2053 0 0 20 0 1 0 33994858 742494208 167736 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 181273 167736 2336 1147 0 168700 0
Current children cumulated CPU time: 3214.01 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 673888 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/272 24427
/proc/meminfo: memFree=104214924/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=725092 memory=670944 CPUtime=3273.86 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 82783 0 0 0 325294 2092 0 0 20 0 1 0 33994858 742494208 167736 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 181273 167736 2336 1147 0 168700 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 673888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 6/272 24430
/proc/meminfo: memFree=103822044/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=725092 memory=670944 CPUtime=3333.73 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 82818 0 0 0 331258 2115 0 0 20 0 1 0 33994858 742494208 167736 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 181273 167736 2336 1147 0 168700 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 673888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/272 24433
/proc/meminfo: memFree=103548932/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=725092 memory=670944 CPUtime=3393.57 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 82856 0 0 0 337220 2137 0 0 20 0 1 0 33994858 742494208 167736 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 181273 167736 2336 1147 0 168700 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 673888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/271 24435
/proc/meminfo: memFree=103299356/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=725092 memory=670944 CPUtime=3453.43 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 82888 0 0 0 343188 2155 0 0 20 0 1 0 33994858 742494208 167736 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 181273 167736 2336 1147 0 168700 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 673888 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/271 24437
/proc/meminfo: memFree=103123376/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=725092 memory=671200 CPUtime=3513.27 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 82950 0 0 0 349158 2169 0 0 20 0 1 0 33994858 742494208 167800 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 181273 167800 2336 1147 0 168700 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 729284 KiB
Current children cumulated memory: 674144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/270 24439
/proc/meminfo: memFree=102880284/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=944600 memory=701312 CPUtime=3573.13 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 84354 0 0 0 355120 2193 0 0 20 0 1 0 33994858 967270400 175328 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 236150 175328 2336 1147 0 223577 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 948792 KiB
Current children cumulated memory: 704256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/270 24441
/proc/meminfo: memFree=102753444/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=944600 memory=701312 CPUtime=3600.06 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 84354 0 0 0 357801 2205 0 0 20 0 1 0 33994858 967270400 175328 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 236150 175328 2336 1147 0 223577 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 948792 KiB
Current children cumulated memory: 704256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 24244 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002421 s
[startup+3609.35 s]
# the end of solver process 24248 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.03 s, system=22.0692 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+3609.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/270 24441
/proc/meminfo: memFree=102753444/131250000 swapFree=33010684/33010684
[pid=24244] ppid=24232 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24244/stat : 24244 (run-dec-log.sh) S 24232 24244 24175 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33994857 4292608 736 18446744073709551615 94909086068736 94909086963269 140732310315440 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94909087202320 94909087250064 94909105045504 140732310321441 140732310321636 140732310321636 140732310327238 0
/proc/24244/statm: 1048 736 672 219 0 110 0
[pid=24248] ppid=24244 vsize=944600 memory=701312 CPUtime=3600.06 cores=5,7
/proc/24248/stat : 24248 (roundingsat) R 24244 24244 24175 0 -1 4194304 84354 0 0 0 357801 2205 0 0 20 0 1 0 33994858 967270400 175328 18446744073709551615 4227072 8923433 140734522090896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35602432 140734522100071 140734522100264 140734522100264 140734522105834 0
/proc/24248/statm: 236150 175328 2336 1147 0 223577 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 948792 KiB
Current children cumulated memory: 704256 KiB
Child status: 2
Real time (s): 3609.35
CPU time (s): 3600.09
CPU user time (s): 3578.03
CPU system time (s): 22.0692
CPU usage (%): 99.7435
Max. virtual memory (cumulated for all children) (KiB): 948792
Max. memory (cumulated for all children) (KiB): 704256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.03
system time used= 22.0692
maximum resident set size= 701696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84582
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11285360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1382
involuntary context switches= 4869
# summary of solver processes directly reported to runsolver:
# pid: 24244,24248
# total CPU time (s): 3600.09
# total CPU user time (s): 3578.03
# total CPU system time (s): 22.0692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70025 second user time and 17.4818 second system time
The end
Begin job on nodeC013 at 2025-06-29 09:45:46
IDJOB=4507337
IDBENCH=158343
IDSOLVER=3352
FILE ID=nodeC013/4507337-1751183146
RUNJOBID= nodeC013-1751183146-24188
SLURM_JOB_ID= 9587568
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507337-1751183146/watcher-4507337-1751183146 -o /tmp/evaluation-result-4507337-1751183146/solver-4507337-1751183146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24188 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507337-1751183146.opb PROOFDIR/proof-4507337-1751183146
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e
RANDOM SEED=1585000491
nodeC013 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 : 3600.461
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.67
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 : 3600.099
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.200
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
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.67
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 : 3600.296
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.67
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.842
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.67
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 : 3602.424
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.67
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 : 3644.070
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129978956 kB
MemAvailable: 129812528 kB
Buffers: 3280 kB
Cached: 637452 kB
SwapCached: 0 kB
Active: 278696 kB
Inactive: 428648 kB
Active(anon): 79896 kB
Inactive(anon): 0 kB
Active(file): 198800 kB
Inactive(file): 428648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30780 kB
Writeback: 0 kB
AnonPages: 69964 kB
Mapped: 97964 kB
Shmem: 13284 kB
KReclaimable: 90328 kB
Slab: 175476 kB
SReclaimable: 90328 kB
SUnreclaim: 85148 kB
KernelStack: 4088 kB
PageTables: 2348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 316692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-06-29 10:45:56