0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.79/0.81 c [STEP] solving
0.79/0.81 c #variables 1534 #constraints 126163
0.79/0.81 c SMALL=int, LARGE=long long
0.79/0.81 c bounds - >= -1534 @ 0.568339
0.79/0.81 c stratification level: 0
1.00/1.03 c bounds - >= -267 @ 0.71964
1.00/1.03 c bounds - >= -266 @ 0.721099
1.00/1.03 c bounds - >= -265 @ 0.72223
1.00/1.03 c bounds - >= -264 @ 0.722546
1.00/1.03 c bounds - >= -263 @ 0.722546
1.00/1.03 c bounds - >= -262 @ 0.723527
1.00/1.03 c bounds - >= -261 @ 0.724614
1.00/1.03 c bounds - >= -260 @ 0.725974
1.00/1.03 c bounds - >= -259 @ 0.726534
1.00/1.03 c bounds - >= -258 @ 0.727382
1.00/1.03 c bounds - >= -257 @ 0.728519
1.00/1.03 c bounds - >= -256 @ 0.729515
1.00/1.03 c bounds - >= -255 @ 0.729523
1.00/1.03 c bounds - >= -254 @ 0.730387
1.00/1.03 c bounds - >= -253 @ 0.730693
1.00/1.03 c bounds - >= -252 @ 0.731517
1.00/1.03 c bounds - >= -251 @ 0.732918
1.00/1.03 c bounds - >= -250 @ 0.735006
1.00/1.03 c bounds - >= -249 @ 0.736495
1.00/1.03 c bounds - >= -248 @ 0.738898
1.00/1.03 c bounds - >= -247 @ 0.740481
1.00/1.03 c bounds - >= -246 @ 0.740482
1.00/1.03 c bounds - >= -245 @ 0.740655
1.00/1.03 c bounds - >= -244 @ 0.741478
1.00/1.03 c bounds - >= -243 @ 0.741479
1.00/1.03 c bounds - >= -242 @ 0.741479
1.00/1.03 c bounds - >= -241 @ 0.741479
1.00/1.03 c bounds - >= -240 @ 0.743469
1.00/1.03 c bounds - >= -239 @ 0.744417
1.00/1.03 c bounds - >= -238 @ 0.745205
1.00/1.03 c bounds - >= -237 @ 0.745812
1.00/1.03 c bounds - >= -236 @ 0.747886
1.00/1.03 c bounds - >= -235 @ 0.748866
1.00/1.03 c bounds - >= -234 @ 0.750562
1.00/1.03 c finalizing WCE round: reformulating cores
21.62/21.79 c bounds -22 >= -267 @ 0.753891
21.62/21.79 c bounds -23 >= -265 @ 0.764539
21.62/21.79 c bounds -24 >= -263 @ 0.798746
21.62/21.79 c bounds -26 >= -260 @ 0.816061
21.62/21.79 c bounds -26 >= -260 @ 0.819252
21.62/21.79 c #Conflicts: 1000 | #Constraints: 127488
21.62/21.79 c bounds -26 >= -260 @ 0.826177
21.62/21.79 c #Conflicts: 2000 | #Constraints: 128495
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c bounds -30 >= -252 @ 1.51209
21.62/21.79 c #Conflicts: 3000 | #Constraints: 128313
21.62/21.79 c #Conflicts: 4000 | #Constraints: 129318
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c bounds -34 >= -246 @ 2.53213
21.62/21.79 c #Conflicts: 5000 | #Constraints: 128778
21.62/21.79 c #Conflicts: 6000 | #Constraints: 129780
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c #Conflicts: 7000 | #Constraints: 128808
21.62/21.79 c #Conflicts: 8000 | #Constraints: 129810
21.62/21.79 c #Conflicts: 9000 | #Constraints: 130814
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c #Conflicts: 10000 | #Constraints: 129553
21.62/21.79 c #Conflicts: 11000 | #Constraints: 130555
21.62/21.79 c #Conflicts: 12000 | #Constraints: 131557
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c #Conflicts: 13000 | #Constraints: 130035
21.62/21.79 c bounds -35 >= -234 @ 6.95572
21.62/21.79 c #Conflicts: 14000 | #Constraints: 131039
21.62/21.79 c #Conflicts: 15000 | #Constraints: 132041
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c #Conflicts: 16000 | #Constraints: 130265
21.62/21.79 c #Conflicts: 17000 | #Constraints: 131267
21.62/21.79 c bounds -35 >= -229 @ 8.92213
21.62/21.79 c #Conflicts: 18000 | #Constraints: 132271
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c #Conflicts: 19000 | #Constraints: 130286
21.62/21.79 c #Conflicts: 20000 | #Constraints: 131288
21.62/21.79 c #Conflicts: 21000 | #Constraints: 132290
21.62/21.79 c bounds -35 >= -224 @ 11.2132
21.62/21.79 c bounds -35 >= -223 @ 11.2173
21.62/21.79 c bounds -35 >= -222 @ 11.2208
21.62/21.79 c bounds -35 >= -221 @ 11.2275
21.62/21.79 c bounds -35 >= -220 @ 11.2654
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c bounds -35 >= -219 @ 11.3447
21.62/21.79 c #Conflicts: 22000 | #Constraints: 130220
21.62/21.79 c bounds -35 >= -218 @ 11.4816
21.62/21.79 c #Conflicts: 23000 | #Constraints: 131293
21.62/21.79 c bounds -35 >= -217 @ 11.5332
21.62/21.79 c bounds -35 >= -216 @ 11.5814
21.62/21.79 c #Conflicts: 24000 | #Constraints: 132337
21.62/21.79 c bounds -35 >= -215 @ 11.6953
21.62/21.79 c #Conflicts: 25000 | #Constraints: 133362
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c #Conflicts: 26000 | #Constraints: 130939
21.62/21.79 c #Conflicts: 27000 | #Constraints: 131939
21.62/21.79 c #Conflicts: 28000 | #Constraints: 132939
21.62/21.79 c bounds -35 >= -214 @ 12.0363
21.62/21.79 c #Conflicts: 29000 | #Constraints: 133988
21.62/21.79 c INPROCESSING
21.62/21.79 c #Conflicts: 30000 | #Constraints: 131367
21.62/21.79 c bounds -35 >= -213 @ 12.2357
21.62/21.79 c #Conflicts: 31000 | #Constraints: 132422
21.62/21.79 c #Conflicts: 32000 | #Constraints: 133422
21.62/21.79 c #Conflicts: 33000 | #Constraints: 134422
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c #Conflicts: 34000 | #Constraints: 131613
21.62/21.79 c #Conflicts: 35000 | #Constraints: 132613
21.62/21.79 c #Conflicts: 36000 | #Constraints: 133613
21.62/21.79 c #Conflicts: 37000 | #Constraints: 134613
21.62/21.79 c #Conflicts: 38000 | #Constraints: 135613
21.62/21.79 c #Conflicts: 39000 | #Constraints: 136613
21.62/21.79 c #Conflicts: 40000 | #Constraints: 137613
21.62/21.79 c #Conflicts: 41000 | #Constraints: 138613
21.62/21.79 c #Conflicts: 42000 | #Constraints: 139613
21.62/21.79 c #Conflicts: 43000 | #Constraints: 140613
21.62/21.79 c #Conflicts: 44000 | #Constraints: 141613
21.62/21.79 c #Conflicts: 45000 | #Constraints: 142613
21.62/21.79 c #Conflicts: 46000 | #Constraints: 143613
21.62/21.79 c #Conflicts: 47000 | #Constraints: 144613
21.62/21.79 c #Conflicts: 48000 | #Constraints: 145613
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c #Conflicts: 49000 | #Constraints: 137240
21.62/21.79 c #Conflicts: 50000 | #Constraints: 138240
21.62/21.79 c #Conflicts: 51000 | #Constraints: 139240
21.62/21.79 c #Conflicts: 52000 | #Constraints: 140240
21.62/21.79 c #Conflicts: 53000 | #Constraints: 141240
21.62/21.79 c INPROCESSING
21.62/21.79 c GARBAGE COLLECT
21.62/21.79 c #Conflicts: 54000 | #Constraints: 134906
21.62/21.79 c #Conflicts: 55000 | #Constraints: 135906
21.62/21.79 c #Conflicts: 56000 | #Constraints: 136906
21.62/21.79 c #Conflicts: 57000 | #Constraints: 137906
21.62/21.79 c #Conflicts: 58000 | #Constraints: 138906
71.54/71.80 c INPROCESSING
71.54/71.80 c GARBAGE COLLECT
71.54/71.80 c #Conflicts: 59000 | #Constraints: 133491
71.54/71.80 c #Conflicts: 60000 | #Constraints: 134491
71.54/71.80 c #Conflicts: 61000 | #Constraints: 135491
71.54/71.80 c #Conflicts: 62000 | #Constraints: 136491
71.54/71.80 c #Conflicts: 63000 | #Constraints: 137491
71.54/71.80 c #Conflicts: 64000 | #Constraints: 138491
71.54/71.80 c #Conflicts: 65000 | #Constraints: 139491
71.54/71.80 c #Conflicts: 66000 | #Constraints: 140491
71.54/71.80 c #Conflicts: 67000 | #Constraints: 141491
71.54/71.80 c #Conflicts: 68000 | #Constraints: 142491
71.54/71.80 c #Conflicts: 69000 | #Constraints: 143491
71.54/71.80 c #Conflicts: 70000 | #Constraints: 144491
71.54/71.80 c #Conflicts: 71000 | #Constraints: 145491
71.54/71.80 c #Conflicts: 72000 | #Constraints: 146491
71.54/71.80 c #Conflicts: 73000 | #Constraints: 147491
71.54/71.80 c #Conflicts: 74000 | #Constraints: 148491
71.54/71.80 c #Conflicts: 75000 | #Constraints: 149491
71.54/71.80 c #Conflicts: 76000 | #Constraints: 150491
71.54/71.80 c #Conflicts: 77000 | #Constraints: 151491
71.54/71.80 c #Conflicts: 78000 | #Constraints: 152491
71.54/71.80 c INPROCESSING
71.54/71.80 c GARBAGE COLLECT
71.54/71.80 c #Conflicts: 79000 | #Constraints: 140698
71.54/71.80 c #Conflicts: 80000 | #Constraints: 141698
71.54/71.80 c #Conflicts: 81000 | #Constraints: 142698
71.54/71.80 c #Conflicts: 82000 | #Constraints: 143698
71.54/71.80 c #Conflicts: 83000 | #Constraints: 144698
71.54/71.80 c #Conflicts: 84000 | #Constraints: 145698
71.54/71.80 c INPROCESSING
71.54/71.80 c GARBAGE COLLECT
71.54/71.80 c #Conflicts: 85000 | #Constraints: 136888
71.54/71.80 c #Conflicts: 86000 | #Constraints: 137888
71.54/71.80 c #Conflicts: 87000 | #Constraints: 138888
71.54/71.80 c #Conflicts: 88000 | #Constraints: 139888
71.54/71.80 c #Conflicts: 89000 | #Constraints: 140888
71.54/71.80 c #Conflicts: 90000 | #Constraints: 141888
71.54/71.80 c #Conflicts: 91000 | #Constraints: 142888
71.54/71.80 c INPROCESSING
71.54/71.80 c GARBAGE COLLECT
71.54/71.80 c #Conflicts: 92000 | #Constraints: 135477
71.54/71.80 c #Conflicts: 93000 | #Constraints: 136477
71.54/71.80 c #Conflicts: 94000 | #Constraints: 137477
71.54/71.80 c #Conflicts: 95000 | #Constraints: 138477
71.54/71.80 c #Conflicts: 96000 | #Constraints: 139477
71.54/71.80 c #Conflicts: 97000 | #Constraints: 140477
71.54/71.80 c #Conflicts: 98000 | #Constraints: 141477
71.54/71.80 c #Conflicts: 99000 | #Constraints: 142477
71.54/71.80 c #Conflicts: 100000 | #Constraints: 143477
71.54/71.80 c #Conflicts: 101000 | #Constraints: 144477
71.54/71.80 c #Conflicts: 102000 | #Constraints: 145477
71.54/71.80 c #Conflicts: 103000 | #Constraints: 146477
71.54/71.80 c #Conflicts: 104000 | #Constraints: 147477
71.54/71.80 c #Conflicts: 105000 | #Constraints: 148477
71.54/71.80 c #Conflicts: 106000 | #Constraints: 149477
71.54/71.80 c #Conflicts: 107000 | #Constraints: 150477
71.54/71.80 c #Conflicts: 108000 | #Constraints: 151477
71.54/71.80 c #Conflicts: 109000 | #Constraints: 152477
71.54/71.80 c #Conflicts: 110000 | #Constraints: 153477
71.54/71.80 c #Conflicts: 111000 | #Constraints: 154477
71.54/71.80 c #Conflicts: 112000 | #Constraints: 155477
71.54/71.80 c #Conflicts: 113000 | #Constraints: 156477
71.54/71.80 c #Conflicts: 114000 | #Constraints: 157477
71.54/71.80 c #Conflicts: 115000 | #Constraints: 158477
71.54/71.80 c INPROCESSING
71.54/71.80 c GARBAGE COLLECT
71.54/71.80 c #Conflicts: 116000 | #Constraints: 143589
71.54/71.80 c #Conflicts: 117000 | #Constraints: 144589
71.54/71.80 c #Conflicts: 118000 | #Constraints: 145589
71.54/71.80 c #Conflicts: 119000 | #Constraints: 146589
71.54/71.80 c #Conflicts: 120000 | #Constraints: 147589
71.54/71.80 c #Conflicts: 121000 | #Constraints: 148589
71.54/71.80 c #Conflicts: 122000 | #Constraints: 149589
71.54/71.80 c #Conflicts: 123000 | #Constraints: 150589
71.54/71.80 c INPROCESSING
71.54/71.80 c GARBAGE COLLECT
71.54/71.80 c #Conflicts: 124000 | #Constraints: 139512
71.54/71.80 c #Conflicts: 125000 | #Constraints: 140512
71.54/71.80 c #Conflicts: 126000 | #Constraints: 141512
71.54/71.80 c #Conflicts: 127000 | #Constraints: 142512
71.54/71.80 c #Conflicts: 128000 | #Constraints: 143512
71.54/71.80 c #Conflicts: 129000 | #Constraints: 144512
71.54/71.80 c #Conflicts: 130000 | #Constraints: 145512
71.54/71.80 c #Conflicts: 131000 | #Constraints: 146512
71.54/71.80 c #Conflicts: 132000 | #Constraints: 147512
71.54/71.80 c INPROCESSING
71.54/71.80 c GARBAGE COLLECT
138.81/139.39 c #Conflicts: 133000 | #Constraints: 138199
138.81/139.39 c #Conflicts: 134000 | #Constraints: 139199
138.81/139.39 c #Conflicts: 135000 | #Constraints: 140199
138.81/139.39 c #Conflicts: 136000 | #Constraints: 141199
138.81/139.39 c #Conflicts: 137000 | #Constraints: 142199
138.81/139.39 c #Conflicts: 138000 | #Constraints: 143199
138.81/139.39 c #Conflicts: 139000 | #Constraints: 144199
138.81/139.39 c #Conflicts: 140000 | #Constraints: 145199
138.81/139.39 c #Conflicts: 141000 | #Constraints: 146199
138.81/139.39 c #Conflicts: 142000 | #Constraints: 147199
138.81/139.39 c #Conflicts: 143000 | #Constraints: 148199
138.81/139.39 c #Conflicts: 144000 | #Constraints: 149199
138.81/139.39 c #Conflicts: 145000 | #Constraints: 150199
138.81/139.39 c #Conflicts: 146000 | #Constraints: 151199
138.81/139.39 c #Conflicts: 147000 | #Constraints: 152199
138.81/139.39 c #Conflicts: 148000 | #Constraints: 153199
138.81/139.39 c #Conflicts: 149000 | #Constraints: 154199
138.81/139.39 c #Conflicts: 150000 | #Constraints: 155199
138.81/139.39 c #Conflicts: 151000 | #Constraints: 156199
138.81/139.39 c #Conflicts: 152000 | #Constraints: 157199
138.81/139.39 c #Conflicts: 153000 | #Constraints: 158199
138.81/139.39 c #Conflicts: 154000 | #Constraints: 159199
138.81/139.39 c #Conflicts: 155000 | #Constraints: 160199
138.81/139.39 c #Conflicts: 156000 | #Constraints: 161199
138.81/139.39 c #Conflicts: 157000 | #Constraints: 162199
138.81/139.39 c #Conflicts: 158000 | #Constraints: 163199
138.81/139.39 c #Conflicts: 159000 | #Constraints: 164199
138.81/139.39 c INPROCESSING
138.81/139.39 c GARBAGE COLLECT
138.81/139.39 c #Conflicts: 160000 | #Constraints: 146263
138.81/139.39 c #Conflicts: 161000 | #Constraints: 147263
138.81/139.39 c #Conflicts: 162000 | #Constraints: 148263
138.81/139.39 c #Conflicts: 163000 | #Constraints: 149263
138.81/139.39 c #Conflicts: 164000 | #Constraints: 150263
138.81/139.39 c #Conflicts: 165000 | #Constraints: 151263
138.81/139.39 c #Conflicts: 166000 | #Constraints: 152263
138.81/139.39 c #Conflicts: 167000 | #Constraints: 153263
138.81/139.39 c #Conflicts: 168000 | #Constraints: 154263
138.81/139.39 c #Conflicts: 169000 | #Constraints: 155263
138.81/139.39 c INPROCESSING
138.81/139.39 c GARBAGE COLLECT
138.81/139.39 c #Conflicts: 170000 | #Constraints: 141893
138.81/139.39 c #Conflicts: 171000 | #Constraints: 142893
138.81/139.39 c #Conflicts: 172000 | #Constraints: 143893
138.81/139.39 c #Conflicts: 173000 | #Constraints: 144893
138.81/139.39 c #Conflicts: 174000 | #Constraints: 145893
138.81/139.39 c #Conflicts: 175000 | #Constraints: 146893
138.81/139.39 c #Conflicts: 176000 | #Constraints: 147893
138.81/139.39 c #Conflicts: 177000 | #Constraints: 148893
138.81/139.39 c #Conflicts: 178000 | #Constraints: 149893
138.81/139.39 c #Conflicts: 179000 | #Constraints: 150893
138.81/139.39 c INPROCESSING
138.81/139.39 c GARBAGE COLLECT
138.81/139.39 c #Conflicts: 180000 | #Constraints: 139693
138.81/139.39 c #Conflicts: 181000 | #Constraints: 140693
138.81/139.39 c #Conflicts: 182000 | #Constraints: 141693
138.81/139.39 c #Conflicts: 183000 | #Constraints: 142693
138.81/139.39 c #Conflicts: 184000 | #Constraints: 143693
138.81/139.39 c #Conflicts: 185000 | #Constraints: 144693
138.81/139.39 c #Conflicts: 186000 | #Constraints: 145693
138.81/139.39 c #Conflicts: 187000 | #Constraints: 146693
138.81/139.39 c #Conflicts: 188000 | #Constraints: 147693
138.81/139.39 c #Conflicts: 189000 | #Constraints: 148693
138.81/139.39 c INPROCESSING
138.81/139.39 c GARBAGE COLLECT
138.81/139.39 c #Conflicts: 190000 | #Constraints: 138487
138.81/139.39 c #Conflicts: 191000 | #Constraints: 139487
138.81/139.39 c #Conflicts: 192000 | #Constraints: 140487
138.81/139.39 c #Conflicts: 193000 | #Constraints: 141487
138.81/139.39 c #Conflicts: 194000 | #Constraints: 142487
138.81/139.39 c #Conflicts: 195000 | #Constraints: 143487
138.81/139.39 c #Conflicts: 196000 | #Constraints: 144487
138.81/139.39 c #Conflicts: 197000 | #Constraints: 145487
138.81/139.39 c #Conflicts: 198000 | #Constraints: 146487
138.81/139.39 c #Conflicts: 199000 | #Constraints: 147487
138.81/139.39 c #Conflicts: 200000 | #Constraints: 148487
138.81/139.39 c #Conflicts: 201000 | #Constraints: 149487
138.81/139.39 c #Conflicts: 202000 | #Constraints: 150487
138.81/139.39 c #Conflicts: 203000 | #Constraints: 151487
138.81/139.39 c #Conflicts: 204000 | #Constraints: 152487
138.81/139.39 c #Conflicts: 205000 | #Constraints: 153487
138.81/139.39 c #Conflicts: 206000 | #Constraints: 154487
138.81/139.39 c #Conflicts: 207000 | #Constraints: 155487
138.81/139.39 c #Conflicts: 208000 | #Constraints: 156487
138.81/139.39 c #Conflicts: 209000 | #Constraints: 157487
222.82/223.63 c #Conflicts: 210000 | #Constraints: 158487
222.82/223.63 c #Conflicts: 211000 | #Constraints: 159487
222.82/223.63 c #Conflicts: 212000 | #Constraints: 160487
222.82/223.63 c #Conflicts: 213000 | #Constraints: 161487
222.82/223.63 c #Conflicts: 214000 | #Constraints: 162487
222.82/223.63 c #Conflicts: 215000 | #Constraints: 163487
222.82/223.63 c #Conflicts: 216000 | #Constraints: 164487
222.82/223.63 c #Conflicts: 217000 | #Constraints: 165487
222.82/223.63 c #Conflicts: 218000 | #Constraints: 166487
222.82/223.63 c #Conflicts: 219000 | #Constraints: 167487
222.82/223.63 c #Conflicts: 220000 | #Constraints: 168487
222.82/223.63 c #Conflicts: 221000 | #Constraints: 169487
222.82/223.63 c #Conflicts: 222000 | #Constraints: 170487
222.82/223.63 c INPROCESSING
222.82/223.63 c GARBAGE COLLECT
222.82/223.63 c #Conflicts: 223000 | #Constraints: 149431
222.82/223.63 c #Conflicts: 224000 | #Constraints: 150431
222.82/223.63 c #Conflicts: 225000 | #Constraints: 151431
222.82/223.63 c #Conflicts: 226000 | #Constraints: 152431
222.82/223.63 c #Conflicts: 227000 | #Constraints: 153431
222.82/223.63 c #Conflicts: 228000 | #Constraints: 154431
222.82/223.63 c #Conflicts: 229000 | #Constraints: 155431
222.82/223.63 c #Conflicts: 230000 | #Constraints: 156431
222.82/223.63 c #Conflicts: 231000 | #Constraints: 157431
222.82/223.63 c #Conflicts: 232000 | #Constraints: 158431
222.82/223.63 c #Conflicts: 233000 | #Constraints: 159431
222.82/223.63 c #Conflicts: 234000 | #Constraints: 160431
222.82/223.63 c INPROCESSING
222.82/223.63 c GARBAGE COLLECT
222.82/223.63 c #Conflicts: 235000 | #Constraints: 144689
222.82/223.63 c #Conflicts: 236000 | #Constraints: 145689
222.82/223.63 c #Conflicts: 237000 | #Constraints: 146689
222.82/223.63 c #Conflicts: 238000 | #Constraints: 147689
222.82/223.63 c #Conflicts: 239000 | #Constraints: 148689
222.82/223.63 c #Conflicts: 240000 | #Constraints: 149689
222.82/223.63 c #Conflicts: 241000 | #Constraints: 150689
222.82/223.63 c #Conflicts: 242000 | #Constraints: 151689
222.82/223.63 c #Conflicts: 243000 | #Constraints: 152689
222.82/223.63 c #Conflicts: 244000 | #Constraints: 153689
222.82/223.63 c #Conflicts: 245000 | #Constraints: 154689
222.82/223.63 c INPROCESSING
222.82/223.63 c GARBAGE COLLECT
222.82/223.63 c #Conflicts: 246000 | #Constraints: 141443
222.82/223.63 c #Conflicts: 247000 | #Constraints: 142443
222.82/223.63 c #Conflicts: 248000 | #Constraints: 143443
222.82/223.63 c #Conflicts: 249000 | #Constraints: 144443
222.82/223.63 c #Conflicts: 250000 | #Constraints: 145443
222.82/223.63 c #Conflicts: 251000 | #Constraints: 146443
222.82/223.63 c #Conflicts: 252000 | #Constraints: 147443
222.82/223.63 c #Conflicts: 253000 | #Constraints: 148443
222.82/223.63 c #Conflicts: 254000 | #Constraints: 149443
222.82/223.63 c #Conflicts: 255000 | #Constraints: 150443
222.82/223.63 c #Conflicts: 256000 | #Constraints: 151443
222.82/223.63 c #Conflicts: 257000 | #Constraints: 152443
222.82/223.63 c INPROCESSING
222.82/223.63 c GARBAGE COLLECT
222.82/223.63 c #Conflicts: 258000 | #Constraints: 140381
222.82/223.63 c #Conflicts: 259000 | #Constraints: 141381
222.82/223.63 c #Conflicts: 260000 | #Constraints: 142381
222.82/223.63 c #Conflicts: 261000 | #Constraints: 143381
222.82/223.63 c #Conflicts: 262000 | #Constraints: 144381
222.82/223.63 c #Conflicts: 263000 | #Constraints: 145381
222.82/223.63 c #Conflicts: 264000 | #Constraints: 146381
222.82/223.63 c #Conflicts: 265000 | #Constraints: 147381
222.82/223.63 c #Conflicts: 266000 | #Constraints: 148381
222.82/223.63 c #Conflicts: 267000 | #Constraints: 149381
222.82/223.63 c #Conflicts: 268000 | #Constraints: 150381
222.82/223.63 c #Conflicts: 269000 | #Constraints: 151381
222.82/223.63 c #Conflicts: 270000 | #Constraints: 152381
222.82/223.63 c #Conflicts: 271000 | #Constraints: 153381
222.82/223.63 c #Conflicts: 272000 | #Constraints: 154381
222.82/223.63 c #Conflicts: 273000 | #Constraints: 155381
222.82/223.63 c #Conflicts: 274000 | #Constraints: 156381
222.82/223.63 c #Conflicts: 275000 | #Constraints: 157381
222.82/223.63 c #Conflicts: 276000 | #Constraints: 158381
222.82/223.63 c #Conflicts: 277000 | #Constraints: 159381
222.82/223.63 c #Conflicts: 278000 | #Constraints: 160381
222.82/223.63 c #Conflicts: 279000 | #Constraints: 161381
222.82/223.63 c #Conflicts: 280000 | #Constraints: 162381
222.82/223.63 c #Conflicts: 281000 | #Constraints: 163381
222.82/223.63 c #Conflicts: 282000 | #Constraints: 164381
222.82/223.63 c #Conflicts: 283000 | #Constraints: 165381
222.82/223.63 c #Conflicts: 284000 | #Constraints: 166381
222.82/223.63 c #Conflicts: 285000 | #Constraints: 167381
311.02/312.17 c #Conflicts: 286000 | #Constraints: 168381
311.02/312.17 c #Conflicts: 287000 | #Constraints: 169381
311.02/312.17 c #Conflicts: 288000 | #Constraints: 170381
311.02/312.17 c #Conflicts: 289000 | #Constraints: 171381
311.02/312.17 c #Conflicts: 290000 | #Constraints: 172381
311.02/312.17 c #Conflicts: 291000 | #Constraints: 173381
311.02/312.17 c #Conflicts: 292000 | #Constraints: 174381
311.02/312.17 c #Conflicts: 293000 | #Constraints: 175381
311.02/312.17 c #Conflicts: 294000 | #Constraints: 176381
311.02/312.17 c #Conflicts: 295000 | #Constraints: 177381
311.02/312.17 c INPROCESSING
311.02/312.17 c GARBAGE COLLECT
311.02/312.17 c #Conflicts: 296000 | #Constraints: 152740
311.02/312.17 c #Conflicts: 297000 | #Constraints: 153740
311.02/312.17 c #Conflicts: 298000 | #Constraints: 154740
311.02/312.17 c #Conflicts: 299000 | #Constraints: 155740
311.02/312.17 c #Conflicts: 300000 | #Constraints: 156740
311.02/312.17 c #Conflicts: 301000 | #Constraints: 157740
311.02/312.17 c #Conflicts: 302000 | #Constraints: 158740
311.02/312.17 c #Conflicts: 303000 | #Constraints: 159740
311.02/312.17 c #Conflicts: 304000 | #Constraints: 160740
311.02/312.17 c #Conflicts: 305000 | #Constraints: 161740
311.02/312.17 c #Conflicts: 306000 | #Constraints: 162740
311.02/312.17 c #Conflicts: 307000 | #Constraints: 163740
311.02/312.17 c #Conflicts: 308000 | #Constraints: 164740
311.02/312.17 c #Conflicts: 309000 | #Constraints: 165740
311.02/312.17 c INPROCESSING
311.02/312.17 c GARBAGE COLLECT
311.02/312.17 c #Conflicts: 310000 | #Constraints: 147315
311.02/312.17 c #Conflicts: 311000 | #Constraints: 148315
311.02/312.17 c #Conflicts: 312000 | #Constraints: 149315
311.02/312.17 c #Conflicts: 313000 | #Constraints: 150315
311.02/312.17 c #Conflicts: 314000 | #Constraints: 151315
311.02/312.17 c #Conflicts: 315000 | #Constraints: 152315
311.02/312.17 c #Conflicts: 316000 | #Constraints: 153315
311.02/312.17 c #Conflicts: 317000 | #Constraints: 154315
311.02/312.17 c #Conflicts: 318000 | #Constraints: 155315
311.02/312.17 c #Conflicts: 319000 | #Constraints: 156315
311.02/312.17 c #Conflicts: 320000 | #Constraints: 157315
311.02/312.17 c #Conflicts: 321000 | #Constraints: 158315
311.02/312.17 c #Conflicts: 322000 | #Constraints: 159315
311.02/312.17 c INPROCESSING
311.02/312.17 c GARBAGE COLLECT
311.02/312.17 c #Conflicts: 323000 | #Constraints: 143908
311.02/312.17 c #Conflicts: 324000 | #Constraints: 144908
311.02/312.17 c #Conflicts: 325000 | #Constraints: 145908
311.02/312.17 c #Conflicts: 326000 | #Constraints: 146908
311.02/312.17 c #Conflicts: 327000 | #Constraints: 147908
311.02/312.17 c #Conflicts: 328000 | #Constraints: 148908
311.02/312.17 c #Conflicts: 329000 | #Constraints: 149908
311.02/312.17 c #Conflicts: 330000 | #Constraints: 150908
311.02/312.17 c #Conflicts: 331000 | #Constraints: 151908
311.02/312.17 c #Conflicts: 332000 | #Constraints: 152908
311.02/312.17 c #Conflicts: 333000 | #Constraints: 153908
311.02/312.17 c #Conflicts: 334000 | #Constraints: 154908
311.02/312.17 c #Conflicts: 335000 | #Constraints: 155908
311.02/312.17 c #Conflicts: 336000 | #Constraints: 156908
311.02/312.17 c INPROCESSING
311.02/312.17 c GARBAGE COLLECT
311.02/312.17 c #Conflicts: 337000 | #Constraints: 142905
311.02/312.17 c #Conflicts: 338000 | #Constraints: 143905
311.02/312.17 c #Conflicts: 339000 | #Constraints: 144905
311.02/312.17 c #Conflicts: 340000 | #Constraints: 145905
311.02/312.17 c #Conflicts: 341000 | #Constraints: 146905
311.02/312.17 c #Conflicts: 342000 | #Constraints: 147905
311.02/312.17 c #Conflicts: 343000 | #Constraints: 148905
311.02/312.17 c #Conflicts: 344000 | #Constraints: 149905
311.02/312.17 c #Conflicts: 345000 | #Constraints: 150905
311.02/312.17 c #Conflicts: 346000 | #Constraints: 151905
311.02/312.17 c #Conflicts: 347000 | #Constraints: 152905
311.02/312.17 c #Conflicts: 348000 | #Constraints: 153905
311.02/312.17 c #Conflicts: 349000 | #Constraints: 154905
311.02/312.17 c INPROCESSING
311.02/312.17 c GARBAGE COLLECT
311.02/312.17 c #Conflicts: 350000 | #Constraints: 141501
311.02/312.17 c #Conflicts: 351000 | #Constraints: 142501
311.02/312.17 c #Conflicts: 352000 | #Constraints: 143501
311.02/312.17 c #Conflicts: 353000 | #Constraints: 144501
311.02/312.17 c #Conflicts: 354000 | #Constraints: 145501
311.02/312.17 c #Conflicts: 355000 | #Constraints: 146501
311.02/312.17 c #Conflicts: 356000 | #Constraints: 147501
311.02/312.17 c #Conflicts: 357000 | #Constraints: 148501
311.02/312.17 c #Conflicts: 358000 | #Constraints: 149501
311.02/312.17 c #Conflicts: 359000 | #Constraints: 150501
311.02/312.17 c #Conflicts: 360000 | #Constraints: 151501
311.02/312.17 c #Conflicts: 361000 | #Constraints: 152501
427.99/429.56 c #Conflicts: 362000 | #Constraints: 153501
427.99/429.56 c #Conflicts: 363000 | #Constraints: 154501
427.99/429.56 c #Conflicts: 364000 | #Constraints: 155501
427.99/429.56 c #Conflicts: 365000 | #Constraints: 156501
427.99/429.56 c #Conflicts: 366000 | #Constraints: 157501
427.99/429.56 c #Conflicts: 367000 | #Constraints: 158501
427.99/429.56 c #Conflicts: 368000 | #Constraints: 159501
427.99/429.56 c #Conflicts: 369000 | #Constraints: 160501
427.99/429.56 c #Conflicts: 370000 | #Constraints: 161501
427.99/429.56 c #Conflicts: 371000 | #Constraints: 162501
427.99/429.56 c #Conflicts: 372000 | #Constraints: 163501
427.99/429.56 c #Conflicts: 373000 | #Constraints: 164501
427.99/429.56 c #Conflicts: 374000 | #Constraints: 165501
427.99/429.56 c #Conflicts: 375000 | #Constraints: 166501
427.99/429.56 c #Conflicts: 376000 | #Constraints: 167501
427.99/429.56 c #Conflicts: 377000 | #Constraints: 168501
427.99/429.56 c #Conflicts: 378000 | #Constraints: 169501
427.99/429.56 c #Conflicts: 379000 | #Constraints: 170501
427.99/429.56 c #Conflicts: 380000 | #Constraints: 171501
427.99/429.56 c #Conflicts: 381000 | #Constraints: 172501
427.99/429.56 c #Conflicts: 382000 | #Constraints: 173501
427.99/429.56 c #Conflicts: 383000 | #Constraints: 174501
427.99/429.56 c #Conflicts: 384000 | #Constraints: 175501
427.99/429.56 c #Conflicts: 385000 | #Constraints: 176501
427.99/429.56 c #Conflicts: 386000 | #Constraints: 177501
427.99/429.56 c #Conflicts: 387000 | #Constraints: 178501
427.99/429.56 c #Conflicts: 388000 | #Constraints: 179501
427.99/429.56 c #Conflicts: 389000 | #Constraints: 180501
427.99/429.56 c #Conflicts: 390000 | #Constraints: 181501
427.99/429.56 c #Conflicts: 391000 | #Constraints: 182501
427.99/429.56 c #Conflicts: 392000 | #Constraints: 183501
427.99/429.56 c #Conflicts: 393000 | #Constraints: 184501
427.99/429.56 c #Conflicts: 394000 | #Constraints: 185501
427.99/429.56 c INPROCESSING
427.99/429.56 c GARBAGE COLLECT
427.99/429.56 c #Conflicts: 395000 | #Constraints: 156987
427.99/429.56 c #Conflicts: 396000 | #Constraints: 157987
427.99/429.56 c #Conflicts: 397000 | #Constraints: 158987
427.99/429.56 c #Conflicts: 398000 | #Constraints: 159987
427.99/429.56 c #Conflicts: 399000 | #Constraints: 160987
427.99/429.56 c #Conflicts: 400000 | #Constraints: 161987
427.99/429.56 c #Conflicts: 401000 | #Constraints: 162987
427.99/429.56 c #Conflicts: 402000 | #Constraints: 163987
427.99/429.56 c #Conflicts: 403000 | #Constraints: 164987
427.99/429.56 c #Conflicts: 404000 | #Constraints: 165987
427.99/429.56 c #Conflicts: 405000 | #Constraints: 166987
427.99/429.56 c #Conflicts: 406000 | #Constraints: 167987
427.99/429.56 c #Conflicts: 407000 | #Constraints: 168987
427.99/429.56 c #Conflicts: 408000 | #Constraints: 169987
427.99/429.56 c #Conflicts: 409000 | #Constraints: 170987
427.99/429.56 c INPROCESSING
427.99/429.56 c GARBAGE COLLECT
427.99/429.56 c #Conflicts: 410000 | #Constraints: 149693
427.99/429.56 c #Conflicts: 411000 | #Constraints: 150693
427.99/429.56 c #Conflicts: 412000 | #Constraints: 151693
427.99/429.56 c #Conflicts: 413000 | #Constraints: 152693
427.99/429.56 c #Conflicts: 414000 | #Constraints: 153693
427.99/429.56 c #Conflicts: 415000 | #Constraints: 154693
427.99/429.56 c #Conflicts: 416000 | #Constraints: 155693
427.99/429.56 c #Conflicts: 417000 | #Constraints: 156693
427.99/429.56 c #Conflicts: 418000 | #Constraints: 157693
427.99/429.56 c #Conflicts: 419000 | #Constraints: 158693
427.99/429.56 c #Conflicts: 420000 | #Constraints: 159693
427.99/429.56 c #Conflicts: 421000 | #Constraints: 160693
427.99/429.56 c #Conflicts: 422000 | #Constraints: 161693
427.99/429.56 c #Conflicts: 423000 | #Constraints: 162693
427.99/429.56 c #Conflicts: 424000 | #Constraints: 163693
427.99/429.56 c INPROCESSING
427.99/429.56 c GARBAGE COLLECT
427.99/429.56 c #Conflicts: 425000 | #Constraints: 145873
427.99/429.56 c #Conflicts: 426000 | #Constraints: 146873
427.99/429.56 c #Conflicts: 427000 | #Constraints: 147873
427.99/429.56 c #Conflicts: 428000 | #Constraints: 148873
427.99/429.56 c #Conflicts: 429000 | #Constraints: 149873
427.99/429.56 c #Conflicts: 430000 | #Constraints: 150873
427.99/429.56 c #Conflicts: 431000 | #Constraints: 151873
427.99/429.56 c #Conflicts: 432000 | #Constraints: 152873
427.99/429.56 c #Conflicts: 433000 | #Constraints: 153873
427.99/429.56 c #Conflicts: 434000 | #Constraints: 154873
427.99/429.56 c #Conflicts: 435000 | #Constraints: 155873
427.99/429.56 c #Conflicts: 436000 | #Constraints: 156873
427.99/429.56 c #Conflicts: 437000 | #Constraints: 157873
553.95/555.94 c #Conflicts: 438000 | #Constraints: 158873
553.95/555.94 c #Conflicts: 439000 | #Constraints: 159873
553.95/555.94 c #Conflicts: 440000 | #Constraints: 160873
553.95/555.94 c INPROCESSING
553.95/555.94 c GARBAGE COLLECT
553.95/555.94 c #Conflicts: 441000 | #Constraints: 144734
553.95/555.94 c #Conflicts: 442000 | #Constraints: 145734
553.95/555.94 c #Conflicts: 443000 | #Constraints: 146734
553.95/555.94 c #Conflicts: 444000 | #Constraints: 147734
553.95/555.94 c #Conflicts: 445000 | #Constraints: 148734
553.95/555.94 c #Conflicts: 446000 | #Constraints: 149734
553.95/555.94 c #Conflicts: 447000 | #Constraints: 150734
553.95/555.94 c #Conflicts: 448000 | #Constraints: 151734
553.95/555.94 c #Conflicts: 449000 | #Constraints: 152734
553.95/555.94 c #Conflicts: 450000 | #Constraints: 153734
553.95/555.94 c #Conflicts: 451000 | #Constraints: 154734
553.95/555.94 c #Conflicts: 452000 | #Constraints: 155734
553.95/555.94 c #Conflicts: 453000 | #Constraints: 156734
553.95/555.94 c #Conflicts: 454000 | #Constraints: 157734
553.95/555.94 c #Conflicts: 455000 | #Constraints: 158734
553.95/555.94 c #Conflicts: 456000 | #Constraints: 159734
553.95/555.94 c INPROCESSING
553.95/555.94 c GARBAGE COLLECT
553.95/555.94 c #Conflicts: 457000 | #Constraints: 144331
553.95/555.94 c #Conflicts: 458000 | #Constraints: 145331
553.95/555.94 c #Conflicts: 459000 | #Constraints: 146331
553.95/555.94 c #Conflicts: 460000 | #Constraints: 147331
553.95/555.94 c #Conflicts: 461000 | #Constraints: 148331
553.95/555.94 c #Conflicts: 462000 | #Constraints: 149331
553.95/555.94 c #Conflicts: 463000 | #Constraints: 150331
553.95/555.94 c #Conflicts: 464000 | #Constraints: 151331
553.95/555.94 c #Conflicts: 465000 | #Constraints: 152331
553.95/555.94 c #Conflicts: 466000 | #Constraints: 153331
553.95/555.94 c #Conflicts: 467000 | #Constraints: 154331
553.95/555.94 c #Conflicts: 468000 | #Constraints: 155331
553.95/555.94 c #Conflicts: 469000 | #Constraints: 156331
553.95/555.94 c #Conflicts: 470000 | #Constraints: 157331
553.95/555.94 c #Conflicts: 471000 | #Constraints: 158331
553.95/555.94 c #Conflicts: 472000 | #Constraints: 159331
553.95/555.94 c #Conflicts: 473000 | #Constraints: 160331
553.95/555.94 c #Conflicts: 474000 | #Constraints: 161331
553.95/555.94 c #Conflicts: 475000 | #Constraints: 162331
553.95/555.94 c #Conflicts: 476000 | #Constraints: 163331
553.95/555.94 c #Conflicts: 477000 | #Constraints: 164331
553.95/555.94 c #Conflicts: 478000 | #Constraints: 165331
553.95/555.94 c #Conflicts: 479000 | #Constraints: 166331
553.95/555.94 c #Conflicts: 480000 | #Constraints: 167331
553.95/555.94 c #Conflicts: 481000 | #Constraints: 168331
553.95/555.94 c #Conflicts: 482000 | #Constraints: 169331
553.95/555.94 c #Conflicts: 483000 | #Constraints: 170331
553.95/555.94 c #Conflicts: 484000 | #Constraints: 171331
553.95/555.94 c #Conflicts: 485000 | #Constraints: 172331
553.95/555.94 c #Conflicts: 486000 | #Constraints: 173331
553.95/555.94 c #Conflicts: 487000 | #Constraints: 174331
553.95/555.94 c #Conflicts: 488000 | #Constraints: 175331
553.95/555.94 c #Conflicts: 489000 | #Constraints: 176331
553.95/555.94 c #Conflicts: 490000 | #Constraints: 177331
553.95/555.94 c #Conflicts: 491000 | #Constraints: 178331
553.95/555.94 c #Conflicts: 492000 | #Constraints: 179331
553.95/555.94 c #Conflicts: 493000 | #Constraints: 180331
553.95/555.94 c #Conflicts: 494000 | #Constraints: 181331
553.95/555.94 c #Conflicts: 495000 | #Constraints: 182331
553.95/555.94 c #Conflicts: 496000 | #Constraints: 183331
553.95/555.94 c #Conflicts: 497000 | #Constraints: 184331
553.95/555.94 c #Conflicts: 498000 | #Constraints: 185331
553.95/555.94 c #Conflicts: 499000 | #Constraints: 186331
553.95/555.94 c #Conflicts: 500000 | #Constraints: 187331
553.95/555.94 c #Conflicts: 501000 | #Constraints: 188331
553.95/555.94 c #Conflicts: 502000 | #Constraints: 189331
553.95/555.94 c #Conflicts: 503000 | #Constraints: 190331
553.95/555.94 c #Conflicts: 504000 | #Constraints: 191331
553.95/555.94 c #Conflicts: 505000 | #Constraints: 192331
553.95/555.94 c #Conflicts: 506000 | #Constraints: 193331
553.95/555.94 c #Conflicts: 507000 | #Constraints: 194331
553.95/555.94 c INPROCESSING
553.95/555.94 c GARBAGE COLLECT
553.95/555.94 c #Conflicts: 508000 | #Constraints: 161627
553.95/555.94 c #Conflicts: 509000 | #Constraints: 162627
553.95/555.94 c #Conflicts: 510000 | #Constraints: 163627
553.95/555.94 c #Conflicts: 511000 | #Constraints: 164627
553.95/555.94 c #Conflicts: 512000 | #Constraints: 165627
553.95/555.94 c #Conflicts: 513000 | #Constraints: 166627
553.95/555.94 c #Conflicts: 514000 | #Constraints: 167627
661.09/663.42 c #Conflicts: 515000 | #Constraints: 168627
661.09/663.42 c #Conflicts: 516000 | #Constraints: 169627
661.09/663.42 c #Conflicts: 517000 | #Constraints: 170627
661.09/663.42 c #Conflicts: 518000 | #Constraints: 171627
661.09/663.42 c #Conflicts: 519000 | #Constraints: 172627
661.09/663.42 c #Conflicts: 520000 | #Constraints: 173627
661.09/663.42 c #Conflicts: 521000 | #Constraints: 174627
661.09/663.42 c #Conflicts: 522000 | #Constraints: 175627
661.09/663.42 c #Conflicts: 523000 | #Constraints: 176627
661.09/663.42 c #Conflicts: 524000 | #Constraints: 177627
661.09/663.42 c INPROCESSING
661.09/663.42 c GARBAGE COLLECT
661.09/663.42 c #Conflicts: 525000 | #Constraints: 153274
661.09/663.42 c #Conflicts: 526000 | #Constraints: 154274
661.09/663.42 c #Conflicts: 527000 | #Constraints: 155274
661.09/663.42 c #Conflicts: 528000 | #Constraints: 156274
661.09/663.42 c #Conflicts: 529000 | #Constraints: 157274
661.09/663.42 c #Conflicts: 530000 | #Constraints: 158274
661.09/663.42 c #Conflicts: 531000 | #Constraints: 159274
661.09/663.42 c #Conflicts: 532000 | #Constraints: 160274
661.09/663.42 c #Conflicts: 533000 | #Constraints: 161274
661.09/663.42 c #Conflicts: 534000 | #Constraints: 162274
661.09/663.42 c #Conflicts: 535000 | #Constraints: 163274
661.09/663.42 c #Conflicts: 536000 | #Constraints: 164274
661.09/663.42 c #Conflicts: 537000 | #Constraints: 165274
661.09/663.42 c #Conflicts: 538000 | #Constraints: 166274
661.09/663.42 c #Conflicts: 539000 | #Constraints: 167274
661.09/663.42 c #Conflicts: 540000 | #Constraints: 168274
661.09/663.42 c #Conflicts: 541000 | #Constraints: 169274
661.09/663.42 c INPROCESSING
661.09/663.42 c GARBAGE COLLECT
661.09/663.42 c #Conflicts: 542000 | #Constraints: 148985
661.09/663.42 c #Conflicts: 543000 | #Constraints: 149985
661.09/663.42 c #Conflicts: 544000 | #Constraints: 150985
661.09/663.42 c #Conflicts: 545000 | #Constraints: 151985
661.09/663.42 c #Conflicts: 546000 | #Constraints: 152985
661.09/663.42 c #Conflicts: 547000 | #Constraints: 153985
661.09/663.42 c #Conflicts: 548000 | #Constraints: 154985
661.09/663.42 c #Conflicts: 549000 | #Constraints: 155985
661.09/663.42 c #Conflicts: 550000 | #Constraints: 156985
661.09/663.42 c #Conflicts: 551000 | #Constraints: 157985
661.09/663.42 c #Conflicts: 552000 | #Constraints: 158985
661.09/663.42 c #Conflicts: 553000 | #Constraints: 159985
661.09/663.42 c #Conflicts: 554000 | #Constraints: 160985
661.09/663.42 c #Conflicts: 555000 | #Constraints: 161985
661.09/663.42 c #Conflicts: 556000 | #Constraints: 162985
661.09/663.42 c #Conflicts: 557000 | #Constraints: 163985
661.09/663.42 c #Conflicts: 558000 | #Constraints: 164985
661.09/663.42 c INPROCESSING
661.09/663.42 c GARBAGE COLLECT
661.09/663.42 c #Conflicts: 559000 | #Constraints: 146641
661.09/663.42 c #Conflicts: 560000 | #Constraints: 147641
661.09/663.42 c #Conflicts: 561000 | #Constraints: 148641
661.09/663.42 c #Conflicts: 562000 | #Constraints: 149641
661.09/663.42 c #Conflicts: 563000 | #Constraints: 150641
661.09/663.42 c #Conflicts: 564000 | #Constraints: 151641
661.09/663.42 c #Conflicts: 565000 | #Constraints: 152641
661.09/663.42 c #Conflicts: 566000 | #Constraints: 153641
661.09/663.42 c #Conflicts: 567000 | #Constraints: 154641
661.09/663.42 c #Conflicts: 568000 | #Constraints: 155641
661.09/663.42 c #Conflicts: 569000 | #Constraints: 156641
661.09/663.42 c #Conflicts: 570000 | #Constraints: 157641
661.09/663.42 c #Conflicts: 571000 | #Constraints: 158641
661.09/663.42 c #Conflicts: 572000 | #Constraints: 159641
661.09/663.42 c #Conflicts: 573000 | #Constraints: 160641
661.09/663.42 c #Conflicts: 574000 | #Constraints: 161641
661.09/663.42 c #Conflicts: 575000 | #Constraints: 162641
661.09/663.42 c #Conflicts: 576000 | #Constraints: 163641
661.09/663.42 c INPROCESSING
661.09/663.42 c GARBAGE COLLECT
661.09/663.42 c #Conflicts: 577000 | #Constraints: 146151
661.09/663.42 c #Conflicts: 578000 | #Constraints: 147151
661.09/663.42 c #Conflicts: 579000 | #Constraints: 148151
661.09/663.42 c #Conflicts: 580000 | #Constraints: 149151
661.09/663.42 c #Conflicts: 581000 | #Constraints: 150151
661.09/663.42 c #Conflicts: 582000 | #Constraints: 151151
661.09/663.42 c #Conflicts: 583000 | #Constraints: 152151
661.09/663.42 c #Conflicts: 584000 | #Constraints: 153151
661.09/663.42 c #Conflicts: 585000 | #Constraints: 154151
661.09/663.42 c #Conflicts: 586000 | #Constraints: 155151
661.09/663.42 c #Conflicts: 587000 | #Constraints: 156151
661.09/663.42 c #Conflicts: 588000 | #Constraints: 157151
661.09/663.42 c #Conflicts: 589000 | #Constraints: 158151
661.09/663.42 c #Conflicts: 590000 | #Constraints: 159151
839.86/842.84 c #Conflicts: 591000 | #Constraints: 160151
839.86/842.84 c #Conflicts: 592000 | #Constraints: 161151
839.86/842.84 c #Conflicts: 593000 | #Constraints: 162151
839.86/842.84 c #Conflicts: 594000 | #Constraints: 163151
839.86/842.84 c #Conflicts: 595000 | #Constraints: 164151
839.86/842.84 c #Conflicts: 596000 | #Constraints: 165151
839.86/842.84 c #Conflicts: 597000 | #Constraints: 166151
839.86/842.84 c #Conflicts: 598000 | #Constraints: 167151
839.86/842.84 c #Conflicts: 599000 | #Constraints: 168151
839.86/842.84 c #Conflicts: 600000 | #Constraints: 169151
839.86/842.84 c #Conflicts: 601000 | #Constraints: 170151
839.86/842.84 c #Conflicts: 602000 | #Constraints: 171151
839.86/842.84 c #Conflicts: 603000 | #Constraints: 172151
839.86/842.84 c #Conflicts: 604000 | #Constraints: 173151
839.86/842.84 c #Conflicts: 605000 | #Constraints: 174151
839.86/842.84 c #Conflicts: 606000 | #Constraints: 175151
839.86/842.84 c #Conflicts: 607000 | #Constraints: 176151
839.86/842.84 c #Conflicts: 608000 | #Constraints: 177151
839.86/842.84 c #Conflicts: 609000 | #Constraints: 178151
839.86/842.84 c #Conflicts: 610000 | #Constraints: 179151
839.86/842.85 c #Conflicts: 611000 | #Constraints: 180151
839.86/842.85 c #Conflicts: 612000 | #Constraints: 181151
839.86/842.85 c #Conflicts: 613000 | #Constraints: 182151
839.86/842.85 c #Conflicts: 614000 | #Constraints: 183151
839.86/842.85 c #Conflicts: 615000 | #Constraints: 184151
839.86/842.85 c #Conflicts: 616000 | #Constraints: 185151
839.86/842.85 c #Conflicts: 617000 | #Constraints: 186151
839.86/842.85 c #Conflicts: 618000 | #Constraints: 187151
839.86/842.85 c #Conflicts: 619000 | #Constraints: 188151
839.86/842.85 c #Conflicts: 620000 | #Constraints: 189151
839.86/842.85 c #Conflicts: 621000 | #Constraints: 190151
839.86/842.85 c #Conflicts: 622000 | #Constraints: 191151
839.86/842.85 c #Conflicts: 623000 | #Constraints: 192151
839.86/842.85 c #Conflicts: 624000 | #Constraints: 193151
839.86/842.85 c #Conflicts: 625000 | #Constraints: 194151
839.86/842.85 c #Conflicts: 626000 | #Constraints: 195151
839.86/842.85 c #Conflicts: 627000 | #Constraints: 196151
839.86/842.85 c #Conflicts: 628000 | #Constraints: 197151
839.86/842.85 c #Conflicts: 629000 | #Constraints: 198151
839.86/842.85 c #Conflicts: 630000 | #Constraints: 199151
839.86/842.85 c #Conflicts: 631000 | #Constraints: 200151
839.86/842.85 c #Conflicts: 632000 | #Constraints: 201151
839.86/842.85 c #Conflicts: 633000 | #Constraints: 202151
839.86/842.85 c INPROCESSING
839.86/842.85 c GARBAGE COLLECT
839.86/842.85 c #Conflicts: 634000 | #Constraints: 165213
839.86/842.85 c #Conflicts: 635000 | #Constraints: 166213
839.86/842.85 c #Conflicts: 636000 | #Constraints: 167213
839.86/842.85 c #Conflicts: 637000 | #Constraints: 168213
839.86/842.85 c #Conflicts: 638000 | #Constraints: 169213
839.86/842.85 c #Conflicts: 639000 | #Constraints: 170213
839.86/842.85 c #Conflicts: 640000 | #Constraints: 171213
839.86/842.85 c #Conflicts: 641000 | #Constraints: 172213
839.86/842.85 c #Conflicts: 642000 | #Constraints: 173213
839.86/842.85 c #Conflicts: 643000 | #Constraints: 174213
839.86/842.85 c #Conflicts: 644000 | #Constraints: 175213
839.86/842.85 c #Conflicts: 645000 | #Constraints: 176213
839.86/842.85 c #Conflicts: 646000 | #Constraints: 177213
839.86/842.85 c #Conflicts: 647000 | #Constraints: 178213
839.86/842.85 c #Conflicts: 648000 | #Constraints: 179213
839.86/842.85 c #Conflicts: 649000 | #Constraints: 180213
839.86/842.85 c #Conflicts: 650000 | #Constraints: 181213
839.86/842.85 c #Conflicts: 651000 | #Constraints: 182213
839.86/842.85 c #Conflicts: 652000 | #Constraints: 183213
839.86/842.85 c INPROCESSING
839.86/842.85 c GARBAGE COLLECT
839.86/842.85 c #Conflicts: 653000 | #Constraints: 155813
839.86/842.85 c #Conflicts: 654000 | #Constraints: 156813
839.86/842.85 c #Conflicts: 655000 | #Constraints: 157813
839.86/842.85 c #Conflicts: 656000 | #Constraints: 158813
839.86/842.85 c #Conflicts: 657000 | #Constraints: 159813
839.86/842.85 c #Conflicts: 658000 | #Constraints: 160813
839.86/842.85 c #Conflicts: 659000 | #Constraints: 161813
839.86/842.85 c #Conflicts: 660000 | #Constraints: 162813
839.86/842.85 c #Conflicts: 661000 | #Constraints: 163813
839.86/842.85 c #Conflicts: 662000 | #Constraints: 164813
839.86/842.85 c #Conflicts: 663000 | #Constraints: 165813
839.86/842.85 c #Conflicts: 664000 | #Constraints: 166813
839.86/842.85 c #Conflicts: 665000 | #Constraints: 167813
839.86/842.85 c #Conflicts: 666000 | #Constraints: 168813
839.86/842.85 c #Conflicts: 667000 | #Constraints: 169813
839.86/842.85 c #Conflicts: 668000 | #Constraints: 170813
929.36/932.67 c #Conflicts: 669000 | #Constraints: 171813
929.36/932.67 c #Conflicts: 670000 | #Constraints: 172813
929.36/932.67 c #Conflicts: 671000 | #Constraints: 173813
929.36/932.67 c INPROCESSING
929.36/932.67 c GARBAGE COLLECT
929.36/932.67 c #Conflicts: 672000 | #Constraints: 151068
929.36/932.67 c #Conflicts: 673000 | #Constraints: 152068
929.36/932.67 c #Conflicts: 674000 | #Constraints: 153068
929.36/932.67 c #Conflicts: 675000 | #Constraints: 154068
929.36/932.67 c #Conflicts: 676000 | #Constraints: 155068
929.36/932.67 c #Conflicts: 677000 | #Constraints: 156068
929.36/932.67 c #Conflicts: 678000 | #Constraints: 157068
929.36/932.67 c #Conflicts: 679000 | #Constraints: 158068
929.36/932.67 c #Conflicts: 680000 | #Constraints: 159068
929.36/932.67 c #Conflicts: 681000 | #Constraints: 160068
929.36/932.67 c #Conflicts: 682000 | #Constraints: 161068
929.36/932.67 c #Conflicts: 683000 | #Constraints: 162068
929.36/932.67 c #Conflicts: 684000 | #Constraints: 163068
929.36/932.67 c #Conflicts: 685000 | #Constraints: 164068
929.36/932.67 c #Conflicts: 686000 | #Constraints: 165068
929.36/932.67 c #Conflicts: 687000 | #Constraints: 166068
929.36/932.67 c #Conflicts: 688000 | #Constraints: 167068
929.36/932.67 c #Conflicts: 689000 | #Constraints: 168068
929.36/932.67 c #Conflicts: 690000 | #Constraints: 169068
929.36/932.67 c INPROCESSING
929.36/932.67 c GARBAGE COLLECT
929.36/932.67 c #Conflicts: 691000 | #Constraints: 148525
929.36/932.67 c #Conflicts: 692000 | #Constraints: 149525
929.36/932.67 c #Conflicts: 693000 | #Constraints: 150525
929.36/932.67 c #Conflicts: 694000 | #Constraints: 151525
929.36/932.67 c #Conflicts: 695000 | #Constraints: 152525
929.36/932.67 c #Conflicts: 696000 | #Constraints: 153525
929.36/932.67 c #Conflicts: 697000 | #Constraints: 154525
929.36/932.67 c #Conflicts: 698000 | #Constraints: 155525
929.36/932.67 c #Conflicts: 699000 | #Constraints: 156525
929.36/932.67 c #Conflicts: 700000 | #Constraints: 157525
929.36/932.67 c #Conflicts: 701000 | #Constraints: 158525
929.36/932.67 c #Conflicts: 702000 | #Constraints: 159525
929.36/932.67 c #Conflicts: 703000 | #Constraints: 160525
929.36/932.67 c #Conflicts: 704000 | #Constraints: 161525
929.36/932.67 c #Conflicts: 705000 | #Constraints: 162525
929.36/932.67 c #Conflicts: 706000 | #Constraints: 163525
929.36/932.67 c #Conflicts: 707000 | #Constraints: 164525
929.36/932.67 c #Conflicts: 708000 | #Constraints: 165525
929.36/932.67 c #Conflicts: 709000 | #Constraints: 166525
929.36/932.67 c #Conflicts: 710000 | #Constraints: 167525
929.36/932.67 c INPROCESSING
929.36/932.67 c GARBAGE COLLECT
929.36/932.67 c #Conflicts: 711000 | #Constraints: 147992
929.36/932.67 c #Conflicts: 712000 | #Constraints: 148992
929.36/932.67 c #Conflicts: 713000 | #Constraints: 149992
929.36/932.67 c #Conflicts: 714000 | #Constraints: 150992
929.36/932.67 c #Conflicts: 715000 | #Constraints: 151992
929.36/932.67 c #Conflicts: 716000 | #Constraints: 152992
929.36/932.67 c #Conflicts: 717000 | #Constraints: 153992
929.36/932.67 c #Conflicts: 718000 | #Constraints: 154992
929.36/932.67 c #Conflicts: 719000 | #Constraints: 155992
929.36/932.67 c #Conflicts: 720000 | #Constraints: 156992
929.36/932.67 c #Conflicts: 721000 | #Constraints: 157992
929.36/932.67 c #Conflicts: 722000 | #Constraints: 158992
929.36/932.67 c #Conflicts: 723000 | #Constraints: 159992
929.36/932.67 c #Conflicts: 724000 | #Constraints: 160992
929.36/932.67 c #Conflicts: 725000 | #Constraints: 161992
929.36/932.67 c #Conflicts: 726000 | #Constraints: 162992
929.36/932.67 c #Conflicts: 727000 | #Constraints: 163992
929.36/932.67 c #Conflicts: 728000 | #Constraints: 164992
929.36/932.67 c #Conflicts: 729000 | #Constraints: 165992
929.36/932.67 c #Conflicts: 730000 | #Constraints: 166992
929.36/932.67 c INPROCESSING
929.36/932.67 c GARBAGE COLLECT
929.36/932.67 c #Conflicts: 731000 | #Constraints: 147899
929.36/932.67 c #Conflicts: 732000 | #Constraints: 148899
929.36/932.67 c #Conflicts: 733000 | #Constraints: 149899
929.36/932.67 c #Conflicts: 734000 | #Constraints: 150899
929.36/932.67 c #Conflicts: 735000 | #Constraints: 151899
929.36/932.67 c #Conflicts: 736000 | #Constraints: 152899
929.36/932.67 c #Conflicts: 737000 | #Constraints: 153899
929.36/932.67 c #Conflicts: 738000 | #Constraints: 154899
929.36/932.67 c #Conflicts: 739000 | #Constraints: 155899
929.36/932.67 c #Conflicts: 740000 | #Constraints: 156899
929.36/932.67 c #Conflicts: 741000 | #Constraints: 157899
929.36/932.67 c #Conflicts: 742000 | #Constraints: 158899
929.36/932.67 c #Conflicts: 743000 | #Constraints: 159899
929.36/932.67 c #Conflicts: 744000 | #Constraints: 160899
1113.28/1117.16 c #Conflicts: 745000 | #Constraints: 161899
1113.28/1117.16 c #Conflicts: 746000 | #Constraints: 162899
1113.28/1117.16 c #Conflicts: 747000 | #Constraints: 163899
1113.28/1117.16 c #Conflicts: 748000 | #Constraints: 164899
1113.28/1117.16 c #Conflicts: 749000 | #Constraints: 165899
1113.28/1117.16 c #Conflicts: 750000 | #Constraints: 166899
1113.28/1117.16 c #Conflicts: 751000 | #Constraints: 167899
1113.28/1117.16 c #Conflicts: 752000 | #Constraints: 168899
1113.28/1117.16 c #Conflicts: 753000 | #Constraints: 169899
1113.28/1117.16 c #Conflicts: 754000 | #Constraints: 170899
1113.28/1117.16 c #Conflicts: 755000 | #Constraints: 171899
1113.28/1117.16 c #Conflicts: 756000 | #Constraints: 172899
1113.28/1117.16 c #Conflicts: 757000 | #Constraints: 173899
1113.28/1117.16 c #Conflicts: 758000 | #Constraints: 174899
1113.28/1117.16 c #Conflicts: 759000 | #Constraints: 175899
1113.28/1117.16 c #Conflicts: 760000 | #Constraints: 176899
1113.28/1117.16 c #Conflicts: 761000 | #Constraints: 177899
1113.28/1117.16 c #Conflicts: 762000 | #Constraints: 178899
1113.28/1117.16 c #Conflicts: 763000 | #Constraints: 179899
1113.28/1117.16 c #Conflicts: 764000 | #Constraints: 180899
1113.28/1117.16 c #Conflicts: 765000 | #Constraints: 181899
1113.28/1117.16 c #Conflicts: 766000 | #Constraints: 182899
1113.28/1117.16 c #Conflicts: 767000 | #Constraints: 183899
1113.28/1117.16 c #Conflicts: 768000 | #Constraints: 184899
1113.28/1117.16 c #Conflicts: 769000 | #Constraints: 185899
1113.28/1117.16 c #Conflicts: 770000 | #Constraints: 186899
1113.28/1117.16 c #Conflicts: 771000 | #Constraints: 187899
1113.28/1117.16 c #Conflicts: 772000 | #Constraints: 188899
1113.28/1117.16 c #Conflicts: 773000 | #Constraints: 189899
1113.28/1117.16 c #Conflicts: 774000 | #Constraints: 190899
1113.28/1117.16 c #Conflicts: 775000 | #Constraints: 191899
1113.28/1117.16 c #Conflicts: 776000 | #Constraints: 192899
1113.28/1117.16 c #Conflicts: 777000 | #Constraints: 193899
1113.28/1117.16 c #Conflicts: 778000 | #Constraints: 194899
1113.28/1117.16 c #Conflicts: 779000 | #Constraints: 195899
1113.28/1117.16 c #Conflicts: 780000 | #Constraints: 196899
1113.28/1117.16 c #Conflicts: 781000 | #Constraints: 197899
1113.28/1117.16 c #Conflicts: 782000 | #Constraints: 198899
1113.28/1117.16 c #Conflicts: 783000 | #Constraints: 199899
1113.28/1117.16 c #Conflicts: 784000 | #Constraints: 200899
1113.28/1117.16 c #Conflicts: 785000 | #Constraints: 201899
1113.28/1117.16 c #Conflicts: 786000 | #Constraints: 202899
1113.28/1117.16 c #Conflicts: 787000 | #Constraints: 203899
1113.28/1117.16 c #Conflicts: 788000 | #Constraints: 204899
1113.28/1117.16 c #Conflicts: 789000 | #Constraints: 205899
1113.28/1117.16 c #Conflicts: 790000 | #Constraints: 206899
1113.28/1117.16 c #Conflicts: 791000 | #Constraints: 207899
1113.28/1117.16 c #Conflicts: 792000 | #Constraints: 208899
1113.28/1117.16 c #Conflicts: 793000 | #Constraints: 209899
1113.28/1117.16 c #Conflicts: 794000 | #Constraints: 210899
1113.28/1117.16 c #Conflicts: 795000 | #Constraints: 211899
1113.28/1117.16 c INPROCESSING
1113.28/1117.16 c GARBAGE COLLECT
1113.28/1117.16 c #Conflicts: 796000 | #Constraints: 170408
1113.28/1117.16 c #Conflicts: 797000 | #Constraints: 171408
1113.28/1117.16 c #Conflicts: 798000 | #Constraints: 172408
1113.28/1117.16 c #Conflicts: 799000 | #Constraints: 173408
1113.28/1117.16 c #Conflicts: 800000 | #Constraints: 174408
1113.28/1117.16 c #Conflicts: 801000 | #Constraints: 175408
1113.28/1117.16 c #Conflicts: 802000 | #Constraints: 176408
1113.28/1117.16 c #Conflicts: 803000 | #Constraints: 177408
1113.28/1117.16 c #Conflicts: 804000 | #Constraints: 178408
1113.28/1117.16 c #Conflicts: 805000 | #Constraints: 179408
1113.28/1117.16 c #Conflicts: 806000 | #Constraints: 180408
1113.28/1117.16 c #Conflicts: 807000 | #Constraints: 181408
1113.28/1117.16 c #Conflicts: 808000 | #Constraints: 182408
1113.28/1117.16 c #Conflicts: 809000 | #Constraints: 183408
1113.28/1117.16 c #Conflicts: 810000 | #Constraints: 184408
1113.28/1117.16 c #Conflicts: 811000 | #Constraints: 185408
1113.28/1117.16 c #Conflicts: 812000 | #Constraints: 186408
1113.28/1117.16 c #Conflicts: 813000 | #Constraints: 187408
1113.28/1117.16 c #Conflicts: 814000 | #Constraints: 188408
1113.28/1117.16 c #Conflicts: 815000 | #Constraints: 189408
1113.28/1117.16 c #Conflicts: 816000 | #Constraints: 190408
1113.28/1117.16 c INPROCESSING
1113.28/1117.16 c GARBAGE COLLECT
1113.28/1117.16 c #Conflicts: 817000 | #Constraints: 159682
1113.28/1117.16 c #Conflicts: 818000 | #Constraints: 160682
1113.28/1117.16 c #Conflicts: 819000 | #Constraints: 161682
1113.28/1117.16 c #Conflicts: 820000 | #Constraints: 162682
1113.28/1117.16 c #Conflicts: 821000 | #Constraints: 163682
1113.28/1117.16 c #Conflicts: 822000 | #Constraints: 164682
1223.51/1227.74 c #Conflicts: 823000 | #Constraints: 165682
1223.51/1227.74 c #Conflicts: 824000 | #Constraints: 166682
1223.51/1227.74 c #Conflicts: 825000 | #Constraints: 167682
1223.51/1227.74 c #Conflicts: 826000 | #Constraints: 168682
1223.51/1227.74 c #Conflicts: 827000 | #Constraints: 169682
1223.51/1227.74 c #Conflicts: 828000 | #Constraints: 170682
1223.51/1227.74 c #Conflicts: 829000 | #Constraints: 171682
1223.51/1227.74 c #Conflicts: 830000 | #Constraints: 172682
1223.51/1227.74 c #Conflicts: 831000 | #Constraints: 173682
1223.51/1227.74 c #Conflicts: 832000 | #Constraints: 174682
1223.51/1227.74 c #Conflicts: 833000 | #Constraints: 175682
1223.51/1227.74 c #Conflicts: 834000 | #Constraints: 176682
1223.51/1227.74 c #Conflicts: 835000 | #Constraints: 177682
1223.51/1227.74 c #Conflicts: 836000 | #Constraints: 178682
1223.51/1227.74 c #Conflicts: 837000 | #Constraints: 179682
1223.51/1227.74 c INPROCESSING
1223.51/1227.74 c GARBAGE COLLECT
1223.51/1227.74 c #Conflicts: 838000 | #Constraints: 154193
1223.51/1227.74 c #Conflicts: 839000 | #Constraints: 155193
1223.51/1227.74 c #Conflicts: 840000 | #Constraints: 156193
1223.51/1227.74 c #Conflicts: 841000 | #Constraints: 157193
1223.51/1227.74 c #Conflicts: 842000 | #Constraints: 158193
1223.51/1227.74 c #Conflicts: 843000 | #Constraints: 159193
1223.51/1227.74 c #Conflicts: 844000 | #Constraints: 160193
1223.51/1227.74 c #Conflicts: 845000 | #Constraints: 161193
1223.51/1227.74 c #Conflicts: 846000 | #Constraints: 162193
1223.51/1227.74 c #Conflicts: 847000 | #Constraints: 163193
1223.51/1227.74 c #Conflicts: 848000 | #Constraints: 164193
1223.51/1227.74 c #Conflicts: 849000 | #Constraints: 165193
1223.51/1227.74 c #Conflicts: 850000 | #Constraints: 166193
1223.51/1227.74 c #Conflicts: 851000 | #Constraints: 167193
1223.51/1227.74 c #Conflicts: 852000 | #Constraints: 168193
1223.51/1227.74 c #Conflicts: 853000 | #Constraints: 169193
1223.51/1227.74 c #Conflicts: 854000 | #Constraints: 170193
1223.51/1227.74 c #Conflicts: 855000 | #Constraints: 171193
1223.51/1227.74 c #Conflicts: 856000 | #Constraints: 172193
1223.51/1227.74 c #Conflicts: 857000 | #Constraints: 173193
1223.51/1227.74 c #Conflicts: 858000 | #Constraints: 174193
1223.51/1227.74 c INPROCESSING
1223.51/1227.74 c GARBAGE COLLECT
1223.51/1227.74 c #Conflicts: 859000 | #Constraints: 151270
1223.51/1227.74 c #Conflicts: 860000 | #Constraints: 152270
1223.51/1227.74 c #Conflicts: 861000 | #Constraints: 153270
1223.51/1227.74 c #Conflicts: 862000 | #Constraints: 154270
1223.51/1227.74 c #Conflicts: 863000 | #Constraints: 155270
1223.51/1227.74 c #Conflicts: 864000 | #Constraints: 156270
1223.51/1227.74 c #Conflicts: 865000 | #Constraints: 157270
1223.51/1227.74 c #Conflicts: 866000 | #Constraints: 158270
1223.51/1227.74 c #Conflicts: 867000 | #Constraints: 159270
1223.51/1227.74 c #Conflicts: 868000 | #Constraints: 160270
1223.51/1227.74 c #Conflicts: 869000 | #Constraints: 161270
1223.51/1227.74 c #Conflicts: 870000 | #Constraints: 162270
1223.51/1227.74 c #Conflicts: 871000 | #Constraints: 163270
1223.51/1227.74 c #Conflicts: 872000 | #Constraints: 164270
1223.51/1227.74 c #Conflicts: 873000 | #Constraints: 165270
1223.51/1227.74 c #Conflicts: 874000 | #Constraints: 166270
1223.51/1227.74 c #Conflicts: 875000 | #Constraints: 167270
1223.51/1227.74 c #Conflicts: 876000 | #Constraints: 168270
1223.51/1227.74 c #Conflicts: 877000 | #Constraints: 169270
1223.51/1227.74 c #Conflicts: 878000 | #Constraints: 170270
1223.51/1227.74 c #Conflicts: 879000 | #Constraints: 171270
1223.51/1227.74 c #Conflicts: 880000 | #Constraints: 172270
1223.51/1227.74 c INPROCESSING
1223.51/1227.74 c GARBAGE COLLECT
1223.51/1227.74 c #Conflicts: 881000 | #Constraints: 150495
1223.51/1227.74 c #Conflicts: 882000 | #Constraints: 151495
1223.51/1227.74 c #Conflicts: 883000 | #Constraints: 152495
1223.51/1227.74 c #Conflicts: 884000 | #Constraints: 153495
1223.51/1227.74 c #Conflicts: 885000 | #Constraints: 154495
1223.51/1227.74 c #Conflicts: 886000 | #Constraints: 155495
1223.51/1227.74 c #Conflicts: 887000 | #Constraints: 156495
1223.51/1227.74 c #Conflicts: 888000 | #Constraints: 157495
1223.51/1227.74 c #Conflicts: 889000 | #Constraints: 158495
1223.51/1227.74 c #Conflicts: 890000 | #Constraints: 159495
1223.51/1227.74 c #Conflicts: 891000 | #Constraints: 160495
1223.51/1227.74 c #Conflicts: 892000 | #Constraints: 161495
1223.51/1227.74 c #Conflicts: 893000 | #Constraints: 162495
1223.51/1227.74 c #Conflicts: 894000 | #Constraints: 163495
1223.51/1227.74 c #Conflicts: 895000 | #Constraints: 164495
1223.51/1227.74 c #Conflicts: 896000 | #Constraints: 165495
1223.51/1227.74 c #Conflicts: 897000 | #Constraints: 166495
1223.51/1227.74 c #Conflicts: 898000 | #Constraints: 167495
1223.51/1227.74 c #Conflicts: 899000 | #Constraints: 168495
1408.40/1413.28 c #Conflicts: 900000 | #Constraints: 169495
1408.40/1413.28 c #Conflicts: 901000 | #Constraints: 170495
1408.40/1413.28 c #Conflicts: 902000 | #Constraints: 171495
1408.40/1413.28 c INPROCESSING
1408.40/1413.28 c GARBAGE COLLECT
1408.40/1413.28 c #Conflicts: 903000 | #Constraints: 150221
1408.40/1413.28 c #Conflicts: 904000 | #Constraints: 151221
1408.40/1413.28 c #Conflicts: 905000 | #Constraints: 152221
1408.40/1413.28 c #Conflicts: 906000 | #Constraints: 153221
1408.40/1413.28 c #Conflicts: 907000 | #Constraints: 154221
1408.40/1413.28 c #Conflicts: 908000 | #Constraints: 155221
1408.40/1413.28 c #Conflicts: 909000 | #Constraints: 156221
1408.40/1413.28 c #Conflicts: 910000 | #Constraints: 157221
1408.40/1413.28 c #Conflicts: 911000 | #Constraints: 158221
1408.40/1413.28 c #Conflicts: 912000 | #Constraints: 159221
1408.40/1413.28 c #Conflicts: 913000 | #Constraints: 160221
1408.40/1413.28 c #Conflicts: 914000 | #Constraints: 161221
1408.40/1413.28 c #Conflicts: 915000 | #Constraints: 162221
1408.40/1413.28 c #Conflicts: 916000 | #Constraints: 163221
1408.40/1413.28 c #Conflicts: 917000 | #Constraints: 164221
1408.40/1413.28 c #Conflicts: 918000 | #Constraints: 165221
1408.40/1413.29 c #Conflicts: 919000 | #Constraints: 166221
1408.40/1413.29 c #Conflicts: 920000 | #Constraints: 167221
1408.40/1413.29 c #Conflicts: 921000 | #Constraints: 168221
1408.40/1413.29 c #Conflicts: 922000 | #Constraints: 169221
1408.40/1413.29 c #Conflicts: 923000 | #Constraints: 170221
1408.40/1413.29 c #Conflicts: 924000 | #Constraints: 171221
1408.40/1413.29 c #Conflicts: 925000 | #Constraints: 172221
1408.40/1413.29 c #Conflicts: 926000 | #Constraints: 173221
1408.40/1413.29 c #Conflicts: 927000 | #Constraints: 174221
1408.40/1413.29 c #Conflicts: 928000 | #Constraints: 175221
1408.40/1413.29 c #Conflicts: 929000 | #Constraints: 176221
1408.40/1413.29 c #Conflicts: 930000 | #Constraints: 177221
1408.40/1413.29 c #Conflicts: 931000 | #Constraints: 178221
1408.40/1413.29 c #Conflicts: 932000 | #Constraints: 179221
1408.40/1413.29 c #Conflicts: 933000 | #Constraints: 180221
1408.40/1413.29 c #Conflicts: 934000 | #Constraints: 181221
1408.40/1413.29 c #Conflicts: 935000 | #Constraints: 182221
1408.40/1413.29 c #Conflicts: 936000 | #Constraints: 183221
1408.40/1413.29 c #Conflicts: 937000 | #Constraints: 184221
1408.40/1413.29 c #Conflicts: 938000 | #Constraints: 185221
1408.40/1413.29 c #Conflicts: 939000 | #Constraints: 186221
1408.40/1413.29 c #Conflicts: 940000 | #Constraints: 187221
1408.40/1413.29 c #Conflicts: 941000 | #Constraints: 188221
1408.40/1413.29 c #Conflicts: 942000 | #Constraints: 189221
1408.40/1413.29 c #Conflicts: 943000 | #Constraints: 190221
1408.40/1413.29 c #Conflicts: 944000 | #Constraints: 191221
1408.40/1413.29 c #Conflicts: 945000 | #Constraints: 192221
1408.40/1413.29 c #Conflicts: 946000 | #Constraints: 193221
1408.40/1413.29 c #Conflicts: 947000 | #Constraints: 194221
1408.40/1413.29 c #Conflicts: 948000 | #Constraints: 195221
1408.40/1413.29 c #Conflicts: 949000 | #Constraints: 196221
1408.40/1413.29 c #Conflicts: 950000 | #Constraints: 197221
1408.40/1413.29 c #Conflicts: 951000 | #Constraints: 198221
1408.40/1413.29 c #Conflicts: 952000 | #Constraints: 199221
1408.40/1413.29 c #Conflicts: 953000 | #Constraints: 200221
1408.40/1413.29 c #Conflicts: 954000 | #Constraints: 201221
1408.40/1413.29 c #Conflicts: 955000 | #Constraints: 202221
1408.40/1413.29 c #Conflicts: 956000 | #Constraints: 203221
1408.40/1413.29 c #Conflicts: 957000 | #Constraints: 204221
1408.40/1413.29 c #Conflicts: 958000 | #Constraints: 205221
1408.40/1413.29 c #Conflicts: 959000 | #Constraints: 206221
1408.40/1413.29 c #Conflicts: 960000 | #Constraints: 207221
1408.40/1413.29 c #Conflicts: 961000 | #Constraints: 208221
1408.40/1413.29 c #Conflicts: 962000 | #Constraints: 209221
1408.40/1413.29 c #Conflicts: 963000 | #Constraints: 210221
1408.40/1413.29 c #Conflicts: 964000 | #Constraints: 211221
1408.40/1413.29 c #Conflicts: 965000 | #Constraints: 212221
1408.40/1413.29 c #Conflicts: 966000 | #Constraints: 213221
1408.40/1413.29 c #Conflicts: 967000 | #Constraints: 214221
1408.40/1413.29 c #Conflicts: 968000 | #Constraints: 215221
1408.40/1413.29 c #Conflicts: 969000 | #Constraints: 216221
1408.40/1413.29 c #Conflicts: 970000 | #Constraints: 217221
1408.40/1413.29 c #Conflicts: 971000 | #Constraints: 218221
1408.40/1413.29 c #Conflicts: 972000 | #Constraints: 219221
1408.40/1413.29 c #Conflicts: 973000 | #Constraints: 220221
1408.40/1413.29 c #Conflicts: 974000 | #Constraints: 221221
1408.40/1413.29 c INPROCESSING
1408.40/1413.29 c GARBAGE COLLECT
1408.40/1413.29 c #Conflicts: 975000 | #Constraints: 174889
1408.40/1413.29 c #Conflicts: 976000 | #Constraints: 175889
1572.47/1577.80 c #Conflicts: 977000 | #Constraints: 176889
1572.47/1577.80 c #Conflicts: 978000 | #Constraints: 177889
1572.47/1577.80 c #Conflicts: 979000 | #Constraints: 178889
1572.47/1577.80 c #Conflicts: 980000 | #Constraints: 179889
1572.47/1577.80 c #Conflicts: 981000 | #Constraints: 180889
1572.47/1577.80 c #Conflicts: 982000 | #Constraints: 181889
1572.47/1577.80 c #Conflicts: 983000 | #Constraints: 182889
1572.47/1577.80 c #Conflicts: 984000 | #Constraints: 183889
1572.47/1577.80 c #Conflicts: 985000 | #Constraints: 184889
1572.47/1577.80 c #Conflicts: 986000 | #Constraints: 185889
1572.47/1577.80 c #Conflicts: 987000 | #Constraints: 186889
1572.47/1577.80 c #Conflicts: 988000 | #Constraints: 187889
1572.47/1577.80 c #Conflicts: 989000 | #Constraints: 188889
1572.47/1577.80 c #Conflicts: 990000 | #Constraints: 189889
1572.47/1577.80 c #Conflicts: 991000 | #Constraints: 190889
1572.47/1577.80 c #Conflicts: 992000 | #Constraints: 191889
1572.47/1577.80 c #Conflicts: 993000 | #Constraints: 192889
1572.47/1577.80 c #Conflicts: 994000 | #Constraints: 193889
1572.47/1577.80 c #Conflicts: 995000 | #Constraints: 194889
1572.47/1577.80 c #Conflicts: 996000 | #Constraints: 195889
1572.47/1577.80 c #Conflicts: 997000 | #Constraints: 196889
1572.47/1577.80 c INPROCESSING
1572.47/1577.80 c GARBAGE COLLECT
1572.47/1577.80 c #Conflicts: 998000 | #Constraints: 162651
1572.47/1577.80 c #Conflicts: 999000 | #Constraints: 163651
1572.47/1577.80 c #Conflicts: 1000000 | #Constraints: 164651
1572.47/1577.80 c #Conflicts: 1001000 | #Constraints: 165651
1572.47/1577.80 c #Conflicts: 1002000 | #Constraints: 166651
1572.47/1577.80 c #Conflicts: 1003000 | #Constraints: 167651
1572.47/1577.80 c #Conflicts: 1004000 | #Constraints: 168651
1572.47/1577.80 c #Conflicts: 1005000 | #Constraints: 169651
1572.47/1577.80 c #Conflicts: 1006000 | #Constraints: 170651
1572.47/1577.80 c #Conflicts: 1007000 | #Constraints: 171651
1572.47/1577.80 c #Conflicts: 1008000 | #Constraints: 172651
1572.47/1577.80 c #Conflicts: 1009000 | #Constraints: 173651
1572.47/1577.80 c #Conflicts: 1010000 | #Constraints: 174651
1572.47/1577.80 c #Conflicts: 1011000 | #Constraints: 175651
1572.47/1577.80 c #Conflicts: 1012000 | #Constraints: 176651
1572.47/1577.80 c #Conflicts: 1013000 | #Constraints: 177651
1572.47/1577.80 c #Conflicts: 1014000 | #Constraints: 178651
1572.47/1577.80 c #Conflicts: 1015000 | #Constraints: 179651
1572.47/1577.80 c #Conflicts: 1016000 | #Constraints: 180651
1572.47/1577.80 c #Conflicts: 1017000 | #Constraints: 181651
1572.47/1577.80 c #Conflicts: 1018000 | #Constraints: 182651
1572.47/1577.80 c #Conflicts: 1019000 | #Constraints: 183651
1572.47/1577.80 c #Conflicts: 1020000 | #Constraints: 184651
1572.47/1577.80 c INPROCESSING
1572.47/1577.80 c GARBAGE COLLECT
1572.47/1577.80 c #Conflicts: 1021000 | #Constraints: 156391
1572.47/1577.80 c #Conflicts: 1022000 | #Constraints: 157391
1572.47/1577.80 c #Conflicts: 1023000 | #Constraints: 158391
1572.47/1577.80 c #Conflicts: 1024000 | #Constraints: 159391
1572.47/1577.80 c #Conflicts: 1025000 | #Constraints: 160391
1572.47/1577.80 c #Conflicts: 1026000 | #Constraints: 161391
1572.47/1577.80 c #Conflicts: 1027000 | #Constraints: 162391
1572.47/1577.80 c #Conflicts: 1028000 | #Constraints: 163391
1572.47/1577.80 c #Conflicts: 1029000 | #Constraints: 164391
1572.47/1577.80 c #Conflicts: 1030000 | #Constraints: 165391
1572.47/1577.80 c #Conflicts: 1031000 | #Constraints: 166391
1572.47/1577.80 c #Conflicts: 1032000 | #Constraints: 167391
1572.47/1577.80 c #Conflicts: 1033000 | #Constraints: 168391
1572.47/1577.80 c #Conflicts: 1034000 | #Constraints: 169391
1572.47/1577.80 c #Conflicts: 1035000 | #Constraints: 170391
1572.47/1577.80 c #Conflicts: 1036000 | #Constraints: 171391
1572.47/1577.80 c #Conflicts: 1037000 | #Constraints: 172391
1572.47/1577.80 c #Conflicts: 1038000 | #Constraints: 173391
1572.47/1577.80 c #Conflicts: 1039000 | #Constraints: 174391
1572.47/1577.80 c #Conflicts: 1040000 | #Constraints: 175391
1572.47/1577.80 c #Conflicts: 1041000 | #Constraints: 176391
1572.47/1577.80 c #Conflicts: 1042000 | #Constraints: 177391
1572.47/1577.80 c #Conflicts: 1043000 | #Constraints: 178391
1572.47/1577.80 c #Conflicts: 1044000 | #Constraints: 179391
1572.47/1577.80 c INPROCESSING
1572.47/1577.80 c GARBAGE COLLECT
1572.47/1577.80 c #Conflicts: 1045000 | #Constraints: 153991
1572.47/1577.80 c #Conflicts: 1046000 | #Constraints: 154991
1572.47/1577.80 c #Conflicts: 1047000 | #Constraints: 155991
1572.47/1577.80 c #Conflicts: 1048000 | #Constraints: 156991
1572.47/1577.80 c #Conflicts: 1049000 | #Constraints: 157991
1572.47/1577.80 c #Conflicts: 1050000 | #Constraints: 158991
1572.47/1577.80 c #Conflicts: 1051000 | #Constraints: 159991
1572.47/1577.80 c #Conflicts: 1052000 | #Constraints: 160991
1572.47/1577.80 c #Conflicts: 1053000 | #Constraints: 161991
1691.78/1697.56 c #Conflicts: 1054000 | #Constraints: 162991
1691.78/1697.56 c #Conflicts: 1055000 | #Constraints: 163991
1691.78/1697.56 c #Conflicts: 1056000 | #Constraints: 164991
1691.78/1697.56 c #Conflicts: 1057000 | #Constraints: 165991
1691.78/1697.56 c #Conflicts: 1058000 | #Constraints: 166991
1691.78/1697.56 c #Conflicts: 1059000 | #Constraints: 167991
1691.78/1697.56 c #Conflicts: 1060000 | #Constraints: 168991
1691.78/1697.56 c #Conflicts: 1061000 | #Constraints: 169991
1691.78/1697.56 c #Conflicts: 1062000 | #Constraints: 170991
1691.78/1697.56 c #Conflicts: 1063000 | #Constraints: 171991
1691.78/1697.56 c #Conflicts: 1064000 | #Constraints: 172991
1691.78/1697.56 c #Conflicts: 1065000 | #Constraints: 173991
1691.78/1697.56 c #Conflicts: 1066000 | #Constraints: 174991
1691.78/1697.56 c #Conflicts: 1067000 | #Constraints: 175991
1691.78/1697.56 c #Conflicts: 1068000 | #Constraints: 176991
1691.78/1697.56 c INPROCESSING
1691.78/1697.56 c GARBAGE COLLECT
1691.78/1697.56 c #Conflicts: 1069000 | #Constraints: 152977
1691.78/1697.56 c #Conflicts: 1070000 | #Constraints: 153977
1691.78/1697.56 c #Conflicts: 1071000 | #Constraints: 154977
1691.78/1697.56 c #Conflicts: 1072000 | #Constraints: 155977
1691.78/1697.56 c #Conflicts: 1073000 | #Constraints: 156977
1691.78/1697.56 c #Conflicts: 1074000 | #Constraints: 157977
1691.78/1697.56 c #Conflicts: 1075000 | #Constraints: 158977
1691.78/1697.56 c #Conflicts: 1076000 | #Constraints: 159977
1691.78/1697.56 c #Conflicts: 1077000 | #Constraints: 160977
1691.78/1697.56 c #Conflicts: 1078000 | #Constraints: 161977
1691.78/1697.56 c #Conflicts: 1079000 | #Constraints: 162977
1691.78/1697.56 c #Conflicts: 1080000 | #Constraints: 163977
1691.78/1697.56 c #Conflicts: 1081000 | #Constraints: 164977
1691.78/1697.56 c #Conflicts: 1082000 | #Constraints: 165977
1691.78/1697.56 c #Conflicts: 1083000 | #Constraints: 166977
1691.78/1697.56 c #Conflicts: 1084000 | #Constraints: 167977
1691.78/1697.56 c #Conflicts: 1085000 | #Constraints: 168977
1691.78/1697.56 c #Conflicts: 1086000 | #Constraints: 169977
1691.78/1697.56 c #Conflicts: 1087000 | #Constraints: 170977
1691.78/1697.56 c #Conflicts: 1088000 | #Constraints: 171977
1691.78/1697.56 c #Conflicts: 1089000 | #Constraints: 172977
1691.78/1697.56 c #Conflicts: 1090000 | #Constraints: 173977
1691.78/1697.56 c #Conflicts: 1091000 | #Constraints: 174977
1691.78/1697.56 c INPROCESSING
1691.78/1697.56 c GARBAGE COLLECT
1691.78/1697.56 c #Conflicts: 1092000 | #Constraints: 151491
1691.78/1697.56 c #Conflicts: 1093000 | #Constraints: 152491
1691.78/1697.56 c #Conflicts: 1094000 | #Constraints: 153491
1691.78/1697.56 c #Conflicts: 1095000 | #Constraints: 154491
1691.78/1697.56 c #Conflicts: 1096000 | #Constraints: 155491
1691.78/1697.56 c #Conflicts: 1097000 | #Constraints: 156491
1691.78/1697.56 c #Conflicts: 1098000 | #Constraints: 157491
1691.78/1697.56 c #Conflicts: 1099000 | #Constraints: 158491
1691.78/1697.56 c #Conflicts: 1100000 | #Constraints: 159491
1691.78/1697.56 c #Conflicts: 1101000 | #Constraints: 160491
1691.78/1697.56 c #Conflicts: 1102000 | #Constraints: 161491
1691.78/1697.56 c #Conflicts: 1103000 | #Constraints: 162491
1691.78/1697.56 c #Conflicts: 1104000 | #Constraints: 163491
1691.78/1697.56 c #Conflicts: 1105000 | #Constraints: 164491
1691.78/1697.56 c #Conflicts: 1106000 | #Constraints: 165491
1691.78/1697.56 c #Conflicts: 1107000 | #Constraints: 166491
1691.78/1697.56 c #Conflicts: 1108000 | #Constraints: 167491
1691.78/1697.56 c #Conflicts: 1109000 | #Constraints: 168491
1691.78/1697.56 c #Conflicts: 1110000 | #Constraints: 169491
1691.78/1697.56 c #Conflicts: 1111000 | #Constraints: 170491
1691.78/1697.56 c #Conflicts: 1112000 | #Constraints: 171491
1691.78/1697.56 c #Conflicts: 1113000 | #Constraints: 172491
1691.78/1697.56 c #Conflicts: 1114000 | #Constraints: 173491
1691.78/1697.56 c #Conflicts: 1115000 | #Constraints: 174491
1691.78/1697.56 c #Conflicts: 1116000 | #Constraints: 175491
1691.78/1697.56 c #Conflicts: 1117000 | #Constraints: 176491
1691.78/1697.56 c #Conflicts: 1118000 | #Constraints: 177491
1691.78/1697.56 c #Conflicts: 1119000 | #Constraints: 178491
1691.78/1697.56 c #Conflicts: 1120000 | #Constraints: 179491
1691.78/1697.56 c #Conflicts: 1121000 | #Constraints: 180491
1691.78/1697.56 c #Conflicts: 1122000 | #Constraints: 181491
1691.78/1697.56 c #Conflicts: 1123000 | #Constraints: 182491
1691.78/1697.56 c #Conflicts: 1124000 | #Constraints: 183491
1691.78/1697.56 c #Conflicts: 1125000 | #Constraints: 184491
1691.78/1697.56 c #Conflicts: 1126000 | #Constraints: 185491
1691.78/1697.56 c #Conflicts: 1127000 | #Constraints: 186491
1691.78/1697.56 c #Conflicts: 1128000 | #Constraints: 187491
1691.78/1697.56 c #Conflicts: 1129000 | #Constraints: 188491
1691.78/1697.56 c #Conflicts: 1130000 | #Constraints: 189491
1947.85/1954.44 c #Conflicts: 1131000 | #Constraints: 190491
1947.85/1954.44 c #Conflicts: 1132000 | #Constraints: 191491
1947.85/1954.44 c #Conflicts: 1133000 | #Constraints: 192491
1947.85/1954.44 c #Conflicts: 1134000 | #Constraints: 193491
1947.85/1954.44 c #Conflicts: 1135000 | #Constraints: 194491
1947.85/1954.44 c #Conflicts: 1136000 | #Constraints: 195491
1947.85/1954.44 c #Conflicts: 1137000 | #Constraints: 196491
1947.85/1954.44 c #Conflicts: 1138000 | #Constraints: 197491
1947.85/1954.44 c #Conflicts: 1139000 | #Constraints: 198491
1947.85/1954.44 c #Conflicts: 1140000 | #Constraints: 199491
1947.85/1954.44 c #Conflicts: 1141000 | #Constraints: 200491
1947.85/1954.44 c #Conflicts: 1142000 | #Constraints: 201491
1947.85/1954.44 c #Conflicts: 1143000 | #Constraints: 202491
1947.85/1954.44 c #Conflicts: 1144000 | #Constraints: 203491
1947.85/1954.44 c #Conflicts: 1145000 | #Constraints: 204491
1947.85/1954.44 c #Conflicts: 1146000 | #Constraints: 205491
1947.85/1954.44 c #Conflicts: 1147000 | #Constraints: 206491
1947.85/1954.44 c #Conflicts: 1148000 | #Constraints: 207491
1947.85/1954.44 c #Conflicts: 1149000 | #Constraints: 208491
1947.85/1954.44 c #Conflicts: 1150000 | #Constraints: 209491
1947.85/1954.44 c #Conflicts: 1151000 | #Constraints: 210491
1947.85/1954.44 c #Conflicts: 1152000 | #Constraints: 211491
1947.85/1954.44 c #Conflicts: 1153000 | #Constraints: 212491
1947.85/1954.44 c #Conflicts: 1154000 | #Constraints: 213491
1947.85/1954.44 c #Conflicts: 1155000 | #Constraints: 214491
1947.85/1954.44 c #Conflicts: 1156000 | #Constraints: 215491
1947.85/1954.44 c #Conflicts: 1157000 | #Constraints: 216491
1947.85/1954.44 c #Conflicts: 1158000 | #Constraints: 217491
1947.85/1954.44 c #Conflicts: 1159000 | #Constraints: 218491
1947.85/1954.44 c #Conflicts: 1160000 | #Constraints: 219491
1947.85/1954.44 c #Conflicts: 1161000 | #Constraints: 220491
1947.85/1954.44 c #Conflicts: 1162000 | #Constraints: 221491
1947.85/1954.44 c #Conflicts: 1163000 | #Constraints: 222491
1947.85/1954.44 c #Conflicts: 1164000 | #Constraints: 223491
1947.85/1954.44 c #Conflicts: 1165000 | #Constraints: 224491
1947.85/1954.44 c #Conflicts: 1166000 | #Constraints: 225491
1947.85/1954.44 c #Conflicts: 1167000 | #Constraints: 226491
1947.85/1954.44 c #Conflicts: 1168000 | #Constraints: 227491
1947.85/1954.44 c #Conflicts: 1169000 | #Constraints: 228491
1947.85/1954.44 c #Conflicts: 1170000 | #Constraints: 229491
1947.85/1954.44 c #Conflicts: 1171000 | #Constraints: 230491
1947.85/1954.44 c INPROCESSING
1947.85/1954.44 c GARBAGE COLLECT
1947.85/1954.44 c #Conflicts: 1172000 | #Constraints: 179308
1947.85/1954.44 c #Conflicts: 1173000 | #Constraints: 180308
1947.85/1954.44 c #Conflicts: 1174000 | #Constraints: 181308
1947.85/1954.44 c #Conflicts: 1175000 | #Constraints: 182308
1947.85/1954.44 c #Conflicts: 1176000 | #Constraints: 183308
1947.85/1954.44 c #Conflicts: 1177000 | #Constraints: 184308
1947.85/1954.44 c #Conflicts: 1178000 | #Constraints: 185308
1947.85/1954.44 c #Conflicts: 1179000 | #Constraints: 186308
1947.85/1954.44 c #Conflicts: 1180000 | #Constraints: 187308
1947.85/1954.44 c #Conflicts: 1181000 | #Constraints: 188308
1947.85/1954.44 c #Conflicts: 1182000 | #Constraints: 189308
1947.85/1954.44 c #Conflicts: 1183000 | #Constraints: 190308
1947.85/1954.44 c #Conflicts: 1184000 | #Constraints: 191308
1947.85/1954.44 c #Conflicts: 1185000 | #Constraints: 192308
1947.85/1954.44 c #Conflicts: 1186000 | #Constraints: 193308
1947.85/1954.44 c #Conflicts: 1187000 | #Constraints: 194308
1947.85/1954.44 c #Conflicts: 1188000 | #Constraints: 195308
1947.85/1954.44 c #Conflicts: 1189000 | #Constraints: 196308
1947.85/1954.44 c #Conflicts: 1190000 | #Constraints: 197308
1947.85/1954.44 c #Conflicts: 1191000 | #Constraints: 198308
1947.85/1954.44 c #Conflicts: 1192000 | #Constraints: 199308
1947.85/1954.44 c #Conflicts: 1193000 | #Constraints: 200308
1947.85/1954.44 c #Conflicts: 1194000 | #Constraints: 201308
1947.85/1954.44 c #Conflicts: 1195000 | #Constraints: 202308
1947.85/1954.44 c #Conflicts: 1196000 | #Constraints: 203308
1947.85/1954.44 c #Conflicts: 1197000 | #Constraints: 204308
1947.85/1954.44 c INPROCESSING
1947.85/1954.44 c GARBAGE COLLECT
1947.85/1954.44 c #Conflicts: 1198000 | #Constraints: 166632
1947.85/1954.44 c #Conflicts: 1199000 | #Constraints: 167632
1947.85/1954.44 c #Conflicts: 1200000 | #Constraints: 168632
1947.85/1954.44 c #Conflicts: 1201000 | #Constraints: 169632
1947.85/1954.44 c #Conflicts: 1202000 | #Constraints: 170632
1947.85/1954.44 c #Conflicts: 1203000 | #Constraints: 171632
1947.85/1954.44 c #Conflicts: 1204000 | #Constraints: 172632
1947.85/1954.44 c #Conflicts: 1205000 | #Constraints: 173632
1947.85/1954.44 c #Conflicts: 1206000 | #Constraints: 174632
1947.85/1954.44 c #Conflicts: 1207000 | #Constraints: 175632
1947.85/1954.44 c #Conflicts: 1208000 | #Constraints: 176632
2092.69/2099.77 c #Conflicts: 1209000 | #Constraints: 177632
2092.69/2099.77 c #Conflicts: 1210000 | #Constraints: 178632
2092.69/2099.77 c #Conflicts: 1211000 | #Constraints: 179632
2092.69/2099.77 c #Conflicts: 1212000 | #Constraints: 180632
2092.69/2099.77 c #Conflicts: 1213000 | #Constraints: 181632
2092.69/2099.77 c #Conflicts: 1214000 | #Constraints: 182632
2092.69/2099.77 c #Conflicts: 1215000 | #Constraints: 183632
2092.69/2099.77 c #Conflicts: 1216000 | #Constraints: 184632
2092.69/2099.77 c #Conflicts: 1217000 | #Constraints: 185632
2092.69/2099.77 c #Conflicts: 1218000 | #Constraints: 186632
2092.69/2099.77 c #Conflicts: 1219000 | #Constraints: 187632
2092.69/2099.77 c #Conflicts: 1220000 | #Constraints: 188632
2092.69/2099.77 c #Conflicts: 1221000 | #Constraints: 189632
2092.69/2099.77 c #Conflicts: 1222000 | #Constraints: 190632
2092.69/2099.77 c INPROCESSING
2092.69/2099.77 c GARBAGE COLLECT
2092.69/2099.77 c #Conflicts: 1223000 | #Constraints: 159584
2092.69/2099.77 c #Conflicts: 1224000 | #Constraints: 160584
2092.69/2099.77 c #Conflicts: 1225000 | #Constraints: 161584
2092.69/2099.77 c #Conflicts: 1226000 | #Constraints: 162584
2092.69/2099.77 c #Conflicts: 1227000 | #Constraints: 163584
2092.69/2099.77 c #Conflicts: 1228000 | #Constraints: 164584
2092.69/2099.77 c #Conflicts: 1229000 | #Constraints: 165584
2092.69/2099.77 c #Conflicts: 1230000 | #Constraints: 166584
2092.69/2099.77 c #Conflicts: 1231000 | #Constraints: 167584
2092.69/2099.77 c #Conflicts: 1232000 | #Constraints: 168584
2092.69/2099.77 c #Conflicts: 1233000 | #Constraints: 169584
2092.69/2099.77 c #Conflicts: 1234000 | #Constraints: 170584
2092.69/2099.77 c #Conflicts: 1235000 | #Constraints: 171584
2092.69/2099.77 c #Conflicts: 1236000 | #Constraints: 172584
2092.69/2099.77 c #Conflicts: 1237000 | #Constraints: 173584
2092.69/2099.77 c #Conflicts: 1238000 | #Constraints: 174584
2092.69/2099.77 c #Conflicts: 1239000 | #Constraints: 175584
2092.69/2099.77 c #Conflicts: 1240000 | #Constraints: 176584
2092.69/2099.77 c #Conflicts: 1241000 | #Constraints: 177584
2092.69/2099.77 c #Conflicts: 1242000 | #Constraints: 178584
2092.69/2099.77 c #Conflicts: 1243000 | #Constraints: 179584
2092.69/2099.77 c #Conflicts: 1244000 | #Constraints: 180584
2092.69/2099.77 c #Conflicts: 1245000 | #Constraints: 181584
2092.69/2099.77 c #Conflicts: 1246000 | #Constraints: 182584
2092.69/2099.77 c #Conflicts: 1247000 | #Constraints: 183584
2092.69/2099.77 c #Conflicts: 1248000 | #Constraints: 184584
2092.69/2099.77 c INPROCESSING
2092.69/2099.77 c GARBAGE COLLECT
2092.69/2099.77 c #Conflicts: 1249000 | #Constraints: 156727
2092.69/2099.77 c #Conflicts: 1250000 | #Constraints: 157727
2092.69/2099.77 c #Conflicts: 1251000 | #Constraints: 158727
2092.69/2099.77 c #Conflicts: 1252000 | #Constraints: 159727
2092.69/2099.77 c #Conflicts: 1253000 | #Constraints: 160727
2092.69/2099.77 c #Conflicts: 1254000 | #Constraints: 161727
2092.69/2099.77 c #Conflicts: 1255000 | #Constraints: 162727
2092.69/2099.77 c #Conflicts: 1256000 | #Constraints: 163727
2092.69/2099.77 c #Conflicts: 1257000 | #Constraints: 164727
2092.69/2099.77 c #Conflicts: 1258000 | #Constraints: 165727
2092.69/2099.77 c #Conflicts: 1259000 | #Constraints: 166727
2092.69/2099.77 c #Conflicts: 1260000 | #Constraints: 167727
2092.69/2099.77 c #Conflicts: 1261000 | #Constraints: 168727
2092.69/2099.77 c #Conflicts: 1262000 | #Constraints: 169727
2092.69/2099.77 c #Conflicts: 1263000 | #Constraints: 170727
2092.69/2099.77 c #Conflicts: 1264000 | #Constraints: 171727
2092.69/2099.77 c #Conflicts: 1265000 | #Constraints: 172727
2092.69/2099.77 c #Conflicts: 1266000 | #Constraints: 173727
2092.69/2099.77 c #Conflicts: 1267000 | #Constraints: 174727
2092.69/2099.77 c #Conflicts: 1268000 | #Constraints: 175727
2092.69/2099.77 c #Conflicts: 1269000 | #Constraints: 176727
2092.69/2099.77 c #Conflicts: 1270000 | #Constraints: 177727
2092.69/2099.77 c #Conflicts: 1271000 | #Constraints: 178727
2092.69/2099.77 c #Conflicts: 1272000 | #Constraints: 179727
2092.69/2099.77 c #Conflicts: 1273000 | #Constraints: 180727
2092.69/2099.77 c INPROCESSING
2092.69/2099.77 c GARBAGE COLLECT
2092.69/2099.77 c #Conflicts: 1274000 | #Constraints: 154429
2092.69/2099.77 c #Conflicts: 1275000 | #Constraints: 155429
2092.69/2099.77 c #Conflicts: 1276000 | #Constraints: 156429
2092.69/2099.77 c #Conflicts: 1277000 | #Constraints: 157429
2092.69/2099.77 c #Conflicts: 1278000 | #Constraints: 158429
2092.69/2099.77 c #Conflicts: 1279000 | #Constraints: 159429
2092.69/2099.77 c #Conflicts: 1280000 | #Constraints: 160429
2092.69/2099.77 c #Conflicts: 1281000 | #Constraints: 161429
2092.69/2099.77 c #Conflicts: 1282000 | #Constraints: 162429
2092.69/2099.77 c #Conflicts: 1283000 | #Constraints: 163429
2092.69/2099.77 c #Conflicts: 1284000 | #Constraints: 164429
2092.69/2099.77 c #Conflicts: 1285000 | #Constraints: 165429
2282.16/2289.83 c #Conflicts: 1286000 | #Constraints: 166429
2282.16/2289.83 c #Conflicts: 1287000 | #Constraints: 167429
2282.16/2289.83 c #Conflicts: 1288000 | #Constraints: 168429
2282.16/2289.83 c #Conflicts: 1289000 | #Constraints: 169429
2282.16/2289.83 c #Conflicts: 1290000 | #Constraints: 170429
2282.16/2289.83 c #Conflicts: 1291000 | #Constraints: 171429
2282.16/2289.83 c #Conflicts: 1292000 | #Constraints: 172429
2282.16/2289.83 c #Conflicts: 1293000 | #Constraints: 173429
2282.16/2289.83 c #Conflicts: 1294000 | #Constraints: 174429
2282.16/2289.83 c #Conflicts: 1295000 | #Constraints: 175429
2282.16/2289.83 c #Conflicts: 1296000 | #Constraints: 176429
2282.16/2289.83 c #Conflicts: 1297000 | #Constraints: 177429
2282.16/2289.83 c #Conflicts: 1298000 | #Constraints: 178429
2282.16/2289.83 c #Conflicts: 1299000 | #Constraints: 179429
2282.16/2289.83 c INPROCESSING
2282.16/2289.83 c GARBAGE COLLECT
2282.16/2289.83 c #Conflicts: 1300000 | #Constraints: 153762
2282.16/2289.83 c #Conflicts: 1301000 | #Constraints: 154762
2282.16/2289.83 c #Conflicts: 1302000 | #Constraints: 155762
2282.16/2289.83 c #Conflicts: 1303000 | #Constraints: 156762
2282.16/2289.83 c #Conflicts: 1304000 | #Constraints: 157762
2282.16/2289.83 c #Conflicts: 1305000 | #Constraints: 158762
2282.16/2289.83 c #Conflicts: 1306000 | #Constraints: 159762
2282.16/2289.83 c #Conflicts: 1307000 | #Constraints: 160762
2282.16/2289.83 c #Conflicts: 1308000 | #Constraints: 161762
2282.16/2289.83 c #Conflicts: 1309000 | #Constraints: 162762
2282.16/2289.83 c #Conflicts: 1310000 | #Constraints: 163762
2282.16/2289.83 c #Conflicts: 1311000 | #Constraints: 164762
2282.16/2289.83 c #Conflicts: 1312000 | #Constraints: 165762
2282.16/2289.83 c #Conflicts: 1313000 | #Constraints: 166762
2282.16/2289.83 c #Conflicts: 1314000 | #Constraints: 167762
2282.16/2289.83 c #Conflicts: 1315000 | #Constraints: 168762
2282.16/2289.83 c #Conflicts: 1316000 | #Constraints: 169762
2282.16/2289.83 c #Conflicts: 1317000 | #Constraints: 170762
2282.16/2289.83 c #Conflicts: 1318000 | #Constraints: 171762
2282.16/2289.83 c #Conflicts: 1319000 | #Constraints: 172762
2282.16/2289.83 c #Conflicts: 1320000 | #Constraints: 173762
2282.16/2289.83 c #Conflicts: 1321000 | #Constraints: 174762
2282.16/2289.83 c #Conflicts: 1322000 | #Constraints: 175762
2282.16/2289.83 c #Conflicts: 1323000 | #Constraints: 176762
2282.16/2289.83 c #Conflicts: 1324000 | #Constraints: 177762
2282.16/2289.83 c #Conflicts: 1325000 | #Constraints: 178762
2282.16/2289.83 c #Conflicts: 1326000 | #Constraints: 179762
2282.16/2289.83 c #Conflicts: 1327000 | #Constraints: 180762
2282.16/2289.83 c #Conflicts: 1328000 | #Constraints: 181762
2282.16/2289.83 c #Conflicts: 1329000 | #Constraints: 182762
2282.16/2289.83 c #Conflicts: 1330000 | #Constraints: 183762
2282.16/2289.83 c #Conflicts: 1331000 | #Constraints: 184762
2282.16/2289.83 c #Conflicts: 1332000 | #Constraints: 185762
2282.16/2289.83 c #Conflicts: 1333000 | #Constraints: 186762
2282.16/2289.83 c #Conflicts: 1334000 | #Constraints: 187762
2282.16/2289.83 c #Conflicts: 1335000 | #Constraints: 188762
2282.16/2289.83 c #Conflicts: 1336000 | #Constraints: 189762
2282.16/2289.83 c #Conflicts: 1337000 | #Constraints: 190762
2282.16/2289.83 c #Conflicts: 1338000 | #Constraints: 191762
2282.16/2289.83 c #Conflicts: 1339000 | #Constraints: 192762
2282.16/2289.83 c #Conflicts: 1340000 | #Constraints: 193762
2282.16/2289.83 c #Conflicts: 1341000 | #Constraints: 194762
2282.16/2289.83 c #Conflicts: 1342000 | #Constraints: 195762
2282.16/2289.83 c #Conflicts: 1343000 | #Constraints: 196762
2282.16/2289.83 c #Conflicts: 1344000 | #Constraints: 197762
2282.16/2289.83 c #Conflicts: 1345000 | #Constraints: 198762
2282.16/2289.83 c #Conflicts: 1346000 | #Constraints: 199762
2282.16/2289.83 c #Conflicts: 1347000 | #Constraints: 200762
2282.16/2289.83 c #Conflicts: 1348000 | #Constraints: 201762
2282.16/2289.83 c #Conflicts: 1349000 | #Constraints: 202762
2282.16/2289.83 c #Conflicts: 1350000 | #Constraints: 203762
2282.16/2289.83 c #Conflicts: 1351000 | #Constraints: 204762
2282.16/2289.83 c #Conflicts: 1352000 | #Constraints: 205762
2282.16/2289.83 c #Conflicts: 1353000 | #Constraints: 206762
2282.16/2289.83 c #Conflicts: 1354000 | #Constraints: 207762
2282.16/2289.83 c #Conflicts: 1355000 | #Constraints: 208762
2282.16/2289.83 c #Conflicts: 1356000 | #Constraints: 209762
2282.16/2289.83 c #Conflicts: 1357000 | #Constraints: 210762
2282.16/2289.83 c #Conflicts: 1358000 | #Constraints: 211762
2282.16/2289.83 c #Conflicts: 1359000 | #Constraints: 212762
2282.16/2289.83 c #Conflicts: 1360000 | #Constraints: 213762
2282.16/2289.83 c #Conflicts: 1361000 | #Constraints: 214762
2282.16/2289.83 c #Conflicts: 1362000 | #Constraints: 215762
2282.16/2289.83 c #Conflicts: 1363000 | #Constraints: 216762
2600.55/2609.37 c #Conflicts: 1364000 | #Constraints: 217762
2600.55/2609.37 c #Conflicts: 1365000 | #Constraints: 218762
2600.55/2609.37 c #Conflicts: 1366000 | #Constraints: 219762
2600.55/2609.37 c #Conflicts: 1367000 | #Constraints: 220762
2600.55/2609.37 c #Conflicts: 1368000 | #Constraints: 221762
2600.55/2609.37 c #Conflicts: 1369000 | #Constraints: 222762
2600.55/2609.37 c #Conflicts: 1370000 | #Constraints: 223762
2600.55/2609.37 c #Conflicts: 1371000 | #Constraints: 224762
2600.55/2609.37 c #Conflicts: 1372000 | #Constraints: 225762
2600.55/2609.37 c #Conflicts: 1373000 | #Constraints: 226762
2600.55/2609.37 c #Conflicts: 1374000 | #Constraints: 227762
2600.55/2609.37 c #Conflicts: 1375000 | #Constraints: 228762
2600.55/2609.37 c #Conflicts: 1376000 | #Constraints: 229762
2600.55/2609.37 c #Conflicts: 1377000 | #Constraints: 230762
2600.55/2609.37 c #Conflicts: 1378000 | #Constraints: 231762
2600.55/2609.37 c #Conflicts: 1379000 | #Constraints: 232762
2600.55/2609.37 c #Conflicts: 1380000 | #Constraints: 233762
2600.55/2609.37 c #Conflicts: 1381000 | #Constraints: 234762
2600.55/2609.37 c #Conflicts: 1382000 | #Constraints: 235762
2600.55/2609.37 c #Conflicts: 1383000 | #Constraints: 236762
2600.55/2609.37 c #Conflicts: 1384000 | #Constraints: 237762
2600.55/2609.37 c #Conflicts: 1385000 | #Constraints: 238762
2600.55/2609.37 c #Conflicts: 1386000 | #Constraints: 239762
2600.55/2609.37 c #Conflicts: 1387000 | #Constraints: 240762
2600.55/2609.37 c INPROCESSING
2600.55/2609.37 c GARBAGE COLLECT
2600.55/2609.37 c #Conflicts: 1388000 | #Constraints: 184765
2600.55/2609.37 c #Conflicts: 1389000 | #Constraints: 185765
2600.55/2609.37 c #Conflicts: 1390000 | #Constraints: 186765
2600.55/2609.37 c #Conflicts: 1391000 | #Constraints: 187765
2600.55/2609.37 c #Conflicts: 1392000 | #Constraints: 188765
2600.55/2609.37 c #Conflicts: 1393000 | #Constraints: 189765
2600.55/2609.37 c #Conflicts: 1394000 | #Constraints: 190765
2600.55/2609.37 c #Conflicts: 1395000 | #Constraints: 191765
2600.55/2609.37 c #Conflicts: 1396000 | #Constraints: 192765
2600.55/2609.37 c #Conflicts: 1397000 | #Constraints: 193765
2600.55/2609.37 c #Conflicts: 1398000 | #Constraints: 194765
2600.55/2609.37 c #Conflicts: 1399000 | #Constraints: 195765
2600.55/2609.37 c #Conflicts: 1400000 | #Constraints: 196765
2600.55/2609.37 c #Conflicts: 1401000 | #Constraints: 197765
2600.55/2609.37 c #Conflicts: 1402000 | #Constraints: 198765
2600.55/2609.37 c #Conflicts: 1403000 | #Constraints: 199765
2600.55/2609.37 c #Conflicts: 1404000 | #Constraints: 200765
2600.55/2609.37 c #Conflicts: 1405000 | #Constraints: 201765
2600.55/2609.37 c #Conflicts: 1406000 | #Constraints: 202765
2600.55/2609.37 c #Conflicts: 1407000 | #Constraints: 203765
2600.55/2609.37 c #Conflicts: 1408000 | #Constraints: 204765
2600.55/2609.37 c #Conflicts: 1409000 | #Constraints: 205765
2600.55/2609.37 c #Conflicts: 1410000 | #Constraints: 206765
2600.55/2609.37 c #Conflicts: 1411000 | #Constraints: 207765
2600.55/2609.37 c #Conflicts: 1412000 | #Constraints: 208765
2600.55/2609.37 c #Conflicts: 1413000 | #Constraints: 209765
2600.55/2609.37 c #Conflicts: 1414000 | #Constraints: 210765
2600.55/2609.37 c INPROCESSING
2600.55/2609.37 c GARBAGE COLLECT
2600.55/2609.37 c #Conflicts: 1415000 | #Constraints: 169610
2600.55/2609.37 c #Conflicts: 1416000 | #Constraints: 170610
2600.55/2609.37 c #Conflicts: 1417000 | #Constraints: 171610
2600.55/2609.37 c #Conflicts: 1418000 | #Constraints: 172610
2600.55/2609.37 c #Conflicts: 1419000 | #Constraints: 173610
2600.55/2609.37 c #Conflicts: 1420000 | #Constraints: 174610
2600.55/2609.37 c #Conflicts: 1421000 | #Constraints: 175610
2600.55/2609.37 c #Conflicts: 1422000 | #Constraints: 176610
2600.55/2609.37 c #Conflicts: 1423000 | #Constraints: 177610
2600.55/2609.37 c #Conflicts: 1424000 | #Constraints: 178610
2600.55/2609.37 c #Conflicts: 1425000 | #Constraints: 179610
2600.55/2609.37 c #Conflicts: 1426000 | #Constraints: 180610
2600.55/2609.37 c #Conflicts: 1427000 | #Constraints: 181610
2600.55/2609.37 c #Conflicts: 1428000 | #Constraints: 182610
2600.55/2609.37 c #Conflicts: 1429000 | #Constraints: 183610
2600.55/2609.37 c #Conflicts: 1430000 | #Constraints: 184610
2600.55/2609.37 c #Conflicts: 1431000 | #Constraints: 185610
2600.55/2609.37 c #Conflicts: 1432000 | #Constraints: 186610
2600.55/2609.37 c #Conflicts: 1433000 | #Constraints: 187610
2600.55/2609.37 c #Conflicts: 1434000 | #Constraints: 188610
2600.55/2609.37 c #Conflicts: 1435000 | #Constraints: 189610
2600.55/2609.37 c #Conflicts: 1436000 | #Constraints: 190610
2600.55/2609.37 c #Conflicts: 1437000 | #Constraints: 191610
2600.55/2609.37 c #Conflicts: 1438000 | #Constraints: 192610
2600.55/2609.37 c #Conflicts: 1439000 | #Constraints: 193610
2600.55/2609.37 c #Conflicts: 1440000 | #Constraints: 194610
2756.85/2766.14 c #Conflicts: 1441000 | #Constraints: 195610
2756.85/2766.14 c #Conflicts: 1442000 | #Constraints: 196610
2756.85/2766.14 c INPROCESSING
2756.85/2766.14 c GARBAGE COLLECT
2756.85/2766.14 c #Conflicts: 1443000 | #Constraints: 162768
2756.85/2766.14 c #Conflicts: 1444000 | #Constraints: 163768
2756.85/2766.14 c #Conflicts: 1445000 | #Constraints: 164768
2756.85/2766.14 c #Conflicts: 1446000 | #Constraints: 165768
2756.85/2766.14 c #Conflicts: 1447000 | #Constraints: 166768
2756.85/2766.14 c #Conflicts: 1448000 | #Constraints: 167768
2756.85/2766.14 c #Conflicts: 1449000 | #Constraints: 168768
2756.85/2766.14 c #Conflicts: 1450000 | #Constraints: 169768
2756.85/2766.14 c #Conflicts: 1451000 | #Constraints: 170768
2756.85/2766.14 c #Conflicts: 1452000 | #Constraints: 171768
2756.85/2766.14 c #Conflicts: 1453000 | #Constraints: 172768
2756.85/2766.14 c #Conflicts: 1454000 | #Constraints: 173768
2756.85/2766.14 c #Conflicts: 1455000 | #Constraints: 174768
2756.85/2766.14 c #Conflicts: 1456000 | #Constraints: 175768
2756.85/2766.14 c #Conflicts: 1457000 | #Constraints: 176768
2756.85/2766.14 c #Conflicts: 1458000 | #Constraints: 177768
2756.85/2766.14 c #Conflicts: 1459000 | #Constraints: 178768
2756.85/2766.14 c #Conflicts: 1460000 | #Constraints: 179768
2756.85/2766.14 c #Conflicts: 1461000 | #Constraints: 180768
2756.85/2766.14 c #Conflicts: 1462000 | #Constraints: 181768
2756.85/2766.14 c #Conflicts: 1463000 | #Constraints: 182768
2756.85/2766.14 c #Conflicts: 1464000 | #Constraints: 183768
2756.85/2766.14 c #Conflicts: 1465000 | #Constraints: 184768
2756.85/2766.14 c #Conflicts: 1466000 | #Constraints: 185768
2756.85/2766.14 c #Conflicts: 1467000 | #Constraints: 186768
2756.85/2766.14 c #Conflicts: 1468000 | #Constraints: 187768
2756.85/2766.14 c #Conflicts: 1469000 | #Constraints: 188768
2756.85/2766.14 c INPROCESSING
2756.85/2766.14 c GARBAGE COLLECT
2756.85/2766.14 c #Conflicts: 1470000 | #Constraints: 158498
2756.85/2766.14 c #Conflicts: 1471000 | #Constraints: 159498
2756.85/2766.14 c #Conflicts: 1472000 | #Constraints: 160498
2756.85/2766.14 c #Conflicts: 1473000 | #Constraints: 161498
2756.85/2766.14 c #Conflicts: 1474000 | #Constraints: 162498
2756.85/2766.14 c #Conflicts: 1475000 | #Constraints: 163498
2756.85/2766.14 c #Conflicts: 1476000 | #Constraints: 164498
2756.85/2766.14 c #Conflicts: 1477000 | #Constraints: 165498
2756.85/2766.14 c #Conflicts: 1478000 | #Constraints: 166498
2756.85/2766.14 c #Conflicts: 1479000 | #Constraints: 167498
2756.85/2766.14 c #Conflicts: 1480000 | #Constraints: 168498
2756.85/2766.14 c #Conflicts: 1481000 | #Constraints: 169498
2756.85/2766.14 c #Conflicts: 1482000 | #Constraints: 170498
2756.85/2766.14 c #Conflicts: 1483000 | #Constraints: 171498
2756.85/2766.14 c #Conflicts: 1484000 | #Constraints: 172498
2756.85/2766.14 c #Conflicts: 1485000 | #Constraints: 173498
2756.85/2766.14 c #Conflicts: 1486000 | #Constraints: 174498
2756.85/2766.14 c #Conflicts: 1487000 | #Constraints: 175498
2756.85/2766.14 c #Conflicts: 1488000 | #Constraints: 176498
2756.85/2766.14 c #Conflicts: 1489000 | #Constraints: 177498
2756.85/2766.14 c #Conflicts: 1490000 | #Constraints: 178498
2756.85/2766.14 c #Conflicts: 1491000 | #Constraints: 179498
2756.85/2766.14 c #Conflicts: 1492000 | #Constraints: 180498
2756.85/2766.14 c #Conflicts: 1493000 | #Constraints: 181498
2756.85/2766.14 c #Conflicts: 1494000 | #Constraints: 182498
2756.85/2766.14 c #Conflicts: 1495000 | #Constraints: 183498
2756.85/2766.14 c #Conflicts: 1496000 | #Constraints: 184498
2756.85/2766.14 c #Conflicts: 1497000 | #Constraints: 185498
2756.85/2766.14 c INPROCESSING
2756.85/2766.14 c GARBAGE COLLECT
2756.85/2766.14 c #Conflicts: 1498000 | #Constraints: 156917
2756.85/2766.14 c #Conflicts: 1499000 | #Constraints: 157917
2756.85/2766.14 c #Conflicts: 1500000 | #Constraints: 158917
2756.85/2766.14 c #Conflicts: 1501000 | #Constraints: 159917
2756.85/2766.14 c #Conflicts: 1502000 | #Constraints: 160917
2756.85/2766.14 c #Conflicts: 1503000 | #Constraints: 161917
2756.85/2766.14 c #Conflicts: 1504000 | #Constraints: 162917
2756.85/2766.14 c #Conflicts: 1505000 | #Constraints: 163917
2756.85/2766.14 c #Conflicts: 1506000 | #Constraints: 164917
2756.85/2766.14 c #Conflicts: 1507000 | #Constraints: 165917
2756.85/2766.14 c #Conflicts: 1508000 | #Constraints: 166917
2756.85/2766.14 c #Conflicts: 1509000 | #Constraints: 167917
2756.85/2766.14 c #Conflicts: 1510000 | #Constraints: 168917
2756.85/2766.14 c #Conflicts: 1511000 | #Constraints: 169917
2756.85/2766.14 c #Conflicts: 1512000 | #Constraints: 170917
2756.85/2766.14 c #Conflicts: 1513000 | #Constraints: 171917
2756.85/2766.14 c #Conflicts: 1514000 | #Constraints: 172917
2756.85/2766.14 c #Conflicts: 1515000 | #Constraints: 173917
2756.85/2766.14 c #Conflicts: 1516000 | #Constraints: 174917
2756.85/2766.14 c #Conflicts: 1517000 | #Constraints: 175917
2995.57/3005.65 c #Conflicts: 1518000 | #Constraints: 176917
2995.57/3005.65 c #Conflicts: 1519000 | #Constraints: 177917
2995.57/3005.65 c #Conflicts: 1520000 | #Constraints: 178917
2995.57/3005.65 c #Conflicts: 1521000 | #Constraints: 179917
2995.57/3005.65 c #Conflicts: 1522000 | #Constraints: 180917
2995.57/3005.65 c #Conflicts: 1523000 | #Constraints: 181917
2995.57/3005.65 c #Conflicts: 1524000 | #Constraints: 182917
2995.57/3005.65 c #Conflicts: 1525000 | #Constraints: 183917
2995.57/3005.65 c INPROCESSING
2995.57/3005.65 c GARBAGE COLLECT
2995.57/3005.65 c #Conflicts: 1526000 | #Constraints: 156084
2995.57/3005.65 c #Conflicts: 1527000 | #Constraints: 157084
2995.57/3005.65 c #Conflicts: 1528000 | #Constraints: 158084
2995.57/3005.65 c #Conflicts: 1529000 | #Constraints: 159084
2995.57/3005.65 c #Conflicts: 1530000 | #Constraints: 160084
2995.57/3005.65 c #Conflicts: 1531000 | #Constraints: 161084
2995.57/3005.65 c #Conflicts: 1532000 | #Constraints: 162084
2995.57/3005.65 c #Conflicts: 1533000 | #Constraints: 163084
2995.57/3005.65 c #Conflicts: 1534000 | #Constraints: 164084
2995.57/3005.65 c #Conflicts: 1535000 | #Constraints: 165084
2995.57/3005.65 c #Conflicts: 1536000 | #Constraints: 166084
2995.57/3005.65 c #Conflicts: 1537000 | #Constraints: 167084
2995.57/3005.65 c #Conflicts: 1538000 | #Constraints: 168084
2995.57/3005.65 c #Conflicts: 1539000 | #Constraints: 169084
2995.57/3005.65 c #Conflicts: 1540000 | #Constraints: 170084
2995.57/3005.65 c #Conflicts: 1541000 | #Constraints: 171084
2995.57/3005.65 c #Conflicts: 1542000 | #Constraints: 172084
2995.57/3005.65 c #Conflicts: 1543000 | #Constraints: 173084
2995.57/3005.65 c #Conflicts: 1544000 | #Constraints: 174084
2995.57/3005.65 c #Conflicts: 1545000 | #Constraints: 175084
2995.57/3005.65 c #Conflicts: 1546000 | #Constraints: 176084
2995.57/3005.65 c #Conflicts: 1547000 | #Constraints: 177084
2995.57/3005.65 c #Conflicts: 1548000 | #Constraints: 178084
2995.57/3005.65 c #Conflicts: 1549000 | #Constraints: 179084
2995.57/3005.65 c #Conflicts: 1550000 | #Constraints: 180084
2995.57/3005.65 c #Conflicts: 1551000 | #Constraints: 181084
2995.57/3005.65 c #Conflicts: 1552000 | #Constraints: 182084
2995.57/3005.65 c #Conflicts: 1553000 | #Constraints: 183084
2995.57/3005.65 c #Conflicts: 1554000 | #Constraints: 184084
2995.57/3005.65 c #Conflicts: 1555000 | #Constraints: 185084
2995.57/3005.65 c #Conflicts: 1556000 | #Constraints: 186084
2995.57/3005.65 c #Conflicts: 1557000 | #Constraints: 187084
2995.57/3005.65 c #Conflicts: 1558000 | #Constraints: 188084
2995.57/3005.65 c #Conflicts: 1559000 | #Constraints: 189084
2995.57/3005.65 c #Conflicts: 1560000 | #Constraints: 190084
2995.57/3005.65 c #Conflicts: 1561000 | #Constraints: 191084
2995.57/3005.65 c #Conflicts: 1562000 | #Constraints: 192084
2995.57/3005.65 c #Conflicts: 1563000 | #Constraints: 193084
2995.57/3005.65 c #Conflicts: 1564000 | #Constraints: 194084
2995.57/3005.65 c #Conflicts: 1565000 | #Constraints: 195084
2995.57/3005.65 c #Conflicts: 1566000 | #Constraints: 196084
2995.57/3005.65 c #Conflicts: 1567000 | #Constraints: 197084
2995.57/3005.65 c #Conflicts: 1568000 | #Constraints: 198084
2995.57/3005.65 c #Conflicts: 1569000 | #Constraints: 199084
2995.57/3005.65 c #Conflicts: 1570000 | #Constraints: 200084
2995.57/3005.65 c #Conflicts: 1571000 | #Constraints: 201084
2995.57/3005.65 c #Conflicts: 1572000 | #Constraints: 202084
2995.57/3005.65 c #Conflicts: 1573000 | #Constraints: 203084
2995.57/3005.65 c #Conflicts: 1574000 | #Constraints: 204084
2995.57/3005.65 c #Conflicts: 1575000 | #Constraints: 205084
2995.57/3005.65 c #Conflicts: 1576000 | #Constraints: 206084
2995.57/3005.65 c #Conflicts: 1577000 | #Constraints: 207084
2995.57/3005.65 c #Conflicts: 1578000 | #Constraints: 208084
2995.57/3005.65 c #Conflicts: 1579000 | #Constraints: 209084
2995.57/3005.65 c #Conflicts: 1580000 | #Constraints: 210084
2995.57/3005.65 c #Conflicts: 1581000 | #Constraints: 211084
2995.57/3005.65 c #Conflicts: 1582000 | #Constraints: 212084
2995.57/3005.65 c #Conflicts: 1583000 | #Constraints: 213084
2995.57/3005.65 c #Conflicts: 1584000 | #Constraints: 214084
2995.57/3005.65 c #Conflicts: 1585000 | #Constraints: 215084
2995.57/3005.65 c #Conflicts: 1586000 | #Constraints: 216084
2995.57/3005.65 c #Conflicts: 1587000 | #Constraints: 217084
2995.57/3005.65 c #Conflicts: 1588000 | #Constraints: 218084
2995.57/3005.65 c #Conflicts: 1589000 | #Constraints: 219084
2995.57/3005.65 c #Conflicts: 1590000 | #Constraints: 220084
2995.57/3005.65 c #Conflicts: 1591000 | #Constraints: 221084
2995.57/3005.65 c #Conflicts: 1592000 | #Constraints: 222084
2995.57/3005.65 c #Conflicts: 1593000 | #Constraints: 223084
2995.57/3005.65 c #Conflicts: 1594000 | #Constraints: 224084
2995.57/3005.65 c #Conflicts: 1595000 | #Constraints: 225084
3185.35/3196.05 c #Conflicts: 1596000 | #Constraints: 226084
3185.35/3196.05 c #Conflicts: 1597000 | #Constraints: 227084
3185.35/3196.05 c #Conflicts: 1598000 | #Constraints: 228084
3185.35/3196.05 c #Conflicts: 1599000 | #Constraints: 229084
3185.35/3196.05 c #Conflicts: 1600000 | #Constraints: 230084
3185.35/3196.05 c #Conflicts: 1601000 | #Constraints: 231084
3185.35/3196.05 c #Conflicts: 1602000 | #Constraints: 232084
3185.35/3196.05 c #Conflicts: 1603000 | #Constraints: 233084
3185.35/3196.05 c #Conflicts: 1604000 | #Constraints: 234084
3185.35/3196.05 c #Conflicts: 1605000 | #Constraints: 235084
3185.35/3196.05 c #Conflicts: 1606000 | #Constraints: 236084
3185.35/3196.05 c #Conflicts: 1607000 | #Constraints: 237084
3185.35/3196.05 c #Conflicts: 1608000 | #Constraints: 238084
3185.35/3196.05 c #Conflicts: 1609000 | #Constraints: 239084
3185.35/3196.05 c #Conflicts: 1610000 | #Constraints: 240084
3185.35/3196.05 c #Conflicts: 1611000 | #Constraints: 241084
3185.35/3196.05 c bounds -35 >= -212 @ 3096.54
3185.35/3196.05 c #Conflicts: 1612000 | #Constraints: 242130
3185.35/3196.05 c #Conflicts: 1613000 | #Constraints: 243130
3185.35/3196.05 c #Conflicts: 1614000 | #Constraints: 244130
3185.35/3196.05 c #Conflicts: 1615000 | #Constraints: 245130
3185.35/3196.05 c #Conflicts: 1616000 | #Constraints: 246130
3185.35/3196.05 c #Conflicts: 1617000 | #Constraints: 247130
3185.35/3196.05 c #Conflicts: 1618000 | #Constraints: 248130
3185.35/3196.05 c #Conflicts: 1619000 | #Constraints: 249130
3185.35/3196.05 c #Conflicts: 1620000 | #Constraints: 250130
3185.35/3196.05 c INPROCESSING
3185.35/3196.05 c GARBAGE COLLECT
3185.35/3196.05 c #Conflicts: 1621000 | #Constraints: 189246
3185.35/3196.05 c #Conflicts: 1622000 | #Constraints: 190246
3185.35/3196.05 c #Conflicts: 1623000 | #Constraints: 191246
3185.35/3196.05 c #Conflicts: 1624000 | #Constraints: 192246
3185.35/3196.05 c #Conflicts: 1625000 | #Constraints: 193246
3185.35/3196.05 c #Conflicts: 1626000 | #Constraints: 194246
3185.35/3196.05 c #Conflicts: 1627000 | #Constraints: 195246
3185.35/3196.05 c #Conflicts: 1628000 | #Constraints: 196246
3185.35/3196.05 c #Conflicts: 1629000 | #Constraints: 197246
3185.35/3196.05 c #Conflicts: 1630000 | #Constraints: 198246
3185.35/3196.05 c #Conflicts: 1631000 | #Constraints: 199246
3185.35/3196.05 c #Conflicts: 1632000 | #Constraints: 200246
3185.35/3196.05 c #Conflicts: 1633000 | #Constraints: 201246
3185.35/3196.05 c #Conflicts: 1634000 | #Constraints: 202246
3185.35/3196.05 c #Conflicts: 1635000 | #Constraints: 203246
3185.35/3196.05 c #Conflicts: 1636000 | #Constraints: 204246
3185.35/3196.05 c #Conflicts: 1637000 | #Constraints: 205246
3185.35/3196.05 c #Conflicts: 1638000 | #Constraints: 206246
3185.35/3196.05 c #Conflicts: 1639000 | #Constraints: 207246
3185.35/3196.05 c #Conflicts: 1640000 | #Constraints: 208246
3185.35/3196.05 c #Conflicts: 1641000 | #Constraints: 209246
3185.35/3196.05 c #Conflicts: 1642000 | #Constraints: 210246
3185.35/3196.05 c #Conflicts: 1643000 | #Constraints: 211246
3185.35/3196.05 c #Conflicts: 1644000 | #Constraints: 212246
3185.35/3196.05 c #Conflicts: 1645000 | #Constraints: 213246
3185.35/3196.05 c #Conflicts: 1646000 | #Constraints: 214246
3185.35/3196.05 c #Conflicts: 1647000 | #Constraints: 215246
3185.35/3196.05 c #Conflicts: 1648000 | #Constraints: 216246
3185.35/3196.05 c #Conflicts: 1649000 | #Constraints: 217246
3185.35/3196.05 c #Conflicts: 1650000 | #Constraints: 218246
3185.35/3196.05 c INPROCESSING
3185.35/3196.05 c GARBAGE COLLECT
3185.35/3196.05 c #Conflicts: 1651000 | #Constraints: 173589
3185.35/3196.05 c #Conflicts: 1652000 | #Constraints: 174589
3185.35/3196.05 c #Conflicts: 1653000 | #Constraints: 175589
3185.35/3196.05 c #Conflicts: 1654000 | #Constraints: 176589
3185.35/3196.05 c #Conflicts: 1655000 | #Constraints: 177589
3185.35/3196.05 c #Conflicts: 1656000 | #Constraints: 178589
3185.35/3196.05 c #Conflicts: 1657000 | #Constraints: 179589
3185.35/3196.05 c #Conflicts: 1658000 | #Constraints: 180589
3185.35/3196.05 c #Conflicts: 1659000 | #Constraints: 181589
3185.35/3196.05 c #Conflicts: 1660000 | #Constraints: 182589
3185.35/3196.05 c #Conflicts: 1661000 | #Constraints: 183589
3185.35/3196.05 c #Conflicts: 1662000 | #Constraints: 184589
3185.35/3196.05 c #Conflicts: 1663000 | #Constraints: 185589
3185.35/3196.05 c #Conflicts: 1664000 | #Constraints: 186589
3185.35/3196.05 c #Conflicts: 1665000 | #Constraints: 187589
3185.35/3196.05 c #Conflicts: 1666000 | #Constraints: 188589
3185.35/3196.05 c #Conflicts: 1667000 | #Constraints: 189589
3185.35/3196.05 c #Conflicts: 1668000 | #Constraints: 190589
3185.35/3196.05 c #Conflicts: 1669000 | #Constraints: 191589
3185.35/3196.05 c #Conflicts: 1670000 | #Constraints: 192589
3185.35/3196.05 c #Conflicts: 1671000 | #Constraints: 193589
3185.35/3196.05 c #Conflicts: 1672000 | #Constraints: 194589
3309.00/3320.16 c #Conflicts: 1673000 | #Constraints: 195589
3309.00/3320.16 c #Conflicts: 1674000 | #Constraints: 196589
3309.00/3320.16 c #Conflicts: 1675000 | #Constraints: 197589
3309.00/3320.16 c #Conflicts: 1676000 | #Constraints: 198589
3309.00/3320.16 c #Conflicts: 1677000 | #Constraints: 199589
3309.00/3320.16 c #Conflicts: 1678000 | #Constraints: 200589
3309.00/3320.16 c #Conflicts: 1679000 | #Constraints: 201589
3309.00/3320.16 c INPROCESSING
3309.00/3320.16 c GARBAGE COLLECT
3309.00/3320.16 c #Conflicts: 1680000 | #Constraints: 164965
3309.00/3320.16 c #Conflicts: 1681000 | #Constraints: 165965
3309.00/3320.16 c #Conflicts: 1682000 | #Constraints: 166965
3309.00/3320.16 c #Conflicts: 1683000 | #Constraints: 167965
3309.00/3320.16 c #Conflicts: 1684000 | #Constraints: 168965
3309.00/3320.16 c #Conflicts: 1685000 | #Constraints: 169965
3309.00/3320.16 c #Conflicts: 1686000 | #Constraints: 170965
3309.00/3320.16 c #Conflicts: 1687000 | #Constraints: 171965
3309.00/3320.16 c #Conflicts: 1688000 | #Constraints: 172965
3309.00/3320.16 c #Conflicts: 1689000 | #Constraints: 173965
3309.00/3320.16 c #Conflicts: 1690000 | #Constraints: 174965
3309.00/3320.16 c #Conflicts: 1691000 | #Constraints: 175965
3309.00/3320.16 c #Conflicts: 1692000 | #Constraints: 176965
3309.00/3320.16 c #Conflicts: 1693000 | #Constraints: 177965
3309.00/3320.16 c #Conflicts: 1694000 | #Constraints: 178965
3309.00/3320.16 c #Conflicts: 1695000 | #Constraints: 179965
3309.00/3320.16 c #Conflicts: 1696000 | #Constraints: 180965
3309.00/3320.16 c #Conflicts: 1697000 | #Constraints: 181965
3309.00/3320.16 c #Conflicts: 1698000 | #Constraints: 182965
3309.00/3320.16 c #Conflicts: 1699000 | #Constraints: 183965
3309.00/3320.16 c #Conflicts: 1700000 | #Constraints: 184965
3309.00/3320.16 c #Conflicts: 1701000 | #Constraints: 185965
3309.00/3320.16 c #Conflicts: 1702000 | #Constraints: 186965
3309.00/3320.16 c #Conflicts: 1703000 | #Constraints: 187965
3309.00/3320.16 c #Conflicts: 1704000 | #Constraints: 188965
3309.00/3320.16 c #Conflicts: 1705000 | #Constraints: 189965
3309.00/3320.16 c #Conflicts: 1706000 | #Constraints: 190965
3309.00/3320.16 c #Conflicts: 1707000 | #Constraints: 191965
3309.00/3320.16 c #Conflicts: 1708000 | #Constraints: 192965
3309.00/3320.16 c #Conflicts: 1709000 | #Constraints: 193965
3309.00/3320.16 c INPROCESSING
3309.00/3320.16 c GARBAGE COLLECT
3309.00/3320.16 c #Conflicts: 1710000 | #Constraints: 161257
3309.00/3320.16 c #Conflicts: 1711000 | #Constraints: 162257
3309.00/3320.16 c #Conflicts: 1712000 | #Constraints: 163257
3309.00/3320.16 c #Conflicts: 1713000 | #Constraints: 164257
3309.00/3320.16 c #Conflicts: 1714000 | #Constraints: 165257
3309.00/3320.16 c #Conflicts: 1715000 | #Constraints: 166257
3309.00/3320.16 c #Conflicts: 1716000 | #Constraints: 167257
3309.00/3320.16 c #Conflicts: 1717000 | #Constraints: 168257
3309.00/3320.16 c #Conflicts: 1718000 | #Constraints: 169257
3309.00/3320.16 c #Conflicts: 1719000 | #Constraints: 170257
3309.00/3320.16 c #Conflicts: 1720000 | #Constraints: 171257
3309.00/3320.16 c #Conflicts: 1721000 | #Constraints: 172257
3309.00/3320.16 c #Conflicts: 1722000 | #Constraints: 173257
3309.00/3320.16 c #Conflicts: 1723000 | #Constraints: 174257
3309.00/3320.16 c #Conflicts: 1724000 | #Constraints: 175257
3309.00/3320.16 c #Conflicts: 1725000 | #Constraints: 176257
3309.00/3320.16 c #Conflicts: 1726000 | #Constraints: 177257
3309.00/3320.16 c #Conflicts: 1727000 | #Constraints: 178257
3309.00/3320.16 c #Conflicts: 1728000 | #Constraints: 179257
3309.00/3320.16 c #Conflicts: 1729000 | #Constraints: 180257
3309.00/3320.16 c #Conflicts: 1730000 | #Constraints: 181257
3309.00/3320.16 c #Conflicts: 1731000 | #Constraints: 182257
3309.00/3320.16 c #Conflicts: 1732000 | #Constraints: 183257
3309.00/3320.16 c #Conflicts: 1733000 | #Constraints: 184257
3309.00/3320.16 c #Conflicts: 1734000 | #Constraints: 185257
3309.00/3320.16 c #Conflicts: 1735000 | #Constraints: 186257
3309.00/3320.16 c #Conflicts: 1736000 | #Constraints: 187257
3309.00/3320.16 c #Conflicts: 1737000 | #Constraints: 188257
3309.00/3320.16 c #Conflicts: 1738000 | #Constraints: 189257
3309.00/3320.16 c #Conflicts: 1739000 | #Constraints: 190257
3309.00/3320.16 c #Conflicts: 1740000 | #Constraints: 191257
3309.00/3320.16 c #Conflicts: 1741000 | #Constraints: 192257
3309.00/3320.16 c #Conflicts: 1742000 | #Constraints: 193257
3309.00/3320.16 c #Conflicts: 1743000 | #Constraints: 194257
3309.00/3320.16 c #Conflicts: 1744000 | #Constraints: 195257
3309.00/3320.16 c #Conflicts: 1745000 | #Constraints: 196257
3309.00/3320.16 c #Conflicts: 1746000 | #Constraints: 197257
3309.00/3320.16 c #Conflicts: 1747000 | #Constraints: 198257
3309.00/3320.16 c #Conflicts: 1748000 | #Constraints: 199257
3309.00/3320.16 c #Conflicts: 1749000 | #Constraints: 200257
3309.00/3320.16 c #Conflicts: 1750000 | #Constraints: 201257
3600.00/3612.12 c #Conflicts: 1751000 | #Constraints: 202257
3600.00/3612.12 c #Conflicts: 1752000 | #Constraints: 203257
3600.00/3612.12 c #Conflicts: 1753000 | #Constraints: 204257
3600.00/3612.12 c #Conflicts: 1754000 | #Constraints: 205257
3600.00/3612.12 c #Conflicts: 1755000 | #Constraints: 206257
3600.00/3612.12 c #Conflicts: 1756000 | #Constraints: 207257
3600.00/3612.12 c #Conflicts: 1757000 | #Constraints: 208257
3600.00/3612.12 c #Conflicts: 1758000 | #Constraints: 209257
3600.00/3612.12 c #Conflicts: 1759000 | #Constraints: 210257
3600.00/3612.12 c #Conflicts: 1760000 | #Constraints: 211257
3600.00/3612.12 c #Conflicts: 1761000 | #Constraints: 212257
3600.00/3612.12 c #Conflicts: 1762000 | #Constraints: 213257
3600.00/3612.12 c #Conflicts: 1763000 | #Constraints: 214257
3600.00/3612.12 c #Conflicts: 1764000 | #Constraints: 215257
3600.00/3612.12 c #Conflicts: 1765000 | #Constraints: 216257
3600.00/3612.12 c #Conflicts: 1766000 | #Constraints: 217257
3600.00/3612.12 c #Conflicts: 1767000 | #Constraints: 218257
3600.00/3612.12 c #Conflicts: 1768000 | #Constraints: 219257
3600.00/3612.12 c #Conflicts: 1769000 | #Constraints: 220257
3600.00/3612.12 c #Conflicts: 1770000 | #Constraints: 221257
3600.00/3612.12 c #Conflicts: 1771000 | #Constraints: 222257
3600.00/3612.12 c #Conflicts: 1772000 | #Constraints: 223257
3600.00/3612.12 c #Conflicts: 1773000 | #Constraints: 224257
3600.00/3612.12 c #Conflicts: 1774000 | #Constraints: 225257
3600.00/3612.12 c #Conflicts: 1775000 | #Constraints: 226257
3600.00/3612.12 c #Conflicts: 1776000 | #Constraints: 227257
3600.00/3612.12 c #Conflicts: 1777000 | #Constraints: 228257
3600.00/3612.12 c #Conflicts: 1778000 | #Constraints: 229257
3600.00/3612.12 c #Conflicts: 1779000 | #Constraints: 230257
3600.00/3612.12 c #Conflicts: 1780000 | #Constraints: 231257
3600.00/3612.12 c #Conflicts: 1781000 | #Constraints: 232257
3600.00/3612.12 c #Conflicts: 1782000 | #Constraints: 233257
3600.00/3612.12 c #Conflicts: 1783000 | #Constraints: 234257
3600.00/3612.12 c #Conflicts: 1784000 | #Constraints: 235257
3600.00/3612.12 c #Conflicts: 1785000 | #Constraints: 236257
3600.00/3612.12 c #Conflicts: 1786000 | #Constraints: 237257
3600.00/3612.12 c #Conflicts: 1787000 | #Constraints: 238257
3600.00/3612.12 c #Conflicts: 1788000 | #Constraints: 239257
3600.00/3612.12 c #Conflicts: 1789000 | #Constraints: 240257
3600.00/3612.12 c #Conflicts: 1790000 | #Constraints: 241257
3600.00/3612.12 c #Conflicts: 1791000 | #Constraints: 242257
3600.00/3612.12 c #Conflicts: 1792000 | #Constraints: 243257
3600.00/3612.12 c #Conflicts: 1793000 | #Constraints: 244257
3600.00/3612.12 c #Conflicts: 1794000 | #Constraints: 245257
3600.00/3612.12 c #Conflicts: 1795000 | #Constraints: 246257
3600.00/3612.12 c #Conflicts: 1796000 | #Constraints: 247257
3600.00/3612.12 c #Conflicts: 1797000 | #Constraints: 248257
3600.00/3612.12 c #Conflicts: 1798000 | #Constraints: 249257
3600.00/3612.12 c #Conflicts: 1799000 | #Constraints: 250257
3600.00/3612.12 c #Conflicts: 1800000 | #Constraints: 251257
3600.00/3612.12 c #Conflicts: 1801000 | #Constraints: 252257
3600.00/3612.12 c #Conflicts: 1802000 | #Constraints: 253257
3600.00/3612.12 c #Conflicts: 1803000 | #Constraints: 254257
3600.00/3612.12 c #Conflicts: 1804000 | #Constraints: 255257
3600.00/3612.12 c #Conflicts: 1805000 | #Constraints: 256257
3600.00/3612.12 c #Conflicts: 1806000 | #Constraints: 257257
3600.00/3612.12 c #Conflicts: 1807000 | #Constraints: 258257
3600.00/3612.12 c #Conflicts: 1808000 | #Constraints: 259257
3600.00/3612.12 c #Conflicts: 1809000 | #Constraints: 260257
3600.00/3612.12 c INPROCESSING
3600.00/3612.12 c GARBAGE COLLECT
3600.00/3612.12 c #Conflicts: 1810000 | #Constraints: 194366
3600.00/3612.12 c Program interrupted by user.
3600.00/3612.12 c cpu time 3589.46 s
3600.00/3612.12 c deterministic time 327732188761 3.28e+11
3600.00/3612.12 c optimization time 13.3616 s
3600.00/3612.12 c total solve time 3575.53 s
3600.00/3612.12 c core-guided solve time 3575.53 s
3600.00/3612.12 c propagation time 3042.06 s
3600.00/3612.12 c conflict analysis time 525.453 s
3600.00/3612.12 c propagations 737783716
3600.00/3612.12 c resolve steps 39004945
3600.00/3612.12 c decisions 4398180
3600.00/3612.12 c conflicts 1810700
3600.00/3612.12 c restarts 3534
3600.00/3612.12 c inprocessing phases 78
3600.00/3612.12 c input clauses 126573
3600.00/3612.12 c input cardinalities 258
3600.00/3612.12 c input general constraints 156
3600.00/3612.12 c input average constraint length 2.76
3600.00/3612.12 c input average constraint degree 1.48
3600.00/3612.12 c learned clauses 1322669
3600.00/3612.12 c learned cardinalities 6824
3600.00/3612.12 c learned general constraints 481196
3600.00/3612.12 c learned average constraint length 88.97
3600.00/3612.12 c learned average constraint degree 327.13
3600.00/3612.12 c watched constraints 439336
3600.00/3612.12 c counting constraints 42016
3600.00/3612.12 c gcd simplifications 9981
3600.00/3612.12 c detected cardinalities 855
3600.00/3612.12 c weakened non-implied lits 9594048
3600.00/3612.12 c weakened non-implying lits 26703
3600.00/3612.12 c original variables 1534
3600.00/3612.12 c clausal propagations 695947550
3600.00/3612.12 c cardinality propagations 182702
3600.00/3612.12 c watched propagations 7262635
3600.00/3612.12 c counting propagations 32935593
3600.00/3612.12 c watch lookups 76453337887
3600.00/3612.12 c watch backjump lookups 62961937479
3600.00/3612.12 c watch checks 168904419510
3600.00/3612.12 c propagation checks 17439330840
3600.00/3612.12 c constraint additions 486989738
3600.00/3612.12 c trail pops 743991410
3600.00/3612.12 c formula constraints 126163
3600.00/3612.12 c learned constraints 1810689
3600.00/3612.12 c bound constraints 60
3600.00/3612.12 c core-guided constraints 764
3600.00/3612.12 c encountered formula constraints 18075269
3600.00/3612.12 c encountered learned constraints 21709406
3600.00/3612.12 c encountered bound constraints 276
3600.00/3612.12 c encountered core-guided constraints 1030694
3600.00/3612.12 c LP total time 0 s
3600.00/3612.12 c LP solve time 0 s
3600.00/3612.12 c LP constraints added 0
3600.00/3612.12 c LP constraints removed 0
3600.00/3612.12 c LP pivots internal 0
3600.00/3612.12 c LP pivots root 0
3600.00/3612.12 c LP calls 0
3600.00/3612.12 c LP optimalities 0
3600.00/3612.12 c LP no pivot count 0
3600.00/3612.12 c LP infeasibilities 0
3600.00/3612.12 c LP valid Farkas constraints 0
3600.00/3612.12 c LP learned Farkas constraints 0
3600.00/3612.12 c LP basis resets 0
3600.00/3612.12 c LP cycling count 0
3600.00/3612.12 c LP singular count 0
3600.00/3612.12 c LP no primal count 0
3600.00/3612.12 c LP no farkas count 0
3600.00/3612.12 c LP other issue count 0
3600.00/3612.12 c LP Gomory cuts 0
3600.00/3612.12 c LP learned cuts 0
3600.00/3612.12 c LP deleted cuts 0
3600.00/3612.12 c LP encountered Gomory constraints 0
3600.00/3612.12 c LP encountered Farkas constraints 0
3600.00/3612.12 c LP encountered learned Farkas constraints 0
3600.00/3612.12 c CG auxiliary variables introduced 444
3600.00/3612.12 c CG solutions found 1
3600.00/3612.12 c CG cores constructed 46
3600.00/3612.12 c CG core cardinality constraints returned 0
3600.00/3612.12 c CG unit cores 0
3600.00/3612.12 c CG single cores 46
3600.00/3612.12 c CG blocks removed during cardinality reduction 0
3600.00/3612.12 c CG first core best 0
3600.00/3612.12 c CG decision core best 0
3600.00/3612.12 c CG core reduction tie 0
3600.00/3612.12 c CG core degree average 1.00
3600.00/3612.12 c CG core slack average 8.09
3600.00/3612.12 c CG exhausted 10
3600.00/3612.12 c CG exhaust time 10.4555 s
3600.00/3612.12 c CG trimmed 2
3600.00/3612.12 c CG trim time 0.002051 s
3600.00/3612.12 c CG minimized 0
3600.00/3612.12 c CG minimize time 0 s
3600.00/3612.12 c CG am1 prop time 0.019933 s
3600.00/3612.12 c CG # am1s reformulated 267
3600.00/3612.12 c CG lower bound derived from am1s 1266
3600.00/3612.12 c CG # clausal cores 46
3600.00/3612.12 c CG # cardinality cores 0
3600.00/3612.12 c CG # pb cores 0
3600.00/3612.12 c CG # pb reforms 0
3600.00/3612.12 c CG # cores discarded because of pb reform 0
3600.00/3612.12 d LOWERBOUND -212
3600.00/3612.12 d NCORES 46
3600.00/3612.12 d NPBCORES 0
3600.00/3612.12 d NPBREFORM 0
3600.00/3612.12 d NTRIMMED 2
3600.00/3612.12 d NEXHAUSTED 10
3600.00/3612.12 d NAM1S 267
3600.00/3612.12 d AM1LB 1266
3600.00/3612.13 o -35
3600.00/3612.13 s SATISFIABLE
3600.00/3612.13 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
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: 64059 MiB (63194 MiB free)
memory of node 1: 64510 MiB (63623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435928-1721070184/watcher-4435928-1721070184 -o /tmp/evaluation-result-4435928-1721070184/solver-4435928-1721070184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721070197-807783 --watchdog 3760 pb-oll-rs HOME/instance-4435928-1721070184.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=807847, runsolver pid=807844
[startup+0.100103 s]*
/proc/loadavg: 2.34 3.52 4.02 5/246 807848
/proc/meminfo: memFree=129856244/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=39876 memory=6156 CPUtime=0.1 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 594 0 0 0 7 3 0 0 20 0 1 0 159174891 40833024 1539 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 9969 1539 1145 291 0 1503 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39876 KiB
Current children cumulated memory: 6156 KiB
[startup+0.213428 s]*
/proc/loadavg: 2.34 3.52 4.02 5/246 807848
/proc/meminfo: memFree=129848744/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=40272 memory=7212 CPUtime=0.22 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 876 0 0 0 15 7 0 0 20 0 1 0 159174891 41238528 1803 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 10068 1803 1145 291 0 1602 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 7212 KiB
[startup+0.313283 s]*
/proc/loadavg: 2.34 3.52 4.02 5/246 807848
/proc/meminfo: memFree=129843844/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=40668 memory=8268 CPUtime=0.31 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 1113 0 0 0 21 10 0 0 20 0 1 0 159174891 41644032 2067 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 10167 2067 1145 291 0 1701 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40668 KiB
Current children cumulated memory: 8268 KiB
[startup+0.700289 s]
/proc/loadavg: 2.34 3.52 4.02 5/246 807848
/proc/meminfo: memFree=129834456/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=42384 memory=12424 CPUtime=0.68 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 1675 0 0 0 49 19 0 0 20 0 1 0 159174891 43401216 3106 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 10596 3106 1145 291 0 2130 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42384 KiB
Current children cumulated memory: 12424 KiB
[startup+1.5003 s]
/proc/loadavg: 2.34 3.52 4.02 5/246 807848
/proc/meminfo: memFree=129797420/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=62412 memory=31516 CPUtime=1.48 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 5386 0 0 0 120 28 0 0 20 0 1 0 159174891 63909888 7879 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 15603 7879 1319 291 0 7137 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62412 KiB
Current children cumulated memory: 31516 KiB
[startup+3.11362 s]
/proc/loadavg: 2.34 3.52 4.02 5/246 807848
/proc/meminfo: memFree=129713952/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=89168 memory=48520 CPUtime=3.09 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 8528 0 0 0 278 31 0 0 20 0 1 0 159174891 91308032 12130 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 22292 12130 1380 291 0 13826 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89168 KiB
Current children cumulated memory: 48520 KiB
[startup+6.30029 s]
/proc/loadavg: 2.48 3.52 4.02 5/246 807848
/proc/meminfo: memFree=129588820/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=92284 memory=62956 CPUtime=6.26 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 9590 0 0 0 592 34 0 0 20 0 1 0 159174891 94498816 15739 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 23071 15739 1380 291 0 14605 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92284 KiB
Current children cumulated memory: 62956 KiB
[startup+12.7003 s]
/proc/loadavg: 2.60 3.53 4.02 5/246 807850
/proc/meminfo: memFree=129488052/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=117384 memory=77484 CPUtime=12.64 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 11687 0 0 0 1220 44 0 0 20 0 1 0 159174891 120201216 19371 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 29346 19371 1380 291 0 20880 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 117384 KiB
Current children cumulated memory: 77484 KiB
[startup+25.5003 s]
/proc/loadavg: 2.91 3.56 4.02 5/246 807851
/proc/meminfo: memFree=129342868/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=119384 memory=79596 CPUtime=25.4 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 12196 0 0 0 2476 64 0 0 20 0 1 0 159174891 122249216 19899 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 29846 19899 1380 291 0 21380 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 119384 KiB
Current children cumulated memory: 79596 KiB
[startup+51.1135 s]
/proc/loadavg: 3.36 3.61 4.02 5/245 807856
/proc/meminfo: memFree=129229368/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=120816 memory=80960 CPUtime=50.92 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 13558 0 0 0 5007 85 0 0 20 0 1 0 159174891 123715584 20240 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 30204 20240 1380 291 0 21738 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 120816 KiB
Current children cumulated memory: 80960 KiB
[startup+102.3 s]
/proc/loadavg: 3.80 3.69 4.02 5/245 807866
/proc/meminfo: memFree=128983972/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=123128 memory=83156 CPUtime=101.94 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 14162 0 0 0 10075 119 0 0 20 0 1 0 159174891 126083072 20789 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 30782 20789 1380 291 0 22316 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 123128 KiB
Current children cumulated memory: 83156 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 3.76 4.02 5/244 807877
/proc/meminfo: memFree=128918228/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=124236 memory=84212 CPUtime=161.73 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 14431 0 0 0 16017 156 0 0 20 0 1 0 159174891 127217664 21053 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 31059 21053 1380 291 0 22593 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 124236 KiB
Current children cumulated memory: 84212 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.82 4.02 5/244 807887
/proc/meminfo: memFree=128826852/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=124236 memory=84212 CPUtime=221.51 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 14431 0 0 0 21959 192 0 0 20 0 1 0 159174891 127217664 21053 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 31059 21053 1380 291 0 22593 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 124236 KiB
Current children cumulated memory: 84212 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.87 4.02 5/243 807897
/proc/meminfo: memFree=128751876/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=125424 memory=85524 CPUtime=281.31 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 14755 0 0 0 27908 223 0 0 20 0 1 0 159174891 128434176 21381 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 31356 21381 1380 291 0 22890 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 125424 KiB
Current children cumulated memory: 85524 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.92 4.02 5/241 807907
/proc/meminfo: memFree=128686164/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=125424 memory=85524 CPUtime=341.1 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 14755 0 0 0 33857 253 0 0 20 0 1 0 159174891 128434176 21381 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 31356 21381 1380 291 0 22890 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 125424 KiB
Current children cumulated memory: 85524 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 4.00 4.04 5/241 807919
/proc/meminfo: memFree=128603052/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=126916 memory=87080 CPUtime=400.89 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 15136 0 0 0 39815 274 0 0 20 0 1 0 159174891 129961984 21770 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 31729 21770 1380 291 0 23263 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 126916 KiB
Current children cumulated memory: 87080 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.00 4.03 5/243 807933
/proc/meminfo: memFree=128560244/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=126916 memory=87080 CPUtime=460.68 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 15136 0 0 0 45763 305 0 0 20 0 1 0 159174891 129961984 21770 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 31729 21770 1380 291 0 23263 0
################
# More data... #
################
Current children cumulated memory: 106388 KiB
[startup+2922.3 s]
/proc/loadavg: 5.62 4.52 4.24 5/245 808991
/proc/meminfo: memFree=127375072/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=137552 memory=106388 CPUtime=2912.54 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 20641 0 0 0 290369 885 0 0 20 0 1 0 159174891 140853248 26597 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 34388 26597 1380 291 0 25922 0
Current children cumulated CPU time: 2912.54 s
Current children cumulated vsize: 137552 KiB
Current children cumulated memory: 106388 KiB
[startup+2982.3 s]
/proc/loadavg: 5.25 4.64 4.30 5/244 809002
/proc/meminfo: memFree=127349148/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=137552 memory=106388 CPUtime=2972.35 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 20684 0 0 0 296343 892 0 0 20 0 1 0 159174891 140853248 26597 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 34388 26597 1380 291 0 25922 0
Current children cumulated CPU time: 2972.35 s
Current children cumulated vsize: 137552 KiB
Current children cumulated memory: 106388 KiB
[startup+3042.3 s]
/proc/loadavg: 4.52 4.54 4.28 5/244 809012
/proc/meminfo: memFree=127347600/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=137552 memory=106388 CPUtime=3032.15 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 20729 0 0 0 302318 897 0 0 20 0 1 0 159174891 140853248 26597 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 34388 26597 1380 291 0 25922 0
Current children cumulated CPU time: 3032.15 s
Current children cumulated vsize: 137552 KiB
Current children cumulated memory: 106388 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.45 4.27 5/244 809023
/proc/meminfo: memFree=127340872/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=137552 memory=106388 CPUtime=3091.95 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 20776 0 0 0 308292 903 0 0 20 0 1 0 159174891 140853248 26597 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 34388 26597 1380 291 0 25922 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 137552 KiB
Current children cumulated memory: 106388 KiB
[startup+3162.3 s]
/proc/loadavg: 4.35 4.43 4.27 5/246 809419
/proc/meminfo: memFree=127311708/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=168460 memory=110316 CPUtime=3151.75 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 22602 0 0 0 314244 931 0 0 20 0 1 0 159174891 172503040 27579 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 42115 27579 1380 291 0 33649 0
Current children cumulated CPU time: 3151.75 s
Current children cumulated vsize: 168460 KiB
Current children cumulated memory: 110316 KiB
[startup+3222.3 s]
/proc/loadavg: 4.84 4.57 4.33 5/244 809429
/proc/meminfo: memFree=127287128/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=172504 memory=114088 CPUtime=3211.54 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 23614 0 0 0 320193 961 0 0 20 0 1 0 159174891 176644096 28522 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 43126 28522 1380 291 0 34660 0
Current children cumulated CPU time: 3211.54 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 114088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.48 4.31 5/244 809439
/proc/meminfo: memFree=127211284/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=172504 memory=114300 CPUtime=3271.32 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 23644 0 0 0 326143 989 0 0 20 0 1 0 159174891 176644096 28575 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 43126 28575 1380 291 0 34660 0
Current children cumulated CPU time: 3271.32 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 114300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.40 4.30 5/245 809618
/proc/meminfo: memFree=127177916/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=172504 memory=114300 CPUtime=3331.11 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 23667 0 0 0 332102 1009 0 0 20 0 1 0 159174891 176644096 28575 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 43126 28575 1380 291 0 34660 0
Current children cumulated CPU time: 3331.11 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 114300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.34 4.28 5/245 809629
/proc/meminfo: memFree=127133036/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=172504 memory=114300 CPUtime=3390.9 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 23690 0 0 0 338068 1022 0 0 20 0 1 0 159174891 176644096 28575 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 43126 28575 1380 291 0 34660 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 114300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.34 4.28 5/244 809641
/proc/meminfo: memFree=127075156/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=172504 memory=114300 CPUtime=3450.7 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 23713 0 0 0 344037 1033 0 0 20 0 1 0 159174891 176644096 28575 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 43126 28575 1380 291 0 34660 0
Current children cumulated CPU time: 3450.7 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 114300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.28 4.26 5/242 809663
/proc/meminfo: memFree=127073992/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=172504 memory=114684 CPUtime=3510.49 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 23836 0 0 0 350005 1044 0 0 20 0 1 0 159174891 176644096 28671 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 43126 28671 1380 291 0 34660 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 114684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.25 4.25 5/242 809674
/proc/meminfo: memFree=127066464/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=174452 memory=121504 CPUtime=3570.3 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 24316 0 0 0 355978 1052 0 0 20 0 1 0 159174891 178638848 30376 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 43613 30376 1380 291 0 35147 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 174452 KiB
Current children cumulated memory: 121504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.01 4.21 4.24 5/242 809817
/proc/meminfo: memFree=129580164/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=177668 memory=124700 CPUtime=3600 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 26421 0 0 0 358944 1056 0 0 20 0 1 0 159174891 181932032 31175 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 44417 31175 1380 291 0 35951 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 177668 KiB
Current children cumulated memory: 124700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.13 s]
# the end of solver process 807847 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.47 s, system=10.5681 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.01 4.21 4.24 5/242 809817
/proc/meminfo: memFree=129580164/131655788 swapFree=131071996/131071996
[pid=807847] ppid=807844 vsize=177668 memory=124700 CPUtime=3600 cores=0,2
/proc/807847/stat : 807847 (pb-oll-rs) R 807844 807847 807773 0 -1 4194304 26421 0 0 0 358944 1056 0 0 20 0 1 0 159174891 181932032 31175 134679101440 4194304 5384005 140732471486768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9003008 140732471489559 140732471489636 140732471489636 140732471496651 0
/proc/807847/statm: 44417 31175 1380 291 0 35951 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 177668 KiB
Current children cumulated memory: 124700 KiB
Child status: 0
Real time (s): 3612.13
CPU time (s): 3600.03
CPU user time (s): 3589.47
CPU system time (s): 10.5681
CPU usage (%): 99.665
Max. virtual memory (cumulated for all children) (KiB): 177668
Max. memory (cumulated for all children) (KiB): 124700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.47
system time used= 10.5681
maximum resident set size= 129848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26438
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= 28
involuntary context switches= 24651
# summary of solver processes directly reported to runsolver:
# pid: 807847
# total CPU time (s): 3600.03
# total CPU user time (s): 3589.47
# total CPU system time (s): 10.5681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5994 second user time and 35.7447 second system time
The end
Begin job on nodeC008 at 2024-07-15 21:03:17
IDJOB=4435928
IDBENCH=146702
IDSOLVER=3067
FILE ID=nodeC008/4435928-1721070184
RUNJOBID= nodeC008-1721070197-807783
SLURM_JOB_ID= 7505525
Free space on /tmp= 723756 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435928-1721070184/watcher-4435928-1721070184 -o /tmp/evaluation-result-4435928-1721070184/solver-4435928-1721070184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721070197-807783 --watchdog 3760 pb-oll-rs HOME/instance-4435928-1721070184.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13efe7890d7fc5aab9247ea9860b6d53
RANDOM SEED=1293125275
nodeC008.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 : 0xb00001f
cpu MHz : 1197.244
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.242
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.263
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.258
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2202.575
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.255
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.254
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.244
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129867116 kB
MemAvailable: 129987304 kB
Buffers: 387648 kB
Cached: 577616 kB
SwapCached: 0 kB
Active: 613108 kB
Inactive: 658948 kB
Active(anon): 1412 kB
Inactive(anon): 343112 kB
Active(file): 611696 kB
Inactive(file): 315836 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 15584 kB
Writeback: 0 kB
AnonPages: 307332 kB
Mapped: 104648 kB
Shmem: 37704 kB
KReclaimable: 65372 kB
Slab: 158796 kB
SReclaimable: 65372 kB
SUnreclaim: 93424 kB
KernelStack: 3876 kB
PageTables: 9152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 636180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723748 MiB
End job on nodeC008 at 2024-07-15 22:03:29