0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.06 c #variables 5712 #constraints 5882
36.78/36.93 c #Conflicts: 1000 | #Constraints: 6881
36.78/36.93 c #Conflicts: 2000 | #Constraints: 7881
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 3000 | #Constraints: 7565
36.78/36.93 c #Conflicts: 4000 | #Constraints: 8565
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 5000 | #Constraints: 8022
36.78/36.93 c #Conflicts: 6000 | #Constraints: 9022
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 7000 | #Constraints: 8086
36.78/36.93 c #Conflicts: 8000 | #Constraints: 9086
36.78/36.93 c #Conflicts: 9000 | #Constraints: 10086
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 10000 | #Constraints: 8798
36.78/36.93 c #Conflicts: 11000 | #Constraints: 9798
36.78/36.93 c #Conflicts: 12000 | #Constraints: 10798
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 13000 | #Constraints: 9283
36.78/36.93 c #Conflicts: 14000 | #Constraints: 10283
36.78/36.93 c #Conflicts: 15000 | #Constraints: 11283
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 16000 | #Constraints: 9572
36.78/36.93 c #Conflicts: 17000 | #Constraints: 10572
36.78/36.93 c #Conflicts: 18000 | #Constraints: 11572
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 19000 | #Constraints: 9622
36.78/36.93 c #Conflicts: 20000 | #Constraints: 10622
36.78/36.93 c #Conflicts: 21000 | #Constraints: 11622
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 22000 | #Constraints: 9426
36.78/36.93 c #Conflicts: 23000 | #Constraints: 10426
36.78/36.93 c #Conflicts: 24000 | #Constraints: 11426
36.78/36.93 c #Conflicts: 25000 | #Constraints: 12426
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 26000 | #Constraints: 10032
36.78/36.93 c #Conflicts: 27000 | #Constraints: 11032
36.78/36.93 c #Conflicts: 28000 | #Constraints: 12032
36.78/36.93 c #Conflicts: 29000 | #Constraints: 13032
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 30000 | #Constraints: 10484
36.78/36.93 c #Conflicts: 31000 | #Constraints: 11484
36.78/36.93 c #Conflicts: 32000 | #Constraints: 12484
36.78/36.93 c #Conflicts: 33000 | #Constraints: 13484
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 34000 | #Constraints: 10696
36.78/36.93 c #Conflicts: 35000 | #Constraints: 11696
36.78/36.93 c #Conflicts: 36000 | #Constraints: 12696
36.78/36.93 c #Conflicts: 37000 | #Constraints: 13696
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 38000 | #Constraints: 10719
36.78/36.93 c #Conflicts: 39000 | #Constraints: 11719
36.78/36.93 c #Conflicts: 40000 | #Constraints: 12719
36.78/36.93 c #Conflicts: 41000 | #Constraints: 13719
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 42000 | #Constraints: 10521
36.78/36.93 c #Conflicts: 43000 | #Constraints: 11521
36.78/36.93 c #Conflicts: 44000 | #Constraints: 12521
36.78/36.93 c #Conflicts: 45000 | #Constraints: 13521
36.78/36.93 c #Conflicts: 46000 | #Constraints: 14521
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c #Conflicts: 47000 | #Constraints: 11133
36.78/36.93 c #Conflicts: 48000 | #Constraints: 12133
36.78/36.93 c #Conflicts: 49000 | #Constraints: 13133
36.78/36.93 c #Conflicts: 50000 | #Constraints: 14133
36.78/36.93 c #Conflicts: 51000 | #Constraints: 15133
36.78/36.93 c INPROCESSING
36.78/36.93 c GARBAGE COLLECT
36.78/36.93 c rational objective 84
99.43/99.72 c #Conflicts: 52000 | #Constraints: 11589
99.43/99.72 c #Conflicts: 53000 | #Constraints: 12589
99.43/99.72 c #Conflicts: 54000 | #Constraints: 13589
99.43/99.72 c #Conflicts: 55000 | #Constraints: 14589
99.43/99.72 c #Conflicts: 56000 | #Constraints: 15589
99.43/99.72 c INPROCESSING
99.43/99.72 c GARBAGE COLLECT
99.43/99.72 c #Conflicts: 57000 | #Constraints: 11807
99.43/99.72 c #Conflicts: 58000 | #Constraints: 12807
99.43/99.72 c #Conflicts: 59000 | #Constraints: 13807
99.43/99.72 c #Conflicts: 60000 | #Constraints: 14807
99.43/99.72 c #Conflicts: 61000 | #Constraints: 15807
99.43/99.72 c INPROCESSING
99.43/99.72 c GARBAGE COLLECT
99.43/99.72 c #Conflicts: 62000 | #Constraints: 11783
99.43/99.72 c #Conflicts: 63000 | #Constraints: 12783
99.43/99.72 c #Conflicts: 64000 | #Constraints: 13783
99.43/99.72 c #Conflicts: 65000 | #Constraints: 14783
99.43/99.72 c #Conflicts: 66000 | #Constraints: 15783
99.43/99.72 c INPROCESSING
99.43/99.72 c GARBAGE COLLECT
99.43/99.72 c #Conflicts: 67000 | #Constraints: 11621
99.43/99.72 c #Conflicts: 68000 | #Constraints: 12621
99.43/99.72 c #Conflicts: 69000 | #Constraints: 13621
99.43/99.72 c #Conflicts: 70000 | #Constraints: 14621
99.43/99.72 c #Conflicts: 71000 | #Constraints: 15621
99.43/99.72 c #Conflicts: 72000 | #Constraints: 16621
99.43/99.72 c INPROCESSING
99.43/99.72 c GARBAGE COLLECT
99.43/99.72 c #Conflicts: 73000 | #Constraints: 12222
99.43/99.72 c #Conflicts: 74000 | #Constraints: 13222
99.43/99.72 c #Conflicts: 75000 | #Constraints: 14222
99.43/99.72 c #Conflicts: 76000 | #Constraints: 15222
99.43/99.72 c #Conflicts: 77000 | #Constraints: 16222
99.43/99.72 c #Conflicts: 78000 | #Constraints: 17222
99.43/99.72 c #Conflicts: 79000 | #Constraints: 18222
99.43/99.72 c #Conflicts: 80000 | #Constraints: 19222
99.43/99.72 c #Conflicts: 81000 | #Constraints: 20222
99.43/99.72 c #Conflicts: 82000 | #Constraints: 21222
99.43/99.72 c #Conflicts: 83000 | #Constraints: 22222
99.43/99.72 c #Conflicts: 84000 | #Constraints: 23222
99.43/99.72 c #Conflicts: 85000 | #Constraints: 24222
99.43/99.72 c #Conflicts: 86000 | #Constraints: 25222
99.43/99.72 c #Conflicts: 87000 | #Constraints: 26222
99.43/99.72 c #Conflicts: 88000 | #Constraints: 27222
99.43/99.72 c #Conflicts: 89000 | #Constraints: 28222
99.43/99.72 c #Conflicts: 90000 | #Constraints: 29222
99.43/99.72 c #Conflicts: 91000 | #Constraints: 30222
99.43/99.72 c #Conflicts: 92000 | #Constraints: 31222
99.43/99.72 c #Conflicts: 93000 | #Constraints: 32222
99.43/99.72 c #Conflicts: 94000 | #Constraints: 33222
99.43/99.72 c #Conflicts: 95000 | #Constraints: 34222
99.43/99.72 c #Conflicts: 96000 | #Constraints: 35222
99.43/99.72 c INPROCESSING
99.43/99.72 c GARBAGE COLLECT
99.43/99.72 c #Conflicts: 97000 | #Constraints: 21636
99.43/99.72 c #Conflicts: 98000 | #Constraints: 22636
99.43/99.72 c #Conflicts: 99000 | #Constraints: 23636
99.43/99.72 c #Conflicts: 100000 | #Constraints: 24636
99.43/99.72 c #Conflicts: 101000 | #Constraints: 25637
99.43/99.72 c #Conflicts: 102000 | #Constraints: 26637
99.43/99.72 c INPROCESSING
99.43/99.72 c GARBAGE COLLECT
99.43/99.72 c #Conflicts: 103000 | #Constraints: 16923
99.43/99.72 c #Conflicts: 104000 | #Constraints: 17923
99.43/99.72 c #Conflicts: 105000 | #Constraints: 18923
99.43/99.72 c #Conflicts: 106000 | #Constraints: 19923
99.43/99.72 c #Conflicts: 107000 | #Constraints: 20923
99.43/99.72 c #Conflicts: 108000 | #Constraints: 21923
99.43/99.72 c #Conflicts: 109000 | #Constraints: 22923
99.43/99.72 c #Conflicts: 110000 | #Constraints: 23923
99.43/99.72 c INPROCESSING
99.43/99.72 c GARBAGE COLLECT
99.43/99.72 c #Conflicts: 111000 | #Constraints: 16055
99.43/99.72 c #Conflicts: 112000 | #Constraints: 17055
99.43/99.72 c #Conflicts: 113000 | #Constraints: 18055
99.43/99.72 c #Conflicts: 114000 | #Constraints: 19055
99.43/99.72 c #Conflicts: 115000 | #Constraints: 20055
99.43/99.72 c #Conflicts: 116000 | #Constraints: 21055
99.43/99.72 c #Conflicts: 117000 | #Constraints: 22055
99.43/99.72 c INPROCESSING
99.43/99.72 c GARBAGE COLLECT
99.43/99.72 c #Conflicts: 118000 | #Constraints: 14930
99.43/99.72 c #Conflicts: 119000 | #Constraints: 15930
99.43/99.72 c #Conflicts: 120000 | #Constraints: 16930
99.43/99.72 c #Conflicts: 121000 | #Constraints: 17930
99.43/99.72 c #Conflicts: 122000 | #Constraints: 18930
99.43/99.72 c #Conflicts: 123000 | #Constraints: 19930
99.43/99.72 c #Conflicts: 124000 | #Constraints: 20930
99.43/99.72 c INPROCESSING
99.43/99.72 c GARBAGE COLLECT
99.43/99.72 c #Conflicts: 125000 | #Constraints: 14154
166.47/166.95 c #Conflicts: 126000 | #Constraints: 15154
166.47/166.95 c #Conflicts: 127000 | #Constraints: 16154
166.47/166.95 c #Conflicts: 128000 | #Constraints: 17154
166.47/166.95 c #Conflicts: 129000 | #Constraints: 18154
166.47/166.95 c #Conflicts: 130000 | #Constraints: 19154
166.47/166.95 c #Conflicts: 131000 | #Constraints: 20154
166.47/166.95 c #Conflicts: 132000 | #Constraints: 21154
166.47/166.95 c INPROCESSING
166.47/166.95 c GARBAGE COLLECT
166.47/166.95 c #Conflicts: 133000 | #Constraints: 14390
166.47/166.95 c #Conflicts: 134000 | #Constraints: 15390
166.47/166.95 c #Conflicts: 135000 | #Constraints: 16390
166.47/166.95 c #Conflicts: 136000 | #Constraints: 17390
166.47/166.95 c #Conflicts: 137000 | #Constraints: 18390
166.47/166.95 c #Conflicts: 138000 | #Constraints: 19390
166.47/166.95 c #Conflicts: 139000 | #Constraints: 20390
166.47/166.95 c #Conflicts: 140000 | #Constraints: 21390
166.47/166.95 c #Conflicts: 141000 | #Constraints: 22390
166.47/166.95 c #Conflicts: 142000 | #Constraints: 23390
166.47/166.95 c #Conflicts: 143000 | #Constraints: 24390
166.47/166.95 c #Conflicts: 144000 | #Constraints: 25390
166.47/166.95 c #Conflicts: 145000 | #Constraints: 26390
166.47/166.95 c #Conflicts: 146000 | #Constraints: 27390
166.47/166.95 c #Conflicts: 147000 | #Constraints: 28390
166.47/166.95 c #Conflicts: 148000 | #Constraints: 29390
166.47/166.95 c #Conflicts: 149000 | #Constraints: 30390
166.47/166.95 c #Conflicts: 150000 | #Constraints: 31390
166.47/166.95 c #Conflicts: 151000 | #Constraints: 32390
166.47/166.95 c #Conflicts: 152000 | #Constraints: 33390
166.47/166.95 c #Conflicts: 153000 | #Constraints: 34390
166.47/166.95 c #Conflicts: 154000 | #Constraints: 35390
166.47/166.95 c #Conflicts: 155000 | #Constraints: 36390
166.47/166.95 c #Conflicts: 156000 | #Constraints: 37390
166.47/166.95 c #Conflicts: 157000 | #Constraints: 38390
166.47/166.95 c #Conflicts: 158000 | #Constraints: 39390
166.47/166.95 c #Conflicts: 159000 | #Constraints: 40390
166.47/166.95 c #Conflicts: 160000 | #Constraints: 41390
166.47/166.95 c #Conflicts: 161000 | #Constraints: 42390
166.47/166.95 c #Conflicts: 162000 | #Constraints: 43390
166.47/166.95 c #Conflicts: 163000 | #Constraints: 44390
166.47/166.95 c INPROCESSING
166.47/166.95 c GARBAGE COLLECT
166.47/166.95 c #Conflicts: 164000 | #Constraints: 25930
166.47/166.95 c #Conflicts: 165000 | #Constraints: 26930
166.47/166.95 c #Conflicts: 166000 | #Constraints: 27930
166.47/166.95 c #Conflicts: 167000 | #Constraints: 28930
166.47/166.95 c #Conflicts: 168000 | #Constraints: 29930
166.47/166.95 c #Conflicts: 169000 | #Constraints: 30930
166.47/166.95 c #Conflicts: 170000 | #Constraints: 31930
166.47/166.95 c #Conflicts: 171000 | #Constraints: 32930
166.47/166.95 c #Conflicts: 172000 | #Constraints: 33930
166.47/166.95 c INPROCESSING
166.47/166.95 c GARBAGE COLLECT
166.47/166.95 c #Conflicts: 173000 | #Constraints: 20655
166.47/166.95 c #Conflicts: 174000 | #Constraints: 21655
166.47/166.95 c #Conflicts: 175000 | #Constraints: 22655
166.47/166.95 c #Conflicts: 176000 | #Constraints: 23655
166.47/166.95 c #Conflicts: 177000 | #Constraints: 24655
166.47/166.95 c #Conflicts: 178000 | #Constraints: 25655
166.47/166.95 c #Conflicts: 179000 | #Constraints: 26655
166.47/166.95 c #Conflicts: 180000 | #Constraints: 27655
166.47/166.95 c #Conflicts: 181000 | #Constraints: 28655
166.47/166.95 c #Conflicts: 182000 | #Constraints: 29655
166.47/166.95 c INPROCESSING
166.47/166.95 c GARBAGE COLLECT
166.47/166.95 c rational objective 84
272.11/272.80 c #Conflicts: 183000 | #Constraints: 18926
272.11/272.80 c #Conflicts: 184000 | #Constraints: 19926
272.11/272.80 c #Conflicts: 185000 | #Constraints: 20926
272.11/272.80 c #Conflicts: 186000 | #Constraints: 21926
272.11/272.80 c #Conflicts: 187000 | #Constraints: 22926
272.11/272.80 c #Conflicts: 188000 | #Constraints: 23926
272.11/272.80 c #Conflicts: 189000 | #Constraints: 24926
272.11/272.80 c #Conflicts: 190000 | #Constraints: 25926
272.11/272.80 c #Conflicts: 191000 | #Constraints: 26926
272.11/272.80 c INPROCESSING
272.11/272.80 c GARBAGE COLLECT
272.11/272.80 c #Conflicts: 192000 | #Constraints: 17368
272.11/272.80 c #Conflicts: 193000 | #Constraints: 18368
272.11/272.80 c #Conflicts: 194000 | #Constraints: 19368
272.11/272.80 c #Conflicts: 195000 | #Constraints: 20368
272.11/272.80 c #Conflicts: 196000 | #Constraints: 21368
272.11/272.80 c #Conflicts: 197000 | #Constraints: 22368
272.11/272.80 c #Conflicts: 198000 | #Constraints: 23368
272.11/272.80 c #Conflicts: 199000 | #Constraints: 24368
272.11/272.80 c #Conflicts: 200000 | #Constraints: 25368
272.11/272.80 c #Conflicts: 201000 | #Constraints: 26368
272.11/272.80 c INPROCESSING
272.11/272.80 c GARBAGE COLLECT
272.11/272.80 c #Conflicts: 202000 | #Constraints: 17292
272.11/272.80 c #Conflicts: 203000 | #Constraints: 18292
272.11/272.80 c #Conflicts: 204000 | #Constraints: 19292
272.11/272.80 c #Conflicts: 205000 | #Constraints: 20292
272.11/272.80 c #Conflicts: 206000 | #Constraints: 21292
272.11/272.80 c #Conflicts: 207000 | #Constraints: 22292
272.11/272.80 c #Conflicts: 208000 | #Constraints: 23292
272.11/272.80 c #Conflicts: 209000 | #Constraints: 24292
272.11/272.80 c #Conflicts: 210000 | #Constraints: 25292
272.11/272.80 c #Conflicts: 211000 | #Constraints: 26292
272.11/272.80 c #Conflicts: 212000 | #Constraints: 27292
272.11/272.80 c #Conflicts: 213000 | #Constraints: 28292
272.11/272.80 c #Conflicts: 214000 | #Constraints: 29292
272.11/272.80 c #Conflicts: 215000 | #Constraints: 30292
272.11/272.80 c #Conflicts: 216000 | #Constraints: 31292
272.11/272.80 c #Conflicts: 217000 | #Constraints: 32292
272.11/272.80 c #Conflicts: 218000 | #Constraints: 33292
272.11/272.80 c #Conflicts: 219000 | #Constraints: 34292
272.11/272.80 c #Conflicts: 220000 | #Constraints: 35292
272.11/272.80 c #Conflicts: 221000 | #Constraints: 36292
272.11/272.80 c #Conflicts: 222000 | #Constraints: 37292
272.11/272.80 c #Conflicts: 223000 | #Constraints: 38292
272.11/272.80 c #Conflicts: 224000 | #Constraints: 39292
272.11/272.80 c #Conflicts: 225000 | #Constraints: 40292
272.11/272.80 c #Conflicts: 226000 | #Constraints: 41292
272.11/272.80 c #Conflicts: 227000 | #Constraints: 42292
272.11/272.80 c #Conflicts: 228000 | #Constraints: 43292
272.11/272.80 c #Conflicts: 229000 | #Constraints: 44292
272.11/272.80 c #Conflicts: 230000 | #Constraints: 45292
272.11/272.80 c #Conflicts: 231000 | #Constraints: 46292
272.11/272.80 c #Conflicts: 232000 | #Constraints: 47292
272.11/272.80 c #Conflicts: 233000 | #Constraints: 48292
272.11/272.80 c #Conflicts: 234000 | #Constraints: 49292
272.11/272.80 c #Conflicts: 235000 | #Constraints: 50292
272.11/272.80 c #Conflicts: 236000 | #Constraints: 51292
272.11/272.80 c #Conflicts: 237000 | #Constraints: 52292
272.11/272.80 c #Conflicts: 238000 | #Constraints: 53292
272.11/272.80 c INPROCESSING
272.11/272.80 c GARBAGE COLLECT
272.11/272.80 c #Conflicts: 239000 | #Constraints: 30430
272.11/272.80 c #Conflicts: 240000 | #Constraints: 31430
272.11/272.80 c #Conflicts: 241000 | #Constraints: 32430
272.11/272.80 c #Conflicts: 242000 | #Constraints: 33430
272.11/272.80 c #Conflicts: 243000 | #Constraints: 34430
272.11/272.80 c #Conflicts: 244000 | #Constraints: 35430
272.11/272.80 c #Conflicts: 245000 | #Constraints: 36430
272.11/272.80 c #Conflicts: 246000 | #Constraints: 37430
272.11/272.80 c #Conflicts: 247000 | #Constraints: 38430
272.11/272.80 c #Conflicts: 248000 | #Constraints: 39430
272.11/272.80 c #Conflicts: 249000 | #Constraints: 40430
272.11/272.80 c INPROCESSING
272.11/272.80 c GARBAGE COLLECT
272.11/272.80 c #Conflicts: 250000 | #Constraints: 24066
272.11/272.80 c #Conflicts: 251000 | #Constraints: 25066
272.11/272.80 c #Conflicts: 252000 | #Constraints: 26066
272.11/272.80 c #Conflicts: 253000 | #Constraints: 27066
272.11/272.80 c #Conflicts: 254000 | #Constraints: 28066
272.11/272.80 c #Conflicts: 255000 | #Constraints: 29066
272.11/272.80 c #Conflicts: 256000 | #Constraints: 30066
272.11/272.80 c #Conflicts: 257000 | #Constraints: 31066
272.11/272.80 c #Conflicts: 258000 | #Constraints: 32066
272.11/272.80 c #Conflicts: 259000 | #Constraints: 33066
389.43/390.41 c #Conflicts: 260000 | #Constraints: 34066
389.43/390.41 c INPROCESSING
389.43/390.41 c GARBAGE COLLECT
389.43/390.41 c #Conflicts: 261000 | #Constraints: 20803
389.43/390.41 c #Conflicts: 262000 | #Constraints: 21803
389.43/390.41 c #Conflicts: 263000 | #Constraints: 22803
389.43/390.41 c #Conflicts: 264000 | #Constraints: 23803
389.43/390.41 c #Conflicts: 265000 | #Constraints: 24803
389.43/390.41 c #Conflicts: 266000 | #Constraints: 25803
389.43/390.41 c #Conflicts: 267000 | #Constraints: 26803
389.43/390.41 c #Conflicts: 268000 | #Constraints: 27803
389.43/390.41 c #Conflicts: 269000 | #Constraints: 28803
389.43/390.41 c #Conflicts: 270000 | #Constraints: 29803
389.43/390.41 c #Conflicts: 271000 | #Constraints: 30803
389.43/390.41 c #Conflicts: 272000 | #Constraints: 31803
389.43/390.41 c INPROCESSING
389.43/390.41 c GARBAGE COLLECT
389.43/390.41 c #Conflicts: 273000 | #Constraints: 20053
389.43/390.41 c #Conflicts: 274000 | #Constraints: 21053
389.43/390.41 c #Conflicts: 275000 | #Constraints: 22053
389.43/390.41 c #Conflicts: 276000 | #Constraints: 23053
389.43/390.41 c #Conflicts: 277000 | #Constraints: 24053
389.43/390.41 c #Conflicts: 278000 | #Constraints: 25053
389.43/390.41 c #Conflicts: 279000 | #Constraints: 26053
389.43/390.41 c #Conflicts: 280000 | #Constraints: 27053
389.43/390.41 c #Conflicts: 281000 | #Constraints: 28053
389.43/390.41 c #Conflicts: 282000 | #Constraints: 29053
389.43/390.41 c #Conflicts: 283000 | #Constraints: 30053
389.43/390.41 c INPROCESSING
389.43/390.41 c GARBAGE COLLECT
389.43/390.41 c #Conflicts: 284000 | #Constraints: 18959
389.43/390.41 c #Conflicts: 285000 | #Constraints: 19959
389.43/390.41 c #Conflicts: 286000 | #Constraints: 20959
389.43/390.41 c #Conflicts: 287000 | #Constraints: 21959
389.43/390.41 c #Conflicts: 288000 | #Constraints: 22959
389.43/390.41 c #Conflicts: 289000 | #Constraints: 23959
389.43/390.41 c #Conflicts: 290000 | #Constraints: 24959
389.43/390.41 c #Conflicts: 291000 | #Constraints: 25959
389.43/390.41 c #Conflicts: 292000 | #Constraints: 26959
389.43/390.41 c #Conflicts: 293000 | #Constraints: 27959
389.43/390.41 c #Conflicts: 294000 | #Constraints: 28959
389.43/390.41 c #Conflicts: 295000 | #Constraints: 29959
389.43/390.41 c #Conflicts: 296000 | #Constraints: 30959
389.43/390.41 c #Conflicts: 297000 | #Constraints: 31959
389.43/390.41 c #Conflicts: 298000 | #Constraints: 32959
389.43/390.41 c #Conflicts: 299000 | #Constraints: 33959
389.43/390.41 c #Conflicts: 300000 | #Constraints: 34959
389.43/390.41 c #Conflicts: 301000 | #Constraints: 35959
389.43/390.41 c #Conflicts: 302000 | #Constraints: 36959
389.43/390.41 c #Conflicts: 303000 | #Constraints: 37959
389.43/390.41 c #Conflicts: 304000 | #Constraints: 38959
389.43/390.41 c #Conflicts: 305000 | #Constraints: 39959
389.43/390.41 c #Conflicts: 306000 | #Constraints: 40959
389.43/390.41 c #Conflicts: 307000 | #Constraints: 41959
389.43/390.41 c #Conflicts: 308000 | #Constraints: 42959
389.43/390.41 c #Conflicts: 309000 | #Constraints: 43959
389.43/390.41 c #Conflicts: 310000 | #Constraints: 44959
389.43/390.41 c #Conflicts: 311000 | #Constraints: 45959
389.43/390.41 c #Conflicts: 312000 | #Constraints: 46959
389.43/390.41 c #Conflicts: 313000 | #Constraints: 47959
389.43/390.41 c #Conflicts: 314000 | #Constraints: 48959
389.43/390.41 c #Conflicts: 315000 | #Constraints: 49959
389.43/390.41 c #Conflicts: 316000 | #Constraints: 50959
389.43/390.41 c #Conflicts: 317000 | #Constraints: 51959
389.43/390.41 c #Conflicts: 318000 | #Constraints: 52960
389.43/390.41 c #Conflicts: 319000 | #Constraints: 53960
389.43/390.41 c #Conflicts: 320000 | #Constraints: 54960
389.43/390.41 c #Conflicts: 321000 | #Constraints: 55960
389.43/390.41 c #Conflicts: 322000 | #Constraints: 56960
389.43/390.41 c #Conflicts: 323000 | #Constraints: 57960
389.43/390.41 c #Conflicts: 324000 | #Constraints: 58960
389.43/390.41 c #Conflicts: 325000 | #Constraints: 59960
389.43/390.41 c #Conflicts: 326000 | #Constraints: 60960
389.43/390.41 c #Conflicts: 327000 | #Constraints: 61960
389.43/390.41 c INPROCESSING
389.43/390.41 c GARBAGE COLLECT
389.43/390.41 c rational objective 84
481.41/482.61 c #Conflicts: 328000 | #Constraints: 34793
481.41/482.61 c #Conflicts: 329000 | #Constraints: 35793
481.41/482.61 c #Conflicts: 330000 | #Constraints: 36793
481.41/482.61 c #Conflicts: 331000 | #Constraints: 37793
481.41/482.61 c #Conflicts: 332000 | #Constraints: 38793
481.41/482.61 c #Conflicts: 333000 | #Constraints: 39793
481.41/482.61 c #Conflicts: 334000 | #Constraints: 40793
481.41/482.61 c #Conflicts: 335000 | #Constraints: 41793
481.41/482.61 c #Conflicts: 336000 | #Constraints: 42793
481.41/482.61 c #Conflicts: 337000 | #Constraints: 43793
481.41/482.61 c #Conflicts: 338000 | #Constraints: 44793
481.41/482.61 c #Conflicts: 339000 | #Constraints: 45793
481.41/482.61 c #Conflicts: 340000 | #Constraints: 46793
481.41/482.61 c INPROCESSING
481.41/482.61 c GARBAGE COLLECT
481.41/482.61 c #Conflicts: 341000 | #Constraints: 27382
481.41/482.61 c #Conflicts: 342000 | #Constraints: 28382
481.41/482.61 c #Conflicts: 343000 | #Constraints: 29382
481.41/482.61 c #Conflicts: 344000 | #Constraints: 30382
481.41/482.61 c #Conflicts: 345000 | #Constraints: 31382
481.41/482.61 c #Conflicts: 346000 | #Constraints: 32382
481.41/482.61 c #Conflicts: 347000 | #Constraints: 33382
481.41/482.62 c #Conflicts: 348000 | #Constraints: 34382
481.41/482.62 c #Conflicts: 349000 | #Constraints: 35382
481.41/482.62 c #Conflicts: 350000 | #Constraints: 36382
481.41/482.62 c #Conflicts: 351000 | #Constraints: 37382
481.41/482.62 c #Conflicts: 352000 | #Constraints: 38382
481.41/482.62 c #Conflicts: 353000 | #Constraints: 39382
481.41/482.62 c INPROCESSING
481.41/482.62 c GARBAGE COLLECT
481.41/482.62 c #Conflicts: 354000 | #Constraints: 23652
481.41/482.62 c #Conflicts: 355000 | #Constraints: 24652
481.41/482.62 c #Conflicts: 356000 | #Constraints: 25652
481.41/482.62 c #Conflicts: 357000 | #Constraints: 26652
481.41/482.62 c #Conflicts: 358000 | #Constraints: 27652
481.41/482.62 c #Conflicts: 359000 | #Constraints: 28652
481.41/482.62 c #Conflicts: 360000 | #Constraints: 29652
481.41/482.62 c #Conflicts: 361000 | #Constraints: 30652
481.41/482.62 c #Conflicts: 362000 | #Constraints: 31652
481.41/482.62 c #Conflicts: 363000 | #Constraints: 32652
481.41/482.62 c #Conflicts: 364000 | #Constraints: 33652
481.41/482.62 c #Conflicts: 365000 | #Constraints: 34652
481.41/482.62 c #Conflicts: 366000 | #Constraints: 35652
481.41/482.62 c INPROCESSING
481.41/482.62 c GARBAGE COLLECT
481.41/482.62 c #Conflicts: 367000 | #Constraints: 21694
481.41/482.62 c #Conflicts: 368000 | #Constraints: 22694
481.41/482.62 c #Conflicts: 369000 | #Constraints: 23694
481.41/482.62 c #Conflicts: 370000 | #Constraints: 24694
481.41/482.62 c #Conflicts: 371000 | #Constraints: 25694
481.41/482.62 c #Conflicts: 372000 | #Constraints: 26694
481.41/482.62 c #Conflicts: 373000 | #Constraints: 27694
481.41/482.62 c #Conflicts: 374000 | #Constraints: 28694
481.41/482.62 c #Conflicts: 375000 | #Constraints: 29694
481.41/482.62 c #Conflicts: 376000 | #Constraints: 30694
481.41/482.62 c #Conflicts: 377000 | #Constraints: 31694
481.41/482.62 c #Conflicts: 378000 | #Constraints: 32694
481.41/482.62 c #Conflicts: 379000 | #Constraints: 33694
481.41/482.62 c #Conflicts: 380000 | #Constraints: 34694
481.41/482.62 c INPROCESSING
481.41/482.62 c GARBAGE COLLECT
481.41/482.62 c #Conflicts: 381000 | #Constraints: 21494
481.41/482.62 c #Conflicts: 382000 | #Constraints: 22494
481.41/482.62 c #Conflicts: 383000 | #Constraints: 23494
481.41/482.62 c #Conflicts: 384000 | #Constraints: 24494
481.41/482.62 c #Conflicts: 385000 | #Constraints: 25494
481.41/482.62 c #Conflicts: 386000 | #Constraints: 26494
481.41/482.62 c #Conflicts: 387000 | #Constraints: 27494
481.41/482.62 c #Conflicts: 388000 | #Constraints: 28494
481.41/482.62 c #Conflicts: 389000 | #Constraints: 29494
481.41/482.62 c #Conflicts: 390000 | #Constraints: 30494
481.41/482.62 c #Conflicts: 391000 | #Constraints: 31494
481.41/482.62 c #Conflicts: 392000 | #Constraints: 32494
481.41/482.62 c #Conflicts: 393000 | #Constraints: 33494
481.41/482.62 c #Conflicts: 394000 | #Constraints: 34494
481.41/482.62 c #Conflicts: 395000 | #Constraints: 35494
481.41/482.62 c #Conflicts: 396000 | #Constraints: 36494
481.41/482.62 c #Conflicts: 397000 | #Constraints: 37494
481.41/482.62 c #Conflicts: 398000 | #Constraints: 38494
481.41/482.62 c #Conflicts: 399000 | #Constraints: 39494
481.41/482.62 c #Conflicts: 400000 | #Constraints: 40494
481.41/482.62 c #Conflicts: 401000 | #Constraints: 41494
481.41/482.62 c #Conflicts: 402000 | #Constraints: 42494
481.41/482.62 c #Conflicts: 403000 | #Constraints: 43494
481.41/482.62 c #Conflicts: 404000 | #Constraints: 44494
588.34/589.86 c #Conflicts: 405000 | #Constraints: 45494
588.34/589.86 c #Conflicts: 406000 | #Constraints: 46494
588.34/589.86 c #Conflicts: 407000 | #Constraints: 47494
588.34/589.86 c #Conflicts: 408000 | #Constraints: 48494
588.34/589.86 c #Conflicts: 409000 | #Constraints: 49494
588.34/589.86 c #Conflicts: 410000 | #Constraints: 50494
588.34/589.86 c #Conflicts: 411000 | #Constraints: 51494
588.34/589.86 c #Conflicts: 412000 | #Constraints: 52494
588.34/589.86 c #Conflicts: 413000 | #Constraints: 53494
588.34/589.86 c #Conflicts: 414000 | #Constraints: 54494
588.34/589.86 c #Conflicts: 415000 | #Constraints: 55494
588.34/589.86 c #Conflicts: 416000 | #Constraints: 56494
588.34/589.86 c #Conflicts: 417000 | #Constraints: 57494
588.34/589.86 c #Conflicts: 418000 | #Constraints: 58494
588.34/589.86 c #Conflicts: 419000 | #Constraints: 59494
588.34/589.86 c #Conflicts: 420000 | #Constraints: 60494
588.34/589.86 c #Conflicts: 421000 | #Constraints: 61494
588.34/589.86 c #Conflicts: 422000 | #Constraints: 62494
588.34/589.86 c #Conflicts: 423000 | #Constraints: 63494
588.34/589.86 c #Conflicts: 424000 | #Constraints: 64494
588.34/589.86 c #Conflicts: 425000 | #Constraints: 65494
588.34/589.86 c #Conflicts: 426000 | #Constraints: 66494
588.34/589.86 c #Conflicts: 427000 | #Constraints: 67494
588.34/589.86 c #Conflicts: 428000 | #Constraints: 68494
588.34/589.86 c #Conflicts: 429000 | #Constraints: 69494
588.34/589.86 c #Conflicts: 430000 | #Constraints: 70494
588.34/589.86 c INPROCESSING
588.34/589.86 c GARBAGE COLLECT
588.34/589.86 c #Conflicts: 431000 | #Constraints: 39162
588.34/589.86 c #Conflicts: 432000 | #Constraints: 40162
588.34/589.86 c #Conflicts: 433000 | #Constraints: 41162
588.34/589.86 c #Conflicts: 434000 | #Constraints: 42162
588.34/589.86 c #Conflicts: 435000 | #Constraints: 43162
588.34/589.86 c #Conflicts: 436000 | #Constraints: 44162
588.34/589.86 c #Conflicts: 437000 | #Constraints: 45162
588.34/589.86 c #Conflicts: 438000 | #Constraints: 46162
588.34/589.86 c #Conflicts: 439000 | #Constraints: 47162
588.34/589.86 c #Conflicts: 440000 | #Constraints: 48162
588.34/589.86 c #Conflicts: 441000 | #Constraints: 49162
588.34/589.86 c #Conflicts: 442000 | #Constraints: 50162
588.34/589.86 c #Conflicts: 443000 | #Constraints: 51162
588.34/589.86 c #Conflicts: 444000 | #Constraints: 52162
588.34/589.86 c #Conflicts: 445000 | #Constraints: 53162
588.34/589.86 c INPROCESSING
588.34/589.86 c GARBAGE COLLECT
588.34/589.86 c #Conflicts: 446000 | #Constraints: 30723
588.34/589.86 c #Conflicts: 447000 | #Constraints: 31723
588.34/589.86 c #Conflicts: 448000 | #Constraints: 32723
588.34/589.86 c #Conflicts: 449000 | #Constraints: 33723
588.34/589.86 c #Conflicts: 450000 | #Constraints: 34723
588.34/589.86 c #Conflicts: 451000 | #Constraints: 35723
588.34/589.86 c #Conflicts: 452000 | #Constraints: 36723
588.34/589.86 c #Conflicts: 453000 | #Constraints: 37723
588.34/589.86 c #Conflicts: 454000 | #Constraints: 38723
588.34/589.86 c #Conflicts: 455000 | #Constraints: 39723
588.34/589.86 c #Conflicts: 456000 | #Constraints: 40723
588.34/589.86 c #Conflicts: 457000 | #Constraints: 41723
588.34/589.86 c #Conflicts: 458000 | #Constraints: 42723
588.34/589.86 c #Conflicts: 459000 | #Constraints: 43723
588.34/589.86 c #Conflicts: 460000 | #Constraints: 44723
588.34/589.86 c INPROCESSING
588.34/589.86 c GARBAGE COLLECT
588.34/589.86 c rational objective 84
612.37/613.94 c #Conflicts: 461000 | #Constraints: 26475
612.37/613.94 c #Conflicts: 462000 | #Constraints: 27475
612.37/613.94 c #Conflicts: 463000 | #Constraints: 28475
612.37/613.94 c #Conflicts: 464000 | #Constraints: 29475
612.37/613.94 c #Conflicts: 465000 | #Constraints: 30475
612.37/613.94 c #Conflicts: 466000 | #Constraints: 31475
612.37/613.94 c #Conflicts: 467000 | #Constraints: 32475
612.37/613.94 c #Conflicts: 468000 | #Constraints: 33475
612.37/613.94 c #Conflicts: 469000 | #Constraints: 34475
612.37/613.94 c #Conflicts: 470000 | #Constraints: 35475
612.37/613.94 c #Conflicts: 471000 | #Constraints: 36475
612.37/613.94 c #Conflicts: 472000 | #Constraints: 37475
612.37/613.94 c #Conflicts: 473000 | #Constraints: 38475
612.37/613.94 c #Conflicts: 474000 | #Constraints: 39475
612.37/613.94 c #Conflicts: 475000 | #Constraints: 40475
612.37/613.94 c INPROCESSING
612.37/613.94 c GARBAGE COLLECT
612.37/613.94 c rational objective 84
754.56/756.56 c #Conflicts: 476000 | #Constraints: 24342
754.56/756.56 c #Conflicts: 477000 | #Constraints: 25342
754.56/756.56 c #Conflicts: 478000 | #Constraints: 26342
754.56/756.56 c #Conflicts: 479000 | #Constraints: 27342
754.56/756.56 c #Conflicts: 480000 | #Constraints: 28342
754.56/756.56 c #Conflicts: 481000 | #Constraints: 29342
754.56/756.56 c #Conflicts: 482000 | #Constraints: 30342
754.56/756.56 c #Conflicts: 483000 | #Constraints: 31342
754.56/756.56 c #Conflicts: 484000 | #Constraints: 32342
754.56/756.56 c #Conflicts: 485000 | #Constraints: 33342
754.56/756.56 c #Conflicts: 486000 | #Constraints: 34342
754.56/756.56 c #Conflicts: 487000 | #Constraints: 35342
754.56/756.56 c #Conflicts: 488000 | #Constraints: 36342
754.56/756.56 c #Conflicts: 489000 | #Constraints: 37342
754.56/756.56 c #Conflicts: 490000 | #Constraints: 38342
754.56/756.56 c INPROCESSING
754.56/756.56 c GARBAGE COLLECT
754.56/756.56 c #Conflicts: 491000 | #Constraints: 23120
754.56/756.56 c #Conflicts: 492000 | #Constraints: 24120
754.56/756.56 c #Conflicts: 493000 | #Constraints: 25120
754.56/756.56 c #Conflicts: 494000 | #Constraints: 26120
754.56/756.56 c #Conflicts: 495000 | #Constraints: 27120
754.56/756.56 c #Conflicts: 496000 | #Constraints: 28120
754.56/756.56 c #Conflicts: 497000 | #Constraints: 29120
754.56/756.56 c #Conflicts: 498000 | #Constraints: 30120
754.56/756.56 c #Conflicts: 499000 | #Constraints: 31120
754.56/756.56 c #Conflicts: 500000 | #Constraints: 32120
754.56/756.56 c #Conflicts: 501000 | #Constraints: 33120
754.56/756.56 c #Conflicts: 502000 | #Constraints: 34120
754.56/756.56 c #Conflicts: 503000 | #Constraints: 35120
754.56/756.56 c #Conflicts: 504000 | #Constraints: 36120
754.56/756.56 c #Conflicts: 505000 | #Constraints: 37120
754.56/756.56 c #Conflicts: 506000 | #Constraints: 38120
754.56/756.56 c #Conflicts: 507000 | #Constraints: 39120
754.56/756.56 c #Conflicts: 508000 | #Constraints: 40120
754.56/756.56 c #Conflicts: 509000 | #Constraints: 41120
754.56/756.56 c #Conflicts: 510000 | #Constraints: 42120
754.56/756.56 c #Conflicts: 511000 | #Constraints: 43120
754.56/756.56 c #Conflicts: 512000 | #Constraints: 44120
754.56/756.56 c #Conflicts: 513000 | #Constraints: 45120
754.56/756.56 c #Conflicts: 514000 | #Constraints: 46120
754.56/756.56 c #Conflicts: 515000 | #Constraints: 47120
754.56/756.56 c #Conflicts: 516000 | #Constraints: 48120
754.56/756.56 c #Conflicts: 517000 | #Constraints: 49120
754.56/756.56 c #Conflicts: 518000 | #Constraints: 50120
754.56/756.56 c #Conflicts: 519000 | #Constraints: 51120
754.56/756.56 c #Conflicts: 520000 | #Constraints: 52120
754.56/756.56 c #Conflicts: 521000 | #Constraints: 53120
754.56/756.56 c #Conflicts: 522000 | #Constraints: 54120
754.56/756.56 c #Conflicts: 523000 | #Constraints: 55120
754.56/756.56 c #Conflicts: 524000 | #Constraints: 56120
754.56/756.56 c #Conflicts: 525000 | #Constraints: 57120
754.56/756.56 c #Conflicts: 526000 | #Constraints: 58120
754.56/756.56 c #Conflicts: 527000 | #Constraints: 59120
754.56/756.56 c #Conflicts: 528000 | #Constraints: 60120
754.56/756.56 c #Conflicts: 529000 | #Constraints: 61120
754.56/756.56 c #Conflicts: 530000 | #Constraints: 62120
754.56/756.56 c #Conflicts: 531000 | #Constraints: 63120
754.56/756.56 c #Conflicts: 532000 | #Constraints: 64120
754.56/756.56 c #Conflicts: 533000 | #Constraints: 65120
754.56/756.56 c #Conflicts: 534000 | #Constraints: 66120
754.56/756.56 c #Conflicts: 535000 | #Constraints: 67120
754.56/756.56 c #Conflicts: 536000 | #Constraints: 68120
754.56/756.56 c #Conflicts: 537000 | #Constraints: 69120
754.56/756.56 c #Conflicts: 538000 | #Constraints: 70120
754.56/756.56 c #Conflicts: 539000 | #Constraints: 71120
754.56/756.56 c #Conflicts: 540000 | #Constraints: 72120
754.56/756.56 c #Conflicts: 541000 | #Constraints: 73120
754.56/756.56 c #Conflicts: 542000 | #Constraints: 74120
754.56/756.56 c #Conflicts: 543000 | #Constraints: 75120
754.56/756.56 c #Conflicts: 544000 | #Constraints: 76120
754.56/756.56 c #Conflicts: 545000 | #Constraints: 77120
754.56/756.56 c #Conflicts: 546000 | #Constraints: 78120
754.56/756.56 c #Conflicts: 547000 | #Constraints: 79120
754.56/756.56 c INPROCESSING
754.56/756.56 c GARBAGE COLLECT
754.56/756.56 c #Conflicts: 548000 | #Constraints: 43527
754.56/756.56 c #Conflicts: 549000 | #Constraints: 44527
754.56/756.56 c #Conflicts: 550000 | #Constraints: 45527
754.56/756.56 c #Conflicts: 551000 | #Constraints: 46527
754.56/756.56 c #Conflicts: 552000 | #Constraints: 47527
754.56/756.56 c #Conflicts: 553000 | #Constraints: 48527
807.91/810.08 c #Conflicts: 554000 | #Constraints: 49527
807.91/810.08 c #Conflicts: 555000 | #Constraints: 50527
807.91/810.08 c #Conflicts: 556000 | #Constraints: 51527
807.91/810.08 c #Conflicts: 557000 | #Constraints: 52527
807.91/810.08 c #Conflicts: 558000 | #Constraints: 53527
807.91/810.08 c #Conflicts: 559000 | #Constraints: 54527
807.91/810.08 c #Conflicts: 560000 | #Constraints: 55527
807.91/810.08 c #Conflicts: 561000 | #Constraints: 56527
807.91/810.08 c #Conflicts: 562000 | #Constraints: 57527
807.91/810.08 c #Conflicts: 563000 | #Constraints: 58528
807.91/810.08 c #Conflicts: 564000 | #Constraints: 59528
807.91/810.08 c INPROCESSING
807.91/810.08 c GARBAGE COLLECT
807.91/810.08 c #Conflicts: 565000 | #Constraints: 34003
807.91/810.08 c #Conflicts: 566000 | #Constraints: 35003
807.91/810.08 c #Conflicts: 567000 | #Constraints: 36003
807.91/810.08 c #Conflicts: 568000 | #Constraints: 37003
807.91/810.08 c #Conflicts: 569000 | #Constraints: 38003
807.91/810.08 c #Conflicts: 570000 | #Constraints: 39003
807.91/810.08 c #Conflicts: 571000 | #Constraints: 40003
807.91/810.08 c #Conflicts: 572000 | #Constraints: 41003
807.91/810.08 c #Conflicts: 573000 | #Constraints: 42003
807.91/810.08 c #Conflicts: 574000 | #Constraints: 43003
807.91/810.08 c #Conflicts: 575000 | #Constraints: 44003
807.91/810.08 c #Conflicts: 576000 | #Constraints: 45003
807.91/810.08 c #Conflicts: 577000 | #Constraints: 46003
807.91/810.08 c #Conflicts: 578000 | #Constraints: 47003
807.91/810.08 c #Conflicts: 579000 | #Constraints: 48003
807.91/810.08 c #Conflicts: 580000 | #Constraints: 49003
807.91/810.08 c INPROCESSING
807.91/810.08 c GARBAGE COLLECT
807.91/810.08 c rational objective 84
905.53/907.93 c #Conflicts: 581000 | #Constraints: 28332
905.53/907.93 c #Conflicts: 582000 | #Constraints: 29332
905.53/907.93 c #Conflicts: 583000 | #Constraints: 30332
905.53/907.93 c #Conflicts: 584000 | #Constraints: 31332
905.53/907.93 c #Conflicts: 585000 | #Constraints: 32332
905.53/907.93 c #Conflicts: 586000 | #Constraints: 33332
905.53/907.93 c #Conflicts: 587000 | #Constraints: 34332
905.53/907.93 c #Conflicts: 588000 | #Constraints: 35332
905.53/907.93 c #Conflicts: 589000 | #Constraints: 36332
905.53/907.93 c #Conflicts: 590000 | #Constraints: 37332
905.53/907.93 c #Conflicts: 591000 | #Constraints: 38332
905.53/907.93 c #Conflicts: 592000 | #Constraints: 39332
905.53/907.93 c #Conflicts: 593000 | #Constraints: 40332
905.53/907.93 c #Conflicts: 594000 | #Constraints: 41332
905.53/907.93 c #Conflicts: 595000 | #Constraints: 42332
905.53/907.93 c #Conflicts: 596000 | #Constraints: 43332
905.53/907.93 c #Conflicts: 597000 | #Constraints: 44332
905.53/907.93 c INPROCESSING
905.53/907.93 c GARBAGE COLLECT
905.53/907.93 c #Conflicts: 598000 | #Constraints: 25970
905.53/907.93 c #Conflicts: 599000 | #Constraints: 26970
905.53/907.93 c #Conflicts: 600000 | #Constraints: 27970
905.53/907.93 c #Conflicts: 601000 | #Constraints: 28970
905.53/907.93 c #Conflicts: 602000 | #Constraints: 29970
905.53/907.93 c #Conflicts: 603000 | #Constraints: 30970
905.53/907.93 c #Conflicts: 604000 | #Constraints: 31970
905.53/907.93 c #Conflicts: 605000 | #Constraints: 32970
905.53/907.93 c #Conflicts: 606000 | #Constraints: 33970
905.53/907.93 c #Conflicts: 607000 | #Constraints: 34970
905.53/907.93 c #Conflicts: 608000 | #Constraints: 35970
905.53/907.93 c #Conflicts: 609000 | #Constraints: 36970
905.53/907.93 c #Conflicts: 610000 | #Constraints: 37970
905.53/907.93 c #Conflicts: 611000 | #Constraints: 38970
905.53/907.93 c #Conflicts: 612000 | #Constraints: 39970
905.53/907.93 c #Conflicts: 613000 | #Constraints: 40970
905.53/907.93 c #Conflicts: 614000 | #Constraints: 41970
905.53/907.93 c #Conflicts: 615000 | #Constraints: 42970
905.53/907.93 c INPROCESSING
905.53/907.93 c GARBAGE COLLECT
905.53/907.93 c #Conflicts: 616000 | #Constraints: 25699
905.53/907.93 c #Conflicts: 617000 | #Constraints: 26699
905.53/907.93 c #Conflicts: 618000 | #Constraints: 27699
905.53/907.93 c #Conflicts: 619000 | #Constraints: 28699
905.53/907.93 c #Conflicts: 620000 | #Constraints: 29699
905.53/907.93 c #Conflicts: 621000 | #Constraints: 30699
905.53/907.93 c #Conflicts: 622000 | #Constraints: 31699
905.53/907.93 c #Conflicts: 623000 | #Constraints: 32699
905.53/907.93 c #Conflicts: 624000 | #Constraints: 33699
905.53/907.93 c #Conflicts: 625000 | #Constraints: 34699
905.53/907.93 c #Conflicts: 626000 | #Constraints: 35699
905.53/907.93 c #Conflicts: 627000 | #Constraints: 36699
905.53/907.93 c #Conflicts: 628000 | #Constraints: 37699
905.53/907.93 c #Conflicts: 629000 | #Constraints: 38699
905.53/907.93 c #Conflicts: 630000 | #Constraints: 39699
905.53/907.93 c #Conflicts: 631000 | #Constraints: 40699
905.53/907.93 c #Conflicts: 632000 | #Constraints: 41699
905.53/907.93 c INPROCESSING
905.53/907.93 c GARBAGE COLLECT
905.53/907.93 c #Conflicts: 633000 | #Constraints: 24862
905.53/907.93 c #Conflicts: 634000 | #Constraints: 25862
905.53/907.93 c #Conflicts: 635000 | #Constraints: 26862
905.53/907.93 c #Conflicts: 636000 | #Constraints: 27862
905.53/907.93 c #Conflicts: 637000 | #Constraints: 28862
905.53/907.93 c #Conflicts: 638000 | #Constraints: 29862
905.53/907.93 c #Conflicts: 639000 | #Constraints: 30862
905.53/907.93 c #Conflicts: 640000 | #Constraints: 31862
905.53/907.93 c #Conflicts: 641000 | #Constraints: 32862
905.53/907.93 c #Conflicts: 642000 | #Constraints: 33862
905.53/907.93 c #Conflicts: 643000 | #Constraints: 34862
905.53/907.93 c #Conflicts: 644000 | #Constraints: 35862
905.53/907.93 c #Conflicts: 645000 | #Constraints: 36862
905.53/907.93 c #Conflicts: 646000 | #Constraints: 37862
905.53/907.93 c #Conflicts: 647000 | #Constraints: 38862
905.53/907.93 c #Conflicts: 648000 | #Constraints: 39862
905.53/907.93 c #Conflicts: 649000 | #Constraints: 40862
905.53/907.93 c #Conflicts: 650000 | #Constraints: 41862
905.53/907.93 c #Conflicts: 651000 | #Constraints: 42862
905.53/907.93 c #Conflicts: 652000 | #Constraints: 43862
905.53/907.93 c #Conflicts: 653000 | #Constraints: 44862
905.53/907.93 c #Conflicts: 654000 | #Constraints: 45862
905.53/907.93 c #Conflicts: 655000 | #Constraints: 46862
905.53/907.93 c #Conflicts: 656000 | #Constraints: 47862
905.53/907.93 c #Conflicts: 657000 | #Constraints: 48862
1080.64/1083.51 c #Conflicts: 658000 | #Constraints: 49862
1080.64/1083.51 c #Conflicts: 659000 | #Constraints: 50862
1080.64/1083.51 c #Conflicts: 660000 | #Constraints: 51862
1080.64/1083.51 c #Conflicts: 661000 | #Constraints: 52862
1080.64/1083.51 c #Conflicts: 662000 | #Constraints: 53862
1080.64/1083.51 c #Conflicts: 663000 | #Constraints: 54862
1080.64/1083.51 c #Conflicts: 664000 | #Constraints: 55862
1080.64/1083.51 c #Conflicts: 665000 | #Constraints: 56862
1080.64/1083.51 c #Conflicts: 666000 | #Constraints: 57862
1080.64/1083.51 c #Conflicts: 667000 | #Constraints: 58862
1080.64/1083.51 c #Conflicts: 668000 | #Constraints: 59862
1080.64/1083.51 c #Conflicts: 669000 | #Constraints: 60862
1080.64/1083.51 c #Conflicts: 670000 | #Constraints: 61862
1080.64/1083.51 c #Conflicts: 671000 | #Constraints: 62862
1080.64/1083.51 c #Conflicts: 672000 | #Constraints: 63862
1080.64/1083.51 c #Conflicts: 673000 | #Constraints: 64862
1080.64/1083.51 c #Conflicts: 674000 | #Constraints: 65862
1080.64/1083.51 c #Conflicts: 675000 | #Constraints: 66862
1080.64/1083.51 c #Conflicts: 676000 | #Constraints: 67862
1080.64/1083.51 c #Conflicts: 677000 | #Constraints: 68862
1080.64/1083.51 c #Conflicts: 678000 | #Constraints: 69862
1080.64/1083.51 c #Conflicts: 679000 | #Constraints: 70862
1080.64/1083.51 c #Conflicts: 680000 | #Constraints: 71862
1080.64/1083.51 c #Conflicts: 681000 | #Constraints: 72862
1080.64/1083.51 c #Conflicts: 682000 | #Constraints: 73862
1080.64/1083.51 c #Conflicts: 683000 | #Constraints: 74862
1080.64/1083.51 c #Conflicts: 684000 | #Constraints: 75862
1080.64/1083.51 c #Conflicts: 685000 | #Constraints: 76862
1080.64/1083.51 c #Conflicts: 686000 | #Constraints: 77862
1080.64/1083.51 c #Conflicts: 687000 | #Constraints: 78862
1080.64/1083.51 c #Conflicts: 688000 | #Constraints: 79862
1080.64/1083.51 c #Conflicts: 689000 | #Constraints: 80862
1080.64/1083.51 c #Conflicts: 690000 | #Constraints: 81862
1080.64/1083.51 c #Conflicts: 691000 | #Constraints: 82862
1080.64/1083.51 c #Conflicts: 692000 | #Constraints: 83862
1080.64/1083.51 c #Conflicts: 693000 | #Constraints: 84862
1080.64/1083.51 c #Conflicts: 694000 | #Constraints: 85862
1080.64/1083.51 c #Conflicts: 695000 | #Constraints: 86862
1080.64/1083.51 c #Conflicts: 696000 | #Constraints: 87862
1080.64/1083.51 c INPROCESSING
1080.64/1083.51 c GARBAGE COLLECT
1080.64/1083.51 c #Conflicts: 697000 | #Constraints: 47843
1080.64/1083.51 c #Conflicts: 698000 | #Constraints: 48843
1080.64/1083.51 c #Conflicts: 699000 | #Constraints: 49843
1080.64/1083.51 c #Conflicts: 700000 | #Constraints: 50843
1080.64/1083.51 c #Conflicts: 701000 | #Constraints: 51843
1080.64/1083.51 c #Conflicts: 702000 | #Constraints: 52843
1080.64/1083.51 c #Conflicts: 703000 | #Constraints: 53843
1080.64/1083.51 c #Conflicts: 704000 | #Constraints: 54843
1080.64/1083.51 c #Conflicts: 705000 | #Constraints: 55843
1080.64/1083.51 c #Conflicts: 706000 | #Constraints: 56843
1080.64/1083.51 c #Conflicts: 707000 | #Constraints: 57843
1080.64/1083.51 c #Conflicts: 708000 | #Constraints: 58843
1080.64/1083.51 c #Conflicts: 709000 | #Constraints: 59843
1080.64/1083.51 c #Conflicts: 710000 | #Constraints: 60843
1080.64/1083.51 c #Conflicts: 711000 | #Constraints: 61843
1080.64/1083.51 c #Conflicts: 712000 | #Constraints: 62843
1080.64/1083.51 c #Conflicts: 713000 | #Constraints: 63843
1080.64/1083.51 c #Conflicts: 714000 | #Constraints: 64843
1080.64/1083.51 c #Conflicts: 715000 | #Constraints: 65843
1080.64/1083.51 c INPROCESSING
1080.64/1083.51 c GARBAGE COLLECT
1080.64/1083.51 c #Conflicts: 716000 | #Constraints: 36898
1080.64/1083.51 c #Conflicts: 717000 | #Constraints: 37898
1080.64/1083.51 c #Conflicts: 718000 | #Constraints: 38898
1080.64/1083.51 c #Conflicts: 719000 | #Constraints: 39898
1080.64/1083.51 c #Conflicts: 720000 | #Constraints: 40898
1080.64/1083.51 c #Conflicts: 721000 | #Constraints: 41898
1080.64/1083.51 c #Conflicts: 722000 | #Constraints: 42898
1080.64/1083.51 c #Conflicts: 723000 | #Constraints: 43898
1080.64/1083.51 c #Conflicts: 724000 | #Constraints: 44898
1080.64/1083.51 c #Conflicts: 725000 | #Constraints: 45898
1080.64/1083.51 c #Conflicts: 726000 | #Constraints: 46898
1080.64/1083.51 c #Conflicts: 727000 | #Constraints: 47898
1080.64/1083.51 c #Conflicts: 728000 | #Constraints: 48898
1080.64/1083.51 c #Conflicts: 729000 | #Constraints: 49898
1080.64/1083.51 c #Conflicts: 730000 | #Constraints: 50898
1080.64/1083.51 c #Conflicts: 731000 | #Constraints: 51898
1080.64/1083.51 c #Conflicts: 732000 | #Constraints: 52898
1080.64/1083.51 c #Conflicts: 733000 | #Constraints: 53898
1080.64/1083.51 c #Conflicts: 734000 | #Constraints: 54898
1080.64/1083.51 c INPROCESSING
1080.64/1083.51 c GARBAGE COLLECT
1080.64/1083.55 c rational objective 84
1111.46/1114.46 c #Conflicts: 735000 | #Constraints: 31421
1111.46/1114.46 c #Conflicts: 736000 | #Constraints: 32421
1111.46/1114.46 c #Conflicts: 737000 | #Constraints: 33421
1111.46/1114.46 c #Conflicts: 738000 | #Constraints: 34421
1111.46/1114.46 c #Conflicts: 739000 | #Constraints: 35421
1111.46/1114.46 c #Conflicts: 740000 | #Constraints: 36421
1111.46/1114.46 c #Conflicts: 741000 | #Constraints: 37421
1111.46/1114.46 c #Conflicts: 742000 | #Constraints: 38421
1111.46/1114.46 c #Conflicts: 743000 | #Constraints: 39421
1111.46/1114.46 c #Conflicts: 744000 | #Constraints: 40421
1111.46/1114.46 c #Conflicts: 745000 | #Constraints: 41421
1111.46/1114.46 c #Conflicts: 746000 | #Constraints: 42421
1111.46/1114.46 c #Conflicts: 747000 | #Constraints: 43421
1111.46/1114.46 c #Conflicts: 748000 | #Constraints: 44421
1111.46/1114.46 c #Conflicts: 749000 | #Constraints: 45421
1111.46/1114.46 c #Conflicts: 750000 | #Constraints: 46421
1111.46/1114.46 c #Conflicts: 751000 | #Constraints: 47421
1111.46/1114.46 c #Conflicts: 752000 | #Constraints: 48421
1111.46/1114.46 c #Conflicts: 753000 | #Constraints: 49421
1111.46/1114.46 c INPROCESSING
1111.46/1114.46 c GARBAGE COLLECT
1111.46/1114.46 c rational objective 84
1222.80/1226.00 c #Conflicts: 754000 | #Constraints: 28692
1222.80/1226.00 c #Conflicts: 755000 | #Constraints: 29692
1222.80/1226.00 c #Conflicts: 756000 | #Constraints: 30692
1222.80/1226.00 c #Conflicts: 757000 | #Constraints: 31692
1222.80/1226.00 c #Conflicts: 758000 | #Constraints: 32692
1222.80/1226.00 c #Conflicts: 759000 | #Constraints: 33692
1222.80/1226.00 c #Conflicts: 760000 | #Constraints: 34692
1222.80/1226.00 c #Conflicts: 761000 | #Constraints: 35692
1222.80/1226.00 c #Conflicts: 762000 | #Constraints: 36692
1222.80/1226.00 c #Conflicts: 763000 | #Constraints: 37692
1222.80/1226.00 c #Conflicts: 764000 | #Constraints: 38692
1222.80/1226.00 c #Conflicts: 765000 | #Constraints: 39692
1222.80/1226.00 c #Conflicts: 766000 | #Constraints: 40692
1222.80/1226.00 c #Conflicts: 767000 | #Constraints: 41692
1222.80/1226.00 c #Conflicts: 768000 | #Constraints: 42692
1222.80/1226.00 c #Conflicts: 769000 | #Constraints: 43692
1222.80/1226.00 c #Conflicts: 770000 | #Constraints: 44692
1222.80/1226.00 c #Conflicts: 771000 | #Constraints: 45692
1222.80/1226.00 c #Conflicts: 772000 | #Constraints: 46692
1222.80/1226.00 c INPROCESSING
1222.80/1226.00 c GARBAGE COLLECT
1222.80/1226.00 c #Conflicts: 773000 | #Constraints: 27166
1222.80/1226.00 c #Conflicts: 774000 | #Constraints: 28166
1222.80/1226.00 c #Conflicts: 775000 | #Constraints: 29166
1222.80/1226.00 c #Conflicts: 776000 | #Constraints: 30166
1222.80/1226.00 c #Conflicts: 777000 | #Constraints: 31166
1222.80/1226.00 c #Conflicts: 778000 | #Constraints: 32166
1222.80/1226.00 c #Conflicts: 779000 | #Constraints: 33166
1222.80/1226.00 c #Conflicts: 780000 | #Constraints: 34166
1222.80/1226.00 c #Conflicts: 781000 | #Constraints: 35166
1222.80/1226.00 c #Conflicts: 782000 | #Constraints: 36167
1222.80/1226.00 c #Conflicts: 783000 | #Constraints: 37167
1222.80/1226.00 c #Conflicts: 784000 | #Constraints: 38167
1222.80/1226.00 c #Conflicts: 785000 | #Constraints: 39167
1222.80/1226.00 c #Conflicts: 786000 | #Constraints: 40167
1222.80/1226.00 c #Conflicts: 787000 | #Constraints: 41167
1222.80/1226.00 c #Conflicts: 788000 | #Constraints: 42167
1222.80/1226.00 c #Conflicts: 789000 | #Constraints: 43167
1222.80/1226.00 c #Conflicts: 790000 | #Constraints: 44167
1222.80/1226.00 c #Conflicts: 791000 | #Constraints: 45167
1222.80/1226.00 c #Conflicts: 792000 | #Constraints: 46167
1222.80/1226.00 c INPROCESSING
1222.80/1226.00 c GARBAGE COLLECT
1222.80/1226.00 c #Conflicts: 793000 | #Constraints: 27300
1222.80/1226.00 c #Conflicts: 794000 | #Constraints: 28300
1222.80/1226.00 c #Conflicts: 795000 | #Constraints: 29300
1222.80/1226.00 c #Conflicts: 796000 | #Constraints: 30300
1222.80/1226.00 c #Conflicts: 797000 | #Constraints: 31300
1222.80/1226.00 c #Conflicts: 798000 | #Constraints: 32300
1222.80/1226.00 c #Conflicts: 799000 | #Constraints: 33300
1222.80/1226.00 c #Conflicts: 800000 | #Constraints: 34300
1222.80/1226.00 c #Conflicts: 801000 | #Constraints: 35300
1222.80/1226.00 c #Conflicts: 802000 | #Constraints: 36300
1222.80/1226.00 c #Conflicts: 803000 | #Constraints: 37300
1222.80/1226.00 c #Conflicts: 804000 | #Constraints: 38300
1222.80/1226.00 c #Conflicts: 805000 | #Constraints: 39300
1222.80/1226.00 c #Conflicts: 806000 | #Constraints: 40300
1222.80/1226.00 c #Conflicts: 807000 | #Constraints: 41300
1222.80/1226.00 c #Conflicts: 808000 | #Constraints: 42300
1222.80/1226.00 c #Conflicts: 809000 | #Constraints: 43300
1222.80/1226.00 c #Conflicts: 810000 | #Constraints: 44300
1222.80/1226.00 c #Conflicts: 811000 | #Constraints: 45300
1222.80/1226.00 c #Conflicts: 812000 | #Constraints: 46300
1222.80/1226.00 c #Conflicts: 813000 | #Constraints: 47300
1222.80/1226.00 c #Conflicts: 814000 | #Constraints: 48300
1222.80/1226.00 c #Conflicts: 815000 | #Constraints: 49300
1222.80/1226.00 c #Conflicts: 816000 | #Constraints: 50300
1222.80/1226.00 c #Conflicts: 817000 | #Constraints: 51300
1222.80/1226.00 c #Conflicts: 818000 | #Constraints: 52300
1222.80/1226.00 c #Conflicts: 819000 | #Constraints: 53300
1222.80/1226.00 c #Conflicts: 820000 | #Constraints: 54300
1222.80/1226.00 c #Conflicts: 821000 | #Constraints: 55300
1222.80/1226.00 c #Conflicts: 822000 | #Constraints: 56300
1222.80/1226.00 c #Conflicts: 823000 | #Constraints: 57300
1222.80/1226.00 c #Conflicts: 824000 | #Constraints: 58300
1222.80/1226.00 c #Conflicts: 825000 | #Constraints: 59300
1222.80/1226.00 c #Conflicts: 826000 | #Constraints: 60300
1222.80/1226.00 c #Conflicts: 827000 | #Constraints: 61300
1222.80/1226.00 c #Conflicts: 828000 | #Constraints: 62300
1222.80/1226.00 c #Conflicts: 829000 | #Constraints: 63300
1222.80/1226.00 c #Conflicts: 830000 | #Constraints: 64300
1222.80/1226.00 c #Conflicts: 831000 | #Constraints: 65300
1330.24/1333.70 c #Conflicts: 832000 | #Constraints: 66300
1330.24/1333.70 c #Conflicts: 833000 | #Constraints: 67300
1330.24/1333.70 c #Conflicts: 834000 | #Constraints: 68300
1330.24/1333.70 c #Conflicts: 835000 | #Constraints: 69300
1330.24/1333.70 c #Conflicts: 836000 | #Constraints: 70300
1330.24/1333.70 c #Conflicts: 837000 | #Constraints: 71300
1330.24/1333.70 c #Conflicts: 838000 | #Constraints: 72300
1330.24/1333.70 c #Conflicts: 839000 | #Constraints: 73300
1330.24/1333.70 c #Conflicts: 840000 | #Constraints: 74300
1330.24/1333.70 c #Conflicts: 841000 | #Constraints: 75300
1330.24/1333.70 c #Conflicts: 842000 | #Constraints: 76300
1330.24/1333.70 c #Conflicts: 843000 | #Constraints: 77300
1330.24/1333.70 c #Conflicts: 844000 | #Constraints: 78300
1330.24/1333.70 c #Conflicts: 845000 | #Constraints: 79300
1330.24/1333.70 c #Conflicts: 846000 | #Constraints: 80300
1330.24/1333.70 c #Conflicts: 847000 | #Constraints: 81300
1330.24/1333.70 c #Conflicts: 848000 | #Constraints: 82300
1330.24/1333.70 c #Conflicts: 849000 | #Constraints: 83300
1330.24/1333.70 c #Conflicts: 850000 | #Constraints: 84300
1330.24/1333.70 c #Conflicts: 851000 | #Constraints: 85300
1330.24/1333.70 c #Conflicts: 852000 | #Constraints: 86300
1330.24/1333.70 c #Conflicts: 853000 | #Constraints: 87300
1330.24/1333.70 c #Conflicts: 854000 | #Constraints: 88300
1330.24/1333.70 c #Conflicts: 855000 | #Constraints: 89300
1330.24/1333.70 c #Conflicts: 856000 | #Constraints: 90300
1330.24/1333.70 c #Conflicts: 857000 | #Constraints: 91300
1330.24/1333.70 c #Conflicts: 858000 | #Constraints: 92300
1330.24/1333.70 c #Conflicts: 859000 | #Constraints: 93300
1330.24/1333.70 c #Conflicts: 860000 | #Constraints: 94300
1330.24/1333.70 c #Conflicts: 861000 | #Constraints: 95300
1330.24/1333.70 c #Conflicts: 862000 | #Constraints: 96300
1330.24/1333.70 c #Conflicts: 863000 | #Constraints: 97300
1330.24/1333.70 c #Conflicts: 864000 | #Constraints: 98300
1330.24/1333.70 c INPROCESSING
1330.24/1333.70 c GARBAGE COLLECT
1330.24/1333.70 c rational objective 84
1457.43/1461.29 c #Conflicts: 865000 | #Constraints: 53323
1457.43/1461.29 c #Conflicts: 866000 | #Constraints: 54323
1457.43/1461.29 c #Conflicts: 867000 | #Constraints: 55323
1457.43/1461.29 c #Conflicts: 868000 | #Constraints: 56323
1457.43/1461.29 c #Conflicts: 869000 | #Constraints: 57323
1457.43/1461.29 c #Conflicts: 870000 | #Constraints: 58323
1457.43/1461.29 c #Conflicts: 871000 | #Constraints: 59323
1457.43/1461.29 c #Conflicts: 872000 | #Constraints: 60323
1457.43/1461.29 c #Conflicts: 873000 | #Constraints: 61323
1457.43/1461.29 c #Conflicts: 874000 | #Constraints: 62323
1457.43/1461.29 c #Conflicts: 875000 | #Constraints: 63323
1457.43/1461.29 c #Conflicts: 876000 | #Constraints: 64323
1457.43/1461.29 c #Conflicts: 877000 | #Constraints: 65323
1457.43/1461.29 c #Conflicts: 878000 | #Constraints: 66323
1457.43/1461.29 c #Conflicts: 879000 | #Constraints: 67323
1457.43/1461.29 c #Conflicts: 880000 | #Constraints: 68323
1457.43/1461.29 c #Conflicts: 881000 | #Constraints: 69323
1457.43/1461.29 c #Conflicts: 882000 | #Constraints: 70323
1457.43/1461.29 c #Conflicts: 883000 | #Constraints: 71323
1457.43/1461.29 c #Conflicts: 884000 | #Constraints: 72323
1457.43/1461.29 c #Conflicts: 885000 | #Constraints: 73323
1457.43/1461.29 c INPROCESSING
1457.43/1461.29 c GARBAGE COLLECT
1457.43/1461.29 c #Conflicts: 886000 | #Constraints: 40934
1457.43/1461.29 c #Conflicts: 887000 | #Constraints: 41934
1457.43/1461.29 c #Conflicts: 888000 | #Constraints: 42934
1457.43/1461.29 c #Conflicts: 889000 | #Constraints: 43934
1457.43/1461.29 c #Conflicts: 890000 | #Constraints: 44934
1457.43/1461.29 c #Conflicts: 891000 | #Constraints: 45934
1457.43/1461.29 c #Conflicts: 892000 | #Constraints: 46934
1457.43/1461.29 c #Conflicts: 893000 | #Constraints: 47934
1457.43/1461.29 c #Conflicts: 894000 | #Constraints: 48934
1457.43/1461.29 c #Conflicts: 895000 | #Constraints: 49934
1457.43/1461.29 c #Conflicts: 896000 | #Constraints: 50935
1457.43/1461.29 c #Conflicts: 897000 | #Constraints: 51935
1457.43/1461.29 c #Conflicts: 898000 | #Constraints: 52935
1457.43/1461.29 c #Conflicts: 899000 | #Constraints: 53935
1457.43/1461.29 c #Conflicts: 900000 | #Constraints: 54935
1457.43/1461.29 c #Conflicts: 901000 | #Constraints: 55935
1457.43/1461.29 c #Conflicts: 902000 | #Constraints: 56935
1457.43/1461.29 c #Conflicts: 903000 | #Constraints: 57935
1457.43/1461.29 c #Conflicts: 904000 | #Constraints: 58935
1457.43/1461.29 c #Conflicts: 905000 | #Constraints: 59935
1457.43/1461.29 c #Conflicts: 906000 | #Constraints: 60935
1457.43/1461.29 c INPROCESSING
1457.43/1461.29 c GARBAGE COLLECT
1457.43/1461.29 c #Conflicts: 907000 | #Constraints: 34691
1457.43/1461.29 c #Conflicts: 908000 | #Constraints: 35691
1457.43/1461.29 c #Conflicts: 909000 | #Constraints: 36691
1457.43/1461.29 c #Conflicts: 910000 | #Constraints: 37691
1457.43/1461.29 c #Conflicts: 911000 | #Constraints: 38691
1457.43/1461.29 c #Conflicts: 912000 | #Constraints: 39691
1457.43/1461.29 c #Conflicts: 913000 | #Constraints: 40691
1457.43/1461.29 c #Conflicts: 914000 | #Constraints: 41691
1457.43/1461.29 c #Conflicts: 915000 | #Constraints: 42691
1457.43/1461.29 c #Conflicts: 916000 | #Constraints: 43691
1457.43/1461.29 c #Conflicts: 917000 | #Constraints: 44691
1457.43/1461.29 c #Conflicts: 918000 | #Constraints: 45691
1457.43/1461.29 c #Conflicts: 919000 | #Constraints: 46691
1457.43/1461.29 c #Conflicts: 920000 | #Constraints: 47691
1457.43/1461.29 c #Conflicts: 921000 | #Constraints: 48691
1457.43/1461.29 c #Conflicts: 922000 | #Constraints: 49691
1457.43/1461.29 c #Conflicts: 923000 | #Constraints: 50691
1457.43/1461.29 c #Conflicts: 924000 | #Constraints: 51691
1457.43/1461.29 c #Conflicts: 925000 | #Constraints: 52691
1457.43/1461.29 c #Conflicts: 926000 | #Constraints: 53691
1457.43/1461.29 c #Conflicts: 927000 | #Constraints: 54691
1457.43/1461.29 c INPROCESSING
1457.43/1461.29 c GARBAGE COLLECT
1457.43/1461.29 c #Conflicts: 928000 | #Constraints: 31484
1457.43/1461.29 c #Conflicts: 929000 | #Constraints: 32484
1457.43/1461.29 c #Conflicts: 930000 | #Constraints: 33484
1457.43/1461.29 c #Conflicts: 931000 | #Constraints: 34484
1457.43/1461.29 c #Conflicts: 932000 | #Constraints: 35484
1457.43/1461.29 c #Conflicts: 933000 | #Constraints: 36485
1457.43/1461.29 c #Conflicts: 934000 | #Constraints: 37485
1457.43/1461.29 c #Conflicts: 935000 | #Constraints: 38485
1457.43/1461.29 c #Conflicts: 936000 | #Constraints: 39485
1457.43/1461.29 c #Conflicts: 937000 | #Constraints: 40485
1457.43/1461.29 c #Conflicts: 938000 | #Constraints: 41485
1457.43/1461.29 c #Conflicts: 939000 | #Constraints: 42485
1457.43/1461.29 c #Conflicts: 940000 | #Constraints: 43485
1457.43/1461.29 c #Conflicts: 941000 | #Constraints: 44485
1602.87/1607.02 c #Conflicts: 942000 | #Constraints: 45485
1602.87/1607.02 c #Conflicts: 943000 | #Constraints: 46485
1602.87/1607.02 c #Conflicts: 944000 | #Constraints: 47485
1602.87/1607.02 c #Conflicts: 945000 | #Constraints: 48485
1602.87/1607.02 c #Conflicts: 946000 | #Constraints: 49485
1602.87/1607.02 c #Conflicts: 947000 | #Constraints: 50485
1602.87/1607.02 c #Conflicts: 948000 | #Constraints: 51485
1602.87/1607.02 c INPROCESSING
1602.87/1607.02 c GARBAGE COLLECT
1602.87/1607.02 c #Conflicts: 949000 | #Constraints: 29726
1602.87/1607.02 c #Conflicts: 950000 | #Constraints: 30726
1602.87/1607.02 c #Conflicts: 951000 | #Constraints: 31726
1602.87/1607.02 c #Conflicts: 952000 | #Constraints: 32726
1602.87/1607.02 c #Conflicts: 953000 | #Constraints: 33726
1602.87/1607.02 c #Conflicts: 954000 | #Constraints: 34726
1602.87/1607.02 c #Conflicts: 955000 | #Constraints: 35726
1602.87/1607.02 c #Conflicts: 956000 | #Constraints: 36726
1602.87/1607.02 c #Conflicts: 957000 | #Constraints: 37726
1602.87/1607.02 c #Conflicts: 958000 | #Constraints: 38726
1602.87/1607.02 c #Conflicts: 959000 | #Constraints: 39726
1602.87/1607.02 c #Conflicts: 960000 | #Constraints: 40726
1602.87/1607.02 c #Conflicts: 961000 | #Constraints: 41726
1602.87/1607.02 c #Conflicts: 962000 | #Constraints: 42726
1602.87/1607.02 c #Conflicts: 963000 | #Constraints: 43726
1602.87/1607.02 c #Conflicts: 964000 | #Constraints: 44726
1602.87/1607.02 c #Conflicts: 965000 | #Constraints: 45726
1602.87/1607.02 c #Conflicts: 966000 | #Constraints: 46726
1602.87/1607.02 c #Conflicts: 967000 | #Constraints: 47726
1602.87/1607.02 c #Conflicts: 968000 | #Constraints: 48726
1602.87/1607.02 c #Conflicts: 969000 | #Constraints: 49726
1602.87/1607.02 c #Conflicts: 970000 | #Constraints: 50726
1602.87/1607.02 c INPROCESSING
1602.87/1607.02 c GARBAGE COLLECT
1602.87/1607.02 c #Conflicts: 971000 | #Constraints: 29512
1602.87/1607.02 c #Conflicts: 972000 | #Constraints: 30512
1602.87/1607.02 c #Conflicts: 973000 | #Constraints: 31512
1602.87/1607.02 c #Conflicts: 974000 | #Constraints: 32512
1602.87/1607.02 c #Conflicts: 975000 | #Constraints: 33512
1602.87/1607.02 c #Conflicts: 976000 | #Constraints: 34512
1602.87/1607.02 c #Conflicts: 977000 | #Constraints: 35512
1602.87/1607.02 c #Conflicts: 978000 | #Constraints: 36512
1602.87/1607.02 c #Conflicts: 979000 | #Constraints: 37512
1602.87/1607.02 c #Conflicts: 980000 | #Constraints: 38512
1602.87/1607.02 c #Conflicts: 981000 | #Constraints: 39512
1602.87/1607.02 c #Conflicts: 982000 | #Constraints: 40512
1602.87/1607.02 c #Conflicts: 983000 | #Constraints: 41512
1602.87/1607.02 c #Conflicts: 984000 | #Constraints: 42512
1602.87/1607.02 c #Conflicts: 985000 | #Constraints: 43512
1602.87/1607.02 c #Conflicts: 986000 | #Constraints: 44512
1602.87/1607.02 c #Conflicts: 987000 | #Constraints: 45512
1602.87/1607.02 c #Conflicts: 988000 | #Constraints: 46512
1602.87/1607.02 c #Conflicts: 989000 | #Constraints: 47512
1602.87/1607.02 c #Conflicts: 990000 | #Constraints: 48512
1602.87/1607.02 c #Conflicts: 991000 | #Constraints: 49512
1602.87/1607.02 c #Conflicts: 992000 | #Constraints: 50512
1602.87/1607.02 c #Conflicts: 993000 | #Constraints: 51512
1602.87/1607.02 c #Conflicts: 994000 | #Constraints: 52512
1602.87/1607.02 c #Conflicts: 995000 | #Constraints: 53512
1602.87/1607.02 c #Conflicts: 996000 | #Constraints: 54512
1602.87/1607.02 c #Conflicts: 997000 | #Constraints: 55512
1602.87/1607.02 c #Conflicts: 998000 | #Constraints: 56512
1602.87/1607.02 c #Conflicts: 999000 | #Constraints: 57512
1602.87/1607.02 c #Conflicts: 1000000 | #Constraints: 58512
1602.87/1607.02 c #Conflicts: 1001000 | #Constraints: 59512
1602.87/1607.02 c #Conflicts: 1002000 | #Constraints: 60512
1602.87/1607.02 c #Conflicts: 1003000 | #Constraints: 61512
1602.87/1607.02 c #Conflicts: 1004000 | #Constraints: 62512
1602.87/1607.02 c #Conflicts: 1005000 | #Constraints: 63512
1602.87/1607.02 c #Conflicts: 1006000 | #Constraints: 64512
1602.87/1607.02 c #Conflicts: 1007000 | #Constraints: 65512
1602.87/1607.02 c #Conflicts: 1008000 | #Constraints: 66512
1602.87/1607.02 c #Conflicts: 1009000 | #Constraints: 67512
1602.87/1607.02 c #Conflicts: 1010000 | #Constraints: 68512
1602.87/1607.02 c #Conflicts: 1011000 | #Constraints: 69512
1602.87/1607.02 c #Conflicts: 1012000 | #Constraints: 70512
1602.87/1607.02 c #Conflicts: 1013000 | #Constraints: 71512
1602.87/1607.02 c #Conflicts: 1014000 | #Constraints: 72512
1602.87/1607.02 c #Conflicts: 1015000 | #Constraints: 73512
1602.87/1607.02 c #Conflicts: 1016000 | #Constraints: 74512
1602.87/1607.02 c #Conflicts: 1017000 | #Constraints: 75512
1602.87/1607.02 c #Conflicts: 1018000 | #Constraints: 76512
1602.87/1607.02 c #Conflicts: 1019000 | #Constraints: 77512
1700.13/1704.56 c #Conflicts: 1020000 | #Constraints: 78512
1700.13/1704.56 c #Conflicts: 1021000 | #Constraints: 79512
1700.13/1704.56 c #Conflicts: 1022000 | #Constraints: 80512
1700.13/1704.56 c #Conflicts: 1023000 | #Constraints: 81512
1700.13/1704.56 c #Conflicts: 1024000 | #Constraints: 82512
1700.13/1704.56 c #Conflicts: 1025000 | #Constraints: 83512
1700.13/1704.56 c #Conflicts: 1026000 | #Constraints: 84512
1700.13/1704.56 c #Conflicts: 1027000 | #Constraints: 85512
1700.13/1704.56 c #Conflicts: 1028000 | #Constraints: 86512
1700.13/1704.56 c #Conflicts: 1029000 | #Constraints: 87512
1700.13/1704.56 c #Conflicts: 1030000 | #Constraints: 88512
1700.13/1704.56 c #Conflicts: 1031000 | #Constraints: 89512
1700.13/1704.56 c #Conflicts: 1032000 | #Constraints: 90512
1700.13/1704.56 c #Conflicts: 1033000 | #Constraints: 91512
1700.13/1704.56 c #Conflicts: 1034000 | #Constraints: 92512
1700.13/1704.56 c #Conflicts: 1035000 | #Constraints: 93512
1700.13/1704.56 c #Conflicts: 1036000 | #Constraints: 94512
1700.13/1704.56 c #Conflicts: 1037000 | #Constraints: 95512
1700.13/1704.56 c #Conflicts: 1038000 | #Constraints: 96512
1700.13/1704.56 c #Conflicts: 1039000 | #Constraints: 97512
1700.13/1704.56 c #Conflicts: 1040000 | #Constraints: 98512
1700.13/1704.56 c #Conflicts: 1041000 | #Constraints: 99512
1700.13/1704.56 c #Conflicts: 1042000 | #Constraints: 100512
1700.13/1704.56 c #Conflicts: 1043000 | #Constraints: 101513
1700.13/1704.56 c #Conflicts: 1044000 | #Constraints: 102513
1700.13/1704.56 c #Conflicts: 1045000 | #Constraints: 103513
1700.13/1704.56 c #Conflicts: 1046000 | #Constraints: 104513
1700.13/1704.56 c #Conflicts: 1047000 | #Constraints: 105513
1700.13/1704.56 c #Conflicts: 1048000 | #Constraints: 106513
1700.13/1704.56 c #Conflicts: 1049000 | #Constraints: 107513
1700.13/1704.56 c INPROCESSING
1700.13/1704.56 c GARBAGE COLLECT
1700.13/1704.56 c rational objective 84
1841.00/1845.75 c #Conflicts: 1050000 | #Constraints: 57769
1841.00/1845.75 c #Conflicts: 1051000 | #Constraints: 58769
1841.00/1845.75 c #Conflicts: 1052000 | #Constraints: 59769
1841.00/1845.75 c #Conflicts: 1053000 | #Constraints: 60769
1841.00/1845.75 c #Conflicts: 1054000 | #Constraints: 61769
1841.00/1845.75 c #Conflicts: 1055000 | #Constraints: 62769
1841.00/1845.75 c #Conflicts: 1056000 | #Constraints: 63769
1841.00/1845.75 c #Conflicts: 1057000 | #Constraints: 64769
1841.00/1845.75 c #Conflicts: 1058000 | #Constraints: 65769
1841.00/1845.75 c #Conflicts: 1059000 | #Constraints: 66769
1841.00/1845.75 c #Conflicts: 1060000 | #Constraints: 67769
1841.00/1845.75 c #Conflicts: 1061000 | #Constraints: 68769
1841.00/1845.75 c #Conflicts: 1062000 | #Constraints: 69769
1841.00/1845.75 c #Conflicts: 1063000 | #Constraints: 70769
1841.00/1845.75 c #Conflicts: 1064000 | #Constraints: 71769
1841.00/1845.75 c #Conflicts: 1065000 | #Constraints: 72769
1841.00/1845.75 c #Conflicts: 1066000 | #Constraints: 73769
1841.00/1845.75 c #Conflicts: 1067000 | #Constraints: 74769
1841.00/1845.75 c #Conflicts: 1068000 | #Constraints: 75769
1841.00/1845.75 c #Conflicts: 1069000 | #Constraints: 76769
1841.00/1845.76 c #Conflicts: 1070000 | #Constraints: 77769
1841.00/1845.76 c #Conflicts: 1071000 | #Constraints: 78769
1841.00/1845.76 c #Conflicts: 1072000 | #Constraints: 79769
1841.00/1845.76 c INPROCESSING
1841.00/1845.76 c GARBAGE COLLECT
1841.00/1845.76 c #Conflicts: 1073000 | #Constraints: 43895
1841.00/1845.76 c #Conflicts: 1074000 | #Constraints: 44895
1841.00/1845.76 c #Conflicts: 1075000 | #Constraints: 45895
1841.00/1845.76 c #Conflicts: 1076000 | #Constraints: 46895
1841.00/1845.76 c #Conflicts: 1077000 | #Constraints: 47895
1841.00/1845.76 c #Conflicts: 1078000 | #Constraints: 48895
1841.00/1845.76 c #Conflicts: 1079000 | #Constraints: 49895
1841.00/1845.76 c #Conflicts: 1080000 | #Constraints: 50895
1841.00/1845.76 c #Conflicts: 1081000 | #Constraints: 51895
1841.00/1845.76 c #Conflicts: 1082000 | #Constraints: 52895
1841.00/1845.76 c #Conflicts: 1083000 | #Constraints: 53895
1841.00/1845.76 c #Conflicts: 1084000 | #Constraints: 54895
1841.00/1845.76 c #Conflicts: 1085000 | #Constraints: 55895
1841.00/1845.76 c #Conflicts: 1086000 | #Constraints: 56895
1841.00/1845.76 c #Conflicts: 1087000 | #Constraints: 57895
1841.00/1845.76 c #Conflicts: 1088000 | #Constraints: 58895
1841.00/1845.76 c #Conflicts: 1089000 | #Constraints: 59895
1841.00/1845.76 c #Conflicts: 1090000 | #Constraints: 60895
1841.00/1845.76 c #Conflicts: 1091000 | #Constraints: 61895
1841.00/1845.76 c #Conflicts: 1092000 | #Constraints: 62895
1841.00/1845.76 c #Conflicts: 1093000 | #Constraints: 63895
1841.00/1845.76 c #Conflicts: 1094000 | #Constraints: 64895
1841.00/1845.76 c #Conflicts: 1095000 | #Constraints: 65895
1841.00/1845.76 c INPROCESSING
1841.00/1845.76 c GARBAGE COLLECT
1841.00/1845.76 c #Conflicts: 1096000 | #Constraints: 36900
1841.00/1845.76 c #Conflicts: 1097000 | #Constraints: 37900
1841.00/1845.76 c #Conflicts: 1098000 | #Constraints: 38900
1841.00/1845.76 c #Conflicts: 1099000 | #Constraints: 39900
1841.00/1845.76 c #Conflicts: 1100000 | #Constraints: 40900
1841.00/1845.76 c #Conflicts: 1101000 | #Constraints: 41900
1841.00/1845.76 c #Conflicts: 1102000 | #Constraints: 42900
1841.00/1845.76 c #Conflicts: 1103000 | #Constraints: 43900
1841.00/1845.76 c #Conflicts: 1104000 | #Constraints: 44900
1841.00/1845.76 c #Conflicts: 1105000 | #Constraints: 45900
1841.00/1845.76 c #Conflicts: 1106000 | #Constraints: 46900
1841.00/1845.76 c #Conflicts: 1107000 | #Constraints: 47900
1841.00/1845.76 c #Conflicts: 1108000 | #Constraints: 48900
1841.00/1845.76 c #Conflicts: 1109000 | #Constraints: 49900
1841.00/1845.76 c #Conflicts: 1110000 | #Constraints: 50900
1841.00/1845.76 c #Conflicts: 1111000 | #Constraints: 51900
1841.00/1845.76 c #Conflicts: 1112000 | #Constraints: 52900
1841.00/1845.76 c #Conflicts: 1113000 | #Constraints: 53900
1841.00/1845.76 c #Conflicts: 1114000 | #Constraints: 54900
1841.00/1845.76 c #Conflicts: 1115000 | #Constraints: 55900
1841.00/1845.76 c #Conflicts: 1116000 | #Constraints: 56900
1841.00/1845.76 c #Conflicts: 1117000 | #Constraints: 57900
1841.00/1845.76 c #Conflicts: 1118000 | #Constraints: 58900
1841.00/1845.76 c INPROCESSING
1841.00/1845.76 c GARBAGE COLLECT
1841.00/1845.76 c rational objective 84
1945.55/1950.59 c #Conflicts: 1119000 | #Constraints: 33352
1945.55/1950.59 c #Conflicts: 1120000 | #Constraints: 34352
1945.55/1950.59 c #Conflicts: 1121000 | #Constraints: 35352
1945.55/1950.59 c #Conflicts: 1122000 | #Constraints: 36352
1945.55/1950.59 c #Conflicts: 1123000 | #Constraints: 37352
1945.55/1950.59 c #Conflicts: 1124000 | #Constraints: 38352
1945.55/1950.59 c #Conflicts: 1125000 | #Constraints: 39352
1945.55/1950.59 c #Conflicts: 1126000 | #Constraints: 40352
1945.55/1950.59 c #Conflicts: 1127000 | #Constraints: 41352
1945.55/1950.59 c #Conflicts: 1128000 | #Constraints: 42352
1945.55/1950.59 c #Conflicts: 1129000 | #Constraints: 43352
1945.55/1950.59 c #Conflicts: 1130000 | #Constraints: 44352
1945.55/1950.59 c #Conflicts: 1131000 | #Constraints: 45352
1945.55/1950.59 c #Conflicts: 1132000 | #Constraints: 46352
1945.55/1950.59 c #Conflicts: 1133000 | #Constraints: 47352
1945.55/1950.59 c #Conflicts: 1134000 | #Constraints: 48352
1945.55/1950.59 c #Conflicts: 1135000 | #Constraints: 49352
1945.55/1950.59 c #Conflicts: 1136000 | #Constraints: 50352
1945.55/1950.59 c #Conflicts: 1137000 | #Constraints: 51352
1945.55/1950.59 c #Conflicts: 1138000 | #Constraints: 52352
1945.55/1950.59 c #Conflicts: 1139000 | #Constraints: 53352
1945.55/1950.59 c #Conflicts: 1140000 | #Constraints: 54352
1945.55/1950.59 c #Conflicts: 1141000 | #Constraints: 55352
1945.55/1950.59 c #Conflicts: 1142000 | #Constraints: 56352
1945.55/1950.59 c INPROCESSING
1945.55/1950.59 c GARBAGE COLLECT
1945.55/1950.59 c #Conflicts: 1143000 | #Constraints: 32228
1945.55/1950.59 c #Conflicts: 1144000 | #Constraints: 33228
1945.55/1950.59 c #Conflicts: 1145000 | #Constraints: 34228
1945.55/1950.59 c #Conflicts: 1146000 | #Constraints: 35228
1945.55/1950.59 c #Conflicts: 1147000 | #Constraints: 36228
1945.55/1950.59 c #Conflicts: 1148000 | #Constraints: 37228
1945.55/1950.59 c #Conflicts: 1149000 | #Constraints: 38228
1945.55/1950.59 c #Conflicts: 1150000 | #Constraints: 39228
1945.55/1950.59 c #Conflicts: 1151000 | #Constraints: 40228
1945.55/1950.59 c #Conflicts: 1152000 | #Constraints: 41228
1945.55/1950.59 c #Conflicts: 1153000 | #Constraints: 42228
1945.55/1950.59 c #Conflicts: 1154000 | #Constraints: 43228
1945.55/1950.59 c #Conflicts: 1155000 | #Constraints: 44228
1945.55/1950.59 c #Conflicts: 1156000 | #Constraints: 45228
1945.55/1950.59 c #Conflicts: 1157000 | #Constraints: 46228
1945.55/1950.59 c #Conflicts: 1158000 | #Constraints: 47228
1945.55/1950.59 c #Conflicts: 1159000 | #Constraints: 48228
1945.55/1950.59 c #Conflicts: 1160000 | #Constraints: 49228
1945.55/1950.59 c #Conflicts: 1161000 | #Constraints: 50228
1945.55/1950.59 c #Conflicts: 1162000 | #Constraints: 51228
1945.55/1950.59 c #Conflicts: 1163000 | #Constraints: 52228
1945.55/1950.59 c #Conflicts: 1164000 | #Constraints: 53228
1945.55/1950.59 c #Conflicts: 1165000 | #Constraints: 54228
1945.55/1950.59 c #Conflicts: 1166000 | #Constraints: 55228
1945.55/1950.59 c INPROCESSING
1945.55/1950.59 c GARBAGE COLLECT
1945.55/1950.59 c #Conflicts: 1167000 | #Constraints: 31856
1945.55/1950.59 c #Conflicts: 1168000 | #Constraints: 32856
1945.55/1950.59 c #Conflicts: 1169000 | #Constraints: 33856
1945.55/1950.59 c #Conflicts: 1170000 | #Constraints: 34856
1945.55/1950.59 c #Conflicts: 1171000 | #Constraints: 35856
1945.55/1950.59 c #Conflicts: 1172000 | #Constraints: 36856
1945.55/1950.59 c #Conflicts: 1173000 | #Constraints: 37856
1945.55/1950.59 c #Conflicts: 1174000 | #Constraints: 38856
1945.55/1950.59 c #Conflicts: 1175000 | #Constraints: 39856
1945.55/1950.59 c #Conflicts: 1176000 | #Constraints: 40856
1945.55/1950.59 c #Conflicts: 1177000 | #Constraints: 41856
1945.55/1950.59 c #Conflicts: 1178000 | #Constraints: 42856
1945.55/1950.59 c #Conflicts: 1179000 | #Constraints: 43856
1945.55/1950.59 c #Conflicts: 1180000 | #Constraints: 44856
1945.55/1950.59 c #Conflicts: 1181000 | #Constraints: 45856
1945.55/1950.59 c #Conflicts: 1182000 | #Constraints: 46856
1945.55/1950.59 c #Conflicts: 1183000 | #Constraints: 47856
1945.55/1950.59 c #Conflicts: 1184000 | #Constraints: 48856
1945.55/1950.59 c #Conflicts: 1185000 | #Constraints: 49856
1945.55/1950.59 c #Conflicts: 1186000 | #Constraints: 50856
1945.55/1950.59 c #Conflicts: 1187000 | #Constraints: 51856
1945.55/1950.59 c #Conflicts: 1188000 | #Constraints: 52856
1945.55/1950.59 c #Conflicts: 1189000 | #Constraints: 53856
1945.55/1950.59 c #Conflicts: 1190000 | #Constraints: 54856
1945.55/1950.59 c INPROCESSING
1945.55/1950.59 c GARBAGE COLLECT
1945.55/1950.59 c #Conflicts: 1191000 | #Constraints: 31679
1945.55/1950.59 c #Conflicts: 1192000 | #Constraints: 32679
1945.55/1950.59 c #Conflicts: 1193000 | #Constraints: 33679
1945.55/1950.59 c #Conflicts: 1194000 | #Constraints: 34679
1945.55/1950.59 c #Conflicts: 1195000 | #Constraints: 35679
2188.16/2193.76 c #Conflicts: 1196000 | #Constraints: 36679
2188.16/2193.76 c #Conflicts: 1197000 | #Constraints: 37679
2188.16/2193.76 c #Conflicts: 1198000 | #Constraints: 38679
2188.16/2193.76 c #Conflicts: 1199000 | #Constraints: 39679
2188.16/2193.76 c #Conflicts: 1200000 | #Constraints: 40680
2188.16/2193.76 c #Conflicts: 1201000 | #Constraints: 41680
2188.16/2193.76 c #Conflicts: 1202000 | #Constraints: 42680
2188.16/2193.76 c #Conflicts: 1203000 | #Constraints: 43680
2188.16/2193.76 c #Conflicts: 1204000 | #Constraints: 44680
2188.16/2193.76 c #Conflicts: 1205000 | #Constraints: 45680
2188.16/2193.76 c #Conflicts: 1206000 | #Constraints: 46680
2188.16/2193.76 c #Conflicts: 1207000 | #Constraints: 47680
2188.16/2193.76 c #Conflicts: 1208000 | #Constraints: 48680
2188.16/2193.76 c #Conflicts: 1209000 | #Constraints: 49680
2188.16/2193.76 c #Conflicts: 1210000 | #Constraints: 50680
2188.16/2193.76 c #Conflicts: 1211000 | #Constraints: 51680
2188.16/2193.76 c #Conflicts: 1212000 | #Constraints: 52680
2188.16/2193.76 c #Conflicts: 1213000 | #Constraints: 53680
2188.16/2193.76 c #Conflicts: 1214000 | #Constraints: 54680
2188.16/2193.76 c #Conflicts: 1215000 | #Constraints: 55680
2188.16/2193.76 c #Conflicts: 1216000 | #Constraints: 56680
2188.16/2193.76 c #Conflicts: 1217000 | #Constraints: 57680
2188.16/2193.76 c #Conflicts: 1218000 | #Constraints: 58680
2188.16/2193.76 c #Conflicts: 1219000 | #Constraints: 59680
2188.16/2193.76 c #Conflicts: 1220000 | #Constraints: 60680
2188.16/2193.76 c #Conflicts: 1221000 | #Constraints: 61680
2188.16/2193.76 c #Conflicts: 1222000 | #Constraints: 62680
2188.16/2193.76 c #Conflicts: 1223000 | #Constraints: 63680
2188.16/2193.76 c #Conflicts: 1224000 | #Constraints: 64680
2188.16/2193.76 c #Conflicts: 1225000 | #Constraints: 65680
2188.16/2193.76 c #Conflicts: 1226000 | #Constraints: 66680
2188.16/2193.76 c #Conflicts: 1227000 | #Constraints: 67680
2188.16/2193.76 c #Conflicts: 1228000 | #Constraints: 68680
2188.16/2193.76 c #Conflicts: 1229000 | #Constraints: 69680
2188.16/2193.76 c #Conflicts: 1230000 | #Constraints: 70680
2188.16/2193.76 c #Conflicts: 1231000 | #Constraints: 71680
2188.16/2193.76 c #Conflicts: 1232000 | #Constraints: 72680
2188.16/2193.76 c #Conflicts: 1233000 | #Constraints: 73680
2188.16/2193.76 c #Conflicts: 1234000 | #Constraints: 74680
2188.16/2193.76 c #Conflicts: 1235000 | #Constraints: 75680
2188.16/2193.76 c #Conflicts: 1236000 | #Constraints: 76680
2188.16/2193.76 c #Conflicts: 1237000 | #Constraints: 77680
2188.16/2193.76 c #Conflicts: 1238000 | #Constraints: 78680
2188.16/2193.76 c #Conflicts: 1239000 | #Constraints: 79680
2188.16/2193.76 c #Conflicts: 1240000 | #Constraints: 80680
2188.16/2193.76 c #Conflicts: 1241000 | #Constraints: 81680
2188.16/2193.76 c #Conflicts: 1242000 | #Constraints: 82680
2188.16/2193.76 c #Conflicts: 1243000 | #Constraints: 83680
2188.16/2193.76 c #Conflicts: 1244000 | #Constraints: 84680
2188.16/2193.76 c #Conflicts: 1245000 | #Constraints: 85680
2188.16/2193.76 c #Conflicts: 1246000 | #Constraints: 86680
2188.16/2193.76 c #Conflicts: 1247000 | #Constraints: 87680
2188.16/2193.76 c #Conflicts: 1248000 | #Constraints: 88680
2188.16/2193.76 c #Conflicts: 1249000 | #Constraints: 89680
2188.16/2193.76 c #Conflicts: 1250000 | #Constraints: 90680
2188.16/2193.76 c #Conflicts: 1251000 | #Constraints: 91680
2188.16/2193.76 c #Conflicts: 1252000 | #Constraints: 92680
2188.16/2193.76 c #Conflicts: 1253000 | #Constraints: 93680
2188.16/2193.76 c #Conflicts: 1254000 | #Constraints: 94680
2188.16/2193.76 c #Conflicts: 1255000 | #Constraints: 95680
2188.16/2193.76 c #Conflicts: 1256000 | #Constraints: 96680
2188.16/2193.76 c #Conflicts: 1257000 | #Constraints: 97680
2188.16/2193.76 c #Conflicts: 1258000 | #Constraints: 98680
2188.16/2193.76 c #Conflicts: 1259000 | #Constraints: 99680
2188.16/2193.76 c #Conflicts: 1260000 | #Constraints: 100680
2188.16/2193.76 c #Conflicts: 1261000 | #Constraints: 101680
2188.16/2193.76 c #Conflicts: 1262000 | #Constraints: 102680
2188.16/2193.76 c #Conflicts: 1263000 | #Constraints: 103680
2188.16/2193.76 c #Conflicts: 1264000 | #Constraints: 104680
2188.16/2193.76 c #Conflicts: 1265000 | #Constraints: 105680
2188.16/2193.76 c #Conflicts: 1266000 | #Constraints: 106680
2188.16/2193.76 c #Conflicts: 1267000 | #Constraints: 107680
2188.16/2193.76 c #Conflicts: 1268000 | #Constraints: 108680
2188.16/2193.76 c #Conflicts: 1269000 | #Constraints: 109680
2188.16/2193.76 c #Conflicts: 1270000 | #Constraints: 110680
2188.16/2193.76 c #Conflicts: 1271000 | #Constraints: 111680
2188.16/2193.76 c #Conflicts: 1272000 | #Constraints: 112680
2188.16/2193.76 c #Conflicts: 1273000 | #Constraints: 113680
2188.16/2193.76 c #Conflicts: 1274000 | #Constraints: 114680
2212.80/2218.44 c #Conflicts: 1275000 | #Constraints: 115680
2212.80/2218.44 c #Conflicts: 1276000 | #Constraints: 116680
2212.80/2218.44 c #Conflicts: 1277000 | #Constraints: 117680
2212.80/2218.44 c #Conflicts: 1278000 | #Constraints: 118680
2212.80/2218.44 c INPROCESSING
2212.80/2218.44 c GARBAGE COLLECT
2212.80/2218.44 c rational objective 84
2386.70/2392.79 c #Conflicts: 1279000 | #Constraints: 63603
2386.70/2392.79 c #Conflicts: 1280000 | #Constraints: 64603
2386.70/2392.79 c #Conflicts: 1281000 | #Constraints: 65603
2386.70/2392.79 c #Conflicts: 1282000 | #Constraints: 66603
2386.70/2392.79 c #Conflicts: 1283000 | #Constraints: 67603
2386.70/2392.79 c #Conflicts: 1284000 | #Constraints: 68603
2386.70/2392.79 c #Conflicts: 1285000 | #Constraints: 69603
2386.70/2392.79 c #Conflicts: 1286000 | #Constraints: 70603
2386.70/2392.79 c #Conflicts: 1287000 | #Constraints: 71603
2386.70/2392.79 c #Conflicts: 1288000 | #Constraints: 72603
2386.70/2392.79 c #Conflicts: 1289000 | #Constraints: 73603
2386.70/2392.79 c #Conflicts: 1290000 | #Constraints: 74603
2386.70/2392.79 c #Conflicts: 1291000 | #Constraints: 75603
2386.70/2392.79 c #Conflicts: 1292000 | #Constraints: 76603
2386.70/2392.79 c #Conflicts: 1293000 | #Constraints: 77603
2386.70/2392.79 c #Conflicts: 1294000 | #Constraints: 78603
2386.70/2392.79 c #Conflicts: 1295000 | #Constraints: 79603
2386.70/2392.79 c #Conflicts: 1296000 | #Constraints: 80603
2386.70/2392.79 c #Conflicts: 1297000 | #Constraints: 81603
2386.70/2392.79 c #Conflicts: 1298000 | #Constraints: 82603
2386.70/2392.79 c #Conflicts: 1299000 | #Constraints: 83603
2386.70/2392.79 c #Conflicts: 1300000 | #Constraints: 84603
2386.70/2392.79 c #Conflicts: 1301000 | #Constraints: 85603
2386.70/2392.79 c #Conflicts: 1302000 | #Constraints: 86603
2386.70/2392.79 c #Conflicts: 1303000 | #Constraints: 87603
2386.70/2392.79 c INPROCESSING
2386.70/2392.79 c GARBAGE COLLECT
2386.70/2392.79 c #Conflicts: 1304000 | #Constraints: 47956
2386.70/2392.79 c #Conflicts: 1305000 | #Constraints: 48956
2386.70/2392.79 c #Conflicts: 1306000 | #Constraints: 49956
2386.70/2392.79 c #Conflicts: 1307000 | #Constraints: 50956
2386.70/2392.79 c #Conflicts: 1308000 | #Constraints: 51956
2386.70/2392.79 c #Conflicts: 1309000 | #Constraints: 52956
2386.70/2392.79 c #Conflicts: 1310000 | #Constraints: 53956
2386.70/2392.79 c #Conflicts: 1311000 | #Constraints: 54956
2386.70/2392.79 c #Conflicts: 1312000 | #Constraints: 55956
2386.70/2392.79 c #Conflicts: 1313000 | #Constraints: 56956
2386.70/2392.79 c #Conflicts: 1314000 | #Constraints: 57956
2386.70/2392.79 c #Conflicts: 1315000 | #Constraints: 58956
2386.70/2392.79 c #Conflicts: 1316000 | #Constraints: 59956
2386.70/2392.79 c #Conflicts: 1317000 | #Constraints: 60956
2386.70/2392.79 c #Conflicts: 1318000 | #Constraints: 61956
2386.70/2392.79 c #Conflicts: 1319000 | #Constraints: 62956
2386.70/2392.79 c #Conflicts: 1320000 | #Constraints: 63956
2386.70/2392.79 c #Conflicts: 1321000 | #Constraints: 64956
2386.70/2392.79 c #Conflicts: 1322000 | #Constraints: 65956
2386.70/2392.79 c #Conflicts: 1323000 | #Constraints: 66956
2386.70/2392.79 c #Conflicts: 1324000 | #Constraints: 67956
2386.70/2392.79 c #Conflicts: 1325000 | #Constraints: 68956
2386.70/2392.79 c #Conflicts: 1326000 | #Constraints: 69956
2386.70/2392.79 c #Conflicts: 1327000 | #Constraints: 70956
2386.70/2392.79 c #Conflicts: 1328000 | #Constraints: 71956
2386.70/2392.79 c INPROCESSING
2386.70/2392.79 c GARBAGE COLLECT
2386.70/2392.79 c #Conflicts: 1329000 | #Constraints: 40028
2386.70/2392.79 c #Conflicts: 1330000 | #Constraints: 41028
2386.70/2392.79 c #Conflicts: 1331000 | #Constraints: 42028
2386.70/2392.79 c #Conflicts: 1332000 | #Constraints: 43028
2386.70/2392.79 c #Conflicts: 1333000 | #Constraints: 44028
2386.70/2392.79 c #Conflicts: 1334000 | #Constraints: 45028
2386.70/2392.79 c #Conflicts: 1335000 | #Constraints: 46028
2386.70/2392.79 c #Conflicts: 1336000 | #Constraints: 47028
2386.70/2392.79 c #Conflicts: 1337000 | #Constraints: 48028
2386.70/2392.79 c #Conflicts: 1338000 | #Constraints: 49028
2386.70/2392.79 c #Conflicts: 1339000 | #Constraints: 50028
2386.70/2392.79 c #Conflicts: 1340000 | #Constraints: 51028
2386.70/2392.79 c #Conflicts: 1341000 | #Constraints: 52028
2386.70/2392.79 c #Conflicts: 1342000 | #Constraints: 53028
2386.70/2392.79 c #Conflicts: 1343000 | #Constraints: 54028
2386.70/2392.79 c #Conflicts: 1344000 | #Constraints: 55028
2386.70/2392.79 c #Conflicts: 1345000 | #Constraints: 56028
2386.70/2392.79 c #Conflicts: 1346000 | #Constraints: 57028
2386.70/2392.79 c #Conflicts: 1347000 | #Constraints: 58028
2386.70/2392.79 c #Conflicts: 1348000 | #Constraints: 59028
2386.70/2392.79 c #Conflicts: 1349000 | #Constraints: 60028
2386.70/2392.79 c #Conflicts: 1350000 | #Constraints: 61028
2386.70/2392.79 c #Conflicts: 1351000 | #Constraints: 62028
2386.70/2392.79 c #Conflicts: 1352000 | #Constraints: 63028
2386.70/2392.79 c #Conflicts: 1353000 | #Constraints: 64028
2386.70/2392.79 c #Conflicts: 1354000 | #Constraints: 65028
2386.70/2392.79 c INPROCESSING
2386.70/2392.79 c GARBAGE COLLECT
2386.70/2392.79 c #Conflicts: 1355000 | #Constraints: 36699
2427.60/2433.78 c #Conflicts: 1356000 | #Constraints: 37699
2427.60/2433.78 c #Conflicts: 1357000 | #Constraints: 38699
2427.60/2433.78 c #Conflicts: 1358000 | #Constraints: 39699
2427.60/2433.78 c #Conflicts: 1359000 | #Constraints: 40699
2427.60/2433.78 c #Conflicts: 1360000 | #Constraints: 41699
2427.60/2433.78 c #Conflicts: 1361000 | #Constraints: 42699
2427.60/2433.78 c #Conflicts: 1362000 | #Constraints: 43699
2427.60/2433.78 c #Conflicts: 1363000 | #Constraints: 44699
2427.60/2433.78 c #Conflicts: 1364000 | #Constraints: 45699
2427.60/2433.78 c #Conflicts: 1365000 | #Constraints: 46699
2427.60/2433.78 c #Conflicts: 1366000 | #Constraints: 47699
2427.60/2433.78 c #Conflicts: 1367000 | #Constraints: 48699
2427.60/2433.78 c #Conflicts: 1368000 | #Constraints: 49699
2427.60/2433.78 c #Conflicts: 1369000 | #Constraints: 50699
2427.60/2433.78 c #Conflicts: 1370000 | #Constraints: 51699
2427.60/2433.78 c #Conflicts: 1371000 | #Constraints: 52699
2427.60/2433.78 c #Conflicts: 1372000 | #Constraints: 53699
2427.60/2433.78 c #Conflicts: 1373000 | #Constraints: 54699
2427.60/2433.78 c #Conflicts: 1374000 | #Constraints: 55699
2427.60/2433.78 c #Conflicts: 1375000 | #Constraints: 56699
2427.60/2433.78 c #Conflicts: 1376000 | #Constraints: 57699
2427.60/2433.78 c #Conflicts: 1377000 | #Constraints: 58699
2427.60/2433.78 c #Conflicts: 1378000 | #Constraints: 59699
2427.60/2433.78 c #Conflicts: 1379000 | #Constraints: 60699
2427.60/2433.78 c #Conflicts: 1380000 | #Constraints: 61699
2427.60/2433.78 c INPROCESSING
2427.60/2433.78 c GARBAGE COLLECT
2427.60/2433.78 c rational objective 84
2470.10/2476.33 c #Conflicts: 1381000 | #Constraints: 35177
2470.10/2476.33 c #Conflicts: 1382000 | #Constraints: 36177
2470.10/2476.33 c #Conflicts: 1383000 | #Constraints: 37177
2470.10/2476.33 c #Conflicts: 1384000 | #Constraints: 38177
2470.10/2476.33 c #Conflicts: 1385000 | #Constraints: 39177
2470.10/2476.33 c #Conflicts: 1386000 | #Constraints: 40177
2470.10/2476.33 c #Conflicts: 1387000 | #Constraints: 41177
2470.10/2476.33 c #Conflicts: 1388000 | #Constraints: 42177
2470.10/2476.33 c #Conflicts: 1389000 | #Constraints: 43177
2470.10/2476.33 c #Conflicts: 1390000 | #Constraints: 44177
2470.10/2476.33 c #Conflicts: 1391000 | #Constraints: 45177
2470.10/2476.33 c #Conflicts: 1392000 | #Constraints: 46177
2470.10/2476.33 c #Conflicts: 1393000 | #Constraints: 47177
2470.10/2476.33 c #Conflicts: 1394000 | #Constraints: 48177
2470.10/2476.33 c #Conflicts: 1395000 | #Constraints: 49177
2470.10/2476.33 c #Conflicts: 1396000 | #Constraints: 50177
2470.10/2476.33 c #Conflicts: 1397000 | #Constraints: 51177
2470.10/2476.33 c #Conflicts: 1398000 | #Constraints: 52177
2470.10/2476.33 c #Conflicts: 1399000 | #Constraints: 53177
2470.10/2476.33 c #Conflicts: 1400000 | #Constraints: 54177
2470.10/2476.33 c #Conflicts: 1401000 | #Constraints: 55177
2470.10/2476.33 c #Conflicts: 1402000 | #Constraints: 56177
2470.10/2476.33 c #Conflicts: 1403000 | #Constraints: 57177
2470.10/2476.33 c #Conflicts: 1404000 | #Constraints: 58177
2470.10/2476.33 c #Conflicts: 1405000 | #Constraints: 59177
2470.10/2476.33 c #Conflicts: 1406000 | #Constraints: 60177
2470.10/2476.33 c INPROCESSING
2470.10/2476.33 c GARBAGE COLLECT
2470.10/2476.33 c rational objective 84
2508.21/2514.55 c #Conflicts: 1407000 | #Constraints: 34401
2508.21/2514.55 c #Conflicts: 1408000 | #Constraints: 35401
2508.21/2514.55 c #Conflicts: 1409000 | #Constraints: 36401
2508.21/2514.55 c #Conflicts: 1410000 | #Constraints: 37401
2508.21/2514.55 c #Conflicts: 1411000 | #Constraints: 38401
2508.21/2514.55 c #Conflicts: 1412000 | #Constraints: 39401
2508.21/2514.55 c #Conflicts: 1413000 | #Constraints: 40401
2508.21/2514.55 c #Conflicts: 1414000 | #Constraints: 41401
2508.21/2514.55 c #Conflicts: 1415000 | #Constraints: 42401
2508.21/2514.55 c #Conflicts: 1416000 | #Constraints: 43401
2508.21/2514.55 c #Conflicts: 1417000 | #Constraints: 44401
2508.21/2514.55 c #Conflicts: 1418000 | #Constraints: 45401
2508.21/2514.55 c #Conflicts: 1419000 | #Constraints: 46401
2508.21/2514.55 c #Conflicts: 1420000 | #Constraints: 47401
2508.21/2514.55 c #Conflicts: 1421000 | #Constraints: 48401
2508.21/2514.55 c #Conflicts: 1422000 | #Constraints: 49401
2508.21/2514.55 c #Conflicts: 1423000 | #Constraints: 50401
2508.21/2514.55 c #Conflicts: 1424000 | #Constraints: 51401
2508.21/2514.55 c #Conflicts: 1425000 | #Constraints: 52401
2508.21/2514.55 c #Conflicts: 1426000 | #Constraints: 53401
2508.21/2514.55 c #Conflicts: 1427000 | #Constraints: 54401
2508.21/2514.55 c #Conflicts: 1428000 | #Constraints: 55401
2508.21/2514.55 c #Conflicts: 1429000 | #Constraints: 56401
2508.21/2514.55 c #Conflicts: 1430000 | #Constraints: 57401
2508.21/2514.55 c #Conflicts: 1431000 | #Constraints: 58401
2508.21/2514.55 c #Conflicts: 1432000 | #Constraints: 59401
2508.21/2514.55 c INPROCESSING
2508.21/2514.55 c GARBAGE COLLECT
2508.21/2514.55 c rational objective 84
2730.05/2736.98 c #Conflicts: 1433000 | #Constraints: 33861
2730.05/2736.98 c #Conflicts: 1434000 | #Constraints: 34861
2730.05/2736.98 c #Conflicts: 1435000 | #Constraints: 35861
2730.05/2736.98 c #Conflicts: 1436000 | #Constraints: 36861
2730.05/2736.98 c #Conflicts: 1437000 | #Constraints: 37861
2730.05/2736.98 c #Conflicts: 1438000 | #Constraints: 38861
2730.05/2736.98 c #Conflicts: 1439000 | #Constraints: 39861
2730.05/2736.98 c #Conflicts: 1440000 | #Constraints: 40861
2730.05/2736.98 c #Conflicts: 1441000 | #Constraints: 41861
2730.05/2736.98 c #Conflicts: 1442000 | #Constraints: 42861
2730.05/2736.98 c #Conflicts: 1443000 | #Constraints: 43861
2730.05/2736.98 c #Conflicts: 1444000 | #Constraints: 44861
2730.05/2736.98 c #Conflicts: 1445000 | #Constraints: 45861
2730.05/2736.98 c #Conflicts: 1446000 | #Constraints: 46861
2730.05/2736.98 c #Conflicts: 1447000 | #Constraints: 47861
2730.05/2736.98 c #Conflicts: 1448000 | #Constraints: 48861
2730.05/2736.98 c #Conflicts: 1449000 | #Constraints: 49861
2730.05/2736.98 c #Conflicts: 1450000 | #Constraints: 50861
2730.05/2736.98 c #Conflicts: 1451000 | #Constraints: 51861
2730.05/2736.98 c #Conflicts: 1452000 | #Constraints: 52861
2730.05/2736.98 c #Conflicts: 1453000 | #Constraints: 53861
2730.05/2736.98 c #Conflicts: 1454000 | #Constraints: 54861
2730.05/2736.98 c #Conflicts: 1455000 | #Constraints: 55861
2730.05/2736.98 c #Conflicts: 1456000 | #Constraints: 56861
2730.05/2736.98 c #Conflicts: 1457000 | #Constraints: 57861
2730.05/2736.98 c #Conflicts: 1458000 | #Constraints: 58861
2730.05/2736.98 c #Conflicts: 1459000 | #Constraints: 59861
2730.05/2736.98 c #Conflicts: 1460000 | #Constraints: 60861
2730.05/2736.98 c #Conflicts: 1461000 | #Constraints: 61861
2730.05/2736.98 c #Conflicts: 1462000 | #Constraints: 62861
2730.05/2736.98 c #Conflicts: 1463000 | #Constraints: 63861
2730.05/2736.98 c #Conflicts: 1464000 | #Constraints: 64861
2730.05/2736.98 c #Conflicts: 1465000 | #Constraints: 65861
2730.05/2736.98 c #Conflicts: 1466000 | #Constraints: 66861
2730.05/2736.98 c #Conflicts: 1467000 | #Constraints: 67861
2730.05/2736.98 c #Conflicts: 1468000 | #Constraints: 68861
2730.05/2736.98 c #Conflicts: 1469000 | #Constraints: 69861
2730.05/2736.98 c #Conflicts: 1470000 | #Constraints: 70861
2730.05/2736.98 c #Conflicts: 1471000 | #Constraints: 71861
2730.05/2736.98 c #Conflicts: 1472000 | #Constraints: 72861
2730.05/2736.98 c #Conflicts: 1473000 | #Constraints: 73861
2730.05/2736.98 c #Conflicts: 1474000 | #Constraints: 74861
2730.05/2736.98 c #Conflicts: 1475000 | #Constraints: 75861
2730.05/2736.98 c #Conflicts: 1476000 | #Constraints: 76861
2730.05/2736.98 c #Conflicts: 1477000 | #Constraints: 77861
2730.05/2736.98 c #Conflicts: 1478000 | #Constraints: 78861
2730.05/2736.98 c #Conflicts: 1479000 | #Constraints: 79861
2730.05/2736.98 c #Conflicts: 1480000 | #Constraints: 80861
2730.05/2736.98 c #Conflicts: 1481000 | #Constraints: 81861
2730.05/2736.98 c #Conflicts: 1482000 | #Constraints: 82861
2730.05/2736.98 c #Conflicts: 1483000 | #Constraints: 83861
2730.05/2736.98 c #Conflicts: 1484000 | #Constraints: 84861
2730.05/2736.98 c #Conflicts: 1485000 | #Constraints: 85861
2730.05/2736.98 c #Conflicts: 1486000 | #Constraints: 86862
2730.05/2736.98 c #Conflicts: 1487000 | #Constraints: 87862
2730.05/2736.98 c #Conflicts: 1488000 | #Constraints: 88862
2730.05/2736.98 c #Conflicts: 1489000 | #Constraints: 89862
2730.05/2736.98 c #Conflicts: 1490000 | #Constraints: 90862
2730.05/2736.98 c #Conflicts: 1491000 | #Constraints: 91862
2730.05/2736.98 c #Conflicts: 1492000 | #Constraints: 92862
2730.05/2736.98 c #Conflicts: 1493000 | #Constraints: 93862
2730.05/2736.98 c #Conflicts: 1494000 | #Constraints: 94862
2730.05/2736.98 c #Conflicts: 1495000 | #Constraints: 95862
2730.05/2736.98 c #Conflicts: 1496000 | #Constraints: 96862
2730.05/2736.98 c #Conflicts: 1497000 | #Constraints: 97862
2730.05/2736.98 c #Conflicts: 1498000 | #Constraints: 98862
2730.05/2736.98 c #Conflicts: 1499000 | #Constraints: 99862
2730.05/2736.98 c #Conflicts: 1500000 | #Constraints: 100862
2730.05/2736.98 c #Conflicts: 1501000 | #Constraints: 101862
2730.05/2736.98 c #Conflicts: 1502000 | #Constraints: 102862
2730.05/2736.98 c #Conflicts: 1503000 | #Constraints: 103862
2730.05/2736.98 c #Conflicts: 1504000 | #Constraints: 104862
2730.05/2736.98 c #Conflicts: 1505000 | #Constraints: 105862
2730.05/2736.98 c #Conflicts: 1506000 | #Constraints: 106862
2730.05/2736.98 c #Conflicts: 1507000 | #Constraints: 107862
2730.05/2736.98 c #Conflicts: 1508000 | #Constraints: 108862
2730.05/2736.98 c #Conflicts: 1509000 | #Constraints: 109862
2730.05/2736.98 c #Conflicts: 1510000 | #Constraints: 110862
2730.05/2736.98 c #Conflicts: 1511000 | #Constraints: 111862
2905.05/2912.45 c #Conflicts: 1512000 | #Constraints: 112862
2905.05/2912.45 c #Conflicts: 1513000 | #Constraints: 113862
2905.05/2912.45 c #Conflicts: 1514000 | #Constraints: 114862
2905.05/2912.45 c #Conflicts: 1515000 | #Constraints: 115862
2905.05/2912.45 c #Conflicts: 1516000 | #Constraints: 116862
2905.05/2912.45 c #Conflicts: 1517000 | #Constraints: 117862
2905.05/2912.45 c #Conflicts: 1518000 | #Constraints: 118862
2905.05/2912.45 c #Conflicts: 1519000 | #Constraints: 119862
2905.05/2912.45 c #Conflicts: 1520000 | #Constraints: 120862
2905.05/2912.45 c #Conflicts: 1521000 | #Constraints: 121862
2905.05/2912.45 c #Conflicts: 1522000 | #Constraints: 122862
2905.05/2912.45 c #Conflicts: 1523000 | #Constraints: 123862
2905.05/2912.45 c #Conflicts: 1524000 | #Constraints: 124862
2905.05/2912.45 c #Conflicts: 1525000 | #Constraints: 125862
2905.05/2912.45 c #Conflicts: 1526000 | #Constraints: 126862
2905.05/2912.45 c #Conflicts: 1527000 | #Constraints: 127862
2905.05/2912.45 c #Conflicts: 1528000 | #Constraints: 128862
2905.05/2912.45 c INPROCESSING
2905.05/2912.45 c GARBAGE COLLECT
2905.05/2912.45 c #Conflicts: 1529000 | #Constraints: 68367
2905.05/2912.45 c #Conflicts: 1530000 | #Constraints: 69367
2905.05/2912.45 c #Conflicts: 1531000 | #Constraints: 70367
2905.05/2912.45 c #Conflicts: 1532000 | #Constraints: 71367
2905.05/2912.45 c #Conflicts: 1533000 | #Constraints: 72367
2905.05/2912.45 c #Conflicts: 1534000 | #Constraints: 73367
2905.05/2912.45 c #Conflicts: 1535000 | #Constraints: 74367
2905.05/2912.45 c #Conflicts: 1536000 | #Constraints: 75367
2905.05/2912.45 c #Conflicts: 1537000 | #Constraints: 76367
2905.05/2912.45 c #Conflicts: 1538000 | #Constraints: 77367
2905.05/2912.45 c #Conflicts: 1539000 | #Constraints: 78367
2905.05/2912.45 c #Conflicts: 1540000 | #Constraints: 79367
2905.05/2912.45 c #Conflicts: 1541000 | #Constraints: 80367
2905.05/2912.45 c #Conflicts: 1542000 | #Constraints: 81367
2905.05/2912.45 c #Conflicts: 1543000 | #Constraints: 82367
2905.05/2912.45 c #Conflicts: 1544000 | #Constraints: 83367
2905.05/2912.45 c #Conflicts: 1545000 | #Constraints: 84367
2905.05/2912.45 c #Conflicts: 1546000 | #Constraints: 85367
2905.05/2912.45 c #Conflicts: 1547000 | #Constraints: 86367
2905.05/2912.45 c #Conflicts: 1548000 | #Constraints: 87367
2905.05/2912.45 c #Conflicts: 1549000 | #Constraints: 88367
2905.05/2912.45 c #Conflicts: 1550000 | #Constraints: 89367
2905.05/2912.45 c #Conflicts: 1551000 | #Constraints: 90367
2905.05/2912.45 c #Conflicts: 1552000 | #Constraints: 91367
2905.05/2912.45 c #Conflicts: 1553000 | #Constraints: 92367
2905.05/2912.45 c #Conflicts: 1554000 | #Constraints: 93367
2905.05/2912.45 c #Conflicts: 1555000 | #Constraints: 94367
2905.05/2912.45 c #Conflicts: 1556000 | #Constraints: 95367
2905.05/2912.45 c INPROCESSING
2905.05/2912.45 c GARBAGE COLLECT
2905.05/2912.45 c rational objective 84
3087.33/3095.28 c #Conflicts: 1557000 | #Constraints: 51840
3087.33/3095.28 c #Conflicts: 1558000 | #Constraints: 52840
3087.33/3095.28 c #Conflicts: 1559000 | #Constraints: 53840
3087.33/3095.28 c #Conflicts: 1560000 | #Constraints: 54840
3087.33/3095.28 c #Conflicts: 1561000 | #Constraints: 55840
3087.33/3095.28 c #Conflicts: 1562000 | #Constraints: 56840
3087.33/3095.28 c #Conflicts: 1563000 | #Constraints: 57840
3087.33/3095.28 c #Conflicts: 1564000 | #Constraints: 58840
3087.33/3095.28 c #Conflicts: 1565000 | #Constraints: 59840
3087.33/3095.28 c #Conflicts: 1566000 | #Constraints: 60840
3087.33/3095.28 c #Conflicts: 1567000 | #Constraints: 61840
3087.33/3095.28 c #Conflicts: 1568000 | #Constraints: 62840
3087.33/3095.28 c #Conflicts: 1569000 | #Constraints: 63840
3087.33/3095.28 c #Conflicts: 1570000 | #Constraints: 64840
3087.33/3095.28 c #Conflicts: 1571000 | #Constraints: 65840
3087.33/3095.28 c #Conflicts: 1572000 | #Constraints: 66840
3087.33/3095.28 c #Conflicts: 1573000 | #Constraints: 67840
3087.33/3095.28 c #Conflicts: 1574000 | #Constraints: 68840
3087.33/3095.28 c #Conflicts: 1575000 | #Constraints: 69840
3087.33/3095.28 c #Conflicts: 1576000 | #Constraints: 70840
3087.33/3095.28 c #Conflicts: 1577000 | #Constraints: 71840
3087.33/3095.28 c #Conflicts: 1578000 | #Constraints: 72841
3087.33/3095.28 c #Conflicts: 1579000 | #Constraints: 73841
3087.33/3095.28 c #Conflicts: 1580000 | #Constraints: 74841
3087.33/3095.28 c #Conflicts: 1581000 | #Constraints: 75841
3087.33/3095.28 c #Conflicts: 1582000 | #Constraints: 76841
3087.33/3095.28 c #Conflicts: 1583000 | #Constraints: 77841
3087.33/3095.28 c #Conflicts: 1584000 | #Constraints: 78841
3087.33/3095.28 c INPROCESSING
3087.33/3095.28 c GARBAGE COLLECT
3087.33/3095.28 c #Conflicts: 1585000 | #Constraints: 43725
3087.33/3095.28 c #Conflicts: 1586000 | #Constraints: 44725
3087.33/3095.28 c #Conflicts: 1587000 | #Constraints: 45725
3087.33/3095.28 c #Conflicts: 1588000 | #Constraints: 46725
3087.33/3095.28 c #Conflicts: 1589000 | #Constraints: 47725
3087.33/3095.28 c #Conflicts: 1590000 | #Constraints: 48725
3087.33/3095.28 c #Conflicts: 1591000 | #Constraints: 49725
3087.33/3095.28 c #Conflicts: 1592000 | #Constraints: 50725
3087.33/3095.28 c #Conflicts: 1593000 | #Constraints: 51725
3087.33/3095.28 c #Conflicts: 1594000 | #Constraints: 52725
3087.33/3095.28 c #Conflicts: 1595000 | #Constraints: 53725
3087.33/3095.28 c #Conflicts: 1596000 | #Constraints: 54725
3087.33/3095.28 c #Conflicts: 1597000 | #Constraints: 55725
3087.33/3095.28 c #Conflicts: 1598000 | #Constraints: 56725
3087.33/3095.28 c #Conflicts: 1599000 | #Constraints: 57725
3087.33/3095.28 c #Conflicts: 1600000 | #Constraints: 58725
3087.33/3095.28 c #Conflicts: 1601000 | #Constraints: 59725
3087.33/3095.28 c #Conflicts: 1602000 | #Constraints: 60725
3087.33/3095.28 c #Conflicts: 1603000 | #Constraints: 61725
3087.33/3095.28 c #Conflicts: 1604000 | #Constraints: 62725
3087.33/3095.28 c #Conflicts: 1605000 | #Constraints: 63725
3087.33/3095.28 c #Conflicts: 1606000 | #Constraints: 64725
3087.33/3095.28 c #Conflicts: 1607000 | #Constraints: 65725
3087.33/3095.28 c #Conflicts: 1608000 | #Constraints: 66725
3087.33/3095.28 c #Conflicts: 1609000 | #Constraints: 67725
3087.33/3095.28 c #Conflicts: 1610000 | #Constraints: 68725
3087.33/3095.28 c #Conflicts: 1611000 | #Constraints: 69725
3087.33/3095.28 c INPROCESSING
3087.33/3095.28 c GARBAGE COLLECT
3087.33/3095.28 c #Conflicts: 1612000 | #Constraints: 38743
3087.33/3095.28 c #Conflicts: 1613000 | #Constraints: 39743
3087.33/3095.28 c #Conflicts: 1614000 | #Constraints: 40743
3087.33/3095.28 c #Conflicts: 1615000 | #Constraints: 41743
3087.33/3095.28 c #Conflicts: 1616000 | #Constraints: 42743
3087.33/3095.28 c #Conflicts: 1617000 | #Constraints: 43743
3087.33/3095.28 c #Conflicts: 1618000 | #Constraints: 44743
3087.33/3095.28 c #Conflicts: 1619000 | #Constraints: 45743
3087.33/3095.28 c #Conflicts: 1620000 | #Constraints: 46743
3087.33/3095.28 c #Conflicts: 1621000 | #Constraints: 47743
3087.33/3095.28 c #Conflicts: 1622000 | #Constraints: 48743
3087.33/3095.28 c #Conflicts: 1623000 | #Constraints: 49743
3087.33/3095.28 c #Conflicts: 1624000 | #Constraints: 50743
3087.33/3095.28 c #Conflicts: 1625000 | #Constraints: 51743
3087.33/3095.28 c #Conflicts: 1626000 | #Constraints: 52743
3087.33/3095.28 c #Conflicts: 1627000 | #Constraints: 53743
3087.33/3095.28 c #Conflicts: 1628000 | #Constraints: 54743
3087.33/3095.28 c #Conflicts: 1629000 | #Constraints: 55743
3087.33/3095.28 c #Conflicts: 1630000 | #Constraints: 56743
3087.33/3095.28 c #Conflicts: 1631000 | #Constraints: 57743
3087.33/3095.28 c #Conflicts: 1632000 | #Constraints: 58743
3087.33/3095.28 c #Conflicts: 1633000 | #Constraints: 59743
3087.33/3095.28 c #Conflicts: 1634000 | #Constraints: 60743
3196.51/3204.71 c #Conflicts: 1635000 | #Constraints: 61743
3196.51/3204.71 c #Conflicts: 1636000 | #Constraints: 62743
3196.51/3204.71 c #Conflicts: 1637000 | #Constraints: 63743
3196.51/3204.71 c #Conflicts: 1638000 | #Constraints: 64743
3196.51/3204.71 c #Conflicts: 1639000 | #Constraints: 65743
3196.51/3204.71 c #Conflicts: 1640000 | #Constraints: 66743
3196.51/3204.71 c INPROCESSING
3196.51/3204.71 c GARBAGE COLLECT
3196.51/3204.71 c #Conflicts: 1641000 | #Constraints: 37674
3196.51/3204.71 c #Conflicts: 1642000 | #Constraints: 38674
3196.51/3204.71 c #Conflicts: 1643000 | #Constraints: 39674
3196.51/3204.71 c #Conflicts: 1644000 | #Constraints: 40674
3196.51/3204.71 c #Conflicts: 1645000 | #Constraints: 41674
3196.51/3204.71 c #Conflicts: 1646000 | #Constraints: 42674
3196.51/3204.71 c #Conflicts: 1647000 | #Constraints: 43674
3196.51/3204.71 c #Conflicts: 1648000 | #Constraints: 44674
3196.51/3204.71 c #Conflicts: 1649000 | #Constraints: 45674
3196.51/3204.71 c #Conflicts: 1650000 | #Constraints: 46674
3196.51/3204.71 c #Conflicts: 1651000 | #Constraints: 47674
3196.51/3204.71 c #Conflicts: 1652000 | #Constraints: 48674
3196.51/3204.71 c #Conflicts: 1653000 | #Constraints: 49674
3196.51/3204.71 c #Conflicts: 1654000 | #Constraints: 50674
3196.51/3204.71 c #Conflicts: 1655000 | #Constraints: 51674
3196.51/3204.71 c #Conflicts: 1656000 | #Constraints: 52674
3196.51/3204.71 c #Conflicts: 1657000 | #Constraints: 53674
3196.51/3204.71 c #Conflicts: 1658000 | #Constraints: 54674
3196.51/3204.71 c #Conflicts: 1659000 | #Constraints: 55674
3196.51/3204.71 c #Conflicts: 1660000 | #Constraints: 56674
3196.51/3204.71 c #Conflicts: 1661000 | #Constraints: 57674
3196.51/3204.71 c #Conflicts: 1662000 | #Constraints: 58674
3196.51/3204.71 c #Conflicts: 1663000 | #Constraints: 59674
3196.51/3204.71 c #Conflicts: 1664000 | #Constraints: 60674
3196.51/3204.71 c #Conflicts: 1665000 | #Constraints: 61674
3196.51/3204.71 c #Conflicts: 1666000 | #Constraints: 62674
3196.51/3204.71 c #Conflicts: 1667000 | #Constraints: 63674
3196.51/3204.71 c #Conflicts: 1668000 | #Constraints: 64674
3196.51/3204.71 c INPROCESSING
3196.51/3204.71 c GARBAGE COLLECT
3196.51/3204.71 c #Conflicts: 1669000 | #Constraints: 36464
3196.51/3204.71 c #Conflicts: 1670000 | #Constraints: 37464
3196.51/3204.71 c #Conflicts: 1671000 | #Constraints: 38464
3196.51/3204.71 c #Conflicts: 1672000 | #Constraints: 39464
3196.51/3204.71 c #Conflicts: 1673000 | #Constraints: 40464
3196.51/3204.71 c #Conflicts: 1674000 | #Constraints: 41464
3196.51/3204.71 c #Conflicts: 1675000 | #Constraints: 42464
3196.51/3204.71 c #Conflicts: 1676000 | #Constraints: 43464
3196.51/3204.71 c #Conflicts: 1677000 | #Constraints: 44464
3196.51/3204.71 c #Conflicts: 1678000 | #Constraints: 45464
3196.51/3204.71 c #Conflicts: 1679000 | #Constraints: 46464
3196.51/3204.71 c #Conflicts: 1680000 | #Constraints: 47464
3196.51/3204.71 c #Conflicts: 1681000 | #Constraints: 48464
3196.51/3204.71 c #Conflicts: 1682000 | #Constraints: 49464
3196.51/3204.71 c #Conflicts: 1683000 | #Constraints: 50464
3196.51/3204.71 c #Conflicts: 1684000 | #Constraints: 51464
3196.51/3204.71 c #Conflicts: 1685000 | #Constraints: 52464
3196.51/3204.71 c #Conflicts: 1686000 | #Constraints: 53464
3196.51/3204.71 c #Conflicts: 1687000 | #Constraints: 54464
3196.51/3204.71 c #Conflicts: 1688000 | #Constraints: 55464
3196.51/3204.71 c #Conflicts: 1689000 | #Constraints: 56464
3196.51/3204.71 c #Conflicts: 1690000 | #Constraints: 57464
3196.51/3204.71 c #Conflicts: 1691000 | #Constraints: 58464
3196.51/3204.71 c #Conflicts: 1692000 | #Constraints: 59464
3196.51/3204.71 c #Conflicts: 1693000 | #Constraints: 60464
3196.51/3204.71 c #Conflicts: 1694000 | #Constraints: 61464
3196.51/3204.71 c #Conflicts: 1695000 | #Constraints: 62464
3196.51/3204.71 c #Conflicts: 1696000 | #Constraints: 63464
3196.51/3204.71 c INPROCESSING
3196.51/3204.71 c GARBAGE COLLECT
3196.51/3204.71 c rational objective 84
3332.35/3340.92 c #Conflicts: 1697000 | #Constraints: 35594
3332.35/3340.92 c #Conflicts: 1698000 | #Constraints: 36594
3332.35/3340.92 c #Conflicts: 1699000 | #Constraints: 37594
3332.35/3340.92 c #Conflicts: 1700000 | #Constraints: 38594
3332.35/3340.92 c #Conflicts: 1701000 | #Constraints: 39595
3332.35/3340.92 c #Conflicts: 1702000 | #Constraints: 40595
3332.35/3340.92 c #Conflicts: 1703000 | #Constraints: 41595
3332.35/3340.92 c #Conflicts: 1704000 | #Constraints: 42595
3332.35/3340.92 c #Conflicts: 1705000 | #Constraints: 43595
3332.35/3340.92 c #Conflicts: 1706000 | #Constraints: 44595
3332.35/3340.92 c #Conflicts: 1707000 | #Constraints: 45595
3332.35/3340.92 c #Conflicts: 1708000 | #Constraints: 46595
3332.35/3340.92 c #Conflicts: 1709000 | #Constraints: 47595
3332.35/3340.92 c #Conflicts: 1710000 | #Constraints: 48595
3332.35/3340.92 c #Conflicts: 1711000 | #Constraints: 49595
3332.35/3340.92 c #Conflicts: 1712000 | #Constraints: 50595
3332.35/3340.92 c #Conflicts: 1713000 | #Constraints: 51595
3332.35/3340.92 c #Conflicts: 1714000 | #Constraints: 52595
3332.35/3340.92 c #Conflicts: 1715000 | #Constraints: 53595
3332.35/3340.92 c #Conflicts: 1716000 | #Constraints: 54595
3332.35/3340.92 c #Conflicts: 1717000 | #Constraints: 55595
3332.35/3340.92 c #Conflicts: 1718000 | #Constraints: 56595
3332.35/3340.92 c #Conflicts: 1719000 | #Constraints: 57595
3332.35/3340.92 c #Conflicts: 1720000 | #Constraints: 58595
3332.35/3340.92 c #Conflicts: 1721000 | #Constraints: 59595
3332.35/3340.92 c #Conflicts: 1722000 | #Constraints: 60595
3332.35/3340.92 c #Conflicts: 1723000 | #Constraints: 61595
3332.35/3340.92 c #Conflicts: 1724000 | #Constraints: 62595
3332.35/3340.92 c #Conflicts: 1725000 | #Constraints: 63595
3332.35/3340.92 c INPROCESSING
3332.35/3340.92 c GARBAGE COLLECT
3332.35/3340.92 c #Conflicts: 1726000 | #Constraints: 35848
3332.35/3340.92 c #Conflicts: 1727000 | #Constraints: 36848
3332.35/3340.92 c #Conflicts: 1728000 | #Constraints: 37848
3332.35/3340.92 c #Conflicts: 1729000 | #Constraints: 38848
3332.35/3340.92 c #Conflicts: 1730000 | #Constraints: 39848
3332.35/3340.92 c #Conflicts: 1731000 | #Constraints: 40848
3332.35/3340.92 c #Conflicts: 1732000 | #Constraints: 41849
3332.35/3340.92 c #Conflicts: 1733000 | #Constraints: 42849
3332.35/3340.92 c #Conflicts: 1734000 | #Constraints: 43849
3332.35/3340.92 c #Conflicts: 1735000 | #Constraints: 44849
3332.35/3340.92 c #Conflicts: 1736000 | #Constraints: 45849
3332.35/3340.92 c #Conflicts: 1737000 | #Constraints: 46849
3332.35/3340.92 c #Conflicts: 1738000 | #Constraints: 47849
3332.35/3340.92 c #Conflicts: 1739000 | #Constraints: 48849
3332.35/3340.92 c #Conflicts: 1740000 | #Constraints: 49849
3332.35/3340.92 c #Conflicts: 1741000 | #Constraints: 50849
3332.35/3340.92 c #Conflicts: 1742000 | #Constraints: 51849
3332.35/3340.92 c #Conflicts: 1743000 | #Constraints: 52849
3332.35/3340.92 c #Conflicts: 1744000 | #Constraints: 53849
3332.35/3340.92 c #Conflicts: 1745000 | #Constraints: 54849
3332.35/3340.92 c #Conflicts: 1746000 | #Constraints: 55849
3332.35/3340.92 c #Conflicts: 1747000 | #Constraints: 56849
3332.35/3340.92 c #Conflicts: 1748000 | #Constraints: 57849
3332.35/3340.92 c #Conflicts: 1749000 | #Constraints: 58849
3332.35/3340.92 c #Conflicts: 1750000 | #Constraints: 59849
3332.35/3340.92 c #Conflicts: 1751000 | #Constraints: 60849
3332.35/3340.92 c #Conflicts: 1752000 | #Constraints: 61849
3332.35/3340.92 c #Conflicts: 1753000 | #Constraints: 62849
3332.35/3340.92 c #Conflicts: 1754000 | #Constraints: 63849
3332.35/3340.92 c #Conflicts: 1755000 | #Constraints: 64849
3332.35/3340.92 c #Conflicts: 1756000 | #Constraints: 65849
3332.35/3340.92 c #Conflicts: 1757000 | #Constraints: 66849
3332.35/3340.92 c #Conflicts: 1758000 | #Constraints: 67849
3332.35/3340.92 c #Conflicts: 1759000 | #Constraints: 68849
3332.35/3340.92 c #Conflicts: 1760000 | #Constraints: 69849
3332.35/3340.92 c #Conflicts: 1761000 | #Constraints: 70849
3332.35/3340.92 c #Conflicts: 1762000 | #Constraints: 71849
3332.35/3340.92 c #Conflicts: 1763000 | #Constraints: 72849
3332.35/3340.92 c #Conflicts: 1764000 | #Constraints: 73849
3332.35/3340.92 c #Conflicts: 1765000 | #Constraints: 74849
3332.35/3340.92 c #Conflicts: 1766000 | #Constraints: 75849
3332.35/3340.92 c #Conflicts: 1767000 | #Constraints: 76849
3332.35/3340.92 c #Conflicts: 1768000 | #Constraints: 77849
3332.35/3340.92 c #Conflicts: 1769000 | #Constraints: 78849
3332.35/3340.92 c #Conflicts: 1770000 | #Constraints: 79849
3332.35/3340.92 c #Conflicts: 1771000 | #Constraints: 80849
3332.35/3340.92 c #Conflicts: 1772000 | #Constraints: 81849
3332.35/3340.92 c #Conflicts: 1773000 | #Constraints: 82849
3332.35/3340.92 c #Conflicts: 1774000 | #Constraints: 83849
3332.35/3340.92 c #Conflicts: 1775000 | #Constraints: 84849
3574.97/3584.16 c #Conflicts: 1776000 | #Constraints: 85849
3574.97/3584.16 c #Conflicts: 1777000 | #Constraints: 86849
3574.97/3584.16 c #Conflicts: 1778000 | #Constraints: 87849
3574.97/3584.16 c #Conflicts: 1779000 | #Constraints: 88849
3574.97/3584.16 c #Conflicts: 1780000 | #Constraints: 89849
3574.97/3584.16 c #Conflicts: 1781000 | #Constraints: 90849
3574.97/3584.16 c #Conflicts: 1782000 | #Constraints: 91849
3574.97/3584.16 c #Conflicts: 1783000 | #Constraints: 92849
3574.97/3584.16 c #Conflicts: 1784000 | #Constraints: 93849
3574.97/3584.16 c #Conflicts: 1785000 | #Constraints: 94849
3574.97/3584.16 c #Conflicts: 1786000 | #Constraints: 95849
3574.97/3584.16 c #Conflicts: 1787000 | #Constraints: 96849
3574.97/3584.16 c #Conflicts: 1788000 | #Constraints: 97849
3574.97/3584.16 c #Conflicts: 1789000 | #Constraints: 98849
3574.97/3584.16 c #Conflicts: 1790000 | #Constraints: 99849
3574.97/3584.16 c #Conflicts: 1791000 | #Constraints: 100849
3574.97/3584.16 c #Conflicts: 1792000 | #Constraints: 101849
3574.97/3584.16 c #Conflicts: 1793000 | #Constraints: 102849
3574.97/3584.16 c #Conflicts: 1794000 | #Constraints: 103849
3574.97/3584.16 c #Conflicts: 1795000 | #Constraints: 104849
3574.97/3584.16 c #Conflicts: 1796000 | #Constraints: 105849
3574.97/3584.16 c #Conflicts: 1797000 | #Constraints: 106849
3574.97/3584.16 c #Conflicts: 1798000 | #Constraints: 107849
3574.97/3584.16 c #Conflicts: 1799000 | #Constraints: 108849
3574.97/3584.16 c #Conflicts: 1800000 | #Constraints: 109849
3574.97/3584.16 c #Conflicts: 1801000 | #Constraints: 110849
3574.97/3584.16 c #Conflicts: 1802000 | #Constraints: 111849
3574.97/3584.16 c #Conflicts: 1803000 | #Constraints: 112849
3574.97/3584.16 c #Conflicts: 1804000 | #Constraints: 113849
3574.97/3584.16 c #Conflicts: 1805000 | #Constraints: 114849
3574.97/3584.16 c #Conflicts: 1806000 | #Constraints: 115849
3574.97/3584.16 c #Conflicts: 1807000 | #Constraints: 116849
3574.97/3584.16 c #Conflicts: 1808000 | #Constraints: 117849
3574.97/3584.16 c #Conflicts: 1809000 | #Constraints: 118849
3574.97/3584.16 c #Conflicts: 1810000 | #Constraints: 119849
3574.97/3584.16 c #Conflicts: 1811000 | #Constraints: 120849
3574.97/3584.16 c #Conflicts: 1812000 | #Constraints: 121849
3574.97/3584.16 c #Conflicts: 1813000 | #Constraints: 122849
3574.97/3584.16 c #Conflicts: 1814000 | #Constraints: 123849
3574.97/3584.16 c #Conflicts: 1815000 | #Constraints: 124849
3574.97/3584.16 c #Conflicts: 1816000 | #Constraints: 125849
3574.97/3584.16 c #Conflicts: 1817000 | #Constraints: 126849
3574.97/3584.16 c #Conflicts: 1818000 | #Constraints: 127849
3574.97/3584.16 c #Conflicts: 1819000 | #Constraints: 128849
3574.97/3584.16 c #Conflicts: 1820000 | #Constraints: 129849
3574.97/3584.16 c #Conflicts: 1821000 | #Constraints: 130849
3574.97/3584.16 c #Conflicts: 1822000 | #Constraints: 131849
3574.97/3584.16 c #Conflicts: 1823000 | #Constraints: 132849
3574.97/3584.16 c #Conflicts: 1824000 | #Constraints: 133849
3574.97/3584.16 c #Conflicts: 1825000 | #Constraints: 134849
3574.97/3584.16 c #Conflicts: 1826000 | #Constraints: 135849
3574.97/3584.16 c #Conflicts: 1827000 | #Constraints: 136849
3574.97/3584.16 c #Conflicts: 1828000 | #Constraints: 137849
3574.97/3584.16 c #Conflicts: 1829000 | #Constraints: 138849
3574.97/3584.16 c #Conflicts: 1830000 | #Constraints: 139849
3574.97/3584.16 c #Conflicts: 1831000 | #Constraints: 140849
3574.97/3584.16 c INPROCESSING
3574.97/3584.16 c GARBAGE COLLECT
3574.97/3584.16 c rational objective 84
3600.01/3609.20 c #Conflicts: 1832000 | #Constraints: 74290
3600.01/3609.20 c #Conflicts: 1833000 | #Constraints: 75290
3600.01/3609.20 c #Conflicts: 1834000 | #Constraints: 76290
3600.01/3609.20 c #Conflicts: 1835000 | #Constraints: 77290
3600.01/3609.20 c #Conflicts: 1836000 | #Constraints: 78290
3600.01/3609.20 c #Conflicts: 1837000 | #Constraints: 79290
3600.01/3609.20 c #Conflicts: 1838000 | #Constraints: 80290
3600.01/3609.20 c #Conflicts: 1839000 | #Constraints: 81290
3600.01/3609.20 c #Conflicts: 1840000 | #Constraints: 82290
3600.01/3609.20 c cpu time 3577.47 s
3600.01/3609.20 c deterministic time 256755823611 2.57e+11
3600.01/3609.20 c optimization time 22.7345 s
3600.01/3609.20 c total solve time 3554.7 s
3600.01/3609.20 c core-guided solve time 0 s
3600.01/3609.20 c propagation time 1964.44 s
3600.01/3609.20 c conflict analysis time 1398.33 s
3600.01/3609.20 c propagations 917254403
3600.01/3609.20 c resolve steps 87041166
3600.01/3609.20 c decisions 11711064
3600.01/3609.20 c conflicts 1840060
3600.01/3609.20 c restarts 3579
3600.01/3609.20 c inprocessing phases 86
3600.01/3609.20 c garbage collections 86 ,( 100.00 )
3600.01/3609.20 c input clauses 5798 ,( 98.57 )
3600.01/3609.20 c input cardinalities 84 ,( 1.43 )
3600.01/3609.20 c input general constraints 0 ,( 0.00 )
3600.01/3609.20 c input average constraint length 6.23
3600.01/3609.20 c input average constraint degree 1.94
3600.01/3609.20 c learned clauses 1442608 ,( 78.40 )
3600.01/3609.20 c learned cardinalities 28664 ,( 1.56 )
3600.01/3609.20 c learned general constraints 368812 ,( 20.04 )
3600.01/3609.20 c learned average constraint length 681.97
3600.01/3609.20 c learned average constraint degree 8872932.01
3600.01/3609.20 c watched CF 32, 64, 128, Arb: 127904 , 0 , 0 , 0
3600.01/3609.20 c counting CF 32, 64, 128, Arb: 240908 , 0 , 0 , 0
3600.01/3609.20 c watched constraints 127904 ,( 34.68 )
3600.01/3609.20 c counting constraints 240908 ,( 65.32 )
3600.01/3609.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1579370915 , 628640252 , 3374547273 ,( 159246045 , 3215301228 )
3600.01/3609.20 c gcd simplifications 1154
3600.01/3609.20 c detected cardinalities 1503
3600.01/3609.20 c weakened non-implied lits 356857319
3600.01/3609.20 c weakened non-implying lits 240728
3600.01/3609.20 c original variables 5712
3600.01/3609.20 c clausal propagations 348882647
3600.01/3609.20 c cardinality propagations 335924451
3600.01/3609.20 c watched propagations 4758433
3600.01/3609.20 c counting propagations 221777540
3600.01/3609.20 c watch lookups 142641535683
3600.01/3609.20 c watch backjump lookups 0
3600.01/3609.20 c watch checks 41620805244
3600.01/3609.20 c propagation checks 66166386433
3600.01/3609.20 c constraint additions 4466952941
3600.01/3609.20 c trail pops 930801186
3600.01/3609.20 c formula constraints 5882
3600.01/3609.20 c learned constraints 1840047
3600.01/3609.20 c bound constraints 0
3600.01/3609.20 c core-guided constraints 0
3600.01/3609.20 c encountered formula constraints 52935661
3600.01/3609.20 c encountered learned constraints 35945474
3600.01/3609.20 c encountered bound constraints 0
3600.01/3609.20 c encountered core-guided constraints 0
3600.01/3609.20 c LP total time 168.643 s
3600.01/3609.20 c LP solve time 132.24 s
3600.01/3609.20 c LP constraints added 7419
3600.01/3609.20 c LP constraints removed 1395
3600.01/3609.20 c LP pivots internal 184456
3600.01/3609.20 c LP pivots root 192200
3600.01/3609.20 c LP calls 41
3600.01/3609.20 c LP optimalities 24
3600.01/3609.20 c LP no pivot count 2
3600.01/3609.20 c LP infeasibilities 12
3600.01/3609.20 c LP valid Farkas constraints 12
3600.01/3609.20 c LP learned Farkas constraints 12
3600.01/3609.20 c LP basis resets 0
3600.01/3609.20 c LP cycling count 0
3600.01/3609.20 c LP singular count 0
3600.01/3609.20 c LP no primal count 0
3600.01/3609.20 c LP no farkas count 0
3600.01/3609.20 c LP other issue count 0
3600.01/3609.20 c LP Gomory cuts 13
3600.01/3609.20 c LP learned cuts 1614
3600.01/3609.20 c LP deleted cuts 1512
3600.01/3609.20 c LP encountered Gomory constraints 0
3600.01/3609.20 c LP encountered Farkas constraints 62
3600.01/3609.20 c LP encountered learned Farkas constraints 17
3600.01/3609.20 c CG auxiliary variables introduced 0
3600.01/3609.20 c CG solutions found 0
3600.01/3609.20 c CG cores constructed 0
3600.01/3609.20 c CG core cardinality constraints returned 0
3600.01/3609.20 c CG unit cores 0
3600.01/3609.20 c CG single cores 0
3600.01/3609.20 c CG blocks removed during cardinality reduction 0
3600.01/3609.20 c CG first core best 0
3600.01/3609.20 c CG decision core best 0
3600.01/3609.20 c CG core reduction tie 0
3600.01/3609.20 c CG core degree average 0.00
3600.01/3609.20 c CG core slack average 0.00
3600.01/3609.20 c CG core upper bound improvements 0
3600.01/3609.20 c STR number of successful calls 0
3600.01/3609.20 c STR number of unsuccessful calls 0
3600.01/3609.20 c STR number of inconclusive calls 0
3600.01/3609.20 c STR number of successful attempts 0
3600.01/3609.20 c STR number of unsuccessful attempts 0
3600.01/3609.20 c STR number of inconclusive attempts 0
3600.01/3609.20 c STR average degree increase per successful call inf
3600.01/3609.20 c STR average degree increase per successful attempt inf
3600.01/3609.20 c STR total number of conflicts for successful attempts 0
3600.01/3609.20 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.20 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.20 c STR average number of conflicts per successful attempt inf
3600.01/3609.20 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.20 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.20 c AVG.sumWPerc 58.04
3600.01/3609.20 c bigint constraints 0
3600.01/3609.20 s UNKNOWN
3600.01/3609.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60965 MiB free)
memory of node 1: 64507 MiB (63046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507339-1751176499/watcher-4507339-1751176499 -o /tmp/evaluation-result-4507339-1751176499/solver-4507339-1751176499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22983 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507339-1751176499.opb PROOFDIR/proof-4507339-1751176499
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23935, runsolver pid=23932
[startup+0.100064 s]*
/proc/loadavg: 4.16 4.11 4.09 5/273 23937
/proc/meminfo: memFree=126974872/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=72312 memory=25092 CPUtime=0.07 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 4775 0 0 0 6 1 0 0 20 0 1 0 33327788 74047488 6273 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 18078 6273 2304 1147 0 5505 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 76504 KiB
Current children cumulated memory: 28164 KiB
[startup+0.205754 s]*
/proc/loadavg: 4.16 4.11 4.09 5/273 23937
/proc/meminfo: memFree=126973864/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=72704 memory=25732 CPUtime=0.18 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 4927 0 0 0 16 2 0 0 20 0 1 0 33327788 74448896 6433 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 18176 6433 2304 1147 0 5603 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76896 KiB
Current children cumulated memory: 28804 KiB
[startup+0.305677 s]*
/proc/loadavg: 4.16 4.11 4.09 5/273 23937
/proc/meminfo: memFree=126973864/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=72704 memory=25732 CPUtime=0.28 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 4927 0 0 0 26 2 0 0 20 0 1 0 33327788 74448896 6433 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 18176 6433 2304 1147 0 5603 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 76896 KiB
Current children cumulated memory: 28804 KiB
[startup+0.700178 s]
/proc/loadavg: 4.16 4.11 4.09 5/273 23937
/proc/meminfo: memFree=126970244/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=73840 memory=26628 CPUtime=0.67 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 5163 0 0 0 65 2 0 0 20 0 1 0 33327788 75612160 6657 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 18460 6657 2304 1147 0 5887 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 78032 KiB
Current children cumulated memory: 29700 KiB
[startup+1.50017 s]
/proc/loadavg: 4.16 4.11 4.09 5/273 23937
/proc/meminfo: memFree=126966212/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=75780 memory=30724 CPUtime=1.46 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 6119 0 0 0 142 4 0 0 20 0 1 0 33327788 77598720 7681 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 18945 7681 2368 1147 0 6372 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 79972 KiB
Current children cumulated memory: 33796 KiB
[startup+3.10549 s]
/proc/loadavg: 4.16 4.11 4.09 5/273 23937
/proc/meminfo: memFree=126937664/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=79000 memory=36324 CPUtime=3.07 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 7007 0 0 0 299 8 0 0 20 0 1 0 33327788 80896000 9081 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 19750 9081 2368 1147 0 7177 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 83192 KiB
Current children cumulated memory: 39396 KiB
[startup+6.3002 s]
/proc/loadavg: 4.15 4.11 4.09 5/273 23937
/proc/meminfo: memFree=126890292/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=85976 memory=42648 CPUtime=6.25 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 8097 0 0 0 609 16 0 0 20 0 1 0 33327788 88039424 10662 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 21494 10662 2368 1147 0 8921 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 90168 KiB
Current children cumulated memory: 45720 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/273 23937
/proc/meminfo: memFree=126837580/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=95100 memory=50636 CPUtime=12.63 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 9564 0 0 0 1236 27 0 0 20 0 1 0 33327788 97382400 12659 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 23775 12659 2368 1147 0 11202 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 99292 KiB
Current children cumulated memory: 53708 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 23937
/proc/meminfo: memFree=126650828/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=97748 memory=53580 CPUtime=25.41 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 10318 0 0 0 2488 53 0 0 20 0 1 0 33327788 100093952 13395 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 24437 13395 2368 1147 0 11864 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 101940 KiB
Current children cumulated memory: 56652 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 23937
/proc/meminfo: memFree=126244052/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=123796 memory=80716 CPUtime=50.95 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 17098 0 0 0 4997 98 0 0 20 0 1 0 33327788 126767104 20179 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 30949 20179 2368 1147 0 18376 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 127988 KiB
Current children cumulated memory: 83788 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/273 23944
/proc/meminfo: memFree=125621708/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=217568 memory=150460 CPUtime=102.02 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 24835 0 0 0 10033 169 0 0 20 0 1 0 33327788 222789632 37615 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 54392 37615 2368 1147 0 41819 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 221760 KiB
Current children cumulated memory: 153532 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/272 23946
/proc/meminfo: memFree=125111292/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=238684 memory=187568 CPUtime=161.87 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 29524 0 0 0 15954 233 0 0 20 0 1 0 33327788 244412416 46892 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 59671 46892 2368 1147 0 47098 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 242876 KiB
Current children cumulated memory: 190640 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 23948
/proc/meminfo: memFree=124519964/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=306972 memory=226860 CPUtime=221.73 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 33731 0 0 0 21886 287 0 0 20 0 1 0 33327788 314339328 56715 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 76743 56715 2368 1147 0 64170 0
################
# More data... #
################
/proc/23937/statm: 181691 165658 2368 1147 0 169118 0
Current children cumulated CPU time: 3034.58 s
Current children cumulated vsize: 730956 KiB
Current children cumulated memory: 665704 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/273 24112
/proc/meminfo: memFree=104226008/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=726764 memory=662632 CPUtime=3094.41 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 82046 0 0 0 307434 2007 0 0 20 0 1 0 33327788 744206336 165658 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 181691 165658 2368 1147 0 169118 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 730956 KiB
Current children cumulated memory: 665704 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 24114
/proc/meminfo: memFree=103911440/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=726764 memory=662632 CPUtime=3154.24 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 82046 0 0 0 313375 2049 0 0 20 0 1 0 33327788 744206336 165658 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 181691 165658 2368 1147 0 169118 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 730956 KiB
Current children cumulated memory: 665704 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/271 24116
/proc/meminfo: memFree=103624140/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=726764 memory=662632 CPUtime=3214.07 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 82046 0 0 0 319314 2093 0 0 20 0 1 0 33327788 744206336 165658 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 181691 165658 2368 1147 0 169118 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 730956 KiB
Current children cumulated memory: 665704 KiB
[startup+3282.3 s]
/proc/loadavg: 3.52 3.96 4.05 2/251 24213
/proc/meminfo: memFree=124155916/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=726764 memory=663656 CPUtime=3273.9 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 82052 0 0 0 325257 2133 0 0 20 0 1 0 33327788 744206336 165914 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 181691 165914 2368 1147 0 169118 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 730956 KiB
Current children cumulated memory: 666728 KiB
[startup+3342.3 s]
/proc/loadavg: 1.97 3.43 3.86 2/252 24217
/proc/meminfo: memFree=124099880/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=726764 memory=679272 CPUtime=3333.75 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 82069 0 0 0 331210 2165 0 0 20 0 1 0 33327788 744206336 169818 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 181691 169818 2368 1147 0 169118 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 730956 KiB
Current children cumulated memory: 682344 KiB
[startup+3402.3 s]
/proc/loadavg: 1.43 3.02 3.69 2/251 24219
/proc/meminfo: memFree=124037232/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=726764 memory=683752 CPUtime=3393.6 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 82108 0 0 0 337173 2187 0 0 20 0 1 0 33327788 744206336 170938 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 181691 170938 2368 1147 0 169118 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 730956 KiB
Current children cumulated memory: 686824 KiB
[startup+3462.3 s]
/proc/loadavg: 1.21 2.66 3.52 2/250 24221
/proc/meminfo: memFree=123990776/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=726764 memory=683752 CPUtime=3453.44 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 82161 0 0 0 343136 2208 0 0 20 0 1 0 33327788 744206336 170938 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 181691 170938 2368 1147 0 169118 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 730956 KiB
Current children cumulated memory: 686824 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 2.37 3.37 2/250 24223
/proc/meminfo: memFree=123961584/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=726764 memory=683752 CPUtime=3513.31 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 82185 0 0 0 349106 2225 0 0 20 0 1 0 33327788 744206336 170938 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 181691 170938 2368 1147 0 169118 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 730956 KiB
Current children cumulated memory: 686824 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 2.15 3.23 2/251 24228
/proc/meminfo: memFree=123865080/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=946948 memory=714136 CPUtime=3573.17 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 83656 0 0 0 355073 2244 0 0 20 0 1 0 33327788 969674752 178534 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 236737 178534 2368 1147 0 224164 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 951140 KiB
Current children cumulated memory: 717208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.10 2.06 3.16 2/251 24231
/proc/meminfo: memFree=123811816/131249996 swapFree=33010684/33010684
[pid=23935] ppid=23932 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23935/stat : 23935 (run-dec-ls-log.) S 23932 23935 22971 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33327788 4292608 768 18446744073709551615 94037587472384 94037588366917 140727019889312 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94037588605968 94037588653712 94037603696640 140727019890971 140727019891169 140727019891169 140727019896771 0
/proc/23935/statm: 1048 768 704 219 0 110 0
[pid=23937] ppid=23935 vsize=946948 memory=714136 CPUtime=3600.01 cores=1,3
/proc/23937/stat : 23937 (roundingsat) R 23935 23935 22971 0 -1 4194304 83656 0 0 0 357746 2255 0 0 20 0 1 0 33327788 969674752 178534 18446744073709551615 4227072 8923433 140736279245680 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10551296 140736279247184 140736279247400 140736279247400 140736279252970 0
/proc/23937/statm: 236737 178534 2368 1147 0 224164 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 951140 KiB
Current children cumulated memory: 717208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 23935 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002109 s, system=0 s
[startup+3609.22 s]
# the end of solver process 23937 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.48 s, system=22.5599 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.22
CPU time (s): 3600.04
CPU user time (s): 3577.48
CPU system time (s): 22.5599
CPU usage (%): 99.7456
Max. virtual memory (cumulated for all children) (KiB): 951140
Max. memory (cumulated for all children) (KiB): 717208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.48
system time used= 22.5599
maximum resident set size= 714520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11272936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 466
involuntary context switches= 5659
# summary of solver processes directly reported to runsolver:
# pid: 23935,23937
# total CPU time (s): 3600.04
# total CPU user time (s): 3577.48
# total CPU system time (s): 22.5599
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6013 second user time and 12.0029 second system time
The end
Begin job on nodeC024 at 2025-06-29 07:54:59
IDJOB=4507339
IDBENCH=158343
IDSOLVER=3354
FILE ID=nodeC024/4507339-1751176499
RUNJOBID= nodeC024-1751168926-22983
SLURM_JOB_ID= 9587515
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507339-1751176499/watcher-4507339-1751176499 -o /tmp/evaluation-result-4507339-1751176499/solver-4507339-1751176499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22983 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507339-1751176499.opb PROOFDIR/proof-4507339-1751176499
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e
RANDOM SEED=1613176178
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.679
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.784
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.610
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.671
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.701
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.677
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.223
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3610.892
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126988332 kB
MemAvailable: 128975292 kB
Buffers: 3280 kB
Cached: 2794864 kB
SwapCached: 0 kB
Active: 1151492 kB
Inactive: 2574760 kB
Active(anon): 946272 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 2574760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 88204 kB
Writeback: 0 kB
AnonPages: 930856 kB
Mapped: 116156 kB
Shmem: 18064 kB
KReclaimable: 92036 kB
Slab: 180752 kB
SReclaimable: 92036 kB
SUnreclaim: 88716 kB
KernelStack: 4400 kB
PageTables: 5096 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1429360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 143360 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC024 at 2025-06-29 08:55:08