0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.09/0.15 c [STEP] preprocessing with Papilo
0.29/0.34 c Papilo could not simplify the problem
0.29/0.34 c [STEP] solving with SCIP
299.67/300.51 c [STEP] preprocessing done, loading into solver
299.78/300.64 c [STEP] solving
299.78/300.64 c #variables 1151 #constraints 81068
299.78/300.64 c SMALL=int, LARGE=long long
299.78/300.64 c bounds - >= -1150 @ 299.461
299.78/300.64 c stratification level: 0
329.40/330.38 c bounds - >= -213 @ 299.506
329.40/330.38 c bounds - >= -212 @ 299.507
329.40/330.38 c bounds - >= -211 @ 299.507
329.40/330.38 c bounds - >= -210 @ 299.507
329.40/330.38 c bounds - >= -209 @ 299.507
329.40/330.38 c bounds - >= -208 @ 299.508
329.40/330.38 c bounds - >= -207 @ 299.508
329.40/330.38 c bounds - >= -206 @ 299.508
329.40/330.38 c bounds - >= -205 @ 299.509
329.40/330.38 c bounds - >= -204 @ 299.51
329.40/330.38 c bounds - >= -203 @ 299.51
329.40/330.38 c bounds - >= -202 @ 299.511
329.40/330.38 c bounds - >= -201 @ 299.512
329.40/330.38 c bounds - >= -200 @ 299.512
329.40/330.38 c bounds - >= -199 @ 299.513
329.40/330.38 c bounds - >= -198 @ 299.513
329.40/330.38 c bounds - >= -197 @ 299.514
329.40/330.38 c bounds - >= -196 @ 299.515
329.40/330.38 c bounds - >= -195 @ 299.515
329.40/330.38 c bounds - >= -194 @ 299.516
329.40/330.38 c bounds - >= -193 @ 299.516
329.40/330.38 c bounds - >= -192 @ 299.516
329.40/330.38 c bounds - >= -191 @ 299.518
329.40/330.38 c #Conflicts: 1000 | #Constraints: 82304
329.40/330.38 c #Conflicts: 2000 | #Constraints: 83304
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 3000 | #Constraints: 83296
329.40/330.38 c #Conflicts: 4000 | #Constraints: 84296
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 5000 | #Constraints: 83707
329.40/330.38 c #Conflicts: 6000 | #Constraints: 84707
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 7000 | #Constraints: 83708
329.40/330.38 c #Conflicts: 8000 | #Constraints: 84708
329.40/330.38 c #Conflicts: 9000 | #Constraints: 85708
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 10000 | #Constraints: 84409
329.40/330.38 c #Conflicts: 11000 | #Constraints: 85409
329.40/330.38 c #Conflicts: 12000 | #Constraints: 86409
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 13000 | #Constraints: 84857
329.40/330.38 c #Conflicts: 14000 | #Constraints: 85857
329.40/330.38 c #Conflicts: 15000 | #Constraints: 86857
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 16000 | #Constraints: 85087
329.40/330.38 c #Conflicts: 17000 | #Constraints: 86087
329.40/330.38 c #Conflicts: 18000 | #Constraints: 87087
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 19000 | #Constraints: 85105
329.40/330.38 c #Conflicts: 20000 | #Constraints: 86105
329.40/330.38 c #Conflicts: 21000 | #Constraints: 87105
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 22000 | #Constraints: 84913
329.40/330.38 c #Conflicts: 23000 | #Constraints: 85913
329.40/330.38 c #Conflicts: 24000 | #Constraints: 86913
329.40/330.38 c #Conflicts: 25000 | #Constraints: 87913
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 26000 | #Constraints: 85529
329.40/330.38 c #Conflicts: 27000 | #Constraints: 86529
329.40/330.38 c #Conflicts: 28000 | #Constraints: 87529
329.40/330.38 c #Conflicts: 29000 | #Constraints: 88529
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 30000 | #Constraints: 85932
329.40/330.38 c #Conflicts: 31000 | #Constraints: 86932
329.40/330.38 c #Conflicts: 32000 | #Constraints: 87932
329.40/330.38 c #Conflicts: 33000 | #Constraints: 88932
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 34000 | #Constraints: 86138
329.40/330.38 c #Conflicts: 35000 | #Constraints: 87138
329.40/330.38 c #Conflicts: 36000 | #Constraints: 88138
329.40/330.38 c #Conflicts: 37000 | #Constraints: 89138
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 38000 | #Constraints: 86142
329.40/330.38 c #Conflicts: 39000 | #Constraints: 87142
329.40/330.38 c #Conflicts: 40000 | #Constraints: 88142
329.40/330.38 c #Conflicts: 41000 | #Constraints: 89142
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 42000 | #Constraints: 85963
329.40/330.38 c #Conflicts: 43000 | #Constraints: 86963
329.40/330.38 c #Conflicts: 44000 | #Constraints: 87963
329.40/330.38 c #Conflicts: 45000 | #Constraints: 88963
329.40/330.38 c #Conflicts: 46000 | #Constraints: 89963
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 47000 | #Constraints: 86569
329.40/330.38 c #Conflicts: 48000 | #Constraints: 87569
329.40/330.38 c #Conflicts: 49000 | #Constraints: 88569
329.40/330.38 c #Conflicts: 50000 | #Constraints: 89569
329.40/330.38 c #Conflicts: 51000 | #Constraints: 90569
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
329.40/330.38 c #Conflicts: 52000 | #Constraints: 86961
329.40/330.38 c #Conflicts: 53000 | #Constraints: 87961
329.40/330.38 c #Conflicts: 54000 | #Constraints: 88961
329.40/330.38 c #Conflicts: 55000 | #Constraints: 89961
329.40/330.38 c #Conflicts: 56000 | #Constraints: 90961
329.40/330.38 c INPROCESSING
329.40/330.38 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 57000 | #Constraints: 87152
384.37/385.45 c #Conflicts: 58000 | #Constraints: 88152
384.37/385.45 c #Conflicts: 59000 | #Constraints: 89152
384.37/385.45 c #Conflicts: 60000 | #Constraints: 90152
384.37/385.45 c #Conflicts: 61000 | #Constraints: 91152
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 62000 | #Constraints: 87159
384.37/385.45 c #Conflicts: 63000 | #Constraints: 88159
384.37/385.45 c #Conflicts: 64000 | #Constraints: 89159
384.37/385.45 c #Conflicts: 65000 | #Constraints: 90159
384.37/385.45 c #Conflicts: 66000 | #Constraints: 91159
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 67000 | #Constraints: 86967
384.37/385.45 c #Conflicts: 68000 | #Constraints: 87967
384.37/385.45 c #Conflicts: 69000 | #Constraints: 88967
384.37/385.45 c #Conflicts: 70000 | #Constraints: 89967
384.37/385.45 c #Conflicts: 71000 | #Constraints: 90967
384.37/385.45 c #Conflicts: 72000 | #Constraints: 91967
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 73000 | #Constraints: 87577
384.37/385.45 c #Conflicts: 74000 | #Constraints: 88577
384.37/385.45 c #Conflicts: 75000 | #Constraints: 89577
384.37/385.45 c #Conflicts: 76000 | #Constraints: 90577
384.37/385.45 c #Conflicts: 77000 | #Constraints: 91577
384.37/385.45 c #Conflicts: 78000 | #Constraints: 92577
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 79000 | #Constraints: 87976
384.37/385.45 c #Conflicts: 80000 | #Constraints: 88976
384.37/385.45 c #Conflicts: 81000 | #Constraints: 89976
384.37/385.45 c #Conflicts: 82000 | #Constraints: 90976
384.37/385.45 c #Conflicts: 83000 | #Constraints: 91976
384.37/385.45 c #Conflicts: 84000 | #Constraints: 92976
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 85000 | #Constraints: 88187
384.37/385.45 c #Conflicts: 86000 | #Constraints: 89187
384.37/385.45 c #Conflicts: 87000 | #Constraints: 90187
384.37/385.45 c #Conflicts: 88000 | #Constraints: 91187
384.37/385.45 c #Conflicts: 89000 | #Constraints: 92187
384.37/385.45 c #Conflicts: 90000 | #Constraints: 93187
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 91000 | #Constraints: 88206
384.37/385.45 c #Conflicts: 92000 | #Constraints: 89206
384.37/385.45 c #Conflicts: 93000 | #Constraints: 90206
384.37/385.45 c #Conflicts: 94000 | #Constraints: 91206
384.37/385.45 c #Conflicts: 95000 | #Constraints: 92206
384.37/385.45 c #Conflicts: 96000 | #Constraints: 93206
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 97000 | #Constraints: 88008
384.37/385.45 c #Conflicts: 98000 | #Constraints: 89008
384.37/385.45 c #Conflicts: 99000 | #Constraints: 90008
384.37/385.45 c #Conflicts: 100000 | #Constraints: 91008
384.37/385.45 c #Conflicts: 101000 | #Constraints: 92008
384.37/385.45 c #Conflicts: 102000 | #Constraints: 93008
384.37/385.45 c #Conflicts: 103000 | #Constraints: 94008
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 104000 | #Constraints: 88607
384.37/385.45 c #Conflicts: 105000 | #Constraints: 89607
384.37/385.45 c #Conflicts: 106000 | #Constraints: 90607
384.37/385.45 c #Conflicts: 107000 | #Constraints: 91607
384.37/385.45 c #Conflicts: 108000 | #Constraints: 92607
384.37/385.45 c #Conflicts: 109000 | #Constraints: 93607
384.37/385.45 c #Conflicts: 110000 | #Constraints: 94607
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 111000 | #Constraints: 89018
384.37/385.45 c #Conflicts: 112000 | #Constraints: 90018
384.37/385.45 c #Conflicts: 113000 | #Constraints: 91018
384.37/385.45 c #Conflicts: 114000 | #Constraints: 92018
384.37/385.45 c #Conflicts: 115000 | #Constraints: 93018
384.37/385.45 c #Conflicts: 116000 | #Constraints: 94018
384.37/385.45 c #Conflicts: 117000 | #Constraints: 95018
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 118000 | #Constraints: 89214
384.37/385.45 c #Conflicts: 119000 | #Constraints: 90214
384.37/385.45 c #Conflicts: 120000 | #Constraints: 91214
384.37/385.45 c #Conflicts: 121000 | #Constraints: 92214
384.37/385.45 c #Conflicts: 122000 | #Constraints: 93214
384.37/385.45 c #Conflicts: 123000 | #Constraints: 94214
384.37/385.45 c #Conflicts: 124000 | #Constraints: 95214
384.37/385.45 c INPROCESSING
384.37/385.45 c GARBAGE COLLECT
384.37/385.45 c #Conflicts: 125000 | #Constraints: 89213
384.37/385.45 c #Conflicts: 126000 | #Constraints: 90213
384.37/385.45 c #Conflicts: 127000 | #Constraints: 91213
384.37/385.45 c #Conflicts: 128000 | #Constraints: 92213
453.00/454.20 c #Conflicts: 129000 | #Constraints: 93213
453.00/454.20 c #Conflicts: 130000 | #Constraints: 94213
453.00/454.20 c #Conflicts: 131000 | #Constraints: 95213
453.00/454.20 c INPROCESSING
453.00/454.20 c GARBAGE COLLECT
453.00/454.20 c #Conflicts: 132000 | #Constraints: 89003
453.00/454.20 c #Conflicts: 133000 | #Constraints: 90003
453.00/454.20 c #Conflicts: 134000 | #Constraints: 91003
453.00/454.20 c #Conflicts: 135000 | #Constraints: 92003
453.00/454.20 c #Conflicts: 136000 | #Constraints: 93003
453.00/454.20 c #Conflicts: 137000 | #Constraints: 94003
453.00/454.20 c #Conflicts: 138000 | #Constraints: 95003
453.00/454.20 c #Conflicts: 139000 | #Constraints: 96003
453.00/454.20 c INPROCESSING
453.00/454.20 c GARBAGE COLLECT
453.00/454.20 c #Conflicts: 140000 | #Constraints: 89614
453.00/454.20 c #Conflicts: 141000 | #Constraints: 90614
453.00/454.20 c #Conflicts: 142000 | #Constraints: 91614
453.00/454.20 c #Conflicts: 143000 | #Constraints: 92614
453.00/454.20 c #Conflicts: 144000 | #Constraints: 93614
453.00/454.20 c #Conflicts: 145000 | #Constraints: 94614
453.00/454.20 c #Conflicts: 146000 | #Constraints: 95614
453.00/454.20 c #Conflicts: 147000 | #Constraints: 96614
453.00/454.20 c INPROCESSING
453.00/454.20 c GARBAGE COLLECT
453.00/454.20 c #Conflicts: 148000 | #Constraints: 90015
453.00/454.20 c #Conflicts: 149000 | #Constraints: 91015
453.00/454.20 c #Conflicts: 150000 | #Constraints: 92015
453.00/454.20 c #Conflicts: 151000 | #Constraints: 93015
453.00/454.20 c #Conflicts: 152000 | #Constraints: 94015
453.00/454.20 c #Conflicts: 153000 | #Constraints: 95015
453.00/454.20 c #Conflicts: 154000 | #Constraints: 96015
453.00/454.20 c #Conflicts: 155000 | #Constraints: 97015
453.00/454.20 c INPROCESSING
453.00/454.20 c GARBAGE COLLECT
453.00/454.20 c #Conflicts: 156000 | #Constraints: 90215
453.00/454.20 c #Conflicts: 157000 | #Constraints: 91215
453.00/454.20 c #Conflicts: 158000 | #Constraints: 92215
453.00/454.20 c #Conflicts: 159000 | #Constraints: 93215
453.00/454.20 c #Conflicts: 160000 | #Constraints: 94215
453.00/454.20 c #Conflicts: 161000 | #Constraints: 95215
453.00/454.20 c #Conflicts: 162000 | #Constraints: 96215
453.00/454.20 c #Conflicts: 163000 | #Constraints: 97215
453.00/454.20 c INPROCESSING
453.00/454.20 c GARBAGE COLLECT
453.00/454.20 c #Conflicts: 164000 | #Constraints: 90208
453.00/454.20 c #Conflicts: 165000 | #Constraints: 91208
453.00/454.20 c #Conflicts: 166000 | #Constraints: 92208
453.00/454.20 c #Conflicts: 167000 | #Constraints: 93208
453.00/454.20 c #Conflicts: 168000 | #Constraints: 94208
453.00/454.20 c #Conflicts: 169000 | #Constraints: 95208
453.00/454.20 c #Conflicts: 170000 | #Constraints: 96208
453.00/454.20 c #Conflicts: 171000 | #Constraints: 97208
453.00/454.20 c INPROCESSING
453.00/454.20 c GARBAGE COLLECT
453.00/454.20 c #Conflicts: 172000 | #Constraints: 90021
453.00/454.20 c #Conflicts: 173000 | #Constraints: 91021
453.00/454.20 c #Conflicts: 174000 | #Constraints: 92021
453.00/454.20 c #Conflicts: 175000 | #Constraints: 93021
453.00/454.20 c #Conflicts: 176000 | #Constraints: 94021
453.00/454.20 c #Conflicts: 177000 | #Constraints: 95021
453.00/454.20 c #Conflicts: 178000 | #Constraints: 96021
453.00/454.20 c #Conflicts: 179000 | #Constraints: 97021
453.00/454.20 c #Conflicts: 180000 | #Constraints: 98021
453.00/454.20 c INPROCESSING
453.00/454.20 c GARBAGE COLLECT
453.00/454.20 c #Conflicts: 181000 | #Constraints: 90632
453.00/454.20 c #Conflicts: 182000 | #Constraints: 91632
453.00/454.20 c #Conflicts: 183000 | #Constraints: 92632
453.00/454.20 c #Conflicts: 184000 | #Constraints: 93632
453.00/454.20 c #Conflicts: 185000 | #Constraints: 94632
453.00/454.20 c #Conflicts: 186000 | #Constraints: 95632
453.00/454.20 c #Conflicts: 187000 | #Constraints: 96632
453.00/454.20 c #Conflicts: 188000 | #Constraints: 97632
453.00/454.20 c #Conflicts: 189000 | #Constraints: 98632
453.00/454.20 c INPROCESSING
453.00/454.20 c GARBAGE COLLECT
453.00/454.20 c #Conflicts: 190000 | #Constraints: 91013
453.00/454.20 c #Conflicts: 191000 | #Constraints: 92013
453.00/454.20 c #Conflicts: 192000 | #Constraints: 93013
453.00/454.20 c #Conflicts: 193000 | #Constraints: 94013
453.00/454.20 c #Conflicts: 194000 | #Constraints: 95013
453.00/454.20 c #Conflicts: 195000 | #Constraints: 96013
453.00/454.20 c #Conflicts: 196000 | #Constraints: 97013
453.00/454.20 c #Conflicts: 197000 | #Constraints: 98013
453.00/454.20 c #Conflicts: 198000 | #Constraints: 99013
453.00/454.20 c INPROCESSING
453.00/454.20 c GARBAGE COLLECT
453.00/454.20 c #Conflicts: 199000 | #Constraints: 91226
453.00/454.20 c #Conflicts: 200000 | #Constraints: 92226
453.00/454.20 c #Conflicts: 201000 | #Constraints: 93226
540.59/542.07 c #Conflicts: 202000 | #Constraints: 94226
540.59/542.07 c #Conflicts: 203000 | #Constraints: 95226
540.59/542.07 c #Conflicts: 204000 | #Constraints: 96226
540.59/542.07 c #Conflicts: 205000 | #Constraints: 97226
540.59/542.07 c #Conflicts: 206000 | #Constraints: 98226
540.59/542.07 c #Conflicts: 207000 | #Constraints: 99226
540.59/542.07 c INPROCESSING
540.59/542.07 c GARBAGE COLLECT
540.59/542.07 c #Conflicts: 208000 | #Constraints: 91235
540.59/542.07 c #Conflicts: 209000 | #Constraints: 92235
540.59/542.07 c #Conflicts: 210000 | #Constraints: 93235
540.59/542.07 c #Conflicts: 211000 | #Constraints: 94235
540.59/542.07 c #Conflicts: 212000 | #Constraints: 95235
540.59/542.07 c #Conflicts: 213000 | #Constraints: 96235
540.59/542.07 c #Conflicts: 214000 | #Constraints: 97235
540.59/542.07 c #Conflicts: 215000 | #Constraints: 98235
540.59/542.07 c #Conflicts: 216000 | #Constraints: 99235
540.59/542.07 c INPROCESSING
540.59/542.07 c GARBAGE COLLECT
540.59/542.07 c #Conflicts: 217000 | #Constraints: 91030
540.59/542.07 c #Conflicts: 218000 | #Constraints: 92030
540.59/542.07 c #Conflicts: 219000 | #Constraints: 93030
540.59/542.07 c #Conflicts: 220000 | #Constraints: 94030
540.59/542.07 c #Conflicts: 221000 | #Constraints: 95030
540.59/542.07 c #Conflicts: 222000 | #Constraints: 96030
540.59/542.07 c #Conflicts: 223000 | #Constraints: 97030
540.59/542.07 c #Conflicts: 224000 | #Constraints: 98030
540.59/542.07 c #Conflicts: 225000 | #Constraints: 99030
540.59/542.07 c #Conflicts: 226000 | #Constraints: 100030
540.59/542.07 c INPROCESSING
540.59/542.07 c GARBAGE COLLECT
540.59/542.07 c #Conflicts: 227000 | #Constraints: 91640
540.59/542.07 c #Conflicts: 228000 | #Constraints: 92640
540.59/542.07 c #Conflicts: 229000 | #Constraints: 93640
540.59/542.07 c #Conflicts: 230000 | #Constraints: 94640
540.59/542.07 c #Conflicts: 231000 | #Constraints: 95640
540.59/542.07 c #Conflicts: 232000 | #Constraints: 96640
540.59/542.07 c #Conflicts: 233000 | #Constraints: 97640
540.59/542.07 c #Conflicts: 234000 | #Constraints: 98640
540.59/542.07 c #Conflicts: 235000 | #Constraints: 99640
540.59/542.07 c #Conflicts: 236000 | #Constraints: 100640
540.59/542.07 c INPROCESSING
540.59/542.07 c GARBAGE COLLECT
540.59/542.07 c #Conflicts: 237000 | #Constraints: 92049
540.59/542.07 c #Conflicts: 238000 | #Constraints: 93049
540.59/542.07 c #Conflicts: 239000 | #Constraints: 94049
540.59/542.07 c #Conflicts: 240000 | #Constraints: 95049
540.59/542.07 c #Conflicts: 241000 | #Constraints: 96049
540.59/542.07 c #Conflicts: 242000 | #Constraints: 97049
540.59/542.07 c #Conflicts: 243000 | #Constraints: 98049
540.59/542.07 c #Conflicts: 244000 | #Constraints: 99049
540.59/542.07 c #Conflicts: 245000 | #Constraints: 100049
540.59/542.07 c #Conflicts: 246000 | #Constraints: 101049
540.59/542.07 c INPROCESSING
540.59/542.07 c GARBAGE COLLECT
540.59/542.07 c #Conflicts: 247000 | #Constraints: 92228
540.59/542.07 c #Conflicts: 248000 | #Constraints: 93228
540.59/542.07 c #Conflicts: 249000 | #Constraints: 94228
540.59/542.07 c #Conflicts: 250000 | #Constraints: 95228
540.59/542.07 c #Conflicts: 251000 | #Constraints: 96228
540.59/542.07 c #Conflicts: 252000 | #Constraints: 97228
540.59/542.07 c #Conflicts: 253000 | #Constraints: 98228
540.59/542.07 c #Conflicts: 254000 | #Constraints: 99228
540.59/542.07 c #Conflicts: 255000 | #Constraints: 100228
540.59/542.07 c #Conflicts: 256000 | #Constraints: 101228
540.59/542.07 c INPROCESSING
540.59/542.07 c GARBAGE COLLECT
540.59/542.07 c #Conflicts: 257000 | #Constraints: 92224
540.59/542.07 c #Conflicts: 258000 | #Constraints: 93224
540.59/542.07 c #Conflicts: 259000 | #Constraints: 94224
540.59/542.07 c #Conflicts: 260000 | #Constraints: 95224
540.59/542.07 c #Conflicts: 261000 | #Constraints: 96224
540.59/542.07 c #Conflicts: 262000 | #Constraints: 97224
540.59/542.07 c #Conflicts: 263000 | #Constraints: 98224
540.59/542.07 c #Conflicts: 264000 | #Constraints: 99224
540.59/542.07 c #Conflicts: 265000 | #Constraints: 100224
540.59/542.07 c #Conflicts: 266000 | #Constraints: 101224
540.59/542.07 c INPROCESSING
540.59/542.07 c GARBAGE COLLECT
540.59/542.07 c #Conflicts: 267000 | #Constraints: 92028
540.59/542.07 c #Conflicts: 268000 | #Constraints: 93028
540.59/542.07 c #Conflicts: 269000 | #Constraints: 94028
540.59/542.07 c #Conflicts: 270000 | #Constraints: 95028
540.59/542.07 c #Conflicts: 271000 | #Constraints: 96028
540.59/542.07 c #Conflicts: 272000 | #Constraints: 97028
540.59/542.07 c #Conflicts: 273000 | #Constraints: 98028
540.59/542.07 c #Conflicts: 274000 | #Constraints: 99028
540.59/542.07 c #Conflicts: 275000 | #Constraints: 100028
644.62/646.37 c #Conflicts: 276000 | #Constraints: 101028
644.62/646.37 c #Conflicts: 277000 | #Constraints: 102028
644.62/646.37 c INPROCESSING
644.62/646.37 c GARBAGE COLLECT
644.62/646.37 c #Conflicts: 278000 | #Constraints: 92643
644.62/646.37 c #Conflicts: 279000 | #Constraints: 93643
644.62/646.37 c #Conflicts: 280000 | #Constraints: 94643
644.62/646.37 c #Conflicts: 281000 | #Constraints: 95643
644.62/646.37 c #Conflicts: 282000 | #Constraints: 96643
644.62/646.37 c #Conflicts: 283000 | #Constraints: 97643
644.62/646.37 c #Conflicts: 284000 | #Constraints: 98643
644.62/646.37 c #Conflicts: 285000 | #Constraints: 99643
644.62/646.37 c #Conflicts: 286000 | #Constraints: 100643
644.62/646.37 c #Conflicts: 287000 | #Constraints: 101643
644.62/646.37 c #Conflicts: 288000 | #Constraints: 102643
644.62/646.37 c INPROCESSING
644.62/646.37 c GARBAGE COLLECT
644.62/646.37 c #Conflicts: 289000 | #Constraints: 93024
644.62/646.37 c #Conflicts: 290000 | #Constraints: 94024
644.62/646.37 c #Conflicts: 291000 | #Constraints: 95024
644.62/646.37 c #Conflicts: 292000 | #Constraints: 96024
644.62/646.37 c #Conflicts: 293000 | #Constraints: 97024
644.62/646.37 c #Conflicts: 294000 | #Constraints: 98024
644.62/646.37 c #Conflicts: 295000 | #Constraints: 99024
644.62/646.37 c #Conflicts: 296000 | #Constraints: 100024
644.62/646.37 c #Conflicts: 297000 | #Constraints: 101024
644.62/646.37 c #Conflicts: 298000 | #Constraints: 102024
644.62/646.37 c #Conflicts: 299000 | #Constraints: 103024
644.62/646.37 c INPROCESSING
644.62/646.37 c GARBAGE COLLECT
644.62/646.37 c #Conflicts: 300000 | #Constraints: 93237
644.62/646.37 c #Conflicts: 301000 | #Constraints: 94237
644.62/646.37 c #Conflicts: 302000 | #Constraints: 95237
644.62/646.37 c #Conflicts: 303000 | #Constraints: 96237
644.62/646.37 c #Conflicts: 304000 | #Constraints: 97237
644.62/646.37 c #Conflicts: 305000 | #Constraints: 98237
644.62/646.37 c #Conflicts: 306000 | #Constraints: 99237
644.62/646.37 c #Conflicts: 307000 | #Constraints: 100237
644.62/646.37 c #Conflicts: 308000 | #Constraints: 101237
644.62/646.37 c #Conflicts: 309000 | #Constraints: 102237
644.62/646.37 c #Conflicts: 310000 | #Constraints: 103237
644.62/646.37 c INPROCESSING
644.62/646.37 c GARBAGE COLLECT
644.62/646.37 c #Conflicts: 311000 | #Constraints: 93233
644.62/646.37 c #Conflicts: 312000 | #Constraints: 94233
644.62/646.37 c #Conflicts: 313000 | #Constraints: 95233
644.62/646.37 c #Conflicts: 314000 | #Constraints: 96233
644.62/646.37 c #Conflicts: 315000 | #Constraints: 97233
644.62/646.37 c #Conflicts: 316000 | #Constraints: 98233
644.62/646.37 c #Conflicts: 317000 | #Constraints: 99233
644.62/646.37 c #Conflicts: 318000 | #Constraints: 100233
644.62/646.37 c #Conflicts: 319000 | #Constraints: 101233
644.62/646.37 c #Conflicts: 320000 | #Constraints: 102233
644.62/646.37 c #Conflicts: 321000 | #Constraints: 103233
644.62/646.37 c INPROCESSING
644.62/646.37 c GARBAGE COLLECT
644.62/646.37 c #Conflicts: 322000 | #Constraints: 93053
644.62/646.37 c #Conflicts: 323000 | #Constraints: 94053
644.62/646.37 c #Conflicts: 324000 | #Constraints: 95053
644.62/646.37 c #Conflicts: 325000 | #Constraints: 96053
644.62/646.37 c #Conflicts: 326000 | #Constraints: 97053
644.62/646.37 c #Conflicts: 327000 | #Constraints: 98053
644.62/646.37 c #Conflicts: 328000 | #Constraints: 99053
644.62/646.37 c #Conflicts: 329000 | #Constraints: 100053
644.62/646.37 c #Conflicts: 330000 | #Constraints: 101053
644.62/646.37 c #Conflicts: 331000 | #Constraints: 102053
644.62/646.37 c #Conflicts: 332000 | #Constraints: 103053
644.62/646.37 c #Conflicts: 333000 | #Constraints: 104053
644.62/646.37 c INPROCESSING
644.62/646.37 c GARBAGE COLLECT
644.62/646.37 c #Conflicts: 334000 | #Constraints: 93655
644.62/646.37 c #Conflicts: 335000 | #Constraints: 94655
644.62/646.37 c #Conflicts: 336000 | #Constraints: 95655
644.62/646.37 c #Conflicts: 337000 | #Constraints: 96655
644.62/646.37 c #Conflicts: 338000 | #Constraints: 97655
644.62/646.37 c #Conflicts: 339000 | #Constraints: 98655
644.62/646.37 c #Conflicts: 340000 | #Constraints: 99655
644.62/646.37 c #Conflicts: 341000 | #Constraints: 100655
644.62/646.37 c #Conflicts: 342000 | #Constraints: 101655
644.62/646.37 c #Conflicts: 343000 | #Constraints: 102655
644.62/646.37 c #Conflicts: 344000 | #Constraints: 103655
644.62/646.37 c #Conflicts: 345000 | #Constraints: 104655
644.62/646.37 c INPROCESSING
644.62/646.37 c GARBAGE COLLECT
644.62/646.37 c #Conflicts: 346000 | #Constraints: 94069
644.62/646.37 c #Conflicts: 347000 | #Constraints: 95069
644.62/646.37 c #Conflicts: 348000 | #Constraints: 96069
644.62/646.37 c #Conflicts: 349000 | #Constraints: 97069
644.62/646.37 c #Conflicts: 350000 | #Constraints: 98069
765.33/767.37 c #Conflicts: 351000 | #Constraints: 99069
765.33/767.37 c #Conflicts: 352000 | #Constraints: 100069
765.33/767.37 c #Conflicts: 353000 | #Constraints: 101069
765.33/767.37 c #Conflicts: 354000 | #Constraints: 102069
765.33/767.37 c #Conflicts: 355000 | #Constraints: 103069
765.33/767.37 c #Conflicts: 356000 | #Constraints: 104069
765.33/767.37 c #Conflicts: 357000 | #Constraints: 105069
765.33/767.37 c INPROCESSING
765.33/767.37 c GARBAGE COLLECT
765.33/767.37 c #Conflicts: 358000 | #Constraints: 94222
765.33/767.37 c #Conflicts: 359000 | #Constraints: 95222
765.33/767.37 c #Conflicts: 360000 | #Constraints: 96222
765.33/767.37 c #Conflicts: 361000 | #Constraints: 97222
765.33/767.37 c #Conflicts: 362000 | #Constraints: 98222
765.33/767.37 c #Conflicts: 363000 | #Constraints: 99222
765.33/767.37 c #Conflicts: 364000 | #Constraints: 100222
765.33/767.37 c #Conflicts: 365000 | #Constraints: 101222
765.33/767.37 c #Conflicts: 366000 | #Constraints: 102222
765.33/767.37 c #Conflicts: 367000 | #Constraints: 103222
765.33/767.37 c #Conflicts: 368000 | #Constraints: 104222
765.33/767.37 c #Conflicts: 369000 | #Constraints: 105222
765.33/767.37 c INPROCESSING
765.33/767.37 c GARBAGE COLLECT
765.33/767.37 c #Conflicts: 370000 | #Constraints: 94240
765.33/767.37 c #Conflicts: 371000 | #Constraints: 95240
765.33/767.37 c #Conflicts: 372000 | #Constraints: 96240
765.33/767.37 c #Conflicts: 373000 | #Constraints: 97240
765.33/767.37 c #Conflicts: 374000 | #Constraints: 98240
765.33/767.37 c #Conflicts: 375000 | #Constraints: 99240
765.33/767.37 c #Conflicts: 376000 | #Constraints: 100240
765.33/767.37 c #Conflicts: 377000 | #Constraints: 101240
765.33/767.37 c #Conflicts: 378000 | #Constraints: 102240
765.33/767.37 c #Conflicts: 379000 | #Constraints: 103240
765.33/767.37 c #Conflicts: 380000 | #Constraints: 104240
765.33/767.37 c #Conflicts: 381000 | #Constraints: 105240
765.33/767.37 c INPROCESSING
765.33/767.37 c GARBAGE COLLECT
765.33/767.37 c #Conflicts: 382000 | #Constraints: 94036
765.33/767.37 c #Conflicts: 383000 | #Constraints: 95036
765.33/767.37 c #Conflicts: 384000 | #Constraints: 96036
765.33/767.37 c #Conflicts: 385000 | #Constraints: 97036
765.33/767.37 c #Conflicts: 386000 | #Constraints: 98036
765.33/767.37 c #Conflicts: 387000 | #Constraints: 99036
765.33/767.37 c #Conflicts: 388000 | #Constraints: 100036
765.33/767.37 c #Conflicts: 389000 | #Constraints: 101036
765.33/767.37 c #Conflicts: 390000 | #Constraints: 102036
765.33/767.37 c #Conflicts: 391000 | #Constraints: 103036
765.33/767.37 c #Conflicts: 392000 | #Constraints: 104036
765.33/767.37 c #Conflicts: 393000 | #Constraints: 105036
765.33/767.37 c #Conflicts: 394000 | #Constraints: 106036
765.33/767.37 c INPROCESSING
765.33/767.37 c GARBAGE COLLECT
765.33/767.37 c #Conflicts: 395000 | #Constraints: 94643
765.33/767.37 c #Conflicts: 396000 | #Constraints: 95643
765.33/767.37 c #Conflicts: 397000 | #Constraints: 96643
765.33/767.37 c #Conflicts: 398000 | #Constraints: 97643
765.33/767.37 c #Conflicts: 399000 | #Constraints: 98643
765.33/767.37 c #Conflicts: 400000 | #Constraints: 99643
765.33/767.37 c #Conflicts: 401000 | #Constraints: 100643
765.33/767.37 c #Conflicts: 402000 | #Constraints: 101643
765.33/767.37 c #Conflicts: 403000 | #Constraints: 102643
765.33/767.37 c #Conflicts: 404000 | #Constraints: 103643
765.33/767.37 c #Conflicts: 405000 | #Constraints: 104643
765.33/767.37 c #Conflicts: 406000 | #Constraints: 105643
765.33/767.37 c #Conflicts: 407000 | #Constraints: 106643
765.33/767.37 c INPROCESSING
765.33/767.37 c GARBAGE COLLECT
765.33/767.37 c #Conflicts: 408000 | #Constraints: 95048
765.33/767.37 c #Conflicts: 409000 | #Constraints: 96048
765.33/767.37 c #Conflicts: 410000 | #Constraints: 97048
765.33/767.37 c #Conflicts: 411000 | #Constraints: 98048
765.33/767.37 c #Conflicts: 412000 | #Constraints: 99048
765.33/767.37 c #Conflicts: 413000 | #Constraints: 100048
765.33/767.37 c #Conflicts: 414000 | #Constraints: 101048
765.33/767.37 c #Conflicts: 415000 | #Constraints: 102048
765.33/767.37 c #Conflicts: 416000 | #Constraints: 103048
765.33/767.37 c #Conflicts: 417000 | #Constraints: 104048
765.33/767.37 c #Conflicts: 418000 | #Constraints: 105048
765.33/767.37 c #Conflicts: 419000 | #Constraints: 106048
765.33/767.37 c #Conflicts: 420000 | #Constraints: 107048
765.33/767.37 c INPROCESSING
765.33/767.37 c GARBAGE COLLECT
765.33/767.37 c #Conflicts: 421000 | #Constraints: 95244
765.33/767.37 c #Conflicts: 422000 | #Constraints: 96244
765.33/767.37 c #Conflicts: 423000 | #Constraints: 97244
765.33/767.37 c #Conflicts: 424000 | #Constraints: 98244
765.33/767.37 c #Conflicts: 425000 | #Constraints: 99244
891.50/893.89 c #Conflicts: 426000 | #Constraints: 100244
891.50/893.89 c #Conflicts: 427000 | #Constraints: 101244
891.50/893.89 c #Conflicts: 428000 | #Constraints: 102244
891.50/893.89 c #Conflicts: 429000 | #Constraints: 103244
891.50/893.89 c #Conflicts: 430000 | #Constraints: 104244
891.50/893.89 c #Conflicts: 431000 | #Constraints: 105244
891.50/893.89 c #Conflicts: 432000 | #Constraints: 106244
891.50/893.89 c #Conflicts: 433000 | #Constraints: 107244
891.50/893.89 c INPROCESSING
891.50/893.89 c GARBAGE COLLECT
891.50/893.89 c #Conflicts: 434000 | #Constraints: 95259
891.50/893.89 c #Conflicts: 435000 | #Constraints: 96259
891.50/893.89 c #Conflicts: 436000 | #Constraints: 97259
891.50/893.89 c #Conflicts: 437000 | #Constraints: 98259
891.50/893.89 c #Conflicts: 438000 | #Constraints: 99259
891.50/893.89 c #Conflicts: 439000 | #Constraints: 100259
891.50/893.89 c #Conflicts: 440000 | #Constraints: 101259
891.50/893.89 c #Conflicts: 441000 | #Constraints: 102259
891.50/893.89 c #Conflicts: 442000 | #Constraints: 103259
891.50/893.89 c #Conflicts: 443000 | #Constraints: 104259
891.50/893.89 c #Conflicts: 444000 | #Constraints: 105259
891.50/893.89 c #Conflicts: 445000 | #Constraints: 106259
891.50/893.89 c #Conflicts: 446000 | #Constraints: 107259
891.50/893.89 c INPROCESSING
891.50/893.89 c GARBAGE COLLECT
891.50/893.89 c #Conflicts: 447000 | #Constraints: 95084
891.50/893.89 c #Conflicts: 448000 | #Constraints: 96084
891.50/893.89 c #Conflicts: 449000 | #Constraints: 97084
891.50/893.89 c #Conflicts: 450000 | #Constraints: 98084
891.50/893.89 c #Conflicts: 451000 | #Constraints: 99084
891.50/893.89 c #Conflicts: 452000 | #Constraints: 100084
891.50/893.89 c #Conflicts: 453000 | #Constraints: 101084
891.50/893.89 c #Conflicts: 454000 | #Constraints: 102084
891.50/893.89 c #Conflicts: 455000 | #Constraints: 103084
891.50/893.89 c #Conflicts: 456000 | #Constraints: 104084
891.50/893.89 c #Conflicts: 457000 | #Constraints: 105084
891.50/893.89 c #Conflicts: 458000 | #Constraints: 106084
891.50/893.89 c #Conflicts: 459000 | #Constraints: 107084
891.50/893.89 c #Conflicts: 460000 | #Constraints: 108084
891.50/893.89 c INPROCESSING
891.50/893.89 c GARBAGE COLLECT
891.50/893.89 c #Conflicts: 461000 | #Constraints: 95676
891.50/893.89 c #Conflicts: 462000 | #Constraints: 96676
891.50/893.89 c #Conflicts: 463000 | #Constraints: 97676
891.50/893.89 c #Conflicts: 464000 | #Constraints: 98676
891.50/893.89 c #Conflicts: 465000 | #Constraints: 99676
891.50/893.89 c #Conflicts: 466000 | #Constraints: 100676
891.50/893.89 c #Conflicts: 467000 | #Constraints: 101676
891.50/893.89 c #Conflicts: 468000 | #Constraints: 102676
891.50/893.89 c #Conflicts: 469000 | #Constraints: 103676
891.50/893.89 c #Conflicts: 470000 | #Constraints: 104676
891.50/893.89 c #Conflicts: 471000 | #Constraints: 105676
891.50/893.89 c #Conflicts: 472000 | #Constraints: 106676
891.50/893.89 c #Conflicts: 473000 | #Constraints: 107676
891.50/893.89 c #Conflicts: 474000 | #Constraints: 108676
891.50/893.89 c INPROCESSING
891.50/893.89 c GARBAGE COLLECT
891.50/893.89 c #Conflicts: 475000 | #Constraints: 96067
891.50/893.89 c #Conflicts: 476000 | #Constraints: 97067
891.50/893.89 c #Conflicts: 477000 | #Constraints: 98067
891.50/893.89 c #Conflicts: 478000 | #Constraints: 99067
891.50/893.89 c #Conflicts: 479000 | #Constraints: 100067
891.50/893.89 c #Conflicts: 480000 | #Constraints: 101067
891.50/893.89 c #Conflicts: 481000 | #Constraints: 102067
891.50/893.89 c #Conflicts: 482000 | #Constraints: 103067
891.50/893.89 c #Conflicts: 483000 | #Constraints: 104067
891.50/893.89 c #Conflicts: 484000 | #Constraints: 105067
891.50/893.89 c #Conflicts: 485000 | #Constraints: 106067
891.50/893.89 c #Conflicts: 486000 | #Constraints: 107067
891.50/893.89 c #Conflicts: 487000 | #Constraints: 108067
891.50/893.89 c #Conflicts: 488000 | #Constraints: 109067
891.50/893.89 c INPROCESSING
891.50/893.89 c GARBAGE COLLECT
891.50/893.89 c #Conflicts: 489000 | #Constraints: 96285
891.50/893.89 c #Conflicts: 490000 | #Constraints: 97285
891.50/893.89 c #Conflicts: 491000 | #Constraints: 98285
891.50/893.89 c #Conflicts: 492000 | #Constraints: 99285
891.50/893.89 c #Conflicts: 493000 | #Constraints: 100285
891.50/893.89 c #Conflicts: 494000 | #Constraints: 101285
891.50/893.89 c #Conflicts: 495000 | #Constraints: 102285
891.50/893.89 c #Conflicts: 496000 | #Constraints: 103285
891.50/893.89 c #Conflicts: 497000 | #Constraints: 104285
891.50/893.89 c #Conflicts: 498000 | #Constraints: 105285
891.50/893.89 c #Conflicts: 499000 | #Constraints: 106285
891.50/893.89 c #Conflicts: 500000 | #Constraints: 107285
1041.53/1044.20 c #Conflicts: 501000 | #Constraints: 108285
1041.53/1044.20 c #Conflicts: 502000 | #Constraints: 109285
1041.53/1044.20 c INPROCESSING
1041.53/1044.20 c GARBAGE COLLECT
1041.53/1044.20 c #Conflicts: 503000 | #Constraints: 96272
1041.53/1044.20 c #Conflicts: 504000 | #Constraints: 97272
1041.53/1044.20 c #Conflicts: 505000 | #Constraints: 98272
1041.53/1044.20 c #Conflicts: 506000 | #Constraints: 99272
1041.53/1044.20 c #Conflicts: 507000 | #Constraints: 100272
1041.53/1044.20 c #Conflicts: 508000 | #Constraints: 101272
1041.53/1044.20 c #Conflicts: 509000 | #Constraints: 102272
1041.53/1044.20 c #Conflicts: 510000 | #Constraints: 103272
1041.53/1044.20 c #Conflicts: 511000 | #Constraints: 104272
1041.53/1044.20 c #Conflicts: 512000 | #Constraints: 105272
1041.53/1044.20 c #Conflicts: 513000 | #Constraints: 106272
1041.53/1044.20 c #Conflicts: 514000 | #Constraints: 107272
1041.53/1044.20 c #Conflicts: 515000 | #Constraints: 108272
1041.53/1044.20 c #Conflicts: 516000 | #Constraints: 109272
1041.53/1044.20 c INPROCESSING
1041.53/1044.20 c GARBAGE COLLECT
1041.53/1044.20 c #Conflicts: 517000 | #Constraints: 96064
1041.53/1044.20 c #Conflicts: 518000 | #Constraints: 97064
1041.53/1044.20 c #Conflicts: 519000 | #Constraints: 98064
1041.53/1044.20 c #Conflicts: 520000 | #Constraints: 99064
1041.53/1044.20 c #Conflicts: 521000 | #Constraints: 100064
1041.53/1044.20 c #Conflicts: 522000 | #Constraints: 101064
1041.53/1044.20 c #Conflicts: 523000 | #Constraints: 102064
1041.53/1044.20 c #Conflicts: 524000 | #Constraints: 103064
1041.53/1044.20 c #Conflicts: 525000 | #Constraints: 104064
1041.53/1044.20 c #Conflicts: 526000 | #Constraints: 105064
1041.53/1044.20 c #Conflicts: 527000 | #Constraints: 106064
1041.53/1044.20 c #Conflicts: 528000 | #Constraints: 107064
1041.53/1044.20 c #Conflicts: 529000 | #Constraints: 108064
1041.53/1044.20 c #Conflicts: 530000 | #Constraints: 109064
1041.53/1044.20 c #Conflicts: 531000 | #Constraints: 110064
1041.53/1044.20 c INPROCESSING
1041.53/1044.20 c GARBAGE COLLECT
1041.53/1044.20 c #Conflicts: 532000 | #Constraints: 96690
1041.53/1044.20 c #Conflicts: 533000 | #Constraints: 97690
1041.53/1044.20 c #Conflicts: 534000 | #Constraints: 98690
1041.53/1044.20 c #Conflicts: 535000 | #Constraints: 99690
1041.53/1044.20 c #Conflicts: 536000 | #Constraints: 100690
1041.53/1044.20 c #Conflicts: 537000 | #Constraints: 101690
1041.53/1044.20 c #Conflicts: 538000 | #Constraints: 102690
1041.53/1044.20 c #Conflicts: 539000 | #Constraints: 103690
1041.53/1044.20 c #Conflicts: 540000 | #Constraints: 104690
1041.53/1044.20 c #Conflicts: 541000 | #Constraints: 105690
1041.53/1044.20 c #Conflicts: 542000 | #Constraints: 106690
1041.53/1044.20 c #Conflicts: 543000 | #Constraints: 107690
1041.53/1044.20 c #Conflicts: 544000 | #Constraints: 108690
1041.53/1044.20 c #Conflicts: 545000 | #Constraints: 109690
1041.53/1044.20 c #Conflicts: 546000 | #Constraints: 110690
1041.53/1044.20 c INPROCESSING
1041.53/1044.20 c GARBAGE COLLECT
1041.53/1044.20 c #Conflicts: 547000 | #Constraints: 97086
1041.53/1044.20 c #Conflicts: 548000 | #Constraints: 98086
1041.53/1044.20 c #Conflicts: 549000 | #Constraints: 99086
1041.53/1044.20 c #Conflicts: 550000 | #Constraints: 100086
1041.53/1044.20 c #Conflicts: 551000 | #Constraints: 101086
1041.53/1044.20 c #Conflicts: 552000 | #Constraints: 102086
1041.53/1044.20 c #Conflicts: 553000 | #Constraints: 103086
1041.53/1044.20 c #Conflicts: 554000 | #Constraints: 104086
1041.53/1044.20 c #Conflicts: 555000 | #Constraints: 105086
1041.53/1044.20 c #Conflicts: 556000 | #Constraints: 106086
1041.53/1044.20 c #Conflicts: 557000 | #Constraints: 107086
1041.53/1044.20 c #Conflicts: 558000 | #Constraints: 108086
1041.53/1044.20 c #Conflicts: 559000 | #Constraints: 109086
1041.53/1044.20 c #Conflicts: 560000 | #Constraints: 110086
1041.53/1044.20 c #Conflicts: 561000 | #Constraints: 111086
1041.53/1044.20 c INPROCESSING
1041.53/1044.20 c GARBAGE COLLECT
1041.53/1044.20 c #Conflicts: 562000 | #Constraints: 97271
1041.53/1044.20 c #Conflicts: 563000 | #Constraints: 98271
1041.53/1044.20 c #Conflicts: 564000 | #Constraints: 99271
1041.53/1044.20 c #Conflicts: 565000 | #Constraints: 100271
1041.53/1044.20 c #Conflicts: 566000 | #Constraints: 101271
1041.53/1044.20 c #Conflicts: 567000 | #Constraints: 102271
1041.53/1044.20 c #Conflicts: 568000 | #Constraints: 103271
1041.53/1044.20 c #Conflicts: 569000 | #Constraints: 104271
1041.53/1044.20 c #Conflicts: 570000 | #Constraints: 105271
1041.53/1044.20 c #Conflicts: 571000 | #Constraints: 106271
1041.53/1044.20 c #Conflicts: 572000 | #Constraints: 107271
1041.53/1044.20 c #Conflicts: 573000 | #Constraints: 108271
1041.53/1044.20 c #Conflicts: 574000 | #Constraints: 109271
1041.53/1044.20 c #Conflicts: 575000 | #Constraints: 110271
1041.53/1044.20 c #Conflicts: 576000 | #Constraints: 111271
1194.25/1197.39 c INPROCESSING
1194.25/1197.39 c GARBAGE COLLECT
1194.25/1197.39 c #Conflicts: 577000 | #Constraints: 97244
1194.25/1197.39 c #Conflicts: 578000 | #Constraints: 98244
1194.25/1197.39 c #Conflicts: 579000 | #Constraints: 99244
1194.25/1197.39 c #Conflicts: 580000 | #Constraints: 100244
1194.25/1197.39 c #Conflicts: 581000 | #Constraints: 101244
1194.25/1197.39 c #Conflicts: 582000 | #Constraints: 102244
1194.25/1197.39 c #Conflicts: 583000 | #Constraints: 103244
1194.25/1197.39 c #Conflicts: 584000 | #Constraints: 104244
1194.25/1197.39 c #Conflicts: 585000 | #Constraints: 105244
1194.25/1197.39 c #Conflicts: 586000 | #Constraints: 106244
1194.25/1197.39 c #Conflicts: 587000 | #Constraints: 107244
1194.25/1197.39 c #Conflicts: 588000 | #Constraints: 108244
1194.25/1197.39 c #Conflicts: 589000 | #Constraints: 109244
1194.25/1197.39 c #Conflicts: 590000 | #Constraints: 110244
1194.25/1197.39 c #Conflicts: 591000 | #Constraints: 111244
1194.25/1197.39 c INPROCESSING
1194.25/1197.39 c GARBAGE COLLECT
1194.25/1197.39 c #Conflicts: 592000 | #Constraints: 97078
1194.25/1197.39 c #Conflicts: 593000 | #Constraints: 98078
1194.25/1197.39 c #Conflicts: 594000 | #Constraints: 99078
1194.25/1197.39 c #Conflicts: 595000 | #Constraints: 100078
1194.25/1197.39 c #Conflicts: 596000 | #Constraints: 101078
1194.25/1197.39 c #Conflicts: 597000 | #Constraints: 102078
1194.25/1197.39 c #Conflicts: 598000 | #Constraints: 103078
1194.25/1197.39 c #Conflicts: 599000 | #Constraints: 104078
1194.25/1197.39 c #Conflicts: 600000 | #Constraints: 105078
1194.25/1197.39 c #Conflicts: 601000 | #Constraints: 106078
1194.25/1197.39 c #Conflicts: 602000 | #Constraints: 107078
1194.25/1197.39 c #Conflicts: 603000 | #Constraints: 108078
1194.25/1197.39 c #Conflicts: 604000 | #Constraints: 109078
1194.25/1197.39 c #Conflicts: 605000 | #Constraints: 110078
1194.25/1197.39 c #Conflicts: 606000 | #Constraints: 111078
1194.25/1197.39 c #Conflicts: 607000 | #Constraints: 112078
1194.25/1197.39 c INPROCESSING
1194.25/1197.39 c GARBAGE COLLECT
1194.25/1197.39 c #Conflicts: 608000 | #Constraints: 97686
1194.25/1197.39 c #Conflicts: 609000 | #Constraints: 98686
1194.25/1197.39 c #Conflicts: 610000 | #Constraints: 99686
1194.25/1197.39 c #Conflicts: 611000 | #Constraints: 100686
1194.25/1197.39 c #Conflicts: 612000 | #Constraints: 101686
1194.25/1197.39 c #Conflicts: 613000 | #Constraints: 102686
1194.25/1197.39 c #Conflicts: 614000 | #Constraints: 103686
1194.25/1197.39 c #Conflicts: 615000 | #Constraints: 104686
1194.25/1197.39 c #Conflicts: 616000 | #Constraints: 105686
1194.25/1197.39 c #Conflicts: 617000 | #Constraints: 106686
1194.25/1197.39 c #Conflicts: 618000 | #Constraints: 107686
1194.25/1197.39 c #Conflicts: 619000 | #Constraints: 108686
1194.25/1197.39 c #Conflicts: 620000 | #Constraints: 109686
1194.25/1197.39 c #Conflicts: 621000 | #Constraints: 110686
1194.25/1197.39 c #Conflicts: 622000 | #Constraints: 111686
1194.25/1197.39 c #Conflicts: 623000 | #Constraints: 112686
1194.25/1197.39 c INPROCESSING
1194.25/1197.39 c GARBAGE COLLECT
1194.25/1197.39 c #Conflicts: 624000 | #Constraints: 98100
1194.25/1197.39 c #Conflicts: 625000 | #Constraints: 99100
1194.25/1197.39 c #Conflicts: 626000 | #Constraints: 100100
1194.25/1197.39 c #Conflicts: 627000 | #Constraints: 101100
1194.25/1197.39 c #Conflicts: 628000 | #Constraints: 102100
1194.25/1197.39 c #Conflicts: 629000 | #Constraints: 103100
1194.25/1197.39 c #Conflicts: 630000 | #Constraints: 104100
1194.25/1197.39 c #Conflicts: 631000 | #Constraints: 105100
1194.25/1197.39 c #Conflicts: 632000 | #Constraints: 106100
1194.25/1197.39 c #Conflicts: 633000 | #Constraints: 107100
1194.25/1197.39 c #Conflicts: 634000 | #Constraints: 108100
1194.25/1197.39 c #Conflicts: 635000 | #Constraints: 109100
1194.25/1197.39 c #Conflicts: 636000 | #Constraints: 110100
1194.25/1197.39 c #Conflicts: 637000 | #Constraints: 111100
1194.25/1197.39 c #Conflicts: 638000 | #Constraints: 112100
1194.25/1197.39 c #Conflicts: 639000 | #Constraints: 113100
1194.25/1197.39 c INPROCESSING
1194.25/1197.39 c GARBAGE COLLECT
1194.25/1197.39 c #Conflicts: 640000 | #Constraints: 98310
1194.25/1197.39 c #Conflicts: 641000 | #Constraints: 99310
1194.25/1197.39 c #Conflicts: 642000 | #Constraints: 100310
1194.25/1197.39 c #Conflicts: 643000 | #Constraints: 101310
1194.25/1197.39 c #Conflicts: 644000 | #Constraints: 102310
1194.25/1197.39 c #Conflicts: 645000 | #Constraints: 103310
1194.25/1197.39 c #Conflicts: 646000 | #Constraints: 104310
1194.25/1197.39 c #Conflicts: 647000 | #Constraints: 105310
1194.25/1197.39 c #Conflicts: 648000 | #Constraints: 106310
1194.25/1197.39 c #Conflicts: 649000 | #Constraints: 107310
1194.25/1197.39 c #Conflicts: 650000 | #Constraints: 108310
1194.25/1197.39 c #Conflicts: 651000 | #Constraints: 109310
1194.25/1197.39 c #Conflicts: 652000 | #Constraints: 110310
1353.97/1357.49 c #Conflicts: 653000 | #Constraints: 111310
1353.97/1357.49 c #Conflicts: 654000 | #Constraints: 112310
1353.97/1357.49 c #Conflicts: 655000 | #Constraints: 113310
1353.97/1357.49 c INPROCESSING
1353.97/1357.49 c GARBAGE COLLECT
1353.97/1357.49 c #Conflicts: 656000 | #Constraints: 98303
1353.97/1357.49 c #Conflicts: 657000 | #Constraints: 99303
1353.97/1357.49 c #Conflicts: 658000 | #Constraints: 100303
1353.97/1357.49 c #Conflicts: 659000 | #Constraints: 101303
1353.97/1357.49 c #Conflicts: 660000 | #Constraints: 102303
1353.97/1357.49 c #Conflicts: 661000 | #Constraints: 103303
1353.97/1357.49 c #Conflicts: 662000 | #Constraints: 104303
1353.97/1357.49 c #Conflicts: 663000 | #Constraints: 105303
1353.97/1357.49 c #Conflicts: 664000 | #Constraints: 106303
1353.97/1357.49 c #Conflicts: 665000 | #Constraints: 107303
1353.97/1357.49 c #Conflicts: 666000 | #Constraints: 108303
1353.97/1357.49 c #Conflicts: 667000 | #Constraints: 109303
1353.97/1357.49 c #Conflicts: 668000 | #Constraints: 110303
1353.97/1357.49 c #Conflicts: 669000 | #Constraints: 111303
1353.97/1357.49 c #Conflicts: 670000 | #Constraints: 112303
1353.97/1357.49 c #Conflicts: 671000 | #Constraints: 113303
1353.97/1357.49 c INPROCESSING
1353.97/1357.49 c GARBAGE COLLECT
1353.97/1357.49 c #Conflicts: 672000 | #Constraints: 98078
1353.97/1357.49 c #Conflicts: 673000 | #Constraints: 99078
1353.97/1357.49 c #Conflicts: 674000 | #Constraints: 100078
1353.97/1357.49 c #Conflicts: 675000 | #Constraints: 101078
1353.97/1357.49 c #Conflicts: 676000 | #Constraints: 102078
1353.97/1357.49 c #Conflicts: 677000 | #Constraints: 103078
1353.97/1357.49 c #Conflicts: 678000 | #Constraints: 104078
1353.97/1357.49 c #Conflicts: 679000 | #Constraints: 105078
1353.97/1357.49 c #Conflicts: 680000 | #Constraints: 106078
1353.97/1357.49 c #Conflicts: 681000 | #Constraints: 107078
1353.97/1357.49 c #Conflicts: 682000 | #Constraints: 108078
1353.97/1357.49 c #Conflicts: 683000 | #Constraints: 109078
1353.97/1357.49 c #Conflicts: 684000 | #Constraints: 110078
1353.97/1357.49 c #Conflicts: 685000 | #Constraints: 111078
1353.97/1357.49 c #Conflicts: 686000 | #Constraints: 112078
1353.97/1357.49 c #Conflicts: 687000 | #Constraints: 113078
1353.97/1357.49 c #Conflicts: 688000 | #Constraints: 114078
1353.97/1357.49 c INPROCESSING
1353.97/1357.49 c GARBAGE COLLECT
1353.97/1357.49 c #Conflicts: 689000 | #Constraints: 98699
1353.97/1357.49 c #Conflicts: 690000 | #Constraints: 99699
1353.97/1357.49 c #Conflicts: 691000 | #Constraints: 100699
1353.97/1357.49 c #Conflicts: 692000 | #Constraints: 101699
1353.97/1357.49 c #Conflicts: 693000 | #Constraints: 102699
1353.97/1357.49 c #Conflicts: 694000 | #Constraints: 103699
1353.97/1357.49 c #Conflicts: 695000 | #Constraints: 104699
1353.97/1357.49 c #Conflicts: 696000 | #Constraints: 105699
1353.97/1357.49 c #Conflicts: 697000 | #Constraints: 106699
1353.97/1357.49 c #Conflicts: 698000 | #Constraints: 107699
1353.97/1357.49 c #Conflicts: 699000 | #Constraints: 108699
1353.97/1357.49 c #Conflicts: 700000 | #Constraints: 109699
1353.97/1357.49 c #Conflicts: 701000 | #Constraints: 110699
1353.97/1357.49 c #Conflicts: 702000 | #Constraints: 111699
1353.97/1357.49 c #Conflicts: 703000 | #Constraints: 112699
1353.97/1357.49 c #Conflicts: 704000 | #Constraints: 113699
1353.97/1357.49 c #Conflicts: 705000 | #Constraints: 114699
1353.97/1357.49 c INPROCESSING
1353.97/1357.49 c GARBAGE COLLECT
1353.97/1357.49 c #Conflicts: 706000 | #Constraints: 99103
1353.97/1357.49 c #Conflicts: 707000 | #Constraints: 100103
1353.97/1357.49 c #Conflicts: 708000 | #Constraints: 101103
1353.97/1357.49 c #Conflicts: 709000 | #Constraints: 102103
1353.97/1357.49 c #Conflicts: 710000 | #Constraints: 103103
1353.97/1357.49 c #Conflicts: 711000 | #Constraints: 104103
1353.97/1357.49 c #Conflicts: 712000 | #Constraints: 105103
1353.97/1357.49 c #Conflicts: 713000 | #Constraints: 106103
1353.97/1357.49 c #Conflicts: 714000 | #Constraints: 107103
1353.97/1357.49 c #Conflicts: 715000 | #Constraints: 108103
1353.97/1357.49 c #Conflicts: 716000 | #Constraints: 109103
1353.97/1357.49 c #Conflicts: 717000 | #Constraints: 110103
1353.97/1357.49 c #Conflicts: 718000 | #Constraints: 111103
1353.97/1357.49 c #Conflicts: 719000 | #Constraints: 112103
1353.97/1357.49 c #Conflicts: 720000 | #Constraints: 113103
1353.97/1357.49 c #Conflicts: 721000 | #Constraints: 114103
1353.97/1357.49 c #Conflicts: 722000 | #Constraints: 115103
1353.97/1357.49 c INPROCESSING
1353.97/1357.49 c GARBAGE COLLECT
1353.97/1357.49 c #Conflicts: 723000 | #Constraints: 99286
1353.97/1357.49 c #Conflicts: 724000 | #Constraints: 100286
1353.97/1357.49 c #Conflicts: 725000 | #Constraints: 101286
1353.97/1357.49 c #Conflicts: 726000 | #Constraints: 102286
1353.97/1357.49 c #Conflicts: 727000 | #Constraints: 103286
1541.62/1545.59 c #Conflicts: 728000 | #Constraints: 104286
1541.62/1545.59 c #Conflicts: 729000 | #Constraints: 105286
1541.62/1545.59 c #Conflicts: 730000 | #Constraints: 106286
1541.62/1545.59 c #Conflicts: 731000 | #Constraints: 107286
1541.62/1545.59 c #Conflicts: 732000 | #Constraints: 108286
1541.62/1545.59 c #Conflicts: 733000 | #Constraints: 109286
1541.62/1545.59 c #Conflicts: 734000 | #Constraints: 110286
1541.62/1545.59 c #Conflicts: 735000 | #Constraints: 111286
1541.62/1545.59 c #Conflicts: 736000 | #Constraints: 112286
1541.62/1545.59 c #Conflicts: 737000 | #Constraints: 113286
1541.62/1545.59 c #Conflicts: 738000 | #Constraints: 114286
1541.62/1545.59 c #Conflicts: 739000 | #Constraints: 115286
1541.62/1545.59 c INPROCESSING
1541.62/1545.59 c GARBAGE COLLECT
1541.62/1545.59 c #Conflicts: 740000 | #Constraints: 99299
1541.62/1545.59 c #Conflicts: 741000 | #Constraints: 100299
1541.62/1545.59 c #Conflicts: 742000 | #Constraints: 101299
1541.62/1545.59 c #Conflicts: 743000 | #Constraints: 102299
1541.62/1545.59 c #Conflicts: 744000 | #Constraints: 103299
1541.62/1545.59 c #Conflicts: 745000 | #Constraints: 104299
1541.62/1545.59 c #Conflicts: 746000 | #Constraints: 105299
1541.62/1545.59 c #Conflicts: 747000 | #Constraints: 106299
1541.62/1545.59 c #Conflicts: 748000 | #Constraints: 107299
1541.62/1545.59 c #Conflicts: 749000 | #Constraints: 108299
1541.62/1545.59 c #Conflicts: 750000 | #Constraints: 109299
1541.62/1545.59 c #Conflicts: 751000 | #Constraints: 110299
1541.62/1545.59 c #Conflicts: 752000 | #Constraints: 111299
1541.62/1545.59 c #Conflicts: 753000 | #Constraints: 112299
1541.62/1545.59 c #Conflicts: 754000 | #Constraints: 113299
1541.62/1545.59 c #Conflicts: 755000 | #Constraints: 114299
1541.62/1545.59 c #Conflicts: 756000 | #Constraints: 115299
1541.62/1545.59 c INPROCESSING
1541.62/1545.59 c GARBAGE COLLECT
1541.62/1545.59 c #Conflicts: 757000 | #Constraints: 99076
1541.62/1545.59 c #Conflicts: 758000 | #Constraints: 100076
1541.62/1545.59 c #Conflicts: 759000 | #Constraints: 101076
1541.62/1545.59 c #Conflicts: 760000 | #Constraints: 102076
1541.62/1545.59 c #Conflicts: 761000 | #Constraints: 103076
1541.62/1545.59 c #Conflicts: 762000 | #Constraints: 104076
1541.62/1545.59 c #Conflicts: 763000 | #Constraints: 105076
1541.62/1545.59 c #Conflicts: 764000 | #Constraints: 106076
1541.62/1545.59 c #Conflicts: 765000 | #Constraints: 107076
1541.62/1545.59 c #Conflicts: 766000 | #Constraints: 108076
1541.62/1545.59 c #Conflicts: 767000 | #Constraints: 109076
1541.62/1545.59 c #Conflicts: 768000 | #Constraints: 110076
1541.62/1545.59 c #Conflicts: 769000 | #Constraints: 111076
1541.62/1545.59 c #Conflicts: 770000 | #Constraints: 112076
1541.62/1545.59 c #Conflicts: 771000 | #Constraints: 113076
1541.62/1545.59 c #Conflicts: 772000 | #Constraints: 114076
1541.62/1545.59 c #Conflicts: 773000 | #Constraints: 115076
1541.62/1545.59 c #Conflicts: 774000 | #Constraints: 116076
1541.62/1545.59 c INPROCESSING
1541.62/1545.59 c GARBAGE COLLECT
1541.62/1545.59 c #Conflicts: 775000 | #Constraints: 99686
1541.62/1545.59 c #Conflicts: 776000 | #Constraints: 100686
1541.62/1545.59 c #Conflicts: 777000 | #Constraints: 101686
1541.62/1545.59 c #Conflicts: 778000 | #Constraints: 102686
1541.62/1545.59 c #Conflicts: 779000 | #Constraints: 103686
1541.62/1545.59 c #Conflicts: 780000 | #Constraints: 104686
1541.62/1545.59 c #Conflicts: 781000 | #Constraints: 105686
1541.62/1545.59 c #Conflicts: 782000 | #Constraints: 106686
1541.62/1545.59 c #Conflicts: 783000 | #Constraints: 107686
1541.62/1545.59 c #Conflicts: 784000 | #Constraints: 108686
1541.62/1545.59 c #Conflicts: 785000 | #Constraints: 109686
1541.62/1545.59 c #Conflicts: 786000 | #Constraints: 110686
1541.62/1545.59 c #Conflicts: 787000 | #Constraints: 111686
1541.62/1545.59 c #Conflicts: 788000 | #Constraints: 112686
1541.62/1545.59 c #Conflicts: 789000 | #Constraints: 113686
1541.62/1545.59 c #Conflicts: 790000 | #Constraints: 114686
1541.62/1545.59 c #Conflicts: 791000 | #Constraints: 115686
1541.62/1545.59 c #Conflicts: 792000 | #Constraints: 116686
1541.62/1545.59 c INPROCESSING
1541.62/1545.59 c GARBAGE COLLECT
1541.62/1545.59 c #Conflicts: 793000 | #Constraints: 100101
1541.62/1545.59 c #Conflicts: 794000 | #Constraints: 101101
1541.62/1545.59 c #Conflicts: 795000 | #Constraints: 102101
1541.62/1545.59 c #Conflicts: 796000 | #Constraints: 103101
1541.62/1545.59 c #Conflicts: 797000 | #Constraints: 104101
1541.62/1545.59 c #Conflicts: 798000 | #Constraints: 105101
1541.62/1545.59 c #Conflicts: 799000 | #Constraints: 106101
1541.62/1545.59 c #Conflicts: 800000 | #Constraints: 107101
1541.62/1545.59 c #Conflicts: 801000 | #Constraints: 108101
1541.62/1545.59 c #Conflicts: 802000 | #Constraints: 109101
1541.62/1545.59 c #Conflicts: 803000 | #Constraints: 110101
1745.34/1749.73 c #Conflicts: 804000 | #Constraints: 111101
1745.34/1749.73 c #Conflicts: 805000 | #Constraints: 112101
1745.34/1749.73 c #Conflicts: 806000 | #Constraints: 113101
1745.34/1749.73 c #Conflicts: 807000 | #Constraints: 114101
1745.34/1749.73 c #Conflicts: 808000 | #Constraints: 115101
1745.34/1749.73 c #Conflicts: 809000 | #Constraints: 116101
1745.34/1749.73 c #Conflicts: 810000 | #Constraints: 117101
1745.34/1749.73 c INPROCESSING
1745.34/1749.73 c GARBAGE COLLECT
1745.34/1749.73 c #Conflicts: 811000 | #Constraints: 100296
1745.34/1749.73 c #Conflicts: 812000 | #Constraints: 101296
1745.34/1749.73 c #Conflicts: 813000 | #Constraints: 102296
1745.34/1749.73 c #Conflicts: 814000 | #Constraints: 103296
1745.34/1749.73 c #Conflicts: 815000 | #Constraints: 104296
1745.34/1749.73 c #Conflicts: 816000 | #Constraints: 105296
1745.34/1749.73 c #Conflicts: 817000 | #Constraints: 106296
1745.34/1749.73 c #Conflicts: 818000 | #Constraints: 107296
1745.34/1749.73 c #Conflicts: 819000 | #Constraints: 108296
1745.34/1749.73 c #Conflicts: 820000 | #Constraints: 109296
1745.34/1749.73 c #Conflicts: 821000 | #Constraints: 110296
1745.34/1749.73 c #Conflicts: 822000 | #Constraints: 111296
1745.34/1749.73 c #Conflicts: 823000 | #Constraints: 112296
1745.34/1749.73 c #Conflicts: 824000 | #Constraints: 113296
1745.34/1749.73 c #Conflicts: 825000 | #Constraints: 114296
1745.34/1749.73 c #Conflicts: 826000 | #Constraints: 115296
1745.34/1749.73 c #Conflicts: 827000 | #Constraints: 116296
1745.34/1749.73 c #Conflicts: 828000 | #Constraints: 117296
1745.34/1749.73 c INPROCESSING
1745.34/1749.73 c GARBAGE COLLECT
1745.34/1749.73 c #Conflicts: 829000 | #Constraints: 100324
1745.34/1749.73 c #Conflicts: 830000 | #Constraints: 101324
1745.34/1749.73 c #Conflicts: 831000 | #Constraints: 102324
1745.34/1749.73 c #Conflicts: 832000 | #Constraints: 103324
1745.34/1749.73 c #Conflicts: 833000 | #Constraints: 104324
1745.34/1749.73 c #Conflicts: 834000 | #Constraints: 105324
1745.34/1749.73 c #Conflicts: 835000 | #Constraints: 106324
1745.34/1749.73 c #Conflicts: 836000 | #Constraints: 107324
1745.34/1749.73 c #Conflicts: 837000 | #Constraints: 108324
1745.34/1749.73 c #Conflicts: 838000 | #Constraints: 109324
1745.34/1749.73 c #Conflicts: 839000 | #Constraints: 110324
1745.34/1749.73 c #Conflicts: 840000 | #Constraints: 111324
1745.34/1749.73 c #Conflicts: 841000 | #Constraints: 112324
1745.34/1749.73 c #Conflicts: 842000 | #Constraints: 113324
1745.34/1749.73 c #Conflicts: 843000 | #Constraints: 114324
1745.34/1749.73 c #Conflicts: 844000 | #Constraints: 115324
1745.34/1749.73 c #Conflicts: 845000 | #Constraints: 116324
1745.34/1749.73 c #Conflicts: 846000 | #Constraints: 117324
1745.34/1749.73 c INPROCESSING
1745.34/1749.73 c GARBAGE COLLECT
1745.34/1749.73 c #Conflicts: 847000 | #Constraints: 100120
1745.34/1749.73 c #Conflicts: 848000 | #Constraints: 101120
1745.34/1749.73 c #Conflicts: 849000 | #Constraints: 102120
1745.34/1749.73 c #Conflicts: 850000 | #Constraints: 103120
1745.34/1749.73 c #Conflicts: 851000 | #Constraints: 104120
1745.34/1749.73 c #Conflicts: 852000 | #Constraints: 105120
1745.34/1749.73 c #Conflicts: 853000 | #Constraints: 106120
1745.34/1749.73 c #Conflicts: 854000 | #Constraints: 107120
1745.34/1749.73 c #Conflicts: 855000 | #Constraints: 108120
1745.34/1749.73 c #Conflicts: 856000 | #Constraints: 109120
1745.34/1749.73 c #Conflicts: 857000 | #Constraints: 110120
1745.34/1749.73 c #Conflicts: 858000 | #Constraints: 111120
1745.34/1749.73 c #Conflicts: 859000 | #Constraints: 112120
1745.34/1749.73 c #Conflicts: 860000 | #Constraints: 113120
1745.34/1749.73 c #Conflicts: 861000 | #Constraints: 114120
1745.34/1749.73 c #Conflicts: 862000 | #Constraints: 115120
1745.34/1749.73 c #Conflicts: 863000 | #Constraints: 116120
1745.34/1749.73 c #Conflicts: 864000 | #Constraints: 117120
1745.34/1749.73 c #Conflicts: 865000 | #Constraints: 118120
1745.34/1749.73 c INPROCESSING
1745.34/1749.73 c GARBAGE COLLECT
1745.34/1749.73 c #Conflicts: 866000 | #Constraints: 100702
1745.34/1749.73 c #Conflicts: 867000 | #Constraints: 101702
1745.34/1749.73 c #Conflicts: 868000 | #Constraints: 102702
1745.34/1749.73 c #Conflicts: 869000 | #Constraints: 103702
1745.34/1749.73 c #Conflicts: 870000 | #Constraints: 104702
1745.34/1749.73 c #Conflicts: 871000 | #Constraints: 105702
1745.34/1749.73 c #Conflicts: 872000 | #Constraints: 106702
1745.34/1749.73 c #Conflicts: 873000 | #Constraints: 107702
1745.34/1749.73 c #Conflicts: 874000 | #Constraints: 108702
1745.34/1749.73 c #Conflicts: 875000 | #Constraints: 109702
1745.34/1749.73 c #Conflicts: 876000 | #Constraints: 110702
1745.34/1749.73 c #Conflicts: 877000 | #Constraints: 111702
1745.34/1749.73 c #Conflicts: 878000 | #Constraints: 112702
1745.34/1749.73 c #Conflicts: 879000 | #Constraints: 113702
1745.34/1749.73 c #Conflicts: 880000 | #Constraints: 114702
1956.04/1960.91 c #Conflicts: 881000 | #Constraints: 115702
1956.04/1960.91 c #Conflicts: 882000 | #Constraints: 116702
1956.04/1960.91 c #Conflicts: 883000 | #Constraints: 117702
1956.04/1960.91 c #Conflicts: 884000 | #Constraints: 118702
1956.04/1960.91 c INPROCESSING
1956.04/1960.91 c GARBAGE COLLECT
1956.04/1960.91 c #Conflicts: 885000 | #Constraints: 101090
1956.04/1960.91 c #Conflicts: 886000 | #Constraints: 102090
1956.04/1960.91 c #Conflicts: 887000 | #Constraints: 103090
1956.04/1960.91 c #Conflicts: 888000 | #Constraints: 104090
1956.04/1960.91 c #Conflicts: 889000 | #Constraints: 105090
1956.04/1960.91 c #Conflicts: 890000 | #Constraints: 106090
1956.04/1960.91 c #Conflicts: 891000 | #Constraints: 107090
1956.04/1960.91 c #Conflicts: 892000 | #Constraints: 108090
1956.04/1960.91 c #Conflicts: 893000 | #Constraints: 109090
1956.04/1960.91 c #Conflicts: 894000 | #Constraints: 110090
1956.04/1960.91 c #Conflicts: 895000 | #Constraints: 111090
1956.04/1960.91 c #Conflicts: 896000 | #Constraints: 112090
1956.04/1960.91 c #Conflicts: 897000 | #Constraints: 113090
1956.04/1960.91 c #Conflicts: 898000 | #Constraints: 114090
1956.04/1960.91 c #Conflicts: 899000 | #Constraints: 115090
1956.04/1960.91 c #Conflicts: 900000 | #Constraints: 116090
1956.04/1960.91 c #Conflicts: 901000 | #Constraints: 117090
1956.04/1960.91 c #Conflicts: 902000 | #Constraints: 118090
1956.04/1960.91 c #Conflicts: 903000 | #Constraints: 119090
1956.04/1960.91 c INPROCESSING
1956.04/1960.91 c GARBAGE COLLECT
1956.04/1960.91 c #Conflicts: 904000 | #Constraints: 101313
1956.04/1960.91 c #Conflicts: 905000 | #Constraints: 102313
1956.04/1960.91 c #Conflicts: 906000 | #Constraints: 103313
1956.04/1960.91 c #Conflicts: 907000 | #Constraints: 104313
1956.04/1960.91 c #Conflicts: 908000 | #Constraints: 105313
1956.04/1960.91 c #Conflicts: 909000 | #Constraints: 106313
1956.04/1960.91 c #Conflicts: 910000 | #Constraints: 107313
1956.04/1960.91 c #Conflicts: 911000 | #Constraints: 108313
1956.04/1960.91 c #Conflicts: 912000 | #Constraints: 109313
1956.04/1960.91 c #Conflicts: 913000 | #Constraints: 110313
1956.04/1960.91 c #Conflicts: 914000 | #Constraints: 111313
1956.04/1960.91 c #Conflicts: 915000 | #Constraints: 112313
1956.04/1960.91 c #Conflicts: 916000 | #Constraints: 113313
1956.04/1960.91 c #Conflicts: 917000 | #Constraints: 114313
1956.04/1960.91 c #Conflicts: 918000 | #Constraints: 115313
1956.04/1960.91 c #Conflicts: 919000 | #Constraints: 116313
1956.04/1960.91 c #Conflicts: 920000 | #Constraints: 117313
1956.04/1960.91 c #Conflicts: 921000 | #Constraints: 118313
1956.04/1960.91 c #Conflicts: 922000 | #Constraints: 119313
1956.04/1960.91 c INPROCESSING
1956.04/1960.91 c GARBAGE COLLECT
1956.04/1960.91 c #Conflicts: 923000 | #Constraints: 101305
1956.04/1960.91 c #Conflicts: 924000 | #Constraints: 102305
1956.04/1960.91 c #Conflicts: 925000 | #Constraints: 103305
1956.04/1960.91 c #Conflicts: 926000 | #Constraints: 104305
1956.04/1960.91 c #Conflicts: 927000 | #Constraints: 105305
1956.04/1960.91 c #Conflicts: 928000 | #Constraints: 106305
1956.04/1960.91 c #Conflicts: 929000 | #Constraints: 107305
1956.04/1960.91 c #Conflicts: 930000 | #Constraints: 108305
1956.04/1960.91 c #Conflicts: 931000 | #Constraints: 109305
1956.04/1960.91 c #Conflicts: 932000 | #Constraints: 110305
1956.04/1960.91 c #Conflicts: 933000 | #Constraints: 111305
1956.04/1960.91 c #Conflicts: 934000 | #Constraints: 112305
1956.04/1960.91 c #Conflicts: 935000 | #Constraints: 113305
1956.04/1960.91 c #Conflicts: 936000 | #Constraints: 114305
1956.04/1960.91 c #Conflicts: 937000 | #Constraints: 115305
1956.04/1960.91 c #Conflicts: 938000 | #Constraints: 116305
1956.04/1960.91 c #Conflicts: 939000 | #Constraints: 117305
1956.04/1960.91 c #Conflicts: 940000 | #Constraints: 118305
1956.04/1960.91 c #Conflicts: 941000 | #Constraints: 119305
1956.04/1960.91 c INPROCESSING
1956.04/1960.91 c GARBAGE COLLECT
1956.04/1960.91 c #Conflicts: 942000 | #Constraints: 101107
1956.04/1960.91 c #Conflicts: 943000 | #Constraints: 102107
1956.04/1960.91 c #Conflicts: 944000 | #Constraints: 103107
1956.04/1960.91 c #Conflicts: 945000 | #Constraints: 104107
1956.04/1960.91 c #Conflicts: 946000 | #Constraints: 105107
1956.04/1960.91 c #Conflicts: 947000 | #Constraints: 106107
1956.04/1960.91 c #Conflicts: 948000 | #Constraints: 107107
1956.04/1960.91 c #Conflicts: 949000 | #Constraints: 108107
1956.04/1960.91 c #Conflicts: 950000 | #Constraints: 109107
1956.04/1960.91 c #Conflicts: 951000 | #Constraints: 110107
1956.04/1960.91 c #Conflicts: 952000 | #Constraints: 111107
1956.04/1960.91 c #Conflicts: 953000 | #Constraints: 112107
1956.04/1960.91 c #Conflicts: 954000 | #Constraints: 113107
1956.04/1960.91 c #Conflicts: 955000 | #Constraints: 114107
1956.04/1960.91 c #Conflicts: 956000 | #Constraints: 115107
2137.49/2142.89 c #Conflicts: 957000 | #Constraints: 116107
2137.49/2142.89 c #Conflicts: 958000 | #Constraints: 117107
2137.49/2142.89 c #Conflicts: 959000 | #Constraints: 118107
2137.49/2142.89 c #Conflicts: 960000 | #Constraints: 119107
2137.49/2142.89 c #Conflicts: 961000 | #Constraints: 120107
2137.49/2142.89 c INPROCESSING
2137.49/2142.89 c GARBAGE COLLECT
2137.49/2142.89 c #Conflicts: 962000 | #Constraints: 101709
2137.49/2142.89 c #Conflicts: 963000 | #Constraints: 102709
2137.49/2142.89 c #Conflicts: 964000 | #Constraints: 103709
2137.49/2142.89 c #Conflicts: 965000 | #Constraints: 104709
2137.49/2142.89 c #Conflicts: 966000 | #Constraints: 105709
2137.49/2142.89 c #Conflicts: 967000 | #Constraints: 106709
2137.49/2142.89 c #Conflicts: 968000 | #Constraints: 107709
2137.49/2142.89 c #Conflicts: 969000 | #Constraints: 108709
2137.49/2142.89 c #Conflicts: 970000 | #Constraints: 109709
2137.49/2142.89 c #Conflicts: 971000 | #Constraints: 110709
2137.49/2142.89 c #Conflicts: 972000 | #Constraints: 111709
2137.49/2142.89 c #Conflicts: 973000 | #Constraints: 112709
2137.49/2142.89 c #Conflicts: 974000 | #Constraints: 113709
2137.49/2142.89 c #Conflicts: 975000 | #Constraints: 114709
2137.49/2142.89 c #Conflicts: 976000 | #Constraints: 115709
2137.49/2142.89 c #Conflicts: 977000 | #Constraints: 116709
2137.49/2142.89 c #Conflicts: 978000 | #Constraints: 117709
2137.49/2142.89 c #Conflicts: 979000 | #Constraints: 118709
2137.49/2142.89 c #Conflicts: 980000 | #Constraints: 119709
2137.49/2142.89 c #Conflicts: 981000 | #Constraints: 120709
2137.49/2142.89 c INPROCESSING
2137.49/2142.89 c GARBAGE COLLECT
2137.49/2142.89 c #Conflicts: 982000 | #Constraints: 102104
2137.49/2142.89 c #Conflicts: 983000 | #Constraints: 103104
2137.49/2142.89 c #Conflicts: 984000 | #Constraints: 104104
2137.49/2142.89 c #Conflicts: 985000 | #Constraints: 105104
2137.49/2142.89 c #Conflicts: 986000 | #Constraints: 106104
2137.49/2142.89 c #Conflicts: 987000 | #Constraints: 107104
2137.49/2142.89 c #Conflicts: 988000 | #Constraints: 108104
2137.49/2142.89 c #Conflicts: 989000 | #Constraints: 109104
2137.49/2142.89 c #Conflicts: 990000 | #Constraints: 110104
2137.49/2142.89 c #Conflicts: 991000 | #Constraints: 111104
2137.49/2142.89 c #Conflicts: 992000 | #Constraints: 112104
2137.49/2142.89 c #Conflicts: 993000 | #Constraints: 113104
2137.49/2142.89 c #Conflicts: 994000 | #Constraints: 114104
2137.49/2142.89 c #Conflicts: 995000 | #Constraints: 115104
2137.49/2142.89 c #Conflicts: 996000 | #Constraints: 116104
2137.49/2142.89 c #Conflicts: 997000 | #Constraints: 117104
2137.49/2142.89 c #Conflicts: 998000 | #Constraints: 118104
2137.49/2142.89 c #Conflicts: 999000 | #Constraints: 119104
2137.49/2142.89 c #Conflicts: 1000000 | #Constraints: 120104
2137.49/2142.89 c #Conflicts: 1001000 | #Constraints: 121104
2137.49/2142.89 c INPROCESSING
2137.49/2142.89 c GARBAGE COLLECT
2137.49/2142.89 c #Conflicts: 1002000 | #Constraints: 102314
2137.49/2142.89 c #Conflicts: 1003000 | #Constraints: 103314
2137.49/2142.89 c #Conflicts: 1004000 | #Constraints: 104314
2137.49/2142.89 c #Conflicts: 1005000 | #Constraints: 105314
2137.49/2142.89 c #Conflicts: 1006000 | #Constraints: 106314
2137.49/2142.89 c #Conflicts: 1007000 | #Constraints: 107314
2137.49/2142.89 c #Conflicts: 1008000 | #Constraints: 108314
2137.49/2142.89 c #Conflicts: 1009000 | #Constraints: 109314
2137.49/2142.89 c #Conflicts: 1010000 | #Constraints: 110314
2137.49/2142.89 c #Conflicts: 1011000 | #Constraints: 111314
2137.49/2142.89 c #Conflicts: 1012000 | #Constraints: 112314
2137.49/2142.89 c #Conflicts: 1013000 | #Constraints: 113314
2137.49/2142.89 c #Conflicts: 1014000 | #Constraints: 114314
2137.49/2142.89 c #Conflicts: 1015000 | #Constraints: 115314
2137.49/2142.89 c #Conflicts: 1016000 | #Constraints: 116314
2137.49/2142.89 c #Conflicts: 1017000 | #Constraints: 117314
2137.49/2142.89 c #Conflicts: 1018000 | #Constraints: 118314
2137.49/2142.89 c #Conflicts: 1019000 | #Constraints: 119314
2137.49/2142.89 c #Conflicts: 1020000 | #Constraints: 120314
2137.49/2142.89 c #Conflicts: 1021000 | #Constraints: 121314
2137.49/2142.89 c INPROCESSING
2137.49/2142.89 c GARBAGE COLLECT
2137.49/2142.89 c #Conflicts: 1022000 | #Constraints: 102342
2137.49/2142.89 c #Conflicts: 1023000 | #Constraints: 103342
2137.49/2142.89 c #Conflicts: 1024000 | #Constraints: 104342
2137.49/2142.89 c #Conflicts: 1025000 | #Constraints: 105342
2137.49/2142.89 c #Conflicts: 1026000 | #Constraints: 106342
2137.49/2142.89 c #Conflicts: 1027000 | #Constraints: 107342
2137.49/2142.89 c #Conflicts: 1028000 | #Constraints: 108342
2137.49/2142.89 c #Conflicts: 1029000 | #Constraints: 109342
2137.49/2142.89 c #Conflicts: 1030000 | #Constraints: 110342
2137.49/2142.89 c #Conflicts: 1031000 | #Constraints: 111342
2137.49/2142.89 c #Conflicts: 1032000 | #Constraints: 112342
2327.40/2333.23 c #Conflicts: 1033000 | #Constraints: 113342
2327.40/2333.23 c #Conflicts: 1034000 | #Constraints: 114342
2327.40/2333.23 c #Conflicts: 1035000 | #Constraints: 115342
2327.40/2333.23 c #Conflicts: 1036000 | #Constraints: 116342
2327.40/2333.23 c #Conflicts: 1037000 | #Constraints: 117342
2327.40/2333.23 c #Conflicts: 1038000 | #Constraints: 118342
2327.40/2333.23 c #Conflicts: 1039000 | #Constraints: 119342
2327.40/2333.23 c #Conflicts: 1040000 | #Constraints: 120342
2327.40/2333.23 c #Conflicts: 1041000 | #Constraints: 121342
2327.40/2333.23 c INPROCESSING
2327.40/2333.23 c GARBAGE COLLECT
2327.40/2333.23 c #Conflicts: 1042000 | #Constraints: 102131
2327.40/2333.23 c #Conflicts: 1043000 | #Constraints: 103131
2327.40/2333.23 c #Conflicts: 1044000 | #Constraints: 104131
2327.40/2333.23 c #Conflicts: 1045000 | #Constraints: 105131
2327.40/2333.23 c #Conflicts: 1046000 | #Constraints: 106131
2327.40/2333.23 c #Conflicts: 1047000 | #Constraints: 107131
2327.40/2333.23 c #Conflicts: 1048000 | #Constraints: 108131
2327.40/2333.23 c #Conflicts: 1049000 | #Constraints: 109131
2327.40/2333.23 c #Conflicts: 1050000 | #Constraints: 110131
2327.40/2333.23 c #Conflicts: 1051000 | #Constraints: 111131
2327.40/2333.23 c #Conflicts: 1052000 | #Constraints: 112131
2327.40/2333.23 c #Conflicts: 1053000 | #Constraints: 113131
2327.40/2333.23 c #Conflicts: 1054000 | #Constraints: 114131
2327.40/2333.23 c #Conflicts: 1055000 | #Constraints: 115131
2327.40/2333.23 c #Conflicts: 1056000 | #Constraints: 116131
2327.40/2333.23 c #Conflicts: 1057000 | #Constraints: 117131
2327.40/2333.23 c #Conflicts: 1058000 | #Constraints: 118131
2327.40/2333.23 c #Conflicts: 1059000 | #Constraints: 119131
2327.40/2333.23 c #Conflicts: 1060000 | #Constraints: 120131
2327.40/2333.23 c #Conflicts: 1061000 | #Constraints: 121131
2327.40/2333.23 c #Conflicts: 1062000 | #Constraints: 122131
2327.40/2333.23 c INPROCESSING
2327.40/2333.23 c GARBAGE COLLECT
2327.40/2333.23 c #Conflicts: 1063000 | #Constraints: 102725
2327.40/2333.23 c #Conflicts: 1064000 | #Constraints: 103725
2327.40/2333.23 c #Conflicts: 1065000 | #Constraints: 104725
2327.40/2333.23 c #Conflicts: 1066000 | #Constraints: 105725
2327.40/2333.23 c #Conflicts: 1067000 | #Constraints: 106725
2327.40/2333.23 c #Conflicts: 1068000 | #Constraints: 107725
2327.40/2333.23 c #Conflicts: 1069000 | #Constraints: 108725
2327.40/2333.23 c #Conflicts: 1070000 | #Constraints: 109725
2327.40/2333.23 c #Conflicts: 1071000 | #Constraints: 110725
2327.40/2333.23 c #Conflicts: 1072000 | #Constraints: 111725
2327.40/2333.23 c #Conflicts: 1073000 | #Constraints: 112725
2327.40/2333.23 c #Conflicts: 1074000 | #Constraints: 113725
2327.40/2333.23 c #Conflicts: 1075000 | #Constraints: 114725
2327.40/2333.23 c #Conflicts: 1076000 | #Constraints: 115725
2327.40/2333.23 c #Conflicts: 1077000 | #Constraints: 116725
2327.40/2333.23 c #Conflicts: 1078000 | #Constraints: 117725
2327.40/2333.23 c #Conflicts: 1079000 | #Constraints: 118725
2327.40/2333.23 c #Conflicts: 1080000 | #Constraints: 119725
2327.40/2333.23 c #Conflicts: 1081000 | #Constraints: 120725
2327.40/2333.23 c #Conflicts: 1082000 | #Constraints: 121725
2327.40/2333.23 c #Conflicts: 1083000 | #Constraints: 122725
2327.40/2333.23 c INPROCESSING
2327.40/2333.23 c GARBAGE COLLECT
2327.40/2333.23 c #Conflicts: 1084000 | #Constraints: 103100
2327.40/2333.23 c #Conflicts: 1085000 | #Constraints: 104100
2327.40/2333.23 c #Conflicts: 1086000 | #Constraints: 105100
2327.40/2333.23 c #Conflicts: 1087000 | #Constraints: 106100
2327.40/2333.23 c #Conflicts: 1088000 | #Constraints: 107100
2327.40/2333.23 c #Conflicts: 1089000 | #Constraints: 108100
2327.40/2333.23 c #Conflicts: 1090000 | #Constraints: 109100
2327.40/2333.23 c #Conflicts: 1091000 | #Constraints: 110100
2327.40/2333.23 c #Conflicts: 1092000 | #Constraints: 111100
2327.40/2333.23 c #Conflicts: 1093000 | #Constraints: 112100
2327.40/2333.23 c #Conflicts: 1094000 | #Constraints: 113100
2327.40/2333.23 c #Conflicts: 1095000 | #Constraints: 114100
2327.40/2333.23 c #Conflicts: 1096000 | #Constraints: 115100
2327.40/2333.23 c #Conflicts: 1097000 | #Constraints: 116100
2327.40/2333.23 c #Conflicts: 1098000 | #Constraints: 117100
2327.40/2333.23 c #Conflicts: 1099000 | #Constraints: 118100
2327.40/2333.23 c #Conflicts: 1100000 | #Constraints: 119100
2327.40/2333.23 c #Conflicts: 1101000 | #Constraints: 120100
2327.40/2333.23 c #Conflicts: 1102000 | #Constraints: 121100
2327.40/2333.23 c #Conflicts: 1103000 | #Constraints: 122100
2327.40/2333.23 c #Conflicts: 1104000 | #Constraints: 123100
2327.40/2333.23 c INPROCESSING
2327.40/2333.23 c GARBAGE COLLECT
2327.40/2333.23 c #Conflicts: 1105000 | #Constraints: 103343
2327.40/2333.23 c #Conflicts: 1106000 | #Constraints: 104343
2327.40/2333.23 c #Conflicts: 1107000 | #Constraints: 105343
2327.40/2333.23 c #Conflicts: 1108000 | #Constraints: 106343
2546.74/2553.14 c #Conflicts: 1109000 | #Constraints: 107343
2546.74/2553.14 c #Conflicts: 1110000 | #Constraints: 108343
2546.74/2553.14 c #Conflicts: 1111000 | #Constraints: 109343
2546.74/2553.14 c #Conflicts: 1112000 | #Constraints: 110343
2546.74/2553.14 c #Conflicts: 1113000 | #Constraints: 111343
2546.74/2553.14 c #Conflicts: 1114000 | #Constraints: 112343
2546.74/2553.14 c #Conflicts: 1115000 | #Constraints: 113343
2546.74/2553.14 c #Conflicts: 1116000 | #Constraints: 114343
2546.74/2553.14 c #Conflicts: 1117000 | #Constraints: 115343
2546.74/2553.14 c #Conflicts: 1118000 | #Constraints: 116343
2546.74/2553.14 c #Conflicts: 1119000 | #Constraints: 117343
2546.74/2553.14 c #Conflicts: 1120000 | #Constraints: 118343
2546.74/2553.14 c #Conflicts: 1121000 | #Constraints: 119343
2546.74/2553.14 c #Conflicts: 1122000 | #Constraints: 120343
2546.74/2553.14 c #Conflicts: 1123000 | #Constraints: 121343
2546.74/2553.14 c #Conflicts: 1124000 | #Constraints: 122343
2546.74/2553.14 c #Conflicts: 1125000 | #Constraints: 123343
2546.74/2553.14 c INPROCESSING
2546.74/2553.14 c GARBAGE COLLECT
2546.74/2553.14 c #Conflicts: 1126000 | #Constraints: 103335
2546.74/2553.14 c #Conflicts: 1127000 | #Constraints: 104335
2546.74/2553.14 c #Conflicts: 1128000 | #Constraints: 105335
2546.74/2553.14 c #Conflicts: 1129000 | #Constraints: 106335
2546.74/2553.14 c #Conflicts: 1130000 | #Constraints: 107335
2546.74/2553.14 c #Conflicts: 1131000 | #Constraints: 108335
2546.74/2553.14 c #Conflicts: 1132000 | #Constraints: 109335
2546.74/2553.14 c #Conflicts: 1133000 | #Constraints: 110335
2546.74/2553.14 c #Conflicts: 1134000 | #Constraints: 111335
2546.74/2553.14 c #Conflicts: 1135000 | #Constraints: 112335
2546.74/2553.14 c #Conflicts: 1136000 | #Constraints: 113335
2546.74/2553.14 c #Conflicts: 1137000 | #Constraints: 114335
2546.74/2553.14 c #Conflicts: 1138000 | #Constraints: 115335
2546.74/2553.14 c #Conflicts: 1139000 | #Constraints: 116335
2546.74/2553.14 c #Conflicts: 1140000 | #Constraints: 117335
2546.74/2553.14 c #Conflicts: 1141000 | #Constraints: 118335
2546.74/2553.14 c #Conflicts: 1142000 | #Constraints: 119335
2546.74/2553.14 c #Conflicts: 1143000 | #Constraints: 120335
2546.74/2553.14 c #Conflicts: 1144000 | #Constraints: 121335
2546.74/2553.14 c #Conflicts: 1145000 | #Constraints: 122335
2546.74/2553.14 c #Conflicts: 1146000 | #Constraints: 123335
2546.74/2553.14 c INPROCESSING
2546.74/2553.14 c GARBAGE COLLECT
2546.74/2553.14 c #Conflicts: 1147000 | #Constraints: 103140
2546.74/2553.14 c #Conflicts: 1148000 | #Constraints: 104140
2546.74/2553.14 c #Conflicts: 1149000 | #Constraints: 105140
2546.74/2553.14 c #Conflicts: 1150000 | #Constraints: 106140
2546.74/2553.14 c #Conflicts: 1151000 | #Constraints: 107140
2546.74/2553.14 c #Conflicts: 1152000 | #Constraints: 108140
2546.74/2553.14 c #Conflicts: 1153000 | #Constraints: 109140
2546.74/2553.14 c #Conflicts: 1154000 | #Constraints: 110140
2546.74/2553.14 c #Conflicts: 1155000 | #Constraints: 111140
2546.74/2553.14 c #Conflicts: 1156000 | #Constraints: 112140
2546.74/2553.14 c #Conflicts: 1157000 | #Constraints: 113140
2546.74/2553.14 c #Conflicts: 1158000 | #Constraints: 114140
2546.74/2553.14 c #Conflicts: 1159000 | #Constraints: 115140
2546.74/2553.14 c #Conflicts: 1160000 | #Constraints: 116140
2546.74/2553.14 c #Conflicts: 1161000 | #Constraints: 117140
2546.74/2553.14 c #Conflicts: 1162000 | #Constraints: 118140
2546.74/2553.14 c #Conflicts: 1163000 | #Constraints: 119140
2546.74/2553.14 c #Conflicts: 1164000 | #Constraints: 120140
2546.74/2553.14 c #Conflicts: 1165000 | #Constraints: 121140
2546.74/2553.14 c #Conflicts: 1166000 | #Constraints: 122140
2546.74/2553.14 c #Conflicts: 1167000 | #Constraints: 123140
2546.74/2553.14 c #Conflicts: 1168000 | #Constraints: 124140
2546.74/2553.14 c INPROCESSING
2546.74/2553.14 c GARBAGE COLLECT
2546.74/2553.14 c #Conflicts: 1169000 | #Constraints: 103752
2546.74/2553.14 c #Conflicts: 1170000 | #Constraints: 104752
2546.74/2553.14 c #Conflicts: 1171000 | #Constraints: 105752
2546.74/2553.14 c #Conflicts: 1172000 | #Constraints: 106752
2546.74/2553.14 c #Conflicts: 1173000 | #Constraints: 107752
2546.74/2553.14 c #Conflicts: 1174000 | #Constraints: 108752
2546.74/2553.14 c #Conflicts: 1175000 | #Constraints: 109752
2546.74/2553.14 c #Conflicts: 1176000 | #Constraints: 110752
2546.74/2553.14 c #Conflicts: 1177000 | #Constraints: 111752
2546.74/2553.14 c #Conflicts: 1178000 | #Constraints: 112752
2546.74/2553.14 c #Conflicts: 1179000 | #Constraints: 113752
2546.74/2553.14 c #Conflicts: 1180000 | #Constraints: 114752
2546.74/2553.14 c #Conflicts: 1181000 | #Constraints: 115752
2546.74/2553.14 c #Conflicts: 1182000 | #Constraints: 116752
2546.74/2553.14 c #Conflicts: 1183000 | #Constraints: 117752
2546.74/2553.14 c #Conflicts: 1184000 | #Constraints: 118752
2546.74/2553.14 c #Conflicts: 1185000 | #Constraints: 119752
2761.25/2768.11 c #Conflicts: 1186000 | #Constraints: 120752
2761.25/2768.11 c #Conflicts: 1187000 | #Constraints: 121752
2761.25/2768.11 c #Conflicts: 1188000 | #Constraints: 122752
2761.25/2768.11 c #Conflicts: 1189000 | #Constraints: 123752
2761.25/2768.11 c #Conflicts: 1190000 | #Constraints: 124752
2761.25/2768.11 c INPROCESSING
2761.25/2768.11 c GARBAGE COLLECT
2761.25/2768.11 c #Conflicts: 1191000 | #Constraints: 104131
2761.25/2768.11 c #Conflicts: 1192000 | #Constraints: 105131
2761.25/2768.11 c #Conflicts: 1193000 | #Constraints: 106131
2761.25/2768.11 c #Conflicts: 1194000 | #Constraints: 107131
2761.25/2768.11 c #Conflicts: 1195000 | #Constraints: 108131
2761.25/2768.11 c #Conflicts: 1196000 | #Constraints: 109131
2761.25/2768.11 c #Conflicts: 1197000 | #Constraints: 110131
2761.25/2768.11 c #Conflicts: 1198000 | #Constraints: 111131
2761.25/2768.11 c #Conflicts: 1199000 | #Constraints: 112131
2761.25/2768.11 c #Conflicts: 1200000 | #Constraints: 113131
2761.25/2768.11 c #Conflicts: 1201000 | #Constraints: 114131
2761.25/2768.11 c #Conflicts: 1202000 | #Constraints: 115131
2761.25/2768.11 c #Conflicts: 1203000 | #Constraints: 116131
2761.25/2768.11 c #Conflicts: 1204000 | #Constraints: 117131
2761.25/2768.11 c #Conflicts: 1205000 | #Constraints: 118131
2761.25/2768.11 c #Conflicts: 1206000 | #Constraints: 119131
2761.25/2768.11 c #Conflicts: 1207000 | #Constraints: 120131
2761.25/2768.11 c #Conflicts: 1208000 | #Constraints: 121131
2761.25/2768.11 c #Conflicts: 1209000 | #Constraints: 122131
2761.25/2768.11 c #Conflicts: 1210000 | #Constraints: 123131
2761.25/2768.11 c #Conflicts: 1211000 | #Constraints: 124131
2761.25/2768.11 c #Conflicts: 1212000 | #Constraints: 125131
2761.25/2768.11 c INPROCESSING
2761.25/2768.11 c GARBAGE COLLECT
2761.25/2768.11 c #Conflicts: 1213000 | #Constraints: 104324
2761.25/2768.11 c #Conflicts: 1214000 | #Constraints: 105324
2761.25/2768.11 c #Conflicts: 1215000 | #Constraints: 106324
2761.25/2768.11 c #Conflicts: 1216000 | #Constraints: 107324
2761.25/2768.11 c #Conflicts: 1217000 | #Constraints: 108324
2761.25/2768.11 c #Conflicts: 1218000 | #Constraints: 109324
2761.25/2768.11 c #Conflicts: 1219000 | #Constraints: 110324
2761.25/2768.11 c #Conflicts: 1220000 | #Constraints: 111324
2761.25/2768.11 c #Conflicts: 1221000 | #Constraints: 112324
2761.25/2768.11 c #Conflicts: 1222000 | #Constraints: 113324
2761.25/2768.11 c #Conflicts: 1223000 | #Constraints: 114324
2761.25/2768.11 c #Conflicts: 1224000 | #Constraints: 115324
2761.25/2768.11 c #Conflicts: 1225000 | #Constraints: 116324
2761.25/2768.11 c #Conflicts: 1226000 | #Constraints: 117324
2761.25/2768.11 c #Conflicts: 1227000 | #Constraints: 118324
2761.25/2768.11 c #Conflicts: 1228000 | #Constraints: 119324
2761.25/2768.11 c #Conflicts: 1229000 | #Constraints: 120324
2761.25/2768.11 c #Conflicts: 1230000 | #Constraints: 121324
2761.25/2768.11 c #Conflicts: 1231000 | #Constraints: 122324
2761.25/2768.11 c #Conflicts: 1232000 | #Constraints: 123324
2761.25/2768.11 c #Conflicts: 1233000 | #Constraints: 124324
2761.25/2768.11 c #Conflicts: 1234000 | #Constraints: 125324
2761.25/2768.11 c INPROCESSING
2761.25/2768.11 c GARBAGE COLLECT
2761.25/2768.11 c #Conflicts: 1235000 | #Constraints: 104324
2761.25/2768.11 c #Conflicts: 1236000 | #Constraints: 105324
2761.25/2768.11 c #Conflicts: 1237000 | #Constraints: 106324
2761.25/2768.11 c #Conflicts: 1238000 | #Constraints: 107324
2761.25/2768.11 c #Conflicts: 1239000 | #Constraints: 108324
2761.25/2768.11 c #Conflicts: 1240000 | #Constraints: 109324
2761.25/2768.11 c #Conflicts: 1241000 | #Constraints: 110324
2761.25/2768.11 c #Conflicts: 1242000 | #Constraints: 111324
2761.25/2768.11 c #Conflicts: 1243000 | #Constraints: 112324
2761.25/2768.11 c #Conflicts: 1244000 | #Constraints: 113324
2761.25/2768.11 c #Conflicts: 1245000 | #Constraints: 114324
2761.25/2768.11 c #Conflicts: 1246000 | #Constraints: 115324
2761.25/2768.11 c #Conflicts: 1247000 | #Constraints: 116324
2761.25/2768.11 c #Conflicts: 1248000 | #Constraints: 117324
2761.25/2768.11 c #Conflicts: 1249000 | #Constraints: 118324
2761.25/2768.11 c #Conflicts: 1250000 | #Constraints: 119324
2761.25/2768.11 c #Conflicts: 1251000 | #Constraints: 120324
2761.25/2768.11 c #Conflicts: 1252000 | #Constraints: 121324
2761.25/2768.11 c #Conflicts: 1253000 | #Constraints: 122324
2761.25/2768.11 c #Conflicts: 1254000 | #Constraints: 123324
2761.25/2768.11 c #Conflicts: 1255000 | #Constraints: 124324
2761.25/2768.11 c #Conflicts: 1256000 | #Constraints: 125324
2761.25/2768.11 c INPROCESSING
2761.25/2768.11 c GARBAGE COLLECT
2761.25/2768.11 c #Conflicts: 1257000 | #Constraints: 104117
2761.25/2768.11 c #Conflicts: 1258000 | #Constraints: 105117
2761.25/2768.11 c #Conflicts: 1259000 | #Constraints: 106117
2761.25/2768.11 c #Conflicts: 1260000 | #Constraints: 107117
2761.25/2768.11 c #Conflicts: 1261000 | #Constraints: 108117
2980.15/2987.54 c #Conflicts: 1262000 | #Constraints: 109117
2980.15/2987.54 c #Conflicts: 1263000 | #Constraints: 110117
2980.15/2987.54 c #Conflicts: 1264000 | #Constraints: 111117
2980.15/2987.54 c #Conflicts: 1265000 | #Constraints: 112117
2980.15/2987.54 c #Conflicts: 1266000 | #Constraints: 113117
2980.15/2987.54 c #Conflicts: 1267000 | #Constraints: 114117
2980.15/2987.54 c #Conflicts: 1268000 | #Constraints: 115117
2980.15/2987.54 c #Conflicts: 1269000 | #Constraints: 116117
2980.15/2987.54 c #Conflicts: 1270000 | #Constraints: 117117
2980.15/2987.54 c #Conflicts: 1271000 | #Constraints: 118117
2980.15/2987.54 c #Conflicts: 1272000 | #Constraints: 119117
2980.15/2987.54 c #Conflicts: 1273000 | #Constraints: 120117
2980.15/2987.54 c #Conflicts: 1274000 | #Constraints: 121117
2980.15/2987.54 c #Conflicts: 1275000 | #Constraints: 122117
2980.15/2987.54 c #Conflicts: 1276000 | #Constraints: 123117
2980.15/2987.54 c #Conflicts: 1277000 | #Constraints: 124117
2980.15/2987.54 c #Conflicts: 1278000 | #Constraints: 125117
2980.15/2987.54 c #Conflicts: 1279000 | #Constraints: 126117
2980.15/2987.54 c INPROCESSING
2980.15/2987.54 c GARBAGE COLLECT
2980.15/2987.54 c #Conflicts: 1280000 | #Constraints: 104714
2980.15/2987.54 c #Conflicts: 1281000 | #Constraints: 105714
2980.15/2987.54 c #Conflicts: 1282000 | #Constraints: 106714
2980.15/2987.54 c #Conflicts: 1283000 | #Constraints: 107714
2980.15/2987.54 c #Conflicts: 1284000 | #Constraints: 108714
2980.15/2987.54 c #Conflicts: 1285000 | #Constraints: 109714
2980.15/2987.54 c #Conflicts: 1286000 | #Constraints: 110714
2980.15/2987.54 c #Conflicts: 1287000 | #Constraints: 111714
2980.15/2987.54 c #Conflicts: 1288000 | #Constraints: 112714
2980.15/2987.54 c #Conflicts: 1289000 | #Constraints: 113714
2980.15/2987.54 c #Conflicts: 1290000 | #Constraints: 114714
2980.15/2987.54 c #Conflicts: 1291000 | #Constraints: 115714
2980.15/2987.54 c #Conflicts: 1292000 | #Constraints: 116714
2980.15/2987.54 c #Conflicts: 1293000 | #Constraints: 117714
2980.15/2987.54 c #Conflicts: 1294000 | #Constraints: 118714
2980.15/2987.54 c #Conflicts: 1295000 | #Constraints: 119714
2980.15/2987.54 c #Conflicts: 1296000 | #Constraints: 120714
2980.15/2987.54 c #Conflicts: 1297000 | #Constraints: 121714
2980.15/2987.54 c #Conflicts: 1298000 | #Constraints: 122714
2980.15/2987.54 c #Conflicts: 1299000 | #Constraints: 123714
2980.15/2987.54 c #Conflicts: 1300000 | #Constraints: 124714
2980.15/2987.54 c #Conflicts: 1301000 | #Constraints: 125714
2980.15/2987.54 c #Conflicts: 1302000 | #Constraints: 126714
2980.15/2987.54 c INPROCESSING
2980.15/2987.54 c GARBAGE COLLECT
2980.15/2987.54 c #Conflicts: 1303000 | #Constraints: 105127
2980.15/2987.54 c #Conflicts: 1304000 | #Constraints: 106127
2980.15/2987.54 c #Conflicts: 1305000 | #Constraints: 107127
2980.15/2987.54 c #Conflicts: 1306000 | #Constraints: 108127
2980.15/2987.54 c #Conflicts: 1307000 | #Constraints: 109127
2980.15/2987.54 c #Conflicts: 1308000 | #Constraints: 110127
2980.15/2987.54 c #Conflicts: 1309000 | #Constraints: 111127
2980.15/2987.54 c #Conflicts: 1310000 | #Constraints: 112127
2980.15/2987.54 c #Conflicts: 1311000 | #Constraints: 113127
2980.15/2987.54 c #Conflicts: 1312000 | #Constraints: 114127
2980.15/2987.54 c #Conflicts: 1313000 | #Constraints: 115127
2980.15/2987.54 c #Conflicts: 1314000 | #Constraints: 116127
2980.15/2987.54 c #Conflicts: 1315000 | #Constraints: 117127
2980.15/2987.54 c #Conflicts: 1316000 | #Constraints: 118127
2980.15/2987.54 c #Conflicts: 1317000 | #Constraints: 119127
2980.15/2987.54 c #Conflicts: 1318000 | #Constraints: 120127
2980.15/2987.54 c #Conflicts: 1319000 | #Constraints: 121127
2980.15/2987.54 c #Conflicts: 1320000 | #Constraints: 122127
2980.15/2987.54 c #Conflicts: 1321000 | #Constraints: 123127
2980.15/2987.54 c #Conflicts: 1322000 | #Constraints: 124127
2980.15/2987.54 c #Conflicts: 1323000 | #Constraints: 125127
2980.15/2987.54 c #Conflicts: 1324000 | #Constraints: 126127
2980.15/2987.54 c #Conflicts: 1325000 | #Constraints: 127127
2980.15/2987.54 c INPROCESSING
2980.15/2987.54 c GARBAGE COLLECT
2980.15/2987.54 c #Conflicts: 1326000 | #Constraints: 105322
2980.15/2987.54 c #Conflicts: 1327000 | #Constraints: 106322
2980.15/2987.54 c #Conflicts: 1328000 | #Constraints: 107322
2980.15/2987.54 c #Conflicts: 1329000 | #Constraints: 108322
2980.15/2987.54 c #Conflicts: 1330000 | #Constraints: 109322
2980.15/2987.54 c #Conflicts: 1331000 | #Constraints: 110322
2980.15/2987.54 c #Conflicts: 1332000 | #Constraints: 111322
2980.15/2987.54 c #Conflicts: 1333000 | #Constraints: 112322
2980.15/2987.54 c #Conflicts: 1334000 | #Constraints: 113322
2980.15/2987.54 c #Conflicts: 1335000 | #Constraints: 114322
2980.15/2987.54 c #Conflicts: 1336000 | #Constraints: 115322
2980.15/2987.54 c #Conflicts: 1337000 | #Constraints: 116322
2980.15/2987.54 c #Conflicts: 1338000 | #Constraints: 117322
3206.24/3214.19 c #Conflicts: 1339000 | #Constraints: 118322
3206.24/3214.19 c #Conflicts: 1340000 | #Constraints: 119322
3206.24/3214.19 c #Conflicts: 1341000 | #Constraints: 120322
3206.24/3214.19 c #Conflicts: 1342000 | #Constraints: 121322
3206.24/3214.19 c #Conflicts: 1343000 | #Constraints: 122322
3206.24/3214.19 c #Conflicts: 1344000 | #Constraints: 123322
3206.24/3214.19 c #Conflicts: 1345000 | #Constraints: 124322
3206.24/3214.19 c #Conflicts: 1346000 | #Constraints: 125322
3206.24/3214.19 c #Conflicts: 1347000 | #Constraints: 126322
3206.24/3214.19 c #Conflicts: 1348000 | #Constraints: 127322
3206.24/3214.19 c INPROCESSING
3206.24/3214.19 c GARBAGE COLLECT
3206.24/3214.19 c #Conflicts: 1349000 | #Constraints: 105315
3206.24/3214.19 c #Conflicts: 1350000 | #Constraints: 106315
3206.24/3214.19 c #Conflicts: 1351000 | #Constraints: 107315
3206.24/3214.19 c #Conflicts: 1352000 | #Constraints: 108315
3206.24/3214.19 c #Conflicts: 1353000 | #Constraints: 109315
3206.24/3214.19 c #Conflicts: 1354000 | #Constraints: 110315
3206.24/3214.19 c #Conflicts: 1355000 | #Constraints: 111315
3206.24/3214.19 c #Conflicts: 1356000 | #Constraints: 112315
3206.24/3214.19 c #Conflicts: 1357000 | #Constraints: 113315
3206.24/3214.19 c #Conflicts: 1358000 | #Constraints: 114315
3206.24/3214.19 c #Conflicts: 1359000 | #Constraints: 115315
3206.24/3214.19 c #Conflicts: 1360000 | #Constraints: 116315
3206.24/3214.19 c #Conflicts: 1361000 | #Constraints: 117315
3206.24/3214.19 c #Conflicts: 1362000 | #Constraints: 118315
3206.24/3214.19 c #Conflicts: 1363000 | #Constraints: 119315
3206.24/3214.19 c #Conflicts: 1364000 | #Constraints: 120315
3206.24/3214.19 c #Conflicts: 1365000 | #Constraints: 121315
3206.24/3214.19 c #Conflicts: 1366000 | #Constraints: 122315
3206.24/3214.19 c #Conflicts: 1367000 | #Constraints: 123315
3206.24/3214.19 c #Conflicts: 1368000 | #Constraints: 124315
3206.24/3214.19 c #Conflicts: 1369000 | #Constraints: 125315
3206.24/3214.19 c #Conflicts: 1370000 | #Constraints: 126315
3206.24/3214.19 c #Conflicts: 1371000 | #Constraints: 127315
3206.24/3214.19 c INPROCESSING
3206.24/3214.19 c GARBAGE COLLECT
3206.24/3214.19 c #Conflicts: 1372000 | #Constraints: 105099
3206.24/3214.19 c #Conflicts: 1373000 | #Constraints: 106099
3206.24/3214.19 c #Conflicts: 1374000 | #Constraints: 107099
3206.24/3214.19 c #Conflicts: 1375000 | #Constraints: 108099
3206.24/3214.19 c #Conflicts: 1376000 | #Constraints: 109099
3206.24/3214.19 c #Conflicts: 1377000 | #Constraints: 110099
3206.24/3214.19 c #Conflicts: 1378000 | #Constraints: 111099
3206.24/3214.19 c #Conflicts: 1379000 | #Constraints: 112099
3206.24/3214.19 c #Conflicts: 1380000 | #Constraints: 113099
3206.24/3214.19 c #Conflicts: 1381000 | #Constraints: 114099
3206.24/3214.19 c #Conflicts: 1382000 | #Constraints: 115099
3206.24/3214.19 c #Conflicts: 1383000 | #Constraints: 116099
3206.24/3214.19 c #Conflicts: 1384000 | #Constraints: 117099
3206.24/3214.19 c #Conflicts: 1385000 | #Constraints: 118099
3206.24/3214.19 c #Conflicts: 1386000 | #Constraints: 119099
3206.24/3214.19 c #Conflicts: 1387000 | #Constraints: 120099
3206.24/3214.19 c #Conflicts: 1388000 | #Constraints: 121099
3206.24/3214.19 c #Conflicts: 1389000 | #Constraints: 122099
3206.24/3214.19 c #Conflicts: 1390000 | #Constraints: 123099
3206.24/3214.19 c #Conflicts: 1391000 | #Constraints: 124099
3206.24/3214.19 c #Conflicts: 1392000 | #Constraints: 125099
3206.24/3214.19 c #Conflicts: 1393000 | #Constraints: 126099
3206.24/3214.19 c #Conflicts: 1394000 | #Constraints: 127099
3206.24/3214.19 c #Conflicts: 1395000 | #Constraints: 128099
3206.24/3214.19 c INPROCESSING
3206.24/3214.19 c GARBAGE COLLECT
3206.24/3214.19 c #Conflicts: 1396000 | #Constraints: 105710
3206.24/3214.19 c #Conflicts: 1397000 | #Constraints: 106710
3206.24/3214.19 c #Conflicts: 1398000 | #Constraints: 107710
3206.24/3214.19 c #Conflicts: 1399000 | #Constraints: 108710
3206.24/3214.19 c #Conflicts: 1400000 | #Constraints: 109710
3206.24/3214.19 c #Conflicts: 1401000 | #Constraints: 110710
3206.24/3214.19 c #Conflicts: 1402000 | #Constraints: 111710
3206.24/3214.19 c #Conflicts: 1403000 | #Constraints: 112710
3206.24/3214.19 c #Conflicts: 1404000 | #Constraints: 113710
3206.24/3214.19 c #Conflicts: 1405000 | #Constraints: 114710
3206.24/3214.19 c #Conflicts: 1406000 | #Constraints: 115710
3206.24/3214.19 c #Conflicts: 1407000 | #Constraints: 116710
3206.24/3214.19 c #Conflicts: 1408000 | #Constraints: 117710
3206.24/3214.19 c #Conflicts: 1409000 | #Constraints: 118710
3206.24/3214.19 c #Conflicts: 1410000 | #Constraints: 119710
3206.24/3214.19 c #Conflicts: 1411000 | #Constraints: 120710
3206.24/3214.19 c #Conflicts: 1412000 | #Constraints: 121710
3206.24/3214.19 c #Conflicts: 1413000 | #Constraints: 122710
3206.24/3214.19 c #Conflicts: 1414000 | #Constraints: 123710
3206.24/3214.19 c #Conflicts: 1415000 | #Constraints: 124710
3478.68/3487.23 c #Conflicts: 1416000 | #Constraints: 125710
3478.68/3487.23 c #Conflicts: 1417000 | #Constraints: 126710
3478.68/3487.23 c #Conflicts: 1418000 | #Constraints: 127710
3478.68/3487.23 c #Conflicts: 1419000 | #Constraints: 128710
3478.68/3487.23 c INPROCESSING
3478.68/3487.23 c GARBAGE COLLECT
3478.68/3487.23 c #Conflicts: 1420000 | #Constraints: 106120
3478.68/3487.23 c #Conflicts: 1421000 | #Constraints: 107120
3478.68/3487.23 c #Conflicts: 1422000 | #Constraints: 108120
3478.68/3487.23 c #Conflicts: 1423000 | #Constraints: 109120
3478.68/3487.23 c #Conflicts: 1424000 | #Constraints: 110120
3478.68/3487.23 c #Conflicts: 1425000 | #Constraints: 111120
3478.68/3487.23 c #Conflicts: 1426000 | #Constraints: 112120
3478.68/3487.23 c #Conflicts: 1427000 | #Constraints: 113120
3478.68/3487.23 c #Conflicts: 1428000 | #Constraints: 114120
3478.68/3487.23 c #Conflicts: 1429000 | #Constraints: 115120
3478.68/3487.23 c #Conflicts: 1430000 | #Constraints: 116120
3478.68/3487.23 c #Conflicts: 1431000 | #Constraints: 117120
3478.68/3487.23 c #Conflicts: 1432000 | #Constraints: 118120
3478.68/3487.23 c #Conflicts: 1433000 | #Constraints: 119120
3478.68/3487.23 c #Conflicts: 1434000 | #Constraints: 120120
3478.68/3487.23 c #Conflicts: 1435000 | #Constraints: 121120
3478.68/3487.23 c #Conflicts: 1436000 | #Constraints: 122120
3478.68/3487.23 c #Conflicts: 1437000 | #Constraints: 123120
3478.68/3487.23 c #Conflicts: 1438000 | #Constraints: 124120
3478.68/3487.23 c #Conflicts: 1439000 | #Constraints: 125120
3478.68/3487.23 c #Conflicts: 1440000 | #Constraints: 126120
3478.68/3487.23 c #Conflicts: 1441000 | #Constraints: 127120
3478.68/3487.23 c #Conflicts: 1442000 | #Constraints: 128120
3478.68/3487.23 c #Conflicts: 1443000 | #Constraints: 129120
3478.68/3487.23 c INPROCESSING
3478.68/3487.23 c GARBAGE COLLECT
3478.68/3487.23 c #Conflicts: 1444000 | #Constraints: 106334
3478.68/3487.23 c #Conflicts: 1445000 | #Constraints: 107334
3478.68/3487.23 c #Conflicts: 1446000 | #Constraints: 108334
3478.68/3487.23 c #Conflicts: 1447000 | #Constraints: 109334
3478.68/3487.23 c #Conflicts: 1448000 | #Constraints: 110334
3478.68/3487.23 c #Conflicts: 1449000 | #Constraints: 111334
3478.68/3487.23 c #Conflicts: 1450000 | #Constraints: 112334
3478.68/3487.23 c #Conflicts: 1451000 | #Constraints: 113334
3478.68/3487.23 c #Conflicts: 1452000 | #Constraints: 114334
3478.68/3487.23 c #Conflicts: 1453000 | #Constraints: 115334
3478.68/3487.23 c #Conflicts: 1454000 | #Constraints: 116334
3478.68/3487.23 c #Conflicts: 1455000 | #Constraints: 117334
3478.68/3487.23 c #Conflicts: 1456000 | #Constraints: 118334
3478.68/3487.23 c #Conflicts: 1457000 | #Constraints: 119334
3478.68/3487.23 c #Conflicts: 1458000 | #Constraints: 120334
3478.68/3487.23 c #Conflicts: 1459000 | #Constraints: 121334
3478.68/3487.23 c #Conflicts: 1460000 | #Constraints: 122334
3478.68/3487.23 c #Conflicts: 1461000 | #Constraints: 123334
3478.68/3487.23 c #Conflicts: 1462000 | #Constraints: 124334
3478.68/3487.23 c #Conflicts: 1463000 | #Constraints: 125334
3478.68/3487.23 c #Conflicts: 1464000 | #Constraints: 126334
3478.68/3487.23 c #Conflicts: 1465000 | #Constraints: 127334
3478.68/3487.23 c #Conflicts: 1466000 | #Constraints: 128334
3478.68/3487.23 c #Conflicts: 1467000 | #Constraints: 129334
3478.68/3487.23 c INPROCESSING
3478.68/3487.23 c GARBAGE COLLECT
3478.68/3487.23 c #Conflicts: 1468000 | #Constraints: 106340
3478.68/3487.23 c #Conflicts: 1469000 | #Constraints: 107340
3478.68/3487.23 c #Conflicts: 1470000 | #Constraints: 108340
3478.68/3487.23 c #Conflicts: 1471000 | #Constraints: 109340
3478.68/3487.23 c #Conflicts: 1472000 | #Constraints: 110340
3478.68/3487.23 c #Conflicts: 1473000 | #Constraints: 111340
3478.68/3487.23 c #Conflicts: 1474000 | #Constraints: 112340
3478.68/3487.23 c #Conflicts: 1475000 | #Constraints: 113340
3478.68/3487.23 c #Conflicts: 1476000 | #Constraints: 114340
3478.68/3487.23 c #Conflicts: 1477000 | #Constraints: 115340
3478.68/3487.23 c #Conflicts: 1478000 | #Constraints: 116340
3478.68/3487.23 c #Conflicts: 1479000 | #Constraints: 117340
3478.68/3487.23 c #Conflicts: 1480000 | #Constraints: 118340
3478.68/3487.23 c #Conflicts: 1481000 | #Constraints: 119340
3478.68/3487.23 c #Conflicts: 1482000 | #Constraints: 120340
3478.68/3487.23 c #Conflicts: 1483000 | #Constraints: 121340
3478.68/3487.23 c #Conflicts: 1484000 | #Constraints: 122340
3478.68/3487.23 c #Conflicts: 1485000 | #Constraints: 123340
3478.68/3487.23 c #Conflicts: 1486000 | #Constraints: 124340
3478.68/3487.23 c #Conflicts: 1487000 | #Constraints: 125340
3478.68/3487.23 c #Conflicts: 1488000 | #Constraints: 126340
3478.68/3487.23 c #Conflicts: 1489000 | #Constraints: 127340
3478.68/3487.23 c #Conflicts: 1490000 | #Constraints: 128340
3478.68/3487.23 c #Conflicts: 1491000 | #Constraints: 129340
3478.68/3487.23 c INPROCESSING
3478.68/3487.23 c GARBAGE COLLECT
3600.07/3608.90 c #Conflicts: 1492000 | #Constraints: 106117
3600.07/3608.90 c #Conflicts: 1493000 | #Constraints: 107117
3600.07/3608.90 c #Conflicts: 1494000 | #Constraints: 108117
3600.07/3608.90 c #Conflicts: 1495000 | #Constraints: 109117
3600.07/3608.90 c #Conflicts: 1496000 | #Constraints: 110117
3600.07/3608.90 c #Conflicts: 1497000 | #Constraints: 111117
3600.07/3608.90 c #Conflicts: 1498000 | #Constraints: 112117
3600.07/3608.90 c #Conflicts: 1499000 | #Constraints: 113117
3600.07/3608.90 c #Conflicts: 1500000 | #Constraints: 114117
3600.07/3608.90 c #Conflicts: 1501000 | #Constraints: 115117
3600.07/3608.90 c #Conflicts: 1502000 | #Constraints: 116117
3600.07/3608.90 c #Conflicts: 1503000 | #Constraints: 117117
3600.07/3608.90 c #Conflicts: 1504000 | #Constraints: 118117
3600.07/3608.90 c #Conflicts: 1505000 | #Constraints: 119117
3600.07/3608.90 c #Conflicts: 1506000 | #Constraints: 120117
3600.07/3608.90 c #Conflicts: 1507000 | #Constraints: 121117
3600.07/3608.90 c #Conflicts: 1508000 | #Constraints: 122117
3600.07/3608.90 c #Conflicts: 1509000 | #Constraints: 123117
3600.07/3608.90 c #Conflicts: 1510000 | #Constraints: 124117
3600.07/3608.90 c #Conflicts: 1511000 | #Constraints: 125117
3600.07/3608.90 c #Conflicts: 1512000 | #Constraints: 126117
3600.07/3608.90 c #Conflicts: 1513000 | #Constraints: 127117
3600.07/3608.90 c #Conflicts: 1514000 | #Constraints: 128117
3600.07/3608.90 c #Conflicts: 1515000 | #Constraints: 129117
3600.07/3608.90 c #Conflicts: 1516000 | #Constraints: 130117
3600.07/3608.90 c INPROCESSING
3600.07/3608.90 c GARBAGE COLLECT
3600.07/3608.90 c #Conflicts: 1517000 | #Constraints: 106720
3600.07/3608.90 c #Conflicts: 1518000 | #Constraints: 107720
3600.07/3608.90 c #Conflicts: 1519000 | #Constraints: 108720
3600.07/3608.90 c #Conflicts: 1520000 | #Constraints: 109720
3600.07/3608.90 c #Conflicts: 1521000 | #Constraints: 110720
3600.07/3608.90 c #Conflicts: 1522000 | #Constraints: 111720
3600.07/3608.90 c #Conflicts: 1523000 | #Constraints: 112720
3600.07/3608.90 c #Conflicts: 1524000 | #Constraints: 113720
3600.07/3608.90 c Program interrupted by user.
3600.07/3608.90 c cpu time 3592.66 s
3600.07/3608.90 c deterministic time 721944635036 7.22e+11
3600.07/3608.90 c optimization time 24.2317 s
3600.07/3608.90 c total solve time 3268.97 s
3600.07/3608.90 c core-guided solve time 3268.97 s
3600.07/3608.90 c propagation time 3102.41 s
3600.07/3608.90 c conflict analysis time 145.583 s
3600.07/3608.90 c propagations 37343904
3600.07/3608.90 c resolve steps 10870739
3600.07/3608.90 c decisions 1973243
3600.07/3608.90 c conflicts 1524934
3600.07/3608.90 c restarts 3002
3600.07/3608.90 c inprocessing phases 114
3600.07/3608.90 c input clauses 81281
3600.07/3608.90 c input cardinalities 24
3600.07/3608.90 c input general constraints 0
3600.07/3608.90 c input average constraint length 2.35
3600.07/3608.90 c input average constraint degree 1.27
3600.07/3608.90 c learned clauses 929677
3600.07/3608.90 c learned cardinalities 425203
3600.07/3608.90 c learned general constraints 170053
3600.07/3608.90 c learned average constraint length 1095.07
3600.07/3608.90 c learned average constraint degree 18.16
3600.07/3608.90 c watched constraints 170053
3600.07/3608.90 c counting constraints 0
3600.07/3608.90 c gcd simplifications 84691
3600.07/3608.90 c detected cardinalities 13339
3600.07/3608.90 c weakened non-implied lits 26109128
3600.07/3608.90 c weakened non-implying lits 64609
3600.07/3608.90 c original variables 1150
3600.07/3608.90 c clausal propagations 26155615
3600.07/3608.90 c cardinality propagations 5969147
3600.07/3608.90 c watched propagations 808550
3600.07/3608.90 c counting propagations 0
3600.07/3608.90 c watch lookups 21323545167
3600.07/3608.90 c watch backjump lookups 4586670
3600.07/3608.90 c watch checks 696136970521
3600.07/3608.90 c propagation checks 1059886638
3600.07/3608.90 c constraint additions 3339488139
3600.07/3608.90 c trail pops 40840753
3600.07/3608.90 c formula constraints 81068
3600.07/3608.90 c learned constraints 1524933
3600.07/3608.90 c bound constraints 24
3600.07/3608.90 c core-guided constraints 213
3600.07/3608.90 c encountered formula constraints 8768188
3600.07/3608.90 c encountered learned constraints 3567932
3600.07/3608.90 c encountered bound constraints 2403
3600.07/3608.90 c encountered core-guided constraints 57150
3600.07/3608.90 c LP total time 0 s
3600.07/3608.90 c LP solve time 0 s
3600.07/3608.90 c LP constraints added 0
3600.07/3608.90 c LP constraints removed 0
3600.07/3608.90 c LP pivots internal 0
3600.07/3608.90 c LP pivots root 0
3600.07/3608.90 c LP calls 0
3600.07/3608.90 c LP optimalities 0
3600.07/3608.90 c LP no pivot count 0
3600.07/3608.90 c LP infeasibilities 0
3600.07/3608.90 c LP valid Farkas constraints 0
3600.07/3608.90 c LP learned Farkas constraints 0
3600.07/3608.90 c LP basis resets 0
3600.07/3608.90 c LP cycling count 0
3600.07/3608.90 c LP singular count 0
3600.07/3608.90 c LP no primal count 0
3600.07/3608.90 c LP no farkas count 0
3600.07/3608.90 c LP other issue count 0
3600.07/3608.90 c LP Gomory cuts 0
3600.07/3608.90 c LP learned cuts 0
3600.07/3608.90 c LP deleted cuts 0
3600.07/3608.90 c LP encountered Gomory constraints 0
3600.07/3608.90 c LP encountered Farkas constraints 0
3600.07/3608.90 c LP encountered learned Farkas constraints 0
3600.07/3608.90 c CG auxiliary variables introduced 213
3600.07/3608.90 c CG solutions found 0
3600.07/3608.90 c CG cores constructed 23
3600.07/3608.90 c CG core cardinality constraints returned 0
3600.07/3608.90 c CG unit cores 0
3600.07/3608.90 c CG single cores 23
3600.07/3608.90 c CG blocks removed during cardinality reduction 0
3600.07/3608.90 c CG first core best 0
3600.07/3608.90 c CG decision core best 0
3600.07/3608.90 c CG core reduction tie 0
3600.07/3608.90 c CG core degree average 1.00
3600.07/3608.90 c CG core slack average 7.65
3600.07/3608.90 c CG exhausted 0
3600.07/3608.90 c CG exhaust time 0 s
3600.07/3608.90 c CG trimmed 0
3600.07/3608.90 c CG trim time 0.00018 s
3600.07/3608.90 c CG minimized 0
3600.07/3608.90 c CG minimize time 0 s
3600.07/3608.90 c CG am1 prop time 0.00606 s
3600.07/3608.90 c CG # am1s reformulated 213
3600.07/3608.90 c CG lower bound derived from am1s 936
3600.07/3608.90 c CG # clausal cores 23
3600.07/3608.90 c CG # cardinality cores 0
3600.07/3608.90 c CG # pb cores 0
3600.07/3608.90 c CG # pb reforms 0
3600.07/3608.90 c CG # cores discarded because of pb reform 0
3600.07/3608.90 d LOWERBOUND -191
3600.07/3608.90 d NCORES 23
3600.07/3608.90 d NPBCORES 0
3600.07/3608.90 d NPBREFORM 0
3600.07/3608.90 d NTRIMMED 0
3600.07/3608.90 d NEXHAUSTED 0
3600.07/3608.90 d NAM1S 213
3600.07/3608.90 d AM1LB 936
3600.07/3608.90 c [Papilo Statistics]
3600.07/3608.90 c prepro time 0.190101s
3600.07/3608.90 c # tsx applied 0
3600.07/3608.90 c # tsx conflicts 0
3600.07/3608.90 c # bound changes 0
3600.07/3608.90 c # side changes 0
3600.07/3608.90 c # coef changes 0
3600.07/3608.90 c # rounds 1
3600.07/3608.90 c # deted vars 0
3600.07/3608.90 c # deted constrs 0
3600.07/3608.90 c # consecutive rounds of only bound changes 0
3600.07/3608.90 s UNKNOWN
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: 63931 MiB (61479 MiB free)
memory of node 1: 64510 MiB (61421 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435522-1721060810/watcher-4435522-1721060810 -o /tmp/evaluation-result-4435522-1721060810/solver-4435522-1721060810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815229 --watchdog 3760 mixed-bag HOME/instance-4435522-1721060810.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=816359, runsolver pid=816356
[startup+0.100823 s]*
/proc/loadavg: 3.97 2.74 2.37 5/260 816360
/proc/meminfo: memFree=125842384/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=81484 memory=14236 CPUtime=0.09 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 2674 0 0 0 9 0 0 0 20 0 1 0 158240159 83439616 3559 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 20371 3559 1624 3002 0 4661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 14236 KiB
[startup+0.205595 s]*
/proc/loadavg: 3.97 2.74 2.37 5/260 816360
/proc/meminfo: memFree=125808324/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=124992 memory=48152 CPUtime=0.19 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 9550 0 0 0 18 1 0 0 20 0 1 0 158240159 127991808 12038 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 31248 12038 1730 3002 0 14999 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 124992 KiB
Current children cumulated memory: 48152 KiB
[startup+0.305652 s]*
/proc/loadavg: 3.97 2.74 2.37 5/260 816360
/proc/meminfo: memFree=125808184/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=124992 memory=48152 CPUtime=0.29 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 9550 0 0 0 28 1 0 0 20 0 1 0 158240159 127991808 12038 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 31248 12038 1730 3002 0 14999 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 124992 KiB
Current children cumulated memory: 48152 KiB
[startup+0.700223 s]
/proc/loadavg: 3.97 2.74 2.37 5/260 816360
/proc/meminfo: memFree=125722092/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=264528 memory=192572 CPUtime=0.67 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 40928 0 0 0 61 6 0 0 20 0 1 0 158240159 270876672 48143 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 66132 48143 3774 3002 0 49883 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 264528 KiB
Current children cumulated memory: 192572 KiB
[startup+1.50023 s]
/proc/loadavg: 3.97 2.74 2.37 5/260 816360
/proc/meminfo: memFree=125664472/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=398452 memory=299220 CPUtime=1.47 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 49995 0 0 0 138 9 0 0 20 0 1 0 158240159 408014848 74805 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 99613 74805 3806 3002 0 83364 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 398452 KiB
Current children cumulated memory: 299220 KiB
[startup+3.10547 s]
/proc/loadavg: 3.97 2.74 2.37 5/260 816362
/proc/meminfo: memFree=125408292/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=549416 memory=450716 CPUtime=3.07 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 70999 0 0 0 293 14 0 0 20 0 1 0 158240159 562601984 112679 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 137354 112679 4026 3002 0 121105 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 549416 KiB
Current children cumulated memory: 450716 KiB
[startup+6.30016 s]
/proc/loadavg: 3.98 2.76 2.38 5/260 816362
/proc/meminfo: memFree=125284016/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=585032 memory=475016 CPUtime=6.26 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 76103 0 0 0 611 15 0 0 20 0 1 0 158240159 599072768 118754 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 146258 118754 4026 3002 0 130009 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 585032 KiB
Current children cumulated memory: 475016 KiB
[startup+12.7002 s]
/proc/loadavg: 3.98 2.78 2.39 5/260 816363
/proc/meminfo: memFree=125279868/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=603720 memory=478412 CPUtime=12.64 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 76996 0 0 0 1249 15 0 0 20 0 1 0 158240159 618209280 119603 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 150930 119603 4026 3002 0 134681 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 603720 KiB
Current children cumulated memory: 478412 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 2.86 2.42 5/260 816365
/proc/meminfo: memFree=125190544/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=673020 memory=488848 CPUtime=25.41 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 79619 0 0 0 2525 16 0 0 20 0 1 0 158240159 689172480 122212 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 168255 122212 4026 3002 0 152006 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 673020 KiB
Current children cumulated memory: 488848 KiB
[startup+51.1055 s]
/proc/loadavg: 4.03 2.95 2.47 5/260 816368
/proc/meminfo: memFree=125057644/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=839744 memory=586216 CPUtime=50.94 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 103460 0 0 0 5075 19 0 0 20 0 1 0 158240159 859897856 146554 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 209936 146554 4042 3002 0 193687 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 839744 KiB
Current children cumulated memory: 586216 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 3.13 2.55 5/257 816546
/proc/meminfo: memFree=124717660/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=898368 memory=621576 CPUtime=102 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 120474 0 0 0 10177 23 0 0 20 0 1 0 158240159 919928832 155394 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 224592 155394 4042 3002 0 208343 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 898368 KiB
Current children cumulated memory: 621576 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.32 2.66 5/258 816559
/proc/meminfo: memFree=124111580/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=983264 memory=691284 CPUtime=161.81 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 137937 0 0 0 16156 25 0 0 20 0 1 0 158240159 1006862336 172821 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 245816 172821 4042 3002 0 229567 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 983264 KiB
Current children cumulated memory: 691284 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.46 2.75 5/261 816628
/proc/meminfo: memFree=123992984/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1051732 memory=758716 CPUtime=221.66 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 150740 0 0 0 22138 28 0 0 20 0 1 0 158240159 1076973568 189679 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 262933 189679 4042 3002 0 246684 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1051732 KiB
Current children cumulated memory: 758716 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.59 2.84 5/260 816638
/proc/meminfo: memFree=124009040/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1081884 memory=771444 CPUtime=281.52 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 160512 0 0 0 28122 30 0 0 20 0 1 0 158240159 1107849216 192861 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 270471 192861 4042 3002 0 254222 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1081884 KiB
Current children cumulated memory: 771444 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.69 2.92 5/260 816650
/proc/meminfo: memFree=124037880/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=852844 memory=595164 CPUtime=341.37 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 163450 0 0 0 34070 67 0 0 20 0 1 0 158240159 873312256 148791 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 213211 148791 4202 3002 0 196962 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 852844 KiB
Current children cumulated memory: 595164 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.78 3.00 5/259 816660
/proc/meminfo: memFree=123955348/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=883664 memory=615656 CPUtime=401.23 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 164007 0 0 0 40031 92 0 0 20 0 1 0 158240159 904871936 153914 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 220916 153914 4202 3002 0 204667 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 883664 KiB
Current children cumulated memory: 615656 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.85 3.08 5/259 816673
/proc/meminfo: memFree=123821032/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=933752 memory=629204 CPUtime=461.08 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 164381 0 0 0 45990 118 0 0 20 0 1 0 158240159 956162048 157301 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 233438 157301 4202 3002 0 217189 0
################
# More data... #
################
Current children cumulated memory: 818296 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/256 817703
/proc/meminfo: memFree=121420008/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1015140 memory=818296 CPUtime=2915.1 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 168554 0 0 0 290866 644 0 0 20 0 1 0 158240159 1039503360 204574 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 253785 204574 4202 3002 0 237536 0
Current children cumulated CPU time: 2915.1 s
Current children cumulated vsize: 1015140 KiB
Current children cumulated memory: 818296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/256 817713
/proc/meminfo: memFree=121345848/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1015140 memory=820344 CPUtime=2974.96 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 168749 0 0 0 296843 653 0 0 20 0 1 0 158240159 1039503360 205086 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 253785 205086 4202 3002 0 237536 0
Current children cumulated CPU time: 2974.96 s
Current children cumulated vsize: 1015140 KiB
Current children cumulated memory: 820344 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/256 817724
/proc/meminfo: memFree=121338940/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1015140 memory=822392 CPUtime=3034.82 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 168964 0 0 0 302819 663 0 0 20 0 1 0 158240159 1039503360 205598 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 253785 205598 4202 3002 0 237536 0
Current children cumulated CPU time: 3034.82 s
Current children cumulated vsize: 1015140 KiB
Current children cumulated memory: 822392 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/255 817734
/proc/meminfo: memFree=121240912/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1015140 memory=824440 CPUtime=3094.69 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 169159 0 0 0 308797 672 0 0 20 0 1 0 158240159 1039503360 206110 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 253785 206110 4202 3002 0 237536 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 1015140 KiB
Current children cumulated memory: 824440 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/256 817745
/proc/meminfo: memFree=121237420/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1015140 memory=824440 CPUtime=3154.55 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 169392 0 0 0 314776 679 0 0 20 0 1 0 158240159 1039503360 206110 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 253785 206110 4202 3002 0 237536 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 1015140 KiB
Current children cumulated memory: 824440 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/259 817760
/proc/meminfo: memFree=121138204/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1015140 memory=824440 CPUtime=3214.41 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 169585 0 0 0 320753 688 0 0 20 0 1 0 158240159 1039503360 206110 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 253785 206110 4202 3002 0 237536 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 1015140 KiB
Current children cumulated memory: 824440 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/259 817772
/proc/meminfo: memFree=121132480/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1015140 memory=826488 CPUtime=3274.27 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 169781 0 0 0 326732 695 0 0 20 0 1 0 158240159 1039503360 206622 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 253785 206622 4202 3002 0 237536 0
Current children cumulated CPU time: 3274.27 s
Current children cumulated vsize: 1015140 KiB
Current children cumulated memory: 826488 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/260 817783
/proc/meminfo: memFree=121119592/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1015140 memory=827320 CPUtime=3334.14 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 170176 0 0 0 332711 703 0 0 20 0 1 0 158240159 1039503360 206830 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 253785 206830 4202 3002 0 237536 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 1015140 KiB
Current children cumulated memory: 827320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.13 4.08 5/260 817839
/proc/meminfo: memFree=124235260/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1147400 memory=829804 CPUtime=3394 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 170972 0 0 0 338686 714 0 0 20 0 1 0 158240159 1174937600 207451 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 286850 207451 4202 3002 0 270601 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 1147400 KiB
Current children cumulated memory: 829804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/260 817851
/proc/meminfo: memFree=124190460/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1147400 memory=829828 CPUtime=3453.85 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 171094 0 0 0 344664 721 0 0 20 0 1 0 158240159 1174937600 207457 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 286850 207457 4202 3002 0 270601 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 1147400 KiB
Current children cumulated memory: 829828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/259 818288
/proc/meminfo: memFree=124505236/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1147400 memory=830292 CPUtime=3513.7 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 171330 0 0 0 350640 730 0 0 20 0 1 0 158240159 1174937600 207573 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 286850 207573 4202 3002 0 270601 0
Current children cumulated CPU time: 3513.7 s
Current children cumulated vsize: 1147400 KiB
Current children cumulated memory: 830292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 818345
/proc/meminfo: memFree=124905388/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1147400 memory=834492 CPUtime=3573.54 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 171515 0 0 0 356616 738 0 0 20 0 1 0 158240159 1174937600 208623 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 286850 208623 4202 3002 0 270601 0
Current children cumulated CPU time: 3573.54 s
Current children cumulated vsize: 1147400 KiB
Current children cumulated memory: 834492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 818348
/proc/meminfo: memFree=124820380/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1147400 memory=834492 CPUtime=3600.07 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 171551 0 0 0 359265 742 0 0 20 0 1 0 158240159 1174937600 208623 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 286850 208623 4202 3002 0 270601 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1147400 KiB
Current children cumulated memory: 834492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.92 s]
# the end of solver process 816359 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.67 s, system=7.43479 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 818348
/proc/meminfo: memFree=124820380/131524600 swapFree=130795544/131071996
[pid=816359] ppid=816356 vsize=1147400 memory=834492 CPUtime=3600.07 cores=4,6
/proc/816359/stat : 816359 (mixed-bag) R 816356 816359 815216 0 -1 4194304 171551 0 0 0 359265 742 0 0 20 0 1 0 158240159 1174937600 208623 134679101440 4194304 16487941 140728374579888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 18723592 18734648 38952960 140728374584343 140728374584420 140728374584420 140728374591435 0
/proc/816359/statm: 286850 208623 4202 3002 0 270601 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1147400 KiB
Current children cumulated memory: 834492 KiB
Child status: 0
Real time (s): 3608.92
CPU time (s): 3600.1
CPU user time (s): 3592.67
CPU system time (s): 7.43479
CPU usage (%): 99.7557
Max. virtual memory (cumulated for all children) (KiB): 1147400
Max. memory (cumulated for all children) (KiB): 834492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.67
system time used= 7.43479
maximum resident set size= 835364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171579
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= 82
involuntary context switches= 1302
# summary of solver processes directly reported to runsolver:
# pid: 816359
# total CPU time (s): 3600.1
# total CPU user time (s): 3592.67
# total CPU system time (s): 7.43479
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81439 second user time and 16.8367 second system time
The end
Begin job on nodeC014 at 2024-07-15 18:27:03
IDJOB=4435522
IDBENCH=146677
IDSOLVER=3066
FILE ID=nodeC014/4435522-1721060810
RUNJOBID= nodeC014-1721060594-815229
SLURM_JOB_ID= 7505507
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435522-1721060810/watcher-4435522-1721060810 -o /tmp/evaluation-result-4435522-1721060810/solver-4435522-1721060810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815229 --watchdog 3760 mixed-bag HOME/instance-4435522-1721060810.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bdb6411771ac9360fc2dcf9fc3ce2f6
RANDOM SEED=1145875301
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.959
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.142
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.824
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.028
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.904
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.980
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125850716 kB
MemAvailable: 128566304 kB
Buffers: 307004 kB
Cached: 3214980 kB
SwapCached: 12872 kB
Active: 1017808 kB
Inactive: 4096404 kB
Active(anon): 9468 kB
Inactive(anon): 1600468 kB
Active(file): 1008340 kB
Inactive(file): 2495936 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130795544 kB
Dirty: 17844 kB
Writeback: 0 kB
AnonPages: 1580420 kB
Mapped: 79624 kB
Shmem: 17384 kB
KReclaimable: 101916 kB
Slab: 193480 kB
SReclaimable: 101916 kB
SUnreclaim: 91564 kB
KernelStack: 4188 kB
PageTables: 13424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2514820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 346112 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 14262272 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC014 at 2024-07-15 19:27:12