0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.13 c #variables 5712 #constraints 5882
36.87/37.09 c #Conflicts: 1000 | #Constraints: 6881
36.87/37.09 c #Conflicts: 2000 | #Constraints: 7881
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 3000 | #Constraints: 7565
36.87/37.09 c #Conflicts: 4000 | #Constraints: 8565
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 5000 | #Constraints: 8022
36.87/37.09 c #Conflicts: 6000 | #Constraints: 9022
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 7000 | #Constraints: 8086
36.87/37.09 c #Conflicts: 8000 | #Constraints: 9086
36.87/37.09 c #Conflicts: 9000 | #Constraints: 10086
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 10000 | #Constraints: 8798
36.87/37.09 c #Conflicts: 11000 | #Constraints: 9798
36.87/37.09 c #Conflicts: 12000 | #Constraints: 10798
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 13000 | #Constraints: 9283
36.87/37.09 c #Conflicts: 14000 | #Constraints: 10283
36.87/37.09 c #Conflicts: 15000 | #Constraints: 11283
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 16000 | #Constraints: 9572
36.87/37.09 c #Conflicts: 17000 | #Constraints: 10572
36.87/37.09 c #Conflicts: 18000 | #Constraints: 11572
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 19000 | #Constraints: 9622
36.87/37.09 c #Conflicts: 20000 | #Constraints: 10622
36.87/37.09 c #Conflicts: 21000 | #Constraints: 11622
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 22000 | #Constraints: 9426
36.87/37.09 c #Conflicts: 23000 | #Constraints: 10426
36.87/37.09 c #Conflicts: 24000 | #Constraints: 11426
36.87/37.09 c #Conflicts: 25000 | #Constraints: 12426
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 26000 | #Constraints: 10032
36.87/37.09 c #Conflicts: 27000 | #Constraints: 11032
36.87/37.09 c #Conflicts: 28000 | #Constraints: 12032
36.87/37.09 c #Conflicts: 29000 | #Constraints: 13032
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 30000 | #Constraints: 10484
36.87/37.09 c #Conflicts: 31000 | #Constraints: 11484
36.87/37.09 c #Conflicts: 32000 | #Constraints: 12484
36.87/37.09 c #Conflicts: 33000 | #Constraints: 13484
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 34000 | #Constraints: 10696
36.87/37.09 c #Conflicts: 35000 | #Constraints: 11696
36.87/37.09 c #Conflicts: 36000 | #Constraints: 12696
36.87/37.09 c #Conflicts: 37000 | #Constraints: 13696
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 38000 | #Constraints: 10719
36.87/37.09 c #Conflicts: 39000 | #Constraints: 11719
36.87/37.09 c #Conflicts: 40000 | #Constraints: 12719
36.87/37.09 c #Conflicts: 41000 | #Constraints: 13719
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 42000 | #Constraints: 10521
36.87/37.09 c #Conflicts: 43000 | #Constraints: 11521
36.87/37.09 c #Conflicts: 44000 | #Constraints: 12521
36.87/37.09 c #Conflicts: 45000 | #Constraints: 13521
36.87/37.09 c #Conflicts: 46000 | #Constraints: 14521
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c #Conflicts: 47000 | #Constraints: 11133
36.87/37.09 c #Conflicts: 48000 | #Constraints: 12133
36.87/37.09 c #Conflicts: 49000 | #Constraints: 13133
36.87/37.09 c #Conflicts: 50000 | #Constraints: 14133
36.87/37.09 c #Conflicts: 51000 | #Constraints: 15133
36.87/37.09 c INPROCESSING
36.87/37.09 c GARBAGE COLLECT
36.87/37.09 c rational objective 84
97.08/97.49 c #Conflicts: 52000 | #Constraints: 11589
97.08/97.49 c #Conflicts: 53000 | #Constraints: 12589
97.08/97.49 c #Conflicts: 54000 | #Constraints: 13589
97.08/97.49 c #Conflicts: 55000 | #Constraints: 14589
97.08/97.49 c #Conflicts: 56000 | #Constraints: 15589
97.08/97.49 c INPROCESSING
97.08/97.49 c GARBAGE COLLECT
97.08/97.49 c #Conflicts: 57000 | #Constraints: 11807
97.08/97.49 c #Conflicts: 58000 | #Constraints: 12807
97.08/97.49 c #Conflicts: 59000 | #Constraints: 13807
97.08/97.49 c #Conflicts: 60000 | #Constraints: 14807
97.08/97.49 c #Conflicts: 61000 | #Constraints: 15807
97.08/97.49 c INPROCESSING
97.08/97.49 c GARBAGE COLLECT
97.08/97.49 c #Conflicts: 62000 | #Constraints: 11783
97.08/97.49 c #Conflicts: 63000 | #Constraints: 12783
97.08/97.49 c #Conflicts: 64000 | #Constraints: 13783
97.08/97.49 c #Conflicts: 65000 | #Constraints: 14783
97.08/97.49 c #Conflicts: 66000 | #Constraints: 15783
97.08/97.49 c INPROCESSING
97.08/97.49 c GARBAGE COLLECT
97.08/97.49 c #Conflicts: 67000 | #Constraints: 11621
97.08/97.49 c #Conflicts: 68000 | #Constraints: 12621
97.08/97.49 c #Conflicts: 69000 | #Constraints: 13621
97.08/97.49 c #Conflicts: 70000 | #Constraints: 14621
97.08/97.49 c #Conflicts: 71000 | #Constraints: 15621
97.08/97.49 c #Conflicts: 72000 | #Constraints: 16621
97.08/97.49 c INPROCESSING
97.08/97.49 c GARBAGE COLLECT
97.08/97.49 c #Conflicts: 73000 | #Constraints: 12222
97.08/97.49 c #Conflicts: 74000 | #Constraints: 13222
97.08/97.49 c #Conflicts: 75000 | #Constraints: 14222
97.08/97.49 c #Conflicts: 76000 | #Constraints: 15222
97.08/97.49 c #Conflicts: 77000 | #Constraints: 16222
97.08/97.49 c #Conflicts: 78000 | #Constraints: 17222
97.08/97.49 c #Conflicts: 79000 | #Constraints: 18222
97.08/97.49 c #Conflicts: 80000 | #Constraints: 19222
97.08/97.49 c #Conflicts: 81000 | #Constraints: 20222
97.08/97.49 c #Conflicts: 82000 | #Constraints: 21222
97.08/97.49 c #Conflicts: 83000 | #Constraints: 22222
97.08/97.49 c #Conflicts: 84000 | #Constraints: 23222
97.08/97.49 c #Conflicts: 85000 | #Constraints: 24222
97.08/97.49 c #Conflicts: 86000 | #Constraints: 25222
97.08/97.49 c #Conflicts: 87000 | #Constraints: 26222
97.08/97.49 c #Conflicts: 88000 | #Constraints: 27222
97.08/97.49 c #Conflicts: 89000 | #Constraints: 28222
97.08/97.49 c #Conflicts: 90000 | #Constraints: 29222
97.08/97.49 c #Conflicts: 91000 | #Constraints: 30222
97.08/97.49 c #Conflicts: 92000 | #Constraints: 31222
97.08/97.49 c #Conflicts: 93000 | #Constraints: 32222
97.08/97.49 c #Conflicts: 94000 | #Constraints: 33222
97.08/97.49 c #Conflicts: 95000 | #Constraints: 34222
97.08/97.49 c #Conflicts: 96000 | #Constraints: 35222
97.08/97.49 c INPROCESSING
97.08/97.49 c GARBAGE COLLECT
97.08/97.49 c #Conflicts: 97000 | #Constraints: 21636
97.08/97.49 c #Conflicts: 98000 | #Constraints: 22636
97.08/97.49 c #Conflicts: 99000 | #Constraints: 23636
97.08/97.49 c #Conflicts: 100000 | #Constraints: 24636
97.08/97.49 c #Conflicts: 101000 | #Constraints: 25637
97.08/97.49 c #Conflicts: 102000 | #Constraints: 26637
97.08/97.49 c INPROCESSING
97.08/97.49 c GARBAGE COLLECT
97.08/97.49 c #Conflicts: 103000 | #Constraints: 16923
97.08/97.49 c #Conflicts: 104000 | #Constraints: 17923
97.08/97.49 c #Conflicts: 105000 | #Constraints: 18923
97.08/97.49 c #Conflicts: 106000 | #Constraints: 19923
97.08/97.49 c #Conflicts: 107000 | #Constraints: 20923
97.08/97.49 c #Conflicts: 108000 | #Constraints: 21923
97.08/97.49 c #Conflicts: 109000 | #Constraints: 22923
97.08/97.49 c #Conflicts: 110000 | #Constraints: 23923
97.08/97.49 c INPROCESSING
97.08/97.49 c GARBAGE COLLECT
97.08/97.49 c #Conflicts: 111000 | #Constraints: 16055
97.08/97.49 c #Conflicts: 112000 | #Constraints: 17055
97.08/97.49 c #Conflicts: 113000 | #Constraints: 18055
97.08/97.49 c #Conflicts: 114000 | #Constraints: 19055
97.08/97.49 c #Conflicts: 115000 | #Constraints: 20055
97.08/97.49 c #Conflicts: 116000 | #Constraints: 21055
97.08/97.49 c #Conflicts: 117000 | #Constraints: 22055
97.08/97.49 c INPROCESSING
97.08/97.49 c GARBAGE COLLECT
97.08/97.49 c #Conflicts: 118000 | #Constraints: 14930
97.08/97.49 c #Conflicts: 119000 | #Constraints: 15930
97.08/97.49 c #Conflicts: 120000 | #Constraints: 16930
97.08/97.49 c #Conflicts: 121000 | #Constraints: 17930
97.08/97.49 c #Conflicts: 122000 | #Constraints: 18930
97.08/97.49 c #Conflicts: 123000 | #Constraints: 19930
97.08/97.49 c #Conflicts: 124000 | #Constraints: 20930
97.08/97.49 c INPROCESSING
97.08/97.49 c GARBAGE COLLECT
97.08/97.49 c #Conflicts: 125000 | #Constraints: 14154
163.09/163.64 c #Conflicts: 126000 | #Constraints: 15154
163.09/163.64 c #Conflicts: 127000 | #Constraints: 16154
163.09/163.64 c #Conflicts: 128000 | #Constraints: 17154
163.09/163.64 c #Conflicts: 129000 | #Constraints: 18154
163.09/163.64 c #Conflicts: 130000 | #Constraints: 19154
163.09/163.64 c #Conflicts: 131000 | #Constraints: 20154
163.09/163.64 c #Conflicts: 132000 | #Constraints: 21154
163.09/163.64 c INPROCESSING
163.09/163.64 c GARBAGE COLLECT
163.09/163.64 c #Conflicts: 133000 | #Constraints: 14390
163.09/163.64 c #Conflicts: 134000 | #Constraints: 15390
163.09/163.64 c #Conflicts: 135000 | #Constraints: 16390
163.09/163.64 c #Conflicts: 136000 | #Constraints: 17390
163.09/163.64 c #Conflicts: 137000 | #Constraints: 18390
163.09/163.64 c #Conflicts: 138000 | #Constraints: 19390
163.09/163.64 c #Conflicts: 139000 | #Constraints: 20390
163.09/163.64 c #Conflicts: 140000 | #Constraints: 21390
163.09/163.64 c #Conflicts: 141000 | #Constraints: 22390
163.09/163.64 c #Conflicts: 142000 | #Constraints: 23390
163.09/163.64 c #Conflicts: 143000 | #Constraints: 24390
163.09/163.64 c #Conflicts: 144000 | #Constraints: 25390
163.09/163.64 c #Conflicts: 145000 | #Constraints: 26390
163.09/163.64 c #Conflicts: 146000 | #Constraints: 27390
163.09/163.64 c #Conflicts: 147000 | #Constraints: 28390
163.09/163.64 c #Conflicts: 148000 | #Constraints: 29390
163.09/163.64 c #Conflicts: 149000 | #Constraints: 30390
163.09/163.64 c #Conflicts: 150000 | #Constraints: 31390
163.09/163.64 c #Conflicts: 151000 | #Constraints: 32390
163.09/163.64 c #Conflicts: 152000 | #Constraints: 33390
163.09/163.64 c #Conflicts: 153000 | #Constraints: 34390
163.09/163.64 c #Conflicts: 154000 | #Constraints: 35390
163.09/163.64 c #Conflicts: 155000 | #Constraints: 36390
163.09/163.64 c #Conflicts: 156000 | #Constraints: 37390
163.09/163.64 c #Conflicts: 157000 | #Constraints: 38390
163.09/163.64 c #Conflicts: 158000 | #Constraints: 39390
163.09/163.64 c #Conflicts: 159000 | #Constraints: 40390
163.09/163.64 c #Conflicts: 160000 | #Constraints: 41390
163.09/163.64 c #Conflicts: 161000 | #Constraints: 42390
163.09/163.64 c #Conflicts: 162000 | #Constraints: 43390
163.09/163.64 c #Conflicts: 163000 | #Constraints: 44390
163.09/163.64 c INPROCESSING
163.09/163.64 c GARBAGE COLLECT
163.09/163.64 c #Conflicts: 164000 | #Constraints: 25930
163.09/163.64 c #Conflicts: 165000 | #Constraints: 26930
163.09/163.64 c #Conflicts: 166000 | #Constraints: 27930
163.09/163.64 c #Conflicts: 167000 | #Constraints: 28930
163.09/163.64 c #Conflicts: 168000 | #Constraints: 29930
163.09/163.64 c #Conflicts: 169000 | #Constraints: 30930
163.09/163.64 c #Conflicts: 170000 | #Constraints: 31930
163.09/163.64 c #Conflicts: 171000 | #Constraints: 32930
163.09/163.64 c #Conflicts: 172000 | #Constraints: 33930
163.09/163.64 c INPROCESSING
163.09/163.64 c GARBAGE COLLECT
163.09/163.64 c #Conflicts: 173000 | #Constraints: 20655
163.09/163.64 c #Conflicts: 174000 | #Constraints: 21655
163.09/163.64 c #Conflicts: 175000 | #Constraints: 22655
163.09/163.64 c #Conflicts: 176000 | #Constraints: 23655
163.09/163.64 c #Conflicts: 177000 | #Constraints: 24655
163.09/163.64 c #Conflicts: 178000 | #Constraints: 25655
163.09/163.64 c #Conflicts: 179000 | #Constraints: 26655
163.09/163.64 c #Conflicts: 180000 | #Constraints: 27655
163.09/163.64 c #Conflicts: 181000 | #Constraints: 28655
163.09/163.64 c #Conflicts: 182000 | #Constraints: 29655
163.09/163.64 c INPROCESSING
163.09/163.64 c GARBAGE COLLECT
163.09/163.64 c rational objective 84
267.49/268.30 c #Conflicts: 183000 | #Constraints: 18926
267.49/268.30 c #Conflicts: 184000 | #Constraints: 19926
267.49/268.30 c #Conflicts: 185000 | #Constraints: 20926
267.49/268.30 c #Conflicts: 186000 | #Constraints: 21926
267.49/268.30 c #Conflicts: 187000 | #Constraints: 22926
267.49/268.30 c #Conflicts: 188000 | #Constraints: 23926
267.49/268.30 c #Conflicts: 189000 | #Constraints: 24926
267.49/268.30 c #Conflicts: 190000 | #Constraints: 25926
267.49/268.30 c #Conflicts: 191000 | #Constraints: 26926
267.49/268.30 c INPROCESSING
267.49/268.30 c GARBAGE COLLECT
267.49/268.30 c #Conflicts: 192000 | #Constraints: 17368
267.49/268.30 c #Conflicts: 193000 | #Constraints: 18368
267.49/268.30 c #Conflicts: 194000 | #Constraints: 19368
267.49/268.30 c #Conflicts: 195000 | #Constraints: 20368
267.49/268.30 c #Conflicts: 196000 | #Constraints: 21368
267.49/268.30 c #Conflicts: 197000 | #Constraints: 22368
267.49/268.30 c #Conflicts: 198000 | #Constraints: 23368
267.49/268.30 c #Conflicts: 199000 | #Constraints: 24368
267.49/268.30 c #Conflicts: 200000 | #Constraints: 25368
267.49/268.30 c #Conflicts: 201000 | #Constraints: 26368
267.49/268.30 c INPROCESSING
267.49/268.30 c GARBAGE COLLECT
267.49/268.30 c #Conflicts: 202000 | #Constraints: 17292
267.49/268.30 c #Conflicts: 203000 | #Constraints: 18292
267.49/268.30 c #Conflicts: 204000 | #Constraints: 19292
267.49/268.30 c #Conflicts: 205000 | #Constraints: 20292
267.49/268.30 c #Conflicts: 206000 | #Constraints: 21292
267.49/268.30 c #Conflicts: 207000 | #Constraints: 22292
267.49/268.30 c #Conflicts: 208000 | #Constraints: 23292
267.49/268.30 c #Conflicts: 209000 | #Constraints: 24292
267.49/268.30 c #Conflicts: 210000 | #Constraints: 25292
267.49/268.30 c #Conflicts: 211000 | #Constraints: 26292
267.49/268.30 c #Conflicts: 212000 | #Constraints: 27292
267.49/268.30 c #Conflicts: 213000 | #Constraints: 28292
267.49/268.30 c #Conflicts: 214000 | #Constraints: 29292
267.49/268.30 c #Conflicts: 215000 | #Constraints: 30292
267.49/268.30 c #Conflicts: 216000 | #Constraints: 31292
267.49/268.30 c #Conflicts: 217000 | #Constraints: 32292
267.49/268.30 c #Conflicts: 218000 | #Constraints: 33292
267.49/268.30 c #Conflicts: 219000 | #Constraints: 34292
267.49/268.30 c #Conflicts: 220000 | #Constraints: 35292
267.49/268.30 c #Conflicts: 221000 | #Constraints: 36292
267.49/268.30 c #Conflicts: 222000 | #Constraints: 37292
267.49/268.30 c #Conflicts: 223000 | #Constraints: 38292
267.49/268.30 c #Conflicts: 224000 | #Constraints: 39292
267.49/268.30 c #Conflicts: 225000 | #Constraints: 40292
267.49/268.30 c #Conflicts: 226000 | #Constraints: 41292
267.49/268.30 c #Conflicts: 227000 | #Constraints: 42292
267.49/268.30 c #Conflicts: 228000 | #Constraints: 43292
267.49/268.30 c #Conflicts: 229000 | #Constraints: 44292
267.49/268.30 c #Conflicts: 230000 | #Constraints: 45292
267.49/268.30 c #Conflicts: 231000 | #Constraints: 46292
267.49/268.30 c #Conflicts: 232000 | #Constraints: 47292
267.49/268.30 c #Conflicts: 233000 | #Constraints: 48292
267.49/268.30 c #Conflicts: 234000 | #Constraints: 49292
267.49/268.30 c #Conflicts: 235000 | #Constraints: 50292
267.49/268.30 c #Conflicts: 236000 | #Constraints: 51292
267.49/268.30 c #Conflicts: 237000 | #Constraints: 52292
267.49/268.30 c #Conflicts: 238000 | #Constraints: 53292
267.49/268.30 c INPROCESSING
267.49/268.30 c GARBAGE COLLECT
267.49/268.30 c #Conflicts: 239000 | #Constraints: 30430
267.49/268.30 c #Conflicts: 240000 | #Constraints: 31430
267.49/268.30 c #Conflicts: 241000 | #Constraints: 32430
267.49/268.30 c #Conflicts: 242000 | #Constraints: 33430
267.49/268.30 c #Conflicts: 243000 | #Constraints: 34430
267.49/268.30 c #Conflicts: 244000 | #Constraints: 35430
267.49/268.30 c #Conflicts: 245000 | #Constraints: 36430
267.49/268.30 c #Conflicts: 246000 | #Constraints: 37430
267.49/268.30 c #Conflicts: 247000 | #Constraints: 38430
267.49/268.30 c #Conflicts: 248000 | #Constraints: 39430
267.49/268.30 c #Conflicts: 249000 | #Constraints: 40430
267.49/268.30 c INPROCESSING
267.49/268.30 c GARBAGE COLLECT
267.49/268.30 c #Conflicts: 250000 | #Constraints: 24066
267.49/268.30 c #Conflicts: 251000 | #Constraints: 25066
267.49/268.30 c #Conflicts: 252000 | #Constraints: 26066
267.49/268.30 c #Conflicts: 253000 | #Constraints: 27066
267.49/268.30 c #Conflicts: 254000 | #Constraints: 28066
267.49/268.30 c #Conflicts: 255000 | #Constraints: 29066
267.49/268.30 c #Conflicts: 256000 | #Constraints: 30066
267.49/268.30 c #Conflicts: 257000 | #Constraints: 31066
267.49/268.30 c #Conflicts: 258000 | #Constraints: 32066
267.49/268.30 c #Conflicts: 259000 | #Constraints: 33066
384.55/385.78 c #Conflicts: 260000 | #Constraints: 34066
384.55/385.78 c INPROCESSING
384.55/385.78 c GARBAGE COLLECT
384.55/385.78 c #Conflicts: 261000 | #Constraints: 20803
384.55/385.78 c #Conflicts: 262000 | #Constraints: 21803
384.55/385.78 c #Conflicts: 263000 | #Constraints: 22803
384.55/385.78 c #Conflicts: 264000 | #Constraints: 23803
384.55/385.78 c #Conflicts: 265000 | #Constraints: 24803
384.55/385.78 c #Conflicts: 266000 | #Constraints: 25803
384.55/385.78 c #Conflicts: 267000 | #Constraints: 26803
384.55/385.78 c #Conflicts: 268000 | #Constraints: 27803
384.55/385.78 c #Conflicts: 269000 | #Constraints: 28803
384.55/385.78 c #Conflicts: 270000 | #Constraints: 29803
384.55/385.78 c #Conflicts: 271000 | #Constraints: 30803
384.55/385.78 c #Conflicts: 272000 | #Constraints: 31803
384.55/385.78 c INPROCESSING
384.55/385.78 c GARBAGE COLLECT
384.55/385.78 c #Conflicts: 273000 | #Constraints: 20053
384.55/385.78 c #Conflicts: 274000 | #Constraints: 21053
384.55/385.78 c #Conflicts: 275000 | #Constraints: 22053
384.55/385.78 c #Conflicts: 276000 | #Constraints: 23053
384.55/385.78 c #Conflicts: 277000 | #Constraints: 24053
384.55/385.78 c #Conflicts: 278000 | #Constraints: 25053
384.55/385.78 c #Conflicts: 279000 | #Constraints: 26053
384.55/385.78 c #Conflicts: 280000 | #Constraints: 27053
384.55/385.78 c #Conflicts: 281000 | #Constraints: 28053
384.55/385.78 c #Conflicts: 282000 | #Constraints: 29053
384.55/385.78 c #Conflicts: 283000 | #Constraints: 30053
384.55/385.78 c INPROCESSING
384.55/385.78 c GARBAGE COLLECT
384.55/385.78 c #Conflicts: 284000 | #Constraints: 18959
384.55/385.78 c #Conflicts: 285000 | #Constraints: 19959
384.55/385.78 c #Conflicts: 286000 | #Constraints: 20959
384.55/385.78 c #Conflicts: 287000 | #Constraints: 21959
384.55/385.78 c #Conflicts: 288000 | #Constraints: 22959
384.55/385.78 c #Conflicts: 289000 | #Constraints: 23959
384.55/385.78 c #Conflicts: 290000 | #Constraints: 24959
384.55/385.78 c #Conflicts: 291000 | #Constraints: 25959
384.55/385.78 c #Conflicts: 292000 | #Constraints: 26959
384.55/385.78 c #Conflicts: 293000 | #Constraints: 27959
384.55/385.78 c #Conflicts: 294000 | #Constraints: 28959
384.55/385.78 c #Conflicts: 295000 | #Constraints: 29959
384.55/385.78 c #Conflicts: 296000 | #Constraints: 30959
384.55/385.78 c #Conflicts: 297000 | #Constraints: 31959
384.55/385.78 c #Conflicts: 298000 | #Constraints: 32959
384.55/385.78 c #Conflicts: 299000 | #Constraints: 33959
384.55/385.78 c #Conflicts: 300000 | #Constraints: 34959
384.55/385.78 c #Conflicts: 301000 | #Constraints: 35959
384.55/385.78 c #Conflicts: 302000 | #Constraints: 36959
384.55/385.78 c #Conflicts: 303000 | #Constraints: 37959
384.55/385.78 c #Conflicts: 304000 | #Constraints: 38959
384.55/385.78 c #Conflicts: 305000 | #Constraints: 39959
384.55/385.78 c #Conflicts: 306000 | #Constraints: 40959
384.55/385.78 c #Conflicts: 307000 | #Constraints: 41959
384.55/385.78 c #Conflicts: 308000 | #Constraints: 42959
384.55/385.78 c #Conflicts: 309000 | #Constraints: 43959
384.55/385.78 c #Conflicts: 310000 | #Constraints: 44959
384.55/385.78 c #Conflicts: 311000 | #Constraints: 45959
384.55/385.78 c #Conflicts: 312000 | #Constraints: 46959
384.55/385.78 c #Conflicts: 313000 | #Constraints: 47959
384.55/385.78 c #Conflicts: 314000 | #Constraints: 48959
384.55/385.78 c #Conflicts: 315000 | #Constraints: 49959
384.55/385.78 c #Conflicts: 316000 | #Constraints: 50959
384.55/385.78 c #Conflicts: 317000 | #Constraints: 51959
384.55/385.78 c #Conflicts: 318000 | #Constraints: 52960
384.55/385.78 c #Conflicts: 319000 | #Constraints: 53960
384.55/385.78 c #Conflicts: 320000 | #Constraints: 54960
384.55/385.78 c #Conflicts: 321000 | #Constraints: 55960
384.55/385.78 c #Conflicts: 322000 | #Constraints: 56960
384.55/385.78 c #Conflicts: 323000 | #Constraints: 57960
384.55/385.78 c #Conflicts: 324000 | #Constraints: 58960
384.55/385.78 c #Conflicts: 325000 | #Constraints: 59960
384.55/385.78 c #Conflicts: 326000 | #Constraints: 60960
384.55/385.78 c #Conflicts: 327000 | #Constraints: 61960
384.55/385.78 c INPROCESSING
384.55/385.78 c GARBAGE COLLECT
384.55/385.78 c rational objective 84
476.08/477.57 c #Conflicts: 328000 | #Constraints: 34793
476.08/477.57 c #Conflicts: 329000 | #Constraints: 35793
476.08/477.57 c #Conflicts: 330000 | #Constraints: 36793
476.08/477.57 c #Conflicts: 331000 | #Constraints: 37793
476.08/477.57 c #Conflicts: 332000 | #Constraints: 38793
476.08/477.57 c #Conflicts: 333000 | #Constraints: 39793
476.08/477.57 c #Conflicts: 334000 | #Constraints: 40793
476.08/477.57 c #Conflicts: 335000 | #Constraints: 41793
476.08/477.57 c #Conflicts: 336000 | #Constraints: 42793
476.08/477.57 c #Conflicts: 337000 | #Constraints: 43793
476.08/477.57 c #Conflicts: 338000 | #Constraints: 44793
476.08/477.57 c #Conflicts: 339000 | #Constraints: 45793
476.08/477.57 c #Conflicts: 340000 | #Constraints: 46793
476.08/477.57 c INPROCESSING
476.08/477.57 c GARBAGE COLLECT
476.08/477.57 c #Conflicts: 341000 | #Constraints: 27382
476.08/477.57 c #Conflicts: 342000 | #Constraints: 28382
476.08/477.57 c #Conflicts: 343000 | #Constraints: 29382
476.08/477.57 c #Conflicts: 344000 | #Constraints: 30382
476.08/477.57 c #Conflicts: 345000 | #Constraints: 31382
476.08/477.57 c #Conflicts: 346000 | #Constraints: 32382
476.08/477.57 c #Conflicts: 347000 | #Constraints: 33382
476.08/477.57 c #Conflicts: 348000 | #Constraints: 34382
476.08/477.57 c #Conflicts: 349000 | #Constraints: 35382
476.08/477.57 c #Conflicts: 350000 | #Constraints: 36382
476.08/477.57 c #Conflicts: 351000 | #Constraints: 37382
476.08/477.57 c #Conflicts: 352000 | #Constraints: 38382
476.08/477.57 c #Conflicts: 353000 | #Constraints: 39382
476.08/477.57 c INPROCESSING
476.08/477.57 c GARBAGE COLLECT
476.08/477.57 c #Conflicts: 354000 | #Constraints: 23652
476.08/477.57 c #Conflicts: 355000 | #Constraints: 24652
476.08/477.57 c #Conflicts: 356000 | #Constraints: 25652
476.08/477.57 c #Conflicts: 357000 | #Constraints: 26652
476.08/477.57 c #Conflicts: 358000 | #Constraints: 27652
476.08/477.57 c #Conflicts: 359000 | #Constraints: 28652
476.08/477.57 c #Conflicts: 360000 | #Constraints: 29652
476.08/477.57 c #Conflicts: 361000 | #Constraints: 30652
476.08/477.57 c #Conflicts: 362000 | #Constraints: 31652
476.08/477.57 c #Conflicts: 363000 | #Constraints: 32652
476.08/477.57 c #Conflicts: 364000 | #Constraints: 33652
476.08/477.57 c #Conflicts: 365000 | #Constraints: 34652
476.08/477.57 c #Conflicts: 366000 | #Constraints: 35652
476.08/477.57 c INPROCESSING
476.08/477.57 c GARBAGE COLLECT
476.08/477.57 c #Conflicts: 367000 | #Constraints: 21694
476.08/477.57 c #Conflicts: 368000 | #Constraints: 22694
476.08/477.57 c #Conflicts: 369000 | #Constraints: 23694
476.08/477.57 c #Conflicts: 370000 | #Constraints: 24694
476.08/477.57 c #Conflicts: 371000 | #Constraints: 25694
476.08/477.57 c #Conflicts: 372000 | #Constraints: 26694
476.08/477.57 c #Conflicts: 373000 | #Constraints: 27694
476.08/477.57 c #Conflicts: 374000 | #Constraints: 28694
476.08/477.57 c #Conflicts: 375000 | #Constraints: 29694
476.08/477.57 c #Conflicts: 376000 | #Constraints: 30694
476.08/477.57 c #Conflicts: 377000 | #Constraints: 31694
476.08/477.57 c #Conflicts: 378000 | #Constraints: 32694
476.08/477.57 c #Conflicts: 379000 | #Constraints: 33694
476.08/477.57 c #Conflicts: 380000 | #Constraints: 34694
476.08/477.57 c INPROCESSING
476.08/477.57 c GARBAGE COLLECT
476.08/477.57 c #Conflicts: 381000 | #Constraints: 21494
476.08/477.57 c #Conflicts: 382000 | #Constraints: 22494
476.08/477.57 c #Conflicts: 383000 | #Constraints: 23494
476.08/477.57 c #Conflicts: 384000 | #Constraints: 24494
476.08/477.57 c #Conflicts: 385000 | #Constraints: 25494
476.08/477.57 c #Conflicts: 386000 | #Constraints: 26494
476.08/477.57 c #Conflicts: 387000 | #Constraints: 27494
476.08/477.57 c #Conflicts: 388000 | #Constraints: 28494
476.08/477.57 c #Conflicts: 389000 | #Constraints: 29494
476.08/477.57 c #Conflicts: 390000 | #Constraints: 30494
476.08/477.57 c #Conflicts: 391000 | #Constraints: 31494
476.08/477.57 c #Conflicts: 392000 | #Constraints: 32494
476.08/477.57 c #Conflicts: 393000 | #Constraints: 33494
476.08/477.57 c #Conflicts: 394000 | #Constraints: 34494
476.08/477.57 c #Conflicts: 395000 | #Constraints: 35494
476.08/477.57 c #Conflicts: 396000 | #Constraints: 36494
476.08/477.57 c #Conflicts: 397000 | #Constraints: 37494
476.08/477.57 c #Conflicts: 398000 | #Constraints: 38494
476.08/477.57 c #Conflicts: 399000 | #Constraints: 39494
476.08/477.57 c #Conflicts: 400000 | #Constraints: 40494
476.08/477.57 c #Conflicts: 401000 | #Constraints: 41494
476.08/477.57 c #Conflicts: 402000 | #Constraints: 42494
476.08/477.57 c #Conflicts: 403000 | #Constraints: 43494
476.08/477.57 c #Conflicts: 404000 | #Constraints: 44494
583.29/585.09 c #Conflicts: 405000 | #Constraints: 45494
583.29/585.09 c #Conflicts: 406000 | #Constraints: 46494
583.29/585.09 c #Conflicts: 407000 | #Constraints: 47494
583.29/585.09 c #Conflicts: 408000 | #Constraints: 48494
583.29/585.09 c #Conflicts: 409000 | #Constraints: 49494
583.29/585.09 c #Conflicts: 410000 | #Constraints: 50494
583.29/585.09 c #Conflicts: 411000 | #Constraints: 51494
583.29/585.09 c #Conflicts: 412000 | #Constraints: 52494
583.29/585.09 c #Conflicts: 413000 | #Constraints: 53494
583.29/585.09 c #Conflicts: 414000 | #Constraints: 54494
583.29/585.09 c #Conflicts: 415000 | #Constraints: 55494
583.29/585.09 c #Conflicts: 416000 | #Constraints: 56494
583.29/585.09 c #Conflicts: 417000 | #Constraints: 57494
583.29/585.09 c #Conflicts: 418000 | #Constraints: 58494
583.29/585.09 c #Conflicts: 419000 | #Constraints: 59494
583.29/585.09 c #Conflicts: 420000 | #Constraints: 60494
583.29/585.09 c #Conflicts: 421000 | #Constraints: 61494
583.29/585.09 c #Conflicts: 422000 | #Constraints: 62494
583.29/585.09 c #Conflicts: 423000 | #Constraints: 63494
583.29/585.09 c #Conflicts: 424000 | #Constraints: 64494
583.29/585.09 c #Conflicts: 425000 | #Constraints: 65494
583.29/585.09 c #Conflicts: 426000 | #Constraints: 66494
583.29/585.09 c #Conflicts: 427000 | #Constraints: 67494
583.29/585.09 c #Conflicts: 428000 | #Constraints: 68494
583.29/585.09 c #Conflicts: 429000 | #Constraints: 69494
583.29/585.09 c #Conflicts: 430000 | #Constraints: 70494
583.29/585.09 c INPROCESSING
583.29/585.09 c GARBAGE COLLECT
583.29/585.09 c #Conflicts: 431000 | #Constraints: 39162
583.29/585.09 c #Conflicts: 432000 | #Constraints: 40162
583.29/585.09 c #Conflicts: 433000 | #Constraints: 41162
583.29/585.09 c #Conflicts: 434000 | #Constraints: 42162
583.29/585.09 c #Conflicts: 435000 | #Constraints: 43162
583.29/585.09 c #Conflicts: 436000 | #Constraints: 44162
583.29/585.09 c #Conflicts: 437000 | #Constraints: 45162
583.29/585.09 c #Conflicts: 438000 | #Constraints: 46162
583.29/585.09 c #Conflicts: 439000 | #Constraints: 47162
583.29/585.09 c #Conflicts: 440000 | #Constraints: 48162
583.29/585.09 c #Conflicts: 441000 | #Constraints: 49162
583.29/585.09 c #Conflicts: 442000 | #Constraints: 50162
583.29/585.09 c #Conflicts: 443000 | #Constraints: 51162
583.29/585.09 c #Conflicts: 444000 | #Constraints: 52162
583.29/585.09 c #Conflicts: 445000 | #Constraints: 53162
583.29/585.09 c INPROCESSING
583.29/585.09 c GARBAGE COLLECT
583.29/585.09 c #Conflicts: 446000 | #Constraints: 30723
583.29/585.09 c #Conflicts: 447000 | #Constraints: 31723
583.29/585.09 c #Conflicts: 448000 | #Constraints: 32723
583.29/585.09 c #Conflicts: 449000 | #Constraints: 33723
583.29/585.09 c #Conflicts: 450000 | #Constraints: 34723
583.29/585.09 c #Conflicts: 451000 | #Constraints: 35723
583.29/585.09 c #Conflicts: 452000 | #Constraints: 36723
583.29/585.09 c #Conflicts: 453000 | #Constraints: 37723
583.29/585.09 c #Conflicts: 454000 | #Constraints: 38723
583.29/585.09 c #Conflicts: 455000 | #Constraints: 39723
583.29/585.09 c #Conflicts: 456000 | #Constraints: 40723
583.29/585.09 c #Conflicts: 457000 | #Constraints: 41723
583.29/585.09 c #Conflicts: 458000 | #Constraints: 42723
583.29/585.09 c #Conflicts: 459000 | #Constraints: 43723
583.29/585.09 c #Conflicts: 460000 | #Constraints: 44723
583.29/585.09 c INPROCESSING
583.29/585.09 c GARBAGE COLLECT
583.29/585.09 c rational objective 84
605.92/607.71 c #Conflicts: 461000 | #Constraints: 26475
605.92/607.71 c #Conflicts: 462000 | #Constraints: 27475
605.92/607.71 c #Conflicts: 463000 | #Constraints: 28475
605.92/607.71 c #Conflicts: 464000 | #Constraints: 29475
605.92/607.71 c #Conflicts: 465000 | #Constraints: 30475
605.92/607.71 c #Conflicts: 466000 | #Constraints: 31475
605.92/607.71 c #Conflicts: 467000 | #Constraints: 32475
605.92/607.71 c #Conflicts: 468000 | #Constraints: 33475
605.92/607.71 c #Conflicts: 469000 | #Constraints: 34475
605.92/607.71 c #Conflicts: 470000 | #Constraints: 35475
605.92/607.71 c #Conflicts: 471000 | #Constraints: 36475
605.92/607.71 c #Conflicts: 472000 | #Constraints: 37475
605.92/607.71 c #Conflicts: 473000 | #Constraints: 38475
605.92/607.71 c #Conflicts: 474000 | #Constraints: 39475
605.92/607.71 c #Conflicts: 475000 | #Constraints: 40475
605.92/607.71 c INPROCESSING
605.92/607.71 c GARBAGE COLLECT
605.92/607.71 c rational objective 84
749.10/751.33 c #Conflicts: 476000 | #Constraints: 24342
749.10/751.33 c #Conflicts: 477000 | #Constraints: 25342
749.10/751.33 c #Conflicts: 478000 | #Constraints: 26342
749.10/751.33 c #Conflicts: 479000 | #Constraints: 27342
749.10/751.33 c #Conflicts: 480000 | #Constraints: 28342
749.10/751.33 c #Conflicts: 481000 | #Constraints: 29342
749.10/751.33 c #Conflicts: 482000 | #Constraints: 30342
749.10/751.33 c #Conflicts: 483000 | #Constraints: 31342
749.10/751.33 c #Conflicts: 484000 | #Constraints: 32342
749.10/751.33 c #Conflicts: 485000 | #Constraints: 33342
749.10/751.33 c #Conflicts: 486000 | #Constraints: 34342
749.10/751.33 c #Conflicts: 487000 | #Constraints: 35342
749.10/751.33 c #Conflicts: 488000 | #Constraints: 36342
749.10/751.33 c #Conflicts: 489000 | #Constraints: 37342
749.10/751.33 c #Conflicts: 490000 | #Constraints: 38342
749.10/751.33 c INPROCESSING
749.10/751.33 c GARBAGE COLLECT
749.10/751.33 c #Conflicts: 491000 | #Constraints: 23120
749.10/751.33 c #Conflicts: 492000 | #Constraints: 24120
749.10/751.33 c #Conflicts: 493000 | #Constraints: 25120
749.10/751.33 c #Conflicts: 494000 | #Constraints: 26120
749.10/751.33 c #Conflicts: 495000 | #Constraints: 27120
749.10/751.33 c #Conflicts: 496000 | #Constraints: 28120
749.10/751.33 c #Conflicts: 497000 | #Constraints: 29120
749.10/751.33 c #Conflicts: 498000 | #Constraints: 30120
749.10/751.33 c #Conflicts: 499000 | #Constraints: 31120
749.10/751.33 c #Conflicts: 500000 | #Constraints: 32120
749.10/751.33 c #Conflicts: 501000 | #Constraints: 33120
749.10/751.33 c #Conflicts: 502000 | #Constraints: 34120
749.10/751.33 c #Conflicts: 503000 | #Constraints: 35120
749.10/751.33 c #Conflicts: 504000 | #Constraints: 36120
749.10/751.33 c #Conflicts: 505000 | #Constraints: 37120
749.10/751.33 c #Conflicts: 506000 | #Constraints: 38120
749.10/751.33 c #Conflicts: 507000 | #Constraints: 39120
749.10/751.33 c #Conflicts: 508000 | #Constraints: 40120
749.10/751.33 c #Conflicts: 509000 | #Constraints: 41120
749.10/751.33 c #Conflicts: 510000 | #Constraints: 42120
749.10/751.33 c #Conflicts: 511000 | #Constraints: 43120
749.10/751.33 c #Conflicts: 512000 | #Constraints: 44120
749.10/751.33 c #Conflicts: 513000 | #Constraints: 45120
749.10/751.33 c #Conflicts: 514000 | #Constraints: 46120
749.10/751.34 c #Conflicts: 515000 | #Constraints: 47120
749.10/751.34 c #Conflicts: 516000 | #Constraints: 48120
749.10/751.34 c #Conflicts: 517000 | #Constraints: 49120
749.10/751.34 c #Conflicts: 518000 | #Constraints: 50120
749.10/751.34 c #Conflicts: 519000 | #Constraints: 51120
749.10/751.34 c #Conflicts: 520000 | #Constraints: 52120
749.10/751.34 c #Conflicts: 521000 | #Constraints: 53120
749.10/751.34 c #Conflicts: 522000 | #Constraints: 54120
749.10/751.34 c #Conflicts: 523000 | #Constraints: 55120
749.10/751.34 c #Conflicts: 524000 | #Constraints: 56120
749.10/751.34 c #Conflicts: 525000 | #Constraints: 57120
749.10/751.34 c #Conflicts: 526000 | #Constraints: 58120
749.10/751.34 c #Conflicts: 527000 | #Constraints: 59120
749.10/751.34 c #Conflicts: 528000 | #Constraints: 60120
749.10/751.34 c #Conflicts: 529000 | #Constraints: 61120
749.10/751.34 c #Conflicts: 530000 | #Constraints: 62120
749.10/751.34 c #Conflicts: 531000 | #Constraints: 63120
749.10/751.34 c #Conflicts: 532000 | #Constraints: 64120
749.10/751.34 c #Conflicts: 533000 | #Constraints: 65120
749.10/751.34 c #Conflicts: 534000 | #Constraints: 66120
749.10/751.34 c #Conflicts: 535000 | #Constraints: 67120
749.10/751.34 c #Conflicts: 536000 | #Constraints: 68120
749.10/751.34 c #Conflicts: 537000 | #Constraints: 69120
749.10/751.34 c #Conflicts: 538000 | #Constraints: 70120
749.10/751.34 c #Conflicts: 539000 | #Constraints: 71120
749.10/751.34 c #Conflicts: 540000 | #Constraints: 72120
749.10/751.34 c #Conflicts: 541000 | #Constraints: 73120
749.10/751.34 c #Conflicts: 542000 | #Constraints: 74120
749.10/751.34 c #Conflicts: 543000 | #Constraints: 75120
749.10/751.34 c #Conflicts: 544000 | #Constraints: 76120
749.10/751.34 c #Conflicts: 545000 | #Constraints: 77120
749.10/751.34 c #Conflicts: 546000 | #Constraints: 78120
749.10/751.34 c #Conflicts: 547000 | #Constraints: 79120
749.10/751.34 c INPROCESSING
749.10/751.34 c GARBAGE COLLECT
749.10/751.34 c #Conflicts: 548000 | #Constraints: 43527
749.10/751.34 c #Conflicts: 549000 | #Constraints: 44527
749.10/751.34 c #Conflicts: 550000 | #Constraints: 45527
749.10/751.34 c #Conflicts: 551000 | #Constraints: 46527
749.10/751.34 c #Conflicts: 552000 | #Constraints: 47527
749.10/751.34 c #Conflicts: 553000 | #Constraints: 48527
802.54/804.98 c #Conflicts: 554000 | #Constraints: 49527
802.54/804.98 c #Conflicts: 555000 | #Constraints: 50527
802.54/804.98 c #Conflicts: 556000 | #Constraints: 51527
802.54/804.98 c #Conflicts: 557000 | #Constraints: 52527
802.54/804.98 c #Conflicts: 558000 | #Constraints: 53527
802.54/804.98 c #Conflicts: 559000 | #Constraints: 54527
802.54/804.98 c #Conflicts: 560000 | #Constraints: 55527
802.54/804.98 c #Conflicts: 561000 | #Constraints: 56527
802.54/804.98 c #Conflicts: 562000 | #Constraints: 57527
802.54/804.98 c #Conflicts: 563000 | #Constraints: 58528
802.54/804.98 c #Conflicts: 564000 | #Constraints: 59528
802.54/804.98 c INPROCESSING
802.54/804.98 c GARBAGE COLLECT
802.54/804.98 c #Conflicts: 565000 | #Constraints: 34003
802.54/804.98 c #Conflicts: 566000 | #Constraints: 35003
802.54/804.98 c #Conflicts: 567000 | #Constraints: 36003
802.54/804.98 c #Conflicts: 568000 | #Constraints: 37003
802.54/804.98 c #Conflicts: 569000 | #Constraints: 38003
802.54/804.98 c #Conflicts: 570000 | #Constraints: 39003
802.54/804.98 c #Conflicts: 571000 | #Constraints: 40003
802.54/804.98 c #Conflicts: 572000 | #Constraints: 41003
802.54/804.98 c #Conflicts: 573000 | #Constraints: 42003
802.54/804.98 c #Conflicts: 574000 | #Constraints: 43003
802.54/804.98 c #Conflicts: 575000 | #Constraints: 44003
802.54/804.98 c #Conflicts: 576000 | #Constraints: 45003
802.54/804.98 c #Conflicts: 577000 | #Constraints: 46003
802.54/804.98 c #Conflicts: 578000 | #Constraints: 47003
802.54/804.98 c #Conflicts: 579000 | #Constraints: 48003
802.54/804.98 c #Conflicts: 580000 | #Constraints: 49003
802.54/804.98 c INPROCESSING
802.54/804.98 c GARBAGE COLLECT
802.54/804.98 c rational objective 84
894.92/897.67 c #Conflicts: 581000 | #Constraints: 28332
894.92/897.67 c #Conflicts: 582000 | #Constraints: 29332
894.92/897.67 c #Conflicts: 583000 | #Constraints: 30332
894.92/897.67 c #Conflicts: 584000 | #Constraints: 31332
894.92/897.67 c #Conflicts: 585000 | #Constraints: 32332
894.92/897.67 c #Conflicts: 586000 | #Constraints: 33332
894.92/897.67 c #Conflicts: 587000 | #Constraints: 34332
894.92/897.67 c #Conflicts: 588000 | #Constraints: 35332
894.92/897.67 c #Conflicts: 589000 | #Constraints: 36332
894.92/897.67 c #Conflicts: 590000 | #Constraints: 37332
894.92/897.67 c #Conflicts: 591000 | #Constraints: 38332
894.92/897.67 c #Conflicts: 592000 | #Constraints: 39332
894.92/897.67 c #Conflicts: 593000 | #Constraints: 40332
894.92/897.67 c #Conflicts: 594000 | #Constraints: 41332
894.92/897.67 c #Conflicts: 595000 | #Constraints: 42332
894.92/897.67 c #Conflicts: 596000 | #Constraints: 43332
894.92/897.67 c #Conflicts: 597000 | #Constraints: 44332
894.92/897.67 c INPROCESSING
894.92/897.67 c GARBAGE COLLECT
894.92/897.67 c #Conflicts: 598000 | #Constraints: 25970
894.92/897.67 c #Conflicts: 599000 | #Constraints: 26970
894.92/897.67 c #Conflicts: 600000 | #Constraints: 27970
894.92/897.67 c #Conflicts: 601000 | #Constraints: 28970
894.92/897.67 c #Conflicts: 602000 | #Constraints: 29970
894.92/897.67 c #Conflicts: 603000 | #Constraints: 30970
894.92/897.67 c #Conflicts: 604000 | #Constraints: 31970
894.92/897.67 c #Conflicts: 605000 | #Constraints: 32970
894.92/897.67 c #Conflicts: 606000 | #Constraints: 33970
894.92/897.67 c #Conflicts: 607000 | #Constraints: 34970
894.92/897.67 c #Conflicts: 608000 | #Constraints: 35970
894.92/897.67 c #Conflicts: 609000 | #Constraints: 36970
894.92/897.67 c #Conflicts: 610000 | #Constraints: 37970
894.92/897.67 c #Conflicts: 611000 | #Constraints: 38970
894.92/897.67 c #Conflicts: 612000 | #Constraints: 39970
894.92/897.67 c #Conflicts: 613000 | #Constraints: 40970
894.92/897.67 c #Conflicts: 614000 | #Constraints: 41970
894.92/897.67 c #Conflicts: 615000 | #Constraints: 42970
894.92/897.67 c INPROCESSING
894.92/897.67 c GARBAGE COLLECT
894.92/897.67 c #Conflicts: 616000 | #Constraints: 25699
894.92/897.67 c #Conflicts: 617000 | #Constraints: 26699
894.92/897.67 c #Conflicts: 618000 | #Constraints: 27699
894.92/897.67 c #Conflicts: 619000 | #Constraints: 28699
894.92/897.67 c #Conflicts: 620000 | #Constraints: 29699
894.92/897.67 c #Conflicts: 621000 | #Constraints: 30699
894.92/897.67 c #Conflicts: 622000 | #Constraints: 31699
894.92/897.67 c #Conflicts: 623000 | #Constraints: 32699
894.92/897.67 c #Conflicts: 624000 | #Constraints: 33699
894.92/897.67 c #Conflicts: 625000 | #Constraints: 34699
894.92/897.67 c #Conflicts: 626000 | #Constraints: 35699
894.92/897.67 c #Conflicts: 627000 | #Constraints: 36699
894.92/897.67 c #Conflicts: 628000 | #Constraints: 37699
894.92/897.67 c #Conflicts: 629000 | #Constraints: 38699
894.92/897.67 c #Conflicts: 630000 | #Constraints: 39699
894.92/897.67 c #Conflicts: 631000 | #Constraints: 40699
894.92/897.67 c #Conflicts: 632000 | #Constraints: 41699
894.92/897.67 c INPROCESSING
894.92/897.67 c GARBAGE COLLECT
894.92/897.67 c #Conflicts: 633000 | #Constraints: 24862
894.92/897.67 c #Conflicts: 634000 | #Constraints: 25862
894.92/897.67 c #Conflicts: 635000 | #Constraints: 26862
894.92/897.67 c #Conflicts: 636000 | #Constraints: 27862
894.92/897.67 c #Conflicts: 637000 | #Constraints: 28862
894.92/897.67 c #Conflicts: 638000 | #Constraints: 29862
894.92/897.67 c #Conflicts: 639000 | #Constraints: 30862
894.92/897.67 c #Conflicts: 640000 | #Constraints: 31862
894.92/897.67 c #Conflicts: 641000 | #Constraints: 32862
894.92/897.67 c #Conflicts: 642000 | #Constraints: 33862
894.92/897.67 c #Conflicts: 643000 | #Constraints: 34862
894.92/897.67 c #Conflicts: 644000 | #Constraints: 35862
894.92/897.67 c #Conflicts: 645000 | #Constraints: 36862
894.92/897.67 c #Conflicts: 646000 | #Constraints: 37862
894.92/897.67 c #Conflicts: 647000 | #Constraints: 38862
894.92/897.67 c #Conflicts: 648000 | #Constraints: 39862
894.92/897.67 c #Conflicts: 649000 | #Constraints: 40862
894.92/897.67 c #Conflicts: 650000 | #Constraints: 41862
894.92/897.67 c #Conflicts: 651000 | #Constraints: 42862
894.92/897.67 c #Conflicts: 652000 | #Constraints: 43862
894.92/897.67 c #Conflicts: 653000 | #Constraints: 44862
894.92/897.67 c #Conflicts: 654000 | #Constraints: 45862
894.92/897.67 c #Conflicts: 655000 | #Constraints: 46862
894.92/897.67 c #Conflicts: 656000 | #Constraints: 47862
894.92/897.67 c #Conflicts: 657000 | #Constraints: 48862
1069.60/1072.82 c #Conflicts: 658000 | #Constraints: 49862
1069.60/1072.82 c #Conflicts: 659000 | #Constraints: 50862
1069.60/1072.82 c #Conflicts: 660000 | #Constraints: 51862
1069.60/1072.82 c #Conflicts: 661000 | #Constraints: 52862
1069.60/1072.82 c #Conflicts: 662000 | #Constraints: 53862
1069.60/1072.82 c #Conflicts: 663000 | #Constraints: 54862
1069.60/1072.82 c #Conflicts: 664000 | #Constraints: 55862
1069.60/1072.82 c #Conflicts: 665000 | #Constraints: 56862
1069.60/1072.82 c #Conflicts: 666000 | #Constraints: 57862
1069.60/1072.82 c #Conflicts: 667000 | #Constraints: 58862
1069.60/1072.82 c #Conflicts: 668000 | #Constraints: 59862
1069.60/1072.82 c #Conflicts: 669000 | #Constraints: 60862
1069.60/1072.82 c #Conflicts: 670000 | #Constraints: 61862
1069.60/1072.82 c #Conflicts: 671000 | #Constraints: 62862
1069.60/1072.82 c #Conflicts: 672000 | #Constraints: 63862
1069.60/1072.82 c #Conflicts: 673000 | #Constraints: 64862
1069.60/1072.82 c #Conflicts: 674000 | #Constraints: 65862
1069.60/1072.82 c #Conflicts: 675000 | #Constraints: 66862
1069.60/1072.82 c #Conflicts: 676000 | #Constraints: 67862
1069.60/1072.82 c #Conflicts: 677000 | #Constraints: 68862
1069.60/1072.82 c #Conflicts: 678000 | #Constraints: 69862
1069.60/1072.82 c #Conflicts: 679000 | #Constraints: 70862
1069.60/1072.82 c #Conflicts: 680000 | #Constraints: 71862
1069.60/1072.82 c #Conflicts: 681000 | #Constraints: 72862
1069.60/1072.82 c #Conflicts: 682000 | #Constraints: 73862
1069.60/1072.82 c #Conflicts: 683000 | #Constraints: 74862
1069.60/1072.82 c #Conflicts: 684000 | #Constraints: 75862
1069.60/1072.82 c #Conflicts: 685000 | #Constraints: 76862
1069.60/1072.82 c #Conflicts: 686000 | #Constraints: 77862
1069.60/1072.82 c #Conflicts: 687000 | #Constraints: 78862
1069.60/1072.82 c #Conflicts: 688000 | #Constraints: 79862
1069.60/1072.82 c #Conflicts: 689000 | #Constraints: 80862
1069.60/1072.82 c #Conflicts: 690000 | #Constraints: 81862
1069.60/1072.82 c #Conflicts: 691000 | #Constraints: 82862
1069.60/1072.82 c #Conflicts: 692000 | #Constraints: 83862
1069.60/1072.82 c #Conflicts: 693000 | #Constraints: 84862
1069.60/1072.82 c #Conflicts: 694000 | #Constraints: 85862
1069.60/1072.82 c #Conflicts: 695000 | #Constraints: 86862
1069.60/1072.82 c #Conflicts: 696000 | #Constraints: 87862
1069.60/1072.82 c INPROCESSING
1069.60/1072.82 c GARBAGE COLLECT
1069.60/1072.82 c #Conflicts: 697000 | #Constraints: 47843
1069.60/1072.82 c #Conflicts: 698000 | #Constraints: 48843
1069.60/1072.82 c #Conflicts: 699000 | #Constraints: 49843
1069.60/1072.82 c #Conflicts: 700000 | #Constraints: 50843
1069.60/1072.82 c #Conflicts: 701000 | #Constraints: 51843
1069.60/1072.82 c #Conflicts: 702000 | #Constraints: 52843
1069.60/1072.82 c #Conflicts: 703000 | #Constraints: 53843
1069.60/1072.82 c #Conflicts: 704000 | #Constraints: 54843
1069.60/1072.82 c #Conflicts: 705000 | #Constraints: 55843
1069.60/1072.82 c #Conflicts: 706000 | #Constraints: 56843
1069.60/1072.82 c #Conflicts: 707000 | #Constraints: 57843
1069.60/1072.82 c #Conflicts: 708000 | #Constraints: 58843
1069.60/1072.82 c #Conflicts: 709000 | #Constraints: 59843
1069.60/1072.82 c #Conflicts: 710000 | #Constraints: 60843
1069.60/1072.82 c #Conflicts: 711000 | #Constraints: 61843
1069.60/1072.82 c #Conflicts: 712000 | #Constraints: 62843
1069.60/1072.82 c #Conflicts: 713000 | #Constraints: 63843
1069.60/1072.82 c #Conflicts: 714000 | #Constraints: 64843
1069.60/1072.82 c #Conflicts: 715000 | #Constraints: 65843
1069.60/1072.82 c INPROCESSING
1069.60/1072.82 c GARBAGE COLLECT
1069.60/1072.82 c #Conflicts: 716000 | #Constraints: 36898
1069.60/1072.82 c #Conflicts: 717000 | #Constraints: 37898
1069.60/1072.82 c #Conflicts: 718000 | #Constraints: 38898
1069.60/1072.82 c #Conflicts: 719000 | #Constraints: 39898
1069.60/1072.82 c #Conflicts: 720000 | #Constraints: 40898
1069.60/1072.82 c #Conflicts: 721000 | #Constraints: 41898
1069.60/1072.82 c #Conflicts: 722000 | #Constraints: 42898
1069.60/1072.82 c #Conflicts: 723000 | #Constraints: 43898
1069.60/1072.82 c #Conflicts: 724000 | #Constraints: 44898
1069.60/1072.82 c #Conflicts: 725000 | #Constraints: 45898
1069.60/1072.82 c #Conflicts: 726000 | #Constraints: 46898
1069.60/1072.82 c #Conflicts: 727000 | #Constraints: 47898
1069.60/1072.82 c #Conflicts: 728000 | #Constraints: 48898
1069.60/1072.82 c #Conflicts: 729000 | #Constraints: 49898
1069.60/1072.82 c #Conflicts: 730000 | #Constraints: 50898
1069.60/1072.82 c #Conflicts: 731000 | #Constraints: 51898
1069.60/1072.82 c #Conflicts: 732000 | #Constraints: 52898
1069.60/1072.82 c #Conflicts: 733000 | #Constraints: 53898
1069.60/1072.82 c #Conflicts: 734000 | #Constraints: 54898
1069.60/1072.82 c INPROCESSING
1069.60/1072.82 c GARBAGE COLLECT
1069.60/1072.85 c rational objective 84
1099.12/1102.46 c #Conflicts: 735000 | #Constraints: 31421
1099.12/1102.46 c #Conflicts: 736000 | #Constraints: 32421
1099.12/1102.46 c #Conflicts: 737000 | #Constraints: 33421
1099.12/1102.46 c #Conflicts: 738000 | #Constraints: 34421
1099.12/1102.46 c #Conflicts: 739000 | #Constraints: 35421
1099.12/1102.46 c #Conflicts: 740000 | #Constraints: 36421
1099.12/1102.46 c #Conflicts: 741000 | #Constraints: 37421
1099.12/1102.46 c #Conflicts: 742000 | #Constraints: 38421
1099.12/1102.46 c #Conflicts: 743000 | #Constraints: 39421
1099.12/1102.46 c #Conflicts: 744000 | #Constraints: 40421
1099.12/1102.46 c #Conflicts: 745000 | #Constraints: 41421
1099.12/1102.46 c #Conflicts: 746000 | #Constraints: 42421
1099.12/1102.46 c #Conflicts: 747000 | #Constraints: 43421
1099.12/1102.46 c #Conflicts: 748000 | #Constraints: 44421
1099.12/1102.46 c #Conflicts: 749000 | #Constraints: 45421
1099.12/1102.46 c #Conflicts: 750000 | #Constraints: 46421
1099.12/1102.46 c #Conflicts: 751000 | #Constraints: 47421
1099.12/1102.46 c #Conflicts: 752000 | #Constraints: 48421
1099.12/1102.46 c #Conflicts: 753000 | #Constraints: 49421
1099.12/1102.46 c INPROCESSING
1099.12/1102.46 c GARBAGE COLLECT
1099.12/1102.46 c rational objective 84
1208.03/1211.60 c #Conflicts: 754000 | #Constraints: 28692
1208.03/1211.60 c #Conflicts: 755000 | #Constraints: 29692
1208.03/1211.60 c #Conflicts: 756000 | #Constraints: 30692
1208.03/1211.60 c #Conflicts: 757000 | #Constraints: 31692
1208.03/1211.60 c #Conflicts: 758000 | #Constraints: 32692
1208.03/1211.60 c #Conflicts: 759000 | #Constraints: 33692
1208.03/1211.60 c #Conflicts: 760000 | #Constraints: 34692
1208.03/1211.60 c #Conflicts: 761000 | #Constraints: 35692
1208.03/1211.60 c #Conflicts: 762000 | #Constraints: 36692
1208.03/1211.60 c #Conflicts: 763000 | #Constraints: 37692
1208.03/1211.60 c #Conflicts: 764000 | #Constraints: 38692
1208.03/1211.60 c #Conflicts: 765000 | #Constraints: 39692
1208.03/1211.60 c #Conflicts: 766000 | #Constraints: 40692
1208.03/1211.60 c #Conflicts: 767000 | #Constraints: 41692
1208.03/1211.60 c #Conflicts: 768000 | #Constraints: 42692
1208.03/1211.60 c #Conflicts: 769000 | #Constraints: 43692
1208.03/1211.60 c #Conflicts: 770000 | #Constraints: 44692
1208.03/1211.60 c #Conflicts: 771000 | #Constraints: 45692
1208.03/1211.60 c #Conflicts: 772000 | #Constraints: 46692
1208.03/1211.60 c INPROCESSING
1208.03/1211.60 c GARBAGE COLLECT
1208.03/1211.60 c #Conflicts: 773000 | #Constraints: 27166
1208.03/1211.60 c #Conflicts: 774000 | #Constraints: 28166
1208.03/1211.60 c #Conflicts: 775000 | #Constraints: 29166
1208.03/1211.60 c #Conflicts: 776000 | #Constraints: 30166
1208.03/1211.60 c #Conflicts: 777000 | #Constraints: 31166
1208.03/1211.60 c #Conflicts: 778000 | #Constraints: 32166
1208.03/1211.60 c #Conflicts: 779000 | #Constraints: 33166
1208.03/1211.60 c #Conflicts: 780000 | #Constraints: 34166
1208.03/1211.60 c #Conflicts: 781000 | #Constraints: 35166
1208.03/1211.60 c #Conflicts: 782000 | #Constraints: 36167
1208.03/1211.60 c #Conflicts: 783000 | #Constraints: 37167
1208.03/1211.60 c #Conflicts: 784000 | #Constraints: 38167
1208.03/1211.60 c #Conflicts: 785000 | #Constraints: 39167
1208.03/1211.60 c #Conflicts: 786000 | #Constraints: 40167
1208.03/1211.60 c #Conflicts: 787000 | #Constraints: 41167
1208.03/1211.60 c #Conflicts: 788000 | #Constraints: 42167
1208.03/1211.60 c #Conflicts: 789000 | #Constraints: 43167
1208.03/1211.60 c #Conflicts: 790000 | #Constraints: 44167
1208.03/1211.60 c #Conflicts: 791000 | #Constraints: 45167
1208.03/1211.60 c #Conflicts: 792000 | #Constraints: 46167
1208.03/1211.60 c INPROCESSING
1208.03/1211.60 c GARBAGE COLLECT
1208.03/1211.60 c #Conflicts: 793000 | #Constraints: 27300
1208.03/1211.60 c #Conflicts: 794000 | #Constraints: 28300
1208.03/1211.60 c #Conflicts: 795000 | #Constraints: 29300
1208.03/1211.60 c #Conflicts: 796000 | #Constraints: 30300
1208.03/1211.60 c #Conflicts: 797000 | #Constraints: 31300
1208.03/1211.60 c #Conflicts: 798000 | #Constraints: 32300
1208.03/1211.60 c #Conflicts: 799000 | #Constraints: 33300
1208.03/1211.60 c #Conflicts: 800000 | #Constraints: 34300
1208.03/1211.60 c #Conflicts: 801000 | #Constraints: 35300
1208.03/1211.60 c #Conflicts: 802000 | #Constraints: 36300
1208.03/1211.60 c #Conflicts: 803000 | #Constraints: 37300
1208.03/1211.60 c #Conflicts: 804000 | #Constraints: 38300
1208.03/1211.60 c #Conflicts: 805000 | #Constraints: 39300
1208.03/1211.60 c #Conflicts: 806000 | #Constraints: 40300
1208.03/1211.60 c #Conflicts: 807000 | #Constraints: 41300
1208.03/1211.60 c #Conflicts: 808000 | #Constraints: 42300
1208.03/1211.60 c #Conflicts: 809000 | #Constraints: 43300
1208.03/1211.60 c #Conflicts: 810000 | #Constraints: 44300
1208.03/1211.60 c #Conflicts: 811000 | #Constraints: 45300
1208.03/1211.60 c #Conflicts: 812000 | #Constraints: 46300
1208.03/1211.60 c #Conflicts: 813000 | #Constraints: 47300
1208.03/1211.60 c #Conflicts: 814000 | #Constraints: 48300
1208.03/1211.60 c #Conflicts: 815000 | #Constraints: 49300
1208.03/1211.60 c #Conflicts: 816000 | #Constraints: 50300
1208.03/1211.60 c #Conflicts: 817000 | #Constraints: 51300
1208.03/1211.60 c #Conflicts: 818000 | #Constraints: 52300
1208.03/1211.60 c #Conflicts: 819000 | #Constraints: 53300
1208.03/1211.60 c #Conflicts: 820000 | #Constraints: 54300
1208.03/1211.60 c #Conflicts: 821000 | #Constraints: 55300
1208.03/1211.60 c #Conflicts: 822000 | #Constraints: 56300
1208.03/1211.60 c #Conflicts: 823000 | #Constraints: 57300
1208.03/1211.60 c #Conflicts: 824000 | #Constraints: 58300
1208.03/1211.60 c #Conflicts: 825000 | #Constraints: 59300
1208.03/1211.60 c #Conflicts: 826000 | #Constraints: 60300
1208.03/1211.60 c #Conflicts: 827000 | #Constraints: 61300
1208.03/1211.60 c #Conflicts: 828000 | #Constraints: 62300
1208.03/1211.60 c #Conflicts: 829000 | #Constraints: 63300
1208.03/1211.60 c #Conflicts: 830000 | #Constraints: 64300
1208.03/1211.60 c #Conflicts: 831000 | #Constraints: 65300
1317.14/1321.03 c #Conflicts: 832000 | #Constraints: 66300
1317.14/1321.03 c #Conflicts: 833000 | #Constraints: 67300
1317.14/1321.03 c #Conflicts: 834000 | #Constraints: 68300
1317.14/1321.03 c #Conflicts: 835000 | #Constraints: 69300
1317.14/1321.03 c #Conflicts: 836000 | #Constraints: 70300
1317.14/1321.03 c #Conflicts: 837000 | #Constraints: 71300
1317.14/1321.03 c #Conflicts: 838000 | #Constraints: 72300
1317.14/1321.03 c #Conflicts: 839000 | #Constraints: 73300
1317.14/1321.03 c #Conflicts: 840000 | #Constraints: 74300
1317.14/1321.03 c #Conflicts: 841000 | #Constraints: 75300
1317.14/1321.03 c #Conflicts: 842000 | #Constraints: 76300
1317.14/1321.03 c #Conflicts: 843000 | #Constraints: 77300
1317.14/1321.03 c #Conflicts: 844000 | #Constraints: 78300
1317.14/1321.03 c #Conflicts: 845000 | #Constraints: 79300
1317.14/1321.03 c #Conflicts: 846000 | #Constraints: 80300
1317.14/1321.03 c #Conflicts: 847000 | #Constraints: 81300
1317.14/1321.03 c #Conflicts: 848000 | #Constraints: 82300
1317.14/1321.03 c #Conflicts: 849000 | #Constraints: 83300
1317.14/1321.03 c #Conflicts: 850000 | #Constraints: 84300
1317.14/1321.03 c #Conflicts: 851000 | #Constraints: 85300
1317.14/1321.03 c #Conflicts: 852000 | #Constraints: 86300
1317.14/1321.03 c #Conflicts: 853000 | #Constraints: 87300
1317.14/1321.03 c #Conflicts: 854000 | #Constraints: 88300
1317.14/1321.03 c #Conflicts: 855000 | #Constraints: 89300
1317.14/1321.03 c #Conflicts: 856000 | #Constraints: 90300
1317.14/1321.03 c #Conflicts: 857000 | #Constraints: 91300
1317.14/1321.03 c #Conflicts: 858000 | #Constraints: 92300
1317.14/1321.03 c #Conflicts: 859000 | #Constraints: 93300
1317.14/1321.03 c #Conflicts: 860000 | #Constraints: 94300
1317.14/1321.03 c #Conflicts: 861000 | #Constraints: 95300
1317.14/1321.03 c #Conflicts: 862000 | #Constraints: 96300
1317.14/1321.03 c #Conflicts: 863000 | #Constraints: 97300
1317.14/1321.03 c #Conflicts: 864000 | #Constraints: 98300
1317.14/1321.03 c INPROCESSING
1317.14/1321.03 c GARBAGE COLLECT
1317.14/1321.03 c rational objective 84
1444.95/1449.26 c #Conflicts: 865000 | #Constraints: 53323
1444.95/1449.26 c #Conflicts: 866000 | #Constraints: 54323
1444.95/1449.26 c #Conflicts: 867000 | #Constraints: 55323
1444.95/1449.26 c #Conflicts: 868000 | #Constraints: 56323
1444.95/1449.26 c #Conflicts: 869000 | #Constraints: 57323
1444.95/1449.26 c #Conflicts: 870000 | #Constraints: 58323
1444.95/1449.26 c #Conflicts: 871000 | #Constraints: 59323
1444.95/1449.26 c #Conflicts: 872000 | #Constraints: 60323
1444.95/1449.26 c #Conflicts: 873000 | #Constraints: 61323
1444.95/1449.26 c #Conflicts: 874000 | #Constraints: 62323
1444.95/1449.26 c #Conflicts: 875000 | #Constraints: 63323
1444.95/1449.26 c #Conflicts: 876000 | #Constraints: 64323
1444.95/1449.26 c #Conflicts: 877000 | #Constraints: 65323
1444.95/1449.26 c #Conflicts: 878000 | #Constraints: 66323
1444.95/1449.26 c #Conflicts: 879000 | #Constraints: 67323
1444.95/1449.26 c #Conflicts: 880000 | #Constraints: 68323
1444.95/1449.26 c #Conflicts: 881000 | #Constraints: 69323
1444.95/1449.26 c #Conflicts: 882000 | #Constraints: 70323
1444.95/1449.26 c #Conflicts: 883000 | #Constraints: 71323
1444.95/1449.26 c #Conflicts: 884000 | #Constraints: 72323
1444.95/1449.26 c #Conflicts: 885000 | #Constraints: 73323
1444.95/1449.26 c INPROCESSING
1444.95/1449.26 c GARBAGE COLLECT
1444.95/1449.26 c #Conflicts: 886000 | #Constraints: 40934
1444.95/1449.26 c #Conflicts: 887000 | #Constraints: 41934
1444.95/1449.26 c #Conflicts: 888000 | #Constraints: 42934
1444.95/1449.26 c #Conflicts: 889000 | #Constraints: 43934
1444.95/1449.26 c #Conflicts: 890000 | #Constraints: 44934
1444.95/1449.26 c #Conflicts: 891000 | #Constraints: 45934
1444.95/1449.26 c #Conflicts: 892000 | #Constraints: 46934
1444.95/1449.26 c #Conflicts: 893000 | #Constraints: 47934
1444.95/1449.26 c #Conflicts: 894000 | #Constraints: 48934
1444.95/1449.26 c #Conflicts: 895000 | #Constraints: 49934
1444.95/1449.26 c #Conflicts: 896000 | #Constraints: 50935
1444.95/1449.26 c #Conflicts: 897000 | #Constraints: 51935
1444.95/1449.26 c #Conflicts: 898000 | #Constraints: 52935
1444.95/1449.26 c #Conflicts: 899000 | #Constraints: 53935
1444.95/1449.26 c #Conflicts: 900000 | #Constraints: 54935
1444.95/1449.26 c #Conflicts: 901000 | #Constraints: 55935
1444.95/1449.26 c #Conflicts: 902000 | #Constraints: 56935
1444.95/1449.26 c #Conflicts: 903000 | #Constraints: 57935
1444.95/1449.26 c #Conflicts: 904000 | #Constraints: 58935
1444.95/1449.26 c #Conflicts: 905000 | #Constraints: 59935
1444.95/1449.26 c #Conflicts: 906000 | #Constraints: 60935
1444.95/1449.26 c INPROCESSING
1444.95/1449.26 c GARBAGE COLLECT
1444.95/1449.26 c #Conflicts: 907000 | #Constraints: 34691
1444.95/1449.26 c #Conflicts: 908000 | #Constraints: 35691
1444.95/1449.26 c #Conflicts: 909000 | #Constraints: 36691
1444.95/1449.26 c #Conflicts: 910000 | #Constraints: 37691
1444.95/1449.26 c #Conflicts: 911000 | #Constraints: 38691
1444.95/1449.26 c #Conflicts: 912000 | #Constraints: 39691
1444.95/1449.26 c #Conflicts: 913000 | #Constraints: 40691
1444.95/1449.26 c #Conflicts: 914000 | #Constraints: 41691
1444.95/1449.26 c #Conflicts: 915000 | #Constraints: 42691
1444.95/1449.26 c #Conflicts: 916000 | #Constraints: 43691
1444.95/1449.26 c #Conflicts: 917000 | #Constraints: 44691
1444.95/1449.26 c #Conflicts: 918000 | #Constraints: 45691
1444.95/1449.26 c #Conflicts: 919000 | #Constraints: 46691
1444.95/1449.26 c #Conflicts: 920000 | #Constraints: 47691
1444.95/1449.26 c #Conflicts: 921000 | #Constraints: 48691
1444.95/1449.26 c #Conflicts: 922000 | #Constraints: 49691
1444.95/1449.26 c #Conflicts: 923000 | #Constraints: 50691
1444.95/1449.26 c #Conflicts: 924000 | #Constraints: 51691
1444.95/1449.26 c #Conflicts: 925000 | #Constraints: 52691
1444.95/1449.26 c #Conflicts: 926000 | #Constraints: 53691
1444.95/1449.26 c #Conflicts: 927000 | #Constraints: 54691
1444.95/1449.26 c INPROCESSING
1444.95/1449.26 c GARBAGE COLLECT
1444.95/1449.26 c #Conflicts: 928000 | #Constraints: 31484
1444.95/1449.26 c #Conflicts: 929000 | #Constraints: 32484
1444.95/1449.26 c #Conflicts: 930000 | #Constraints: 33484
1444.95/1449.26 c #Conflicts: 931000 | #Constraints: 34484
1444.95/1449.26 c #Conflicts: 932000 | #Constraints: 35484
1444.95/1449.26 c #Conflicts: 933000 | #Constraints: 36485
1444.95/1449.26 c #Conflicts: 934000 | #Constraints: 37485
1444.95/1449.26 c #Conflicts: 935000 | #Constraints: 38485
1444.95/1449.26 c #Conflicts: 936000 | #Constraints: 39485
1444.95/1449.26 c #Conflicts: 937000 | #Constraints: 40485
1444.95/1449.26 c #Conflicts: 938000 | #Constraints: 41485
1444.95/1449.26 c #Conflicts: 939000 | #Constraints: 42485
1444.95/1449.26 c #Conflicts: 940000 | #Constraints: 43485
1444.95/1449.26 c #Conflicts: 941000 | #Constraints: 44485
1592.61/1597.36 c #Conflicts: 942000 | #Constraints: 45485
1592.61/1597.36 c #Conflicts: 943000 | #Constraints: 46485
1592.61/1597.36 c #Conflicts: 944000 | #Constraints: 47485
1592.61/1597.36 c #Conflicts: 945000 | #Constraints: 48485
1592.61/1597.36 c #Conflicts: 946000 | #Constraints: 49485
1592.61/1597.36 c #Conflicts: 947000 | #Constraints: 50485
1592.61/1597.36 c #Conflicts: 948000 | #Constraints: 51485
1592.61/1597.36 c INPROCESSING
1592.61/1597.36 c GARBAGE COLLECT
1592.61/1597.36 c #Conflicts: 949000 | #Constraints: 29726
1592.61/1597.36 c #Conflicts: 950000 | #Constraints: 30726
1592.61/1597.36 c #Conflicts: 951000 | #Constraints: 31726
1592.61/1597.36 c #Conflicts: 952000 | #Constraints: 32726
1592.61/1597.36 c #Conflicts: 953000 | #Constraints: 33726
1592.61/1597.36 c #Conflicts: 954000 | #Constraints: 34726
1592.61/1597.36 c #Conflicts: 955000 | #Constraints: 35726
1592.61/1597.36 c #Conflicts: 956000 | #Constraints: 36726
1592.61/1597.36 c #Conflicts: 957000 | #Constraints: 37726
1592.61/1597.36 c #Conflicts: 958000 | #Constraints: 38726
1592.61/1597.36 c #Conflicts: 959000 | #Constraints: 39726
1592.61/1597.36 c #Conflicts: 960000 | #Constraints: 40726
1592.61/1597.36 c #Conflicts: 961000 | #Constraints: 41726
1592.61/1597.36 c #Conflicts: 962000 | #Constraints: 42726
1592.61/1597.36 c #Conflicts: 963000 | #Constraints: 43726
1592.61/1597.36 c #Conflicts: 964000 | #Constraints: 44726
1592.61/1597.36 c #Conflicts: 965000 | #Constraints: 45726
1592.61/1597.36 c #Conflicts: 966000 | #Constraints: 46726
1592.61/1597.36 c #Conflicts: 967000 | #Constraints: 47726
1592.61/1597.36 c #Conflicts: 968000 | #Constraints: 48726
1592.61/1597.36 c #Conflicts: 969000 | #Constraints: 49726
1592.61/1597.36 c #Conflicts: 970000 | #Constraints: 50726
1592.61/1597.36 c INPROCESSING
1592.61/1597.36 c GARBAGE COLLECT
1592.61/1597.36 c #Conflicts: 971000 | #Constraints: 29512
1592.61/1597.36 c #Conflicts: 972000 | #Constraints: 30512
1592.61/1597.36 c #Conflicts: 973000 | #Constraints: 31512
1592.61/1597.36 c #Conflicts: 974000 | #Constraints: 32512
1592.61/1597.36 c #Conflicts: 975000 | #Constraints: 33512
1592.61/1597.36 c #Conflicts: 976000 | #Constraints: 34512
1592.61/1597.36 c #Conflicts: 977000 | #Constraints: 35512
1592.61/1597.36 c #Conflicts: 978000 | #Constraints: 36512
1592.61/1597.36 c #Conflicts: 979000 | #Constraints: 37512
1592.61/1597.36 c #Conflicts: 980000 | #Constraints: 38512
1592.61/1597.36 c #Conflicts: 981000 | #Constraints: 39512
1592.61/1597.36 c #Conflicts: 982000 | #Constraints: 40512
1592.61/1597.36 c #Conflicts: 983000 | #Constraints: 41512
1592.61/1597.36 c #Conflicts: 984000 | #Constraints: 42512
1592.61/1597.36 c #Conflicts: 985000 | #Constraints: 43512
1592.61/1597.36 c #Conflicts: 986000 | #Constraints: 44512
1592.61/1597.36 c #Conflicts: 987000 | #Constraints: 45512
1592.61/1597.36 c #Conflicts: 988000 | #Constraints: 46512
1592.61/1597.36 c #Conflicts: 989000 | #Constraints: 47512
1592.61/1597.36 c #Conflicts: 990000 | #Constraints: 48512
1592.61/1597.36 c #Conflicts: 991000 | #Constraints: 49512
1592.61/1597.36 c #Conflicts: 992000 | #Constraints: 50512
1592.61/1597.36 c #Conflicts: 993000 | #Constraints: 51512
1592.61/1597.36 c #Conflicts: 994000 | #Constraints: 52512
1592.61/1597.36 c #Conflicts: 995000 | #Constraints: 53512
1592.61/1597.36 c #Conflicts: 996000 | #Constraints: 54512
1592.61/1597.36 c #Conflicts: 997000 | #Constraints: 55512
1592.61/1597.36 c #Conflicts: 998000 | #Constraints: 56512
1592.61/1597.36 c #Conflicts: 999000 | #Constraints: 57512
1592.61/1597.36 c #Conflicts: 1000000 | #Constraints: 58512
1592.61/1597.36 c #Conflicts: 1001000 | #Constraints: 59512
1592.61/1597.36 c #Conflicts: 1002000 | #Constraints: 60512
1592.61/1597.36 c #Conflicts: 1003000 | #Constraints: 61512
1592.61/1597.36 c #Conflicts: 1004000 | #Constraints: 62512
1592.61/1597.36 c #Conflicts: 1005000 | #Constraints: 63512
1592.61/1597.36 c #Conflicts: 1006000 | #Constraints: 64512
1592.61/1597.36 c #Conflicts: 1007000 | #Constraints: 65512
1592.61/1597.36 c #Conflicts: 1008000 | #Constraints: 66512
1592.61/1597.36 c #Conflicts: 1009000 | #Constraints: 67512
1592.61/1597.36 c #Conflicts: 1010000 | #Constraints: 68512
1592.61/1597.36 c #Conflicts: 1011000 | #Constraints: 69512
1592.61/1597.36 c #Conflicts: 1012000 | #Constraints: 70512
1592.61/1597.36 c #Conflicts: 1013000 | #Constraints: 71512
1592.61/1597.36 c #Conflicts: 1014000 | #Constraints: 72512
1592.61/1597.36 c #Conflicts: 1015000 | #Constraints: 73512
1592.61/1597.36 c #Conflicts: 1016000 | #Constraints: 74512
1592.61/1597.36 c #Conflicts: 1017000 | #Constraints: 75512
1592.61/1597.36 c #Conflicts: 1018000 | #Constraints: 76512
1592.61/1597.36 c #Conflicts: 1019000 | #Constraints: 77512
1692.32/1697.33 c #Conflicts: 1020000 | #Constraints: 78512
1692.32/1697.33 c #Conflicts: 1021000 | #Constraints: 79512
1692.32/1697.33 c #Conflicts: 1022000 | #Constraints: 80512
1692.32/1697.33 c #Conflicts: 1023000 | #Constraints: 81512
1692.32/1697.33 c #Conflicts: 1024000 | #Constraints: 82512
1692.32/1697.33 c #Conflicts: 1025000 | #Constraints: 83512
1692.32/1697.33 c #Conflicts: 1026000 | #Constraints: 84512
1692.32/1697.33 c #Conflicts: 1027000 | #Constraints: 85512
1692.32/1697.33 c #Conflicts: 1028000 | #Constraints: 86512
1692.32/1697.33 c #Conflicts: 1029000 | #Constraints: 87512
1692.32/1697.33 c #Conflicts: 1030000 | #Constraints: 88512
1692.32/1697.33 c #Conflicts: 1031000 | #Constraints: 89512
1692.32/1697.33 c #Conflicts: 1032000 | #Constraints: 90512
1692.32/1697.33 c #Conflicts: 1033000 | #Constraints: 91512
1692.32/1697.33 c #Conflicts: 1034000 | #Constraints: 92512
1692.32/1697.33 c #Conflicts: 1035000 | #Constraints: 93512
1692.32/1697.33 c #Conflicts: 1036000 | #Constraints: 94512
1692.32/1697.33 c #Conflicts: 1037000 | #Constraints: 95512
1692.32/1697.33 c #Conflicts: 1038000 | #Constraints: 96512
1692.32/1697.33 c #Conflicts: 1039000 | #Constraints: 97512
1692.32/1697.33 c #Conflicts: 1040000 | #Constraints: 98512
1692.32/1697.33 c #Conflicts: 1041000 | #Constraints: 99512
1692.32/1697.33 c #Conflicts: 1042000 | #Constraints: 100512
1692.32/1697.33 c #Conflicts: 1043000 | #Constraints: 101513
1692.32/1697.33 c #Conflicts: 1044000 | #Constraints: 102513
1692.32/1697.33 c #Conflicts: 1045000 | #Constraints: 103513
1692.32/1697.33 c #Conflicts: 1046000 | #Constraints: 104513
1692.32/1697.33 c #Conflicts: 1047000 | #Constraints: 105513
1692.32/1697.33 c #Conflicts: 1048000 | #Constraints: 106513
1692.32/1697.33 c #Conflicts: 1049000 | #Constraints: 107513
1692.32/1697.33 c INPROCESSING
1692.32/1697.33 c GARBAGE COLLECT
1692.32/1697.33 c rational objective 84
1834.21/1839.60 c #Conflicts: 1050000 | #Constraints: 57769
1834.21/1839.60 c #Conflicts: 1051000 | #Constraints: 58769
1834.21/1839.60 c #Conflicts: 1052000 | #Constraints: 59769
1834.21/1839.60 c #Conflicts: 1053000 | #Constraints: 60769
1834.21/1839.60 c #Conflicts: 1054000 | #Constraints: 61769
1834.21/1839.60 c #Conflicts: 1055000 | #Constraints: 62769
1834.21/1839.60 c #Conflicts: 1056000 | #Constraints: 63769
1834.21/1839.60 c #Conflicts: 1057000 | #Constraints: 64769
1834.21/1839.60 c #Conflicts: 1058000 | #Constraints: 65769
1834.21/1839.60 c #Conflicts: 1059000 | #Constraints: 66769
1834.21/1839.60 c #Conflicts: 1060000 | #Constraints: 67769
1834.21/1839.60 c #Conflicts: 1061000 | #Constraints: 68769
1834.21/1839.60 c #Conflicts: 1062000 | #Constraints: 69769
1834.21/1839.60 c #Conflicts: 1063000 | #Constraints: 70769
1834.21/1839.60 c #Conflicts: 1064000 | #Constraints: 71769
1834.21/1839.60 c #Conflicts: 1065000 | #Constraints: 72769
1834.21/1839.60 c #Conflicts: 1066000 | #Constraints: 73769
1834.21/1839.60 c #Conflicts: 1067000 | #Constraints: 74769
1834.21/1839.60 c #Conflicts: 1068000 | #Constraints: 75769
1834.21/1839.60 c #Conflicts: 1069000 | #Constraints: 76769
1834.21/1839.60 c #Conflicts: 1070000 | #Constraints: 77769
1834.21/1839.60 c #Conflicts: 1071000 | #Constraints: 78769
1834.21/1839.60 c #Conflicts: 1072000 | #Constraints: 79769
1834.21/1839.60 c INPROCESSING
1834.21/1839.60 c GARBAGE COLLECT
1834.21/1839.60 c #Conflicts: 1073000 | #Constraints: 43895
1834.21/1839.60 c #Conflicts: 1074000 | #Constraints: 44895
1834.21/1839.60 c #Conflicts: 1075000 | #Constraints: 45895
1834.21/1839.60 c #Conflicts: 1076000 | #Constraints: 46895
1834.21/1839.60 c #Conflicts: 1077000 | #Constraints: 47895
1834.21/1839.60 c #Conflicts: 1078000 | #Constraints: 48895
1834.21/1839.60 c #Conflicts: 1079000 | #Constraints: 49895
1834.21/1839.60 c #Conflicts: 1080000 | #Constraints: 50895
1834.21/1839.60 c #Conflicts: 1081000 | #Constraints: 51895
1834.21/1839.60 c #Conflicts: 1082000 | #Constraints: 52895
1834.21/1839.60 c #Conflicts: 1083000 | #Constraints: 53895
1834.21/1839.60 c #Conflicts: 1084000 | #Constraints: 54895
1834.21/1839.60 c #Conflicts: 1085000 | #Constraints: 55895
1834.21/1839.60 c #Conflicts: 1086000 | #Constraints: 56895
1834.21/1839.60 c #Conflicts: 1087000 | #Constraints: 57895
1834.21/1839.60 c #Conflicts: 1088000 | #Constraints: 58895
1834.21/1839.60 c #Conflicts: 1089000 | #Constraints: 59895
1834.21/1839.60 c #Conflicts: 1090000 | #Constraints: 60895
1834.21/1839.60 c #Conflicts: 1091000 | #Constraints: 61895
1834.21/1839.60 c #Conflicts: 1092000 | #Constraints: 62895
1834.21/1839.60 c #Conflicts: 1093000 | #Constraints: 63895
1834.21/1839.60 c #Conflicts: 1094000 | #Constraints: 64895
1834.21/1839.60 c #Conflicts: 1095000 | #Constraints: 65895
1834.21/1839.60 c INPROCESSING
1834.21/1839.60 c GARBAGE COLLECT
1834.21/1839.60 c #Conflicts: 1096000 | #Constraints: 36900
1834.21/1839.60 c #Conflicts: 1097000 | #Constraints: 37900
1834.21/1839.60 c #Conflicts: 1098000 | #Constraints: 38900
1834.21/1839.60 c #Conflicts: 1099000 | #Constraints: 39900
1834.21/1839.60 c #Conflicts: 1100000 | #Constraints: 40900
1834.21/1839.60 c #Conflicts: 1101000 | #Constraints: 41900
1834.21/1839.60 c #Conflicts: 1102000 | #Constraints: 42900
1834.21/1839.60 c #Conflicts: 1103000 | #Constraints: 43900
1834.21/1839.60 c #Conflicts: 1104000 | #Constraints: 44900
1834.21/1839.60 c #Conflicts: 1105000 | #Constraints: 45900
1834.21/1839.60 c #Conflicts: 1106000 | #Constraints: 46900
1834.21/1839.60 c #Conflicts: 1107000 | #Constraints: 47900
1834.21/1839.60 c #Conflicts: 1108000 | #Constraints: 48900
1834.21/1839.60 c #Conflicts: 1109000 | #Constraints: 49900
1834.21/1839.60 c #Conflicts: 1110000 | #Constraints: 50900
1834.21/1839.60 c #Conflicts: 1111000 | #Constraints: 51900
1834.21/1839.60 c #Conflicts: 1112000 | #Constraints: 52900
1834.21/1839.60 c #Conflicts: 1113000 | #Constraints: 53900
1834.21/1839.60 c #Conflicts: 1114000 | #Constraints: 54900
1834.21/1839.60 c #Conflicts: 1115000 | #Constraints: 55900
1834.21/1839.60 c #Conflicts: 1116000 | #Constraints: 56900
1834.21/1839.60 c #Conflicts: 1117000 | #Constraints: 57900
1834.21/1839.60 c #Conflicts: 1118000 | #Constraints: 58900
1834.21/1839.60 c INPROCESSING
1834.21/1839.60 c GARBAGE COLLECT
1834.21/1839.60 c rational objective 84
1940.10/1945.87 c #Conflicts: 1119000 | #Constraints: 33352
1940.10/1945.87 c #Conflicts: 1120000 | #Constraints: 34352
1940.10/1945.87 c #Conflicts: 1121000 | #Constraints: 35352
1940.10/1945.87 c #Conflicts: 1122000 | #Constraints: 36352
1940.10/1945.87 c #Conflicts: 1123000 | #Constraints: 37352
1940.10/1945.87 c #Conflicts: 1124000 | #Constraints: 38352
1940.10/1945.87 c #Conflicts: 1125000 | #Constraints: 39352
1940.10/1945.87 c #Conflicts: 1126000 | #Constraints: 40352
1940.10/1945.87 c #Conflicts: 1127000 | #Constraints: 41352
1940.10/1945.87 c #Conflicts: 1128000 | #Constraints: 42352
1940.10/1945.87 c #Conflicts: 1129000 | #Constraints: 43352
1940.10/1945.87 c #Conflicts: 1130000 | #Constraints: 44352
1940.10/1945.87 c #Conflicts: 1131000 | #Constraints: 45352
1940.10/1945.87 c #Conflicts: 1132000 | #Constraints: 46352
1940.10/1945.87 c #Conflicts: 1133000 | #Constraints: 47352
1940.10/1945.87 c #Conflicts: 1134000 | #Constraints: 48352
1940.10/1945.87 c #Conflicts: 1135000 | #Constraints: 49352
1940.10/1945.87 c #Conflicts: 1136000 | #Constraints: 50352
1940.10/1945.87 c #Conflicts: 1137000 | #Constraints: 51352
1940.10/1945.87 c #Conflicts: 1138000 | #Constraints: 52352
1940.10/1945.87 c #Conflicts: 1139000 | #Constraints: 53352
1940.10/1945.87 c #Conflicts: 1140000 | #Constraints: 54352
1940.10/1945.87 c #Conflicts: 1141000 | #Constraints: 55352
1940.10/1945.87 c #Conflicts: 1142000 | #Constraints: 56352
1940.10/1945.87 c INPROCESSING
1940.10/1945.87 c GARBAGE COLLECT
1940.10/1945.87 c #Conflicts: 1143000 | #Constraints: 32228
1940.10/1945.87 c #Conflicts: 1144000 | #Constraints: 33228
1940.10/1945.87 c #Conflicts: 1145000 | #Constraints: 34228
1940.10/1945.87 c #Conflicts: 1146000 | #Constraints: 35228
1940.10/1945.87 c #Conflicts: 1147000 | #Constraints: 36228
1940.10/1945.87 c #Conflicts: 1148000 | #Constraints: 37228
1940.10/1945.87 c #Conflicts: 1149000 | #Constraints: 38228
1940.10/1945.87 c #Conflicts: 1150000 | #Constraints: 39228
1940.10/1945.87 c #Conflicts: 1151000 | #Constraints: 40228
1940.10/1945.87 c #Conflicts: 1152000 | #Constraints: 41228
1940.10/1945.87 c #Conflicts: 1153000 | #Constraints: 42228
1940.10/1945.87 c #Conflicts: 1154000 | #Constraints: 43228
1940.10/1945.87 c #Conflicts: 1155000 | #Constraints: 44228
1940.10/1945.87 c #Conflicts: 1156000 | #Constraints: 45228
1940.10/1945.87 c #Conflicts: 1157000 | #Constraints: 46228
1940.10/1945.87 c #Conflicts: 1158000 | #Constraints: 47228
1940.10/1945.87 c #Conflicts: 1159000 | #Constraints: 48228
1940.10/1945.87 c #Conflicts: 1160000 | #Constraints: 49228
1940.10/1945.87 c #Conflicts: 1161000 | #Constraints: 50228
1940.10/1945.87 c #Conflicts: 1162000 | #Constraints: 51228
1940.10/1945.87 c #Conflicts: 1163000 | #Constraints: 52228
1940.10/1945.87 c #Conflicts: 1164000 | #Constraints: 53228
1940.10/1945.87 c #Conflicts: 1165000 | #Constraints: 54228
1940.10/1945.87 c #Conflicts: 1166000 | #Constraints: 55228
1940.10/1945.87 c INPROCESSING
1940.10/1945.87 c GARBAGE COLLECT
1940.10/1945.87 c #Conflicts: 1167000 | #Constraints: 31856
1940.10/1945.87 c #Conflicts: 1168000 | #Constraints: 32856
1940.10/1945.87 c #Conflicts: 1169000 | #Constraints: 33856
1940.10/1945.87 c #Conflicts: 1170000 | #Constraints: 34856
1940.10/1945.87 c #Conflicts: 1171000 | #Constraints: 35856
1940.10/1945.87 c #Conflicts: 1172000 | #Constraints: 36856
1940.10/1945.87 c #Conflicts: 1173000 | #Constraints: 37856
1940.10/1945.87 c #Conflicts: 1174000 | #Constraints: 38856
1940.10/1945.87 c #Conflicts: 1175000 | #Constraints: 39856
1940.10/1945.87 c #Conflicts: 1176000 | #Constraints: 40856
1940.10/1945.87 c #Conflicts: 1177000 | #Constraints: 41856
1940.10/1945.87 c #Conflicts: 1178000 | #Constraints: 42856
1940.10/1945.87 c #Conflicts: 1179000 | #Constraints: 43856
1940.10/1945.87 c #Conflicts: 1180000 | #Constraints: 44856
1940.10/1945.87 c #Conflicts: 1181000 | #Constraints: 45856
1940.10/1945.87 c #Conflicts: 1182000 | #Constraints: 46856
1940.10/1945.87 c #Conflicts: 1183000 | #Constraints: 47856
1940.10/1945.87 c #Conflicts: 1184000 | #Constraints: 48856
1940.10/1945.87 c #Conflicts: 1185000 | #Constraints: 49856
1940.10/1945.87 c #Conflicts: 1186000 | #Constraints: 50856
1940.10/1945.87 c #Conflicts: 1187000 | #Constraints: 51856
1940.10/1945.87 c #Conflicts: 1188000 | #Constraints: 52856
1940.10/1945.87 c #Conflicts: 1189000 | #Constraints: 53856
1940.10/1945.87 c #Conflicts: 1190000 | #Constraints: 54856
1940.10/1945.87 c INPROCESSING
1940.10/1945.87 c GARBAGE COLLECT
1940.10/1945.87 c #Conflicts: 1191000 | #Constraints: 31679
1940.10/1945.87 c #Conflicts: 1192000 | #Constraints: 32679
1940.10/1945.87 c #Conflicts: 1193000 | #Constraints: 33679
1940.10/1945.87 c #Conflicts: 1194000 | #Constraints: 34679
1940.10/1945.87 c #Conflicts: 1195000 | #Constraints: 35679
2189.68/2196.17 c #Conflicts: 1196000 | #Constraints: 36679
2189.68/2196.17 c #Conflicts: 1197000 | #Constraints: 37679
2189.68/2196.17 c #Conflicts: 1198000 | #Constraints: 38679
2189.68/2196.17 c #Conflicts: 1199000 | #Constraints: 39679
2189.68/2196.17 c #Conflicts: 1200000 | #Constraints: 40680
2189.68/2196.17 c #Conflicts: 1201000 | #Constraints: 41680
2189.68/2196.17 c #Conflicts: 1202000 | #Constraints: 42680
2189.68/2196.17 c #Conflicts: 1203000 | #Constraints: 43680
2189.68/2196.17 c #Conflicts: 1204000 | #Constraints: 44680
2189.68/2196.17 c #Conflicts: 1205000 | #Constraints: 45680
2189.68/2196.17 c #Conflicts: 1206000 | #Constraints: 46680
2189.68/2196.17 c #Conflicts: 1207000 | #Constraints: 47680
2189.68/2196.17 c #Conflicts: 1208000 | #Constraints: 48680
2189.68/2196.17 c #Conflicts: 1209000 | #Constraints: 49680
2189.68/2196.17 c #Conflicts: 1210000 | #Constraints: 50680
2189.68/2196.17 c #Conflicts: 1211000 | #Constraints: 51680
2189.68/2196.17 c #Conflicts: 1212000 | #Constraints: 52680
2189.68/2196.17 c #Conflicts: 1213000 | #Constraints: 53680
2189.68/2196.17 c #Conflicts: 1214000 | #Constraints: 54680
2189.68/2196.17 c #Conflicts: 1215000 | #Constraints: 55680
2189.68/2196.17 c #Conflicts: 1216000 | #Constraints: 56680
2189.68/2196.17 c #Conflicts: 1217000 | #Constraints: 57680
2189.68/2196.17 c #Conflicts: 1218000 | #Constraints: 58680
2189.68/2196.17 c #Conflicts: 1219000 | #Constraints: 59680
2189.68/2196.17 c #Conflicts: 1220000 | #Constraints: 60680
2189.68/2196.17 c #Conflicts: 1221000 | #Constraints: 61680
2189.68/2196.17 c #Conflicts: 1222000 | #Constraints: 62680
2189.68/2196.17 c #Conflicts: 1223000 | #Constraints: 63680
2189.68/2196.17 c #Conflicts: 1224000 | #Constraints: 64680
2189.68/2196.17 c #Conflicts: 1225000 | #Constraints: 65680
2189.68/2196.17 c #Conflicts: 1226000 | #Constraints: 66680
2189.68/2196.17 c #Conflicts: 1227000 | #Constraints: 67680
2189.68/2196.17 c #Conflicts: 1228000 | #Constraints: 68680
2189.68/2196.17 c #Conflicts: 1229000 | #Constraints: 69680
2189.68/2196.17 c #Conflicts: 1230000 | #Constraints: 70680
2189.68/2196.17 c #Conflicts: 1231000 | #Constraints: 71680
2189.68/2196.17 c #Conflicts: 1232000 | #Constraints: 72680
2189.68/2196.17 c #Conflicts: 1233000 | #Constraints: 73680
2189.68/2196.17 c #Conflicts: 1234000 | #Constraints: 74680
2189.68/2196.17 c #Conflicts: 1235000 | #Constraints: 75680
2189.68/2196.17 c #Conflicts: 1236000 | #Constraints: 76680
2189.68/2196.17 c #Conflicts: 1237000 | #Constraints: 77680
2189.68/2196.17 c #Conflicts: 1238000 | #Constraints: 78680
2189.68/2196.17 c #Conflicts: 1239000 | #Constraints: 79680
2189.68/2196.17 c #Conflicts: 1240000 | #Constraints: 80680
2189.68/2196.17 c #Conflicts: 1241000 | #Constraints: 81680
2189.68/2196.17 c #Conflicts: 1242000 | #Constraints: 82680
2189.68/2196.17 c #Conflicts: 1243000 | #Constraints: 83680
2189.68/2196.17 c #Conflicts: 1244000 | #Constraints: 84680
2189.68/2196.17 c #Conflicts: 1245000 | #Constraints: 85680
2189.68/2196.17 c #Conflicts: 1246000 | #Constraints: 86680
2189.68/2196.17 c #Conflicts: 1247000 | #Constraints: 87680
2189.68/2196.17 c #Conflicts: 1248000 | #Constraints: 88680
2189.68/2196.17 c #Conflicts: 1249000 | #Constraints: 89680
2189.68/2196.17 c #Conflicts: 1250000 | #Constraints: 90680
2189.68/2196.17 c #Conflicts: 1251000 | #Constraints: 91680
2189.68/2196.17 c #Conflicts: 1252000 | #Constraints: 92680
2189.68/2196.17 c #Conflicts: 1253000 | #Constraints: 93680
2189.68/2196.17 c #Conflicts: 1254000 | #Constraints: 94680
2189.68/2196.17 c #Conflicts: 1255000 | #Constraints: 95680
2189.68/2196.17 c #Conflicts: 1256000 | #Constraints: 96680
2189.68/2196.17 c #Conflicts: 1257000 | #Constraints: 97680
2189.68/2196.17 c #Conflicts: 1258000 | #Constraints: 98680
2189.68/2196.17 c #Conflicts: 1259000 | #Constraints: 99680
2189.68/2196.17 c #Conflicts: 1260000 | #Constraints: 100680
2189.68/2196.17 c #Conflicts: 1261000 | #Constraints: 101680
2189.68/2196.17 c #Conflicts: 1262000 | #Constraints: 102680
2189.68/2196.17 c #Conflicts: 1263000 | #Constraints: 103680
2189.68/2196.17 c #Conflicts: 1264000 | #Constraints: 104680
2189.68/2196.17 c #Conflicts: 1265000 | #Constraints: 105680
2189.68/2196.17 c #Conflicts: 1266000 | #Constraints: 106680
2189.68/2196.17 c #Conflicts: 1267000 | #Constraints: 107680
2189.68/2196.17 c #Conflicts: 1268000 | #Constraints: 108680
2189.68/2196.17 c #Conflicts: 1269000 | #Constraints: 109680
2189.68/2196.17 c #Conflicts: 1270000 | #Constraints: 110680
2189.68/2196.17 c #Conflicts: 1271000 | #Constraints: 111680
2189.68/2196.17 c #Conflicts: 1272000 | #Constraints: 112680
2189.68/2196.17 c #Conflicts: 1273000 | #Constraints: 113680
2189.68/2196.17 c #Conflicts: 1274000 | #Constraints: 114680
2215.20/2221.72 c #Conflicts: 1275000 | #Constraints: 115680
2215.20/2221.72 c #Conflicts: 1276000 | #Constraints: 116680
2215.20/2221.72 c #Conflicts: 1277000 | #Constraints: 117680
2215.20/2221.72 c #Conflicts: 1278000 | #Constraints: 118680
2215.20/2221.72 c INPROCESSING
2215.20/2221.72 c GARBAGE COLLECT
2215.20/2221.72 c rational objective 84
2395.16/2402.22 c #Conflicts: 1279000 | #Constraints: 63603
2395.16/2402.22 c #Conflicts: 1280000 | #Constraints: 64603
2395.16/2402.22 c #Conflicts: 1281000 | #Constraints: 65603
2395.16/2402.22 c #Conflicts: 1282000 | #Constraints: 66603
2395.16/2402.22 c #Conflicts: 1283000 | #Constraints: 67603
2395.16/2402.22 c #Conflicts: 1284000 | #Constraints: 68603
2395.16/2402.22 c #Conflicts: 1285000 | #Constraints: 69603
2395.16/2402.22 c #Conflicts: 1286000 | #Constraints: 70603
2395.16/2402.22 c #Conflicts: 1287000 | #Constraints: 71603
2395.16/2402.22 c #Conflicts: 1288000 | #Constraints: 72603
2395.16/2402.22 c #Conflicts: 1289000 | #Constraints: 73603
2395.16/2402.22 c #Conflicts: 1290000 | #Constraints: 74603
2395.16/2402.22 c #Conflicts: 1291000 | #Constraints: 75603
2395.16/2402.22 c #Conflicts: 1292000 | #Constraints: 76603
2395.16/2402.22 c #Conflicts: 1293000 | #Constraints: 77603
2395.16/2402.22 c #Conflicts: 1294000 | #Constraints: 78603
2395.16/2402.22 c #Conflicts: 1295000 | #Constraints: 79603
2395.16/2402.22 c #Conflicts: 1296000 | #Constraints: 80603
2395.16/2402.22 c #Conflicts: 1297000 | #Constraints: 81603
2395.16/2402.22 c #Conflicts: 1298000 | #Constraints: 82603
2395.16/2402.22 c #Conflicts: 1299000 | #Constraints: 83603
2395.16/2402.22 c #Conflicts: 1300000 | #Constraints: 84603
2395.16/2402.22 c #Conflicts: 1301000 | #Constraints: 85603
2395.16/2402.22 c #Conflicts: 1302000 | #Constraints: 86603
2395.16/2402.22 c #Conflicts: 1303000 | #Constraints: 87603
2395.16/2402.22 c INPROCESSING
2395.16/2402.22 c GARBAGE COLLECT
2395.16/2402.22 c #Conflicts: 1304000 | #Constraints: 47956
2395.16/2402.22 c #Conflicts: 1305000 | #Constraints: 48956
2395.16/2402.22 c #Conflicts: 1306000 | #Constraints: 49956
2395.16/2402.22 c #Conflicts: 1307000 | #Constraints: 50956
2395.16/2402.22 c #Conflicts: 1308000 | #Constraints: 51956
2395.16/2402.22 c #Conflicts: 1309000 | #Constraints: 52956
2395.16/2402.22 c #Conflicts: 1310000 | #Constraints: 53956
2395.16/2402.22 c #Conflicts: 1311000 | #Constraints: 54956
2395.16/2402.22 c #Conflicts: 1312000 | #Constraints: 55956
2395.16/2402.22 c #Conflicts: 1313000 | #Constraints: 56956
2395.16/2402.22 c #Conflicts: 1314000 | #Constraints: 57956
2395.16/2402.22 c #Conflicts: 1315000 | #Constraints: 58956
2395.16/2402.22 c #Conflicts: 1316000 | #Constraints: 59956
2395.16/2402.22 c #Conflicts: 1317000 | #Constraints: 60956
2395.16/2402.22 c #Conflicts: 1318000 | #Constraints: 61956
2395.16/2402.22 c #Conflicts: 1319000 | #Constraints: 62956
2395.16/2402.22 c #Conflicts: 1320000 | #Constraints: 63956
2395.16/2402.22 c #Conflicts: 1321000 | #Constraints: 64956
2395.16/2402.22 c #Conflicts: 1322000 | #Constraints: 65956
2395.16/2402.22 c #Conflicts: 1323000 | #Constraints: 66956
2395.16/2402.22 c #Conflicts: 1324000 | #Constraints: 67956
2395.16/2402.22 c #Conflicts: 1325000 | #Constraints: 68956
2395.16/2402.22 c #Conflicts: 1326000 | #Constraints: 69956
2395.16/2402.22 c #Conflicts: 1327000 | #Constraints: 70956
2395.16/2402.22 c #Conflicts: 1328000 | #Constraints: 71956
2395.16/2402.22 c INPROCESSING
2395.16/2402.22 c GARBAGE COLLECT
2395.16/2402.22 c #Conflicts: 1329000 | #Constraints: 40028
2395.16/2402.22 c #Conflicts: 1330000 | #Constraints: 41028
2395.16/2402.22 c #Conflicts: 1331000 | #Constraints: 42028
2395.16/2402.22 c #Conflicts: 1332000 | #Constraints: 43028
2395.16/2402.22 c #Conflicts: 1333000 | #Constraints: 44028
2395.16/2402.22 c #Conflicts: 1334000 | #Constraints: 45028
2395.16/2402.22 c #Conflicts: 1335000 | #Constraints: 46028
2395.16/2402.22 c #Conflicts: 1336000 | #Constraints: 47028
2395.16/2402.22 c #Conflicts: 1337000 | #Constraints: 48028
2395.16/2402.22 c #Conflicts: 1338000 | #Constraints: 49028
2395.16/2402.22 c #Conflicts: 1339000 | #Constraints: 50028
2395.16/2402.22 c #Conflicts: 1340000 | #Constraints: 51028
2395.16/2402.22 c #Conflicts: 1341000 | #Constraints: 52028
2395.16/2402.22 c #Conflicts: 1342000 | #Constraints: 53028
2395.16/2402.22 c #Conflicts: 1343000 | #Constraints: 54028
2395.16/2402.22 c #Conflicts: 1344000 | #Constraints: 55028
2395.16/2402.22 c #Conflicts: 1345000 | #Constraints: 56028
2395.16/2402.22 c #Conflicts: 1346000 | #Constraints: 57028
2395.16/2402.22 c #Conflicts: 1347000 | #Constraints: 58028
2395.16/2402.22 c #Conflicts: 1348000 | #Constraints: 59028
2395.16/2402.22 c #Conflicts: 1349000 | #Constraints: 60028
2395.16/2402.22 c #Conflicts: 1350000 | #Constraints: 61028
2395.16/2402.22 c #Conflicts: 1351000 | #Constraints: 62028
2395.16/2402.22 c #Conflicts: 1352000 | #Constraints: 63028
2395.16/2402.22 c #Conflicts: 1353000 | #Constraints: 64028
2395.16/2402.22 c #Conflicts: 1354000 | #Constraints: 65028
2395.16/2402.22 c INPROCESSING
2395.16/2402.22 c GARBAGE COLLECT
2395.16/2402.22 c #Conflicts: 1355000 | #Constraints: 36699
2437.52/2444.71 c #Conflicts: 1356000 | #Constraints: 37699
2437.52/2444.71 c #Conflicts: 1357000 | #Constraints: 38699
2437.52/2444.71 c #Conflicts: 1358000 | #Constraints: 39699
2437.52/2444.71 c #Conflicts: 1359000 | #Constraints: 40699
2437.52/2444.71 c #Conflicts: 1360000 | #Constraints: 41699
2437.52/2444.71 c #Conflicts: 1361000 | #Constraints: 42699
2437.52/2444.71 c #Conflicts: 1362000 | #Constraints: 43699
2437.52/2444.71 c #Conflicts: 1363000 | #Constraints: 44699
2437.52/2444.71 c #Conflicts: 1364000 | #Constraints: 45699
2437.52/2444.71 c #Conflicts: 1365000 | #Constraints: 46699
2437.52/2444.71 c #Conflicts: 1366000 | #Constraints: 47699
2437.52/2444.71 c #Conflicts: 1367000 | #Constraints: 48699
2437.52/2444.71 c #Conflicts: 1368000 | #Constraints: 49699
2437.52/2444.71 c #Conflicts: 1369000 | #Constraints: 50699
2437.52/2444.71 c #Conflicts: 1370000 | #Constraints: 51699
2437.52/2444.71 c #Conflicts: 1371000 | #Constraints: 52699
2437.52/2444.71 c #Conflicts: 1372000 | #Constraints: 53699
2437.52/2444.71 c #Conflicts: 1373000 | #Constraints: 54699
2437.52/2444.71 c #Conflicts: 1374000 | #Constraints: 55699
2437.52/2444.71 c #Conflicts: 1375000 | #Constraints: 56699
2437.52/2444.71 c #Conflicts: 1376000 | #Constraints: 57699
2437.52/2444.71 c #Conflicts: 1377000 | #Constraints: 58699
2437.52/2444.71 c #Conflicts: 1378000 | #Constraints: 59699
2437.52/2444.71 c #Conflicts: 1379000 | #Constraints: 60699
2437.52/2444.71 c #Conflicts: 1380000 | #Constraints: 61699
2437.52/2444.71 c INPROCESSING
2437.52/2444.71 c GARBAGE COLLECT
2437.52/2444.71 c rational objective 84
2480.87/2488.20 c #Conflicts: 1381000 | #Constraints: 35177
2480.87/2488.20 c #Conflicts: 1382000 | #Constraints: 36177
2480.87/2488.20 c #Conflicts: 1383000 | #Constraints: 37177
2480.87/2488.20 c #Conflicts: 1384000 | #Constraints: 38177
2480.87/2488.20 c #Conflicts: 1385000 | #Constraints: 39177
2480.87/2488.20 c #Conflicts: 1386000 | #Constraints: 40177
2480.87/2488.20 c #Conflicts: 1387000 | #Constraints: 41177
2480.87/2488.20 c #Conflicts: 1388000 | #Constraints: 42177
2480.87/2488.20 c #Conflicts: 1389000 | #Constraints: 43177
2480.87/2488.20 c #Conflicts: 1390000 | #Constraints: 44177
2480.87/2488.20 c #Conflicts: 1391000 | #Constraints: 45177
2480.87/2488.20 c #Conflicts: 1392000 | #Constraints: 46177
2480.87/2488.20 c #Conflicts: 1393000 | #Constraints: 47177
2480.87/2488.20 c #Conflicts: 1394000 | #Constraints: 48177
2480.87/2488.20 c #Conflicts: 1395000 | #Constraints: 49177
2480.87/2488.20 c #Conflicts: 1396000 | #Constraints: 50177
2480.87/2488.20 c #Conflicts: 1397000 | #Constraints: 51177
2480.87/2488.20 c #Conflicts: 1398000 | #Constraints: 52177
2480.87/2488.20 c #Conflicts: 1399000 | #Constraints: 53177
2480.87/2488.20 c #Conflicts: 1400000 | #Constraints: 54177
2480.87/2488.20 c #Conflicts: 1401000 | #Constraints: 55177
2480.87/2488.20 c #Conflicts: 1402000 | #Constraints: 56177
2480.87/2488.20 c #Conflicts: 1403000 | #Constraints: 57177
2480.87/2488.20 c #Conflicts: 1404000 | #Constraints: 58177
2480.87/2488.20 c #Conflicts: 1405000 | #Constraints: 59177
2480.87/2488.20 c #Conflicts: 1406000 | #Constraints: 60177
2480.87/2488.20 c INPROCESSING
2480.87/2488.20 c GARBAGE COLLECT
2480.87/2488.20 c rational objective 84
2519.04/2526.55 c #Conflicts: 1407000 | #Constraints: 34401
2519.04/2526.55 c #Conflicts: 1408000 | #Constraints: 35401
2519.04/2526.55 c #Conflicts: 1409000 | #Constraints: 36401
2519.04/2526.55 c #Conflicts: 1410000 | #Constraints: 37401
2519.04/2526.55 c #Conflicts: 1411000 | #Constraints: 38401
2519.04/2526.55 c #Conflicts: 1412000 | #Constraints: 39401
2519.04/2526.55 c #Conflicts: 1413000 | #Constraints: 40401
2519.04/2526.55 c #Conflicts: 1414000 | #Constraints: 41401
2519.04/2526.55 c #Conflicts: 1415000 | #Constraints: 42401
2519.04/2526.55 c #Conflicts: 1416000 | #Constraints: 43401
2519.04/2526.55 c #Conflicts: 1417000 | #Constraints: 44401
2519.04/2526.55 c #Conflicts: 1418000 | #Constraints: 45401
2519.04/2526.55 c #Conflicts: 1419000 | #Constraints: 46401
2519.04/2526.55 c #Conflicts: 1420000 | #Constraints: 47401
2519.04/2526.55 c #Conflicts: 1421000 | #Constraints: 48401
2519.04/2526.55 c #Conflicts: 1422000 | #Constraints: 49401
2519.04/2526.55 c #Conflicts: 1423000 | #Constraints: 50401
2519.04/2526.55 c #Conflicts: 1424000 | #Constraints: 51401
2519.04/2526.55 c #Conflicts: 1425000 | #Constraints: 52401
2519.04/2526.55 c #Conflicts: 1426000 | #Constraints: 53401
2519.04/2526.55 c #Conflicts: 1427000 | #Constraints: 54401
2519.04/2526.55 c #Conflicts: 1428000 | #Constraints: 55401
2519.04/2526.55 c #Conflicts: 1429000 | #Constraints: 56401
2519.04/2526.55 c #Conflicts: 1430000 | #Constraints: 57401
2519.04/2526.55 c #Conflicts: 1431000 | #Constraints: 58401
2519.04/2526.55 c #Conflicts: 1432000 | #Constraints: 59401
2519.04/2526.55 c INPROCESSING
2519.04/2526.55 c GARBAGE COLLECT
2519.04/2526.55 c rational objective 84
2739.32/2747.50 c #Conflicts: 1433000 | #Constraints: 33861
2739.32/2747.50 c #Conflicts: 1434000 | #Constraints: 34861
2739.32/2747.50 c #Conflicts: 1435000 | #Constraints: 35861
2739.32/2747.50 c #Conflicts: 1436000 | #Constraints: 36861
2739.32/2747.50 c #Conflicts: 1437000 | #Constraints: 37861
2739.32/2747.50 c #Conflicts: 1438000 | #Constraints: 38861
2739.32/2747.50 c #Conflicts: 1439000 | #Constraints: 39861
2739.32/2747.50 c #Conflicts: 1440000 | #Constraints: 40861
2739.32/2747.50 c #Conflicts: 1441000 | #Constraints: 41861
2739.32/2747.50 c #Conflicts: 1442000 | #Constraints: 42861
2739.32/2747.50 c #Conflicts: 1443000 | #Constraints: 43861
2739.32/2747.50 c #Conflicts: 1444000 | #Constraints: 44861
2739.32/2747.50 c #Conflicts: 1445000 | #Constraints: 45861
2739.32/2747.50 c #Conflicts: 1446000 | #Constraints: 46861
2739.32/2747.50 c #Conflicts: 1447000 | #Constraints: 47861
2739.32/2747.50 c #Conflicts: 1448000 | #Constraints: 48861
2739.32/2747.50 c #Conflicts: 1449000 | #Constraints: 49861
2739.32/2747.50 c #Conflicts: 1450000 | #Constraints: 50861
2739.32/2747.50 c #Conflicts: 1451000 | #Constraints: 51861
2739.32/2747.50 c #Conflicts: 1452000 | #Constraints: 52861
2739.32/2747.50 c #Conflicts: 1453000 | #Constraints: 53861
2739.32/2747.50 c #Conflicts: 1454000 | #Constraints: 54861
2739.32/2747.50 c #Conflicts: 1455000 | #Constraints: 55861
2739.32/2747.50 c #Conflicts: 1456000 | #Constraints: 56861
2739.32/2747.50 c #Conflicts: 1457000 | #Constraints: 57861
2739.32/2747.50 c #Conflicts: 1458000 | #Constraints: 58861
2739.32/2747.50 c #Conflicts: 1459000 | #Constraints: 59861
2739.32/2747.50 c #Conflicts: 1460000 | #Constraints: 60861
2739.32/2747.50 c #Conflicts: 1461000 | #Constraints: 61861
2739.32/2747.50 c #Conflicts: 1462000 | #Constraints: 62861
2739.32/2747.50 c #Conflicts: 1463000 | #Constraints: 63861
2739.32/2747.50 c #Conflicts: 1464000 | #Constraints: 64861
2739.32/2747.50 c #Conflicts: 1465000 | #Constraints: 65861
2739.32/2747.50 c #Conflicts: 1466000 | #Constraints: 66861
2739.32/2747.50 c #Conflicts: 1467000 | #Constraints: 67861
2739.32/2747.50 c #Conflicts: 1468000 | #Constraints: 68861
2739.32/2747.50 c #Conflicts: 1469000 | #Constraints: 69861
2739.32/2747.50 c #Conflicts: 1470000 | #Constraints: 70861
2739.32/2747.50 c #Conflicts: 1471000 | #Constraints: 71861
2739.32/2747.50 c #Conflicts: 1472000 | #Constraints: 72861
2739.32/2747.50 c #Conflicts: 1473000 | #Constraints: 73861
2739.32/2747.50 c #Conflicts: 1474000 | #Constraints: 74861
2739.32/2747.50 c #Conflicts: 1475000 | #Constraints: 75861
2739.32/2747.50 c #Conflicts: 1476000 | #Constraints: 76861
2739.32/2747.50 c #Conflicts: 1477000 | #Constraints: 77861
2739.32/2747.50 c #Conflicts: 1478000 | #Constraints: 78861
2739.32/2747.50 c #Conflicts: 1479000 | #Constraints: 79861
2739.32/2747.50 c #Conflicts: 1480000 | #Constraints: 80861
2739.32/2747.50 c #Conflicts: 1481000 | #Constraints: 81861
2739.32/2747.50 c #Conflicts: 1482000 | #Constraints: 82861
2739.32/2747.50 c #Conflicts: 1483000 | #Constraints: 83861
2739.32/2747.50 c #Conflicts: 1484000 | #Constraints: 84861
2739.32/2747.50 c #Conflicts: 1485000 | #Constraints: 85861
2739.32/2747.50 c #Conflicts: 1486000 | #Constraints: 86862
2739.32/2747.50 c #Conflicts: 1487000 | #Constraints: 87862
2739.32/2747.50 c #Conflicts: 1488000 | #Constraints: 88862
2739.32/2747.50 c #Conflicts: 1489000 | #Constraints: 89862
2739.32/2747.50 c #Conflicts: 1490000 | #Constraints: 90862
2739.32/2747.50 c #Conflicts: 1491000 | #Constraints: 91862
2739.32/2747.50 c #Conflicts: 1492000 | #Constraints: 92862
2739.32/2747.50 c #Conflicts: 1493000 | #Constraints: 93862
2739.32/2747.50 c #Conflicts: 1494000 | #Constraints: 94862
2739.32/2747.50 c #Conflicts: 1495000 | #Constraints: 95862
2739.32/2747.50 c #Conflicts: 1496000 | #Constraints: 96862
2739.32/2747.50 c #Conflicts: 1497000 | #Constraints: 97862
2739.32/2747.50 c #Conflicts: 1498000 | #Constraints: 98862
2739.32/2747.50 c #Conflicts: 1499000 | #Constraints: 99862
2739.32/2747.50 c #Conflicts: 1500000 | #Constraints: 100862
2739.32/2747.50 c #Conflicts: 1501000 | #Constraints: 101862
2739.32/2747.50 c #Conflicts: 1502000 | #Constraints: 102862
2739.32/2747.50 c #Conflicts: 1503000 | #Constraints: 103862
2739.32/2747.50 c #Conflicts: 1504000 | #Constraints: 104862
2739.32/2747.50 c #Conflicts: 1505000 | #Constraints: 105862
2739.32/2747.50 c #Conflicts: 1506000 | #Constraints: 106862
2739.32/2747.50 c #Conflicts: 1507000 | #Constraints: 107862
2739.32/2747.50 c #Conflicts: 1508000 | #Constraints: 108862
2739.32/2747.50 c #Conflicts: 1509000 | #Constraints: 109862
2739.32/2747.50 c #Conflicts: 1510000 | #Constraints: 110862
2739.32/2747.50 c #Conflicts: 1511000 | #Constraints: 111862
2920.13/2928.99 c #Conflicts: 1512000 | #Constraints: 112862
2920.13/2928.99 c #Conflicts: 1513000 | #Constraints: 113862
2920.13/2928.99 c #Conflicts: 1514000 | #Constraints: 114862
2920.13/2928.99 c #Conflicts: 1515000 | #Constraints: 115862
2920.13/2928.99 c #Conflicts: 1516000 | #Constraints: 116862
2920.13/2928.99 c #Conflicts: 1517000 | #Constraints: 117862
2920.13/2928.99 c #Conflicts: 1518000 | #Constraints: 118862
2920.13/2928.99 c #Conflicts: 1519000 | #Constraints: 119862
2920.13/2928.99 c #Conflicts: 1520000 | #Constraints: 120862
2920.13/2928.99 c #Conflicts: 1521000 | #Constraints: 121862
2920.13/2928.99 c #Conflicts: 1522000 | #Constraints: 122862
2920.13/2928.99 c #Conflicts: 1523000 | #Constraints: 123862
2920.13/2928.99 c #Conflicts: 1524000 | #Constraints: 124862
2920.13/2928.99 c #Conflicts: 1525000 | #Constraints: 125862
2920.13/2928.99 c #Conflicts: 1526000 | #Constraints: 126862
2920.13/2928.99 c #Conflicts: 1527000 | #Constraints: 127862
2920.13/2928.99 c #Conflicts: 1528000 | #Constraints: 128862
2920.13/2928.99 c INPROCESSING
2920.13/2928.99 c GARBAGE COLLECT
2920.13/2928.99 c #Conflicts: 1529000 | #Constraints: 68367
2920.13/2928.99 c #Conflicts: 1530000 | #Constraints: 69367
2920.13/2928.99 c #Conflicts: 1531000 | #Constraints: 70367
2920.13/2928.99 c #Conflicts: 1532000 | #Constraints: 71367
2920.13/2928.99 c #Conflicts: 1533000 | #Constraints: 72367
2920.13/2928.99 c #Conflicts: 1534000 | #Constraints: 73367
2920.13/2928.99 c #Conflicts: 1535000 | #Constraints: 74367
2920.13/2928.99 c #Conflicts: 1536000 | #Constraints: 75367
2920.13/2928.99 c #Conflicts: 1537000 | #Constraints: 76367
2920.13/2928.99 c #Conflicts: 1538000 | #Constraints: 77367
2920.13/2928.99 c #Conflicts: 1539000 | #Constraints: 78367
2920.13/2928.99 c #Conflicts: 1540000 | #Constraints: 79367
2920.13/2928.99 c #Conflicts: 1541000 | #Constraints: 80367
2920.13/2928.99 c #Conflicts: 1542000 | #Constraints: 81367
2920.13/2928.99 c #Conflicts: 1543000 | #Constraints: 82367
2920.13/2928.99 c #Conflicts: 1544000 | #Constraints: 83367
2920.13/2928.99 c #Conflicts: 1545000 | #Constraints: 84367
2920.13/2928.99 c #Conflicts: 1546000 | #Constraints: 85367
2920.13/2928.99 c #Conflicts: 1547000 | #Constraints: 86367
2920.13/2928.99 c #Conflicts: 1548000 | #Constraints: 87367
2920.13/2928.99 c #Conflicts: 1549000 | #Constraints: 88367
2920.13/2928.99 c #Conflicts: 1550000 | #Constraints: 89367
2920.13/2928.99 c #Conflicts: 1551000 | #Constraints: 90367
2920.13/2928.99 c #Conflicts: 1552000 | #Constraints: 91367
2920.13/2928.99 c #Conflicts: 1553000 | #Constraints: 92367
2920.13/2928.99 c #Conflicts: 1554000 | #Constraints: 93367
2920.13/2928.99 c #Conflicts: 1555000 | #Constraints: 94367
2920.13/2928.99 c #Conflicts: 1556000 | #Constraints: 95367
2920.13/2928.99 c INPROCESSING
2920.13/2928.99 c GARBAGE COLLECT
2920.13/2928.99 c rational objective 84
3104.48/3113.82 c #Conflicts: 1557000 | #Constraints: 51840
3104.48/3113.82 c #Conflicts: 1558000 | #Constraints: 52840
3104.48/3113.82 c #Conflicts: 1559000 | #Constraints: 53840
3104.48/3113.82 c #Conflicts: 1560000 | #Constraints: 54840
3104.48/3113.82 c #Conflicts: 1561000 | #Constraints: 55840
3104.48/3113.82 c #Conflicts: 1562000 | #Constraints: 56840
3104.48/3113.82 c #Conflicts: 1563000 | #Constraints: 57840
3104.48/3113.82 c #Conflicts: 1564000 | #Constraints: 58840
3104.48/3113.82 c #Conflicts: 1565000 | #Constraints: 59840
3104.48/3113.82 c #Conflicts: 1566000 | #Constraints: 60840
3104.48/3113.82 c #Conflicts: 1567000 | #Constraints: 61840
3104.48/3113.82 c #Conflicts: 1568000 | #Constraints: 62840
3104.48/3113.82 c #Conflicts: 1569000 | #Constraints: 63840
3104.48/3113.82 c #Conflicts: 1570000 | #Constraints: 64840
3104.48/3113.82 c #Conflicts: 1571000 | #Constraints: 65840
3104.48/3113.82 c #Conflicts: 1572000 | #Constraints: 66840
3104.48/3113.82 c #Conflicts: 1573000 | #Constraints: 67840
3104.48/3113.82 c #Conflicts: 1574000 | #Constraints: 68840
3104.48/3113.82 c #Conflicts: 1575000 | #Constraints: 69840
3104.48/3113.82 c #Conflicts: 1576000 | #Constraints: 70840
3104.48/3113.82 c #Conflicts: 1577000 | #Constraints: 71840
3104.48/3113.82 c #Conflicts: 1578000 | #Constraints: 72841
3104.48/3113.82 c #Conflicts: 1579000 | #Constraints: 73841
3104.48/3113.82 c #Conflicts: 1580000 | #Constraints: 74841
3104.48/3113.82 c #Conflicts: 1581000 | #Constraints: 75841
3104.48/3113.82 c #Conflicts: 1582000 | #Constraints: 76841
3104.48/3113.82 c #Conflicts: 1583000 | #Constraints: 77841
3104.48/3113.82 c #Conflicts: 1584000 | #Constraints: 78841
3104.48/3113.82 c INPROCESSING
3104.48/3113.82 c GARBAGE COLLECT
3104.48/3113.82 c #Conflicts: 1585000 | #Constraints: 43725
3104.48/3113.82 c #Conflicts: 1586000 | #Constraints: 44725
3104.48/3113.82 c #Conflicts: 1587000 | #Constraints: 45725
3104.48/3113.82 c #Conflicts: 1588000 | #Constraints: 46725
3104.48/3113.82 c #Conflicts: 1589000 | #Constraints: 47725
3104.48/3113.82 c #Conflicts: 1590000 | #Constraints: 48725
3104.48/3113.82 c #Conflicts: 1591000 | #Constraints: 49725
3104.48/3113.82 c #Conflicts: 1592000 | #Constraints: 50725
3104.48/3113.82 c #Conflicts: 1593000 | #Constraints: 51725
3104.48/3113.82 c #Conflicts: 1594000 | #Constraints: 52725
3104.48/3113.82 c #Conflicts: 1595000 | #Constraints: 53725
3104.48/3113.82 c #Conflicts: 1596000 | #Constraints: 54725
3104.48/3113.82 c #Conflicts: 1597000 | #Constraints: 55725
3104.48/3113.82 c #Conflicts: 1598000 | #Constraints: 56725
3104.48/3113.82 c #Conflicts: 1599000 | #Constraints: 57725
3104.48/3113.82 c #Conflicts: 1600000 | #Constraints: 58725
3104.48/3113.82 c #Conflicts: 1601000 | #Constraints: 59725
3104.48/3113.82 c #Conflicts: 1602000 | #Constraints: 60725
3104.48/3113.82 c #Conflicts: 1603000 | #Constraints: 61725
3104.48/3113.82 c #Conflicts: 1604000 | #Constraints: 62725
3104.48/3113.82 c #Conflicts: 1605000 | #Constraints: 63725
3104.48/3113.82 c #Conflicts: 1606000 | #Constraints: 64725
3104.48/3113.82 c #Conflicts: 1607000 | #Constraints: 65725
3104.48/3113.82 c #Conflicts: 1608000 | #Constraints: 66725
3104.48/3113.82 c #Conflicts: 1609000 | #Constraints: 67725
3104.48/3113.82 c #Conflicts: 1610000 | #Constraints: 68725
3104.48/3113.82 c #Conflicts: 1611000 | #Constraints: 69725
3104.48/3113.82 c INPROCESSING
3104.48/3113.82 c GARBAGE COLLECT
3104.48/3113.82 c #Conflicts: 1612000 | #Constraints: 38743
3104.48/3113.82 c #Conflicts: 1613000 | #Constraints: 39743
3104.48/3113.82 c #Conflicts: 1614000 | #Constraints: 40743
3104.48/3113.82 c #Conflicts: 1615000 | #Constraints: 41743
3104.48/3113.82 c #Conflicts: 1616000 | #Constraints: 42743
3104.48/3113.82 c #Conflicts: 1617000 | #Constraints: 43743
3104.48/3113.82 c #Conflicts: 1618000 | #Constraints: 44743
3104.48/3113.82 c #Conflicts: 1619000 | #Constraints: 45743
3104.48/3113.82 c #Conflicts: 1620000 | #Constraints: 46743
3104.48/3113.82 c #Conflicts: 1621000 | #Constraints: 47743
3104.48/3113.82 c #Conflicts: 1622000 | #Constraints: 48743
3104.48/3113.82 c #Conflicts: 1623000 | #Constraints: 49743
3104.48/3113.82 c #Conflicts: 1624000 | #Constraints: 50743
3104.48/3113.82 c #Conflicts: 1625000 | #Constraints: 51743
3104.48/3113.82 c #Conflicts: 1626000 | #Constraints: 52743
3104.48/3113.82 c #Conflicts: 1627000 | #Constraints: 53743
3104.48/3113.82 c #Conflicts: 1628000 | #Constraints: 54743
3104.48/3113.82 c #Conflicts: 1629000 | #Constraints: 55743
3104.48/3113.82 c #Conflicts: 1630000 | #Constraints: 56743
3104.48/3113.82 c #Conflicts: 1631000 | #Constraints: 57743
3104.48/3113.82 c #Conflicts: 1632000 | #Constraints: 58743
3104.48/3113.82 c #Conflicts: 1633000 | #Constraints: 59743
3104.48/3113.82 c #Conflicts: 1634000 | #Constraints: 60743
3213.67/3223.38 c #Conflicts: 1635000 | #Constraints: 61743
3213.67/3223.38 c #Conflicts: 1636000 | #Constraints: 62743
3213.67/3223.38 c #Conflicts: 1637000 | #Constraints: 63743
3213.67/3223.38 c #Conflicts: 1638000 | #Constraints: 64743
3213.67/3223.38 c #Conflicts: 1639000 | #Constraints: 65743
3213.67/3223.38 c #Conflicts: 1640000 | #Constraints: 66743
3213.67/3223.38 c INPROCESSING
3213.67/3223.38 c GARBAGE COLLECT
3213.67/3223.38 c #Conflicts: 1641000 | #Constraints: 37674
3213.67/3223.38 c #Conflicts: 1642000 | #Constraints: 38674
3213.67/3223.38 c #Conflicts: 1643000 | #Constraints: 39674
3213.67/3223.38 c #Conflicts: 1644000 | #Constraints: 40674
3213.67/3223.38 c #Conflicts: 1645000 | #Constraints: 41674
3213.67/3223.38 c #Conflicts: 1646000 | #Constraints: 42674
3213.67/3223.38 c #Conflicts: 1647000 | #Constraints: 43674
3213.67/3223.38 c #Conflicts: 1648000 | #Constraints: 44674
3213.67/3223.38 c #Conflicts: 1649000 | #Constraints: 45674
3213.67/3223.38 c #Conflicts: 1650000 | #Constraints: 46674
3213.67/3223.38 c #Conflicts: 1651000 | #Constraints: 47674
3213.67/3223.38 c #Conflicts: 1652000 | #Constraints: 48674
3213.67/3223.38 c #Conflicts: 1653000 | #Constraints: 49674
3213.67/3223.38 c #Conflicts: 1654000 | #Constraints: 50674
3213.67/3223.38 c #Conflicts: 1655000 | #Constraints: 51674
3213.67/3223.38 c #Conflicts: 1656000 | #Constraints: 52674
3213.67/3223.38 c #Conflicts: 1657000 | #Constraints: 53674
3213.67/3223.38 c #Conflicts: 1658000 | #Constraints: 54674
3213.67/3223.38 c #Conflicts: 1659000 | #Constraints: 55674
3213.67/3223.38 c #Conflicts: 1660000 | #Constraints: 56674
3213.67/3223.38 c #Conflicts: 1661000 | #Constraints: 57674
3213.67/3223.38 c #Conflicts: 1662000 | #Constraints: 58674
3213.67/3223.38 c #Conflicts: 1663000 | #Constraints: 59674
3213.67/3223.38 c #Conflicts: 1664000 | #Constraints: 60674
3213.67/3223.38 c #Conflicts: 1665000 | #Constraints: 61674
3213.67/3223.38 c #Conflicts: 1666000 | #Constraints: 62674
3213.67/3223.38 c #Conflicts: 1667000 | #Constraints: 63674
3213.67/3223.38 c #Conflicts: 1668000 | #Constraints: 64674
3213.67/3223.38 c INPROCESSING
3213.67/3223.38 c GARBAGE COLLECT
3213.67/3223.38 c #Conflicts: 1669000 | #Constraints: 36464
3213.67/3223.38 c #Conflicts: 1670000 | #Constraints: 37464
3213.67/3223.38 c #Conflicts: 1671000 | #Constraints: 38464
3213.67/3223.38 c #Conflicts: 1672000 | #Constraints: 39464
3213.67/3223.38 c #Conflicts: 1673000 | #Constraints: 40464
3213.67/3223.38 c #Conflicts: 1674000 | #Constraints: 41464
3213.67/3223.38 c #Conflicts: 1675000 | #Constraints: 42464
3213.67/3223.38 c #Conflicts: 1676000 | #Constraints: 43464
3213.67/3223.38 c #Conflicts: 1677000 | #Constraints: 44464
3213.67/3223.38 c #Conflicts: 1678000 | #Constraints: 45464
3213.67/3223.38 c #Conflicts: 1679000 | #Constraints: 46464
3213.67/3223.38 c #Conflicts: 1680000 | #Constraints: 47464
3213.67/3223.38 c #Conflicts: 1681000 | #Constraints: 48464
3213.67/3223.38 c #Conflicts: 1682000 | #Constraints: 49464
3213.67/3223.38 c #Conflicts: 1683000 | #Constraints: 50464
3213.67/3223.38 c #Conflicts: 1684000 | #Constraints: 51464
3213.67/3223.38 c #Conflicts: 1685000 | #Constraints: 52464
3213.67/3223.38 c #Conflicts: 1686000 | #Constraints: 53464
3213.67/3223.38 c #Conflicts: 1687000 | #Constraints: 54464
3213.67/3223.38 c #Conflicts: 1688000 | #Constraints: 55464
3213.67/3223.38 c #Conflicts: 1689000 | #Constraints: 56464
3213.67/3223.38 c #Conflicts: 1690000 | #Constraints: 57464
3213.67/3223.38 c #Conflicts: 1691000 | #Constraints: 58464
3213.67/3223.38 c #Conflicts: 1692000 | #Constraints: 59464
3213.67/3223.39 c #Conflicts: 1693000 | #Constraints: 60464
3213.67/3223.39 c #Conflicts: 1694000 | #Constraints: 61464
3213.67/3223.39 c #Conflicts: 1695000 | #Constraints: 62464
3213.67/3223.39 c #Conflicts: 1696000 | #Constraints: 63464
3213.67/3223.39 c INPROCESSING
3213.67/3223.39 c GARBAGE COLLECT
3213.67/3223.39 c rational objective 84
3342.68/3352.71 c #Conflicts: 1697000 | #Constraints: 35594
3342.68/3352.71 c #Conflicts: 1698000 | #Constraints: 36594
3342.68/3352.71 c #Conflicts: 1699000 | #Constraints: 37594
3342.68/3352.71 c #Conflicts: 1700000 | #Constraints: 38594
3342.68/3352.71 c #Conflicts: 1701000 | #Constraints: 39595
3342.68/3352.71 c #Conflicts: 1702000 | #Constraints: 40595
3342.68/3352.71 c #Conflicts: 1703000 | #Constraints: 41595
3342.68/3352.71 c #Conflicts: 1704000 | #Constraints: 42595
3342.68/3352.71 c #Conflicts: 1705000 | #Constraints: 43595
3342.68/3352.71 c #Conflicts: 1706000 | #Constraints: 44595
3342.68/3352.71 c #Conflicts: 1707000 | #Constraints: 45595
3342.68/3352.71 c #Conflicts: 1708000 | #Constraints: 46595
3342.68/3352.71 c #Conflicts: 1709000 | #Constraints: 47595
3342.68/3352.71 c #Conflicts: 1710000 | #Constraints: 48595
3342.68/3352.71 c #Conflicts: 1711000 | #Constraints: 49595
3342.68/3352.71 c #Conflicts: 1712000 | #Constraints: 50595
3342.68/3352.71 c #Conflicts: 1713000 | #Constraints: 51595
3342.68/3352.71 c #Conflicts: 1714000 | #Constraints: 52595
3342.68/3352.71 c #Conflicts: 1715000 | #Constraints: 53595
3342.68/3352.71 c #Conflicts: 1716000 | #Constraints: 54595
3342.68/3352.71 c #Conflicts: 1717000 | #Constraints: 55595
3342.68/3352.71 c #Conflicts: 1718000 | #Constraints: 56595
3342.68/3352.71 c #Conflicts: 1719000 | #Constraints: 57595
3342.68/3352.71 c #Conflicts: 1720000 | #Constraints: 58595
3342.68/3352.71 c #Conflicts: 1721000 | #Constraints: 59595
3342.68/3352.71 c #Conflicts: 1722000 | #Constraints: 60595
3342.68/3352.71 c #Conflicts: 1723000 | #Constraints: 61595
3342.68/3352.71 c #Conflicts: 1724000 | #Constraints: 62595
3342.68/3352.71 c #Conflicts: 1725000 | #Constraints: 63595
3342.68/3352.71 c INPROCESSING
3342.68/3352.71 c GARBAGE COLLECT
3342.68/3352.71 c #Conflicts: 1726000 | #Constraints: 35848
3342.68/3352.71 c #Conflicts: 1727000 | #Constraints: 36848
3342.68/3352.71 c #Conflicts: 1728000 | #Constraints: 37848
3342.68/3352.71 c #Conflicts: 1729000 | #Constraints: 38848
3342.68/3352.71 c #Conflicts: 1730000 | #Constraints: 39848
3342.68/3352.71 c #Conflicts: 1731000 | #Constraints: 40848
3342.68/3352.71 c #Conflicts: 1732000 | #Constraints: 41849
3342.68/3352.71 c #Conflicts: 1733000 | #Constraints: 42849
3342.68/3352.71 c #Conflicts: 1734000 | #Constraints: 43849
3342.68/3352.71 c #Conflicts: 1735000 | #Constraints: 44849
3342.68/3352.71 c #Conflicts: 1736000 | #Constraints: 45849
3342.68/3352.71 c #Conflicts: 1737000 | #Constraints: 46849
3342.68/3352.71 c #Conflicts: 1738000 | #Constraints: 47849
3342.68/3352.71 c #Conflicts: 1739000 | #Constraints: 48849
3342.68/3352.71 c #Conflicts: 1740000 | #Constraints: 49849
3342.68/3352.71 c #Conflicts: 1741000 | #Constraints: 50849
3342.68/3352.71 c #Conflicts: 1742000 | #Constraints: 51849
3342.68/3352.71 c #Conflicts: 1743000 | #Constraints: 52849
3342.68/3352.71 c #Conflicts: 1744000 | #Constraints: 53849
3342.68/3352.71 c #Conflicts: 1745000 | #Constraints: 54849
3342.68/3352.71 c #Conflicts: 1746000 | #Constraints: 55849
3342.68/3352.71 c #Conflicts: 1747000 | #Constraints: 56849
3342.68/3352.71 c #Conflicts: 1748000 | #Constraints: 57849
3342.68/3352.71 c #Conflicts: 1749000 | #Constraints: 58849
3342.68/3352.71 c #Conflicts: 1750000 | #Constraints: 59849
3342.68/3352.71 c #Conflicts: 1751000 | #Constraints: 60849
3342.68/3352.71 c #Conflicts: 1752000 | #Constraints: 61849
3342.68/3352.71 c #Conflicts: 1753000 | #Constraints: 62849
3342.68/3352.71 c #Conflicts: 1754000 | #Constraints: 63849
3342.68/3352.71 c #Conflicts: 1755000 | #Constraints: 64849
3342.68/3352.71 c #Conflicts: 1756000 | #Constraints: 65849
3342.68/3352.71 c #Conflicts: 1757000 | #Constraints: 66849
3342.68/3352.71 c #Conflicts: 1758000 | #Constraints: 67849
3342.68/3352.71 c #Conflicts: 1759000 | #Constraints: 68849
3342.68/3352.71 c #Conflicts: 1760000 | #Constraints: 69849
3342.68/3352.71 c #Conflicts: 1761000 | #Constraints: 70849
3342.68/3352.71 c #Conflicts: 1762000 | #Constraints: 71849
3342.68/3352.71 c #Conflicts: 1763000 | #Constraints: 72849
3342.68/3352.71 c #Conflicts: 1764000 | #Constraints: 73849
3342.68/3352.71 c #Conflicts: 1765000 | #Constraints: 74849
3342.68/3352.71 c #Conflicts: 1766000 | #Constraints: 75849
3342.68/3352.71 c #Conflicts: 1767000 | #Constraints: 76849
3342.68/3352.71 c #Conflicts: 1768000 | #Constraints: 77849
3342.68/3352.71 c #Conflicts: 1769000 | #Constraints: 78849
3342.68/3352.71 c #Conflicts: 1770000 | #Constraints: 79849
3342.68/3352.71 c #Conflicts: 1771000 | #Constraints: 80849
3342.68/3352.71 c #Conflicts: 1772000 | #Constraints: 81849
3342.68/3352.71 c #Conflicts: 1773000 | #Constraints: 82849
3342.68/3352.71 c #Conflicts: 1774000 | #Constraints: 83849
3342.68/3352.71 c #Conflicts: 1775000 | #Constraints: 84849
3581.33/3592.11 c #Conflicts: 1776000 | #Constraints: 85849
3581.33/3592.11 c #Conflicts: 1777000 | #Constraints: 86849
3581.33/3592.11 c #Conflicts: 1778000 | #Constraints: 87849
3581.33/3592.11 c #Conflicts: 1779000 | #Constraints: 88849
3581.33/3592.11 c #Conflicts: 1780000 | #Constraints: 89849
3581.33/3592.11 c #Conflicts: 1781000 | #Constraints: 90849
3581.33/3592.11 c #Conflicts: 1782000 | #Constraints: 91849
3581.33/3592.11 c #Conflicts: 1783000 | #Constraints: 92849
3581.33/3592.11 c #Conflicts: 1784000 | #Constraints: 93849
3581.33/3592.11 c #Conflicts: 1785000 | #Constraints: 94849
3581.33/3592.11 c #Conflicts: 1786000 | #Constraints: 95849
3581.33/3592.11 c #Conflicts: 1787000 | #Constraints: 96849
3581.33/3592.11 c #Conflicts: 1788000 | #Constraints: 97849
3581.33/3592.11 c #Conflicts: 1789000 | #Constraints: 98849
3581.33/3592.11 c #Conflicts: 1790000 | #Constraints: 99849
3581.33/3592.11 c #Conflicts: 1791000 | #Constraints: 100849
3581.33/3592.11 c #Conflicts: 1792000 | #Constraints: 101849
3581.33/3592.11 c #Conflicts: 1793000 | #Constraints: 102849
3581.33/3592.11 c #Conflicts: 1794000 | #Constraints: 103849
3581.33/3592.11 c #Conflicts: 1795000 | #Constraints: 104849
3581.33/3592.11 c #Conflicts: 1796000 | #Constraints: 105849
3581.33/3592.11 c #Conflicts: 1797000 | #Constraints: 106849
3581.33/3592.11 c #Conflicts: 1798000 | #Constraints: 107849
3581.33/3592.11 c #Conflicts: 1799000 | #Constraints: 108849
3581.33/3592.11 c #Conflicts: 1800000 | #Constraints: 109849
3581.33/3592.11 c #Conflicts: 1801000 | #Constraints: 110849
3581.33/3592.11 c #Conflicts: 1802000 | #Constraints: 111849
3581.33/3592.11 c #Conflicts: 1803000 | #Constraints: 112849
3581.33/3592.11 c #Conflicts: 1804000 | #Constraints: 113849
3581.33/3592.11 c #Conflicts: 1805000 | #Constraints: 114849
3581.33/3592.11 c #Conflicts: 1806000 | #Constraints: 115849
3581.33/3592.11 c #Conflicts: 1807000 | #Constraints: 116849
3581.33/3592.11 c #Conflicts: 1808000 | #Constraints: 117849
3581.33/3592.11 c #Conflicts: 1809000 | #Constraints: 118849
3581.33/3592.11 c #Conflicts: 1810000 | #Constraints: 119849
3581.33/3592.11 c #Conflicts: 1811000 | #Constraints: 120849
3581.33/3592.11 c #Conflicts: 1812000 | #Constraints: 121849
3581.33/3592.11 c #Conflicts: 1813000 | #Constraints: 122849
3581.33/3592.11 c #Conflicts: 1814000 | #Constraints: 123849
3581.33/3592.11 c #Conflicts: 1815000 | #Constraints: 124849
3581.33/3592.11 c #Conflicts: 1816000 | #Constraints: 125849
3581.33/3592.11 c #Conflicts: 1817000 | #Constraints: 126849
3581.33/3592.11 c #Conflicts: 1818000 | #Constraints: 127849
3581.33/3592.11 c #Conflicts: 1819000 | #Constraints: 128849
3581.33/3592.11 c #Conflicts: 1820000 | #Constraints: 129849
3581.33/3592.11 c #Conflicts: 1821000 | #Constraints: 130849
3581.33/3592.11 c #Conflicts: 1822000 | #Constraints: 131849
3581.33/3592.11 c #Conflicts: 1823000 | #Constraints: 132849
3581.33/3592.11 c #Conflicts: 1824000 | #Constraints: 133849
3581.33/3592.11 c #Conflicts: 1825000 | #Constraints: 134849
3581.33/3592.11 c #Conflicts: 1826000 | #Constraints: 135849
3581.33/3592.11 c #Conflicts: 1827000 | #Constraints: 136849
3581.33/3592.11 c #Conflicts: 1828000 | #Constraints: 137849
3581.33/3592.11 c #Conflicts: 1829000 | #Constraints: 138849
3581.33/3592.11 c #Conflicts: 1830000 | #Constraints: 139849
3581.33/3592.11 c #Conflicts: 1831000 | #Constraints: 140849
3581.33/3592.11 c INPROCESSING
3581.33/3592.11 c GARBAGE COLLECT
3581.33/3592.11 c rational objective 84
3600.05/3610.90 c #Conflicts: 1832000 | #Constraints: 74290
3600.05/3610.90 c #Conflicts: 1833000 | #Constraints: 75290
3600.05/3610.90 c #Conflicts: 1834000 | #Constraints: 76290
3600.05/3610.90 c #Conflicts: 1835000 | #Constraints: 77290
3600.05/3610.90 c #Conflicts: 1836000 | #Constraints: 78290
3600.05/3610.90 c #Conflicts: 1837000 | #Constraints: 79290
3600.05/3610.90 c #Conflicts: 1838000 | #Constraints: 80290
3600.05/3610.90 c cpu time 3583.78 s
3600.05/3610.90 c deterministic time 256377202990 2.56e+11
3600.05/3610.90 c optimization time 17.5613 s
3600.05/3610.90 c total solve time 3566.14 s
3600.05/3610.90 c core-guided solve time 0 s
3600.05/3610.90 c propagation time 1949.31 s
3600.05/3610.90 c conflict analysis time 1439.6 s
3600.05/3610.90 c propagations 916096577
3600.05/3610.90 c resolve steps 86929912
3600.05/3610.90 c decisions 11705521
3600.05/3610.90 c conflicts 1838451
3600.05/3610.90 c restarts 3579
3600.05/3610.90 c inprocessing phases 86
3600.05/3610.90 c garbage collections 86 ,( 100.00 )
3600.05/3610.90 c input clauses 5798 ,( 98.57 )
3600.05/3610.90 c input cardinalities 84 ,( 1.43 )
3600.05/3610.90 c input general constraints 0 ,( 0.00 )
3600.05/3610.90 c input average constraint length 6.23
3600.05/3610.90 c input average constraint degree 1.94
3600.05/3610.90 c learned clauses 1441151 ,( 78.39 )
3600.05/3610.90 c learned cardinalities 28651 ,( 1.56 )
3600.05/3610.90 c learned general constraints 368673 ,( 20.05 )
3600.05/3610.90 c learned average constraint length 681.87
3600.05/3610.90 c learned average constraint degree 8869300.20
3600.05/3610.90 c watched CF 32, 64, 128, Arb: 127840 , 0 , 0 , 0
3600.05/3610.90 c counting CF 32, 64, 128, Arb: 240833 , 0 , 0 , 0
3600.05/3610.90 c watched constraints 127840 ,( 34.68 )
3600.05/3610.90 c counting constraints 240833 ,( 65.32 )
3600.05/3610.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1576800086 , 627998669 , 3371615373 ,( 159121573 , 3212493800 )
3600.05/3610.90 c gcd simplifications 1153
3600.05/3610.90 c detected cardinalities 1502
3600.05/3610.90 c weakened non-implied lits 356509163
3600.05/3610.90 c weakened non-implying lits 240458
3600.05/3610.90 c original variables 5712
3600.05/3610.90 c clausal propagations 348455789
3600.05/3610.90 c cardinality propagations 335508101
3600.05/3610.90 c watched propagations 4751916
3600.05/3610.90 c counting propagations 221472923
3600.05/3610.90 c watch lookups 142373406264
3600.05/3610.90 c watch backjump lookups 0
3600.05/3610.90 c watch checks 41581436657
3600.05/3610.90 c propagation checks 66102872500
3600.05/3610.90 c constraint additions 4461673147
3600.05/3610.90 c trail pops 929635667
3600.05/3610.90 c formula constraints 5882
3600.05/3610.90 c learned constraints 1838438
3600.05/3610.90 c bound constraints 0
3600.05/3610.90 c core-guided constraints 0
3600.05/3610.90 c encountered formula constraints 52874185
3600.05/3610.90 c encountered learned constraints 35894087
3600.05/3610.90 c encountered bound constraints 0
3600.05/3610.90 c encountered core-guided constraints 0
3600.05/3610.90 c LP total time 151.187 s
3600.05/3610.90 c LP solve time 134.11 s
3600.05/3610.90 c LP constraints added 7419
3600.05/3610.90 c LP constraints removed 1395
3600.05/3610.90 c LP pivots internal 184456
3600.05/3610.90 c LP pivots root 192200
3600.05/3610.90 c LP calls 41
3600.05/3610.90 c LP optimalities 24
3600.05/3610.90 c LP no pivot count 2
3600.05/3610.90 c LP infeasibilities 12
3600.05/3610.90 c LP valid Farkas constraints 12
3600.05/3610.90 c LP learned Farkas constraints 12
3600.05/3610.90 c LP basis resets 0
3600.05/3610.90 c LP cycling count 0
3600.05/3610.90 c LP singular count 0
3600.05/3610.90 c LP no primal count 0
3600.05/3610.90 c LP no farkas count 0
3600.05/3610.90 c LP other issue count 0
3600.05/3610.90 c LP Gomory cuts 13
3600.05/3610.90 c LP learned cuts 1614
3600.05/3610.90 c LP deleted cuts 1512
3600.05/3610.90 c LP encountered Gomory constraints 0
3600.05/3610.90 c LP encountered Farkas constraints 62
3600.05/3610.90 c LP encountered learned Farkas constraints 17
3600.05/3610.90 c CG auxiliary variables introduced 0
3600.05/3610.90 c CG solutions found 0
3600.05/3610.90 c CG cores constructed 0
3600.05/3610.90 c CG core cardinality constraints returned 0
3600.05/3610.90 c CG unit cores 0
3600.05/3610.90 c CG single cores 0
3600.05/3610.90 c CG blocks removed during cardinality reduction 0
3600.05/3610.90 c CG first core best 0
3600.05/3610.90 c CG decision core best 0
3600.05/3610.90 c CG core reduction tie 0
3600.05/3610.90 c CG core degree average 0.00
3600.05/3610.90 c CG core slack average 0.00
3600.05/3610.90 c CG core upper bound improvements 0
3600.05/3610.90 c STR number of successful calls 0
3600.05/3610.90 c STR number of unsuccessful calls 0
3600.05/3610.90 c STR number of inconclusive calls 0
3600.05/3610.90 c STR number of successful attempts 0
3600.05/3610.90 c STR number of unsuccessful attempts 0
3600.05/3610.90 c STR number of inconclusive attempts 0
3600.05/3610.90 c STR average degree increase per successful call inf
3600.05/3610.90 c STR average degree increase per successful attempt inf
3600.05/3610.90 c STR total number of conflicts for successful attempts 0
3600.05/3610.90 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.90 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.90 c STR average number of conflicts per successful attempt inf
3600.05/3610.90 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.90 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.90 c AVG.sumWPerc 58.04
3600.05/3610.90 c bigint constraints 0
3600.05/3610.90 s UNKNOWN
3600.05/3610.90 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: 63794 MiB (62951 MiB free)
memory of node 1: 64507 MiB (63485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507338-1751176625/watcher-4507338-1751176625 -o /tmp/evaluation-result-4507338-1751176625/solver-4507338-1751176625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20701 --watchdog 3760 run-dec-ls.sh HOME/instance-4507338-1751176625.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
solver pid=21600, runsolver pid=21597
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.13 4.17 4.20 5/255 21602
/proc/meminfo: memFree=129472356/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=63364 memory=16840 CPUtime=0.08 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 2698 0 0 0 6 2 0 0 20 0 1 0 33341376 64884736 4210 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 15841 4210 2240 1147 0 3268 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67556 KiB
Current children cumulated memory: 19784 KiB
[startup+0.217622 s]*
/proc/loadavg: 4.13 4.17 4.20 5/255 21602
/proc/meminfo: memFree=129464228/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=71844 memory=24128 CPUtime=0.19 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 4560 0 0 0 16 3 0 0 20 0 1 0 33341376 73568256 6032 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 17961 6032 2272 1147 0 5388 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76036 KiB
Current children cumulated memory: 27072 KiB
[startup+0.31342 s]*
/proc/loadavg: 4.13 4.17 4.20 5/255 21602
/proc/meminfo: memFree=129464228/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=72236 memory=24640 CPUtime=0.28 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 4697 0 0 0 25 3 0 0 20 0 1 0 33341376 73969664 6160 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 18059 6160 2272 1147 0 5486 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 76428 KiB
Current children cumulated memory: 27584 KiB
[startup+0.700411 s]
/proc/loadavg: 4.13 4.17 4.20 5/255 21602
/proc/meminfo: memFree=129464228/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=72236 memory=24640 CPUtime=0.65 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 4710 0 0 0 62 3 0 0 20 0 1 0 33341376 73969664 6160 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 18059 6160 2272 1147 0 5486 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 76428 KiB
Current children cumulated memory: 27584 KiB
[startup+1.50039 s]
/proc/loadavg: 4.13 4.17 4.20 5/255 21602
/proc/meminfo: memFree=129464228/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=73372 memory=25664 CPUtime=1.46 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 4946 0 0 0 142 4 0 0 20 0 1 0 33341376 75132928 6416 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 18343 6416 2272 1147 0 5770 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 77564 KiB
Current children cumulated memory: 28608 KiB
[startup+3.11298 s]
/proc/loadavg: 4.13 4.17 4.20 5/255 21602
/proc/meminfo: memFree=129464584/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=76256 memory=33108 CPUtime=3.06 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 6243 0 0 0 298 8 0 0 20 0 1 0 33341376 78086144 8277 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 19064 8277 2336 1147 0 6491 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 80448 KiB
Current children cumulated memory: 36052 KiB
[startup+6.3004 s]
/proc/loadavg: 4.12 4.16 4.20 5/255 21602
/proc/meminfo: memFree=129453888/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=84076 memory=38612 CPUtime=6.24 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 7644 0 0 0 609 15 0 0 20 0 1 0 33341376 86093824 9653 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 21019 9653 2336 1147 0 8446 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 88268 KiB
Current children cumulated memory: 41556 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.16 4.19 5/255 21602
/proc/meminfo: memFree=129411232/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=93248 memory=49380 CPUtime=12.63 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 9809 0 0 0 1235 28 0 0 20 0 1 0 33341376 95485952 12345 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 23312 12345 2336 1147 0 10739 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 97440 KiB
Current children cumulated memory: 52324 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.17 4.20 5/255 21602
/proc/meminfo: memFree=129374888/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=96612 memory=52708 CPUtime=25.39 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 10654 0 0 0 2490 49 0 0 20 0 1 0 33341376 98930688 13177 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 24153 13177 2336 1147 0 11580 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 100804 KiB
Current children cumulated memory: 55652 KiB
[startup+51.1131 s]
/proc/loadavg: 4.11 4.16 4.19 5/254 21603
/proc/meminfo: memFree=129335268/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=117728 memory=74340 CPUtime=50.93 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 16008 0 0 0 5004 89 0 0 20 0 1 0 33341376 120553472 18585 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 29432 18585 2368 1147 0 16859 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 121920 KiB
Current children cumulated memory: 77284 KiB
[startup+102.3 s]
/proc/loadavg: 4.66 4.30 4.24 5/256 21610
/proc/meminfo: memFree=129175600/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=210368 memory=141756 CPUtime=101.96 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 23689 0 0 0 10049 147 0 0 20 0 1 0 33341376 215416832 35439 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 52592 35439 2368 1147 0 40019 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 214560 KiB
Current children cumulated memory: 144700 KiB
[startup+162.3 s]
/proc/loadavg: 4.53 4.34 4.25 5/256 21612
/proc/meminfo: memFree=129083328/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=230312 memory=177624 CPUtime=161.79 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 28087 0 0 0 15984 195 0 0 20 0 1 0 33341376 235839488 44406 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 57578 44406 2368 1147 0 45005 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 234504 KiB
Current children cumulated memory: 180568 KiB
[startup+222.3 s]
/proc/loadavg: 4.82 4.45 4.30 5/256 21614
/proc/meminfo: memFree=128984032/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=300500 memory=229136 CPUtime=221.62 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 33276 0 0 0 21928 234 0 0 20 0 1 0 33341376 307712000 57284 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 75125 57284 2368 1147 0 62552 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 304692 KiB
################
# More data... #
################
/proc/21602/statm: 174317 163670 2368 1147 0 161744 0
Current children cumulated CPU time: 3093.01 s
Current children cumulated vsize: 701460 KiB
Current children cumulated memory: 657624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/255 21766
/proc/meminfo: memFree=126717520/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=697268 memory=654680 CPUtime=3152.84 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 73647 0 0 0 313802 1482 0 0 20 0 1 0 33341376 714002432 163670 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 174317 163670 2368 1147 0 161744 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 701460 KiB
Current children cumulated memory: 657624 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/255 21768
/proc/meminfo: memFree=126685328/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=697268 memory=654680 CPUtime=3212.68 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 73690 0 0 0 319755 1513 0 0 20 0 1 0 33341376 714002432 163670 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 174317 163670 2368 1147 0 161744 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 701460 KiB
Current children cumulated memory: 657624 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.90 4.07 2/234 21863
/proc/meminfo: memFree=129673744/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=697268 memory=654680 CPUtime=3272.51 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 73690 0 0 0 325703 1548 0 0 20 0 1 0 33341376 714002432 163670 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 174317 163670 2368 1147 0 161744 0
Current children cumulated CPU time: 3272.51 s
Current children cumulated vsize: 701460 KiB
Current children cumulated memory: 657624 KiB
[startup+3342.3 s]
/proc/loadavg: 1.90 3.40 3.88 2/233 21865
/proc/meminfo: memFree=129685140/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=697268 memory=654680 CPUtime=3332.31 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 73726 0 0 0 331661 1570 0 0 20 0 1 0 33341376 714002432 163670 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 174317 163670 2368 1147 0 161744 0
Current children cumulated CPU time: 3332.31 s
Current children cumulated vsize: 701460 KiB
Current children cumulated memory: 657624 KiB
[startup+3402.3 s]
/proc/loadavg: 1.39 2.98 3.71 2/234 21868
/proc/meminfo: memFree=129684136/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=697268 memory=654680 CPUtime=3392.12 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 73762 0 0 0 337628 1584 0 0 20 0 1 0 33341376 714002432 163670 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 174317 163670 2368 1147 0 161744 0
Current children cumulated CPU time: 3392.12 s
Current children cumulated vsize: 701460 KiB
Current children cumulated memory: 657624 KiB
[startup+3462.3 s]
/proc/loadavg: 1.18 2.63 3.54 2/233 21870
/proc/meminfo: memFree=129684136/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=697268 memory=654680 CPUtime=3451.93 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 73786 0 0 0 343596 1597 0 0 20 0 1 0 33341376 714002432 163670 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 174317 163670 2368 1147 0 161744 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 701460 KiB
Current children cumulated memory: 657624 KiB
[startup+3522.3 s]
/proc/loadavg: 1.17 2.36 3.39 2/233 21872
/proc/meminfo: memFree=129672040/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=702740 memory=658008 CPUtime=3511.74 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 74621 0 0 0 349566 1608 0 0 20 0 1 0 33341376 719605760 164502 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 175685 164502 2368 1147 0 163112 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 706932 KiB
Current children cumulated memory: 660952 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 2.14 3.25 2/233 21874
/proc/meminfo: memFree=129643496/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=927008 memory=685264 CPUtime=3571.54 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 76338 0 0 0 355537 1617 0 0 20 0 1 0 33341376 949256192 171316 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 231752 171316 2368 1147 0 219179 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 931200 KiB
Current children cumulated memory: 688208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 1.17 2.05 3.18 2/233 21874
/proc/meminfo: memFree=129639400/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=930980 memory=694656 CPUtime=3600.05 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 77153 0 0 0 358377 1628 0 0 20 0 1 0 33341376 953323520 173664 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 232745 173664 2368 1147 0 220172 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 935172 KiB
Current children cumulated memory: 697600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 21600 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.004978 s
[startup+3610.91 s]
# the end of solver process 21602 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.78 s, system=16.2929 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 1.17 2.05 3.18 2/233 21874
/proc/meminfo: memFree=129639400/131382112 swapFree=33010684/33010684
[pid=21600] ppid=21597 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21600/stat : 21600 (run-dec-ls.sh) S 21597 21600 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33341375 4292608 736 18446744073709551615 94434230435840 94434231330373 140724321132096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434231569424 94434231617168 94434264354816 140724321139047 140724321139173 140724321139173 140724321144775 0
/proc/21600/statm: 1048 736 672 219 0 110 0
[pid=21602] ppid=21600 vsize=930980 memory=694656 CPUtime=3600.05 cores=0,2
/proc/21602/stat : 21602 (roundingsat) R 21600 21600 20691 0 -1 4194304 77153 0 0 0 358377 1628 0 0 20 0 1 0 33341376 953323520 173664 18446744073709551615 4227072 8923433 140722110357056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10059776 140722110364064 140722110364200 140722110364200 140722110369770 0
/proc/21602/statm: 232745 173664 2368 1147 0 220172 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 935172 KiB
Current children cumulated memory: 697600 KiB
Child status: 2
Real time (s): 3610.91
CPU time (s): 3600.08
CPU user time (s): 3583.78
CPU system time (s): 16.2929
CPU usage (%): 99.7
Max. virtual memory (cumulated for all children) (KiB): 935172
Max. memory (cumulated for all children) (KiB): 697600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.78
system time used= 16.2929
maximum resident set size= 695040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 312
involuntary context switches= 7982
# summary of solver processes directly reported to runsolver:
# pid: 21600,21602
# total CPU time (s): 3600.08
# total CPU user time (s): 3583.78
# total CPU system time (s): 16.2929
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7619 second user time and 31.4892 second system time
The end
Begin job on nodeC001 at 2025-06-29 07:57:05
IDJOB=4507338
IDBENCH=158343
IDSOLVER=3353
FILE ID=nodeC001/4507338-1751176625
RUNJOBID= nodeC001-1751169047-20701
SLURM_JOB_ID= 9587516
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507338-1751176625/watcher-4507338-1751176625 -o /tmp/evaluation-result-4507338-1751176625/solver-4507338-1751176625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20701 --watchdog 3760 run-dec-ls.sh HOME/instance-4507338-1751176625.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e
RANDOM SEED=1035645472
nodeC001 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 : 0xb00001f
cpu MHz : 3491.748
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3660.850
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.559
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.573
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3660.295
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3592.133
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.254
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.588
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129472484 kB
MemAvailable: 129125388 kB
Buffers: 3280 kB
Cached: 464240 kB
SwapCached: 0 kB
Active: 1137860 kB
Inactive: 219296 kB
Active(anon): 907600 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 219296 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7488 kB
Writeback: 0 kB
AnonPages: 892644 kB
Mapped: 115824 kB
Shmem: 17960 kB
KReclaimable: 85568 kB
Slab: 166224 kB
SReclaimable: 85568 kB
SUnreclaim: 80656 kB
KernelStack: 4092 kB
PageTables: 4748 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1385948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 155648 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC001 at 2025-06-29 08:57:16