0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.11 c #variables 5712 #constraints 5882
30.48/30.61 c #Conflicts: 1000 | #Constraints: 6881
30.48/30.61 c #Conflicts: 2000 | #Constraints: 7881
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 3000 | #Constraints: 7565
30.48/30.61 c #Conflicts: 4000 | #Constraints: 8565
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 5000 | #Constraints: 8022
30.48/30.61 c #Conflicts: 6000 | #Constraints: 9022
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 7000 | #Constraints: 8086
30.48/30.61 c #Conflicts: 8000 | #Constraints: 9086
30.48/30.61 c #Conflicts: 9000 | #Constraints: 10086
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 10000 | #Constraints: 8798
30.48/30.61 c #Conflicts: 11000 | #Constraints: 9798
30.48/30.61 c #Conflicts: 12000 | #Constraints: 10798
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 13000 | #Constraints: 9283
30.48/30.61 c #Conflicts: 14000 | #Constraints: 10283
30.48/30.61 c #Conflicts: 15000 | #Constraints: 11283
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 16000 | #Constraints: 9572
30.48/30.61 c #Conflicts: 17000 | #Constraints: 10572
30.48/30.61 c #Conflicts: 18000 | #Constraints: 11572
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 19000 | #Constraints: 9622
30.48/30.61 c #Conflicts: 20000 | #Constraints: 10622
30.48/30.61 c #Conflicts: 21000 | #Constraints: 11622
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 22000 | #Constraints: 9426
30.48/30.61 c #Conflicts: 23000 | #Constraints: 10426
30.48/30.61 c #Conflicts: 24000 | #Constraints: 11426
30.48/30.61 c #Conflicts: 25000 | #Constraints: 12426
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 26000 | #Constraints: 10032
30.48/30.61 c #Conflicts: 27000 | #Constraints: 11032
30.48/30.61 c #Conflicts: 28000 | #Constraints: 12032
30.48/30.61 c #Conflicts: 29000 | #Constraints: 13032
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 30000 | #Constraints: 10484
30.48/30.61 c #Conflicts: 31000 | #Constraints: 11484
30.48/30.61 c #Conflicts: 32000 | #Constraints: 12484
30.48/30.61 c #Conflicts: 33000 | #Constraints: 13484
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 34000 | #Constraints: 10696
30.48/30.61 c #Conflicts: 35000 | #Constraints: 11696
30.48/30.61 c #Conflicts: 36000 | #Constraints: 12696
30.48/30.61 c #Conflicts: 37000 | #Constraints: 13696
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 38000 | #Constraints: 10719
30.48/30.61 c #Conflicts: 39000 | #Constraints: 11719
30.48/30.61 c #Conflicts: 40000 | #Constraints: 12719
30.48/30.61 c #Conflicts: 41000 | #Constraints: 13719
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 42000 | #Constraints: 10521
30.48/30.61 c #Conflicts: 43000 | #Constraints: 11521
30.48/30.61 c #Conflicts: 44000 | #Constraints: 12521
30.48/30.61 c #Conflicts: 45000 | #Constraints: 13521
30.48/30.61 c #Conflicts: 46000 | #Constraints: 14521
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c #Conflicts: 47000 | #Constraints: 11133
30.48/30.61 c #Conflicts: 48000 | #Constraints: 12133
30.48/30.61 c #Conflicts: 49000 | #Constraints: 13133
30.48/30.61 c #Conflicts: 50000 | #Constraints: 14133
30.48/30.61 c #Conflicts: 51000 | #Constraints: 15133
30.48/30.61 c INPROCESSING
30.48/30.61 c GARBAGE COLLECT
30.48/30.61 c rational objective 84
84.01/84.37 c #Conflicts: 52000 | #Constraints: 11589
84.01/84.37 c #Conflicts: 53000 | #Constraints: 12589
84.01/84.37 c #Conflicts: 54000 | #Constraints: 13589
84.01/84.37 c #Conflicts: 55000 | #Constraints: 14589
84.01/84.37 c #Conflicts: 56000 | #Constraints: 15589
84.01/84.37 c INPROCESSING
84.01/84.37 c GARBAGE COLLECT
84.01/84.37 c #Conflicts: 57000 | #Constraints: 11807
84.01/84.37 c #Conflicts: 58000 | #Constraints: 12807
84.01/84.37 c #Conflicts: 59000 | #Constraints: 13807
84.01/84.37 c #Conflicts: 60000 | #Constraints: 14807
84.01/84.37 c #Conflicts: 61000 | #Constraints: 15807
84.01/84.37 c INPROCESSING
84.01/84.37 c GARBAGE COLLECT
84.01/84.37 c #Conflicts: 62000 | #Constraints: 11783
84.01/84.37 c #Conflicts: 63000 | #Constraints: 12783
84.01/84.37 c #Conflicts: 64000 | #Constraints: 13783
84.01/84.37 c #Conflicts: 65000 | #Constraints: 14783
84.01/84.37 c #Conflicts: 66000 | #Constraints: 15783
84.01/84.37 c INPROCESSING
84.01/84.37 c GARBAGE COLLECT
84.01/84.37 c #Conflicts: 67000 | #Constraints: 11621
84.01/84.37 c #Conflicts: 68000 | #Constraints: 12621
84.01/84.37 c #Conflicts: 69000 | #Constraints: 13621
84.01/84.37 c #Conflicts: 70000 | #Constraints: 14621
84.01/84.37 c #Conflicts: 71000 | #Constraints: 15621
84.01/84.37 c #Conflicts: 72000 | #Constraints: 16621
84.01/84.37 c INPROCESSING
84.01/84.37 c GARBAGE COLLECT
84.01/84.37 c #Conflicts: 73000 | #Constraints: 12222
84.01/84.37 c #Conflicts: 74000 | #Constraints: 13222
84.01/84.37 c #Conflicts: 75000 | #Constraints: 14222
84.01/84.37 c #Conflicts: 76000 | #Constraints: 15222
84.01/84.37 c #Conflicts: 77000 | #Constraints: 16222
84.01/84.37 c #Conflicts: 78000 | #Constraints: 17222
84.01/84.37 c #Conflicts: 79000 | #Constraints: 18222
84.01/84.37 c #Conflicts: 80000 | #Constraints: 19222
84.01/84.37 c #Conflicts: 81000 | #Constraints: 20222
84.01/84.37 c #Conflicts: 82000 | #Constraints: 21222
84.01/84.37 c #Conflicts: 83000 | #Constraints: 22222
84.01/84.37 c #Conflicts: 84000 | #Constraints: 23222
84.01/84.37 c #Conflicts: 85000 | #Constraints: 24222
84.01/84.37 c #Conflicts: 86000 | #Constraints: 25222
84.01/84.37 c #Conflicts: 87000 | #Constraints: 26222
84.01/84.37 c #Conflicts: 88000 | #Constraints: 27222
84.01/84.37 c #Conflicts: 89000 | #Constraints: 28222
84.01/84.37 c #Conflicts: 90000 | #Constraints: 29222
84.01/84.37 c #Conflicts: 91000 | #Constraints: 30222
84.01/84.37 c #Conflicts: 92000 | #Constraints: 31222
84.01/84.37 c #Conflicts: 93000 | #Constraints: 32222
84.01/84.37 c #Conflicts: 94000 | #Constraints: 33222
84.01/84.37 c #Conflicts: 95000 | #Constraints: 34222
84.01/84.37 c #Conflicts: 96000 | #Constraints: 35222
84.01/84.37 c INPROCESSING
84.01/84.37 c GARBAGE COLLECT
84.01/84.37 c #Conflicts: 97000 | #Constraints: 21636
84.01/84.37 c #Conflicts: 98000 | #Constraints: 22636
84.01/84.37 c #Conflicts: 99000 | #Constraints: 23636
84.01/84.37 c #Conflicts: 100000 | #Constraints: 24636
84.01/84.37 c #Conflicts: 101000 | #Constraints: 25637
84.01/84.37 c #Conflicts: 102000 | #Constraints: 26637
84.01/84.37 c INPROCESSING
84.01/84.37 c GARBAGE COLLECT
84.01/84.37 c #Conflicts: 103000 | #Constraints: 16923
84.01/84.37 c #Conflicts: 104000 | #Constraints: 17923
84.01/84.37 c #Conflicts: 105000 | #Constraints: 18923
84.01/84.37 c #Conflicts: 106000 | #Constraints: 19923
84.01/84.37 c #Conflicts: 107000 | #Constraints: 20923
84.01/84.37 c #Conflicts: 108000 | #Constraints: 21923
84.01/84.37 c #Conflicts: 109000 | #Constraints: 22923
84.01/84.37 c #Conflicts: 110000 | #Constraints: 23923
84.01/84.37 c INPROCESSING
84.01/84.37 c GARBAGE COLLECT
84.01/84.37 c #Conflicts: 111000 | #Constraints: 16055
84.01/84.37 c #Conflicts: 112000 | #Constraints: 17055
84.01/84.37 c #Conflicts: 113000 | #Constraints: 18055
84.01/84.37 c #Conflicts: 114000 | #Constraints: 19055
84.01/84.37 c #Conflicts: 115000 | #Constraints: 20055
84.01/84.37 c #Conflicts: 116000 | #Constraints: 21055
84.01/84.37 c #Conflicts: 117000 | #Constraints: 22055
84.01/84.37 c INPROCESSING
84.01/84.37 c GARBAGE COLLECT
84.01/84.37 c #Conflicts: 118000 | #Constraints: 14930
84.01/84.37 c #Conflicts: 119000 | #Constraints: 15930
84.01/84.37 c #Conflicts: 120000 | #Constraints: 16930
84.01/84.37 c #Conflicts: 121000 | #Constraints: 17930
84.01/84.37 c #Conflicts: 122000 | #Constraints: 18930
84.01/84.37 c #Conflicts: 123000 | #Constraints: 19930
84.01/84.37 c #Conflicts: 124000 | #Constraints: 20930
84.01/84.37 c INPROCESSING
84.01/84.37 c GARBAGE COLLECT
84.01/84.37 c #Conflicts: 125000 | #Constraints: 14154
145.92/146.40 c #Conflicts: 126000 | #Constraints: 15154
145.92/146.40 c #Conflicts: 127000 | #Constraints: 16154
145.92/146.40 c #Conflicts: 128000 | #Constraints: 17154
145.92/146.40 c #Conflicts: 129000 | #Constraints: 18154
145.92/146.40 c #Conflicts: 130000 | #Constraints: 19154
145.92/146.40 c #Conflicts: 131000 | #Constraints: 20154
145.92/146.40 c #Conflicts: 132000 | #Constraints: 21154
145.92/146.40 c INPROCESSING
145.92/146.40 c GARBAGE COLLECT
145.92/146.40 c #Conflicts: 133000 | #Constraints: 14390
145.92/146.40 c #Conflicts: 134000 | #Constraints: 15390
145.92/146.40 c #Conflicts: 135000 | #Constraints: 16390
145.92/146.40 c #Conflicts: 136000 | #Constraints: 17390
145.92/146.40 c #Conflicts: 137000 | #Constraints: 18390
145.92/146.40 c #Conflicts: 138000 | #Constraints: 19390
145.92/146.40 c #Conflicts: 139000 | #Constraints: 20390
145.92/146.40 c #Conflicts: 140000 | #Constraints: 21390
145.92/146.40 c #Conflicts: 141000 | #Constraints: 22390
145.92/146.40 c #Conflicts: 142000 | #Constraints: 23390
145.92/146.40 c #Conflicts: 143000 | #Constraints: 24390
145.92/146.40 c #Conflicts: 144000 | #Constraints: 25390
145.92/146.40 c #Conflicts: 145000 | #Constraints: 26390
145.92/146.40 c #Conflicts: 146000 | #Constraints: 27390
145.92/146.40 c #Conflicts: 147000 | #Constraints: 28390
145.92/146.40 c #Conflicts: 148000 | #Constraints: 29390
145.92/146.40 c #Conflicts: 149000 | #Constraints: 30390
145.92/146.40 c #Conflicts: 150000 | #Constraints: 31390
145.92/146.40 c #Conflicts: 151000 | #Constraints: 32390
145.92/146.40 c #Conflicts: 152000 | #Constraints: 33390
145.92/146.40 c #Conflicts: 153000 | #Constraints: 34390
145.92/146.40 c #Conflicts: 154000 | #Constraints: 35390
145.92/146.40 c #Conflicts: 155000 | #Constraints: 36390
145.92/146.40 c #Conflicts: 156000 | #Constraints: 37390
145.92/146.40 c #Conflicts: 157000 | #Constraints: 38390
145.92/146.40 c #Conflicts: 158000 | #Constraints: 39390
145.92/146.40 c #Conflicts: 159000 | #Constraints: 40390
145.92/146.40 c #Conflicts: 160000 | #Constraints: 41390
145.92/146.40 c #Conflicts: 161000 | #Constraints: 42390
145.92/146.40 c #Conflicts: 162000 | #Constraints: 43390
145.92/146.40 c #Conflicts: 163000 | #Constraints: 44390
145.92/146.40 c INPROCESSING
145.92/146.40 c GARBAGE COLLECT
145.92/146.40 c #Conflicts: 164000 | #Constraints: 25930
145.92/146.40 c #Conflicts: 165000 | #Constraints: 26930
145.92/146.40 c #Conflicts: 166000 | #Constraints: 27930
145.92/146.40 c #Conflicts: 167000 | #Constraints: 28930
145.92/146.40 c #Conflicts: 168000 | #Constraints: 29930
145.92/146.40 c #Conflicts: 169000 | #Constraints: 30930
145.92/146.40 c #Conflicts: 170000 | #Constraints: 31930
145.92/146.40 c #Conflicts: 171000 | #Constraints: 32930
145.92/146.40 c #Conflicts: 172000 | #Constraints: 33930
145.92/146.40 c INPROCESSING
145.92/146.40 c GARBAGE COLLECT
145.92/146.40 c #Conflicts: 173000 | #Constraints: 20655
145.92/146.40 c #Conflicts: 174000 | #Constraints: 21655
145.92/146.40 c #Conflicts: 175000 | #Constraints: 22655
145.92/146.40 c #Conflicts: 176000 | #Constraints: 23655
145.92/146.40 c #Conflicts: 177000 | #Constraints: 24655
145.92/146.40 c #Conflicts: 178000 | #Constraints: 25655
145.92/146.40 c #Conflicts: 179000 | #Constraints: 26655
145.92/146.40 c #Conflicts: 180000 | #Constraints: 27655
145.92/146.40 c #Conflicts: 181000 | #Constraints: 28655
145.92/146.40 c #Conflicts: 182000 | #Constraints: 29655
145.92/146.40 c INPROCESSING
145.92/146.40 c GARBAGE COLLECT
145.92/146.40 c rational objective 84
242.81/243.63 c #Conflicts: 183000 | #Constraints: 18926
242.81/243.63 c #Conflicts: 184000 | #Constraints: 19926
242.81/243.63 c #Conflicts: 185000 | #Constraints: 20926
242.81/243.63 c #Conflicts: 186000 | #Constraints: 21926
242.81/243.63 c #Conflicts: 187000 | #Constraints: 22926
242.81/243.63 c #Conflicts: 188000 | #Constraints: 23926
242.81/243.63 c #Conflicts: 189000 | #Constraints: 24926
242.81/243.63 c #Conflicts: 190000 | #Constraints: 25926
242.81/243.63 c #Conflicts: 191000 | #Constraints: 26926
242.81/243.63 c INPROCESSING
242.81/243.63 c GARBAGE COLLECT
242.81/243.63 c #Conflicts: 192000 | #Constraints: 17368
242.81/243.63 c #Conflicts: 193000 | #Constraints: 18368
242.81/243.63 c #Conflicts: 194000 | #Constraints: 19368
242.81/243.63 c #Conflicts: 195000 | #Constraints: 20368
242.81/243.63 c #Conflicts: 196000 | #Constraints: 21368
242.81/243.63 c #Conflicts: 197000 | #Constraints: 22368
242.81/243.63 c #Conflicts: 198000 | #Constraints: 23368
242.81/243.63 c #Conflicts: 199000 | #Constraints: 24368
242.81/243.63 c #Conflicts: 200000 | #Constraints: 25368
242.81/243.63 c #Conflicts: 201000 | #Constraints: 26368
242.81/243.63 c INPROCESSING
242.81/243.63 c GARBAGE COLLECT
242.81/243.63 c #Conflicts: 202000 | #Constraints: 17292
242.81/243.63 c #Conflicts: 203000 | #Constraints: 18292
242.81/243.63 c #Conflicts: 204000 | #Constraints: 19292
242.81/243.63 c #Conflicts: 205000 | #Constraints: 20292
242.81/243.63 c #Conflicts: 206000 | #Constraints: 21292
242.81/243.63 c #Conflicts: 207000 | #Constraints: 22292
242.81/243.63 c #Conflicts: 208000 | #Constraints: 23292
242.81/243.63 c #Conflicts: 209000 | #Constraints: 24292
242.81/243.63 c #Conflicts: 210000 | #Constraints: 25292
242.81/243.63 c #Conflicts: 211000 | #Constraints: 26292
242.81/243.63 c #Conflicts: 212000 | #Constraints: 27292
242.81/243.63 c #Conflicts: 213000 | #Constraints: 28292
242.81/243.63 c #Conflicts: 214000 | #Constraints: 29292
242.81/243.63 c #Conflicts: 215000 | #Constraints: 30292
242.81/243.63 c #Conflicts: 216000 | #Constraints: 31292
242.81/243.63 c #Conflicts: 217000 | #Constraints: 32292
242.81/243.63 c #Conflicts: 218000 | #Constraints: 33292
242.81/243.63 c #Conflicts: 219000 | #Constraints: 34292
242.81/243.63 c #Conflicts: 220000 | #Constraints: 35292
242.81/243.63 c #Conflicts: 221000 | #Constraints: 36292
242.81/243.63 c #Conflicts: 222000 | #Constraints: 37292
242.81/243.63 c #Conflicts: 223000 | #Constraints: 38292
242.81/243.63 c #Conflicts: 224000 | #Constraints: 39292
242.81/243.63 c #Conflicts: 225000 | #Constraints: 40292
242.81/243.63 c #Conflicts: 226000 | #Constraints: 41292
242.81/243.63 c #Conflicts: 227000 | #Constraints: 42292
242.81/243.63 c #Conflicts: 228000 | #Constraints: 43292
242.81/243.63 c #Conflicts: 229000 | #Constraints: 44292
242.81/243.63 c #Conflicts: 230000 | #Constraints: 45292
242.81/243.63 c #Conflicts: 231000 | #Constraints: 46292
242.81/243.63 c #Conflicts: 232000 | #Constraints: 47292
242.81/243.63 c #Conflicts: 233000 | #Constraints: 48292
242.81/243.63 c #Conflicts: 234000 | #Constraints: 49292
242.81/243.63 c #Conflicts: 235000 | #Constraints: 50292
242.81/243.63 c #Conflicts: 236000 | #Constraints: 51292
242.81/243.63 c #Conflicts: 237000 | #Constraints: 52292
242.81/243.63 c #Conflicts: 238000 | #Constraints: 53292
242.81/243.63 c INPROCESSING
242.81/243.63 c GARBAGE COLLECT
242.81/243.63 c #Conflicts: 239000 | #Constraints: 30430
242.81/243.63 c #Conflicts: 240000 | #Constraints: 31430
242.81/243.63 c #Conflicts: 241000 | #Constraints: 32430
242.81/243.63 c #Conflicts: 242000 | #Constraints: 33430
242.81/243.63 c #Conflicts: 243000 | #Constraints: 34430
242.81/243.63 c #Conflicts: 244000 | #Constraints: 35430
242.81/243.63 c #Conflicts: 245000 | #Constraints: 36430
242.81/243.63 c #Conflicts: 246000 | #Constraints: 37430
242.81/243.63 c #Conflicts: 247000 | #Constraints: 38430
242.81/243.63 c #Conflicts: 248000 | #Constraints: 39430
242.81/243.63 c #Conflicts: 249000 | #Constraints: 40430
242.81/243.63 c INPROCESSING
242.81/243.63 c GARBAGE COLLECT
242.81/243.63 c #Conflicts: 250000 | #Constraints: 24066
242.81/243.63 c #Conflicts: 251000 | #Constraints: 25066
242.81/243.63 c #Conflicts: 252000 | #Constraints: 26066
242.81/243.63 c #Conflicts: 253000 | #Constraints: 27066
242.81/243.63 c #Conflicts: 254000 | #Constraints: 28066
242.81/243.63 c #Conflicts: 255000 | #Constraints: 29066
242.81/243.63 c #Conflicts: 256000 | #Constraints: 30066
242.81/243.63 c #Conflicts: 257000 | #Constraints: 31066
242.81/243.63 c #Conflicts: 258000 | #Constraints: 32066
242.81/243.63 c #Conflicts: 259000 | #Constraints: 33066
353.88/355.04 c #Conflicts: 260000 | #Constraints: 34066
353.88/355.04 c INPROCESSING
353.88/355.04 c GARBAGE COLLECT
353.88/355.04 c #Conflicts: 261000 | #Constraints: 20803
353.88/355.04 c #Conflicts: 262000 | #Constraints: 21803
353.88/355.04 c #Conflicts: 263000 | #Constraints: 22803
353.88/355.04 c #Conflicts: 264000 | #Constraints: 23803
353.88/355.04 c #Conflicts: 265000 | #Constraints: 24803
353.88/355.04 c #Conflicts: 266000 | #Constraints: 25803
353.88/355.04 c #Conflicts: 267000 | #Constraints: 26803
353.88/355.04 c #Conflicts: 268000 | #Constraints: 27803
353.88/355.04 c #Conflicts: 269000 | #Constraints: 28803
353.88/355.04 c #Conflicts: 270000 | #Constraints: 29803
353.88/355.04 c #Conflicts: 271000 | #Constraints: 30803
353.88/355.04 c #Conflicts: 272000 | #Constraints: 31803
353.88/355.04 c INPROCESSING
353.88/355.04 c GARBAGE COLLECT
353.88/355.04 c #Conflicts: 273000 | #Constraints: 20053
353.88/355.04 c #Conflicts: 274000 | #Constraints: 21053
353.88/355.04 c #Conflicts: 275000 | #Constraints: 22053
353.88/355.04 c #Conflicts: 276000 | #Constraints: 23053
353.88/355.04 c #Conflicts: 277000 | #Constraints: 24053
353.88/355.04 c #Conflicts: 278000 | #Constraints: 25053
353.88/355.04 c #Conflicts: 279000 | #Constraints: 26053
353.88/355.04 c #Conflicts: 280000 | #Constraints: 27053
353.88/355.04 c #Conflicts: 281000 | #Constraints: 28053
353.88/355.04 c #Conflicts: 282000 | #Constraints: 29053
353.88/355.04 c #Conflicts: 283000 | #Constraints: 30053
353.88/355.04 c INPROCESSING
353.88/355.04 c GARBAGE COLLECT
353.88/355.04 c #Conflicts: 284000 | #Constraints: 18959
353.88/355.04 c #Conflicts: 285000 | #Constraints: 19959
353.88/355.04 c #Conflicts: 286000 | #Constraints: 20959
353.88/355.04 c #Conflicts: 287000 | #Constraints: 21959
353.88/355.04 c #Conflicts: 288000 | #Constraints: 22959
353.88/355.04 c #Conflicts: 289000 | #Constraints: 23959
353.88/355.04 c #Conflicts: 290000 | #Constraints: 24959
353.88/355.04 c #Conflicts: 291000 | #Constraints: 25959
353.88/355.04 c #Conflicts: 292000 | #Constraints: 26959
353.88/355.04 c #Conflicts: 293000 | #Constraints: 27959
353.88/355.04 c #Conflicts: 294000 | #Constraints: 28959
353.88/355.04 c #Conflicts: 295000 | #Constraints: 29959
353.88/355.04 c #Conflicts: 296000 | #Constraints: 30959
353.88/355.04 c #Conflicts: 297000 | #Constraints: 31959
353.88/355.04 c #Conflicts: 298000 | #Constraints: 32959
353.88/355.04 c #Conflicts: 299000 | #Constraints: 33959
353.88/355.04 c #Conflicts: 300000 | #Constraints: 34959
353.88/355.04 c #Conflicts: 301000 | #Constraints: 35959
353.88/355.04 c #Conflicts: 302000 | #Constraints: 36959
353.88/355.04 c #Conflicts: 303000 | #Constraints: 37959
353.88/355.04 c #Conflicts: 304000 | #Constraints: 38959
353.88/355.04 c #Conflicts: 305000 | #Constraints: 39959
353.88/355.04 c #Conflicts: 306000 | #Constraints: 40959
353.88/355.04 c #Conflicts: 307000 | #Constraints: 41959
353.88/355.04 c #Conflicts: 308000 | #Constraints: 42959
353.88/355.04 c #Conflicts: 309000 | #Constraints: 43959
353.88/355.04 c #Conflicts: 310000 | #Constraints: 44959
353.88/355.04 c #Conflicts: 311000 | #Constraints: 45959
353.88/355.04 c #Conflicts: 312000 | #Constraints: 46959
353.88/355.04 c #Conflicts: 313000 | #Constraints: 47959
353.88/355.04 c #Conflicts: 314000 | #Constraints: 48959
353.88/355.04 c #Conflicts: 315000 | #Constraints: 49959
353.88/355.04 c #Conflicts: 316000 | #Constraints: 50959
353.88/355.04 c #Conflicts: 317000 | #Constraints: 51959
353.88/355.04 c #Conflicts: 318000 | #Constraints: 52960
353.88/355.04 c #Conflicts: 319000 | #Constraints: 53960
353.88/355.04 c #Conflicts: 320000 | #Constraints: 54960
353.88/355.04 c #Conflicts: 321000 | #Constraints: 55960
353.88/355.04 c #Conflicts: 322000 | #Constraints: 56960
353.88/355.04 c #Conflicts: 323000 | #Constraints: 57960
353.88/355.04 c #Conflicts: 324000 | #Constraints: 58960
353.88/355.04 c #Conflicts: 325000 | #Constraints: 59960
353.88/355.04 c #Conflicts: 326000 | #Constraints: 60960
353.88/355.04 c #Conflicts: 327000 | #Constraints: 61960
353.88/355.04 c INPROCESSING
353.88/355.04 c GARBAGE COLLECT
353.88/355.04 c rational objective 84
438.40/439.82 c #Conflicts: 328000 | #Constraints: 34793
438.40/439.82 c #Conflicts: 329000 | #Constraints: 35793
438.40/439.82 c #Conflicts: 330000 | #Constraints: 36793
438.40/439.82 c #Conflicts: 331000 | #Constraints: 37793
438.40/439.82 c #Conflicts: 332000 | #Constraints: 38793
438.40/439.82 c #Conflicts: 333000 | #Constraints: 39793
438.40/439.82 c #Conflicts: 334000 | #Constraints: 40793
438.40/439.82 c #Conflicts: 335000 | #Constraints: 41793
438.40/439.82 c #Conflicts: 336000 | #Constraints: 42793
438.40/439.82 c #Conflicts: 337000 | #Constraints: 43793
438.40/439.82 c #Conflicts: 338000 | #Constraints: 44793
438.40/439.82 c #Conflicts: 339000 | #Constraints: 45793
438.40/439.82 c #Conflicts: 340000 | #Constraints: 46793
438.40/439.82 c INPROCESSING
438.40/439.82 c GARBAGE COLLECT
438.40/439.82 c #Conflicts: 341000 | #Constraints: 27382
438.40/439.82 c #Conflicts: 342000 | #Constraints: 28382
438.40/439.82 c #Conflicts: 343000 | #Constraints: 29382
438.40/439.82 c #Conflicts: 344000 | #Constraints: 30382
438.40/439.82 c #Conflicts: 345000 | #Constraints: 31382
438.40/439.82 c #Conflicts: 346000 | #Constraints: 32382
438.40/439.82 c #Conflicts: 347000 | #Constraints: 33382
438.40/439.82 c #Conflicts: 348000 | #Constraints: 34382
438.40/439.82 c #Conflicts: 349000 | #Constraints: 35382
438.40/439.82 c #Conflicts: 350000 | #Constraints: 36382
438.40/439.82 c #Conflicts: 351000 | #Constraints: 37382
438.40/439.82 c #Conflicts: 352000 | #Constraints: 38382
438.40/439.82 c #Conflicts: 353000 | #Constraints: 39382
438.40/439.82 c INPROCESSING
438.40/439.82 c GARBAGE COLLECT
438.40/439.82 c #Conflicts: 354000 | #Constraints: 23652
438.40/439.82 c #Conflicts: 355000 | #Constraints: 24652
438.40/439.82 c #Conflicts: 356000 | #Constraints: 25652
438.40/439.82 c #Conflicts: 357000 | #Constraints: 26652
438.40/439.82 c #Conflicts: 358000 | #Constraints: 27652
438.40/439.82 c #Conflicts: 359000 | #Constraints: 28652
438.40/439.82 c #Conflicts: 360000 | #Constraints: 29652
438.40/439.82 c #Conflicts: 361000 | #Constraints: 30652
438.40/439.82 c #Conflicts: 362000 | #Constraints: 31652
438.40/439.82 c #Conflicts: 363000 | #Constraints: 32652
438.40/439.82 c #Conflicts: 364000 | #Constraints: 33652
438.40/439.82 c #Conflicts: 365000 | #Constraints: 34652
438.40/439.82 c #Conflicts: 366000 | #Constraints: 35652
438.40/439.82 c INPROCESSING
438.40/439.82 c GARBAGE COLLECT
438.40/439.82 c #Conflicts: 367000 | #Constraints: 21694
438.40/439.82 c #Conflicts: 368000 | #Constraints: 22694
438.40/439.82 c #Conflicts: 369000 | #Constraints: 23694
438.40/439.82 c #Conflicts: 370000 | #Constraints: 24694
438.40/439.82 c #Conflicts: 371000 | #Constraints: 25694
438.40/439.82 c #Conflicts: 372000 | #Constraints: 26694
438.40/439.82 c #Conflicts: 373000 | #Constraints: 27694
438.40/439.82 c #Conflicts: 374000 | #Constraints: 28694
438.40/439.82 c #Conflicts: 375000 | #Constraints: 29694
438.40/439.82 c #Conflicts: 376000 | #Constraints: 30694
438.40/439.82 c #Conflicts: 377000 | #Constraints: 31694
438.40/439.82 c #Conflicts: 378000 | #Constraints: 32694
438.40/439.82 c #Conflicts: 379000 | #Constraints: 33694
438.40/439.82 c #Conflicts: 380000 | #Constraints: 34694
438.40/439.82 c INPROCESSING
438.40/439.82 c GARBAGE COLLECT
438.40/439.82 c #Conflicts: 381000 | #Constraints: 21494
438.40/439.82 c #Conflicts: 382000 | #Constraints: 22494
438.40/439.82 c #Conflicts: 383000 | #Constraints: 23494
438.40/439.82 c #Conflicts: 384000 | #Constraints: 24494
438.40/439.82 c #Conflicts: 385000 | #Constraints: 25494
438.40/439.82 c #Conflicts: 386000 | #Constraints: 26494
438.40/439.82 c #Conflicts: 387000 | #Constraints: 27494
438.40/439.82 c #Conflicts: 388000 | #Constraints: 28494
438.40/439.82 c #Conflicts: 389000 | #Constraints: 29494
438.40/439.82 c #Conflicts: 390000 | #Constraints: 30494
438.40/439.82 c #Conflicts: 391000 | #Constraints: 31494
438.40/439.82 c #Conflicts: 392000 | #Constraints: 32494
438.40/439.82 c #Conflicts: 393000 | #Constraints: 33494
438.40/439.82 c #Conflicts: 394000 | #Constraints: 34494
438.40/439.82 c #Conflicts: 395000 | #Constraints: 35494
438.40/439.82 c #Conflicts: 396000 | #Constraints: 36494
438.40/439.82 c #Conflicts: 397000 | #Constraints: 37494
438.40/439.82 c #Conflicts: 398000 | #Constraints: 38494
438.40/439.82 c #Conflicts: 399000 | #Constraints: 39494
438.40/439.82 c #Conflicts: 400000 | #Constraints: 40494
438.40/439.82 c #Conflicts: 401000 | #Constraints: 41494
438.40/439.82 c #Conflicts: 402000 | #Constraints: 42494
438.40/439.82 c #Conflicts: 403000 | #Constraints: 43494
438.40/439.82 c #Conflicts: 404000 | #Constraints: 44494
539.29/541.09 c #Conflicts: 405000 | #Constraints: 45494
539.29/541.09 c #Conflicts: 406000 | #Constraints: 46494
539.29/541.09 c #Conflicts: 407000 | #Constraints: 47494
539.29/541.09 c #Conflicts: 408000 | #Constraints: 48494
539.29/541.09 c #Conflicts: 409000 | #Constraints: 49494
539.29/541.09 c #Conflicts: 410000 | #Constraints: 50494
539.29/541.09 c #Conflicts: 411000 | #Constraints: 51494
539.29/541.09 c #Conflicts: 412000 | #Constraints: 52494
539.29/541.09 c #Conflicts: 413000 | #Constraints: 53494
539.29/541.09 c #Conflicts: 414000 | #Constraints: 54494
539.29/541.09 c #Conflicts: 415000 | #Constraints: 55494
539.29/541.09 c #Conflicts: 416000 | #Constraints: 56494
539.29/541.09 c #Conflicts: 417000 | #Constraints: 57494
539.29/541.09 c #Conflicts: 418000 | #Constraints: 58494
539.29/541.09 c #Conflicts: 419000 | #Constraints: 59494
539.29/541.09 c #Conflicts: 420000 | #Constraints: 60494
539.29/541.09 c #Conflicts: 421000 | #Constraints: 61494
539.29/541.09 c #Conflicts: 422000 | #Constraints: 62494
539.29/541.09 c #Conflicts: 423000 | #Constraints: 63494
539.29/541.09 c #Conflicts: 424000 | #Constraints: 64494
539.29/541.09 c #Conflicts: 425000 | #Constraints: 65494
539.29/541.09 c #Conflicts: 426000 | #Constraints: 66494
539.29/541.09 c #Conflicts: 427000 | #Constraints: 67494
539.29/541.09 c #Conflicts: 428000 | #Constraints: 68494
539.29/541.09 c #Conflicts: 429000 | #Constraints: 69494
539.29/541.09 c #Conflicts: 430000 | #Constraints: 70494
539.29/541.09 c INPROCESSING
539.29/541.09 c GARBAGE COLLECT
539.29/541.09 c #Conflicts: 431000 | #Constraints: 39162
539.29/541.09 c #Conflicts: 432000 | #Constraints: 40162
539.29/541.09 c #Conflicts: 433000 | #Constraints: 41162
539.29/541.09 c #Conflicts: 434000 | #Constraints: 42162
539.29/541.09 c #Conflicts: 435000 | #Constraints: 43162
539.29/541.09 c #Conflicts: 436000 | #Constraints: 44162
539.29/541.09 c #Conflicts: 437000 | #Constraints: 45162
539.29/541.09 c #Conflicts: 438000 | #Constraints: 46162
539.29/541.09 c #Conflicts: 439000 | #Constraints: 47162
539.29/541.09 c #Conflicts: 440000 | #Constraints: 48162
539.29/541.09 c #Conflicts: 441000 | #Constraints: 49162
539.29/541.09 c #Conflicts: 442000 | #Constraints: 50162
539.29/541.09 c #Conflicts: 443000 | #Constraints: 51162
539.29/541.09 c #Conflicts: 444000 | #Constraints: 52162
539.29/541.09 c #Conflicts: 445000 | #Constraints: 53162
539.29/541.09 c INPROCESSING
539.29/541.09 c GARBAGE COLLECT
539.29/541.09 c #Conflicts: 446000 | #Constraints: 30723
539.29/541.09 c #Conflicts: 447000 | #Constraints: 31723
539.29/541.09 c #Conflicts: 448000 | #Constraints: 32723
539.29/541.09 c #Conflicts: 449000 | #Constraints: 33723
539.29/541.09 c #Conflicts: 450000 | #Constraints: 34723
539.29/541.09 c #Conflicts: 451000 | #Constraints: 35723
539.29/541.09 c #Conflicts: 452000 | #Constraints: 36723
539.29/541.09 c #Conflicts: 453000 | #Constraints: 37723
539.29/541.09 c #Conflicts: 454000 | #Constraints: 38723
539.29/541.09 c #Conflicts: 455000 | #Constraints: 39723
539.29/541.09 c #Conflicts: 456000 | #Constraints: 40723
539.29/541.09 c #Conflicts: 457000 | #Constraints: 41723
539.29/541.09 c #Conflicts: 458000 | #Constraints: 42723
539.29/541.09 c #Conflicts: 459000 | #Constraints: 43723
539.29/541.09 c #Conflicts: 460000 | #Constraints: 44723
539.29/541.09 c INPROCESSING
539.29/541.09 c GARBAGE COLLECT
539.29/541.09 c rational objective 84
560.62/562.50 c #Conflicts: 461000 | #Constraints: 26475
560.62/562.50 c #Conflicts: 462000 | #Constraints: 27475
560.62/562.50 c #Conflicts: 463000 | #Constraints: 28475
560.62/562.50 c #Conflicts: 464000 | #Constraints: 29475
560.62/562.50 c #Conflicts: 465000 | #Constraints: 30475
560.62/562.50 c #Conflicts: 466000 | #Constraints: 31475
560.62/562.50 c #Conflicts: 467000 | #Constraints: 32475
560.62/562.50 c #Conflicts: 468000 | #Constraints: 33475
560.62/562.50 c #Conflicts: 469000 | #Constraints: 34475
560.62/562.50 c #Conflicts: 470000 | #Constraints: 35475
560.62/562.50 c #Conflicts: 471000 | #Constraints: 36475
560.62/562.50 c #Conflicts: 472000 | #Constraints: 37475
560.62/562.50 c #Conflicts: 473000 | #Constraints: 38475
560.62/562.50 c #Conflicts: 474000 | #Constraints: 39475
560.62/562.50 c #Conflicts: 475000 | #Constraints: 40475
560.62/562.50 c INPROCESSING
560.62/562.50 c GARBAGE COLLECT
560.62/562.50 c rational objective 84
691.62/693.95 c #Conflicts: 476000 | #Constraints: 24342
691.62/693.95 c #Conflicts: 477000 | #Constraints: 25342
691.62/693.95 c #Conflicts: 478000 | #Constraints: 26342
691.62/693.95 c #Conflicts: 479000 | #Constraints: 27342
691.62/693.95 c #Conflicts: 480000 | #Constraints: 28342
691.62/693.95 c #Conflicts: 481000 | #Constraints: 29342
691.62/693.95 c #Conflicts: 482000 | #Constraints: 30342
691.62/693.95 c #Conflicts: 483000 | #Constraints: 31342
691.62/693.95 c #Conflicts: 484000 | #Constraints: 32342
691.62/693.95 c #Conflicts: 485000 | #Constraints: 33342
691.62/693.95 c #Conflicts: 486000 | #Constraints: 34342
691.62/693.95 c #Conflicts: 487000 | #Constraints: 35342
691.62/693.95 c #Conflicts: 488000 | #Constraints: 36342
691.62/693.95 c #Conflicts: 489000 | #Constraints: 37342
691.62/693.95 c #Conflicts: 490000 | #Constraints: 38342
691.62/693.95 c INPROCESSING
691.62/693.95 c GARBAGE COLLECT
691.62/693.95 c #Conflicts: 491000 | #Constraints: 23120
691.62/693.95 c #Conflicts: 492000 | #Constraints: 24120
691.62/693.95 c #Conflicts: 493000 | #Constraints: 25120
691.62/693.95 c #Conflicts: 494000 | #Constraints: 26120
691.62/693.95 c #Conflicts: 495000 | #Constraints: 27120
691.62/693.95 c #Conflicts: 496000 | #Constraints: 28120
691.62/693.95 c #Conflicts: 497000 | #Constraints: 29120
691.62/693.95 c #Conflicts: 498000 | #Constraints: 30120
691.62/693.95 c #Conflicts: 499000 | #Constraints: 31120
691.62/693.95 c #Conflicts: 500000 | #Constraints: 32120
691.62/693.95 c #Conflicts: 501000 | #Constraints: 33120
691.62/693.95 c #Conflicts: 502000 | #Constraints: 34120
691.62/693.95 c #Conflicts: 503000 | #Constraints: 35120
691.62/693.95 c #Conflicts: 504000 | #Constraints: 36120
691.62/693.95 c #Conflicts: 505000 | #Constraints: 37120
691.62/693.95 c #Conflicts: 506000 | #Constraints: 38120
691.62/693.95 c #Conflicts: 507000 | #Constraints: 39120
691.62/693.95 c #Conflicts: 508000 | #Constraints: 40120
691.62/693.95 c #Conflicts: 509000 | #Constraints: 41120
691.62/693.95 c #Conflicts: 510000 | #Constraints: 42120
691.62/693.95 c #Conflicts: 511000 | #Constraints: 43120
691.62/693.95 c #Conflicts: 512000 | #Constraints: 44120
691.62/693.95 c #Conflicts: 513000 | #Constraints: 45120
691.62/693.95 c #Conflicts: 514000 | #Constraints: 46120
691.62/693.95 c #Conflicts: 515000 | #Constraints: 47120
691.62/693.95 c #Conflicts: 516000 | #Constraints: 48120
691.62/693.95 c #Conflicts: 517000 | #Constraints: 49120
691.62/693.95 c #Conflicts: 518000 | #Constraints: 50120
691.62/693.95 c #Conflicts: 519000 | #Constraints: 51120
691.62/693.95 c #Conflicts: 520000 | #Constraints: 52120
691.62/693.95 c #Conflicts: 521000 | #Constraints: 53120
691.62/693.95 c #Conflicts: 522000 | #Constraints: 54120
691.62/693.95 c #Conflicts: 523000 | #Constraints: 55120
691.62/693.95 c #Conflicts: 524000 | #Constraints: 56120
691.62/693.95 c #Conflicts: 525000 | #Constraints: 57120
691.62/693.95 c #Conflicts: 526000 | #Constraints: 58120
691.62/693.95 c #Conflicts: 527000 | #Constraints: 59120
691.62/693.95 c #Conflicts: 528000 | #Constraints: 60120
691.62/693.95 c #Conflicts: 529000 | #Constraints: 61120
691.62/693.95 c #Conflicts: 530000 | #Constraints: 62120
691.62/693.95 c #Conflicts: 531000 | #Constraints: 63120
691.62/693.95 c #Conflicts: 532000 | #Constraints: 64120
691.62/693.95 c #Conflicts: 533000 | #Constraints: 65120
691.62/693.95 c #Conflicts: 534000 | #Constraints: 66120
691.62/693.95 c #Conflicts: 535000 | #Constraints: 67120
691.62/693.95 c #Conflicts: 536000 | #Constraints: 68120
691.62/693.95 c #Conflicts: 537000 | #Constraints: 69120
691.62/693.95 c #Conflicts: 538000 | #Constraints: 70120
691.62/693.95 c #Conflicts: 539000 | #Constraints: 71120
691.62/693.95 c #Conflicts: 540000 | #Constraints: 72120
691.62/693.95 c #Conflicts: 541000 | #Constraints: 73120
691.62/693.95 c #Conflicts: 542000 | #Constraints: 74120
691.62/693.95 c #Conflicts: 543000 | #Constraints: 75120
691.62/693.95 c #Conflicts: 544000 | #Constraints: 76120
691.62/693.95 c #Conflicts: 545000 | #Constraints: 77120
691.62/693.95 c #Conflicts: 546000 | #Constraints: 78120
691.62/693.95 c #Conflicts: 547000 | #Constraints: 79120
691.62/693.95 c INPROCESSING
691.62/693.95 c GARBAGE COLLECT
691.62/693.95 c #Conflicts: 548000 | #Constraints: 43527
691.62/693.95 c #Conflicts: 549000 | #Constraints: 44527
691.62/693.95 c #Conflicts: 550000 | #Constraints: 45527
691.62/693.95 c #Conflicts: 551000 | #Constraints: 46527
691.62/693.95 c #Conflicts: 552000 | #Constraints: 47527
691.62/693.95 c #Conflicts: 553000 | #Constraints: 48527
741.46/744.01 c #Conflicts: 554000 | #Constraints: 49527
741.46/744.01 c #Conflicts: 555000 | #Constraints: 50527
741.46/744.01 c #Conflicts: 556000 | #Constraints: 51527
741.46/744.01 c #Conflicts: 557000 | #Constraints: 52527
741.46/744.01 c #Conflicts: 558000 | #Constraints: 53527
741.46/744.01 c #Conflicts: 559000 | #Constraints: 54527
741.46/744.01 c #Conflicts: 560000 | #Constraints: 55527
741.46/744.01 c #Conflicts: 561000 | #Constraints: 56527
741.46/744.01 c #Conflicts: 562000 | #Constraints: 57527
741.46/744.01 c #Conflicts: 563000 | #Constraints: 58528
741.46/744.01 c #Conflicts: 564000 | #Constraints: 59528
741.46/744.01 c INPROCESSING
741.46/744.01 c GARBAGE COLLECT
741.46/744.01 c #Conflicts: 565000 | #Constraints: 34003
741.46/744.01 c #Conflicts: 566000 | #Constraints: 35003
741.46/744.01 c #Conflicts: 567000 | #Constraints: 36003
741.46/744.01 c #Conflicts: 568000 | #Constraints: 37003
741.46/744.01 c #Conflicts: 569000 | #Constraints: 38003
741.46/744.01 c #Conflicts: 570000 | #Constraints: 39003
741.46/744.01 c #Conflicts: 571000 | #Constraints: 40003
741.46/744.01 c #Conflicts: 572000 | #Constraints: 41003
741.46/744.01 c #Conflicts: 573000 | #Constraints: 42003
741.46/744.01 c #Conflicts: 574000 | #Constraints: 43003
741.46/744.01 c #Conflicts: 575000 | #Constraints: 44003
741.46/744.01 c #Conflicts: 576000 | #Constraints: 45003
741.46/744.01 c #Conflicts: 577000 | #Constraints: 46003
741.46/744.01 c #Conflicts: 578000 | #Constraints: 47003
741.46/744.01 c #Conflicts: 579000 | #Constraints: 48003
741.46/744.01 c #Conflicts: 580000 | #Constraints: 49003
741.46/744.01 c INPROCESSING
741.46/744.01 c GARBAGE COLLECT
741.46/744.01 c rational objective 84
828.09/830.83 c #Conflicts: 581000 | #Constraints: 28332
828.09/830.83 c #Conflicts: 582000 | #Constraints: 29332
828.09/830.83 c #Conflicts: 583000 | #Constraints: 30332
828.09/830.83 c #Conflicts: 584000 | #Constraints: 31332
828.09/830.83 c #Conflicts: 585000 | #Constraints: 32332
828.09/830.83 c #Conflicts: 586000 | #Constraints: 33332
828.09/830.83 c #Conflicts: 587000 | #Constraints: 34332
828.09/830.83 c #Conflicts: 588000 | #Constraints: 35332
828.09/830.83 c #Conflicts: 589000 | #Constraints: 36332
828.09/830.83 c #Conflicts: 590000 | #Constraints: 37332
828.09/830.83 c #Conflicts: 591000 | #Constraints: 38332
828.09/830.83 c #Conflicts: 592000 | #Constraints: 39332
828.09/830.83 c #Conflicts: 593000 | #Constraints: 40332
828.09/830.83 c #Conflicts: 594000 | #Constraints: 41332
828.09/830.83 c #Conflicts: 595000 | #Constraints: 42332
828.09/830.83 c #Conflicts: 596000 | #Constraints: 43332
828.09/830.83 c #Conflicts: 597000 | #Constraints: 44332
828.09/830.83 c INPROCESSING
828.09/830.83 c GARBAGE COLLECT
828.09/830.83 c #Conflicts: 598000 | #Constraints: 25970
828.09/830.83 c #Conflicts: 599000 | #Constraints: 26970
828.09/830.83 c #Conflicts: 600000 | #Constraints: 27970
828.09/830.83 c #Conflicts: 601000 | #Constraints: 28970
828.09/830.83 c #Conflicts: 602000 | #Constraints: 29970
828.09/830.83 c #Conflicts: 603000 | #Constraints: 30970
828.09/830.83 c #Conflicts: 604000 | #Constraints: 31970
828.09/830.83 c #Conflicts: 605000 | #Constraints: 32970
828.09/830.83 c #Conflicts: 606000 | #Constraints: 33970
828.09/830.83 c #Conflicts: 607000 | #Constraints: 34970
828.09/830.83 c #Conflicts: 608000 | #Constraints: 35970
828.09/830.83 c #Conflicts: 609000 | #Constraints: 36970
828.09/830.83 c #Conflicts: 610000 | #Constraints: 37970
828.09/830.83 c #Conflicts: 611000 | #Constraints: 38970
828.09/830.83 c #Conflicts: 612000 | #Constraints: 39970
828.09/830.83 c #Conflicts: 613000 | #Constraints: 40970
828.09/830.83 c #Conflicts: 614000 | #Constraints: 41970
828.09/830.83 c #Conflicts: 615000 | #Constraints: 42970
828.09/830.83 c INPROCESSING
828.09/830.83 c GARBAGE COLLECT
828.09/830.83 c #Conflicts: 616000 | #Constraints: 25699
828.09/830.83 c #Conflicts: 617000 | #Constraints: 26699
828.09/830.83 c #Conflicts: 618000 | #Constraints: 27699
828.09/830.83 c #Conflicts: 619000 | #Constraints: 28699
828.09/830.83 c #Conflicts: 620000 | #Constraints: 29699
828.09/830.83 c #Conflicts: 621000 | #Constraints: 30699
828.09/830.83 c #Conflicts: 622000 | #Constraints: 31699
828.09/830.83 c #Conflicts: 623000 | #Constraints: 32699
828.09/830.83 c #Conflicts: 624000 | #Constraints: 33699
828.09/830.83 c #Conflicts: 625000 | #Constraints: 34699
828.09/830.83 c #Conflicts: 626000 | #Constraints: 35699
828.09/830.83 c #Conflicts: 627000 | #Constraints: 36699
828.09/830.83 c #Conflicts: 628000 | #Constraints: 37699
828.09/830.83 c #Conflicts: 629000 | #Constraints: 38699
828.09/830.83 c #Conflicts: 630000 | #Constraints: 39699
828.09/830.83 c #Conflicts: 631000 | #Constraints: 40699
828.09/830.83 c #Conflicts: 632000 | #Constraints: 41699
828.09/830.83 c INPROCESSING
828.09/830.83 c GARBAGE COLLECT
828.09/830.83 c #Conflicts: 633000 | #Constraints: 24862
828.09/830.83 c #Conflicts: 634000 | #Constraints: 25862
828.09/830.83 c #Conflicts: 635000 | #Constraints: 26862
828.09/830.83 c #Conflicts: 636000 | #Constraints: 27862
828.09/830.83 c #Conflicts: 637000 | #Constraints: 28862
828.09/830.83 c #Conflicts: 638000 | #Constraints: 29862
828.09/830.84 c #Conflicts: 639000 | #Constraints: 30862
828.09/830.84 c #Conflicts: 640000 | #Constraints: 31862
828.09/830.84 c #Conflicts: 641000 | #Constraints: 32862
828.09/830.84 c #Conflicts: 642000 | #Constraints: 33862
828.09/830.84 c #Conflicts: 643000 | #Constraints: 34862
828.09/830.84 c #Conflicts: 644000 | #Constraints: 35862
828.09/830.84 c #Conflicts: 645000 | #Constraints: 36862
828.09/830.84 c #Conflicts: 646000 | #Constraints: 37862
828.09/830.84 c #Conflicts: 647000 | #Constraints: 38862
828.09/830.84 c #Conflicts: 648000 | #Constraints: 39862
828.09/830.84 c #Conflicts: 649000 | #Constraints: 40862
828.09/830.84 c #Conflicts: 650000 | #Constraints: 41862
828.09/830.84 c #Conflicts: 651000 | #Constraints: 42862
828.09/830.84 c #Conflicts: 652000 | #Constraints: 43862
828.09/830.84 c #Conflicts: 653000 | #Constraints: 44862
828.09/830.84 c #Conflicts: 654000 | #Constraints: 45862
828.09/830.84 c #Conflicts: 655000 | #Constraints: 46862
828.09/830.84 c #Conflicts: 656000 | #Constraints: 47862
828.09/830.84 c #Conflicts: 657000 | #Constraints: 48862
992.39/995.64 c #Conflicts: 658000 | #Constraints: 49862
992.39/995.64 c #Conflicts: 659000 | #Constraints: 50862
992.39/995.64 c #Conflicts: 660000 | #Constraints: 51862
992.39/995.64 c #Conflicts: 661000 | #Constraints: 52862
992.39/995.64 c #Conflicts: 662000 | #Constraints: 53862
992.39/995.64 c #Conflicts: 663000 | #Constraints: 54862
992.39/995.64 c #Conflicts: 664000 | #Constraints: 55862
992.39/995.64 c #Conflicts: 665000 | #Constraints: 56862
992.39/995.64 c #Conflicts: 666000 | #Constraints: 57862
992.39/995.64 c #Conflicts: 667000 | #Constraints: 58862
992.39/995.64 c #Conflicts: 668000 | #Constraints: 59862
992.39/995.64 c #Conflicts: 669000 | #Constraints: 60862
992.39/995.64 c #Conflicts: 670000 | #Constraints: 61862
992.39/995.64 c #Conflicts: 671000 | #Constraints: 62862
992.39/995.64 c #Conflicts: 672000 | #Constraints: 63862
992.39/995.64 c #Conflicts: 673000 | #Constraints: 64862
992.39/995.64 c #Conflicts: 674000 | #Constraints: 65862
992.39/995.64 c #Conflicts: 675000 | #Constraints: 66862
992.39/995.64 c #Conflicts: 676000 | #Constraints: 67862
992.39/995.64 c #Conflicts: 677000 | #Constraints: 68862
992.39/995.64 c #Conflicts: 678000 | #Constraints: 69862
992.39/995.64 c #Conflicts: 679000 | #Constraints: 70862
992.39/995.64 c #Conflicts: 680000 | #Constraints: 71862
992.39/995.64 c #Conflicts: 681000 | #Constraints: 72862
992.39/995.64 c #Conflicts: 682000 | #Constraints: 73862
992.39/995.64 c #Conflicts: 683000 | #Constraints: 74862
992.39/995.64 c #Conflicts: 684000 | #Constraints: 75862
992.39/995.64 c #Conflicts: 685000 | #Constraints: 76862
992.39/995.64 c #Conflicts: 686000 | #Constraints: 77862
992.39/995.64 c #Conflicts: 687000 | #Constraints: 78862
992.39/995.64 c #Conflicts: 688000 | #Constraints: 79862
992.39/995.64 c #Conflicts: 689000 | #Constraints: 80862
992.39/995.64 c #Conflicts: 690000 | #Constraints: 81862
992.39/995.64 c #Conflicts: 691000 | #Constraints: 82862
992.39/995.64 c #Conflicts: 692000 | #Constraints: 83862
992.39/995.64 c #Conflicts: 693000 | #Constraints: 84862
992.39/995.64 c #Conflicts: 694000 | #Constraints: 85862
992.39/995.64 c #Conflicts: 695000 | #Constraints: 86862
992.39/995.64 c #Conflicts: 696000 | #Constraints: 87862
992.39/995.64 c INPROCESSING
992.39/995.64 c GARBAGE COLLECT
992.39/995.64 c #Conflicts: 697000 | #Constraints: 47843
992.39/995.64 c #Conflicts: 698000 | #Constraints: 48843
992.39/995.64 c #Conflicts: 699000 | #Constraints: 49843
992.39/995.64 c #Conflicts: 700000 | #Constraints: 50843
992.39/995.64 c #Conflicts: 701000 | #Constraints: 51843
992.39/995.64 c #Conflicts: 702000 | #Constraints: 52843
992.39/995.64 c #Conflicts: 703000 | #Constraints: 53843
992.39/995.64 c #Conflicts: 704000 | #Constraints: 54843
992.39/995.64 c #Conflicts: 705000 | #Constraints: 55843
992.39/995.64 c #Conflicts: 706000 | #Constraints: 56843
992.39/995.64 c #Conflicts: 707000 | #Constraints: 57843
992.39/995.64 c #Conflicts: 708000 | #Constraints: 58843
992.39/995.64 c #Conflicts: 709000 | #Constraints: 59843
992.39/995.64 c #Conflicts: 710000 | #Constraints: 60843
992.39/995.64 c #Conflicts: 711000 | #Constraints: 61843
992.39/995.64 c #Conflicts: 712000 | #Constraints: 62843
992.39/995.64 c #Conflicts: 713000 | #Constraints: 63843
992.39/995.64 c #Conflicts: 714000 | #Constraints: 64843
992.39/995.64 c #Conflicts: 715000 | #Constraints: 65843
992.39/995.64 c INPROCESSING
992.39/995.64 c GARBAGE COLLECT
992.39/995.64 c #Conflicts: 716000 | #Constraints: 36898
992.39/995.64 c #Conflicts: 717000 | #Constraints: 37898
992.39/995.64 c #Conflicts: 718000 | #Constraints: 38898
992.39/995.64 c #Conflicts: 719000 | #Constraints: 39898
992.39/995.64 c #Conflicts: 720000 | #Constraints: 40898
992.39/995.64 c #Conflicts: 721000 | #Constraints: 41898
992.39/995.64 c #Conflicts: 722000 | #Constraints: 42898
992.39/995.64 c #Conflicts: 723000 | #Constraints: 43898
992.39/995.64 c #Conflicts: 724000 | #Constraints: 44898
992.39/995.64 c #Conflicts: 725000 | #Constraints: 45898
992.39/995.64 c #Conflicts: 726000 | #Constraints: 46898
992.39/995.64 c #Conflicts: 727000 | #Constraints: 47898
992.39/995.64 c #Conflicts: 728000 | #Constraints: 48898
992.39/995.64 c #Conflicts: 729000 | #Constraints: 49898
992.39/995.64 c #Conflicts: 730000 | #Constraints: 50898
992.39/995.64 c #Conflicts: 731000 | #Constraints: 51898
992.39/995.64 c #Conflicts: 732000 | #Constraints: 52898
992.39/995.64 c #Conflicts: 733000 | #Constraints: 53898
992.39/995.64 c #Conflicts: 734000 | #Constraints: 54898
992.39/995.64 c INPROCESSING
992.39/995.64 c GARBAGE COLLECT
992.39/995.67 c rational objective 84
1020.20/1023.58 c #Conflicts: 735000 | #Constraints: 31421
1020.20/1023.58 c #Conflicts: 736000 | #Constraints: 32421
1020.20/1023.58 c #Conflicts: 737000 | #Constraints: 33421
1020.20/1023.58 c #Conflicts: 738000 | #Constraints: 34421
1020.20/1023.58 c #Conflicts: 739000 | #Constraints: 35421
1020.20/1023.58 c #Conflicts: 740000 | #Constraints: 36421
1020.20/1023.58 c #Conflicts: 741000 | #Constraints: 37421
1020.20/1023.58 c #Conflicts: 742000 | #Constraints: 38421
1020.20/1023.58 c #Conflicts: 743000 | #Constraints: 39421
1020.20/1023.58 c #Conflicts: 744000 | #Constraints: 40421
1020.20/1023.58 c #Conflicts: 745000 | #Constraints: 41421
1020.20/1023.58 c #Conflicts: 746000 | #Constraints: 42421
1020.20/1023.58 c #Conflicts: 747000 | #Constraints: 43421
1020.20/1023.58 c #Conflicts: 748000 | #Constraints: 44421
1020.20/1023.58 c #Conflicts: 749000 | #Constraints: 45421
1020.20/1023.58 c #Conflicts: 750000 | #Constraints: 46421
1020.20/1023.58 c #Conflicts: 751000 | #Constraints: 47421
1020.20/1023.58 c #Conflicts: 752000 | #Constraints: 48421
1020.20/1023.58 c #Conflicts: 753000 | #Constraints: 49421
1020.20/1023.58 c INPROCESSING
1020.20/1023.58 c GARBAGE COLLECT
1020.20/1023.58 c rational objective 84
1124.28/1127.94 c #Conflicts: 754000 | #Constraints: 28692
1124.28/1127.94 c #Conflicts: 755000 | #Constraints: 29692
1124.28/1127.94 c #Conflicts: 756000 | #Constraints: 30692
1124.28/1127.94 c #Conflicts: 757000 | #Constraints: 31692
1124.28/1127.94 c #Conflicts: 758000 | #Constraints: 32692
1124.28/1127.94 c #Conflicts: 759000 | #Constraints: 33692
1124.28/1127.94 c #Conflicts: 760000 | #Constraints: 34692
1124.28/1127.94 c #Conflicts: 761000 | #Constraints: 35692
1124.28/1127.94 c #Conflicts: 762000 | #Constraints: 36692
1124.28/1127.94 c #Conflicts: 763000 | #Constraints: 37692
1124.28/1127.94 c #Conflicts: 764000 | #Constraints: 38692
1124.28/1127.94 c #Conflicts: 765000 | #Constraints: 39692
1124.28/1127.94 c #Conflicts: 766000 | #Constraints: 40692
1124.28/1127.94 c #Conflicts: 767000 | #Constraints: 41692
1124.28/1127.94 c #Conflicts: 768000 | #Constraints: 42692
1124.28/1127.94 c #Conflicts: 769000 | #Constraints: 43692
1124.28/1127.94 c #Conflicts: 770000 | #Constraints: 44692
1124.28/1127.94 c #Conflicts: 771000 | #Constraints: 45692
1124.28/1127.94 c #Conflicts: 772000 | #Constraints: 46692
1124.28/1127.94 c INPROCESSING
1124.28/1127.94 c GARBAGE COLLECT
1124.28/1127.94 c #Conflicts: 773000 | #Constraints: 27166
1124.28/1127.94 c #Conflicts: 774000 | #Constraints: 28166
1124.28/1127.94 c #Conflicts: 775000 | #Constraints: 29166
1124.28/1127.94 c #Conflicts: 776000 | #Constraints: 30166
1124.28/1127.94 c #Conflicts: 777000 | #Constraints: 31166
1124.28/1127.94 c #Conflicts: 778000 | #Constraints: 32166
1124.28/1127.94 c #Conflicts: 779000 | #Constraints: 33166
1124.28/1127.94 c #Conflicts: 780000 | #Constraints: 34166
1124.28/1127.94 c #Conflicts: 781000 | #Constraints: 35166
1124.28/1127.94 c #Conflicts: 782000 | #Constraints: 36167
1124.28/1127.94 c #Conflicts: 783000 | #Constraints: 37167
1124.28/1127.94 c #Conflicts: 784000 | #Constraints: 38167
1124.28/1127.94 c #Conflicts: 785000 | #Constraints: 39167
1124.28/1127.94 c #Conflicts: 786000 | #Constraints: 40167
1124.28/1127.94 c #Conflicts: 787000 | #Constraints: 41167
1124.28/1127.94 c #Conflicts: 788000 | #Constraints: 42167
1124.28/1127.94 c #Conflicts: 789000 | #Constraints: 43167
1124.28/1127.94 c #Conflicts: 790000 | #Constraints: 44167
1124.28/1127.94 c #Conflicts: 791000 | #Constraints: 45167
1124.28/1127.94 c #Conflicts: 792000 | #Constraints: 46167
1124.28/1127.94 c INPROCESSING
1124.28/1127.94 c GARBAGE COLLECT
1124.28/1127.94 c #Conflicts: 793000 | #Constraints: 27300
1124.28/1127.94 c #Conflicts: 794000 | #Constraints: 28300
1124.28/1127.94 c #Conflicts: 795000 | #Constraints: 29300
1124.28/1127.94 c #Conflicts: 796000 | #Constraints: 30300
1124.28/1127.94 c #Conflicts: 797000 | #Constraints: 31300
1124.28/1127.94 c #Conflicts: 798000 | #Constraints: 32300
1124.28/1127.94 c #Conflicts: 799000 | #Constraints: 33300
1124.28/1127.94 c #Conflicts: 800000 | #Constraints: 34300
1124.28/1127.94 c #Conflicts: 801000 | #Constraints: 35300
1124.28/1127.94 c #Conflicts: 802000 | #Constraints: 36300
1124.28/1127.94 c #Conflicts: 803000 | #Constraints: 37300
1124.28/1127.94 c #Conflicts: 804000 | #Constraints: 38300
1124.28/1127.94 c #Conflicts: 805000 | #Constraints: 39300
1124.28/1127.94 c #Conflicts: 806000 | #Constraints: 40300
1124.28/1127.94 c #Conflicts: 807000 | #Constraints: 41300
1124.28/1127.94 c #Conflicts: 808000 | #Constraints: 42300
1124.28/1127.94 c #Conflicts: 809000 | #Constraints: 43300
1124.28/1127.94 c #Conflicts: 810000 | #Constraints: 44300
1124.28/1127.94 c #Conflicts: 811000 | #Constraints: 45300
1124.28/1127.94 c #Conflicts: 812000 | #Constraints: 46300
1124.28/1127.94 c #Conflicts: 813000 | #Constraints: 47300
1124.28/1127.94 c #Conflicts: 814000 | #Constraints: 48300
1124.28/1127.94 c #Conflicts: 815000 | #Constraints: 49300
1124.28/1127.94 c #Conflicts: 816000 | #Constraints: 50300
1124.28/1127.94 c #Conflicts: 817000 | #Constraints: 51300
1124.28/1127.94 c #Conflicts: 818000 | #Constraints: 52300
1124.28/1127.94 c #Conflicts: 819000 | #Constraints: 53300
1124.28/1127.94 c #Conflicts: 820000 | #Constraints: 54300
1124.28/1127.94 c #Conflicts: 821000 | #Constraints: 55300
1124.28/1127.94 c #Conflicts: 822000 | #Constraints: 56300
1124.28/1127.94 c #Conflicts: 823000 | #Constraints: 57300
1124.28/1127.94 c #Conflicts: 824000 | #Constraints: 58300
1124.28/1127.94 c #Conflicts: 825000 | #Constraints: 59300
1124.28/1127.94 c #Conflicts: 826000 | #Constraints: 60300
1124.28/1127.94 c #Conflicts: 827000 | #Constraints: 61300
1124.28/1127.94 c #Conflicts: 828000 | #Constraints: 62300
1124.28/1127.94 c #Conflicts: 829000 | #Constraints: 63300
1124.28/1127.94 c #Conflicts: 830000 | #Constraints: 64300
1124.28/1127.94 c #Conflicts: 831000 | #Constraints: 65300
1230.75/1234.70 c #Conflicts: 832000 | #Constraints: 66300
1230.75/1234.70 c #Conflicts: 833000 | #Constraints: 67300
1230.75/1234.70 c #Conflicts: 834000 | #Constraints: 68300
1230.75/1234.70 c #Conflicts: 835000 | #Constraints: 69300
1230.75/1234.70 c #Conflicts: 836000 | #Constraints: 70300
1230.75/1234.70 c #Conflicts: 837000 | #Constraints: 71300
1230.75/1234.70 c #Conflicts: 838000 | #Constraints: 72300
1230.75/1234.70 c #Conflicts: 839000 | #Constraints: 73300
1230.75/1234.70 c #Conflicts: 840000 | #Constraints: 74300
1230.75/1234.70 c #Conflicts: 841000 | #Constraints: 75300
1230.75/1234.70 c #Conflicts: 842000 | #Constraints: 76300
1230.75/1234.70 c #Conflicts: 843000 | #Constraints: 77300
1230.75/1234.70 c #Conflicts: 844000 | #Constraints: 78300
1230.75/1234.70 c #Conflicts: 845000 | #Constraints: 79300
1230.75/1234.70 c #Conflicts: 846000 | #Constraints: 80300
1230.75/1234.70 c #Conflicts: 847000 | #Constraints: 81300
1230.75/1234.70 c #Conflicts: 848000 | #Constraints: 82300
1230.75/1234.70 c #Conflicts: 849000 | #Constraints: 83300
1230.75/1234.70 c #Conflicts: 850000 | #Constraints: 84300
1230.75/1234.70 c #Conflicts: 851000 | #Constraints: 85300
1230.75/1234.70 c #Conflicts: 852000 | #Constraints: 86300
1230.75/1234.70 c #Conflicts: 853000 | #Constraints: 87300
1230.75/1234.70 c #Conflicts: 854000 | #Constraints: 88300
1230.75/1234.70 c #Conflicts: 855000 | #Constraints: 89300
1230.75/1234.70 c #Conflicts: 856000 | #Constraints: 90300
1230.75/1234.70 c #Conflicts: 857000 | #Constraints: 91300
1230.75/1234.70 c #Conflicts: 858000 | #Constraints: 92300
1230.75/1234.70 c #Conflicts: 859000 | #Constraints: 93300
1230.75/1234.70 c #Conflicts: 860000 | #Constraints: 94300
1230.75/1234.70 c #Conflicts: 861000 | #Constraints: 95300
1230.75/1234.70 c #Conflicts: 862000 | #Constraints: 96300
1230.75/1234.70 c #Conflicts: 863000 | #Constraints: 97300
1230.75/1234.70 c #Conflicts: 864000 | #Constraints: 98300
1230.75/1234.70 c INPROCESSING
1230.75/1234.70 c GARBAGE COLLECT
1230.75/1234.70 c rational objective 84
1352.69/1357.02 c #Conflicts: 865000 | #Constraints: 53323
1352.69/1357.02 c #Conflicts: 866000 | #Constraints: 54323
1352.69/1357.02 c #Conflicts: 867000 | #Constraints: 55323
1352.69/1357.02 c #Conflicts: 868000 | #Constraints: 56323
1352.69/1357.02 c #Conflicts: 869000 | #Constraints: 57323
1352.69/1357.02 c #Conflicts: 870000 | #Constraints: 58323
1352.69/1357.02 c #Conflicts: 871000 | #Constraints: 59323
1352.69/1357.02 c #Conflicts: 872000 | #Constraints: 60323
1352.69/1357.02 c #Conflicts: 873000 | #Constraints: 61323
1352.69/1357.02 c #Conflicts: 874000 | #Constraints: 62323
1352.69/1357.02 c #Conflicts: 875000 | #Constraints: 63323
1352.69/1357.02 c #Conflicts: 876000 | #Constraints: 64323
1352.69/1357.02 c #Conflicts: 877000 | #Constraints: 65323
1352.69/1357.02 c #Conflicts: 878000 | #Constraints: 66323
1352.69/1357.02 c #Conflicts: 879000 | #Constraints: 67323
1352.69/1357.02 c #Conflicts: 880000 | #Constraints: 68323
1352.69/1357.02 c #Conflicts: 881000 | #Constraints: 69323
1352.69/1357.02 c #Conflicts: 882000 | #Constraints: 70323
1352.69/1357.02 c #Conflicts: 883000 | #Constraints: 71323
1352.69/1357.02 c #Conflicts: 884000 | #Constraints: 72323
1352.69/1357.02 c #Conflicts: 885000 | #Constraints: 73323
1352.69/1357.02 c INPROCESSING
1352.69/1357.02 c GARBAGE COLLECT
1352.69/1357.02 c #Conflicts: 886000 | #Constraints: 40934
1352.69/1357.02 c #Conflicts: 887000 | #Constraints: 41934
1352.69/1357.02 c #Conflicts: 888000 | #Constraints: 42934
1352.69/1357.02 c #Conflicts: 889000 | #Constraints: 43934
1352.69/1357.02 c #Conflicts: 890000 | #Constraints: 44934
1352.69/1357.02 c #Conflicts: 891000 | #Constraints: 45934
1352.69/1357.02 c #Conflicts: 892000 | #Constraints: 46934
1352.69/1357.02 c #Conflicts: 893000 | #Constraints: 47934
1352.69/1357.02 c #Conflicts: 894000 | #Constraints: 48934
1352.69/1357.02 c #Conflicts: 895000 | #Constraints: 49934
1352.69/1357.02 c #Conflicts: 896000 | #Constraints: 50935
1352.69/1357.02 c #Conflicts: 897000 | #Constraints: 51935
1352.69/1357.02 c #Conflicts: 898000 | #Constraints: 52935
1352.69/1357.02 c #Conflicts: 899000 | #Constraints: 53935
1352.69/1357.02 c #Conflicts: 900000 | #Constraints: 54935
1352.69/1357.02 c #Conflicts: 901000 | #Constraints: 55935
1352.69/1357.02 c #Conflicts: 902000 | #Constraints: 56935
1352.69/1357.02 c #Conflicts: 903000 | #Constraints: 57935
1352.69/1357.02 c #Conflicts: 904000 | #Constraints: 58935
1352.69/1357.02 c #Conflicts: 905000 | #Constraints: 59935
1352.69/1357.02 c #Conflicts: 906000 | #Constraints: 60935
1352.69/1357.02 c INPROCESSING
1352.69/1357.02 c GARBAGE COLLECT
1352.69/1357.02 c #Conflicts: 907000 | #Constraints: 34691
1352.69/1357.02 c #Conflicts: 908000 | #Constraints: 35691
1352.69/1357.02 c #Conflicts: 909000 | #Constraints: 36691
1352.69/1357.02 c #Conflicts: 910000 | #Constraints: 37691
1352.69/1357.02 c #Conflicts: 911000 | #Constraints: 38691
1352.69/1357.02 c #Conflicts: 912000 | #Constraints: 39691
1352.69/1357.02 c #Conflicts: 913000 | #Constraints: 40691
1352.69/1357.02 c #Conflicts: 914000 | #Constraints: 41691
1352.69/1357.02 c #Conflicts: 915000 | #Constraints: 42691
1352.69/1357.02 c #Conflicts: 916000 | #Constraints: 43691
1352.69/1357.02 c #Conflicts: 917000 | #Constraints: 44691
1352.69/1357.02 c #Conflicts: 918000 | #Constraints: 45691
1352.69/1357.02 c #Conflicts: 919000 | #Constraints: 46691
1352.69/1357.02 c #Conflicts: 920000 | #Constraints: 47691
1352.69/1357.02 c #Conflicts: 921000 | #Constraints: 48691
1352.69/1357.02 c #Conflicts: 922000 | #Constraints: 49691
1352.69/1357.02 c #Conflicts: 923000 | #Constraints: 50691
1352.69/1357.02 c #Conflicts: 924000 | #Constraints: 51691
1352.69/1357.02 c #Conflicts: 925000 | #Constraints: 52691
1352.69/1357.02 c #Conflicts: 926000 | #Constraints: 53691
1352.69/1357.02 c #Conflicts: 927000 | #Constraints: 54691
1352.69/1357.02 c INPROCESSING
1352.69/1357.02 c GARBAGE COLLECT
1352.69/1357.02 c #Conflicts: 928000 | #Constraints: 31484
1352.69/1357.02 c #Conflicts: 929000 | #Constraints: 32484
1352.69/1357.02 c #Conflicts: 930000 | #Constraints: 33484
1352.69/1357.02 c #Conflicts: 931000 | #Constraints: 34484
1352.69/1357.02 c #Conflicts: 932000 | #Constraints: 35484
1352.69/1357.02 c #Conflicts: 933000 | #Constraints: 36485
1352.69/1357.02 c #Conflicts: 934000 | #Constraints: 37485
1352.69/1357.02 c #Conflicts: 935000 | #Constraints: 38485
1352.69/1357.02 c #Conflicts: 936000 | #Constraints: 39485
1352.69/1357.02 c #Conflicts: 937000 | #Constraints: 40485
1352.69/1357.02 c #Conflicts: 938000 | #Constraints: 41485
1352.69/1357.02 c #Conflicts: 939000 | #Constraints: 42485
1352.69/1357.02 c #Conflicts: 940000 | #Constraints: 43485
1352.69/1357.02 c #Conflicts: 941000 | #Constraints: 44485
1490.26/1495.02 c #Conflicts: 942000 | #Constraints: 45485
1490.26/1495.02 c #Conflicts: 943000 | #Constraints: 46485
1490.26/1495.02 c #Conflicts: 944000 | #Constraints: 47485
1490.26/1495.02 c #Conflicts: 945000 | #Constraints: 48485
1490.26/1495.02 c #Conflicts: 946000 | #Constraints: 49485
1490.26/1495.02 c #Conflicts: 947000 | #Constraints: 50485
1490.26/1495.02 c #Conflicts: 948000 | #Constraints: 51485
1490.26/1495.02 c INPROCESSING
1490.26/1495.02 c GARBAGE COLLECT
1490.26/1495.02 c #Conflicts: 949000 | #Constraints: 29726
1490.26/1495.02 c #Conflicts: 950000 | #Constraints: 30726
1490.26/1495.02 c #Conflicts: 951000 | #Constraints: 31726
1490.26/1495.02 c #Conflicts: 952000 | #Constraints: 32726
1490.26/1495.02 c #Conflicts: 953000 | #Constraints: 33726
1490.26/1495.02 c #Conflicts: 954000 | #Constraints: 34726
1490.26/1495.02 c #Conflicts: 955000 | #Constraints: 35726
1490.26/1495.02 c #Conflicts: 956000 | #Constraints: 36726
1490.26/1495.02 c #Conflicts: 957000 | #Constraints: 37726
1490.26/1495.02 c #Conflicts: 958000 | #Constraints: 38726
1490.26/1495.02 c #Conflicts: 959000 | #Constraints: 39726
1490.26/1495.02 c #Conflicts: 960000 | #Constraints: 40726
1490.26/1495.02 c #Conflicts: 961000 | #Constraints: 41726
1490.26/1495.02 c #Conflicts: 962000 | #Constraints: 42726
1490.26/1495.02 c #Conflicts: 963000 | #Constraints: 43726
1490.26/1495.02 c #Conflicts: 964000 | #Constraints: 44726
1490.26/1495.02 c #Conflicts: 965000 | #Constraints: 45726
1490.26/1495.02 c #Conflicts: 966000 | #Constraints: 46726
1490.26/1495.02 c #Conflicts: 967000 | #Constraints: 47726
1490.26/1495.02 c #Conflicts: 968000 | #Constraints: 48726
1490.26/1495.02 c #Conflicts: 969000 | #Constraints: 49726
1490.26/1495.02 c #Conflicts: 970000 | #Constraints: 50726
1490.26/1495.02 c INPROCESSING
1490.26/1495.02 c GARBAGE COLLECT
1490.26/1495.02 c #Conflicts: 971000 | #Constraints: 29512
1490.26/1495.02 c #Conflicts: 972000 | #Constraints: 30512
1490.26/1495.02 c #Conflicts: 973000 | #Constraints: 31512
1490.26/1495.02 c #Conflicts: 974000 | #Constraints: 32512
1490.26/1495.02 c #Conflicts: 975000 | #Constraints: 33512
1490.26/1495.02 c #Conflicts: 976000 | #Constraints: 34512
1490.26/1495.02 c #Conflicts: 977000 | #Constraints: 35512
1490.26/1495.02 c #Conflicts: 978000 | #Constraints: 36512
1490.26/1495.02 c #Conflicts: 979000 | #Constraints: 37512
1490.26/1495.02 c #Conflicts: 980000 | #Constraints: 38512
1490.26/1495.02 c #Conflicts: 981000 | #Constraints: 39512
1490.26/1495.02 c #Conflicts: 982000 | #Constraints: 40512
1490.26/1495.02 c #Conflicts: 983000 | #Constraints: 41512
1490.26/1495.02 c #Conflicts: 984000 | #Constraints: 42512
1490.26/1495.02 c #Conflicts: 985000 | #Constraints: 43512
1490.26/1495.02 c #Conflicts: 986000 | #Constraints: 44512
1490.26/1495.02 c #Conflicts: 987000 | #Constraints: 45512
1490.26/1495.02 c #Conflicts: 988000 | #Constraints: 46512
1490.26/1495.02 c #Conflicts: 989000 | #Constraints: 47512
1490.26/1495.02 c #Conflicts: 990000 | #Constraints: 48512
1490.26/1495.02 c #Conflicts: 991000 | #Constraints: 49512
1490.26/1495.02 c #Conflicts: 992000 | #Constraints: 50512
1490.26/1495.02 c #Conflicts: 993000 | #Constraints: 51512
1490.26/1495.02 c #Conflicts: 994000 | #Constraints: 52512
1490.26/1495.02 c #Conflicts: 995000 | #Constraints: 53512
1490.26/1495.02 c #Conflicts: 996000 | #Constraints: 54512
1490.26/1495.02 c #Conflicts: 997000 | #Constraints: 55512
1490.26/1495.02 c #Conflicts: 998000 | #Constraints: 56512
1490.26/1495.02 c #Conflicts: 999000 | #Constraints: 57512
1490.26/1495.02 c #Conflicts: 1000000 | #Constraints: 58512
1490.26/1495.02 c #Conflicts: 1001000 | #Constraints: 59512
1490.26/1495.02 c #Conflicts: 1002000 | #Constraints: 60512
1490.26/1495.02 c #Conflicts: 1003000 | #Constraints: 61512
1490.26/1495.02 c #Conflicts: 1004000 | #Constraints: 62512
1490.26/1495.02 c #Conflicts: 1005000 | #Constraints: 63512
1490.26/1495.02 c #Conflicts: 1006000 | #Constraints: 64512
1490.26/1495.02 c #Conflicts: 1007000 | #Constraints: 65512
1490.26/1495.02 c #Conflicts: 1008000 | #Constraints: 66512
1490.26/1495.02 c #Conflicts: 1009000 | #Constraints: 67512
1490.26/1495.02 c #Conflicts: 1010000 | #Constraints: 68512
1490.26/1495.02 c #Conflicts: 1011000 | #Constraints: 69512
1490.26/1495.02 c #Conflicts: 1012000 | #Constraints: 70512
1490.26/1495.02 c #Conflicts: 1013000 | #Constraints: 71512
1490.26/1495.02 c #Conflicts: 1014000 | #Constraints: 72512
1490.26/1495.02 c #Conflicts: 1015000 | #Constraints: 73512
1490.26/1495.02 c #Conflicts: 1016000 | #Constraints: 74512
1490.26/1495.02 c #Conflicts: 1017000 | #Constraints: 75512
1490.26/1495.02 c #Conflicts: 1018000 | #Constraints: 76512
1490.26/1495.02 c #Conflicts: 1019000 | #Constraints: 77512
1585.30/1590.48 c #Conflicts: 1020000 | #Constraints: 78512
1585.30/1590.48 c #Conflicts: 1021000 | #Constraints: 79512
1585.30/1590.48 c #Conflicts: 1022000 | #Constraints: 80512
1585.30/1590.48 c #Conflicts: 1023000 | #Constraints: 81512
1585.30/1590.48 c #Conflicts: 1024000 | #Constraints: 82512
1585.30/1590.48 c #Conflicts: 1025000 | #Constraints: 83512
1585.30/1590.48 c #Conflicts: 1026000 | #Constraints: 84512
1585.30/1590.48 c #Conflicts: 1027000 | #Constraints: 85512
1585.30/1590.48 c #Conflicts: 1028000 | #Constraints: 86512
1585.30/1590.48 c #Conflicts: 1029000 | #Constraints: 87512
1585.30/1590.48 c #Conflicts: 1030000 | #Constraints: 88512
1585.30/1590.48 c #Conflicts: 1031000 | #Constraints: 89512
1585.30/1590.48 c #Conflicts: 1032000 | #Constraints: 90512
1585.30/1590.48 c #Conflicts: 1033000 | #Constraints: 91512
1585.30/1590.48 c #Conflicts: 1034000 | #Constraints: 92512
1585.30/1590.48 c #Conflicts: 1035000 | #Constraints: 93512
1585.30/1590.48 c #Conflicts: 1036000 | #Constraints: 94512
1585.30/1590.48 c #Conflicts: 1037000 | #Constraints: 95512
1585.30/1590.48 c #Conflicts: 1038000 | #Constraints: 96512
1585.30/1590.48 c #Conflicts: 1039000 | #Constraints: 97512
1585.30/1590.48 c #Conflicts: 1040000 | #Constraints: 98512
1585.30/1590.48 c #Conflicts: 1041000 | #Constraints: 99512
1585.30/1590.48 c #Conflicts: 1042000 | #Constraints: 100512
1585.30/1590.48 c #Conflicts: 1043000 | #Constraints: 101513
1585.30/1590.48 c #Conflicts: 1044000 | #Constraints: 102513
1585.30/1590.48 c #Conflicts: 1045000 | #Constraints: 103513
1585.30/1590.48 c #Conflicts: 1046000 | #Constraints: 104513
1585.30/1590.48 c #Conflicts: 1047000 | #Constraints: 105513
1585.30/1590.48 c #Conflicts: 1048000 | #Constraints: 106513
1585.30/1590.48 c #Conflicts: 1049000 | #Constraints: 107513
1585.30/1590.48 c INPROCESSING
1585.30/1590.48 c GARBAGE COLLECT
1585.30/1590.48 c rational objective 84
1718.33/1723.94 c #Conflicts: 1050000 | #Constraints: 57769
1718.33/1723.94 c #Conflicts: 1051000 | #Constraints: 58769
1718.33/1723.94 c #Conflicts: 1052000 | #Constraints: 59769
1718.33/1723.94 c #Conflicts: 1053000 | #Constraints: 60769
1718.33/1723.94 c #Conflicts: 1054000 | #Constraints: 61769
1718.33/1723.94 c #Conflicts: 1055000 | #Constraints: 62769
1718.33/1723.94 c #Conflicts: 1056000 | #Constraints: 63769
1718.33/1723.94 c #Conflicts: 1057000 | #Constraints: 64769
1718.33/1723.94 c #Conflicts: 1058000 | #Constraints: 65769
1718.33/1723.94 c #Conflicts: 1059000 | #Constraints: 66769
1718.33/1723.94 c #Conflicts: 1060000 | #Constraints: 67769
1718.33/1723.94 c #Conflicts: 1061000 | #Constraints: 68769
1718.33/1723.94 c #Conflicts: 1062000 | #Constraints: 69769
1718.33/1723.94 c #Conflicts: 1063000 | #Constraints: 70769
1718.33/1723.94 c #Conflicts: 1064000 | #Constraints: 71769
1718.33/1723.94 c #Conflicts: 1065000 | #Constraints: 72769
1718.33/1723.94 c #Conflicts: 1066000 | #Constraints: 73769
1718.33/1723.94 c #Conflicts: 1067000 | #Constraints: 74769
1718.33/1723.94 c #Conflicts: 1068000 | #Constraints: 75769
1718.33/1723.94 c #Conflicts: 1069000 | #Constraints: 76769
1718.33/1723.94 c #Conflicts: 1070000 | #Constraints: 77769
1718.33/1723.94 c #Conflicts: 1071000 | #Constraints: 78769
1718.33/1723.94 c #Conflicts: 1072000 | #Constraints: 79769
1718.33/1723.94 c INPROCESSING
1718.33/1723.94 c GARBAGE COLLECT
1718.33/1723.94 c #Conflicts: 1073000 | #Constraints: 43895
1718.33/1723.94 c #Conflicts: 1074000 | #Constraints: 44895
1718.33/1723.94 c #Conflicts: 1075000 | #Constraints: 45895
1718.33/1723.94 c #Conflicts: 1076000 | #Constraints: 46895
1718.33/1723.94 c #Conflicts: 1077000 | #Constraints: 47895
1718.33/1723.94 c #Conflicts: 1078000 | #Constraints: 48895
1718.33/1723.94 c #Conflicts: 1079000 | #Constraints: 49895
1718.33/1723.94 c #Conflicts: 1080000 | #Constraints: 50895
1718.33/1723.94 c #Conflicts: 1081000 | #Constraints: 51895
1718.33/1723.94 c #Conflicts: 1082000 | #Constraints: 52895
1718.33/1723.94 c #Conflicts: 1083000 | #Constraints: 53895
1718.33/1723.94 c #Conflicts: 1084000 | #Constraints: 54895
1718.33/1723.94 c #Conflicts: 1085000 | #Constraints: 55895
1718.33/1723.94 c #Conflicts: 1086000 | #Constraints: 56895
1718.33/1723.94 c #Conflicts: 1087000 | #Constraints: 57895
1718.33/1723.94 c #Conflicts: 1088000 | #Constraints: 58895
1718.33/1723.94 c #Conflicts: 1089000 | #Constraints: 59895
1718.33/1723.94 c #Conflicts: 1090000 | #Constraints: 60895
1718.33/1723.94 c #Conflicts: 1091000 | #Constraints: 61895
1718.33/1723.94 c #Conflicts: 1092000 | #Constraints: 62895
1718.33/1723.94 c #Conflicts: 1093000 | #Constraints: 63895
1718.33/1723.94 c #Conflicts: 1094000 | #Constraints: 64895
1718.33/1723.94 c #Conflicts: 1095000 | #Constraints: 65895
1718.33/1723.94 c INPROCESSING
1718.33/1723.94 c GARBAGE COLLECT
1718.33/1723.94 c #Conflicts: 1096000 | #Constraints: 36900
1718.33/1723.94 c #Conflicts: 1097000 | #Constraints: 37900
1718.33/1723.94 c #Conflicts: 1098000 | #Constraints: 38900
1718.33/1723.94 c #Conflicts: 1099000 | #Constraints: 39900
1718.33/1723.94 c #Conflicts: 1100000 | #Constraints: 40900
1718.33/1723.94 c #Conflicts: 1101000 | #Constraints: 41900
1718.33/1723.94 c #Conflicts: 1102000 | #Constraints: 42900
1718.33/1723.94 c #Conflicts: 1103000 | #Constraints: 43900
1718.33/1723.94 c #Conflicts: 1104000 | #Constraints: 44900
1718.33/1723.94 c #Conflicts: 1105000 | #Constraints: 45900
1718.33/1723.94 c #Conflicts: 1106000 | #Constraints: 46900
1718.33/1723.94 c #Conflicts: 1107000 | #Constraints: 47900
1718.33/1723.94 c #Conflicts: 1108000 | #Constraints: 48900
1718.33/1723.94 c #Conflicts: 1109000 | #Constraints: 49900
1718.33/1723.94 c #Conflicts: 1110000 | #Constraints: 50900
1718.33/1723.94 c #Conflicts: 1111000 | #Constraints: 51900
1718.33/1723.94 c #Conflicts: 1112000 | #Constraints: 52900
1718.33/1723.94 c #Conflicts: 1113000 | #Constraints: 53900
1718.33/1723.94 c #Conflicts: 1114000 | #Constraints: 54900
1718.33/1723.94 c #Conflicts: 1115000 | #Constraints: 55900
1718.33/1723.94 c #Conflicts: 1116000 | #Constraints: 56900
1718.33/1723.94 c #Conflicts: 1117000 | #Constraints: 57900
1718.33/1723.94 c #Conflicts: 1118000 | #Constraints: 58900
1718.33/1723.94 c INPROCESSING
1718.33/1723.94 c GARBAGE COLLECT
1718.33/1723.94 c rational objective 84
1817.27/1823.28 c #Conflicts: 1119000 | #Constraints: 33352
1817.27/1823.28 c #Conflicts: 1120000 | #Constraints: 34352
1817.27/1823.28 c #Conflicts: 1121000 | #Constraints: 35352
1817.27/1823.28 c #Conflicts: 1122000 | #Constraints: 36352
1817.27/1823.28 c #Conflicts: 1123000 | #Constraints: 37352
1817.27/1823.28 c #Conflicts: 1124000 | #Constraints: 38352
1817.27/1823.28 c #Conflicts: 1125000 | #Constraints: 39352
1817.27/1823.28 c #Conflicts: 1126000 | #Constraints: 40352
1817.27/1823.28 c #Conflicts: 1127000 | #Constraints: 41352
1817.27/1823.28 c #Conflicts: 1128000 | #Constraints: 42352
1817.27/1823.28 c #Conflicts: 1129000 | #Constraints: 43352
1817.27/1823.28 c #Conflicts: 1130000 | #Constraints: 44352
1817.27/1823.28 c #Conflicts: 1131000 | #Constraints: 45352
1817.27/1823.28 c #Conflicts: 1132000 | #Constraints: 46352
1817.27/1823.28 c #Conflicts: 1133000 | #Constraints: 47352
1817.27/1823.28 c #Conflicts: 1134000 | #Constraints: 48352
1817.27/1823.28 c #Conflicts: 1135000 | #Constraints: 49352
1817.27/1823.28 c #Conflicts: 1136000 | #Constraints: 50352
1817.27/1823.28 c #Conflicts: 1137000 | #Constraints: 51352
1817.27/1823.28 c #Conflicts: 1138000 | #Constraints: 52352
1817.27/1823.28 c #Conflicts: 1139000 | #Constraints: 53352
1817.27/1823.28 c #Conflicts: 1140000 | #Constraints: 54352
1817.27/1823.28 c #Conflicts: 1141000 | #Constraints: 55352
1817.27/1823.28 c #Conflicts: 1142000 | #Constraints: 56352
1817.27/1823.28 c INPROCESSING
1817.27/1823.28 c GARBAGE COLLECT
1817.27/1823.28 c #Conflicts: 1143000 | #Constraints: 32228
1817.27/1823.28 c #Conflicts: 1144000 | #Constraints: 33228
1817.27/1823.28 c #Conflicts: 1145000 | #Constraints: 34228
1817.27/1823.28 c #Conflicts: 1146000 | #Constraints: 35228
1817.27/1823.28 c #Conflicts: 1147000 | #Constraints: 36228
1817.27/1823.28 c #Conflicts: 1148000 | #Constraints: 37228
1817.27/1823.28 c #Conflicts: 1149000 | #Constraints: 38228
1817.27/1823.28 c #Conflicts: 1150000 | #Constraints: 39228
1817.27/1823.28 c #Conflicts: 1151000 | #Constraints: 40228
1817.27/1823.28 c #Conflicts: 1152000 | #Constraints: 41228
1817.27/1823.28 c #Conflicts: 1153000 | #Constraints: 42228
1817.27/1823.28 c #Conflicts: 1154000 | #Constraints: 43228
1817.27/1823.28 c #Conflicts: 1155000 | #Constraints: 44228
1817.27/1823.28 c #Conflicts: 1156000 | #Constraints: 45228
1817.27/1823.28 c #Conflicts: 1157000 | #Constraints: 46228
1817.27/1823.28 c #Conflicts: 1158000 | #Constraints: 47228
1817.27/1823.28 c #Conflicts: 1159000 | #Constraints: 48228
1817.27/1823.28 c #Conflicts: 1160000 | #Constraints: 49228
1817.27/1823.28 c #Conflicts: 1161000 | #Constraints: 50228
1817.27/1823.28 c #Conflicts: 1162000 | #Constraints: 51228
1817.27/1823.28 c #Conflicts: 1163000 | #Constraints: 52228
1817.27/1823.28 c #Conflicts: 1164000 | #Constraints: 53228
1817.27/1823.28 c #Conflicts: 1165000 | #Constraints: 54228
1817.27/1823.28 c #Conflicts: 1166000 | #Constraints: 55228
1817.27/1823.28 c INPROCESSING
1817.27/1823.28 c GARBAGE COLLECT
1817.27/1823.28 c #Conflicts: 1167000 | #Constraints: 31856
1817.27/1823.28 c #Conflicts: 1168000 | #Constraints: 32856
1817.27/1823.28 c #Conflicts: 1169000 | #Constraints: 33856
1817.27/1823.28 c #Conflicts: 1170000 | #Constraints: 34856
1817.27/1823.28 c #Conflicts: 1171000 | #Constraints: 35856
1817.27/1823.28 c #Conflicts: 1172000 | #Constraints: 36856
1817.27/1823.28 c #Conflicts: 1173000 | #Constraints: 37856
1817.27/1823.28 c #Conflicts: 1174000 | #Constraints: 38856
1817.27/1823.28 c #Conflicts: 1175000 | #Constraints: 39856
1817.27/1823.28 c #Conflicts: 1176000 | #Constraints: 40856
1817.27/1823.28 c #Conflicts: 1177000 | #Constraints: 41856
1817.27/1823.28 c #Conflicts: 1178000 | #Constraints: 42856
1817.27/1823.28 c #Conflicts: 1179000 | #Constraints: 43856
1817.27/1823.28 c #Conflicts: 1180000 | #Constraints: 44856
1817.27/1823.28 c #Conflicts: 1181000 | #Constraints: 45856
1817.27/1823.28 c #Conflicts: 1182000 | #Constraints: 46856
1817.27/1823.28 c #Conflicts: 1183000 | #Constraints: 47856
1817.27/1823.28 c #Conflicts: 1184000 | #Constraints: 48856
1817.27/1823.28 c #Conflicts: 1185000 | #Constraints: 49856
1817.27/1823.28 c #Conflicts: 1186000 | #Constraints: 50856
1817.27/1823.28 c #Conflicts: 1187000 | #Constraints: 51856
1817.27/1823.28 c #Conflicts: 1188000 | #Constraints: 52856
1817.27/1823.28 c #Conflicts: 1189000 | #Constraints: 53856
1817.27/1823.28 c #Conflicts: 1190000 | #Constraints: 54856
1817.27/1823.28 c INPROCESSING
1817.27/1823.28 c GARBAGE COLLECT
1817.27/1823.28 c #Conflicts: 1191000 | #Constraints: 31679
1817.27/1823.28 c #Conflicts: 1192000 | #Constraints: 32679
1817.27/1823.28 c #Conflicts: 1193000 | #Constraints: 33679
1817.27/1823.28 c #Conflicts: 1194000 | #Constraints: 34679
1817.27/1823.28 c #Conflicts: 1195000 | #Constraints: 35679
2057.89/2064.79 c #Conflicts: 1196000 | #Constraints: 36679
2057.89/2064.79 c #Conflicts: 1197000 | #Constraints: 37679
2057.89/2064.79 c #Conflicts: 1198000 | #Constraints: 38679
2057.89/2064.79 c #Conflicts: 1199000 | #Constraints: 39679
2057.89/2064.79 c #Conflicts: 1200000 | #Constraints: 40680
2057.89/2064.79 c #Conflicts: 1201000 | #Constraints: 41680
2057.89/2064.79 c #Conflicts: 1202000 | #Constraints: 42680
2057.89/2064.79 c #Conflicts: 1203000 | #Constraints: 43680
2057.89/2064.79 c #Conflicts: 1204000 | #Constraints: 44680
2057.89/2064.79 c #Conflicts: 1205000 | #Constraints: 45680
2057.89/2064.79 c #Conflicts: 1206000 | #Constraints: 46680
2057.89/2064.79 c #Conflicts: 1207000 | #Constraints: 47680
2057.89/2064.79 c #Conflicts: 1208000 | #Constraints: 48680
2057.89/2064.79 c #Conflicts: 1209000 | #Constraints: 49680
2057.89/2064.79 c #Conflicts: 1210000 | #Constraints: 50680
2057.89/2064.79 c #Conflicts: 1211000 | #Constraints: 51680
2057.89/2064.79 c #Conflicts: 1212000 | #Constraints: 52680
2057.89/2064.79 c #Conflicts: 1213000 | #Constraints: 53680
2057.89/2064.79 c #Conflicts: 1214000 | #Constraints: 54680
2057.89/2064.79 c #Conflicts: 1215000 | #Constraints: 55680
2057.89/2064.79 c #Conflicts: 1216000 | #Constraints: 56680
2057.89/2064.79 c #Conflicts: 1217000 | #Constraints: 57680
2057.89/2064.79 c #Conflicts: 1218000 | #Constraints: 58680
2057.89/2064.79 c #Conflicts: 1219000 | #Constraints: 59680
2057.89/2064.79 c #Conflicts: 1220000 | #Constraints: 60680
2057.89/2064.79 c #Conflicts: 1221000 | #Constraints: 61680
2057.89/2064.79 c #Conflicts: 1222000 | #Constraints: 62680
2057.89/2064.79 c #Conflicts: 1223000 | #Constraints: 63680
2057.89/2064.79 c #Conflicts: 1224000 | #Constraints: 64680
2057.89/2064.79 c #Conflicts: 1225000 | #Constraints: 65680
2057.89/2064.79 c #Conflicts: 1226000 | #Constraints: 66680
2057.89/2064.79 c #Conflicts: 1227000 | #Constraints: 67680
2057.89/2064.79 c #Conflicts: 1228000 | #Constraints: 68680
2057.89/2064.79 c #Conflicts: 1229000 | #Constraints: 69680
2057.89/2064.79 c #Conflicts: 1230000 | #Constraints: 70680
2057.89/2064.79 c #Conflicts: 1231000 | #Constraints: 71680
2057.89/2064.79 c #Conflicts: 1232000 | #Constraints: 72680
2057.89/2064.79 c #Conflicts: 1233000 | #Constraints: 73680
2057.89/2064.79 c #Conflicts: 1234000 | #Constraints: 74680
2057.89/2064.79 c #Conflicts: 1235000 | #Constraints: 75680
2057.89/2064.79 c #Conflicts: 1236000 | #Constraints: 76680
2057.89/2064.79 c #Conflicts: 1237000 | #Constraints: 77680
2057.89/2064.79 c #Conflicts: 1238000 | #Constraints: 78680
2057.89/2064.79 c #Conflicts: 1239000 | #Constraints: 79680
2057.89/2064.79 c #Conflicts: 1240000 | #Constraints: 80680
2057.89/2064.79 c #Conflicts: 1241000 | #Constraints: 81680
2057.89/2064.79 c #Conflicts: 1242000 | #Constraints: 82680
2057.89/2064.79 c #Conflicts: 1243000 | #Constraints: 83680
2057.89/2064.79 c #Conflicts: 1244000 | #Constraints: 84680
2057.89/2064.79 c #Conflicts: 1245000 | #Constraints: 85680
2057.89/2064.79 c #Conflicts: 1246000 | #Constraints: 86680
2057.89/2064.79 c #Conflicts: 1247000 | #Constraints: 87680
2057.89/2064.79 c #Conflicts: 1248000 | #Constraints: 88680
2057.89/2064.79 c #Conflicts: 1249000 | #Constraints: 89680
2057.89/2064.79 c #Conflicts: 1250000 | #Constraints: 90680
2057.89/2064.79 c #Conflicts: 1251000 | #Constraints: 91680
2057.89/2064.79 c #Conflicts: 1252000 | #Constraints: 92680
2057.89/2064.79 c #Conflicts: 1253000 | #Constraints: 93680
2057.89/2064.79 c #Conflicts: 1254000 | #Constraints: 94680
2057.89/2064.79 c #Conflicts: 1255000 | #Constraints: 95680
2057.89/2064.79 c #Conflicts: 1256000 | #Constraints: 96680
2057.89/2064.79 c #Conflicts: 1257000 | #Constraints: 97680
2057.89/2064.79 c #Conflicts: 1258000 | #Constraints: 98680
2057.89/2064.79 c #Conflicts: 1259000 | #Constraints: 99680
2057.89/2064.79 c #Conflicts: 1260000 | #Constraints: 100680
2057.89/2064.79 c #Conflicts: 1261000 | #Constraints: 101680
2057.89/2064.79 c #Conflicts: 1262000 | #Constraints: 102680
2057.89/2064.79 c #Conflicts: 1263000 | #Constraints: 103680
2057.89/2064.79 c #Conflicts: 1264000 | #Constraints: 104680
2057.89/2064.79 c #Conflicts: 1265000 | #Constraints: 105680
2057.89/2064.79 c #Conflicts: 1266000 | #Constraints: 106680
2057.89/2064.79 c #Conflicts: 1267000 | #Constraints: 107680
2057.89/2064.79 c #Conflicts: 1268000 | #Constraints: 108680
2057.89/2064.79 c #Conflicts: 1269000 | #Constraints: 109680
2057.89/2064.79 c #Conflicts: 1270000 | #Constraints: 110680
2057.89/2064.79 c #Conflicts: 1271000 | #Constraints: 111680
2057.89/2064.79 c #Conflicts: 1272000 | #Constraints: 112680
2057.89/2064.79 c #Conflicts: 1273000 | #Constraints: 113680
2057.89/2064.79 c #Conflicts: 1274000 | #Constraints: 114680
2083.01/2089.99 c #Conflicts: 1275000 | #Constraints: 115680
2083.01/2089.99 c #Conflicts: 1276000 | #Constraints: 116680
2083.01/2089.99 c #Conflicts: 1277000 | #Constraints: 117680
2083.01/2089.99 c #Conflicts: 1278000 | #Constraints: 118680
2083.01/2089.99 c INPROCESSING
2083.01/2089.99 c GARBAGE COLLECT
2083.01/2089.99 c rational objective 84
2256.27/2263.83 c #Conflicts: 1279000 | #Constraints: 63603
2256.27/2263.83 c #Conflicts: 1280000 | #Constraints: 64603
2256.27/2263.83 c #Conflicts: 1281000 | #Constraints: 65603
2256.27/2263.83 c #Conflicts: 1282000 | #Constraints: 66603
2256.27/2263.83 c #Conflicts: 1283000 | #Constraints: 67603
2256.27/2263.83 c #Conflicts: 1284000 | #Constraints: 68603
2256.27/2263.83 c #Conflicts: 1285000 | #Constraints: 69603
2256.27/2263.83 c #Conflicts: 1286000 | #Constraints: 70603
2256.27/2263.83 c #Conflicts: 1287000 | #Constraints: 71603
2256.27/2263.83 c #Conflicts: 1288000 | #Constraints: 72603
2256.27/2263.83 c #Conflicts: 1289000 | #Constraints: 73603
2256.27/2263.83 c #Conflicts: 1290000 | #Constraints: 74603
2256.27/2263.83 c #Conflicts: 1291000 | #Constraints: 75603
2256.27/2263.83 c #Conflicts: 1292000 | #Constraints: 76603
2256.27/2263.83 c #Conflicts: 1293000 | #Constraints: 77603
2256.27/2263.83 c #Conflicts: 1294000 | #Constraints: 78603
2256.27/2263.83 c #Conflicts: 1295000 | #Constraints: 79603
2256.27/2263.83 c #Conflicts: 1296000 | #Constraints: 80603
2256.27/2263.83 c #Conflicts: 1297000 | #Constraints: 81603
2256.27/2263.83 c #Conflicts: 1298000 | #Constraints: 82603
2256.27/2263.83 c #Conflicts: 1299000 | #Constraints: 83603
2256.27/2263.83 c #Conflicts: 1300000 | #Constraints: 84603
2256.27/2263.83 c #Conflicts: 1301000 | #Constraints: 85603
2256.27/2263.83 c #Conflicts: 1302000 | #Constraints: 86603
2256.27/2263.83 c #Conflicts: 1303000 | #Constraints: 87603
2256.27/2263.83 c INPROCESSING
2256.27/2263.83 c GARBAGE COLLECT
2256.27/2263.83 c #Conflicts: 1304000 | #Constraints: 47956
2256.27/2263.83 c #Conflicts: 1305000 | #Constraints: 48956
2256.27/2263.83 c #Conflicts: 1306000 | #Constraints: 49956
2256.27/2263.83 c #Conflicts: 1307000 | #Constraints: 50956
2256.27/2263.83 c #Conflicts: 1308000 | #Constraints: 51956
2256.27/2263.83 c #Conflicts: 1309000 | #Constraints: 52956
2256.27/2263.83 c #Conflicts: 1310000 | #Constraints: 53956
2256.27/2263.83 c #Conflicts: 1311000 | #Constraints: 54956
2256.27/2263.83 c #Conflicts: 1312000 | #Constraints: 55956
2256.27/2263.83 c #Conflicts: 1313000 | #Constraints: 56956
2256.27/2263.83 c #Conflicts: 1314000 | #Constraints: 57956
2256.27/2263.83 c #Conflicts: 1315000 | #Constraints: 58956
2256.27/2263.83 c #Conflicts: 1316000 | #Constraints: 59956
2256.27/2263.83 c #Conflicts: 1317000 | #Constraints: 60956
2256.27/2263.83 c #Conflicts: 1318000 | #Constraints: 61956
2256.27/2263.83 c #Conflicts: 1319000 | #Constraints: 62956
2256.27/2263.83 c #Conflicts: 1320000 | #Constraints: 63956
2256.27/2263.83 c #Conflicts: 1321000 | #Constraints: 64956
2256.27/2263.83 c #Conflicts: 1322000 | #Constraints: 65956
2256.27/2263.83 c #Conflicts: 1323000 | #Constraints: 66956
2256.27/2263.83 c #Conflicts: 1324000 | #Constraints: 67956
2256.27/2263.83 c #Conflicts: 1325000 | #Constraints: 68956
2256.27/2263.83 c #Conflicts: 1326000 | #Constraints: 69956
2256.27/2263.83 c #Conflicts: 1327000 | #Constraints: 70956
2256.27/2263.83 c #Conflicts: 1328000 | #Constraints: 71956
2256.27/2263.83 c INPROCESSING
2256.27/2263.83 c GARBAGE COLLECT
2256.27/2263.83 c #Conflicts: 1329000 | #Constraints: 40028
2256.27/2263.83 c #Conflicts: 1330000 | #Constraints: 41028
2256.27/2263.83 c #Conflicts: 1331000 | #Constraints: 42028
2256.27/2263.83 c #Conflicts: 1332000 | #Constraints: 43028
2256.27/2263.83 c #Conflicts: 1333000 | #Constraints: 44028
2256.27/2263.83 c #Conflicts: 1334000 | #Constraints: 45028
2256.27/2263.83 c #Conflicts: 1335000 | #Constraints: 46028
2256.27/2263.83 c #Conflicts: 1336000 | #Constraints: 47028
2256.27/2263.83 c #Conflicts: 1337000 | #Constraints: 48028
2256.27/2263.83 c #Conflicts: 1338000 | #Constraints: 49028
2256.27/2263.83 c #Conflicts: 1339000 | #Constraints: 50028
2256.27/2263.83 c #Conflicts: 1340000 | #Constraints: 51028
2256.27/2263.83 c #Conflicts: 1341000 | #Constraints: 52028
2256.27/2263.83 c #Conflicts: 1342000 | #Constraints: 53028
2256.27/2263.83 c #Conflicts: 1343000 | #Constraints: 54028
2256.27/2263.83 c #Conflicts: 1344000 | #Constraints: 55028
2256.27/2263.83 c #Conflicts: 1345000 | #Constraints: 56028
2256.27/2263.83 c #Conflicts: 1346000 | #Constraints: 57028
2256.27/2263.83 c #Conflicts: 1347000 | #Constraints: 58028
2256.27/2263.83 c #Conflicts: 1348000 | #Constraints: 59028
2256.27/2263.83 c #Conflicts: 1349000 | #Constraints: 60028
2256.27/2263.83 c #Conflicts: 1350000 | #Constraints: 61028
2256.27/2263.83 c #Conflicts: 1351000 | #Constraints: 62028
2256.27/2263.83 c #Conflicts: 1352000 | #Constraints: 63028
2256.27/2263.83 c #Conflicts: 1353000 | #Constraints: 64028
2256.27/2263.83 c #Conflicts: 1354000 | #Constraints: 65028
2256.27/2263.83 c INPROCESSING
2256.27/2263.83 c GARBAGE COLLECT
2256.27/2263.83 c #Conflicts: 1355000 | #Constraints: 36699
2296.32/2304.05 c #Conflicts: 1356000 | #Constraints: 37699
2296.32/2304.05 c #Conflicts: 1357000 | #Constraints: 38699
2296.32/2304.05 c #Conflicts: 1358000 | #Constraints: 39699
2296.32/2304.05 c #Conflicts: 1359000 | #Constraints: 40699
2296.32/2304.05 c #Conflicts: 1360000 | #Constraints: 41699
2296.32/2304.05 c #Conflicts: 1361000 | #Constraints: 42699
2296.32/2304.05 c #Conflicts: 1362000 | #Constraints: 43699
2296.32/2304.05 c #Conflicts: 1363000 | #Constraints: 44699
2296.32/2304.05 c #Conflicts: 1364000 | #Constraints: 45699
2296.32/2304.05 c #Conflicts: 1365000 | #Constraints: 46699
2296.32/2304.05 c #Conflicts: 1366000 | #Constraints: 47699
2296.32/2304.05 c #Conflicts: 1367000 | #Constraints: 48699
2296.32/2304.05 c #Conflicts: 1368000 | #Constraints: 49699
2296.32/2304.05 c #Conflicts: 1369000 | #Constraints: 50699
2296.32/2304.05 c #Conflicts: 1370000 | #Constraints: 51699
2296.32/2304.05 c #Conflicts: 1371000 | #Constraints: 52699
2296.32/2304.05 c #Conflicts: 1372000 | #Constraints: 53699
2296.32/2304.05 c #Conflicts: 1373000 | #Constraints: 54699
2296.32/2304.05 c #Conflicts: 1374000 | #Constraints: 55699
2296.32/2304.05 c #Conflicts: 1375000 | #Constraints: 56699
2296.32/2304.05 c #Conflicts: 1376000 | #Constraints: 57699
2296.32/2304.05 c #Conflicts: 1377000 | #Constraints: 58699
2296.32/2304.05 c #Conflicts: 1378000 | #Constraints: 59699
2296.32/2304.05 c #Conflicts: 1379000 | #Constraints: 60699
2296.32/2304.05 c #Conflicts: 1380000 | #Constraints: 61699
2296.32/2304.05 c INPROCESSING
2296.32/2304.05 c GARBAGE COLLECT
2296.32/2304.05 c rational objective 84
2336.57/2344.40 c #Conflicts: 1381000 | #Constraints: 35177
2336.57/2344.40 c #Conflicts: 1382000 | #Constraints: 36177
2336.57/2344.40 c #Conflicts: 1383000 | #Constraints: 37177
2336.57/2344.40 c #Conflicts: 1384000 | #Constraints: 38177
2336.57/2344.40 c #Conflicts: 1385000 | #Constraints: 39177
2336.57/2344.40 c #Conflicts: 1386000 | #Constraints: 40177
2336.57/2344.40 c #Conflicts: 1387000 | #Constraints: 41177
2336.57/2344.40 c #Conflicts: 1388000 | #Constraints: 42177
2336.57/2344.40 c #Conflicts: 1389000 | #Constraints: 43177
2336.57/2344.40 c #Conflicts: 1390000 | #Constraints: 44177
2336.57/2344.40 c #Conflicts: 1391000 | #Constraints: 45177
2336.57/2344.40 c #Conflicts: 1392000 | #Constraints: 46177
2336.57/2344.40 c #Conflicts: 1393000 | #Constraints: 47177
2336.57/2344.40 c #Conflicts: 1394000 | #Constraints: 48177
2336.57/2344.40 c #Conflicts: 1395000 | #Constraints: 49177
2336.57/2344.40 c #Conflicts: 1396000 | #Constraints: 50177
2336.57/2344.40 c #Conflicts: 1397000 | #Constraints: 51177
2336.57/2344.40 c #Conflicts: 1398000 | #Constraints: 52177
2336.57/2344.40 c #Conflicts: 1399000 | #Constraints: 53177
2336.57/2344.40 c #Conflicts: 1400000 | #Constraints: 54177
2336.57/2344.40 c #Conflicts: 1401000 | #Constraints: 55177
2336.57/2344.40 c #Conflicts: 1402000 | #Constraints: 56177
2336.57/2344.40 c #Conflicts: 1403000 | #Constraints: 57177
2336.57/2344.40 c #Conflicts: 1404000 | #Constraints: 58177
2336.57/2344.40 c #Conflicts: 1405000 | #Constraints: 59177
2336.57/2344.40 c #Conflicts: 1406000 | #Constraints: 60177
2336.57/2344.40 c INPROCESSING
2336.57/2344.40 c GARBAGE COLLECT
2336.57/2344.40 c rational objective 84
2371.56/2379.50 c #Conflicts: 1407000 | #Constraints: 34401
2371.56/2379.50 c #Conflicts: 1408000 | #Constraints: 35401
2371.56/2379.50 c #Conflicts: 1409000 | #Constraints: 36401
2371.56/2379.50 c #Conflicts: 1410000 | #Constraints: 37401
2371.56/2379.50 c #Conflicts: 1411000 | #Constraints: 38401
2371.56/2379.50 c #Conflicts: 1412000 | #Constraints: 39401
2371.56/2379.50 c #Conflicts: 1413000 | #Constraints: 40401
2371.56/2379.50 c #Conflicts: 1414000 | #Constraints: 41401
2371.56/2379.50 c #Conflicts: 1415000 | #Constraints: 42401
2371.56/2379.50 c #Conflicts: 1416000 | #Constraints: 43401
2371.56/2379.50 c #Conflicts: 1417000 | #Constraints: 44401
2371.56/2379.50 c #Conflicts: 1418000 | #Constraints: 45401
2371.56/2379.50 c #Conflicts: 1419000 | #Constraints: 46401
2371.56/2379.50 c #Conflicts: 1420000 | #Constraints: 47401
2371.56/2379.50 c #Conflicts: 1421000 | #Constraints: 48401
2371.56/2379.50 c #Conflicts: 1422000 | #Constraints: 49401
2371.56/2379.50 c #Conflicts: 1423000 | #Constraints: 50401
2371.56/2379.50 c #Conflicts: 1424000 | #Constraints: 51401
2371.56/2379.50 c #Conflicts: 1425000 | #Constraints: 52401
2371.56/2379.50 c #Conflicts: 1426000 | #Constraints: 53401
2371.56/2379.50 c #Conflicts: 1427000 | #Constraints: 54401
2371.56/2379.50 c #Conflicts: 1428000 | #Constraints: 55401
2371.56/2379.50 c #Conflicts: 1429000 | #Constraints: 56401
2371.56/2379.50 c #Conflicts: 1430000 | #Constraints: 57401
2371.56/2379.50 c #Conflicts: 1431000 | #Constraints: 58401
2371.56/2379.50 c #Conflicts: 1432000 | #Constraints: 59401
2371.56/2379.50 c INPROCESSING
2371.56/2379.50 c GARBAGE COLLECT
2371.56/2379.50 c rational objective 84
2577.83/2586.41 c #Conflicts: 1433000 | #Constraints: 33861
2577.83/2586.41 c #Conflicts: 1434000 | #Constraints: 34861
2577.83/2586.41 c #Conflicts: 1435000 | #Constraints: 35861
2577.83/2586.41 c #Conflicts: 1436000 | #Constraints: 36861
2577.83/2586.41 c #Conflicts: 1437000 | #Constraints: 37861
2577.83/2586.41 c #Conflicts: 1438000 | #Constraints: 38861
2577.83/2586.41 c #Conflicts: 1439000 | #Constraints: 39861
2577.83/2586.41 c #Conflicts: 1440000 | #Constraints: 40861
2577.83/2586.41 c #Conflicts: 1441000 | #Constraints: 41861
2577.83/2586.41 c #Conflicts: 1442000 | #Constraints: 42861
2577.83/2586.41 c #Conflicts: 1443000 | #Constraints: 43861
2577.83/2586.41 c #Conflicts: 1444000 | #Constraints: 44861
2577.83/2586.41 c #Conflicts: 1445000 | #Constraints: 45861
2577.83/2586.41 c #Conflicts: 1446000 | #Constraints: 46861
2577.83/2586.41 c #Conflicts: 1447000 | #Constraints: 47861
2577.83/2586.41 c #Conflicts: 1448000 | #Constraints: 48861
2577.83/2586.41 c #Conflicts: 1449000 | #Constraints: 49861
2577.83/2586.41 c #Conflicts: 1450000 | #Constraints: 50861
2577.83/2586.41 c #Conflicts: 1451000 | #Constraints: 51861
2577.83/2586.41 c #Conflicts: 1452000 | #Constraints: 52861
2577.83/2586.41 c #Conflicts: 1453000 | #Constraints: 53861
2577.83/2586.41 c #Conflicts: 1454000 | #Constraints: 54861
2577.83/2586.41 c #Conflicts: 1455000 | #Constraints: 55861
2577.83/2586.41 c #Conflicts: 1456000 | #Constraints: 56861
2577.83/2586.41 c #Conflicts: 1457000 | #Constraints: 57861
2577.83/2586.41 c #Conflicts: 1458000 | #Constraints: 58861
2577.83/2586.41 c #Conflicts: 1459000 | #Constraints: 59861
2577.83/2586.41 c #Conflicts: 1460000 | #Constraints: 60861
2577.83/2586.41 c #Conflicts: 1461000 | #Constraints: 61861
2577.83/2586.41 c #Conflicts: 1462000 | #Constraints: 62861
2577.83/2586.41 c #Conflicts: 1463000 | #Constraints: 63861
2577.83/2586.41 c #Conflicts: 1464000 | #Constraints: 64861
2577.83/2586.41 c #Conflicts: 1465000 | #Constraints: 65861
2577.83/2586.41 c #Conflicts: 1466000 | #Constraints: 66861
2577.83/2586.41 c #Conflicts: 1467000 | #Constraints: 67861
2577.83/2586.41 c #Conflicts: 1468000 | #Constraints: 68861
2577.83/2586.41 c #Conflicts: 1469000 | #Constraints: 69861
2577.83/2586.41 c #Conflicts: 1470000 | #Constraints: 70861
2577.83/2586.41 c #Conflicts: 1471000 | #Constraints: 71861
2577.83/2586.41 c #Conflicts: 1472000 | #Constraints: 72861
2577.83/2586.41 c #Conflicts: 1473000 | #Constraints: 73861
2577.83/2586.41 c #Conflicts: 1474000 | #Constraints: 74861
2577.83/2586.41 c #Conflicts: 1475000 | #Constraints: 75861
2577.83/2586.41 c #Conflicts: 1476000 | #Constraints: 76861
2577.83/2586.41 c #Conflicts: 1477000 | #Constraints: 77861
2577.83/2586.41 c #Conflicts: 1478000 | #Constraints: 78861
2577.83/2586.41 c #Conflicts: 1479000 | #Constraints: 79861
2577.83/2586.41 c #Conflicts: 1480000 | #Constraints: 80861
2577.83/2586.41 c #Conflicts: 1481000 | #Constraints: 81861
2577.83/2586.41 c #Conflicts: 1482000 | #Constraints: 82861
2577.83/2586.41 c #Conflicts: 1483000 | #Constraints: 83861
2577.83/2586.41 c #Conflicts: 1484000 | #Constraints: 84861
2577.83/2586.41 c #Conflicts: 1485000 | #Constraints: 85861
2577.83/2586.41 c #Conflicts: 1486000 | #Constraints: 86862
2577.83/2586.41 c #Conflicts: 1487000 | #Constraints: 87862
2577.83/2586.41 c #Conflicts: 1488000 | #Constraints: 88862
2577.83/2586.41 c #Conflicts: 1489000 | #Constraints: 89862
2577.83/2586.41 c #Conflicts: 1490000 | #Constraints: 90862
2577.83/2586.41 c #Conflicts: 1491000 | #Constraints: 91862
2577.83/2586.41 c #Conflicts: 1492000 | #Constraints: 92862
2577.83/2586.41 c #Conflicts: 1493000 | #Constraints: 93862
2577.83/2586.41 c #Conflicts: 1494000 | #Constraints: 94862
2577.83/2586.41 c #Conflicts: 1495000 | #Constraints: 95862
2577.83/2586.41 c #Conflicts: 1496000 | #Constraints: 96862
2577.83/2586.41 c #Conflicts: 1497000 | #Constraints: 97862
2577.83/2586.41 c #Conflicts: 1498000 | #Constraints: 98862
2577.83/2586.41 c #Conflicts: 1499000 | #Constraints: 99862
2577.83/2586.41 c #Conflicts: 1500000 | #Constraints: 100862
2577.83/2586.41 c #Conflicts: 1501000 | #Constraints: 101862
2577.83/2586.41 c #Conflicts: 1502000 | #Constraints: 102862
2577.83/2586.41 c #Conflicts: 1503000 | #Constraints: 103862
2577.83/2586.41 c #Conflicts: 1504000 | #Constraints: 104862
2577.83/2586.41 c #Conflicts: 1505000 | #Constraints: 105862
2577.83/2586.41 c #Conflicts: 1506000 | #Constraints: 106862
2577.83/2586.41 c #Conflicts: 1507000 | #Constraints: 107862
2577.83/2586.41 c #Conflicts: 1508000 | #Constraints: 108862
2577.83/2586.41 c #Conflicts: 1509000 | #Constraints: 109862
2577.83/2586.41 c #Conflicts: 1510000 | #Constraints: 110862
2577.83/2586.41 c #Conflicts: 1511000 | #Constraints: 111862
2750.20/2759.32 c #Conflicts: 1512000 | #Constraints: 112862
2750.20/2759.32 c #Conflicts: 1513000 | #Constraints: 113862
2750.20/2759.32 c #Conflicts: 1514000 | #Constraints: 114862
2750.20/2759.32 c #Conflicts: 1515000 | #Constraints: 115862
2750.20/2759.32 c #Conflicts: 1516000 | #Constraints: 116862
2750.20/2759.32 c #Conflicts: 1517000 | #Constraints: 117862
2750.20/2759.32 c #Conflicts: 1518000 | #Constraints: 118862
2750.20/2759.32 c #Conflicts: 1519000 | #Constraints: 119862
2750.20/2759.32 c #Conflicts: 1520000 | #Constraints: 120862
2750.20/2759.32 c #Conflicts: 1521000 | #Constraints: 121862
2750.20/2759.32 c #Conflicts: 1522000 | #Constraints: 122862
2750.20/2759.32 c #Conflicts: 1523000 | #Constraints: 123862
2750.20/2759.32 c #Conflicts: 1524000 | #Constraints: 124862
2750.20/2759.32 c #Conflicts: 1525000 | #Constraints: 125862
2750.20/2759.32 c #Conflicts: 1526000 | #Constraints: 126862
2750.20/2759.32 c #Conflicts: 1527000 | #Constraints: 127862
2750.20/2759.32 c #Conflicts: 1528000 | #Constraints: 128862
2750.20/2759.32 c INPROCESSING
2750.20/2759.32 c GARBAGE COLLECT
2750.20/2759.32 c #Conflicts: 1529000 | #Constraints: 68367
2750.20/2759.32 c #Conflicts: 1530000 | #Constraints: 69367
2750.20/2759.32 c #Conflicts: 1531000 | #Constraints: 70367
2750.20/2759.32 c #Conflicts: 1532000 | #Constraints: 71367
2750.20/2759.32 c #Conflicts: 1533000 | #Constraints: 72367
2750.20/2759.32 c #Conflicts: 1534000 | #Constraints: 73367
2750.20/2759.32 c #Conflicts: 1535000 | #Constraints: 74367
2750.20/2759.32 c #Conflicts: 1536000 | #Constraints: 75367
2750.20/2759.32 c #Conflicts: 1537000 | #Constraints: 76367
2750.20/2759.32 c #Conflicts: 1538000 | #Constraints: 77367
2750.20/2759.32 c #Conflicts: 1539000 | #Constraints: 78367
2750.20/2759.32 c #Conflicts: 1540000 | #Constraints: 79367
2750.20/2759.32 c #Conflicts: 1541000 | #Constraints: 80367
2750.20/2759.32 c #Conflicts: 1542000 | #Constraints: 81367
2750.20/2759.32 c #Conflicts: 1543000 | #Constraints: 82367
2750.20/2759.32 c #Conflicts: 1544000 | #Constraints: 83367
2750.20/2759.32 c #Conflicts: 1545000 | #Constraints: 84367
2750.20/2759.32 c #Conflicts: 1546000 | #Constraints: 85367
2750.20/2759.32 c #Conflicts: 1547000 | #Constraints: 86367
2750.20/2759.32 c #Conflicts: 1548000 | #Constraints: 87367
2750.20/2759.32 c #Conflicts: 1549000 | #Constraints: 88367
2750.20/2759.32 c #Conflicts: 1550000 | #Constraints: 89367
2750.20/2759.32 c #Conflicts: 1551000 | #Constraints: 90367
2750.20/2759.32 c #Conflicts: 1552000 | #Constraints: 91367
2750.20/2759.32 c #Conflicts: 1553000 | #Constraints: 92367
2750.20/2759.32 c #Conflicts: 1554000 | #Constraints: 93367
2750.20/2759.32 c #Conflicts: 1555000 | #Constraints: 94367
2750.20/2759.32 c #Conflicts: 1556000 | #Constraints: 95367
2750.20/2759.32 c INPROCESSING
2750.20/2759.32 c GARBAGE COLLECT
2750.20/2759.32 c rational objective 84
2920.18/2929.81 c #Conflicts: 1557000 | #Constraints: 51840
2920.18/2929.81 c #Conflicts: 1558000 | #Constraints: 52840
2920.18/2929.81 c #Conflicts: 1559000 | #Constraints: 53840
2920.18/2929.81 c #Conflicts: 1560000 | #Constraints: 54840
2920.18/2929.81 c #Conflicts: 1561000 | #Constraints: 55840
2920.18/2929.81 c #Conflicts: 1562000 | #Constraints: 56840
2920.18/2929.81 c #Conflicts: 1563000 | #Constraints: 57840
2920.18/2929.81 c #Conflicts: 1564000 | #Constraints: 58840
2920.18/2929.81 c #Conflicts: 1565000 | #Constraints: 59840
2920.18/2929.81 c #Conflicts: 1566000 | #Constraints: 60840
2920.18/2929.81 c #Conflicts: 1567000 | #Constraints: 61840
2920.18/2929.81 c #Conflicts: 1568000 | #Constraints: 62840
2920.18/2929.81 c #Conflicts: 1569000 | #Constraints: 63840
2920.18/2929.81 c #Conflicts: 1570000 | #Constraints: 64840
2920.18/2929.81 c #Conflicts: 1571000 | #Constraints: 65840
2920.18/2929.81 c #Conflicts: 1572000 | #Constraints: 66840
2920.18/2929.81 c #Conflicts: 1573000 | #Constraints: 67840
2920.18/2929.81 c #Conflicts: 1574000 | #Constraints: 68840
2920.18/2929.81 c #Conflicts: 1575000 | #Constraints: 69840
2920.18/2929.81 c #Conflicts: 1576000 | #Constraints: 70840
2920.18/2929.81 c #Conflicts: 1577000 | #Constraints: 71840
2920.18/2929.81 c #Conflicts: 1578000 | #Constraints: 72841
2920.18/2929.81 c #Conflicts: 1579000 | #Constraints: 73841
2920.18/2929.81 c #Conflicts: 1580000 | #Constraints: 74841
2920.18/2929.81 c #Conflicts: 1581000 | #Constraints: 75841
2920.18/2929.81 c #Conflicts: 1582000 | #Constraints: 76841
2920.18/2929.81 c #Conflicts: 1583000 | #Constraints: 77841
2920.18/2929.81 c #Conflicts: 1584000 | #Constraints: 78841
2920.18/2929.81 c INPROCESSING
2920.18/2929.81 c GARBAGE COLLECT
2920.18/2929.81 c #Conflicts: 1585000 | #Constraints: 43725
2920.18/2929.81 c #Conflicts: 1586000 | #Constraints: 44725
2920.18/2929.81 c #Conflicts: 1587000 | #Constraints: 45725
2920.18/2929.81 c #Conflicts: 1588000 | #Constraints: 46725
2920.18/2929.81 c #Conflicts: 1589000 | #Constraints: 47725
2920.18/2929.81 c #Conflicts: 1590000 | #Constraints: 48725
2920.18/2929.81 c #Conflicts: 1591000 | #Constraints: 49725
2920.18/2929.81 c #Conflicts: 1592000 | #Constraints: 50725
2920.18/2929.81 c #Conflicts: 1593000 | #Constraints: 51725
2920.18/2929.81 c #Conflicts: 1594000 | #Constraints: 52725
2920.18/2929.81 c #Conflicts: 1595000 | #Constraints: 53725
2920.18/2929.81 c #Conflicts: 1596000 | #Constraints: 54725
2920.18/2929.81 c #Conflicts: 1597000 | #Constraints: 55725
2920.18/2929.81 c #Conflicts: 1598000 | #Constraints: 56725
2920.18/2929.81 c #Conflicts: 1599000 | #Constraints: 57725
2920.18/2929.81 c #Conflicts: 1600000 | #Constraints: 58725
2920.18/2929.81 c #Conflicts: 1601000 | #Constraints: 59725
2920.18/2929.81 c #Conflicts: 1602000 | #Constraints: 60725
2920.18/2929.81 c #Conflicts: 1603000 | #Constraints: 61725
2920.18/2929.81 c #Conflicts: 1604000 | #Constraints: 62725
2920.18/2929.81 c #Conflicts: 1605000 | #Constraints: 63725
2920.18/2929.81 c #Conflicts: 1606000 | #Constraints: 64725
2920.18/2929.81 c #Conflicts: 1607000 | #Constraints: 65725
2920.18/2929.81 c #Conflicts: 1608000 | #Constraints: 66725
2920.18/2929.81 c #Conflicts: 1609000 | #Constraints: 67725
2920.18/2929.81 c #Conflicts: 1610000 | #Constraints: 68725
2920.18/2929.81 c #Conflicts: 1611000 | #Constraints: 69725
2920.18/2929.81 c INPROCESSING
2920.18/2929.81 c GARBAGE COLLECT
2920.18/2929.81 c #Conflicts: 1612000 | #Constraints: 38743
2920.18/2929.81 c #Conflicts: 1613000 | #Constraints: 39743
2920.18/2929.81 c #Conflicts: 1614000 | #Constraints: 40743
2920.18/2929.81 c #Conflicts: 1615000 | #Constraints: 41743
2920.18/2929.81 c #Conflicts: 1616000 | #Constraints: 42743
2920.18/2929.81 c #Conflicts: 1617000 | #Constraints: 43743
2920.18/2929.81 c #Conflicts: 1618000 | #Constraints: 44743
2920.18/2929.81 c #Conflicts: 1619000 | #Constraints: 45743
2920.18/2929.81 c #Conflicts: 1620000 | #Constraints: 46743
2920.18/2929.81 c #Conflicts: 1621000 | #Constraints: 47743
2920.18/2929.81 c #Conflicts: 1622000 | #Constraints: 48743
2920.18/2929.81 c #Conflicts: 1623000 | #Constraints: 49743
2920.18/2929.81 c #Conflicts: 1624000 | #Constraints: 50743
2920.18/2929.81 c #Conflicts: 1625000 | #Constraints: 51743
2920.18/2929.81 c #Conflicts: 1626000 | #Constraints: 52743
2920.18/2929.81 c #Conflicts: 1627000 | #Constraints: 53743
2920.18/2929.81 c #Conflicts: 1628000 | #Constraints: 54743
2920.18/2929.81 c #Conflicts: 1629000 | #Constraints: 55743
2920.18/2929.81 c #Conflicts: 1630000 | #Constraints: 56743
2920.18/2929.81 c #Conflicts: 1631000 | #Constraints: 57743
2920.18/2929.81 c #Conflicts: 1632000 | #Constraints: 58743
2920.18/2929.81 c #Conflicts: 1633000 | #Constraints: 59743
2920.18/2929.81 c #Conflicts: 1634000 | #Constraints: 60743
3021.87/3031.84 c #Conflicts: 1635000 | #Constraints: 61743
3021.87/3031.84 c #Conflicts: 1636000 | #Constraints: 62743
3021.87/3031.84 c #Conflicts: 1637000 | #Constraints: 63743
3021.87/3031.84 c #Conflicts: 1638000 | #Constraints: 64743
3021.87/3031.84 c #Conflicts: 1639000 | #Constraints: 65743
3021.87/3031.84 c #Conflicts: 1640000 | #Constraints: 66743
3021.87/3031.84 c INPROCESSING
3021.87/3031.84 c GARBAGE COLLECT
3021.87/3031.84 c #Conflicts: 1641000 | #Constraints: 37674
3021.87/3031.84 c #Conflicts: 1642000 | #Constraints: 38674
3021.87/3031.84 c #Conflicts: 1643000 | #Constraints: 39674
3021.87/3031.84 c #Conflicts: 1644000 | #Constraints: 40674
3021.87/3031.84 c #Conflicts: 1645000 | #Constraints: 41674
3021.87/3031.84 c #Conflicts: 1646000 | #Constraints: 42674
3021.87/3031.84 c #Conflicts: 1647000 | #Constraints: 43674
3021.87/3031.84 c #Conflicts: 1648000 | #Constraints: 44674
3021.87/3031.84 c #Conflicts: 1649000 | #Constraints: 45674
3021.87/3031.84 c #Conflicts: 1650000 | #Constraints: 46674
3021.87/3031.84 c #Conflicts: 1651000 | #Constraints: 47674
3021.87/3031.84 c #Conflicts: 1652000 | #Constraints: 48674
3021.87/3031.84 c #Conflicts: 1653000 | #Constraints: 49674
3021.87/3031.84 c #Conflicts: 1654000 | #Constraints: 50674
3021.87/3031.84 c #Conflicts: 1655000 | #Constraints: 51674
3021.87/3031.84 c #Conflicts: 1656000 | #Constraints: 52674
3021.87/3031.84 c #Conflicts: 1657000 | #Constraints: 53674
3021.87/3031.84 c #Conflicts: 1658000 | #Constraints: 54674
3021.87/3031.84 c #Conflicts: 1659000 | #Constraints: 55674
3021.87/3031.84 c #Conflicts: 1660000 | #Constraints: 56674
3021.87/3031.84 c #Conflicts: 1661000 | #Constraints: 57674
3021.87/3031.84 c #Conflicts: 1662000 | #Constraints: 58674
3021.87/3031.84 c #Conflicts: 1663000 | #Constraints: 59674
3021.87/3031.84 c #Conflicts: 1664000 | #Constraints: 60674
3021.87/3031.84 c #Conflicts: 1665000 | #Constraints: 61674
3021.87/3031.84 c #Conflicts: 1666000 | #Constraints: 62674
3021.87/3031.84 c #Conflicts: 1667000 | #Constraints: 63674
3021.87/3031.84 c #Conflicts: 1668000 | #Constraints: 64674
3021.87/3031.84 c INPROCESSING
3021.87/3031.84 c GARBAGE COLLECT
3021.87/3031.84 c #Conflicts: 1669000 | #Constraints: 36464
3021.87/3031.84 c #Conflicts: 1670000 | #Constraints: 37464
3021.87/3031.84 c #Conflicts: 1671000 | #Constraints: 38464
3021.87/3031.84 c #Conflicts: 1672000 | #Constraints: 39464
3021.87/3031.84 c #Conflicts: 1673000 | #Constraints: 40464
3021.87/3031.84 c #Conflicts: 1674000 | #Constraints: 41464
3021.87/3031.84 c #Conflicts: 1675000 | #Constraints: 42464
3021.87/3031.84 c #Conflicts: 1676000 | #Constraints: 43464
3021.87/3031.84 c #Conflicts: 1677000 | #Constraints: 44464
3021.87/3031.84 c #Conflicts: 1678000 | #Constraints: 45464
3021.87/3031.84 c #Conflicts: 1679000 | #Constraints: 46464
3021.87/3031.84 c #Conflicts: 1680000 | #Constraints: 47464
3021.87/3031.84 c #Conflicts: 1681000 | #Constraints: 48464
3021.87/3031.84 c #Conflicts: 1682000 | #Constraints: 49464
3021.87/3031.84 c #Conflicts: 1683000 | #Constraints: 50464
3021.87/3031.84 c #Conflicts: 1684000 | #Constraints: 51464
3021.87/3031.84 c #Conflicts: 1685000 | #Constraints: 52464
3021.87/3031.84 c #Conflicts: 1686000 | #Constraints: 53464
3021.87/3031.84 c #Conflicts: 1687000 | #Constraints: 54464
3021.87/3031.84 c #Conflicts: 1688000 | #Constraints: 55464
3021.87/3031.84 c #Conflicts: 1689000 | #Constraints: 56464
3021.87/3031.84 c #Conflicts: 1690000 | #Constraints: 57464
3021.87/3031.84 c #Conflicts: 1691000 | #Constraints: 58464
3021.87/3031.84 c #Conflicts: 1692000 | #Constraints: 59464
3021.87/3031.84 c #Conflicts: 1693000 | #Constraints: 60464
3021.87/3031.84 c #Conflicts: 1694000 | #Constraints: 61464
3021.87/3031.84 c #Conflicts: 1695000 | #Constraints: 62464
3021.87/3031.84 c #Conflicts: 1696000 | #Constraints: 63464
3021.87/3031.84 c INPROCESSING
3021.87/3031.84 c GARBAGE COLLECT
3021.87/3031.84 c rational objective 84
3152.87/3163.28 c #Conflicts: 1697000 | #Constraints: 35594
3152.87/3163.28 c #Conflicts: 1698000 | #Constraints: 36594
3152.87/3163.28 c #Conflicts: 1699000 | #Constraints: 37594
3152.87/3163.28 c #Conflicts: 1700000 | #Constraints: 38594
3152.87/3163.28 c #Conflicts: 1701000 | #Constraints: 39595
3152.87/3163.28 c #Conflicts: 1702000 | #Constraints: 40595
3152.87/3163.28 c #Conflicts: 1703000 | #Constraints: 41595
3152.87/3163.28 c #Conflicts: 1704000 | #Constraints: 42595
3152.87/3163.28 c #Conflicts: 1705000 | #Constraints: 43595
3152.87/3163.28 c #Conflicts: 1706000 | #Constraints: 44595
3152.87/3163.28 c #Conflicts: 1707000 | #Constraints: 45595
3152.87/3163.28 c #Conflicts: 1708000 | #Constraints: 46595
3152.87/3163.28 c #Conflicts: 1709000 | #Constraints: 47595
3152.87/3163.28 c #Conflicts: 1710000 | #Constraints: 48595
3152.87/3163.28 c #Conflicts: 1711000 | #Constraints: 49595
3152.87/3163.28 c #Conflicts: 1712000 | #Constraints: 50595
3152.87/3163.28 c #Conflicts: 1713000 | #Constraints: 51595
3152.87/3163.28 c #Conflicts: 1714000 | #Constraints: 52595
3152.87/3163.28 c #Conflicts: 1715000 | #Constraints: 53595
3152.87/3163.28 c #Conflicts: 1716000 | #Constraints: 54595
3152.87/3163.28 c #Conflicts: 1717000 | #Constraints: 55595
3152.87/3163.28 c #Conflicts: 1718000 | #Constraints: 56595
3152.87/3163.28 c #Conflicts: 1719000 | #Constraints: 57595
3152.87/3163.28 c #Conflicts: 1720000 | #Constraints: 58595
3152.87/3163.28 c #Conflicts: 1721000 | #Constraints: 59595
3152.87/3163.28 c #Conflicts: 1722000 | #Constraints: 60595
3152.87/3163.28 c #Conflicts: 1723000 | #Constraints: 61595
3152.87/3163.28 c #Conflicts: 1724000 | #Constraints: 62595
3152.87/3163.28 c #Conflicts: 1725000 | #Constraints: 63595
3152.87/3163.28 c INPROCESSING
3152.87/3163.28 c GARBAGE COLLECT
3152.87/3163.28 c #Conflicts: 1726000 | #Constraints: 35848
3152.87/3163.28 c #Conflicts: 1727000 | #Constraints: 36848
3152.87/3163.28 c #Conflicts: 1728000 | #Constraints: 37848
3152.87/3163.28 c #Conflicts: 1729000 | #Constraints: 38848
3152.87/3163.28 c #Conflicts: 1730000 | #Constraints: 39848
3152.87/3163.28 c #Conflicts: 1731000 | #Constraints: 40848
3152.87/3163.28 c #Conflicts: 1732000 | #Constraints: 41849
3152.87/3163.28 c #Conflicts: 1733000 | #Constraints: 42849
3152.87/3163.28 c #Conflicts: 1734000 | #Constraints: 43849
3152.87/3163.28 c #Conflicts: 1735000 | #Constraints: 44849
3152.87/3163.28 c #Conflicts: 1736000 | #Constraints: 45849
3152.87/3163.28 c #Conflicts: 1737000 | #Constraints: 46849
3152.87/3163.28 c #Conflicts: 1738000 | #Constraints: 47849
3152.87/3163.28 c #Conflicts: 1739000 | #Constraints: 48849
3152.87/3163.28 c #Conflicts: 1740000 | #Constraints: 49849
3152.87/3163.28 c #Conflicts: 1741000 | #Constraints: 50849
3152.87/3163.28 c #Conflicts: 1742000 | #Constraints: 51849
3152.87/3163.28 c #Conflicts: 1743000 | #Constraints: 52849
3152.87/3163.28 c #Conflicts: 1744000 | #Constraints: 53849
3152.87/3163.28 c #Conflicts: 1745000 | #Constraints: 54849
3152.87/3163.28 c #Conflicts: 1746000 | #Constraints: 55849
3152.87/3163.28 c #Conflicts: 1747000 | #Constraints: 56849
3152.87/3163.28 c #Conflicts: 1748000 | #Constraints: 57849
3152.87/3163.28 c #Conflicts: 1749000 | #Constraints: 58849
3152.87/3163.28 c #Conflicts: 1750000 | #Constraints: 59849
3152.87/3163.28 c #Conflicts: 1751000 | #Constraints: 60849
3152.87/3163.28 c #Conflicts: 1752000 | #Constraints: 61849
3152.87/3163.28 c #Conflicts: 1753000 | #Constraints: 62849
3152.87/3163.28 c #Conflicts: 1754000 | #Constraints: 63849
3152.87/3163.28 c #Conflicts: 1755000 | #Constraints: 64849
3152.87/3163.28 c #Conflicts: 1756000 | #Constraints: 65849
3152.87/3163.28 c #Conflicts: 1757000 | #Constraints: 66849
3152.87/3163.28 c #Conflicts: 1758000 | #Constraints: 67849
3152.87/3163.28 c #Conflicts: 1759000 | #Constraints: 68849
3152.87/3163.28 c #Conflicts: 1760000 | #Constraints: 69849
3152.87/3163.28 c #Conflicts: 1761000 | #Constraints: 70849
3152.87/3163.28 c #Conflicts: 1762000 | #Constraints: 71849
3152.87/3163.28 c #Conflicts: 1763000 | #Constraints: 72849
3152.87/3163.28 c #Conflicts: 1764000 | #Constraints: 73849
3152.87/3163.28 c #Conflicts: 1765000 | #Constraints: 74849
3152.87/3163.28 c #Conflicts: 1766000 | #Constraints: 75849
3152.87/3163.28 c #Conflicts: 1767000 | #Constraints: 76849
3152.87/3163.28 c #Conflicts: 1768000 | #Constraints: 77849
3152.87/3163.28 c #Conflicts: 1769000 | #Constraints: 78849
3152.87/3163.28 c #Conflicts: 1770000 | #Constraints: 79849
3152.87/3163.28 c #Conflicts: 1771000 | #Constraints: 80849
3152.87/3163.28 c #Conflicts: 1772000 | #Constraints: 81849
3152.87/3163.28 c #Conflicts: 1773000 | #Constraints: 82849
3152.87/3163.28 c #Conflicts: 1774000 | #Constraints: 83849
3152.87/3163.28 c #Conflicts: 1775000 | #Constraints: 84849
3410.57/3421.72 c #Conflicts: 1776000 | #Constraints: 85849
3410.57/3421.72 c #Conflicts: 1777000 | #Constraints: 86849
3410.57/3421.72 c #Conflicts: 1778000 | #Constraints: 87849
3410.57/3421.72 c #Conflicts: 1779000 | #Constraints: 88849
3410.57/3421.72 c #Conflicts: 1780000 | #Constraints: 89849
3410.57/3421.72 c #Conflicts: 1781000 | #Constraints: 90849
3410.57/3421.72 c #Conflicts: 1782000 | #Constraints: 91849
3410.57/3421.72 c #Conflicts: 1783000 | #Constraints: 92849
3410.57/3421.72 c #Conflicts: 1784000 | #Constraints: 93849
3410.57/3421.72 c #Conflicts: 1785000 | #Constraints: 94849
3410.57/3421.72 c #Conflicts: 1786000 | #Constraints: 95849
3410.57/3421.72 c #Conflicts: 1787000 | #Constraints: 96849
3410.57/3421.72 c #Conflicts: 1788000 | #Constraints: 97849
3410.57/3421.72 c #Conflicts: 1789000 | #Constraints: 98849
3410.57/3421.72 c #Conflicts: 1790000 | #Constraints: 99849
3410.57/3421.72 c #Conflicts: 1791000 | #Constraints: 100849
3410.57/3421.72 c #Conflicts: 1792000 | #Constraints: 101849
3410.57/3421.72 c #Conflicts: 1793000 | #Constraints: 102849
3410.57/3421.72 c #Conflicts: 1794000 | #Constraints: 103849
3410.57/3421.72 c #Conflicts: 1795000 | #Constraints: 104849
3410.57/3421.72 c #Conflicts: 1796000 | #Constraints: 105849
3410.57/3421.72 c #Conflicts: 1797000 | #Constraints: 106849
3410.57/3421.72 c #Conflicts: 1798000 | #Constraints: 107849
3410.57/3421.72 c #Conflicts: 1799000 | #Constraints: 108849
3410.57/3421.72 c #Conflicts: 1800000 | #Constraints: 109849
3410.57/3421.72 c #Conflicts: 1801000 | #Constraints: 110849
3410.57/3421.72 c #Conflicts: 1802000 | #Constraints: 111849
3410.57/3421.72 c #Conflicts: 1803000 | #Constraints: 112849
3410.57/3421.72 c #Conflicts: 1804000 | #Constraints: 113849
3410.57/3421.72 c #Conflicts: 1805000 | #Constraints: 114849
3410.57/3421.72 c #Conflicts: 1806000 | #Constraints: 115849
3410.57/3421.72 c #Conflicts: 1807000 | #Constraints: 116849
3410.57/3421.72 c #Conflicts: 1808000 | #Constraints: 117849
3410.57/3421.72 c #Conflicts: 1809000 | #Constraints: 118849
3410.57/3421.72 c #Conflicts: 1810000 | #Constraints: 119849
3410.57/3421.72 c #Conflicts: 1811000 | #Constraints: 120849
3410.57/3421.72 c #Conflicts: 1812000 | #Constraints: 121849
3410.57/3421.72 c #Conflicts: 1813000 | #Constraints: 122849
3410.57/3421.72 c #Conflicts: 1814000 | #Constraints: 123849
3410.57/3421.72 c #Conflicts: 1815000 | #Constraints: 124849
3410.57/3421.72 c #Conflicts: 1816000 | #Constraints: 125849
3410.57/3421.72 c #Conflicts: 1817000 | #Constraints: 126849
3410.57/3421.72 c #Conflicts: 1818000 | #Constraints: 127849
3410.57/3421.72 c #Conflicts: 1819000 | #Constraints: 128849
3410.57/3421.72 c #Conflicts: 1820000 | #Constraints: 129849
3410.57/3421.72 c #Conflicts: 1821000 | #Constraints: 130849
3410.57/3421.72 c #Conflicts: 1822000 | #Constraints: 131849
3410.57/3421.72 c #Conflicts: 1823000 | #Constraints: 132849
3410.57/3421.72 c #Conflicts: 1824000 | #Constraints: 133849
3410.57/3421.72 c #Conflicts: 1825000 | #Constraints: 134849
3410.57/3421.72 c #Conflicts: 1826000 | #Constraints: 135849
3410.57/3421.72 c #Conflicts: 1827000 | #Constraints: 136849
3410.57/3421.72 c #Conflicts: 1828000 | #Constraints: 137849
3410.57/3421.72 c #Conflicts: 1829000 | #Constraints: 138849
3410.57/3421.72 c #Conflicts: 1830000 | #Constraints: 139849
3410.57/3421.72 c #Conflicts: 1831000 | #Constraints: 140849
3410.57/3421.72 c INPROCESSING
3410.57/3421.72 c GARBAGE COLLECT
3410.57/3421.72 c rational objective 84
3589.13/3600.82 c #Conflicts: 1832000 | #Constraints: 74290
3589.13/3600.82 c #Conflicts: 1833000 | #Constraints: 75290
3589.13/3600.82 c #Conflicts: 1834000 | #Constraints: 76290
3589.13/3600.82 c #Conflicts: 1835000 | #Constraints: 77290
3589.13/3600.82 c #Conflicts: 1836000 | #Constraints: 78290
3589.13/3600.82 c #Conflicts: 1837000 | #Constraints: 79290
3589.13/3600.82 c #Conflicts: 1838000 | #Constraints: 80290
3589.13/3600.82 c #Conflicts: 1839000 | #Constraints: 81290
3589.13/3600.82 c #Conflicts: 1840000 | #Constraints: 82290
3589.13/3600.82 c #Conflicts: 1841000 | #Constraints: 83290
3589.13/3600.82 c #Conflicts: 1842000 | #Constraints: 84290
3589.13/3600.82 c #Conflicts: 1843000 | #Constraints: 85290
3589.13/3600.82 c #Conflicts: 1844000 | #Constraints: 86290
3589.13/3600.82 c #Conflicts: 1845000 | #Constraints: 87290
3589.13/3600.82 c #Conflicts: 1846000 | #Constraints: 88290
3589.13/3600.82 c #Conflicts: 1847000 | #Constraints: 89290
3589.13/3600.82 c #Conflicts: 1848000 | #Constraints: 90290
3589.13/3600.82 c #Conflicts: 1849000 | #Constraints: 91290
3589.13/3600.82 c #Conflicts: 1850000 | #Constraints: 92290
3589.13/3600.82 c #Conflicts: 1851000 | #Constraints: 93290
3589.13/3600.82 c #Conflicts: 1852000 | #Constraints: 94290
3589.13/3600.82 c #Conflicts: 1853000 | #Constraints: 95290
3589.13/3600.82 c #Conflicts: 1854000 | #Constraints: 96290
3589.13/3600.82 c #Conflicts: 1855000 | #Constraints: 97290
3589.13/3600.82 c #Conflicts: 1856000 | #Constraints: 98290
3589.13/3600.82 c #Conflicts: 1857000 | #Constraints: 99290
3589.13/3600.82 c #Conflicts: 1858000 | #Constraints: 100290
3589.13/3600.82 c #Conflicts: 1859000 | #Constraints: 101290
3589.13/3600.82 c #Conflicts: 1860000 | #Constraints: 102290
3589.13/3600.82 c #Conflicts: 1861000 | #Constraints: 103290
3589.13/3600.82 c INPROCESSING
3589.13/3600.82 c GARBAGE COLLECT
3589.13/3600.82 c #Conflicts: 1862000 | #Constraints: 55523
3589.13/3600.82 c #Conflicts: 1863000 | #Constraints: 56523
3589.13/3600.82 c #Conflicts: 1864000 | #Constraints: 57523
3589.13/3600.82 c #Conflicts: 1865000 | #Constraints: 58523
3589.13/3600.82 c #Conflicts: 1866000 | #Constraints: 59523
3589.13/3600.82 c #Conflicts: 1867000 | #Constraints: 60523
3589.13/3600.82 c #Conflicts: 1868000 | #Constraints: 61523
3589.13/3600.82 c #Conflicts: 1869000 | #Constraints: 62523
3589.13/3600.82 c #Conflicts: 1870000 | #Constraints: 63523
3589.13/3600.82 c #Conflicts: 1871000 | #Constraints: 64523
3589.13/3600.82 c #Conflicts: 1872000 | #Constraints: 65523
3589.13/3600.82 c #Conflicts: 1873000 | #Constraints: 66523
3589.13/3600.82 c #Conflicts: 1874000 | #Constraints: 67523
3589.13/3600.82 c #Conflicts: 1875000 | #Constraints: 68523
3589.13/3600.82 c #Conflicts: 1876000 | #Constraints: 69523
3589.13/3600.82 c #Conflicts: 1877000 | #Constraints: 70523
3589.13/3600.82 c #Conflicts: 1878000 | #Constraints: 71523
3589.13/3600.82 c #Conflicts: 1879000 | #Constraints: 72523
3589.13/3600.82 c #Conflicts: 1880000 | #Constraints: 73523
3589.13/3600.82 c #Conflicts: 1881000 | #Constraints: 74523
3589.13/3600.82 c #Conflicts: 1882000 | #Constraints: 75523
3589.13/3600.82 c #Conflicts: 1883000 | #Constraints: 76523
3589.13/3600.82 c #Conflicts: 1884000 | #Constraints: 77523
3589.13/3600.82 c #Conflicts: 1885000 | #Constraints: 78523
3589.13/3600.82 c #Conflicts: 1886000 | #Constraints: 79523
3589.13/3600.82 c #Conflicts: 1887000 | #Constraints: 80523
3589.13/3600.82 c #Conflicts: 1888000 | #Constraints: 81523
3589.13/3600.82 c #Conflicts: 1889000 | #Constraints: 82523
3589.13/3600.82 c #Conflicts: 1890000 | #Constraints: 83523
3589.13/3600.82 c #Conflicts: 1891000 | #Constraints: 84523
3589.13/3600.82 c #Conflicts: 1892000 | #Constraints: 85523
3589.13/3600.82 c INPROCESSING
3589.13/3600.82 c GARBAGE COLLECT
3589.13/3600.82 c #Conflicts: 1893000 | #Constraints: 47095
3589.13/3600.82 c #Conflicts: 1894000 | #Constraints: 48095
3589.13/3600.82 c #Conflicts: 1895000 | #Constraints: 49095
3589.13/3600.82 c #Conflicts: 1896000 | #Constraints: 50095
3589.13/3600.82 c #Conflicts: 1897000 | #Constraints: 51095
3589.13/3600.82 c #Conflicts: 1898000 | #Constraints: 52095
3589.13/3600.82 c #Conflicts: 1899000 | #Constraints: 53095
3589.13/3600.82 c #Conflicts: 1900000 | #Constraints: 54095
3589.13/3600.82 c #Conflicts: 1901000 | #Constraints: 55095
3589.13/3600.82 c #Conflicts: 1902000 | #Constraints: 56095
3589.13/3600.82 c #Conflicts: 1903000 | #Constraints: 57095
3589.13/3600.82 c #Conflicts: 1904000 | #Constraints: 58095
3589.13/3600.82 c #Conflicts: 1905000 | #Constraints: 59095
3589.13/3600.82 c #Conflicts: 1906000 | #Constraints: 60095
3589.13/3600.82 c #Conflicts: 1907000 | #Constraints: 61095
3589.13/3600.82 c #Conflicts: 1908000 | #Constraints: 62095
3589.13/3600.82 c #Conflicts: 1909000 | #Constraints: 63095
3600.08/3611.80 c #Conflicts: 1910000 | #Constraints: 64095
3600.08/3611.80 c #Conflicts: 1911000 | #Constraints: 65095
3600.08/3611.80 c #Conflicts: 1912000 | #Constraints: 66095
3600.08/3611.80 c #Conflicts: 1913000 | #Constraints: 67095
3600.08/3611.80 c #Conflicts: 1914000 | #Constraints: 68095
3600.08/3611.80 c cpu time 3583.19 s
3600.08/3611.80 c deterministic time 269504287747 2.70e+11
3600.08/3611.80 c optimization time 36.6947 s
3600.08/3611.80 c total solve time 3546.43 s
3600.08/3611.80 c core-guided solve time 0 s
3600.08/3611.80 c propagation time 2017.84 s
3600.08/3611.80 c conflict analysis time 1396.36 s
3600.08/3611.80 c propagations 955653407
3600.08/3611.80 c resolve steps 90425934
3600.08/3611.80 c decisions 12074476
3600.08/3611.80 c conflicts 1914859
3600.08/3611.80 c restarts 3707
3600.08/3611.80 c inprocessing phases 88
3600.08/3611.80 c garbage collections 88 ,( 100.00 )
3600.08/3611.80 c input clauses 5798 ,( 98.57 )
3600.08/3611.80 c input cardinalities 84 ,( 1.43 )
3600.08/3611.80 c input general constraints 0 ,( 0.00 )
3600.08/3611.80 c input average constraint length 6.23
3600.08/3611.80 c input average constraint degree 1.94
3600.08/3611.80 c learned clauses 1503484 ,( 78.52 )
3600.08/3611.80 c learned cardinalities 29363 ,( 1.53 )
3600.08/3611.80 c learned general constraints 382037 ,( 19.95 )
3600.08/3611.80 c learned average constraint length 691.81
3600.08/3611.80 c learned average constraint degree 8967031.84
3600.08/3611.80 c watched CF 32, 64, 128, Arb: 132752 , 0 , 0 , 0
3600.08/3611.80 c counting CF 32, 64, 128, Arb: 249285 , 0 , 0 , 0
3600.08/3611.80 c watched constraints 132752 ,( 34.75 )
3600.08/3611.80 c counting constraints 249285 ,( 65.25 )
3600.08/3611.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1655096265 , 660668184 , 3542270851 ,( 165094555 , 3377176296 )
3600.08/3611.80 c gcd simplifications 1197
3600.08/3611.80 c detected cardinalities 1523
3600.08/3611.80 c weakened non-implied lits 372343569
3600.08/3611.80 c weakened non-implying lits 247998
3600.08/3611.80 c original variables 5712
3600.08/3611.80 c clausal propagations 362404050
3600.08/3611.80 c cardinality propagations 350079521
3600.08/3611.80 c watched propagations 4975321
3600.08/3611.80 c counting propagations 232100572
3600.08/3611.80 c watch lookups 149388850123
3600.08/3611.80 c watch backjump lookups 0
3600.08/3611.80 c watch checks 43866207058
3600.08/3611.80 c propagation checks 69609965552
3600.08/3611.80 c constraint additions 4701511241
3600.08/3611.80 c trail pops 969638417
3600.08/3611.80 c formula constraints 5882
3600.08/3611.80 c learned constraints 1914847
3600.08/3611.80 c bound constraints 0
3600.08/3611.80 c core-guided constraints 0
3600.08/3611.80 c encountered formula constraints 54739653
3600.08/3611.80 c encountered learned constraints 37601049
3600.08/3611.80 c encountered bound constraints 0
3600.08/3611.80 c encountered core-guided constraints 0
3600.08/3611.80 c LP total time 151.103 s
3600.08/3611.80 c LP solve time 134.14 s
3600.08/3611.80 c LP constraints added 7509
3600.08/3611.80 c LP constraints removed 1512
3600.08/3611.80 c LP pivots internal 195272
3600.08/3611.80 c LP pivots root 192200
3600.08/3611.80 c LP calls 42
3600.08/3611.80 c LP optimalities 25
3600.08/3611.80 c LP no pivot count 2
3600.08/3611.80 c LP infeasibilities 12
3600.08/3611.80 c LP valid Farkas constraints 12
3600.08/3611.80 c LP learned Farkas constraints 12
3600.08/3611.80 c LP basis resets 0
3600.08/3611.80 c LP cycling count 0
3600.08/3611.80 c LP singular count 0
3600.08/3611.80 c LP no primal count 0
3600.08/3611.80 c LP no farkas count 0
3600.08/3611.80 c LP other issue count 0
3600.08/3611.80 c LP Gomory cuts 13
3600.08/3611.80 c LP learned cuts 1614
3600.08/3611.80 c LP deleted cuts 1512
3600.08/3611.80 c LP encountered Gomory constraints 0
3600.08/3611.80 c LP encountered Farkas constraints 62
3600.08/3611.80 c LP encountered learned Farkas constraints 17
3600.08/3611.80 c CG auxiliary variables introduced 0
3600.08/3611.80 c CG solutions found 0
3600.08/3611.80 c CG cores constructed 0
3600.08/3611.80 c CG core cardinality constraints returned 0
3600.08/3611.80 c CG unit cores 0
3600.08/3611.80 c CG single cores 0
3600.08/3611.80 c CG blocks removed during cardinality reduction 0
3600.08/3611.80 c CG first core best 0
3600.08/3611.80 c CG decision core best 0
3600.08/3611.80 c CG core reduction tie 0
3600.08/3611.80 c CG core degree average 0.00
3600.08/3611.80 c CG core slack average 0.00
3600.08/3611.80 c CG core upper bound improvements 0
3600.08/3611.80 c STR number of successful calls 0
3600.08/3611.80 c STR number of unsuccessful calls 0
3600.08/3611.80 c STR number of inconclusive calls 0
3600.08/3611.80 c STR number of successful attempts 0
3600.08/3611.80 c STR number of unsuccessful attempts 0
3600.08/3611.80 c STR number of inconclusive attempts 0
3600.08/3611.80 c STR average degree increase per successful call inf
3600.08/3611.80 c STR average degree increase per successful attempt inf
3600.08/3611.80 c STR total number of conflicts for successful attempts 0
3600.08/3611.80 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.80 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.80 c STR average number of conflicts per successful attempt inf
3600.08/3611.80 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.80 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.80 c AVG.sumWPerc 57.98
3600.08/3611.80 c bigint constraints 0
3600.08/3611.80 s UNKNOWN
3600.08/3611.80 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: 63837 MiB (63228 MiB free)
memory of node 1: 64465 MiB (63934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507336-1751185860/watcher-4507336-1751185860 -o /tmp/evaluation-result-4507336-1751185860/solver-4507336-1751185860 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21368 --watchdog 3760 run-dec.sh HOME/instance-4507336-1751185860.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21798, runsolver pid=21795
[startup+0.100097 s]*
/proc/loadavg: 4.09 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130207112/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=63660 memory=17396 CPUtime=0.08 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 2882 0 0 0 6 2 0 0 20 0 1 0 34265112 65187840 4349 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 15915 4349 2208 1147 0 3342 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67852 KiB
Current children cumulated memory: 20340 KiB
[startup+0.213759 s]*
/proc/loadavg: 4.09 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130203584/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=69692 memory=22592 CPUtime=0.2 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 4211 0 0 0 17 3 0 0 20 0 1 0 34265112 71364608 5648 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 17423 5648 2240 1147 0 4850 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73884 KiB
Current children cumulated memory: 25536 KiB
[startup+0.313527 s]*
/proc/loadavg: 4.09 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130203584/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=70084 memory=23104 CPUtime=0.3 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 4350 0 0 0 27 3 0 0 20 0 1 0 34265112 71766016 5776 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 17521 5776 2240 1147 0 4948 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74276 KiB
Current children cumulated memory: 26048 KiB
[startup+0.700329 s]
/proc/loadavg: 4.09 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130201568/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=70928 memory=24000 CPUtime=0.67 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 4562 0 0 0 63 4 0 0 20 0 1 0 34265112 72630272 6000 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 17732 6000 2240 1147 0 5159 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75120 KiB
Current children cumulated memory: 26944 KiB
[startup+1.50034 s]
/proc/loadavg: 4.09 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130198176/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=71468 memory=24640 CPUtime=1.47 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 4687 0 0 0 142 5 0 0 20 0 1 0 34265112 73183232 6160 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 17867 6160 2272 1147 0 5294 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 75660 KiB
Current children cumulated memory: 27584 KiB
[startup+3.11259 s]
/proc/loadavg: 4.08 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130164096/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=76784 memory=34192 CPUtime=3.07 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 6533 0 0 0 296 11 0 0 20 0 1 0 34265112 78626816 8548 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 19196 8548 2304 1147 0 6623 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 80976 KiB
Current children cumulated memory: 37136 KiB
[startup+6.30033 s]
/proc/loadavg: 4.08 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130149108/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=83408 memory=40308 CPUtime=6.26 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 7557 0 0 0 605 21 0 0 20 0 1 0 34265112 85409792 10077 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 20852 10077 2304 1147 0 8279 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 87600 KiB
Current children cumulated memory: 43252 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.09 4.04 5/255 21800
/proc/meminfo: memFree=130122836/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=91208 memory=47000 CPUtime=12.63 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 8736 0 0 0 1229 34 0 0 20 0 1 0 34265112 93396992 11750 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 22802 11750 2304 1147 0 10229 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 95400 KiB
Current children cumulated memory: 49944 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.10 4.05 5/255 21800
/proc/meminfo: memFree=130079664/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=95708 memory=52632 CPUtime=25.39 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 10137 0 0 0 2481 58 0 0 20 0 1 0 34265112 98004992 13158 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 23927 13158 2304 1147 0 11354 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 99900 KiB
Current children cumulated memory: 55576 KiB
[startup+51.1129 s]
/proc/loadavg: 4.08 4.09 4.05 5/255 21801
/proc/meminfo: memFree=129890232/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=159592 memory=100408 CPUtime=50.93 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 17970 0 0 0 4997 96 0 0 20 0 1 0 34265112 163422208 25102 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 39898 25102 2336 1147 0 27325 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 163784 KiB
Current children cumulated memory: 103352 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/255 21803
/proc/meminfo: memFree=129699880/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=208456 memory=141856 CPUtime=101.96 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 22713 0 0 0 10040 156 0 0 20 0 1 0 34265112 213458944 35464 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 52114 35464 2336 1147 0 39541 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 212648 KiB
Current children cumulated memory: 144800 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.06 5/255 21805
/proc/meminfo: memFree=129588792/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=227444 memory=176820 CPUtime=161.77 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 26879 0 0 0 15971 206 0 0 20 0 1 0 34265112 232902656 44205 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 56861 44205 2336 1147 0 44288 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 231636 KiB
Current children cumulated memory: 179764 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/255 21807
/proc/meminfo: memFree=129302532/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=310316 memory=258748 CPUtime=221.58 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 34587 0 0 0 21916 242 0 0 20 0 1 0 34265112 317763584 64687 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 77579 64687 2336 1147 0 65006 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/21800/statm: 173549 160200 2336 1147 0 160976 0
Current children cumulated CPU time: 3032.34 s
Current children cumulated vsize: 698388 KiB
Current children cumulated memory: 643744 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/255 21967
/proc/meminfo: memFree=126785620/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=694196 memory=640800 CPUtime=3092.15 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 70670 0 0 0 307669 1546 0 0 20 0 1 0 34265112 710856704 160200 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 173549 160200 2336 1147 0 160976 0
Current children cumulated CPU time: 3092.15 s
Current children cumulated vsize: 698388 KiB
Current children cumulated memory: 643744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/255 21969
/proc/meminfo: memFree=126790792/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=694196 memory=640800 CPUtime=3151.97 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 70713 0 0 0 313628 1569 0 0 20 0 1 0 34265112 710856704 160200 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 173549 160200 2336 1147 0 160976 0
Current children cumulated CPU time: 3151.97 s
Current children cumulated vsize: 698388 KiB
Current children cumulated memory: 643744 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/255 21971
/proc/meminfo: memFree=126784720/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=694196 memory=640800 CPUtime=3211.78 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 70756 0 0 0 319594 1584 0 0 20 0 1 0 34265112 710856704 160200 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 173549 160200 2336 1147 0 160976 0
Current children cumulated CPU time: 3211.78 s
Current children cumulated vsize: 698388 KiB
Current children cumulated memory: 643744 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/256 21976
/proc/meminfo: memFree=126780320/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=694196 memory=640800 CPUtime=3271.6 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 70796 0 0 0 325564 1596 0 0 20 0 1 0 34265112 710856704 160200 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 173549 160200 2336 1147 0 160976 0
Current children cumulated CPU time: 3271.6 s
Current children cumulated vsize: 698388 KiB
Current children cumulated memory: 643744 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/255 21980
/proc/meminfo: memFree=126770644/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=699272 memory=644128 CPUtime=3331.41 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 71623 0 0 0 331534 1607 0 0 20 0 1 0 34265112 716054528 161032 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 174818 161032 2336 1147 0 162245 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 703464 KiB
Current children cumulated memory: 647072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/255 21982
/proc/meminfo: memFree=126746032/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=922260 memory=665604 CPUtime=3391.23 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 73422 0 0 0 337504 1619 0 0 20 0 1 0 34265112 944394240 166401 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 230565 166401 2336 1147 0 217992 0
Current children cumulated CPU time: 3391.23 s
Current children cumulated vsize: 926452 KiB
Current children cumulated memory: 668548 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/255 21984
/proc/meminfo: memFree=126693196/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=928276 memory=680416 CPUtime=3451.05 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 74580 0 0 0 343466 1639 0 0 20 0 1 0 34265112 950554624 170104 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 232069 170104 2336 1147 0 219496 0
Current children cumulated CPU time: 3451.05 s
Current children cumulated vsize: 932468 KiB
Current children cumulated memory: 683360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/255 21986
/proc/meminfo: memFree=126668948/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=928276 memory=680672 CPUtime=3510.87 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 74633 0 0 0 349432 1655 0 0 20 0 1 0 34265112 950554624 170168 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 232069 170168 2336 1147 0 219496 0
Current children cumulated CPU time: 3510.87 s
Current children cumulated vsize: 932468 KiB
Current children cumulated memory: 683616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/254 21989
/proc/meminfo: memFree=126660604/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=928276 memory=680672 CPUtime=3570.69 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 74633 0 0 0 355392 1677 0 0 20 0 1 0 34265112 950554624 170168 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 232069 170168 2336 1147 0 219496 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 932468 KiB
Current children cumulated memory: 683616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.10 4.12 4.14 4/250 22120
/proc/meminfo: memFree=129633096/131382120 swapFree=33010684/33010684
[pid=21798] ppid=21795 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21798/stat : 21798 (run-dec.sh) S 21795 21798 21352 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34265112 4292608 736 18446744073709551615 94697616867328 94697617761861 140731393988592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94697618000912 94697618048656 94697626701824 140731393993069 140731393993192 140731393993192 140731393998794 0
/proc/21798/statm: 1048 736 672 219 0 110 0
[pid=21800] ppid=21798 vsize=928276 memory=680672 CPUtime=3600.08 cores=5,7
/proc/21800/stat : 21800 (roundingsat) R 21798 21798 21352 0 -1 4194304 74673 0 0 0 358319 1689 0 0 20 0 1 0 34265112 950554624 170168 18446744073709551615 4227072 8923433 140723890120176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19922944 140723890129335 140723890129448 140723890129448 140723890135018 0
/proc/21800/statm: 232069 170168 2336 1147 0 219496 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 932468 KiB
Current children cumulated memory: 683616 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.81 s]
# the end of solver process 21798 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001005 s, system=0.00403 s
Sleeping 2 seconds
[startup+3611.81 s]
# the end of solver process 21800 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.2 s, system=16.9089 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): 3611.81
CPU time (s): 3600.1
CPU user time (s): 3583.2
CPU system time (s): 16.9089
CPU usage (%): 99.676
Max. virtual memory (cumulated for all children) (KiB): 932468
Max. memory (cumulated for all children) (KiB): 683616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.2
system time used= 16.9089
maximum resident set size= 680928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 284
involuntary context switches= 20694
# summary of solver processes directly reported to runsolver:
# pid: 21798,21800
# total CPU time (s): 3600.1
# total CPU user time (s): 3583.2
# total CPU system time (s): 16.9089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.361 second user time and 36.8635 second system time
The end
Begin job on nodeC008 at 2025-06-29 10:31:00
IDJOB=4507336
IDBENCH=158343
IDSOLVER=3349
FILE ID=nodeC008/4507336-1751185860
RUNJOBID= nodeC008-1751182246-21368
SLURM_JOB_ID= 9587557
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507336-1751185860/watcher-4507336-1751185860 -o /tmp/evaluation-result-4507336-1751185860/solver-4507336-1751185860 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21368 --watchdog 3760 run-dec.sh HOME/instance-4507336-1751185860.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e
RANDOM SEED=72166492
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2992.993
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2593.953
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.597
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.621
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2494.197
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.765
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.213
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130215428 kB
MemAvailable: 129858868 kB
Buffers: 3280 kB
Cached: 452320 kB
SwapCached: 0 kB
Active: 381664 kB
Inactive: 239040 kB
Active(anon): 183060 kB
Inactive(anon): 0 kB
Active(file): 198604 kB
Inactive(file): 239040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32200 kB
Writeback: 4 kB
AnonPages: 168384 kB
Mapped: 114856 kB
Shmem: 17956 kB
KReclaimable: 85112 kB
Slab: 163768 kB
SReclaimable: 85112 kB
SUnreclaim: 78656 kB
KernelStack: 4096 kB
PageTables: 3452 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 513528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 47104 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC008 at 2025-06-29 11:31:12