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.38 c Papilo could not simplify the problem
0.29/0.38 c [STEP] solving with SCIP
299.67/300.54 c [STEP] preprocessing done, loading into solver
299.78/300.67 c [STEP] solving
299.78/300.67 c #variables 1151 #constraints 81068
299.78/300.67 c SMALL=int, LARGE=long long
299.78/300.67 d SCIPUB -44
299.78/300.67 c bounds - >= -1150 @ 299.512
299.78/300.67 c stratification level: 0
329.70/330.62 c bounds - >= -213 @ 299.558
329.70/330.62 c bounds - >= -212 @ 299.559
329.70/330.62 c bounds - >= -211 @ 299.559
329.70/330.62 c bounds - >= -210 @ 299.559
329.70/330.62 c bounds - >= -209 @ 299.559
329.70/330.62 c bounds - >= -208 @ 299.559
329.70/330.62 c bounds - >= -207 @ 299.559
329.70/330.62 c bounds - >= -206 @ 299.56
329.70/330.62 c bounds - >= -205 @ 299.56
329.70/330.62 c bounds - >= -204 @ 299.561
329.70/330.62 c bounds - >= -203 @ 299.561
329.70/330.62 c bounds - >= -202 @ 299.562
329.70/330.62 c bounds - >= -201 @ 299.562
329.70/330.62 c bounds - >= -200 @ 299.562
329.70/330.62 c bounds - >= -199 @ 299.562
329.70/330.62 c bounds - >= -198 @ 299.562
329.70/330.62 c bounds - >= -197 @ 299.562
329.70/330.62 c bounds - >= -196 @ 299.563
329.70/330.62 c bounds - >= -195 @ 299.563
329.70/330.62 c bounds - >= -194 @ 299.564
329.70/330.62 c bounds - >= -193 @ 299.565
329.70/330.62 c bounds - >= -192 @ 299.565
329.70/330.62 c bounds - >= -191 @ 299.565
329.70/330.62 c #Conflicts: 1000 | #Constraints: 82304
329.70/330.62 c #Conflicts: 2000 | #Constraints: 83304
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 3000 | #Constraints: 83296
329.70/330.62 c #Conflicts: 4000 | #Constraints: 84296
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 5000 | #Constraints: 83707
329.70/330.62 c #Conflicts: 6000 | #Constraints: 84707
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 7000 | #Constraints: 83708
329.70/330.62 c #Conflicts: 8000 | #Constraints: 84708
329.70/330.62 c #Conflicts: 9000 | #Constraints: 85708
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 10000 | #Constraints: 84409
329.70/330.62 c #Conflicts: 11000 | #Constraints: 85409
329.70/330.62 c #Conflicts: 12000 | #Constraints: 86409
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 13000 | #Constraints: 84857
329.70/330.62 c #Conflicts: 14000 | #Constraints: 85857
329.70/330.62 c #Conflicts: 15000 | #Constraints: 86857
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 16000 | #Constraints: 85087
329.70/330.62 c #Conflicts: 17000 | #Constraints: 86087
329.70/330.62 c #Conflicts: 18000 | #Constraints: 87087
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 19000 | #Constraints: 85105
329.70/330.62 c #Conflicts: 20000 | #Constraints: 86105
329.70/330.62 c #Conflicts: 21000 | #Constraints: 87105
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 22000 | #Constraints: 84913
329.70/330.62 c #Conflicts: 23000 | #Constraints: 85913
329.70/330.62 c #Conflicts: 24000 | #Constraints: 86913
329.70/330.62 c #Conflicts: 25000 | #Constraints: 87913
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 26000 | #Constraints: 85529
329.70/330.62 c #Conflicts: 27000 | #Constraints: 86529
329.70/330.62 c #Conflicts: 28000 | #Constraints: 87529
329.70/330.62 c #Conflicts: 29000 | #Constraints: 88529
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 30000 | #Constraints: 85932
329.70/330.62 c #Conflicts: 31000 | #Constraints: 86932
329.70/330.62 c #Conflicts: 32000 | #Constraints: 87932
329.70/330.62 c #Conflicts: 33000 | #Constraints: 88932
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 34000 | #Constraints: 86138
329.70/330.62 c #Conflicts: 35000 | #Constraints: 87138
329.70/330.62 c #Conflicts: 36000 | #Constraints: 88138
329.70/330.62 c #Conflicts: 37000 | #Constraints: 89138
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 38000 | #Constraints: 86142
329.70/330.62 c #Conflicts: 39000 | #Constraints: 87142
329.70/330.62 c #Conflicts: 40000 | #Constraints: 88142
329.70/330.62 c #Conflicts: 41000 | #Constraints: 89142
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 42000 | #Constraints: 85963
329.70/330.62 c #Conflicts: 43000 | #Constraints: 86963
329.70/330.62 c #Conflicts: 44000 | #Constraints: 87963
329.70/330.62 c #Conflicts: 45000 | #Constraints: 88963
329.70/330.62 c #Conflicts: 46000 | #Constraints: 89963
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 47000 | #Constraints: 86569
329.70/330.62 c #Conflicts: 48000 | #Constraints: 87569
329.70/330.62 c #Conflicts: 49000 | #Constraints: 88569
329.70/330.62 c #Conflicts: 50000 | #Constraints: 89569
329.70/330.62 c #Conflicts: 51000 | #Constraints: 90569
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
329.70/330.62 c #Conflicts: 52000 | #Constraints: 86961
329.70/330.62 c #Conflicts: 53000 | #Constraints: 87961
329.70/330.62 c #Conflicts: 54000 | #Constraints: 88961
329.70/330.62 c #Conflicts: 55000 | #Constraints: 89961
329.70/330.62 c #Conflicts: 56000 | #Constraints: 90961
329.70/330.62 c INPROCESSING
329.70/330.62 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 57000 | #Constraints: 87152
384.96/386.07 c #Conflicts: 58000 | #Constraints: 88152
384.96/386.07 c #Conflicts: 59000 | #Constraints: 89152
384.96/386.07 c #Conflicts: 60000 | #Constraints: 90152
384.96/386.07 c #Conflicts: 61000 | #Constraints: 91152
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 62000 | #Constraints: 87159
384.96/386.07 c #Conflicts: 63000 | #Constraints: 88159
384.96/386.07 c #Conflicts: 64000 | #Constraints: 89159
384.96/386.07 c #Conflicts: 65000 | #Constraints: 90159
384.96/386.07 c #Conflicts: 66000 | #Constraints: 91159
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 67000 | #Constraints: 86967
384.96/386.07 c #Conflicts: 68000 | #Constraints: 87967
384.96/386.07 c #Conflicts: 69000 | #Constraints: 88967
384.96/386.07 c #Conflicts: 70000 | #Constraints: 89967
384.96/386.07 c #Conflicts: 71000 | #Constraints: 90967
384.96/386.07 c #Conflicts: 72000 | #Constraints: 91967
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 73000 | #Constraints: 87577
384.96/386.07 c #Conflicts: 74000 | #Constraints: 88577
384.96/386.07 c #Conflicts: 75000 | #Constraints: 89577
384.96/386.07 c #Conflicts: 76000 | #Constraints: 90577
384.96/386.07 c #Conflicts: 77000 | #Constraints: 91577
384.96/386.07 c #Conflicts: 78000 | #Constraints: 92577
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 79000 | #Constraints: 87976
384.96/386.07 c #Conflicts: 80000 | #Constraints: 88976
384.96/386.07 c #Conflicts: 81000 | #Constraints: 89976
384.96/386.07 c #Conflicts: 82000 | #Constraints: 90976
384.96/386.07 c #Conflicts: 83000 | #Constraints: 91976
384.96/386.07 c #Conflicts: 84000 | #Constraints: 92976
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 85000 | #Constraints: 88187
384.96/386.07 c #Conflicts: 86000 | #Constraints: 89187
384.96/386.07 c #Conflicts: 87000 | #Constraints: 90187
384.96/386.07 c #Conflicts: 88000 | #Constraints: 91187
384.96/386.07 c #Conflicts: 89000 | #Constraints: 92187
384.96/386.07 c #Conflicts: 90000 | #Constraints: 93187
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 91000 | #Constraints: 88206
384.96/386.07 c #Conflicts: 92000 | #Constraints: 89206
384.96/386.07 c #Conflicts: 93000 | #Constraints: 90206
384.96/386.07 c #Conflicts: 94000 | #Constraints: 91206
384.96/386.07 c #Conflicts: 95000 | #Constraints: 92206
384.96/386.07 c #Conflicts: 96000 | #Constraints: 93206
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 97000 | #Constraints: 88008
384.96/386.07 c #Conflicts: 98000 | #Constraints: 89008
384.96/386.07 c #Conflicts: 99000 | #Constraints: 90008
384.96/386.07 c #Conflicts: 100000 | #Constraints: 91008
384.96/386.07 c #Conflicts: 101000 | #Constraints: 92008
384.96/386.07 c #Conflicts: 102000 | #Constraints: 93008
384.96/386.07 c #Conflicts: 103000 | #Constraints: 94008
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 104000 | #Constraints: 88607
384.96/386.07 c #Conflicts: 105000 | #Constraints: 89607
384.96/386.07 c #Conflicts: 106000 | #Constraints: 90607
384.96/386.07 c #Conflicts: 107000 | #Constraints: 91607
384.96/386.07 c #Conflicts: 108000 | #Constraints: 92607
384.96/386.07 c #Conflicts: 109000 | #Constraints: 93607
384.96/386.07 c #Conflicts: 110000 | #Constraints: 94607
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 111000 | #Constraints: 89018
384.96/386.07 c #Conflicts: 112000 | #Constraints: 90018
384.96/386.07 c #Conflicts: 113000 | #Constraints: 91018
384.96/386.07 c #Conflicts: 114000 | #Constraints: 92018
384.96/386.07 c #Conflicts: 115000 | #Constraints: 93018
384.96/386.07 c #Conflicts: 116000 | #Constraints: 94018
384.96/386.07 c #Conflicts: 117000 | #Constraints: 95018
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 118000 | #Constraints: 89214
384.96/386.07 c #Conflicts: 119000 | #Constraints: 90214
384.96/386.07 c #Conflicts: 120000 | #Constraints: 91214
384.96/386.07 c #Conflicts: 121000 | #Constraints: 92214
384.96/386.07 c #Conflicts: 122000 | #Constraints: 93214
384.96/386.07 c #Conflicts: 123000 | #Constraints: 94214
384.96/386.07 c #Conflicts: 124000 | #Constraints: 95214
384.96/386.07 c INPROCESSING
384.96/386.07 c GARBAGE COLLECT
384.96/386.07 c #Conflicts: 125000 | #Constraints: 89213
384.96/386.07 c #Conflicts: 126000 | #Constraints: 90213
384.96/386.07 c #Conflicts: 127000 | #Constraints: 91213
384.96/386.07 c #Conflicts: 128000 | #Constraints: 92213
453.88/455.12 c #Conflicts: 129000 | #Constraints: 93213
453.88/455.12 c #Conflicts: 130000 | #Constraints: 94213
453.88/455.12 c #Conflicts: 131000 | #Constraints: 95213
453.88/455.12 c INPROCESSING
453.88/455.12 c GARBAGE COLLECT
453.88/455.12 c #Conflicts: 132000 | #Constraints: 89003
453.88/455.12 c #Conflicts: 133000 | #Constraints: 90003
453.88/455.12 c #Conflicts: 134000 | #Constraints: 91003
453.88/455.12 c #Conflicts: 135000 | #Constraints: 92003
453.88/455.12 c #Conflicts: 136000 | #Constraints: 93003
453.88/455.12 c #Conflicts: 137000 | #Constraints: 94003
453.88/455.12 c #Conflicts: 138000 | #Constraints: 95003
453.88/455.12 c #Conflicts: 139000 | #Constraints: 96003
453.88/455.12 c INPROCESSING
453.88/455.12 c GARBAGE COLLECT
453.88/455.12 c #Conflicts: 140000 | #Constraints: 89614
453.88/455.12 c #Conflicts: 141000 | #Constraints: 90614
453.88/455.12 c #Conflicts: 142000 | #Constraints: 91614
453.88/455.12 c #Conflicts: 143000 | #Constraints: 92614
453.88/455.12 c #Conflicts: 144000 | #Constraints: 93614
453.88/455.12 c #Conflicts: 145000 | #Constraints: 94614
453.88/455.12 c #Conflicts: 146000 | #Constraints: 95614
453.88/455.12 c #Conflicts: 147000 | #Constraints: 96614
453.88/455.12 c INPROCESSING
453.88/455.12 c GARBAGE COLLECT
453.88/455.12 c #Conflicts: 148000 | #Constraints: 90015
453.88/455.12 c #Conflicts: 149000 | #Constraints: 91015
453.88/455.12 c #Conflicts: 150000 | #Constraints: 92015
453.88/455.12 c #Conflicts: 151000 | #Constraints: 93015
453.88/455.12 c #Conflicts: 152000 | #Constraints: 94015
453.88/455.12 c #Conflicts: 153000 | #Constraints: 95015
453.88/455.12 c #Conflicts: 154000 | #Constraints: 96015
453.88/455.12 c #Conflicts: 155000 | #Constraints: 97015
453.88/455.12 c INPROCESSING
453.88/455.12 c GARBAGE COLLECT
453.88/455.12 c #Conflicts: 156000 | #Constraints: 90215
453.88/455.12 c #Conflicts: 157000 | #Constraints: 91215
453.88/455.12 c #Conflicts: 158000 | #Constraints: 92215
453.88/455.12 c #Conflicts: 159000 | #Constraints: 93215
453.88/455.12 c #Conflicts: 160000 | #Constraints: 94215
453.88/455.12 c #Conflicts: 161000 | #Constraints: 95215
453.88/455.12 c #Conflicts: 162000 | #Constraints: 96215
453.88/455.12 c #Conflicts: 163000 | #Constraints: 97215
453.88/455.12 c INPROCESSING
453.88/455.12 c GARBAGE COLLECT
453.88/455.12 c #Conflicts: 164000 | #Constraints: 90208
453.88/455.12 c #Conflicts: 165000 | #Constraints: 91208
453.88/455.12 c #Conflicts: 166000 | #Constraints: 92208
453.88/455.12 c #Conflicts: 167000 | #Constraints: 93208
453.88/455.12 c #Conflicts: 168000 | #Constraints: 94208
453.88/455.12 c #Conflicts: 169000 | #Constraints: 95208
453.88/455.12 c #Conflicts: 170000 | #Constraints: 96208
453.88/455.12 c #Conflicts: 171000 | #Constraints: 97208
453.88/455.12 c INPROCESSING
453.88/455.12 c GARBAGE COLLECT
453.88/455.12 c #Conflicts: 172000 | #Constraints: 90021
453.88/455.12 c #Conflicts: 173000 | #Constraints: 91021
453.88/455.12 c #Conflicts: 174000 | #Constraints: 92021
453.88/455.12 c #Conflicts: 175000 | #Constraints: 93021
453.88/455.12 c #Conflicts: 176000 | #Constraints: 94021
453.88/455.12 c #Conflicts: 177000 | #Constraints: 95021
453.88/455.12 c #Conflicts: 178000 | #Constraints: 96021
453.88/455.12 c #Conflicts: 179000 | #Constraints: 97021
453.88/455.12 c #Conflicts: 180000 | #Constraints: 98021
453.88/455.12 c INPROCESSING
453.88/455.12 c GARBAGE COLLECT
453.88/455.12 c #Conflicts: 181000 | #Constraints: 90632
453.88/455.12 c #Conflicts: 182000 | #Constraints: 91632
453.88/455.12 c #Conflicts: 183000 | #Constraints: 92632
453.88/455.12 c #Conflicts: 184000 | #Constraints: 93632
453.88/455.12 c #Conflicts: 185000 | #Constraints: 94632
453.88/455.12 c #Conflicts: 186000 | #Constraints: 95632
453.88/455.12 c #Conflicts: 187000 | #Constraints: 96632
453.88/455.12 c #Conflicts: 188000 | #Constraints: 97632
453.88/455.12 c #Conflicts: 189000 | #Constraints: 98632
453.88/455.12 c INPROCESSING
453.88/455.12 c GARBAGE COLLECT
453.88/455.12 c #Conflicts: 190000 | #Constraints: 91013
453.88/455.12 c #Conflicts: 191000 | #Constraints: 92013
453.88/455.12 c #Conflicts: 192000 | #Constraints: 93013
453.88/455.12 c #Conflicts: 193000 | #Constraints: 94013
453.88/455.12 c #Conflicts: 194000 | #Constraints: 95013
453.88/455.12 c #Conflicts: 195000 | #Constraints: 96013
453.88/455.12 c #Conflicts: 196000 | #Constraints: 97013
453.88/455.12 c #Conflicts: 197000 | #Constraints: 98013
453.88/455.12 c #Conflicts: 198000 | #Constraints: 99013
453.88/455.12 c INPROCESSING
453.88/455.12 c GARBAGE COLLECT
453.88/455.12 c #Conflicts: 199000 | #Constraints: 91226
453.88/455.12 c #Conflicts: 200000 | #Constraints: 92226
453.88/455.12 c #Conflicts: 201000 | #Constraints: 93226
542.04/543.59 c #Conflicts: 202000 | #Constraints: 94226
542.04/543.59 c #Conflicts: 203000 | #Constraints: 95226
542.04/543.59 c #Conflicts: 204000 | #Constraints: 96226
542.04/543.59 c #Conflicts: 205000 | #Constraints: 97226
542.04/543.59 c #Conflicts: 206000 | #Constraints: 98226
542.04/543.59 c #Conflicts: 207000 | #Constraints: 99226
542.04/543.59 c INPROCESSING
542.04/543.59 c GARBAGE COLLECT
542.04/543.59 c #Conflicts: 208000 | #Constraints: 91235
542.04/543.59 c #Conflicts: 209000 | #Constraints: 92235
542.04/543.59 c #Conflicts: 210000 | #Constraints: 93235
542.04/543.59 c #Conflicts: 211000 | #Constraints: 94235
542.04/543.59 c #Conflicts: 212000 | #Constraints: 95235
542.04/543.59 c #Conflicts: 213000 | #Constraints: 96235
542.04/543.59 c #Conflicts: 214000 | #Constraints: 97235
542.04/543.59 c #Conflicts: 215000 | #Constraints: 98235
542.04/543.59 c #Conflicts: 216000 | #Constraints: 99235
542.04/543.59 c INPROCESSING
542.04/543.59 c GARBAGE COLLECT
542.04/543.59 c #Conflicts: 217000 | #Constraints: 91030
542.04/543.59 c #Conflicts: 218000 | #Constraints: 92030
542.04/543.59 c #Conflicts: 219000 | #Constraints: 93030
542.04/543.59 c #Conflicts: 220000 | #Constraints: 94030
542.04/543.59 c #Conflicts: 221000 | #Constraints: 95030
542.04/543.59 c #Conflicts: 222000 | #Constraints: 96030
542.04/543.59 c #Conflicts: 223000 | #Constraints: 97030
542.04/543.59 c #Conflicts: 224000 | #Constraints: 98030
542.04/543.59 c #Conflicts: 225000 | #Constraints: 99030
542.04/543.59 c #Conflicts: 226000 | #Constraints: 100030
542.04/543.59 c INPROCESSING
542.04/543.59 c GARBAGE COLLECT
542.04/543.59 c #Conflicts: 227000 | #Constraints: 91640
542.04/543.59 c #Conflicts: 228000 | #Constraints: 92640
542.04/543.59 c #Conflicts: 229000 | #Constraints: 93640
542.04/543.59 c #Conflicts: 230000 | #Constraints: 94640
542.04/543.59 c #Conflicts: 231000 | #Constraints: 95640
542.04/543.59 c #Conflicts: 232000 | #Constraints: 96640
542.04/543.59 c #Conflicts: 233000 | #Constraints: 97640
542.04/543.59 c #Conflicts: 234000 | #Constraints: 98640
542.04/543.59 c #Conflicts: 235000 | #Constraints: 99640
542.04/543.59 c #Conflicts: 236000 | #Constraints: 100640
542.04/543.59 c INPROCESSING
542.04/543.59 c GARBAGE COLLECT
542.04/543.59 c #Conflicts: 237000 | #Constraints: 92049
542.04/543.59 c #Conflicts: 238000 | #Constraints: 93049
542.04/543.59 c #Conflicts: 239000 | #Constraints: 94049
542.04/543.59 c #Conflicts: 240000 | #Constraints: 95049
542.04/543.59 c #Conflicts: 241000 | #Constraints: 96049
542.04/543.59 c #Conflicts: 242000 | #Constraints: 97049
542.04/543.59 c #Conflicts: 243000 | #Constraints: 98049
542.04/543.59 c #Conflicts: 244000 | #Constraints: 99049
542.04/543.59 c #Conflicts: 245000 | #Constraints: 100049
542.04/543.59 c #Conflicts: 246000 | #Constraints: 101049
542.04/543.59 c INPROCESSING
542.04/543.59 c GARBAGE COLLECT
542.04/543.59 c #Conflicts: 247000 | #Constraints: 92228
542.04/543.59 c #Conflicts: 248000 | #Constraints: 93228
542.04/543.59 c #Conflicts: 249000 | #Constraints: 94228
542.04/543.59 c #Conflicts: 250000 | #Constraints: 95228
542.04/543.59 c #Conflicts: 251000 | #Constraints: 96228
542.04/543.59 c #Conflicts: 252000 | #Constraints: 97228
542.04/543.59 c #Conflicts: 253000 | #Constraints: 98228
542.04/543.59 c #Conflicts: 254000 | #Constraints: 99228
542.04/543.59 c #Conflicts: 255000 | #Constraints: 100228
542.04/543.59 c #Conflicts: 256000 | #Constraints: 101228
542.04/543.59 c INPROCESSING
542.04/543.59 c GARBAGE COLLECT
542.04/543.59 c #Conflicts: 257000 | #Constraints: 92224
542.04/543.59 c #Conflicts: 258000 | #Constraints: 93224
542.04/543.59 c #Conflicts: 259000 | #Constraints: 94224
542.04/543.59 c #Conflicts: 260000 | #Constraints: 95224
542.04/543.59 c #Conflicts: 261000 | #Constraints: 96224
542.04/543.59 c #Conflicts: 262000 | #Constraints: 97224
542.04/543.59 c #Conflicts: 263000 | #Constraints: 98224
542.04/543.59 c #Conflicts: 264000 | #Constraints: 99224
542.04/543.59 c #Conflicts: 265000 | #Constraints: 100224
542.04/543.59 c #Conflicts: 266000 | #Constraints: 101224
542.04/543.59 c INPROCESSING
542.04/543.59 c GARBAGE COLLECT
542.04/543.59 c #Conflicts: 267000 | #Constraints: 92028
542.04/543.59 c #Conflicts: 268000 | #Constraints: 93028
542.04/543.59 c #Conflicts: 269000 | #Constraints: 94028
542.04/543.59 c #Conflicts: 270000 | #Constraints: 95028
542.04/543.59 c #Conflicts: 271000 | #Constraints: 96028
542.04/543.59 c #Conflicts: 272000 | #Constraints: 97028
542.04/543.59 c #Conflicts: 273000 | #Constraints: 98028
542.04/543.59 c #Conflicts: 274000 | #Constraints: 99028
542.04/543.59 c #Conflicts: 275000 | #Constraints: 100028
647.07/648.82 c #Conflicts: 276000 | #Constraints: 101028
647.07/648.82 c #Conflicts: 277000 | #Constraints: 102028
647.07/648.82 c INPROCESSING
647.07/648.82 c GARBAGE COLLECT
647.07/648.82 c #Conflicts: 278000 | #Constraints: 92643
647.07/648.82 c #Conflicts: 279000 | #Constraints: 93643
647.07/648.82 c #Conflicts: 280000 | #Constraints: 94643
647.07/648.82 c #Conflicts: 281000 | #Constraints: 95643
647.07/648.82 c #Conflicts: 282000 | #Constraints: 96643
647.07/648.82 c #Conflicts: 283000 | #Constraints: 97643
647.07/648.82 c #Conflicts: 284000 | #Constraints: 98643
647.07/648.82 c #Conflicts: 285000 | #Constraints: 99643
647.07/648.82 c #Conflicts: 286000 | #Constraints: 100643
647.07/648.82 c #Conflicts: 287000 | #Constraints: 101643
647.07/648.82 c #Conflicts: 288000 | #Constraints: 102643
647.07/648.82 c INPROCESSING
647.07/648.82 c GARBAGE COLLECT
647.07/648.82 c #Conflicts: 289000 | #Constraints: 93024
647.07/648.82 c #Conflicts: 290000 | #Constraints: 94024
647.07/648.82 c #Conflicts: 291000 | #Constraints: 95024
647.07/648.82 c #Conflicts: 292000 | #Constraints: 96024
647.07/648.82 c #Conflicts: 293000 | #Constraints: 97024
647.07/648.82 c #Conflicts: 294000 | #Constraints: 98024
647.07/648.82 c #Conflicts: 295000 | #Constraints: 99024
647.07/648.82 c #Conflicts: 296000 | #Constraints: 100024
647.07/648.82 c #Conflicts: 297000 | #Constraints: 101024
647.07/648.82 c #Conflicts: 298000 | #Constraints: 102024
647.07/648.82 c #Conflicts: 299000 | #Constraints: 103024
647.07/648.82 c INPROCESSING
647.07/648.82 c GARBAGE COLLECT
647.07/648.82 c #Conflicts: 300000 | #Constraints: 93237
647.07/648.82 c #Conflicts: 301000 | #Constraints: 94237
647.07/648.82 c #Conflicts: 302000 | #Constraints: 95237
647.07/648.82 c #Conflicts: 303000 | #Constraints: 96237
647.07/648.82 c #Conflicts: 304000 | #Constraints: 97237
647.07/648.82 c #Conflicts: 305000 | #Constraints: 98237
647.07/648.82 c #Conflicts: 306000 | #Constraints: 99237
647.07/648.82 c #Conflicts: 307000 | #Constraints: 100237
647.07/648.82 c #Conflicts: 308000 | #Constraints: 101237
647.07/648.82 c #Conflicts: 309000 | #Constraints: 102237
647.07/648.82 c #Conflicts: 310000 | #Constraints: 103237
647.07/648.82 c INPROCESSING
647.07/648.82 c GARBAGE COLLECT
647.07/648.82 c #Conflicts: 311000 | #Constraints: 93233
647.07/648.82 c #Conflicts: 312000 | #Constraints: 94233
647.07/648.82 c #Conflicts: 313000 | #Constraints: 95233
647.07/648.82 c #Conflicts: 314000 | #Constraints: 96233
647.07/648.82 c #Conflicts: 315000 | #Constraints: 97233
647.07/648.82 c #Conflicts: 316000 | #Constraints: 98233
647.07/648.82 c #Conflicts: 317000 | #Constraints: 99233
647.07/648.82 c #Conflicts: 318000 | #Constraints: 100233
647.07/648.82 c #Conflicts: 319000 | #Constraints: 101233
647.07/648.82 c #Conflicts: 320000 | #Constraints: 102233
647.07/648.82 c #Conflicts: 321000 | #Constraints: 103233
647.07/648.82 c INPROCESSING
647.07/648.82 c GARBAGE COLLECT
647.07/648.82 c #Conflicts: 322000 | #Constraints: 93053
647.07/648.82 c #Conflicts: 323000 | #Constraints: 94053
647.07/648.82 c #Conflicts: 324000 | #Constraints: 95053
647.07/648.82 c #Conflicts: 325000 | #Constraints: 96053
647.07/648.82 c #Conflicts: 326000 | #Constraints: 97053
647.07/648.82 c #Conflicts: 327000 | #Constraints: 98053
647.07/648.82 c #Conflicts: 328000 | #Constraints: 99053
647.07/648.82 c #Conflicts: 329000 | #Constraints: 100053
647.07/648.82 c #Conflicts: 330000 | #Constraints: 101053
647.07/648.82 c #Conflicts: 331000 | #Constraints: 102053
647.07/648.82 c #Conflicts: 332000 | #Constraints: 103053
647.07/648.82 c #Conflicts: 333000 | #Constraints: 104053
647.07/648.82 c INPROCESSING
647.07/648.82 c GARBAGE COLLECT
647.07/648.82 c #Conflicts: 334000 | #Constraints: 93655
647.07/648.82 c #Conflicts: 335000 | #Constraints: 94655
647.07/648.82 c #Conflicts: 336000 | #Constraints: 95655
647.07/648.82 c #Conflicts: 337000 | #Constraints: 96655
647.07/648.82 c #Conflicts: 338000 | #Constraints: 97655
647.07/648.82 c #Conflicts: 339000 | #Constraints: 98655
647.07/648.82 c #Conflicts: 340000 | #Constraints: 99655
647.07/648.82 c #Conflicts: 341000 | #Constraints: 100655
647.07/648.82 c #Conflicts: 342000 | #Constraints: 101655
647.07/648.82 c #Conflicts: 343000 | #Constraints: 102655
647.07/648.82 c #Conflicts: 344000 | #Constraints: 103655
647.07/648.82 c #Conflicts: 345000 | #Constraints: 104655
647.07/648.82 c INPROCESSING
647.07/648.82 c GARBAGE COLLECT
647.07/648.82 c #Conflicts: 346000 | #Constraints: 94069
647.07/648.82 c #Conflicts: 347000 | #Constraints: 95069
647.07/648.82 c #Conflicts: 348000 | #Constraints: 96069
647.07/648.82 c #Conflicts: 349000 | #Constraints: 97069
647.07/648.82 c #Conflicts: 350000 | #Constraints: 98069
768.35/770.47 c #Conflicts: 351000 | #Constraints: 99069
768.35/770.47 c #Conflicts: 352000 | #Constraints: 100069
768.35/770.47 c #Conflicts: 353000 | #Constraints: 101069
768.35/770.47 c #Conflicts: 354000 | #Constraints: 102069
768.35/770.47 c #Conflicts: 355000 | #Constraints: 103069
768.35/770.47 c #Conflicts: 356000 | #Constraints: 104069
768.35/770.47 c #Conflicts: 357000 | #Constraints: 105069
768.35/770.47 c INPROCESSING
768.35/770.47 c GARBAGE COLLECT
768.35/770.47 c #Conflicts: 358000 | #Constraints: 94222
768.35/770.47 c #Conflicts: 359000 | #Constraints: 95222
768.35/770.47 c #Conflicts: 360000 | #Constraints: 96222
768.35/770.47 c #Conflicts: 361000 | #Constraints: 97222
768.35/770.47 c #Conflicts: 362000 | #Constraints: 98222
768.35/770.47 c #Conflicts: 363000 | #Constraints: 99222
768.35/770.47 c #Conflicts: 364000 | #Constraints: 100222
768.35/770.47 c #Conflicts: 365000 | #Constraints: 101222
768.35/770.47 c #Conflicts: 366000 | #Constraints: 102222
768.35/770.47 c #Conflicts: 367000 | #Constraints: 103222
768.35/770.47 c #Conflicts: 368000 | #Constraints: 104222
768.35/770.47 c #Conflicts: 369000 | #Constraints: 105222
768.35/770.47 c INPROCESSING
768.35/770.47 c GARBAGE COLLECT
768.35/770.47 c #Conflicts: 370000 | #Constraints: 94240
768.35/770.47 c #Conflicts: 371000 | #Constraints: 95240
768.35/770.47 c #Conflicts: 372000 | #Constraints: 96240
768.35/770.47 c #Conflicts: 373000 | #Constraints: 97240
768.35/770.47 c #Conflicts: 374000 | #Constraints: 98240
768.35/770.47 c #Conflicts: 375000 | #Constraints: 99240
768.35/770.47 c #Conflicts: 376000 | #Constraints: 100240
768.35/770.47 c #Conflicts: 377000 | #Constraints: 101240
768.35/770.47 c #Conflicts: 378000 | #Constraints: 102240
768.35/770.47 c #Conflicts: 379000 | #Constraints: 103240
768.35/770.47 c #Conflicts: 380000 | #Constraints: 104240
768.35/770.47 c #Conflicts: 381000 | #Constraints: 105240
768.35/770.47 c INPROCESSING
768.35/770.47 c GARBAGE COLLECT
768.35/770.47 c #Conflicts: 382000 | #Constraints: 94036
768.35/770.47 c #Conflicts: 383000 | #Constraints: 95036
768.35/770.47 c #Conflicts: 384000 | #Constraints: 96036
768.35/770.47 c #Conflicts: 385000 | #Constraints: 97036
768.35/770.47 c #Conflicts: 386000 | #Constraints: 98036
768.35/770.47 c #Conflicts: 387000 | #Constraints: 99036
768.35/770.47 c #Conflicts: 388000 | #Constraints: 100036
768.35/770.47 c #Conflicts: 389000 | #Constraints: 101036
768.35/770.47 c #Conflicts: 390000 | #Constraints: 102036
768.35/770.47 c #Conflicts: 391000 | #Constraints: 103036
768.35/770.47 c #Conflicts: 392000 | #Constraints: 104036
768.35/770.47 c #Conflicts: 393000 | #Constraints: 105036
768.35/770.47 c #Conflicts: 394000 | #Constraints: 106036
768.35/770.47 c INPROCESSING
768.35/770.47 c GARBAGE COLLECT
768.35/770.47 c #Conflicts: 395000 | #Constraints: 94643
768.35/770.47 c #Conflicts: 396000 | #Constraints: 95643
768.35/770.47 c #Conflicts: 397000 | #Constraints: 96643
768.35/770.47 c #Conflicts: 398000 | #Constraints: 97643
768.35/770.47 c #Conflicts: 399000 | #Constraints: 98643
768.35/770.47 c #Conflicts: 400000 | #Constraints: 99643
768.35/770.47 c #Conflicts: 401000 | #Constraints: 100643
768.35/770.47 c #Conflicts: 402000 | #Constraints: 101643
768.35/770.47 c #Conflicts: 403000 | #Constraints: 102643
768.35/770.47 c #Conflicts: 404000 | #Constraints: 103643
768.35/770.47 c #Conflicts: 405000 | #Constraints: 104643
768.35/770.47 c #Conflicts: 406000 | #Constraints: 105643
768.35/770.47 c #Conflicts: 407000 | #Constraints: 106643
768.35/770.47 c INPROCESSING
768.35/770.47 c GARBAGE COLLECT
768.35/770.47 c #Conflicts: 408000 | #Constraints: 95048
768.35/770.47 c #Conflicts: 409000 | #Constraints: 96048
768.35/770.47 c #Conflicts: 410000 | #Constraints: 97048
768.35/770.47 c #Conflicts: 411000 | #Constraints: 98048
768.35/770.47 c #Conflicts: 412000 | #Constraints: 99048
768.35/770.47 c #Conflicts: 413000 | #Constraints: 100048
768.35/770.47 c #Conflicts: 414000 | #Constraints: 101048
768.35/770.47 c #Conflicts: 415000 | #Constraints: 102048
768.35/770.47 c #Conflicts: 416000 | #Constraints: 103048
768.35/770.47 c #Conflicts: 417000 | #Constraints: 104048
768.35/770.47 c #Conflicts: 418000 | #Constraints: 105048
768.35/770.47 c #Conflicts: 419000 | #Constraints: 106048
768.35/770.47 c #Conflicts: 420000 | #Constraints: 107048
768.35/770.47 c INPROCESSING
768.35/770.47 c GARBAGE COLLECT
768.35/770.47 c #Conflicts: 421000 | #Constraints: 95244
768.35/770.47 c #Conflicts: 422000 | #Constraints: 96244
768.35/770.47 c #Conflicts: 423000 | #Constraints: 97244
768.35/770.47 c #Conflicts: 424000 | #Constraints: 98244
768.35/770.47 c #Conflicts: 425000 | #Constraints: 99244
894.81/897.23 c #Conflicts: 426000 | #Constraints: 100244
894.81/897.23 c #Conflicts: 427000 | #Constraints: 101244
894.81/897.23 c #Conflicts: 428000 | #Constraints: 102244
894.81/897.23 c #Conflicts: 429000 | #Constraints: 103244
894.81/897.23 c #Conflicts: 430000 | #Constraints: 104244
894.81/897.23 c #Conflicts: 431000 | #Constraints: 105244
894.81/897.23 c #Conflicts: 432000 | #Constraints: 106244
894.81/897.23 c #Conflicts: 433000 | #Constraints: 107244
894.81/897.23 c INPROCESSING
894.81/897.23 c GARBAGE COLLECT
894.81/897.23 c #Conflicts: 434000 | #Constraints: 95259
894.81/897.23 c #Conflicts: 435000 | #Constraints: 96259
894.81/897.23 c #Conflicts: 436000 | #Constraints: 97259
894.81/897.23 c #Conflicts: 437000 | #Constraints: 98259
894.81/897.23 c #Conflicts: 438000 | #Constraints: 99259
894.81/897.23 c #Conflicts: 439000 | #Constraints: 100259
894.81/897.23 c #Conflicts: 440000 | #Constraints: 101259
894.81/897.23 c #Conflicts: 441000 | #Constraints: 102259
894.81/897.23 c #Conflicts: 442000 | #Constraints: 103259
894.81/897.23 c #Conflicts: 443000 | #Constraints: 104259
894.81/897.23 c #Conflicts: 444000 | #Constraints: 105259
894.81/897.23 c #Conflicts: 445000 | #Constraints: 106259
894.81/897.23 c #Conflicts: 446000 | #Constraints: 107259
894.81/897.23 c INPROCESSING
894.81/897.23 c GARBAGE COLLECT
894.81/897.23 c #Conflicts: 447000 | #Constraints: 95084
894.81/897.23 c #Conflicts: 448000 | #Constraints: 96084
894.81/897.23 c #Conflicts: 449000 | #Constraints: 97084
894.81/897.23 c #Conflicts: 450000 | #Constraints: 98084
894.81/897.23 c #Conflicts: 451000 | #Constraints: 99084
894.81/897.23 c #Conflicts: 452000 | #Constraints: 100084
894.81/897.23 c #Conflicts: 453000 | #Constraints: 101084
894.81/897.23 c #Conflicts: 454000 | #Constraints: 102084
894.81/897.23 c #Conflicts: 455000 | #Constraints: 103084
894.81/897.23 c #Conflicts: 456000 | #Constraints: 104084
894.81/897.23 c #Conflicts: 457000 | #Constraints: 105084
894.81/897.23 c #Conflicts: 458000 | #Constraints: 106084
894.81/897.23 c #Conflicts: 459000 | #Constraints: 107084
894.81/897.23 c #Conflicts: 460000 | #Constraints: 108084
894.81/897.23 c INPROCESSING
894.81/897.23 c GARBAGE COLLECT
894.81/897.23 c #Conflicts: 461000 | #Constraints: 95676
894.81/897.23 c #Conflicts: 462000 | #Constraints: 96676
894.81/897.23 c #Conflicts: 463000 | #Constraints: 97676
894.81/897.23 c #Conflicts: 464000 | #Constraints: 98676
894.81/897.23 c #Conflicts: 465000 | #Constraints: 99676
894.81/897.23 c #Conflicts: 466000 | #Constraints: 100676
894.81/897.23 c #Conflicts: 467000 | #Constraints: 101676
894.81/897.23 c #Conflicts: 468000 | #Constraints: 102676
894.81/897.23 c #Conflicts: 469000 | #Constraints: 103676
894.81/897.23 c #Conflicts: 470000 | #Constraints: 104676
894.81/897.23 c #Conflicts: 471000 | #Constraints: 105676
894.81/897.23 c #Conflicts: 472000 | #Constraints: 106676
894.81/897.23 c #Conflicts: 473000 | #Constraints: 107676
894.81/897.23 c #Conflicts: 474000 | #Constraints: 108676
894.81/897.23 c INPROCESSING
894.81/897.23 c GARBAGE COLLECT
894.81/897.23 c #Conflicts: 475000 | #Constraints: 96067
894.81/897.23 c #Conflicts: 476000 | #Constraints: 97067
894.81/897.23 c #Conflicts: 477000 | #Constraints: 98067
894.81/897.23 c #Conflicts: 478000 | #Constraints: 99067
894.81/897.23 c #Conflicts: 479000 | #Constraints: 100067
894.81/897.23 c #Conflicts: 480000 | #Constraints: 101067
894.81/897.23 c #Conflicts: 481000 | #Constraints: 102067
894.81/897.23 c #Conflicts: 482000 | #Constraints: 103067
894.81/897.23 c #Conflicts: 483000 | #Constraints: 104067
894.81/897.23 c #Conflicts: 484000 | #Constraints: 105067
894.81/897.23 c #Conflicts: 485000 | #Constraints: 106067
894.81/897.23 c #Conflicts: 486000 | #Constraints: 107067
894.81/897.23 c #Conflicts: 487000 | #Constraints: 108067
894.81/897.23 c #Conflicts: 488000 | #Constraints: 109067
894.81/897.23 c INPROCESSING
894.81/897.23 c GARBAGE COLLECT
894.81/897.23 c #Conflicts: 489000 | #Constraints: 96285
894.81/897.23 c #Conflicts: 490000 | #Constraints: 97285
894.81/897.23 c #Conflicts: 491000 | #Constraints: 98285
894.81/897.23 c #Conflicts: 492000 | #Constraints: 99285
894.81/897.23 c #Conflicts: 493000 | #Constraints: 100285
894.81/897.23 c #Conflicts: 494000 | #Constraints: 101285
894.81/897.23 c #Conflicts: 495000 | #Constraints: 102285
894.81/897.23 c #Conflicts: 496000 | #Constraints: 103285
894.81/897.23 c #Conflicts: 497000 | #Constraints: 104285
894.81/897.23 c #Conflicts: 498000 | #Constraints: 105285
894.81/897.23 c #Conflicts: 499000 | #Constraints: 106285
894.81/897.23 c #Conflicts: 500000 | #Constraints: 107285
1044.91/1047.78 c #Conflicts: 501000 | #Constraints: 108285
1044.91/1047.78 c #Conflicts: 502000 | #Constraints: 109285
1044.91/1047.78 c INPROCESSING
1044.91/1047.78 c GARBAGE COLLECT
1044.91/1047.78 c #Conflicts: 503000 | #Constraints: 96272
1044.91/1047.78 c #Conflicts: 504000 | #Constraints: 97272
1044.91/1047.78 c #Conflicts: 505000 | #Constraints: 98272
1044.91/1047.78 c #Conflicts: 506000 | #Constraints: 99272
1044.91/1047.78 c #Conflicts: 507000 | #Constraints: 100272
1044.91/1047.78 c #Conflicts: 508000 | #Constraints: 101272
1044.91/1047.78 c #Conflicts: 509000 | #Constraints: 102272
1044.91/1047.78 c #Conflicts: 510000 | #Constraints: 103272
1044.91/1047.78 c #Conflicts: 511000 | #Constraints: 104272
1044.91/1047.78 c #Conflicts: 512000 | #Constraints: 105272
1044.91/1047.78 c #Conflicts: 513000 | #Constraints: 106272
1044.91/1047.78 c #Conflicts: 514000 | #Constraints: 107272
1044.91/1047.78 c #Conflicts: 515000 | #Constraints: 108272
1044.91/1047.78 c #Conflicts: 516000 | #Constraints: 109272
1044.91/1047.78 c INPROCESSING
1044.91/1047.78 c GARBAGE COLLECT
1044.91/1047.78 c #Conflicts: 517000 | #Constraints: 96064
1044.91/1047.78 c #Conflicts: 518000 | #Constraints: 97064
1044.91/1047.78 c #Conflicts: 519000 | #Constraints: 98064
1044.91/1047.78 c #Conflicts: 520000 | #Constraints: 99064
1044.91/1047.78 c #Conflicts: 521000 | #Constraints: 100064
1044.91/1047.78 c #Conflicts: 522000 | #Constraints: 101064
1044.91/1047.78 c #Conflicts: 523000 | #Constraints: 102064
1044.91/1047.78 c #Conflicts: 524000 | #Constraints: 103064
1044.91/1047.78 c #Conflicts: 525000 | #Constraints: 104064
1044.91/1047.78 c #Conflicts: 526000 | #Constraints: 105064
1044.91/1047.78 c #Conflicts: 527000 | #Constraints: 106064
1044.91/1047.78 c #Conflicts: 528000 | #Constraints: 107064
1044.91/1047.78 c #Conflicts: 529000 | #Constraints: 108064
1044.91/1047.78 c #Conflicts: 530000 | #Constraints: 109064
1044.91/1047.78 c #Conflicts: 531000 | #Constraints: 110064
1044.91/1047.78 c INPROCESSING
1044.91/1047.78 c GARBAGE COLLECT
1044.91/1047.78 c #Conflicts: 532000 | #Constraints: 96690
1044.91/1047.78 c #Conflicts: 533000 | #Constraints: 97690
1044.91/1047.78 c #Conflicts: 534000 | #Constraints: 98690
1044.91/1047.78 c #Conflicts: 535000 | #Constraints: 99690
1044.91/1047.78 c #Conflicts: 536000 | #Constraints: 100690
1044.91/1047.78 c #Conflicts: 537000 | #Constraints: 101690
1044.91/1047.78 c #Conflicts: 538000 | #Constraints: 102690
1044.91/1047.78 c #Conflicts: 539000 | #Constraints: 103690
1044.91/1047.78 c #Conflicts: 540000 | #Constraints: 104690
1044.91/1047.78 c #Conflicts: 541000 | #Constraints: 105690
1044.91/1047.78 c #Conflicts: 542000 | #Constraints: 106690
1044.91/1047.78 c #Conflicts: 543000 | #Constraints: 107690
1044.91/1047.78 c #Conflicts: 544000 | #Constraints: 108690
1044.91/1047.78 c #Conflicts: 545000 | #Constraints: 109690
1044.91/1047.78 c #Conflicts: 546000 | #Constraints: 110690
1044.91/1047.78 c INPROCESSING
1044.91/1047.78 c GARBAGE COLLECT
1044.91/1047.78 c #Conflicts: 547000 | #Constraints: 97086
1044.91/1047.78 c #Conflicts: 548000 | #Constraints: 98086
1044.91/1047.78 c #Conflicts: 549000 | #Constraints: 99086
1044.91/1047.78 c #Conflicts: 550000 | #Constraints: 100086
1044.91/1047.78 c #Conflicts: 551000 | #Constraints: 101086
1044.91/1047.78 c #Conflicts: 552000 | #Constraints: 102086
1044.91/1047.78 c #Conflicts: 553000 | #Constraints: 103086
1044.91/1047.78 c #Conflicts: 554000 | #Constraints: 104086
1044.91/1047.78 c #Conflicts: 555000 | #Constraints: 105086
1044.91/1047.78 c #Conflicts: 556000 | #Constraints: 106086
1044.91/1047.78 c #Conflicts: 557000 | #Constraints: 107086
1044.91/1047.78 c #Conflicts: 558000 | #Constraints: 108086
1044.91/1047.78 c #Conflicts: 559000 | #Constraints: 109086
1044.91/1047.78 c #Conflicts: 560000 | #Constraints: 110086
1044.91/1047.78 c #Conflicts: 561000 | #Constraints: 111086
1044.91/1047.78 c INPROCESSING
1044.91/1047.78 c GARBAGE COLLECT
1044.91/1047.78 c #Conflicts: 562000 | #Constraints: 97271
1044.91/1047.78 c #Conflicts: 563000 | #Constraints: 98271
1044.91/1047.78 c #Conflicts: 564000 | #Constraints: 99271
1044.91/1047.78 c #Conflicts: 565000 | #Constraints: 100271
1044.91/1047.78 c #Conflicts: 566000 | #Constraints: 101271
1044.91/1047.78 c #Conflicts: 567000 | #Constraints: 102271
1044.91/1047.78 c #Conflicts: 568000 | #Constraints: 103271
1044.91/1047.78 c #Conflicts: 569000 | #Constraints: 104271
1044.91/1047.78 c #Conflicts: 570000 | #Constraints: 105271
1044.91/1047.78 c #Conflicts: 571000 | #Constraints: 106271
1044.91/1047.78 c #Conflicts: 572000 | #Constraints: 107271
1044.91/1047.78 c #Conflicts: 573000 | #Constraints: 108271
1044.91/1047.78 c #Conflicts: 574000 | #Constraints: 109271
1044.91/1047.78 c #Conflicts: 575000 | #Constraints: 110271
1044.91/1047.78 c #Conflicts: 576000 | #Constraints: 111271
1199.09/1202.35 c INPROCESSING
1199.09/1202.35 c GARBAGE COLLECT
1199.09/1202.35 c #Conflicts: 577000 | #Constraints: 97244
1199.09/1202.35 c #Conflicts: 578000 | #Constraints: 98244
1199.09/1202.35 c #Conflicts: 579000 | #Constraints: 99244
1199.09/1202.35 c #Conflicts: 580000 | #Constraints: 100244
1199.09/1202.35 c #Conflicts: 581000 | #Constraints: 101244
1199.09/1202.35 c #Conflicts: 582000 | #Constraints: 102244
1199.09/1202.35 c #Conflicts: 583000 | #Constraints: 103244
1199.09/1202.35 c #Conflicts: 584000 | #Constraints: 104244
1199.09/1202.35 c #Conflicts: 585000 | #Constraints: 105244
1199.09/1202.35 c #Conflicts: 586000 | #Constraints: 106244
1199.09/1202.35 c #Conflicts: 587000 | #Constraints: 107244
1199.09/1202.35 c #Conflicts: 588000 | #Constraints: 108244
1199.09/1202.35 c #Conflicts: 589000 | #Constraints: 109244
1199.09/1202.35 c #Conflicts: 590000 | #Constraints: 110244
1199.09/1202.35 c #Conflicts: 591000 | #Constraints: 111244
1199.09/1202.35 c INPROCESSING
1199.09/1202.35 c GARBAGE COLLECT
1199.09/1202.35 c #Conflicts: 592000 | #Constraints: 97078
1199.09/1202.35 c #Conflicts: 593000 | #Constraints: 98078
1199.09/1202.35 c #Conflicts: 594000 | #Constraints: 99078
1199.09/1202.35 c #Conflicts: 595000 | #Constraints: 100078
1199.09/1202.35 c #Conflicts: 596000 | #Constraints: 101078
1199.09/1202.35 c #Conflicts: 597000 | #Constraints: 102078
1199.09/1202.35 c #Conflicts: 598000 | #Constraints: 103078
1199.09/1202.35 c #Conflicts: 599000 | #Constraints: 104078
1199.09/1202.35 c #Conflicts: 600000 | #Constraints: 105078
1199.09/1202.35 c #Conflicts: 601000 | #Constraints: 106078
1199.09/1202.35 c #Conflicts: 602000 | #Constraints: 107078
1199.09/1202.35 c #Conflicts: 603000 | #Constraints: 108078
1199.09/1202.35 c #Conflicts: 604000 | #Constraints: 109078
1199.09/1202.35 c #Conflicts: 605000 | #Constraints: 110078
1199.09/1202.35 c #Conflicts: 606000 | #Constraints: 111078
1199.09/1202.35 c #Conflicts: 607000 | #Constraints: 112078
1199.09/1202.35 c INPROCESSING
1199.09/1202.35 c GARBAGE COLLECT
1199.09/1202.35 c #Conflicts: 608000 | #Constraints: 97686
1199.09/1202.35 c #Conflicts: 609000 | #Constraints: 98686
1199.09/1202.35 c #Conflicts: 610000 | #Constraints: 99686
1199.09/1202.35 c #Conflicts: 611000 | #Constraints: 100686
1199.09/1202.35 c #Conflicts: 612000 | #Constraints: 101686
1199.09/1202.35 c #Conflicts: 613000 | #Constraints: 102686
1199.09/1202.35 c #Conflicts: 614000 | #Constraints: 103686
1199.09/1202.35 c #Conflicts: 615000 | #Constraints: 104686
1199.09/1202.35 c #Conflicts: 616000 | #Constraints: 105686
1199.09/1202.35 c #Conflicts: 617000 | #Constraints: 106686
1199.09/1202.35 c #Conflicts: 618000 | #Constraints: 107686
1199.09/1202.35 c #Conflicts: 619000 | #Constraints: 108686
1199.09/1202.35 c #Conflicts: 620000 | #Constraints: 109686
1199.09/1202.35 c #Conflicts: 621000 | #Constraints: 110686
1199.09/1202.35 c #Conflicts: 622000 | #Constraints: 111686
1199.09/1202.35 c #Conflicts: 623000 | #Constraints: 112686
1199.09/1202.35 c INPROCESSING
1199.09/1202.35 c GARBAGE COLLECT
1199.09/1202.35 c #Conflicts: 624000 | #Constraints: 98100
1199.09/1202.35 c #Conflicts: 625000 | #Constraints: 99100
1199.09/1202.35 c #Conflicts: 626000 | #Constraints: 100100
1199.09/1202.35 c #Conflicts: 627000 | #Constraints: 101100
1199.09/1202.35 c #Conflicts: 628000 | #Constraints: 102100
1199.09/1202.35 c #Conflicts: 629000 | #Constraints: 103100
1199.09/1202.35 c #Conflicts: 630000 | #Constraints: 104100
1199.09/1202.35 c #Conflicts: 631000 | #Constraints: 105100
1199.09/1202.35 c #Conflicts: 632000 | #Constraints: 106100
1199.09/1202.35 c #Conflicts: 633000 | #Constraints: 107100
1199.09/1202.35 c #Conflicts: 634000 | #Constraints: 108100
1199.09/1202.35 c #Conflicts: 635000 | #Constraints: 109100
1199.09/1202.35 c #Conflicts: 636000 | #Constraints: 110100
1199.09/1202.35 c #Conflicts: 637000 | #Constraints: 111100
1199.09/1202.35 c #Conflicts: 638000 | #Constraints: 112100
1199.09/1202.35 c #Conflicts: 639000 | #Constraints: 113100
1199.09/1202.35 c INPROCESSING
1199.09/1202.35 c GARBAGE COLLECT
1199.09/1202.35 c #Conflicts: 640000 | #Constraints: 98310
1199.09/1202.35 c #Conflicts: 641000 | #Constraints: 99310
1199.09/1202.35 c #Conflicts: 642000 | #Constraints: 100310
1199.09/1202.35 c #Conflicts: 643000 | #Constraints: 101310
1199.09/1202.35 c #Conflicts: 644000 | #Constraints: 102310
1199.09/1202.35 c #Conflicts: 645000 | #Constraints: 103310
1199.09/1202.35 c #Conflicts: 646000 | #Constraints: 104310
1199.09/1202.35 c #Conflicts: 647000 | #Constraints: 105310
1199.09/1202.35 c #Conflicts: 648000 | #Constraints: 106310
1199.09/1202.35 c #Conflicts: 649000 | #Constraints: 107310
1199.09/1202.35 c #Conflicts: 650000 | #Constraints: 108310
1199.09/1202.35 c #Conflicts: 651000 | #Constraints: 109310
1199.09/1202.35 c #Conflicts: 652000 | #Constraints: 110310
1357.38/1361.07 c #Conflicts: 653000 | #Constraints: 111310
1357.38/1361.07 c #Conflicts: 654000 | #Constraints: 112310
1357.38/1361.07 c #Conflicts: 655000 | #Constraints: 113310
1357.38/1361.07 c INPROCESSING
1357.38/1361.07 c GARBAGE COLLECT
1357.38/1361.07 c #Conflicts: 656000 | #Constraints: 98303
1357.38/1361.07 c #Conflicts: 657000 | #Constraints: 99303
1357.38/1361.07 c #Conflicts: 658000 | #Constraints: 100303
1357.38/1361.07 c #Conflicts: 659000 | #Constraints: 101303
1357.38/1361.07 c #Conflicts: 660000 | #Constraints: 102303
1357.38/1361.07 c #Conflicts: 661000 | #Constraints: 103303
1357.38/1361.07 c #Conflicts: 662000 | #Constraints: 104303
1357.38/1361.07 c #Conflicts: 663000 | #Constraints: 105303
1357.38/1361.07 c #Conflicts: 664000 | #Constraints: 106303
1357.38/1361.07 c #Conflicts: 665000 | #Constraints: 107303
1357.38/1361.07 c #Conflicts: 666000 | #Constraints: 108303
1357.38/1361.07 c #Conflicts: 667000 | #Constraints: 109303
1357.38/1361.07 c #Conflicts: 668000 | #Constraints: 110303
1357.38/1361.07 c #Conflicts: 669000 | #Constraints: 111303
1357.38/1361.07 c #Conflicts: 670000 | #Constraints: 112303
1357.38/1361.07 c #Conflicts: 671000 | #Constraints: 113303
1357.38/1361.07 c INPROCESSING
1357.38/1361.07 c GARBAGE COLLECT
1357.38/1361.07 c #Conflicts: 672000 | #Constraints: 98078
1357.38/1361.07 c #Conflicts: 673000 | #Constraints: 99078
1357.38/1361.07 c #Conflicts: 674000 | #Constraints: 100078
1357.38/1361.07 c #Conflicts: 675000 | #Constraints: 101078
1357.38/1361.07 c #Conflicts: 676000 | #Constraints: 102078
1357.38/1361.07 c #Conflicts: 677000 | #Constraints: 103078
1357.38/1361.07 c #Conflicts: 678000 | #Constraints: 104078
1357.38/1361.07 c #Conflicts: 679000 | #Constraints: 105078
1357.38/1361.07 c #Conflicts: 680000 | #Constraints: 106078
1357.38/1361.07 c #Conflicts: 681000 | #Constraints: 107078
1357.38/1361.07 c #Conflicts: 682000 | #Constraints: 108078
1357.38/1361.07 c #Conflicts: 683000 | #Constraints: 109078
1357.38/1361.07 c #Conflicts: 684000 | #Constraints: 110078
1357.38/1361.07 c #Conflicts: 685000 | #Constraints: 111078
1357.38/1361.07 c #Conflicts: 686000 | #Constraints: 112078
1357.38/1361.07 c #Conflicts: 687000 | #Constraints: 113078
1357.38/1361.07 c #Conflicts: 688000 | #Constraints: 114078
1357.38/1361.07 c INPROCESSING
1357.38/1361.07 c GARBAGE COLLECT
1357.38/1361.07 c #Conflicts: 689000 | #Constraints: 98699
1357.38/1361.07 c #Conflicts: 690000 | #Constraints: 99699
1357.38/1361.07 c #Conflicts: 691000 | #Constraints: 100699
1357.38/1361.07 c #Conflicts: 692000 | #Constraints: 101699
1357.38/1361.07 c #Conflicts: 693000 | #Constraints: 102699
1357.38/1361.07 c #Conflicts: 694000 | #Constraints: 103699
1357.38/1361.07 c #Conflicts: 695000 | #Constraints: 104699
1357.38/1361.07 c #Conflicts: 696000 | #Constraints: 105699
1357.38/1361.07 c #Conflicts: 697000 | #Constraints: 106699
1357.38/1361.07 c #Conflicts: 698000 | #Constraints: 107699
1357.38/1361.07 c #Conflicts: 699000 | #Constraints: 108699
1357.38/1361.07 c #Conflicts: 700000 | #Constraints: 109699
1357.38/1361.07 c #Conflicts: 701000 | #Constraints: 110699
1357.38/1361.07 c #Conflicts: 702000 | #Constraints: 111699
1357.38/1361.07 c #Conflicts: 703000 | #Constraints: 112699
1357.38/1361.07 c #Conflicts: 704000 | #Constraints: 113699
1357.38/1361.07 c #Conflicts: 705000 | #Constraints: 114699
1357.38/1361.07 c INPROCESSING
1357.38/1361.07 c GARBAGE COLLECT
1357.38/1361.07 c #Conflicts: 706000 | #Constraints: 99103
1357.38/1361.07 c #Conflicts: 707000 | #Constraints: 100103
1357.38/1361.07 c #Conflicts: 708000 | #Constraints: 101103
1357.38/1361.07 c #Conflicts: 709000 | #Constraints: 102103
1357.38/1361.07 c #Conflicts: 710000 | #Constraints: 103103
1357.38/1361.07 c #Conflicts: 711000 | #Constraints: 104103
1357.38/1361.07 c #Conflicts: 712000 | #Constraints: 105103
1357.38/1361.07 c #Conflicts: 713000 | #Constraints: 106103
1357.38/1361.07 c #Conflicts: 714000 | #Constraints: 107103
1357.38/1361.07 c #Conflicts: 715000 | #Constraints: 108103
1357.38/1361.07 c #Conflicts: 716000 | #Constraints: 109103
1357.38/1361.07 c #Conflicts: 717000 | #Constraints: 110103
1357.38/1361.07 c #Conflicts: 718000 | #Constraints: 111103
1357.38/1361.07 c #Conflicts: 719000 | #Constraints: 112103
1357.38/1361.07 c #Conflicts: 720000 | #Constraints: 113103
1357.38/1361.07 c #Conflicts: 721000 | #Constraints: 114103
1357.38/1361.07 c #Conflicts: 722000 | #Constraints: 115103
1357.38/1361.07 c INPROCESSING
1357.38/1361.07 c GARBAGE COLLECT
1357.38/1361.07 c #Conflicts: 723000 | #Constraints: 99286
1357.38/1361.07 c #Conflicts: 724000 | #Constraints: 100286
1357.38/1361.07 c #Conflicts: 725000 | #Constraints: 101286
1357.38/1361.07 c #Conflicts: 726000 | #Constraints: 102286
1357.38/1361.07 c #Conflicts: 727000 | #Constraints: 103286
1542.78/1546.92 c #Conflicts: 728000 | #Constraints: 104286
1542.78/1546.92 c #Conflicts: 729000 | #Constraints: 105286
1542.78/1546.92 c #Conflicts: 730000 | #Constraints: 106286
1542.78/1546.92 c #Conflicts: 731000 | #Constraints: 107286
1542.78/1546.92 c #Conflicts: 732000 | #Constraints: 108286
1542.78/1546.92 c #Conflicts: 733000 | #Constraints: 109286
1542.78/1546.92 c #Conflicts: 734000 | #Constraints: 110286
1542.78/1546.92 c #Conflicts: 735000 | #Constraints: 111286
1542.78/1546.92 c #Conflicts: 736000 | #Constraints: 112286
1542.78/1546.92 c #Conflicts: 737000 | #Constraints: 113286
1542.78/1546.92 c #Conflicts: 738000 | #Constraints: 114286
1542.78/1546.92 c #Conflicts: 739000 | #Constraints: 115286
1542.78/1546.92 c INPROCESSING
1542.78/1546.92 c GARBAGE COLLECT
1542.78/1546.92 c #Conflicts: 740000 | #Constraints: 99299
1542.78/1546.92 c #Conflicts: 741000 | #Constraints: 100299
1542.78/1546.92 c #Conflicts: 742000 | #Constraints: 101299
1542.78/1546.92 c #Conflicts: 743000 | #Constraints: 102299
1542.78/1546.92 c #Conflicts: 744000 | #Constraints: 103299
1542.78/1546.92 c #Conflicts: 745000 | #Constraints: 104299
1542.78/1546.92 c #Conflicts: 746000 | #Constraints: 105299
1542.78/1546.92 c #Conflicts: 747000 | #Constraints: 106299
1542.78/1546.92 c #Conflicts: 748000 | #Constraints: 107299
1542.78/1546.92 c #Conflicts: 749000 | #Constraints: 108299
1542.78/1546.92 c #Conflicts: 750000 | #Constraints: 109299
1542.78/1546.92 c #Conflicts: 751000 | #Constraints: 110299
1542.78/1546.92 c #Conflicts: 752000 | #Constraints: 111299
1542.78/1546.92 c #Conflicts: 753000 | #Constraints: 112299
1542.78/1546.92 c #Conflicts: 754000 | #Constraints: 113299
1542.78/1546.92 c #Conflicts: 755000 | #Constraints: 114299
1542.78/1546.92 c #Conflicts: 756000 | #Constraints: 115299
1542.78/1546.92 c INPROCESSING
1542.78/1546.92 c GARBAGE COLLECT
1542.78/1546.92 c #Conflicts: 757000 | #Constraints: 99076
1542.78/1546.92 c #Conflicts: 758000 | #Constraints: 100076
1542.78/1546.92 c #Conflicts: 759000 | #Constraints: 101076
1542.78/1546.92 c #Conflicts: 760000 | #Constraints: 102076
1542.78/1546.92 c #Conflicts: 761000 | #Constraints: 103076
1542.78/1546.92 c #Conflicts: 762000 | #Constraints: 104076
1542.78/1546.92 c #Conflicts: 763000 | #Constraints: 105076
1542.78/1546.92 c #Conflicts: 764000 | #Constraints: 106076
1542.78/1546.92 c #Conflicts: 765000 | #Constraints: 107076
1542.78/1546.92 c #Conflicts: 766000 | #Constraints: 108076
1542.78/1546.92 c #Conflicts: 767000 | #Constraints: 109076
1542.78/1546.92 c #Conflicts: 768000 | #Constraints: 110076
1542.78/1546.92 c #Conflicts: 769000 | #Constraints: 111076
1542.78/1546.92 c #Conflicts: 770000 | #Constraints: 112076
1542.78/1546.92 c #Conflicts: 771000 | #Constraints: 113076
1542.78/1546.92 c #Conflicts: 772000 | #Constraints: 114076
1542.78/1546.92 c #Conflicts: 773000 | #Constraints: 115076
1542.78/1546.92 c #Conflicts: 774000 | #Constraints: 116076
1542.78/1546.92 c INPROCESSING
1542.78/1546.92 c GARBAGE COLLECT
1542.78/1546.92 c #Conflicts: 775000 | #Constraints: 99686
1542.78/1546.92 c #Conflicts: 776000 | #Constraints: 100686
1542.78/1546.92 c #Conflicts: 777000 | #Constraints: 101686
1542.78/1546.92 c #Conflicts: 778000 | #Constraints: 102686
1542.78/1546.92 c #Conflicts: 779000 | #Constraints: 103686
1542.78/1546.92 c #Conflicts: 780000 | #Constraints: 104686
1542.78/1546.92 c #Conflicts: 781000 | #Constraints: 105686
1542.78/1546.92 c #Conflicts: 782000 | #Constraints: 106686
1542.78/1546.92 c #Conflicts: 783000 | #Constraints: 107686
1542.78/1546.92 c #Conflicts: 784000 | #Constraints: 108686
1542.78/1546.92 c #Conflicts: 785000 | #Constraints: 109686
1542.78/1546.92 c #Conflicts: 786000 | #Constraints: 110686
1542.78/1546.92 c #Conflicts: 787000 | #Constraints: 111686
1542.78/1546.92 c #Conflicts: 788000 | #Constraints: 112686
1542.78/1546.92 c #Conflicts: 789000 | #Constraints: 113686
1542.78/1546.92 c #Conflicts: 790000 | #Constraints: 114686
1542.78/1546.92 c #Conflicts: 791000 | #Constraints: 115686
1542.78/1546.92 c #Conflicts: 792000 | #Constraints: 116686
1542.78/1546.92 c INPROCESSING
1542.78/1546.92 c GARBAGE COLLECT
1542.78/1546.92 c #Conflicts: 793000 | #Constraints: 100101
1542.78/1546.92 c #Conflicts: 794000 | #Constraints: 101101
1542.78/1546.92 c #Conflicts: 795000 | #Constraints: 102101
1542.78/1546.92 c #Conflicts: 796000 | #Constraints: 103101
1542.78/1546.92 c #Conflicts: 797000 | #Constraints: 104101
1542.78/1546.92 c #Conflicts: 798000 | #Constraints: 105101
1542.78/1546.92 c #Conflicts: 799000 | #Constraints: 106101
1542.78/1546.92 c #Conflicts: 800000 | #Constraints: 107101
1542.78/1546.92 c #Conflicts: 801000 | #Constraints: 108101
1542.78/1546.92 c #Conflicts: 802000 | #Constraints: 109101
1542.78/1546.92 c #Conflicts: 803000 | #Constraints: 110101
1741.65/1746.34 c #Conflicts: 804000 | #Constraints: 111101
1741.65/1746.34 c #Conflicts: 805000 | #Constraints: 112101
1741.65/1746.34 c #Conflicts: 806000 | #Constraints: 113101
1741.65/1746.34 c #Conflicts: 807000 | #Constraints: 114101
1741.65/1746.34 c #Conflicts: 808000 | #Constraints: 115101
1741.65/1746.34 c #Conflicts: 809000 | #Constraints: 116101
1741.65/1746.34 c #Conflicts: 810000 | #Constraints: 117101
1741.65/1746.34 c INPROCESSING
1741.65/1746.34 c GARBAGE COLLECT
1741.65/1746.34 c #Conflicts: 811000 | #Constraints: 100296
1741.65/1746.34 c #Conflicts: 812000 | #Constraints: 101296
1741.65/1746.34 c #Conflicts: 813000 | #Constraints: 102296
1741.65/1746.34 c #Conflicts: 814000 | #Constraints: 103296
1741.65/1746.34 c #Conflicts: 815000 | #Constraints: 104296
1741.65/1746.34 c #Conflicts: 816000 | #Constraints: 105296
1741.65/1746.34 c #Conflicts: 817000 | #Constraints: 106296
1741.65/1746.34 c #Conflicts: 818000 | #Constraints: 107296
1741.65/1746.34 c #Conflicts: 819000 | #Constraints: 108296
1741.65/1746.34 c #Conflicts: 820000 | #Constraints: 109296
1741.65/1746.34 c #Conflicts: 821000 | #Constraints: 110296
1741.65/1746.34 c #Conflicts: 822000 | #Constraints: 111296
1741.65/1746.34 c #Conflicts: 823000 | #Constraints: 112296
1741.65/1746.34 c #Conflicts: 824000 | #Constraints: 113296
1741.65/1746.34 c #Conflicts: 825000 | #Constraints: 114296
1741.65/1746.34 c #Conflicts: 826000 | #Constraints: 115296
1741.65/1746.34 c #Conflicts: 827000 | #Constraints: 116296
1741.65/1746.34 c #Conflicts: 828000 | #Constraints: 117296
1741.65/1746.34 c INPROCESSING
1741.65/1746.34 c GARBAGE COLLECT
1741.65/1746.34 c #Conflicts: 829000 | #Constraints: 100324
1741.65/1746.34 c #Conflicts: 830000 | #Constraints: 101324
1741.65/1746.34 c #Conflicts: 831000 | #Constraints: 102324
1741.65/1746.34 c #Conflicts: 832000 | #Constraints: 103324
1741.65/1746.34 c #Conflicts: 833000 | #Constraints: 104324
1741.65/1746.34 c #Conflicts: 834000 | #Constraints: 105324
1741.65/1746.34 c #Conflicts: 835000 | #Constraints: 106324
1741.65/1746.34 c #Conflicts: 836000 | #Constraints: 107324
1741.65/1746.34 c #Conflicts: 837000 | #Constraints: 108324
1741.65/1746.34 c #Conflicts: 838000 | #Constraints: 109324
1741.65/1746.34 c #Conflicts: 839000 | #Constraints: 110324
1741.65/1746.34 c #Conflicts: 840000 | #Constraints: 111324
1741.65/1746.34 c #Conflicts: 841000 | #Constraints: 112324
1741.65/1746.34 c #Conflicts: 842000 | #Constraints: 113324
1741.65/1746.34 c #Conflicts: 843000 | #Constraints: 114324
1741.65/1746.34 c #Conflicts: 844000 | #Constraints: 115324
1741.65/1746.34 c #Conflicts: 845000 | #Constraints: 116324
1741.65/1746.34 c #Conflicts: 846000 | #Constraints: 117324
1741.65/1746.34 c INPROCESSING
1741.65/1746.34 c GARBAGE COLLECT
1741.65/1746.34 c #Conflicts: 847000 | #Constraints: 100120
1741.65/1746.34 c #Conflicts: 848000 | #Constraints: 101120
1741.65/1746.34 c #Conflicts: 849000 | #Constraints: 102120
1741.65/1746.34 c #Conflicts: 850000 | #Constraints: 103120
1741.65/1746.34 c #Conflicts: 851000 | #Constraints: 104120
1741.65/1746.34 c #Conflicts: 852000 | #Constraints: 105120
1741.65/1746.34 c #Conflicts: 853000 | #Constraints: 106120
1741.65/1746.34 c #Conflicts: 854000 | #Constraints: 107120
1741.65/1746.34 c #Conflicts: 855000 | #Constraints: 108120
1741.65/1746.34 c #Conflicts: 856000 | #Constraints: 109120
1741.65/1746.34 c #Conflicts: 857000 | #Constraints: 110120
1741.65/1746.34 c #Conflicts: 858000 | #Constraints: 111120
1741.65/1746.34 c #Conflicts: 859000 | #Constraints: 112120
1741.65/1746.34 c #Conflicts: 860000 | #Constraints: 113120
1741.65/1746.34 c #Conflicts: 861000 | #Constraints: 114120
1741.65/1746.34 c #Conflicts: 862000 | #Constraints: 115120
1741.65/1746.34 c #Conflicts: 863000 | #Constraints: 116120
1741.65/1746.34 c #Conflicts: 864000 | #Constraints: 117120
1741.65/1746.34 c #Conflicts: 865000 | #Constraints: 118120
1741.65/1746.34 c INPROCESSING
1741.65/1746.34 c GARBAGE COLLECT
1741.65/1746.34 c #Conflicts: 866000 | #Constraints: 100702
1741.65/1746.34 c #Conflicts: 867000 | #Constraints: 101702
1741.65/1746.34 c #Conflicts: 868000 | #Constraints: 102702
1741.65/1746.34 c #Conflicts: 869000 | #Constraints: 103702
1741.65/1746.34 c #Conflicts: 870000 | #Constraints: 104702
1741.65/1746.34 c #Conflicts: 871000 | #Constraints: 105702
1741.65/1746.34 c #Conflicts: 872000 | #Constraints: 106702
1741.65/1746.34 c #Conflicts: 873000 | #Constraints: 107702
1741.65/1746.34 c #Conflicts: 874000 | #Constraints: 108702
1741.65/1746.34 c #Conflicts: 875000 | #Constraints: 109702
1741.65/1746.34 c #Conflicts: 876000 | #Constraints: 110702
1741.65/1746.34 c #Conflicts: 877000 | #Constraints: 111702
1741.65/1746.34 c #Conflicts: 878000 | #Constraints: 112702
1741.65/1746.34 c #Conflicts: 879000 | #Constraints: 113702
1741.65/1746.34 c #Conflicts: 880000 | #Constraints: 114702
1948.79/1954.00 c #Conflicts: 881000 | #Constraints: 115702
1948.79/1954.00 c #Conflicts: 882000 | #Constraints: 116702
1948.79/1954.00 c #Conflicts: 883000 | #Constraints: 117702
1948.79/1954.00 c #Conflicts: 884000 | #Constraints: 118702
1948.79/1954.00 c INPROCESSING
1948.79/1954.00 c GARBAGE COLLECT
1948.79/1954.00 c #Conflicts: 885000 | #Constraints: 101090
1948.79/1954.00 c #Conflicts: 886000 | #Constraints: 102090
1948.79/1954.00 c #Conflicts: 887000 | #Constraints: 103090
1948.79/1954.00 c #Conflicts: 888000 | #Constraints: 104090
1948.79/1954.00 c #Conflicts: 889000 | #Constraints: 105090
1948.79/1954.00 c #Conflicts: 890000 | #Constraints: 106090
1948.79/1954.00 c #Conflicts: 891000 | #Constraints: 107090
1948.79/1954.00 c #Conflicts: 892000 | #Constraints: 108090
1948.79/1954.00 c #Conflicts: 893000 | #Constraints: 109090
1948.79/1954.00 c #Conflicts: 894000 | #Constraints: 110090
1948.79/1954.00 c #Conflicts: 895000 | #Constraints: 111090
1948.79/1954.00 c #Conflicts: 896000 | #Constraints: 112090
1948.79/1954.00 c #Conflicts: 897000 | #Constraints: 113090
1948.79/1954.00 c #Conflicts: 898000 | #Constraints: 114090
1948.79/1954.00 c #Conflicts: 899000 | #Constraints: 115090
1948.79/1954.00 c #Conflicts: 900000 | #Constraints: 116090
1948.79/1954.00 c #Conflicts: 901000 | #Constraints: 117090
1948.79/1954.00 c #Conflicts: 902000 | #Constraints: 118090
1948.79/1954.00 c #Conflicts: 903000 | #Constraints: 119090
1948.79/1954.00 c INPROCESSING
1948.79/1954.00 c GARBAGE COLLECT
1948.79/1954.00 c #Conflicts: 904000 | #Constraints: 101313
1948.79/1954.00 c #Conflicts: 905000 | #Constraints: 102313
1948.79/1954.00 c #Conflicts: 906000 | #Constraints: 103313
1948.79/1954.00 c #Conflicts: 907000 | #Constraints: 104313
1948.79/1954.00 c #Conflicts: 908000 | #Constraints: 105313
1948.79/1954.00 c #Conflicts: 909000 | #Constraints: 106313
1948.79/1954.00 c #Conflicts: 910000 | #Constraints: 107313
1948.79/1954.00 c #Conflicts: 911000 | #Constraints: 108313
1948.79/1954.00 c #Conflicts: 912000 | #Constraints: 109313
1948.79/1954.00 c #Conflicts: 913000 | #Constraints: 110313
1948.79/1954.00 c #Conflicts: 914000 | #Constraints: 111313
1948.79/1954.00 c #Conflicts: 915000 | #Constraints: 112313
1948.79/1954.00 c #Conflicts: 916000 | #Constraints: 113313
1948.79/1954.00 c #Conflicts: 917000 | #Constraints: 114313
1948.79/1954.00 c #Conflicts: 918000 | #Constraints: 115313
1948.79/1954.00 c #Conflicts: 919000 | #Constraints: 116313
1948.79/1954.00 c #Conflicts: 920000 | #Constraints: 117313
1948.79/1954.00 c #Conflicts: 921000 | #Constraints: 118313
1948.79/1954.00 c #Conflicts: 922000 | #Constraints: 119313
1948.79/1954.00 c INPROCESSING
1948.79/1954.00 c GARBAGE COLLECT
1948.79/1954.00 c #Conflicts: 923000 | #Constraints: 101305
1948.79/1954.00 c #Conflicts: 924000 | #Constraints: 102305
1948.79/1954.00 c #Conflicts: 925000 | #Constraints: 103305
1948.79/1954.00 c #Conflicts: 926000 | #Constraints: 104305
1948.79/1954.00 c #Conflicts: 927000 | #Constraints: 105305
1948.79/1954.00 c #Conflicts: 928000 | #Constraints: 106305
1948.79/1954.00 c #Conflicts: 929000 | #Constraints: 107305
1948.79/1954.00 c #Conflicts: 930000 | #Constraints: 108305
1948.79/1954.00 c #Conflicts: 931000 | #Constraints: 109305
1948.79/1954.00 c #Conflicts: 932000 | #Constraints: 110305
1948.79/1954.00 c #Conflicts: 933000 | #Constraints: 111305
1948.79/1954.00 c #Conflicts: 934000 | #Constraints: 112305
1948.79/1954.00 c #Conflicts: 935000 | #Constraints: 113305
1948.79/1954.00 c #Conflicts: 936000 | #Constraints: 114305
1948.79/1954.00 c #Conflicts: 937000 | #Constraints: 115305
1948.79/1954.00 c #Conflicts: 938000 | #Constraints: 116305
1948.79/1954.00 c #Conflicts: 939000 | #Constraints: 117305
1948.79/1954.00 c #Conflicts: 940000 | #Constraints: 118305
1948.79/1954.00 c #Conflicts: 941000 | #Constraints: 119305
1948.79/1954.00 c INPROCESSING
1948.79/1954.00 c GARBAGE COLLECT
1948.79/1954.00 c #Conflicts: 942000 | #Constraints: 101107
1948.79/1954.00 c #Conflicts: 943000 | #Constraints: 102107
1948.79/1954.00 c #Conflicts: 944000 | #Constraints: 103107
1948.79/1954.00 c #Conflicts: 945000 | #Constraints: 104107
1948.79/1954.00 c #Conflicts: 946000 | #Constraints: 105107
1948.79/1954.00 c #Conflicts: 947000 | #Constraints: 106107
1948.79/1954.00 c #Conflicts: 948000 | #Constraints: 107107
1948.79/1954.00 c #Conflicts: 949000 | #Constraints: 108107
1948.79/1954.00 c #Conflicts: 950000 | #Constraints: 109107
1948.79/1954.00 c #Conflicts: 951000 | #Constraints: 110107
1948.79/1954.00 c #Conflicts: 952000 | #Constraints: 111107
1948.79/1954.00 c #Conflicts: 953000 | #Constraints: 112107
1948.79/1954.00 c #Conflicts: 954000 | #Constraints: 113107
1948.79/1954.00 c #Conflicts: 955000 | #Constraints: 114107
1948.79/1954.00 c #Conflicts: 956000 | #Constraints: 115107
2127.03/2132.73 c #Conflicts: 957000 | #Constraints: 116107
2127.03/2132.73 c #Conflicts: 958000 | #Constraints: 117107
2127.03/2132.73 c #Conflicts: 959000 | #Constraints: 118107
2127.03/2132.73 c #Conflicts: 960000 | #Constraints: 119107
2127.03/2132.73 c #Conflicts: 961000 | #Constraints: 120107
2127.03/2132.73 c INPROCESSING
2127.03/2132.73 c GARBAGE COLLECT
2127.03/2132.73 c #Conflicts: 962000 | #Constraints: 101709
2127.03/2132.73 c #Conflicts: 963000 | #Constraints: 102709
2127.03/2132.73 c #Conflicts: 964000 | #Constraints: 103709
2127.03/2132.73 c #Conflicts: 965000 | #Constraints: 104709
2127.03/2132.73 c #Conflicts: 966000 | #Constraints: 105709
2127.03/2132.73 c #Conflicts: 967000 | #Constraints: 106709
2127.03/2132.73 c #Conflicts: 968000 | #Constraints: 107709
2127.03/2132.73 c #Conflicts: 969000 | #Constraints: 108709
2127.03/2132.73 c #Conflicts: 970000 | #Constraints: 109709
2127.03/2132.73 c #Conflicts: 971000 | #Constraints: 110709
2127.03/2132.73 c #Conflicts: 972000 | #Constraints: 111709
2127.03/2132.73 c #Conflicts: 973000 | #Constraints: 112709
2127.03/2132.73 c #Conflicts: 974000 | #Constraints: 113709
2127.03/2132.73 c #Conflicts: 975000 | #Constraints: 114709
2127.03/2132.73 c #Conflicts: 976000 | #Constraints: 115709
2127.03/2132.73 c #Conflicts: 977000 | #Constraints: 116709
2127.03/2132.73 c #Conflicts: 978000 | #Constraints: 117709
2127.03/2132.73 c #Conflicts: 979000 | #Constraints: 118709
2127.03/2132.73 c #Conflicts: 980000 | #Constraints: 119709
2127.03/2132.73 c #Conflicts: 981000 | #Constraints: 120709
2127.03/2132.73 c INPROCESSING
2127.03/2132.73 c GARBAGE COLLECT
2127.03/2132.73 c #Conflicts: 982000 | #Constraints: 102104
2127.03/2132.73 c #Conflicts: 983000 | #Constraints: 103104
2127.03/2132.73 c #Conflicts: 984000 | #Constraints: 104104
2127.03/2132.73 c #Conflicts: 985000 | #Constraints: 105104
2127.03/2132.73 c #Conflicts: 986000 | #Constraints: 106104
2127.03/2132.73 c #Conflicts: 987000 | #Constraints: 107104
2127.03/2132.73 c #Conflicts: 988000 | #Constraints: 108104
2127.03/2132.73 c #Conflicts: 989000 | #Constraints: 109104
2127.03/2132.73 c #Conflicts: 990000 | #Constraints: 110104
2127.03/2132.73 c #Conflicts: 991000 | #Constraints: 111104
2127.03/2132.73 c #Conflicts: 992000 | #Constraints: 112104
2127.03/2132.73 c #Conflicts: 993000 | #Constraints: 113104
2127.03/2132.73 c #Conflicts: 994000 | #Constraints: 114104
2127.03/2132.73 c #Conflicts: 995000 | #Constraints: 115104
2127.03/2132.73 c #Conflicts: 996000 | #Constraints: 116104
2127.03/2132.73 c #Conflicts: 997000 | #Constraints: 117104
2127.03/2132.73 c #Conflicts: 998000 | #Constraints: 118104
2127.03/2132.73 c #Conflicts: 999000 | #Constraints: 119104
2127.03/2132.73 c #Conflicts: 1000000 | #Constraints: 120104
2127.03/2132.73 c #Conflicts: 1001000 | #Constraints: 121104
2127.03/2132.73 c INPROCESSING
2127.03/2132.73 c GARBAGE COLLECT
2127.03/2132.73 c #Conflicts: 1002000 | #Constraints: 102314
2127.03/2132.73 c #Conflicts: 1003000 | #Constraints: 103314
2127.03/2132.73 c #Conflicts: 1004000 | #Constraints: 104314
2127.03/2132.73 c #Conflicts: 1005000 | #Constraints: 105314
2127.03/2132.73 c #Conflicts: 1006000 | #Constraints: 106314
2127.03/2132.73 c #Conflicts: 1007000 | #Constraints: 107314
2127.03/2132.73 c #Conflicts: 1008000 | #Constraints: 108314
2127.03/2132.73 c #Conflicts: 1009000 | #Constraints: 109314
2127.03/2132.73 c #Conflicts: 1010000 | #Constraints: 110314
2127.03/2132.73 c #Conflicts: 1011000 | #Constraints: 111314
2127.03/2132.73 c #Conflicts: 1012000 | #Constraints: 112314
2127.03/2132.73 c #Conflicts: 1013000 | #Constraints: 113314
2127.03/2132.73 c #Conflicts: 1014000 | #Constraints: 114314
2127.03/2132.73 c #Conflicts: 1015000 | #Constraints: 115314
2127.03/2132.73 c #Conflicts: 1016000 | #Constraints: 116314
2127.03/2132.73 c #Conflicts: 1017000 | #Constraints: 117314
2127.03/2132.73 c #Conflicts: 1018000 | #Constraints: 118314
2127.03/2132.73 c #Conflicts: 1019000 | #Constraints: 119314
2127.03/2132.73 c #Conflicts: 1020000 | #Constraints: 120314
2127.03/2132.73 c #Conflicts: 1021000 | #Constraints: 121314
2127.03/2132.73 c INPROCESSING
2127.03/2132.73 c GARBAGE COLLECT
2127.03/2132.73 c #Conflicts: 1022000 | #Constraints: 102342
2127.03/2132.73 c #Conflicts: 1023000 | #Constraints: 103342
2127.03/2132.73 c #Conflicts: 1024000 | #Constraints: 104342
2127.03/2132.73 c #Conflicts: 1025000 | #Constraints: 105342
2127.03/2132.73 c #Conflicts: 1026000 | #Constraints: 106342
2127.03/2132.73 c #Conflicts: 1027000 | #Constraints: 107342
2127.03/2132.73 c #Conflicts: 1028000 | #Constraints: 108342
2127.03/2132.73 c #Conflicts: 1029000 | #Constraints: 109342
2127.03/2132.73 c #Conflicts: 1030000 | #Constraints: 110342
2127.03/2132.73 c #Conflicts: 1031000 | #Constraints: 111342
2127.03/2132.73 c #Conflicts: 1032000 | #Constraints: 112342
2316.82/2323.05 c #Conflicts: 1033000 | #Constraints: 113342
2316.82/2323.05 c #Conflicts: 1034000 | #Constraints: 114342
2316.82/2323.05 c #Conflicts: 1035000 | #Constraints: 115342
2316.82/2323.05 c #Conflicts: 1036000 | #Constraints: 116342
2316.82/2323.05 c #Conflicts: 1037000 | #Constraints: 117342
2316.82/2323.05 c #Conflicts: 1038000 | #Constraints: 118342
2316.82/2323.05 c #Conflicts: 1039000 | #Constraints: 119342
2316.82/2323.05 c #Conflicts: 1040000 | #Constraints: 120342
2316.82/2323.05 c #Conflicts: 1041000 | #Constraints: 121342
2316.82/2323.05 c INPROCESSING
2316.82/2323.05 c GARBAGE COLLECT
2316.82/2323.05 c #Conflicts: 1042000 | #Constraints: 102131
2316.82/2323.05 c #Conflicts: 1043000 | #Constraints: 103131
2316.82/2323.05 c #Conflicts: 1044000 | #Constraints: 104131
2316.82/2323.05 c #Conflicts: 1045000 | #Constraints: 105131
2316.82/2323.05 c #Conflicts: 1046000 | #Constraints: 106131
2316.82/2323.05 c #Conflicts: 1047000 | #Constraints: 107131
2316.82/2323.05 c #Conflicts: 1048000 | #Constraints: 108131
2316.82/2323.05 c #Conflicts: 1049000 | #Constraints: 109131
2316.82/2323.05 c #Conflicts: 1050000 | #Constraints: 110131
2316.82/2323.05 c #Conflicts: 1051000 | #Constraints: 111131
2316.82/2323.05 c #Conflicts: 1052000 | #Constraints: 112131
2316.82/2323.05 c #Conflicts: 1053000 | #Constraints: 113131
2316.82/2323.05 c #Conflicts: 1054000 | #Constraints: 114131
2316.82/2323.05 c #Conflicts: 1055000 | #Constraints: 115131
2316.82/2323.05 c #Conflicts: 1056000 | #Constraints: 116131
2316.82/2323.05 c #Conflicts: 1057000 | #Constraints: 117131
2316.82/2323.05 c #Conflicts: 1058000 | #Constraints: 118131
2316.82/2323.05 c #Conflicts: 1059000 | #Constraints: 119131
2316.82/2323.05 c #Conflicts: 1060000 | #Constraints: 120131
2316.82/2323.05 c #Conflicts: 1061000 | #Constraints: 121131
2316.82/2323.05 c #Conflicts: 1062000 | #Constraints: 122131
2316.82/2323.05 c INPROCESSING
2316.82/2323.05 c GARBAGE COLLECT
2316.82/2323.05 c #Conflicts: 1063000 | #Constraints: 102725
2316.82/2323.05 c #Conflicts: 1064000 | #Constraints: 103725
2316.82/2323.05 c #Conflicts: 1065000 | #Constraints: 104725
2316.82/2323.05 c #Conflicts: 1066000 | #Constraints: 105725
2316.82/2323.05 c #Conflicts: 1067000 | #Constraints: 106725
2316.82/2323.05 c #Conflicts: 1068000 | #Constraints: 107725
2316.82/2323.05 c #Conflicts: 1069000 | #Constraints: 108725
2316.82/2323.05 c #Conflicts: 1070000 | #Constraints: 109725
2316.82/2323.05 c #Conflicts: 1071000 | #Constraints: 110725
2316.82/2323.05 c #Conflicts: 1072000 | #Constraints: 111725
2316.82/2323.05 c #Conflicts: 1073000 | #Constraints: 112725
2316.82/2323.05 c #Conflicts: 1074000 | #Constraints: 113725
2316.82/2323.05 c #Conflicts: 1075000 | #Constraints: 114725
2316.82/2323.05 c #Conflicts: 1076000 | #Constraints: 115725
2316.82/2323.05 c #Conflicts: 1077000 | #Constraints: 116725
2316.82/2323.05 c #Conflicts: 1078000 | #Constraints: 117725
2316.82/2323.05 c #Conflicts: 1079000 | #Constraints: 118725
2316.82/2323.05 c #Conflicts: 1080000 | #Constraints: 119725
2316.82/2323.05 c #Conflicts: 1081000 | #Constraints: 120725
2316.82/2323.05 c #Conflicts: 1082000 | #Constraints: 121725
2316.82/2323.05 c #Conflicts: 1083000 | #Constraints: 122725
2316.82/2323.05 c INPROCESSING
2316.82/2323.05 c GARBAGE COLLECT
2316.82/2323.05 c #Conflicts: 1084000 | #Constraints: 103100
2316.82/2323.05 c #Conflicts: 1085000 | #Constraints: 104100
2316.82/2323.05 c #Conflicts: 1086000 | #Constraints: 105100
2316.82/2323.05 c #Conflicts: 1087000 | #Constraints: 106100
2316.82/2323.05 c #Conflicts: 1088000 | #Constraints: 107100
2316.82/2323.05 c #Conflicts: 1089000 | #Constraints: 108100
2316.82/2323.05 c #Conflicts: 1090000 | #Constraints: 109100
2316.82/2323.05 c #Conflicts: 1091000 | #Constraints: 110100
2316.82/2323.05 c #Conflicts: 1092000 | #Constraints: 111100
2316.82/2323.05 c #Conflicts: 1093000 | #Constraints: 112100
2316.82/2323.05 c #Conflicts: 1094000 | #Constraints: 113100
2316.82/2323.05 c #Conflicts: 1095000 | #Constraints: 114100
2316.82/2323.05 c #Conflicts: 1096000 | #Constraints: 115100
2316.82/2323.05 c #Conflicts: 1097000 | #Constraints: 116100
2316.82/2323.05 c #Conflicts: 1098000 | #Constraints: 117100
2316.82/2323.05 c #Conflicts: 1099000 | #Constraints: 118100
2316.82/2323.05 c #Conflicts: 1100000 | #Constraints: 119100
2316.82/2323.05 c #Conflicts: 1101000 | #Constraints: 120100
2316.82/2323.05 c #Conflicts: 1102000 | #Constraints: 121100
2316.82/2323.05 c #Conflicts: 1103000 | #Constraints: 122100
2316.82/2323.05 c #Conflicts: 1104000 | #Constraints: 123100
2316.82/2323.05 c INPROCESSING
2316.82/2323.05 c GARBAGE COLLECT
2316.82/2323.05 c #Conflicts: 1105000 | #Constraints: 103343
2316.82/2323.05 c #Conflicts: 1106000 | #Constraints: 104343
2316.82/2323.05 c #Conflicts: 1107000 | #Constraints: 105343
2316.82/2323.05 c #Conflicts: 1108000 | #Constraints: 106343
2548.42/2555.24 c #Conflicts: 1109000 | #Constraints: 107343
2548.42/2555.24 c #Conflicts: 1110000 | #Constraints: 108343
2548.42/2555.24 c #Conflicts: 1111000 | #Constraints: 109343
2548.42/2555.24 c #Conflicts: 1112000 | #Constraints: 110343
2548.42/2555.24 c #Conflicts: 1113000 | #Constraints: 111343
2548.42/2555.24 c #Conflicts: 1114000 | #Constraints: 112343
2548.42/2555.24 c #Conflicts: 1115000 | #Constraints: 113343
2548.42/2555.24 c #Conflicts: 1116000 | #Constraints: 114343
2548.42/2555.24 c #Conflicts: 1117000 | #Constraints: 115343
2548.42/2555.24 c #Conflicts: 1118000 | #Constraints: 116343
2548.42/2555.24 c #Conflicts: 1119000 | #Constraints: 117343
2548.42/2555.24 c #Conflicts: 1120000 | #Constraints: 118343
2548.42/2555.24 c #Conflicts: 1121000 | #Constraints: 119343
2548.42/2555.24 c #Conflicts: 1122000 | #Constraints: 120343
2548.42/2555.24 c #Conflicts: 1123000 | #Constraints: 121343
2548.42/2555.24 c #Conflicts: 1124000 | #Constraints: 122343
2548.42/2555.24 c #Conflicts: 1125000 | #Constraints: 123343
2548.42/2555.24 c INPROCESSING
2548.42/2555.24 c GARBAGE COLLECT
2548.42/2555.24 c #Conflicts: 1126000 | #Constraints: 103335
2548.42/2555.24 c #Conflicts: 1127000 | #Constraints: 104335
2548.42/2555.24 c #Conflicts: 1128000 | #Constraints: 105335
2548.42/2555.24 c #Conflicts: 1129000 | #Constraints: 106335
2548.42/2555.24 c #Conflicts: 1130000 | #Constraints: 107335
2548.42/2555.24 c #Conflicts: 1131000 | #Constraints: 108335
2548.42/2555.24 c #Conflicts: 1132000 | #Constraints: 109335
2548.42/2555.24 c #Conflicts: 1133000 | #Constraints: 110335
2548.42/2555.24 c #Conflicts: 1134000 | #Constraints: 111335
2548.42/2555.24 c #Conflicts: 1135000 | #Constraints: 112335
2548.42/2555.24 c #Conflicts: 1136000 | #Constraints: 113335
2548.42/2555.24 c #Conflicts: 1137000 | #Constraints: 114335
2548.42/2555.24 c #Conflicts: 1138000 | #Constraints: 115335
2548.42/2555.24 c #Conflicts: 1139000 | #Constraints: 116335
2548.42/2555.24 c #Conflicts: 1140000 | #Constraints: 117335
2548.42/2555.24 c #Conflicts: 1141000 | #Constraints: 118335
2548.42/2555.24 c #Conflicts: 1142000 | #Constraints: 119335
2548.42/2555.24 c #Conflicts: 1143000 | #Constraints: 120335
2548.42/2555.24 c #Conflicts: 1144000 | #Constraints: 121335
2548.42/2555.24 c #Conflicts: 1145000 | #Constraints: 122335
2548.42/2555.24 c #Conflicts: 1146000 | #Constraints: 123335
2548.42/2555.24 c INPROCESSING
2548.42/2555.24 c GARBAGE COLLECT
2548.42/2555.24 c #Conflicts: 1147000 | #Constraints: 103140
2548.42/2555.24 c #Conflicts: 1148000 | #Constraints: 104140
2548.42/2555.24 c #Conflicts: 1149000 | #Constraints: 105140
2548.42/2555.24 c #Conflicts: 1150000 | #Constraints: 106140
2548.42/2555.24 c #Conflicts: 1151000 | #Constraints: 107140
2548.42/2555.24 c #Conflicts: 1152000 | #Constraints: 108140
2548.42/2555.24 c #Conflicts: 1153000 | #Constraints: 109140
2548.42/2555.24 c #Conflicts: 1154000 | #Constraints: 110140
2548.42/2555.24 c #Conflicts: 1155000 | #Constraints: 111140
2548.42/2555.24 c #Conflicts: 1156000 | #Constraints: 112140
2548.42/2555.24 c #Conflicts: 1157000 | #Constraints: 113140
2548.42/2555.24 c #Conflicts: 1158000 | #Constraints: 114140
2548.42/2555.24 c #Conflicts: 1159000 | #Constraints: 115140
2548.42/2555.24 c #Conflicts: 1160000 | #Constraints: 116140
2548.42/2555.24 c #Conflicts: 1161000 | #Constraints: 117140
2548.42/2555.24 c #Conflicts: 1162000 | #Constraints: 118140
2548.42/2555.24 c #Conflicts: 1163000 | #Constraints: 119140
2548.42/2555.24 c #Conflicts: 1164000 | #Constraints: 120140
2548.42/2555.24 c #Conflicts: 1165000 | #Constraints: 121140
2548.42/2555.24 c #Conflicts: 1166000 | #Constraints: 122140
2548.42/2555.24 c #Conflicts: 1167000 | #Constraints: 123140
2548.42/2555.24 c #Conflicts: 1168000 | #Constraints: 124140
2548.42/2555.24 c INPROCESSING
2548.42/2555.24 c GARBAGE COLLECT
2548.42/2555.24 c #Conflicts: 1169000 | #Constraints: 103752
2548.42/2555.24 c #Conflicts: 1170000 | #Constraints: 104752
2548.42/2555.24 c #Conflicts: 1171000 | #Constraints: 105752
2548.42/2555.24 c #Conflicts: 1172000 | #Constraints: 106752
2548.42/2555.24 c #Conflicts: 1173000 | #Constraints: 107752
2548.42/2555.24 c #Conflicts: 1174000 | #Constraints: 108752
2548.42/2555.24 c #Conflicts: 1175000 | #Constraints: 109752
2548.42/2555.24 c #Conflicts: 1176000 | #Constraints: 110752
2548.42/2555.24 c #Conflicts: 1177000 | #Constraints: 111752
2548.42/2555.24 c #Conflicts: 1178000 | #Constraints: 112752
2548.42/2555.24 c #Conflicts: 1179000 | #Constraints: 113752
2548.42/2555.24 c #Conflicts: 1180000 | #Constraints: 114752
2548.42/2555.24 c #Conflicts: 1181000 | #Constraints: 115752
2548.42/2555.24 c #Conflicts: 1182000 | #Constraints: 116752
2548.42/2555.24 c #Conflicts: 1183000 | #Constraints: 117752
2548.42/2555.24 c #Conflicts: 1184000 | #Constraints: 118752
2548.42/2555.24 c #Conflicts: 1185000 | #Constraints: 119752
2790.27/2797.74 c #Conflicts: 1186000 | #Constraints: 120752
2790.27/2797.74 c #Conflicts: 1187000 | #Constraints: 121752
2790.27/2797.74 c #Conflicts: 1188000 | #Constraints: 122752
2790.27/2797.74 c #Conflicts: 1189000 | #Constraints: 123752
2790.27/2797.74 c #Conflicts: 1190000 | #Constraints: 124752
2790.27/2797.74 c INPROCESSING
2790.27/2797.74 c GARBAGE COLLECT
2790.27/2797.74 c #Conflicts: 1191000 | #Constraints: 104131
2790.27/2797.74 c #Conflicts: 1192000 | #Constraints: 105131
2790.27/2797.74 c #Conflicts: 1193000 | #Constraints: 106131
2790.27/2797.74 c #Conflicts: 1194000 | #Constraints: 107131
2790.27/2797.74 c #Conflicts: 1195000 | #Constraints: 108131
2790.27/2797.74 c #Conflicts: 1196000 | #Constraints: 109131
2790.27/2797.74 c #Conflicts: 1197000 | #Constraints: 110131
2790.27/2797.74 c #Conflicts: 1198000 | #Constraints: 111131
2790.27/2797.74 c #Conflicts: 1199000 | #Constraints: 112131
2790.27/2797.74 c #Conflicts: 1200000 | #Constraints: 113131
2790.27/2797.74 c #Conflicts: 1201000 | #Constraints: 114131
2790.27/2797.74 c #Conflicts: 1202000 | #Constraints: 115131
2790.27/2797.74 c #Conflicts: 1203000 | #Constraints: 116131
2790.27/2797.74 c #Conflicts: 1204000 | #Constraints: 117131
2790.27/2797.74 c #Conflicts: 1205000 | #Constraints: 118131
2790.27/2797.74 c #Conflicts: 1206000 | #Constraints: 119131
2790.27/2797.74 c #Conflicts: 1207000 | #Constraints: 120131
2790.27/2797.74 c #Conflicts: 1208000 | #Constraints: 121131
2790.27/2797.74 c #Conflicts: 1209000 | #Constraints: 122131
2790.27/2797.74 c #Conflicts: 1210000 | #Constraints: 123131
2790.27/2797.74 c #Conflicts: 1211000 | #Constraints: 124131
2790.27/2797.74 c #Conflicts: 1212000 | #Constraints: 125131
2790.27/2797.74 c INPROCESSING
2790.27/2797.74 c GARBAGE COLLECT
2790.27/2797.74 c #Conflicts: 1213000 | #Constraints: 104324
2790.27/2797.74 c #Conflicts: 1214000 | #Constraints: 105324
2790.27/2797.74 c #Conflicts: 1215000 | #Constraints: 106324
2790.27/2797.74 c #Conflicts: 1216000 | #Constraints: 107324
2790.27/2797.74 c #Conflicts: 1217000 | #Constraints: 108324
2790.27/2797.74 c #Conflicts: 1218000 | #Constraints: 109324
2790.27/2797.74 c #Conflicts: 1219000 | #Constraints: 110324
2790.27/2797.74 c #Conflicts: 1220000 | #Constraints: 111324
2790.27/2797.74 c #Conflicts: 1221000 | #Constraints: 112324
2790.27/2797.74 c #Conflicts: 1222000 | #Constraints: 113324
2790.27/2797.74 c #Conflicts: 1223000 | #Constraints: 114324
2790.27/2797.74 c #Conflicts: 1224000 | #Constraints: 115324
2790.27/2797.74 c #Conflicts: 1225000 | #Constraints: 116324
2790.27/2797.74 c #Conflicts: 1226000 | #Constraints: 117324
2790.27/2797.74 c #Conflicts: 1227000 | #Constraints: 118324
2790.27/2797.74 c #Conflicts: 1228000 | #Constraints: 119324
2790.27/2797.74 c #Conflicts: 1229000 | #Constraints: 120324
2790.27/2797.74 c #Conflicts: 1230000 | #Constraints: 121324
2790.27/2797.74 c #Conflicts: 1231000 | #Constraints: 122324
2790.27/2797.74 c #Conflicts: 1232000 | #Constraints: 123324
2790.27/2797.74 c #Conflicts: 1233000 | #Constraints: 124324
2790.27/2797.74 c #Conflicts: 1234000 | #Constraints: 125324
2790.27/2797.74 c INPROCESSING
2790.27/2797.74 c GARBAGE COLLECT
2790.27/2797.74 c #Conflicts: 1235000 | #Constraints: 104324
2790.27/2797.74 c #Conflicts: 1236000 | #Constraints: 105324
2790.27/2797.74 c #Conflicts: 1237000 | #Constraints: 106324
2790.27/2797.74 c #Conflicts: 1238000 | #Constraints: 107324
2790.27/2797.74 c #Conflicts: 1239000 | #Constraints: 108324
2790.27/2797.74 c #Conflicts: 1240000 | #Constraints: 109324
2790.27/2797.74 c #Conflicts: 1241000 | #Constraints: 110324
2790.27/2797.74 c #Conflicts: 1242000 | #Constraints: 111324
2790.27/2797.74 c #Conflicts: 1243000 | #Constraints: 112324
2790.27/2797.74 c #Conflicts: 1244000 | #Constraints: 113324
2790.27/2797.74 c #Conflicts: 1245000 | #Constraints: 114324
2790.27/2797.74 c #Conflicts: 1246000 | #Constraints: 115324
2790.27/2797.74 c #Conflicts: 1247000 | #Constraints: 116324
2790.27/2797.74 c #Conflicts: 1248000 | #Constraints: 117324
2790.27/2797.74 c #Conflicts: 1249000 | #Constraints: 118324
2790.27/2797.74 c #Conflicts: 1250000 | #Constraints: 119324
2790.27/2797.74 c #Conflicts: 1251000 | #Constraints: 120324
2790.27/2797.74 c #Conflicts: 1252000 | #Constraints: 121324
2790.27/2797.74 c #Conflicts: 1253000 | #Constraints: 122324
2790.27/2797.74 c #Conflicts: 1254000 | #Constraints: 123324
2790.27/2797.74 c #Conflicts: 1255000 | #Constraints: 124324
2790.27/2797.74 c #Conflicts: 1256000 | #Constraints: 125324
2790.27/2797.74 c INPROCESSING
2790.27/2797.74 c GARBAGE COLLECT
2790.27/2797.74 c #Conflicts: 1257000 | #Constraints: 104117
2790.27/2797.74 c #Conflicts: 1258000 | #Constraints: 105117
2790.27/2797.74 c #Conflicts: 1259000 | #Constraints: 106117
2790.27/2797.74 c #Conflicts: 1260000 | #Constraints: 107117
2790.27/2797.74 c #Conflicts: 1261000 | #Constraints: 108117
3050.69/3058.85 c #Conflicts: 1262000 | #Constraints: 109117
3050.69/3058.85 c #Conflicts: 1263000 | #Constraints: 110117
3050.69/3058.85 c #Conflicts: 1264000 | #Constraints: 111117
3050.69/3058.85 c #Conflicts: 1265000 | #Constraints: 112117
3050.69/3058.85 c #Conflicts: 1266000 | #Constraints: 113117
3050.69/3058.85 c #Conflicts: 1267000 | #Constraints: 114117
3050.69/3058.85 c #Conflicts: 1268000 | #Constraints: 115117
3050.69/3058.85 c #Conflicts: 1269000 | #Constraints: 116117
3050.69/3058.85 c #Conflicts: 1270000 | #Constraints: 117117
3050.69/3058.85 c #Conflicts: 1271000 | #Constraints: 118117
3050.69/3058.85 c #Conflicts: 1272000 | #Constraints: 119117
3050.69/3058.85 c #Conflicts: 1273000 | #Constraints: 120117
3050.69/3058.85 c #Conflicts: 1274000 | #Constraints: 121117
3050.69/3058.85 c #Conflicts: 1275000 | #Constraints: 122117
3050.69/3058.85 c #Conflicts: 1276000 | #Constraints: 123117
3050.69/3058.85 c #Conflicts: 1277000 | #Constraints: 124117
3050.69/3058.85 c #Conflicts: 1278000 | #Constraints: 125117
3050.69/3058.85 c #Conflicts: 1279000 | #Constraints: 126117
3050.69/3058.85 c INPROCESSING
3050.69/3058.85 c GARBAGE COLLECT
3050.69/3058.85 c #Conflicts: 1280000 | #Constraints: 104714
3050.69/3058.85 c #Conflicts: 1281000 | #Constraints: 105714
3050.69/3058.85 c #Conflicts: 1282000 | #Constraints: 106714
3050.69/3058.85 c #Conflicts: 1283000 | #Constraints: 107714
3050.69/3058.85 c #Conflicts: 1284000 | #Constraints: 108714
3050.69/3058.85 c #Conflicts: 1285000 | #Constraints: 109714
3050.69/3058.85 c #Conflicts: 1286000 | #Constraints: 110714
3050.69/3058.85 c #Conflicts: 1287000 | #Constraints: 111714
3050.69/3058.85 c #Conflicts: 1288000 | #Constraints: 112714
3050.69/3058.85 c #Conflicts: 1289000 | #Constraints: 113714
3050.69/3058.85 c #Conflicts: 1290000 | #Constraints: 114714
3050.69/3058.85 c #Conflicts: 1291000 | #Constraints: 115714
3050.69/3058.85 c #Conflicts: 1292000 | #Constraints: 116714
3050.69/3058.85 c #Conflicts: 1293000 | #Constraints: 117714
3050.69/3058.85 c #Conflicts: 1294000 | #Constraints: 118714
3050.69/3058.85 c #Conflicts: 1295000 | #Constraints: 119714
3050.69/3058.85 c #Conflicts: 1296000 | #Constraints: 120714
3050.69/3058.85 c #Conflicts: 1297000 | #Constraints: 121714
3050.69/3058.85 c #Conflicts: 1298000 | #Constraints: 122714
3050.69/3058.85 c #Conflicts: 1299000 | #Constraints: 123714
3050.69/3058.85 c #Conflicts: 1300000 | #Constraints: 124714
3050.69/3058.85 c #Conflicts: 1301000 | #Constraints: 125714
3050.69/3058.85 c #Conflicts: 1302000 | #Constraints: 126714
3050.69/3058.85 c INPROCESSING
3050.69/3058.85 c GARBAGE COLLECT
3050.69/3058.85 c #Conflicts: 1303000 | #Constraints: 105127
3050.69/3058.85 c #Conflicts: 1304000 | #Constraints: 106127
3050.69/3058.85 c #Conflicts: 1305000 | #Constraints: 107127
3050.69/3058.85 c #Conflicts: 1306000 | #Constraints: 108127
3050.69/3058.85 c #Conflicts: 1307000 | #Constraints: 109127
3050.69/3058.85 c #Conflicts: 1308000 | #Constraints: 110127
3050.69/3058.85 c #Conflicts: 1309000 | #Constraints: 111127
3050.69/3058.85 c #Conflicts: 1310000 | #Constraints: 112127
3050.69/3058.85 c #Conflicts: 1311000 | #Constraints: 113127
3050.69/3058.85 c #Conflicts: 1312000 | #Constraints: 114127
3050.69/3058.85 c #Conflicts: 1313000 | #Constraints: 115127
3050.69/3058.85 c #Conflicts: 1314000 | #Constraints: 116127
3050.69/3058.85 c #Conflicts: 1315000 | #Constraints: 117127
3050.69/3058.85 c #Conflicts: 1316000 | #Constraints: 118127
3050.69/3058.85 c #Conflicts: 1317000 | #Constraints: 119127
3050.69/3058.85 c #Conflicts: 1318000 | #Constraints: 120127
3050.69/3058.85 c #Conflicts: 1319000 | #Constraints: 121127
3050.69/3058.85 c #Conflicts: 1320000 | #Constraints: 122127
3050.69/3058.85 c #Conflicts: 1321000 | #Constraints: 123127
3050.69/3058.85 c #Conflicts: 1322000 | #Constraints: 124127
3050.69/3058.85 c #Conflicts: 1323000 | #Constraints: 125127
3050.69/3058.85 c #Conflicts: 1324000 | #Constraints: 126127
3050.69/3058.85 c #Conflicts: 1325000 | #Constraints: 127127
3050.69/3058.85 c INPROCESSING
3050.69/3058.85 c GARBAGE COLLECT
3050.69/3058.85 c #Conflicts: 1326000 | #Constraints: 105322
3050.69/3058.85 c #Conflicts: 1327000 | #Constraints: 106322
3050.69/3058.85 c #Conflicts: 1328000 | #Constraints: 107322
3050.69/3058.85 c #Conflicts: 1329000 | #Constraints: 108322
3050.69/3058.85 c #Conflicts: 1330000 | #Constraints: 109322
3050.69/3058.85 c #Conflicts: 1331000 | #Constraints: 110322
3050.69/3058.85 c #Conflicts: 1332000 | #Constraints: 111322
3050.69/3058.85 c #Conflicts: 1333000 | #Constraints: 112322
3050.69/3058.85 c #Conflicts: 1334000 | #Constraints: 113322
3050.69/3058.85 c #Conflicts: 1335000 | #Constraints: 114322
3050.69/3058.85 c #Conflicts: 1336000 | #Constraints: 115322
3050.69/3058.85 c #Conflicts: 1337000 | #Constraints: 116322
3050.69/3058.85 c #Conflicts: 1338000 | #Constraints: 117322
3308.57/3317.40 c #Conflicts: 1339000 | #Constraints: 118322
3308.57/3317.40 c #Conflicts: 1340000 | #Constraints: 119322
3308.57/3317.40 c #Conflicts: 1341000 | #Constraints: 120322
3308.57/3317.40 c #Conflicts: 1342000 | #Constraints: 121322
3308.57/3317.40 c #Conflicts: 1343000 | #Constraints: 122322
3308.57/3317.40 c #Conflicts: 1344000 | #Constraints: 123322
3308.57/3317.40 c #Conflicts: 1345000 | #Constraints: 124322
3308.57/3317.40 c #Conflicts: 1346000 | #Constraints: 125322
3308.57/3317.40 c #Conflicts: 1347000 | #Constraints: 126322
3308.57/3317.40 c #Conflicts: 1348000 | #Constraints: 127322
3308.57/3317.40 c INPROCESSING
3308.57/3317.40 c GARBAGE COLLECT
3308.57/3317.40 c #Conflicts: 1349000 | #Constraints: 105315
3308.57/3317.40 c #Conflicts: 1350000 | #Constraints: 106315
3308.57/3317.40 c #Conflicts: 1351000 | #Constraints: 107315
3308.57/3317.40 c #Conflicts: 1352000 | #Constraints: 108315
3308.57/3317.40 c #Conflicts: 1353000 | #Constraints: 109315
3308.57/3317.40 c #Conflicts: 1354000 | #Constraints: 110315
3308.57/3317.40 c #Conflicts: 1355000 | #Constraints: 111315
3308.57/3317.40 c #Conflicts: 1356000 | #Constraints: 112315
3308.57/3317.40 c #Conflicts: 1357000 | #Constraints: 113315
3308.57/3317.40 c #Conflicts: 1358000 | #Constraints: 114315
3308.57/3317.40 c #Conflicts: 1359000 | #Constraints: 115315
3308.57/3317.40 c #Conflicts: 1360000 | #Constraints: 116315
3308.57/3317.40 c #Conflicts: 1361000 | #Constraints: 117315
3308.57/3317.40 c #Conflicts: 1362000 | #Constraints: 118315
3308.57/3317.40 c #Conflicts: 1363000 | #Constraints: 119315
3308.57/3317.40 c #Conflicts: 1364000 | #Constraints: 120315
3308.57/3317.40 c #Conflicts: 1365000 | #Constraints: 121315
3308.57/3317.40 c #Conflicts: 1366000 | #Constraints: 122315
3308.57/3317.40 c #Conflicts: 1367000 | #Constraints: 123315
3308.57/3317.40 c #Conflicts: 1368000 | #Constraints: 124315
3308.57/3317.40 c #Conflicts: 1369000 | #Constraints: 125315
3308.57/3317.40 c #Conflicts: 1370000 | #Constraints: 126315
3308.57/3317.40 c #Conflicts: 1371000 | #Constraints: 127315
3308.57/3317.40 c INPROCESSING
3308.57/3317.40 c GARBAGE COLLECT
3308.57/3317.40 c #Conflicts: 1372000 | #Constraints: 105099
3308.57/3317.40 c #Conflicts: 1373000 | #Constraints: 106099
3308.57/3317.40 c #Conflicts: 1374000 | #Constraints: 107099
3308.57/3317.40 c #Conflicts: 1375000 | #Constraints: 108099
3308.57/3317.40 c #Conflicts: 1376000 | #Constraints: 109099
3308.57/3317.40 c #Conflicts: 1377000 | #Constraints: 110099
3308.57/3317.40 c #Conflicts: 1378000 | #Constraints: 111099
3308.57/3317.40 c #Conflicts: 1379000 | #Constraints: 112099
3308.57/3317.40 c #Conflicts: 1380000 | #Constraints: 113099
3308.57/3317.40 c #Conflicts: 1381000 | #Constraints: 114099
3308.57/3317.40 c #Conflicts: 1382000 | #Constraints: 115099
3308.57/3317.40 c #Conflicts: 1383000 | #Constraints: 116099
3308.57/3317.40 c #Conflicts: 1384000 | #Constraints: 117099
3308.57/3317.40 c #Conflicts: 1385000 | #Constraints: 118099
3308.57/3317.40 c #Conflicts: 1386000 | #Constraints: 119099
3308.57/3317.40 c #Conflicts: 1387000 | #Constraints: 120099
3308.57/3317.40 c #Conflicts: 1388000 | #Constraints: 121099
3308.57/3317.40 c #Conflicts: 1389000 | #Constraints: 122099
3308.57/3317.40 c #Conflicts: 1390000 | #Constraints: 123099
3308.57/3317.40 c #Conflicts: 1391000 | #Constraints: 124099
3308.57/3317.40 c #Conflicts: 1392000 | #Constraints: 125099
3308.57/3317.40 c #Conflicts: 1393000 | #Constraints: 126099
3308.57/3317.40 c #Conflicts: 1394000 | #Constraints: 127099
3308.57/3317.40 c #Conflicts: 1395000 | #Constraints: 128099
3308.57/3317.40 c INPROCESSING
3308.57/3317.40 c GARBAGE COLLECT
3308.57/3317.40 c #Conflicts: 1396000 | #Constraints: 105710
3308.57/3317.40 c #Conflicts: 1397000 | #Constraints: 106710
3308.57/3317.40 c #Conflicts: 1398000 | #Constraints: 107710
3308.57/3317.40 c #Conflicts: 1399000 | #Constraints: 108710
3308.57/3317.40 c #Conflicts: 1400000 | #Constraints: 109710
3308.57/3317.40 c #Conflicts: 1401000 | #Constraints: 110710
3308.57/3317.40 c #Conflicts: 1402000 | #Constraints: 111710
3308.57/3317.40 c #Conflicts: 1403000 | #Constraints: 112710
3308.57/3317.40 c #Conflicts: 1404000 | #Constraints: 113710
3308.57/3317.40 c #Conflicts: 1405000 | #Constraints: 114710
3308.57/3317.40 c #Conflicts: 1406000 | #Constraints: 115710
3308.57/3317.40 c #Conflicts: 1407000 | #Constraints: 116710
3308.57/3317.40 c #Conflicts: 1408000 | #Constraints: 117710
3308.57/3317.40 c #Conflicts: 1409000 | #Constraints: 118710
3308.57/3317.40 c #Conflicts: 1410000 | #Constraints: 119710
3308.57/3317.40 c #Conflicts: 1411000 | #Constraints: 120710
3308.57/3317.40 c #Conflicts: 1412000 | #Constraints: 121710
3308.57/3317.40 c #Conflicts: 1413000 | #Constraints: 122710
3308.57/3317.40 c #Conflicts: 1414000 | #Constraints: 123710
3308.57/3317.40 c #Conflicts: 1415000 | #Constraints: 124710
3574.58/3584.12 c #Conflicts: 1416000 | #Constraints: 125710
3574.58/3584.12 c #Conflicts: 1417000 | #Constraints: 126710
3574.58/3584.12 c #Conflicts: 1418000 | #Constraints: 127710
3574.58/3584.12 c #Conflicts: 1419000 | #Constraints: 128710
3574.58/3584.12 c INPROCESSING
3574.58/3584.12 c GARBAGE COLLECT
3574.58/3584.12 c #Conflicts: 1420000 | #Constraints: 106120
3574.58/3584.12 c #Conflicts: 1421000 | #Constraints: 107120
3574.58/3584.12 c #Conflicts: 1422000 | #Constraints: 108120
3574.58/3584.12 c #Conflicts: 1423000 | #Constraints: 109120
3574.58/3584.12 c #Conflicts: 1424000 | #Constraints: 110120
3574.58/3584.12 c #Conflicts: 1425000 | #Constraints: 111120
3574.58/3584.12 c #Conflicts: 1426000 | #Constraints: 112120
3574.58/3584.12 c #Conflicts: 1427000 | #Constraints: 113120
3574.58/3584.12 c #Conflicts: 1428000 | #Constraints: 114120
3574.58/3584.12 c #Conflicts: 1429000 | #Constraints: 115120
3574.58/3584.12 c #Conflicts: 1430000 | #Constraints: 116120
3574.58/3584.12 c #Conflicts: 1431000 | #Constraints: 117120
3574.58/3584.12 c #Conflicts: 1432000 | #Constraints: 118120
3574.58/3584.12 c #Conflicts: 1433000 | #Constraints: 119120
3574.58/3584.12 c #Conflicts: 1434000 | #Constraints: 120120
3574.58/3584.12 c #Conflicts: 1435000 | #Constraints: 121120
3574.58/3584.12 c #Conflicts: 1436000 | #Constraints: 122120
3574.58/3584.12 c #Conflicts: 1437000 | #Constraints: 123120
3574.58/3584.12 c #Conflicts: 1438000 | #Constraints: 124120
3574.58/3584.12 c #Conflicts: 1439000 | #Constraints: 125120
3574.58/3584.12 c #Conflicts: 1440000 | #Constraints: 126120
3574.58/3584.12 c #Conflicts: 1441000 | #Constraints: 127120
3574.58/3584.12 c #Conflicts: 1442000 | #Constraints: 128120
3574.58/3584.12 c #Conflicts: 1443000 | #Constraints: 129120
3574.58/3584.12 c INPROCESSING
3574.58/3584.12 c GARBAGE COLLECT
3574.58/3584.12 c #Conflicts: 1444000 | #Constraints: 106334
3574.58/3584.12 c #Conflicts: 1445000 | #Constraints: 107334
3574.58/3584.12 c #Conflicts: 1446000 | #Constraints: 108334
3574.58/3584.12 c #Conflicts: 1447000 | #Constraints: 109334
3574.58/3584.12 c #Conflicts: 1448000 | #Constraints: 110334
3574.58/3584.12 c #Conflicts: 1449000 | #Constraints: 111334
3574.58/3584.12 c #Conflicts: 1450000 | #Constraints: 112334
3574.58/3584.12 c #Conflicts: 1451000 | #Constraints: 113334
3574.58/3584.12 c #Conflicts: 1452000 | #Constraints: 114334
3574.58/3584.12 c #Conflicts: 1453000 | #Constraints: 115334
3574.58/3584.12 c #Conflicts: 1454000 | #Constraints: 116334
3574.58/3584.12 c #Conflicts: 1455000 | #Constraints: 117334
3574.58/3584.12 c #Conflicts: 1456000 | #Constraints: 118334
3574.58/3584.12 c #Conflicts: 1457000 | #Constraints: 119334
3574.58/3584.12 c #Conflicts: 1458000 | #Constraints: 120334
3574.58/3584.12 c #Conflicts: 1459000 | #Constraints: 121334
3574.58/3584.12 c #Conflicts: 1460000 | #Constraints: 122334
3574.58/3584.12 c #Conflicts: 1461000 | #Constraints: 123334
3574.58/3584.12 c #Conflicts: 1462000 | #Constraints: 124334
3574.58/3584.12 c #Conflicts: 1463000 | #Constraints: 125334
3574.58/3584.12 c #Conflicts: 1464000 | #Constraints: 126334
3574.58/3584.12 c #Conflicts: 1465000 | #Constraints: 127334
3574.58/3584.12 c #Conflicts: 1466000 | #Constraints: 128334
3574.58/3584.12 c #Conflicts: 1467000 | #Constraints: 129334
3574.58/3584.12 c INPROCESSING
3574.58/3584.12 c GARBAGE COLLECT
3574.58/3584.12 c #Conflicts: 1468000 | #Constraints: 106340
3574.58/3584.12 c #Conflicts: 1469000 | #Constraints: 107340
3574.58/3584.12 c #Conflicts: 1470000 | #Constraints: 108340
3574.58/3584.12 c #Conflicts: 1471000 | #Constraints: 109340
3574.58/3584.12 c #Conflicts: 1472000 | #Constraints: 110340
3574.58/3584.12 c #Conflicts: 1473000 | #Constraints: 111340
3574.58/3584.12 c #Conflicts: 1474000 | #Constraints: 112340
3574.58/3584.12 c #Conflicts: 1475000 | #Constraints: 113340
3574.58/3584.12 c #Conflicts: 1476000 | #Constraints: 114340
3574.58/3584.12 c #Conflicts: 1477000 | #Constraints: 115340
3574.58/3584.12 c #Conflicts: 1478000 | #Constraints: 116340
3574.58/3584.12 c #Conflicts: 1479000 | #Constraints: 117340
3574.58/3584.12 c #Conflicts: 1480000 | #Constraints: 118340
3574.58/3584.12 c #Conflicts: 1481000 | #Constraints: 119340
3574.58/3584.12 c #Conflicts: 1482000 | #Constraints: 120340
3574.58/3584.12 c #Conflicts: 1483000 | #Constraints: 121340
3574.58/3584.12 c #Conflicts: 1484000 | #Constraints: 122340
3574.58/3584.12 c #Conflicts: 1485000 | #Constraints: 123340
3574.58/3584.12 c #Conflicts: 1486000 | #Constraints: 124340
3574.58/3584.12 c #Conflicts: 1487000 | #Constraints: 125340
3574.58/3584.12 c #Conflicts: 1488000 | #Constraints: 126340
3574.58/3584.12 c #Conflicts: 1489000 | #Constraints: 127340
3574.58/3584.12 c #Conflicts: 1490000 | #Constraints: 128340
3574.58/3584.12 c #Conflicts: 1491000 | #Constraints: 129340
3574.58/3584.12 c INPROCESSING
3574.58/3584.12 c GARBAGE COLLECT
3600.00/3609.60 c #Conflicts: 1492000 | #Constraints: 106117
3600.00/3609.60 c #Conflicts: 1493000 | #Constraints: 107117
3600.00/3609.60 c #Conflicts: 1494000 | #Constraints: 108117
3600.00/3609.60 c #Conflicts: 1495000 | #Constraints: 109117
3600.00/3609.60 c #Conflicts: 1496000 | #Constraints: 110117
3600.00/3609.60 c #Conflicts: 1497000 | #Constraints: 111117
3600.00/3609.60 c #Conflicts: 1498000 | #Constraints: 112117
3600.00/3609.60 c #Conflicts: 1499000 | #Constraints: 113117
3600.00/3609.60 c Program interrupted by user.
3600.00/3609.60 c cpu time 3592.51 s
3600.00/3609.60 c deterministic time 702735041749 7.03e+11
3600.00/3609.60 c optimization time 25.3974 s
3600.00/3609.60 c total solve time 3267.6 s
3600.00/3609.60 c core-guided solve time 3267.6 s
3600.00/3609.60 c propagation time 3104.39 s
3600.00/3609.60 c conflict analysis time 143.376 s
3600.00/3609.60 c propagations 36725496
3600.00/3609.60 c resolve steps 10696489
3600.00/3609.60 c decisions 1939670
3600.00/3609.60 c conflicts 1499660
3600.00/3609.60 c restarts 2938
3600.00/3609.60 c inprocessing phases 113
3600.00/3609.60 c input clauses 81281
3600.00/3609.60 c input cardinalities 24
3600.00/3609.60 c input general constraints 0
3600.00/3609.60 c input average constraint length 2.35
3600.00/3609.60 c input average constraint degree 1.27
3600.00/3609.60 c learned clauses 914754
3600.00/3609.60 c learned cardinalities 417912
3600.00/3609.60 c learned general constraints 166993
3600.00/3609.60 c learned average constraint length 1095.02
3600.00/3609.60 c learned average constraint degree 18.12
3600.00/3609.60 c watched constraints 166993
3600.00/3609.60 c counting constraints 0
3600.00/3609.60 c gcd simplifications 83211
3600.00/3609.60 c detected cardinalities 13063
3600.00/3609.60 c weakened non-implied lits 25667492
3600.00/3609.60 c weakened non-implying lits 63484
3600.00/3609.60 c original variables 1150
3600.00/3609.60 c clausal propagations 25729158
3600.00/3609.60 c cardinality propagations 5867737
3600.00/3609.60 c watched propagations 794278
3600.00/3609.60 c counting propagations 0
3600.00/3609.60 c watch lookups 20791818798
3600.00/3609.60 c watch backjump lookups 4536698
3600.00/3609.60 c watch checks 677539259466
3600.00/3609.60 c propagation checks 1037506499
3600.00/3609.60 c constraint additions 3283091599
3600.00/3609.60 c trail pops 40163522
3600.00/3609.60 c formula constraints 81068
3600.00/3609.60 c learned constraints 1499659
3600.00/3609.60 c bound constraints 24
3600.00/3609.60 c core-guided constraints 213
3600.00/3609.60 c encountered formula constraints 8628846
3600.00/3609.60 c encountered learned constraints 3508404
3600.00/3609.60 c encountered bound constraints 2363
3600.00/3609.60 c encountered core-guided constraints 56536
3600.00/3609.60 c LP total time 0 s
3600.00/3609.60 c LP solve time 0 s
3600.00/3609.60 c LP constraints added 0
3600.00/3609.60 c LP constraints removed 0
3600.00/3609.60 c LP pivots internal 0
3600.00/3609.60 c LP pivots root 0
3600.00/3609.60 c LP calls 0
3600.00/3609.60 c LP optimalities 0
3600.00/3609.60 c LP no pivot count 0
3600.00/3609.60 c LP infeasibilities 0
3600.00/3609.60 c LP valid Farkas constraints 0
3600.00/3609.60 c LP learned Farkas constraints 0
3600.00/3609.60 c LP basis resets 0
3600.00/3609.60 c LP cycling count 0
3600.00/3609.60 c LP singular count 0
3600.00/3609.60 c LP no primal count 0
3600.00/3609.60 c LP no farkas count 0
3600.00/3609.60 c LP other issue count 0
3600.00/3609.60 c LP Gomory cuts 0
3600.00/3609.60 c LP learned cuts 0
3600.00/3609.60 c LP deleted cuts 0
3600.00/3609.60 c LP encountered Gomory constraints 0
3600.00/3609.60 c LP encountered Farkas constraints 0
3600.00/3609.60 c LP encountered learned Farkas constraints 0
3600.00/3609.60 c CG auxiliary variables introduced 213
3600.00/3609.60 c CG solutions found 0
3600.00/3609.60 c CG cores constructed 23
3600.00/3609.60 c CG core cardinality constraints returned 0
3600.00/3609.60 c CG unit cores 0
3600.00/3609.60 c CG single cores 23
3600.00/3609.60 c CG blocks removed during cardinality reduction 0
3600.00/3609.60 c CG first core best 0
3600.00/3609.60 c CG decision core best 0
3600.00/3609.60 c CG core reduction tie 0
3600.00/3609.60 c CG core degree average 1.00
3600.00/3609.60 c CG core slack average 7.65
3600.00/3609.60 c CG exhausted 0
3600.00/3609.60 c CG exhaust time 0 s
3600.00/3609.60 c CG trimmed 0
3600.00/3609.60 c CG trim time 0.000157 s
3600.00/3609.60 c CG minimized 0
3600.00/3609.60 c CG minimize time 0 s
3600.00/3609.60 c CG am1 prop time 0.006226 s
3600.00/3609.60 c CG # am1s reformulated 213
3600.00/3609.60 c CG lower bound derived from am1s 936
3600.00/3609.60 c CG # clausal cores 23
3600.00/3609.60 c CG # cardinality cores 0
3600.00/3609.60 c CG # pb cores 0
3600.00/3609.60 c CG # pb reforms 0
3600.00/3609.60 c CG # cores discarded because of pb reform 0
3600.00/3609.60 d LOWERBOUND -191
3600.00/3609.60 d NCORES 23
3600.00/3609.60 d NPBCORES 0
3600.00/3609.60 d NPBREFORM 0
3600.00/3609.60 d NTRIMMED 0
3600.00/3609.60 d NEXHAUSTED 0
3600.00/3609.60 d NAM1S 213
3600.00/3609.60 d AM1LB 936
3600.00/3609.60 c [Papilo Statistics]
3600.00/3609.60 c prepro time 0.222339s
3600.00/3609.60 c # tsx applied 0
3600.00/3609.60 c # tsx conflicts 0
3600.00/3609.60 c # bound changes 0
3600.00/3609.60 c # side changes 0
3600.00/3609.60 c # coef changes 0
3600.00/3609.60 c # rounds 1
3600.00/3609.60 c # deted vars 0
3600.00/3609.60 c # deted constrs 0
3600.00/3609.60 c # consecutive rounds of only bound changes 0
3600.00/3609.61 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: 63968 MiB (58449 MiB free)
memory of node 1: 64473 MiB (62206 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454780-1721429460/watcher-4454780-1721429460 -o /tmp/evaluation-result-4454780-1721429460/solver-4454780-1721429460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034143 --watchdog 3760 mixed-bag HOME/instance-4454780-1721429460.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1037518, runsolver pid=1037515
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 1037519
/proc/meminfo: memFree=123542552/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=81492 memory=15100 CPUtime=0.09 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 2256 0 0 0 9 0 0 0 20 0 1 0 195114904 83447808 3775 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 20373 3775 1704 3002 0 4661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81492 KiB
Current children cumulated memory: 15100 KiB
[startup+0.205705 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 1037519
/proc/meminfo: memFree=123508724/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=125000 memory=48896 CPUtime=0.19 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 10174 0 0 0 18 1 0 0 20 0 1 0 195114904 128000000 12224 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 31250 12224 1811 3002 0 14999 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 125000 KiB
Current children cumulated memory: 48896 KiB
[startup+0.305751 s]*
/proc/loadavg: 4.14 4.12 4.09 5/257 1037519
/proc/meminfo: memFree=123508612/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=125000 memory=48896 CPUtime=0.29 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 10174 0 0 0 28 1 0 0 20 0 1 0 195114904 128000000 12224 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 31250 12224 1811 3002 0 14999 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 125000 KiB
Current children cumulated memory: 48896 KiB
[startup+0.700224 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1037519
/proc/meminfo: memFree=123426468/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=264536 memory=193272 CPUtime=0.69 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 42061 0 0 0 63 6 0 0 20 0 1 0 195114904 270884864 48318 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 66134 48318 3823 3002 0 49883 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 264536 KiB
Current children cumulated memory: 193272 KiB
[startup+1.50023 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1037519
/proc/meminfo: memFree=123368180/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=288504 memory=211960 CPUtime=1.48 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 47084 0 0 0 141 7 0 0 20 0 1 0 195114904 295428096 52990 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 72126 52990 3855 3002 0 55875 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 288504 KiB
Current children cumulated memory: 211960 KiB
[startup+3.10579 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1037519
/proc/meminfo: memFree=123112400/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=549424 memory=450920 CPUtime=3.09 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 72151 0 0 0 295 14 0 0 20 0 1 0 195114904 562610176 112730 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 137356 112730 4054 3002 0 121105 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 549424 KiB
Current children cumulated memory: 450920 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1037519
/proc/meminfo: memFree=123085060/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=585040 memory=477652 CPUtime=6.27 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 77331 0 0 0 612 15 0 0 20 0 1 0 195114904 599080960 119413 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 146260 119413 4086 3002 0 130009 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 585040 KiB
Current children cumulated memory: 477652 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 1037520
/proc/meminfo: memFree=123239152/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=604996 memory=481316 CPUtime=12.65 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 78227 0 0 0 1250 15 0 0 20 0 1 0 195114904 619515904 120329 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 151249 120329 4086 3002 0 134998 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 604996 KiB
Current children cumulated memory: 481316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1037522
/proc/meminfo: memFree=123209116/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=668140 memory=492784 CPUtime=25.42 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 81136 0 0 0 2526 16 0 0 20 0 1 0 195114904 684175360 123196 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 167035 123196 4086 3002 0 150784 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 668140 KiB
Current children cumulated memory: 492784 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1037526
/proc/meminfo: memFree=123089868/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=836516 memory=590520 CPUtime=50.96 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 104533 0 0 0 5077 19 0 0 20 0 1 0 195114904 856592384 147630 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 209129 147630 4105 3002 0 192878 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 836516 KiB
Current children cumulated memory: 590520 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/257 1037536
/proc/meminfo: memFree=123013712/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=888796 memory=635656 CPUtime=102.02 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 115925 0 0 0 10181 21 0 0 20 0 1 0 195114904 910127104 158914 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 222199 158914 4105 3002 0 205948 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 888796 KiB
Current children cumulated memory: 635656 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 1037546
/proc/meminfo: memFree=122897404/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=989360 memory=721312 CPUtime=161.85 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 136365 0 0 0 16161 24 0 0 20 0 1 0 195114904 1013104640 180328 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 247340 180328 4105 3002 0 231089 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 989360 KiB
Current children cumulated memory: 721312 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 1037557
/proc/meminfo: memFree=122825940/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1038416 memory=769640 CPUtime=221.69 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 148240 0 0 0 22142 27 0 0 20 0 1 0 195114904 1063337984 192410 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 259604 192410 4105 3002 0 243353 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1038416 KiB
Current children cumulated memory: 769640 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 1037951
/proc/meminfo: memFree=122757296/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1089852 memory=803916 CPUtime=281.52 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 161443 0 0 0 28124 28 0 0 20 0 1 0 195114904 1116008448 200979 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 272463 200979 4105 3002 0 256212 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1089852 KiB
Current children cumulated memory: 803916 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 1037961
/proc/meminfo: memFree=122826628/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=899676 memory=650088 CPUtime=341.37 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 164456 0 0 0 34076 61 0 0 20 0 1 0 195114904 921268224 162522 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 224919 162522 4233 3002 0 208668 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 899676 KiB
Current children cumulated memory: 650088 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1037974
/proc/meminfo: memFree=122721452/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=930496 memory=666476 CPUtime=401.21 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 164994 0 0 0 40027 94 0 0 20 0 1 0 195114904 952827904 166619 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 232624 166619 4233 3002 0 216373 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 930496 KiB
Current children cumulated memory: 666476 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1038154
/proc/meminfo: memFree=122695232/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=980584 memory=681440 CPUtime=461.05 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 165242 0 0 0 45985 120 0 0 20 0 1 0 195114904 1004118016 170360 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 245146 170360 4233 3002 0 228895 0
################
# More data... #
################
Current children cumulated memory: 799420 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 1039267
/proc/meminfo: memFree=123947200/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=799420 CPUtime=2854.7 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 168481 0 0 0 284836 634 0 0 20 0 1 0 195114904 1087459328 199855 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 199855 4233 3002 0 249242 0
Current children cumulated CPU time: 2854.7 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 799420 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 1039278
/proc/meminfo: memFree=123936280/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=801468 CPUtime=2914.54 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 168574 0 0 0 290810 644 0 0 20 0 1 0 195114904 1087459328 200367 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 200367 4233 3002 0 249242 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 801468 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 1039295
/proc/meminfo: memFree=123925076/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=803516 CPUtime=2974.4 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 168680 0 0 0 296787 653 0 0 20 0 1 0 195114904 1087459328 200879 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 200879 4233 3002 0 249242 0
Current children cumulated CPU time: 2974.4 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 803516 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 1039305
/proc/meminfo: memFree=123918092/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=805564 CPUtime=3034.24 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 168782 0 0 0 302761 663 0 0 20 0 1 0 195114904 1087459328 201391 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 201391 4233 3002 0 249242 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 805564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 1039316
/proc/meminfo: memFree=123906924/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=807612 CPUtime=3094.07 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 168886 0 0 0 308733 674 0 0 20 0 1 0 195114904 1087459328 201903 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 201903 4233 3002 0 249242 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 807612 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/258 1039326
/proc/meminfo: memFree=123900688/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=807612 CPUtime=3153.92 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 169018 0 0 0 314711 681 0 0 20 0 1 0 195114904 1087459328 201903 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 201903 4233 3002 0 249242 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 807612 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/258 1039337
/proc/meminfo: memFree=123874220/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=809660 CPUtime=3213.75 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 169111 0 0 0 320685 690 0 0 20 0 1 0 195114904 1087459328 202415 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 202415 4233 3002 0 249242 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 809660 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 1039392
/proc/meminfo: memFree=124659876/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=809660 CPUtime=3273.58 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 169217 0 0 0 326659 699 0 0 20 0 1 0 195114904 1087459328 202415 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 202415 4233 3002 0 249242 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 809660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 1039448
/proc/meminfo: memFree=125369836/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=809660 CPUtime=3333.4 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 169366 0 0 0 332632 708 0 0 20 0 1 0 195114904 1087459328 202415 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 202415 4233 3002 0 249242 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 809660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 1039459
/proc/meminfo: memFree=125233684/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=811928 CPUtime=3393.24 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 169504 0 0 0 338608 716 0 0 20 0 1 0 195114904 1087459328 202982 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 202982 4233 3002 0 249242 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 811928 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/254 1039515
/proc/meminfo: memFree=125270488/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1061972 memory=814748 CPUtime=3453.09 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 169753 0 0 0 344582 727 0 0 20 0 1 0 195114904 1087459328 203687 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 265493 203687 4233 3002 0 249242 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 1061972 KiB
Current children cumulated memory: 814748 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 1039526
/proc/meminfo: memFree=125147292/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1194232 memory=827096 CPUtime=3512.93 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 170176 0 0 0 350555 738 0 0 20 0 1 0 195114904 1222893568 206774 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 298558 206774 4233 3002 0 282307 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 1194232 KiB
Current children cumulated memory: 827096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 1039537
/proc/meminfo: memFree=125010312/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1194232 memory=862940 CPUtime=3572.77 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 170260 0 0 0 356530 747 0 0 20 0 1 0 195114904 1222893568 215735 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 298558 215735 4233 3002 0 282307 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 1194232 KiB
Current children cumulated memory: 862940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.17 4.12 4.09 5/255 1039545
/proc/meminfo: memFree=124945992/131524600 swapFree=131071996/131071996
[pid=1037518] ppid=1037515 vsize=1194232 memory=874504 CPUtime=3600 cores=5,7
/proc/1037518/stat : 1037518 (mixed-bag) R 1037515 1037518 1034130 0 -1 4194304 170397 0 0 0 359250 750 0 0 20 0 1 0 195114904 1222893568 218626 134679101440 4194304 16488053 140723570939936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 30908416 140723570942997 140723570943074 140723570943074 140723570950091 0
/proc/1037518/statm: 298558 218626 4233 3002 0 282307 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1194232 KiB
Current children cumulated memory: 874504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.63 s]
# the end of solver process 1037518 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.51 s, system=7.522 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.63
CPU time (s): 3600.04
CPU user time (s): 3592.51
CPU system time (s): 7.522
CPU usage (%): 99.7343
Max. virtual memory (cumulated for all children) (KiB): 1194232
Max. memory (cumulated for all children) (KiB): 874504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.51
system time used= 7.522
maximum resident set size= 875352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170430
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= 33
involuntary context switches= 1555
# summary of solver processes directly reported to runsolver:
# pid: 1037518
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.51
# total CPU system time (s): 7.522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01163 second user time and 17.6288 second system time
The end
Begin job on nodeC032 at 2024-07-20 00:51:12
IDJOB=4454780
IDBENCH=146677
IDSOLVER=3083
FILE ID=nodeC032/4454780-1721429460
RUNJOBID= nodeC032-1721425494-1034143
SLURM_JOB_ID= 7545615
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454780-1721429460/watcher-4454780-1721429460 -o /tmp/evaluation-result-4454780-1721429460/solver-4454780-1721429460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034143 --watchdog 3760 mixed-bag HOME/instance-4454780-1721429460.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bdb6411771ac9360fc2dcf9fc3ce2f6
RANDOM SEED=1632088181
nodeC032.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 : 3672.721
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.33
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 : 3686.087
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.03
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 : 3599.859
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.33
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 : 3644.412
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.03
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 : 3672.718
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.33
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 : 3667.924
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.03
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 : 3599.730
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.33
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 : 3667.784
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123551496 kB
MemAvailable: 126153864 kB
Buffers: 547276 kB
Cached: 2877132 kB
SwapCached: 0 kB
Active: 1035976 kB
Inactive: 6264972 kB
Active(anon): 1556 kB
Inactive(anon): 3920928 kB
Active(file): 1034420 kB
Inactive(file): 2344044 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17892 kB
Writeback: 0 kB
AnonPages: 3876588 kB
Mapped: 141708 kB
Shmem: 45912 kB
KReclaimable: 127456 kB
Slab: 244052 kB
SReclaimable: 127456 kB
SUnreclaim: 116596 kB
KernelStack: 4096 kB
PageTables: 18004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5182224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 724992 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC032 at 2024-07-20 01:51:22