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.41/0.45 c [STEP] solving
0.41/0.45 c #variables 1534 #constraints 126163
0.41/0.45 c SMALL=int, LARGE=long long
0.41/0.45 c bounds - >= -1534 @ 0.309413
0.41/0.45 c stratification level: 0
0.51/0.59 c bounds - >= -267 @ 0.391772
0.51/0.59 c bounds - >= -266 @ 0.393246
0.51/0.59 c bounds - >= -265 @ 0.393818
0.51/0.59 c bounds - >= -264 @ 0.393949
0.51/0.59 c bounds - >= -263 @ 0.394815
0.51/0.59 c bounds - >= -262 @ 0.39519
0.51/0.59 c bounds - >= -261 @ 0.395984
0.51/0.59 c bounds - >= -260 @ 0.39681
0.51/0.59 c bounds - >= -259 @ 0.396811
0.51/0.59 c bounds - >= -258 @ 0.397164
0.51/0.59 c bounds - >= -257 @ 0.398709
0.51/0.59 c bounds - >= -256 @ 0.398806
0.51/0.59 c bounds - >= -255 @ 0.399363
0.51/0.59 c bounds - >= -254 @ 0.399804
0.51/0.59 c bounds - >= -253 @ 0.399804
0.51/0.59 c bounds - >= -252 @ 0.400569
0.51/0.59 c bounds - >= -251 @ 0.40182
0.51/0.59 c bounds - >= -250 @ 0.403333
0.51/0.59 c bounds - >= -249 @ 0.404798
0.51/0.59 c bounds - >= -248 @ 0.405917
0.51/0.59 c bounds - >= -247 @ 0.407335
0.51/0.59 c bounds - >= -246 @ 0.407784
0.51/0.59 c bounds - >= -245 @ 0.408287
0.51/0.59 c bounds - >= -244 @ 0.409075
0.51/0.59 c bounds - >= -243 @ 0.409936
0.51/0.59 c bounds - >= -242 @ 0.410775
0.51/0.59 c bounds - >= -241 @ 0.410775
0.51/0.59 c bounds - >= -240 @ 0.410776
0.51/0.59 c bounds - >= -239 @ 0.410777
0.51/0.59 c bounds - >= -238 @ 0.411025
0.51/0.59 c bounds - >= -237 @ 0.412171
0.51/0.59 c bounds - >= -236 @ 0.413674
0.51/0.59 c bounds - >= -235 @ 0.414395
0.51/0.59 c bounds - >= -234 @ 0.415627
0.51/0.59 c finalizing WCE round: reformulating cores
20.83/21.01 c bounds -22 >= -267 @ 0.417053
20.83/21.01 c bounds -23 >= -265 @ 0.423781
20.83/21.01 c bounds -24 >= -263 @ 0.44975
20.83/21.01 c bounds -26 >= -260 @ 0.463621
20.83/21.01 c bounds -26 >= -260 @ 0.465768
20.83/21.01 c #Conflicts: 1000 | #Constraints: 127488
20.83/21.01 c bounds -26 >= -260 @ 0.470794
20.83/21.01 c #Conflicts: 2000 | #Constraints: 128495
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c bounds -30 >= -252 @ 0.968702
20.83/21.01 c #Conflicts: 3000 | #Constraints: 128313
20.83/21.01 c #Conflicts: 4000 | #Constraints: 129318
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c bounds -34 >= -246 @ 1.92805
20.83/21.01 c #Conflicts: 5000 | #Constraints: 128778
20.83/21.01 c #Conflicts: 6000 | #Constraints: 129780
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c #Conflicts: 7000 | #Constraints: 128808
20.83/21.01 c #Conflicts: 8000 | #Constraints: 129810
20.83/21.01 c #Conflicts: 9000 | #Constraints: 130814
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c #Conflicts: 10000 | #Constraints: 129553
20.83/21.01 c #Conflicts: 11000 | #Constraints: 130555
20.83/21.01 c #Conflicts: 12000 | #Constraints: 131557
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c #Conflicts: 13000 | #Constraints: 130035
20.83/21.01 c bounds -35 >= -234 @ 6.32411
20.83/21.01 c #Conflicts: 14000 | #Constraints: 131039
20.83/21.01 c #Conflicts: 15000 | #Constraints: 132041
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c #Conflicts: 16000 | #Constraints: 130265
20.83/21.01 c #Conflicts: 17000 | #Constraints: 131267
20.83/21.01 c bounds -35 >= -229 @ 8.29645
20.83/21.01 c #Conflicts: 18000 | #Constraints: 132271
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c #Conflicts: 19000 | #Constraints: 130286
20.83/21.01 c #Conflicts: 20000 | #Constraints: 131288
20.83/21.01 c #Conflicts: 21000 | #Constraints: 132290
20.83/21.01 c bounds -35 >= -224 @ 10.6059
20.83/21.01 c bounds -35 >= -223 @ 10.6101
20.83/21.01 c bounds -35 >= -222 @ 10.6135
20.83/21.01 c bounds -35 >= -221 @ 10.6201
20.83/21.01 c bounds -35 >= -220 @ 10.6546
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c bounds -35 >= -219 @ 10.7329
20.83/21.01 c #Conflicts: 22000 | #Constraints: 130220
20.83/21.01 c bounds -35 >= -218 @ 10.8681
20.83/21.01 c #Conflicts: 23000 | #Constraints: 131293
20.83/21.01 c bounds -35 >= -217 @ 10.9179
20.83/21.01 c bounds -35 >= -216 @ 10.9667
20.83/21.01 c #Conflicts: 24000 | #Constraints: 132337
20.83/21.01 c bounds -35 >= -215 @ 11.0796
20.83/21.01 c #Conflicts: 25000 | #Constraints: 133362
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c #Conflicts: 26000 | #Constraints: 130939
20.83/21.01 c #Conflicts: 27000 | #Constraints: 131939
20.83/21.01 c #Conflicts: 28000 | #Constraints: 132939
20.83/21.01 c bounds -35 >= -214 @ 11.4268
20.83/21.01 c #Conflicts: 29000 | #Constraints: 133988
20.83/21.01 c INPROCESSING
20.83/21.01 c #Conflicts: 30000 | #Constraints: 131367
20.83/21.01 c bounds -35 >= -213 @ 11.6264
20.83/21.01 c #Conflicts: 31000 | #Constraints: 132422
20.83/21.01 c #Conflicts: 32000 | #Constraints: 133422
20.83/21.01 c #Conflicts: 33000 | #Constraints: 134422
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c #Conflicts: 34000 | #Constraints: 131613
20.83/21.01 c #Conflicts: 35000 | #Constraints: 132613
20.83/21.01 c #Conflicts: 36000 | #Constraints: 133613
20.83/21.01 c #Conflicts: 37000 | #Constraints: 134613
20.83/21.01 c #Conflicts: 38000 | #Constraints: 135613
20.83/21.01 c #Conflicts: 39000 | #Constraints: 136613
20.83/21.01 c #Conflicts: 40000 | #Constraints: 137613
20.83/21.01 c #Conflicts: 41000 | #Constraints: 138613
20.83/21.01 c #Conflicts: 42000 | #Constraints: 139613
20.83/21.01 c #Conflicts: 43000 | #Constraints: 140613
20.83/21.01 c #Conflicts: 44000 | #Constraints: 141613
20.83/21.01 c #Conflicts: 45000 | #Constraints: 142613
20.83/21.01 c #Conflicts: 46000 | #Constraints: 143613
20.83/21.01 c #Conflicts: 47000 | #Constraints: 144613
20.83/21.01 c #Conflicts: 48000 | #Constraints: 145613
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c #Conflicts: 49000 | #Constraints: 137240
20.83/21.01 c #Conflicts: 50000 | #Constraints: 138240
20.83/21.01 c #Conflicts: 51000 | #Constraints: 139240
20.83/21.01 c #Conflicts: 52000 | #Constraints: 140240
20.83/21.01 c #Conflicts: 53000 | #Constraints: 141240
20.83/21.01 c INPROCESSING
20.83/21.01 c GARBAGE COLLECT
20.83/21.01 c #Conflicts: 54000 | #Constraints: 134906
20.83/21.01 c #Conflicts: 55000 | #Constraints: 135906
20.83/21.01 c #Conflicts: 56000 | #Constraints: 136906
20.83/21.01 c #Conflicts: 57000 | #Constraints: 137906
20.83/21.01 c #Conflicts: 58000 | #Constraints: 138906
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 59000 | #Constraints: 133491
70.50/70.76 c #Conflicts: 60000 | #Constraints: 134491
70.50/70.76 c #Conflicts: 61000 | #Constraints: 135491
70.50/70.76 c #Conflicts: 62000 | #Constraints: 136491
70.50/70.76 c #Conflicts: 63000 | #Constraints: 137491
70.50/70.76 c #Conflicts: 64000 | #Constraints: 138491
70.50/70.76 c #Conflicts: 65000 | #Constraints: 139491
70.50/70.76 c #Conflicts: 66000 | #Constraints: 140491
70.50/70.76 c #Conflicts: 67000 | #Constraints: 141491
70.50/70.76 c #Conflicts: 68000 | #Constraints: 142491
70.50/70.76 c #Conflicts: 69000 | #Constraints: 143491
70.50/70.76 c #Conflicts: 70000 | #Constraints: 144491
70.50/70.76 c #Conflicts: 71000 | #Constraints: 145491
70.50/70.76 c #Conflicts: 72000 | #Constraints: 146491
70.50/70.76 c #Conflicts: 73000 | #Constraints: 147491
70.50/70.76 c #Conflicts: 74000 | #Constraints: 148491
70.50/70.76 c #Conflicts: 75000 | #Constraints: 149491
70.50/70.76 c #Conflicts: 76000 | #Constraints: 150491
70.50/70.76 c #Conflicts: 77000 | #Constraints: 151491
70.50/70.76 c #Conflicts: 78000 | #Constraints: 152491
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 79000 | #Constraints: 140698
70.50/70.76 c #Conflicts: 80000 | #Constraints: 141698
70.50/70.76 c #Conflicts: 81000 | #Constraints: 142698
70.50/70.76 c #Conflicts: 82000 | #Constraints: 143698
70.50/70.76 c #Conflicts: 83000 | #Constraints: 144698
70.50/70.76 c #Conflicts: 84000 | #Constraints: 145698
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 85000 | #Constraints: 136888
70.50/70.76 c #Conflicts: 86000 | #Constraints: 137888
70.50/70.76 c #Conflicts: 87000 | #Constraints: 138888
70.50/70.76 c #Conflicts: 88000 | #Constraints: 139888
70.50/70.76 c #Conflicts: 89000 | #Constraints: 140888
70.50/70.76 c #Conflicts: 90000 | #Constraints: 141888
70.50/70.76 c #Conflicts: 91000 | #Constraints: 142888
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 92000 | #Constraints: 135477
70.50/70.76 c #Conflicts: 93000 | #Constraints: 136477
70.50/70.76 c #Conflicts: 94000 | #Constraints: 137477
70.50/70.76 c #Conflicts: 95000 | #Constraints: 138477
70.50/70.76 c #Conflicts: 96000 | #Constraints: 139477
70.50/70.76 c #Conflicts: 97000 | #Constraints: 140477
70.50/70.76 c #Conflicts: 98000 | #Constraints: 141477
70.50/70.76 c #Conflicts: 99000 | #Constraints: 142477
70.50/70.76 c #Conflicts: 100000 | #Constraints: 143477
70.50/70.76 c #Conflicts: 101000 | #Constraints: 144477
70.50/70.76 c #Conflicts: 102000 | #Constraints: 145477
70.50/70.76 c #Conflicts: 103000 | #Constraints: 146477
70.50/70.76 c #Conflicts: 104000 | #Constraints: 147477
70.50/70.76 c #Conflicts: 105000 | #Constraints: 148477
70.50/70.76 c #Conflicts: 106000 | #Constraints: 149477
70.50/70.76 c #Conflicts: 107000 | #Constraints: 150477
70.50/70.76 c #Conflicts: 108000 | #Constraints: 151477
70.50/70.76 c #Conflicts: 109000 | #Constraints: 152477
70.50/70.76 c #Conflicts: 110000 | #Constraints: 153477
70.50/70.76 c #Conflicts: 111000 | #Constraints: 154477
70.50/70.76 c #Conflicts: 112000 | #Constraints: 155477
70.50/70.76 c #Conflicts: 113000 | #Constraints: 156477
70.50/70.76 c #Conflicts: 114000 | #Constraints: 157477
70.50/70.76 c #Conflicts: 115000 | #Constraints: 158477
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 116000 | #Constraints: 143589
70.50/70.76 c #Conflicts: 117000 | #Constraints: 144589
70.50/70.76 c #Conflicts: 118000 | #Constraints: 145589
70.50/70.76 c #Conflicts: 119000 | #Constraints: 146589
70.50/70.76 c #Conflicts: 120000 | #Constraints: 147589
70.50/70.76 c #Conflicts: 121000 | #Constraints: 148589
70.50/70.76 c #Conflicts: 122000 | #Constraints: 149589
70.50/70.76 c #Conflicts: 123000 | #Constraints: 150589
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 124000 | #Constraints: 139512
70.50/70.76 c #Conflicts: 125000 | #Constraints: 140512
70.50/70.76 c #Conflicts: 126000 | #Constraints: 141512
70.50/70.76 c #Conflicts: 127000 | #Constraints: 142512
70.50/70.76 c #Conflicts: 128000 | #Constraints: 143512
70.50/70.76 c #Conflicts: 129000 | #Constraints: 144512
70.50/70.76 c #Conflicts: 130000 | #Constraints: 145512
70.50/70.76 c #Conflicts: 131000 | #Constraints: 146512
70.50/70.76 c #Conflicts: 132000 | #Constraints: 147512
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
137.54/137.97 c #Conflicts: 133000 | #Constraints: 138199
137.54/137.97 c #Conflicts: 134000 | #Constraints: 139199
137.54/137.97 c #Conflicts: 135000 | #Constraints: 140199
137.54/137.97 c #Conflicts: 136000 | #Constraints: 141199
137.54/137.97 c #Conflicts: 137000 | #Constraints: 142199
137.54/137.97 c #Conflicts: 138000 | #Constraints: 143199
137.54/137.97 c #Conflicts: 139000 | #Constraints: 144199
137.54/137.97 c #Conflicts: 140000 | #Constraints: 145199
137.54/137.97 c #Conflicts: 141000 | #Constraints: 146199
137.54/137.97 c #Conflicts: 142000 | #Constraints: 147199
137.54/137.97 c #Conflicts: 143000 | #Constraints: 148199
137.54/137.97 c #Conflicts: 144000 | #Constraints: 149199
137.54/137.97 c #Conflicts: 145000 | #Constraints: 150199
137.54/137.97 c #Conflicts: 146000 | #Constraints: 151199
137.54/137.97 c #Conflicts: 147000 | #Constraints: 152199
137.54/137.97 c #Conflicts: 148000 | #Constraints: 153199
137.54/137.97 c #Conflicts: 149000 | #Constraints: 154199
137.54/137.97 c #Conflicts: 150000 | #Constraints: 155199
137.54/137.97 c #Conflicts: 151000 | #Constraints: 156199
137.54/137.97 c #Conflicts: 152000 | #Constraints: 157199
137.54/137.97 c #Conflicts: 153000 | #Constraints: 158199
137.54/137.97 c #Conflicts: 154000 | #Constraints: 159199
137.54/137.97 c #Conflicts: 155000 | #Constraints: 160199
137.54/137.97 c #Conflicts: 156000 | #Constraints: 161199
137.54/137.97 c #Conflicts: 157000 | #Constraints: 162199
137.54/137.97 c #Conflicts: 158000 | #Constraints: 163199
137.54/137.97 c #Conflicts: 159000 | #Constraints: 164199
137.54/137.97 c INPROCESSING
137.54/137.97 c GARBAGE COLLECT
137.54/137.97 c #Conflicts: 160000 | #Constraints: 146263
137.54/137.97 c #Conflicts: 161000 | #Constraints: 147263
137.54/137.97 c #Conflicts: 162000 | #Constraints: 148263
137.54/137.97 c #Conflicts: 163000 | #Constraints: 149263
137.54/137.97 c #Conflicts: 164000 | #Constraints: 150263
137.54/137.97 c #Conflicts: 165000 | #Constraints: 151263
137.54/137.97 c #Conflicts: 166000 | #Constraints: 152263
137.54/137.97 c #Conflicts: 167000 | #Constraints: 153263
137.54/137.97 c #Conflicts: 168000 | #Constraints: 154263
137.54/137.97 c #Conflicts: 169000 | #Constraints: 155263
137.54/137.97 c INPROCESSING
137.54/137.97 c GARBAGE COLLECT
137.54/137.97 c #Conflicts: 170000 | #Constraints: 141893
137.54/137.97 c #Conflicts: 171000 | #Constraints: 142893
137.54/137.97 c #Conflicts: 172000 | #Constraints: 143893
137.54/137.97 c #Conflicts: 173000 | #Constraints: 144893
137.54/137.97 c #Conflicts: 174000 | #Constraints: 145893
137.54/137.97 c #Conflicts: 175000 | #Constraints: 146893
137.54/137.97 c #Conflicts: 176000 | #Constraints: 147893
137.54/137.97 c #Conflicts: 177000 | #Constraints: 148893
137.54/137.97 c #Conflicts: 178000 | #Constraints: 149893
137.54/137.97 c #Conflicts: 179000 | #Constraints: 150893
137.54/137.97 c INPROCESSING
137.54/137.97 c GARBAGE COLLECT
137.54/137.97 c #Conflicts: 180000 | #Constraints: 139693
137.54/137.97 c #Conflicts: 181000 | #Constraints: 140693
137.54/137.97 c #Conflicts: 182000 | #Constraints: 141693
137.54/137.97 c #Conflicts: 183000 | #Constraints: 142693
137.54/137.97 c #Conflicts: 184000 | #Constraints: 143693
137.54/137.97 c #Conflicts: 185000 | #Constraints: 144693
137.54/137.97 c #Conflicts: 186000 | #Constraints: 145693
137.54/137.97 c #Conflicts: 187000 | #Constraints: 146693
137.54/137.97 c #Conflicts: 188000 | #Constraints: 147693
137.54/137.97 c #Conflicts: 189000 | #Constraints: 148693
137.54/137.97 c INPROCESSING
137.54/137.97 c GARBAGE COLLECT
137.54/137.97 c #Conflicts: 190000 | #Constraints: 138487
137.54/137.97 c #Conflicts: 191000 | #Constraints: 139487
137.54/137.97 c #Conflicts: 192000 | #Constraints: 140487
137.54/137.97 c #Conflicts: 193000 | #Constraints: 141487
137.54/137.97 c #Conflicts: 194000 | #Constraints: 142487
137.54/137.97 c #Conflicts: 195000 | #Constraints: 143487
137.54/137.97 c #Conflicts: 196000 | #Constraints: 144487
137.54/137.97 c #Conflicts: 197000 | #Constraints: 145487
137.54/137.97 c #Conflicts: 198000 | #Constraints: 146487
137.54/137.97 c #Conflicts: 199000 | #Constraints: 147487
137.54/137.97 c #Conflicts: 200000 | #Constraints: 148487
137.54/137.97 c #Conflicts: 201000 | #Constraints: 149487
137.54/137.97 c #Conflicts: 202000 | #Constraints: 150487
137.54/137.97 c #Conflicts: 203000 | #Constraints: 151487
137.54/137.97 c #Conflicts: 204000 | #Constraints: 152487
137.54/137.97 c #Conflicts: 205000 | #Constraints: 153487
137.54/137.97 c #Conflicts: 206000 | #Constraints: 154487
137.54/137.97 c #Conflicts: 207000 | #Constraints: 155487
137.54/137.97 c #Conflicts: 208000 | #Constraints: 156487
137.54/137.97 c #Conflicts: 209000 | #Constraints: 157487
220.91/221.58 c #Conflicts: 210000 | #Constraints: 158487
220.91/221.58 c #Conflicts: 211000 | #Constraints: 159487
220.91/221.58 c #Conflicts: 212000 | #Constraints: 160487
220.91/221.58 c #Conflicts: 213000 | #Constraints: 161487
220.91/221.58 c #Conflicts: 214000 | #Constraints: 162487
220.91/221.58 c #Conflicts: 215000 | #Constraints: 163487
220.91/221.58 c #Conflicts: 216000 | #Constraints: 164487
220.91/221.58 c #Conflicts: 217000 | #Constraints: 165487
220.91/221.58 c #Conflicts: 218000 | #Constraints: 166487
220.91/221.58 c #Conflicts: 219000 | #Constraints: 167487
220.91/221.58 c #Conflicts: 220000 | #Constraints: 168487
220.91/221.58 c #Conflicts: 221000 | #Constraints: 169487
220.91/221.58 c #Conflicts: 222000 | #Constraints: 170487
220.91/221.58 c INPROCESSING
220.91/221.58 c GARBAGE COLLECT
220.91/221.58 c #Conflicts: 223000 | #Constraints: 149431
220.91/221.58 c #Conflicts: 224000 | #Constraints: 150431
220.91/221.58 c #Conflicts: 225000 | #Constraints: 151431
220.91/221.58 c #Conflicts: 226000 | #Constraints: 152431
220.91/221.58 c #Conflicts: 227000 | #Constraints: 153431
220.91/221.58 c #Conflicts: 228000 | #Constraints: 154431
220.91/221.58 c #Conflicts: 229000 | #Constraints: 155431
220.91/221.58 c #Conflicts: 230000 | #Constraints: 156431
220.91/221.58 c #Conflicts: 231000 | #Constraints: 157431
220.91/221.58 c #Conflicts: 232000 | #Constraints: 158431
220.91/221.58 c #Conflicts: 233000 | #Constraints: 159431
220.91/221.58 c #Conflicts: 234000 | #Constraints: 160431
220.91/221.58 c INPROCESSING
220.91/221.58 c GARBAGE COLLECT
220.91/221.58 c #Conflicts: 235000 | #Constraints: 144689
220.91/221.58 c #Conflicts: 236000 | #Constraints: 145689
220.91/221.58 c #Conflicts: 237000 | #Constraints: 146689
220.91/221.58 c #Conflicts: 238000 | #Constraints: 147689
220.91/221.58 c #Conflicts: 239000 | #Constraints: 148689
220.91/221.58 c #Conflicts: 240000 | #Constraints: 149689
220.91/221.58 c #Conflicts: 241000 | #Constraints: 150689
220.91/221.58 c #Conflicts: 242000 | #Constraints: 151689
220.91/221.58 c #Conflicts: 243000 | #Constraints: 152689
220.91/221.58 c #Conflicts: 244000 | #Constraints: 153689
220.91/221.58 c #Conflicts: 245000 | #Constraints: 154689
220.91/221.58 c INPROCESSING
220.91/221.58 c GARBAGE COLLECT
220.91/221.58 c #Conflicts: 246000 | #Constraints: 141443
220.91/221.58 c #Conflicts: 247000 | #Constraints: 142443
220.91/221.58 c #Conflicts: 248000 | #Constraints: 143443
220.91/221.58 c #Conflicts: 249000 | #Constraints: 144443
220.91/221.58 c #Conflicts: 250000 | #Constraints: 145443
220.91/221.58 c #Conflicts: 251000 | #Constraints: 146443
220.91/221.58 c #Conflicts: 252000 | #Constraints: 147443
220.91/221.58 c #Conflicts: 253000 | #Constraints: 148443
220.91/221.58 c #Conflicts: 254000 | #Constraints: 149443
220.91/221.58 c #Conflicts: 255000 | #Constraints: 150443
220.91/221.58 c #Conflicts: 256000 | #Constraints: 151443
220.91/221.58 c #Conflicts: 257000 | #Constraints: 152443
220.91/221.58 c INPROCESSING
220.91/221.58 c GARBAGE COLLECT
220.91/221.58 c #Conflicts: 258000 | #Constraints: 140381
220.91/221.58 c #Conflicts: 259000 | #Constraints: 141381
220.91/221.58 c #Conflicts: 260000 | #Constraints: 142381
220.91/221.58 c #Conflicts: 261000 | #Constraints: 143381
220.91/221.58 c #Conflicts: 262000 | #Constraints: 144381
220.91/221.58 c #Conflicts: 263000 | #Constraints: 145381
220.91/221.58 c #Conflicts: 264000 | #Constraints: 146381
220.91/221.58 c #Conflicts: 265000 | #Constraints: 147381
220.91/221.58 c #Conflicts: 266000 | #Constraints: 148381
220.91/221.58 c #Conflicts: 267000 | #Constraints: 149381
220.91/221.58 c #Conflicts: 268000 | #Constraints: 150381
220.91/221.58 c #Conflicts: 269000 | #Constraints: 151381
220.91/221.58 c #Conflicts: 270000 | #Constraints: 152381
220.91/221.58 c #Conflicts: 271000 | #Constraints: 153381
220.91/221.58 c #Conflicts: 272000 | #Constraints: 154381
220.91/221.58 c #Conflicts: 273000 | #Constraints: 155381
220.91/221.58 c #Conflicts: 274000 | #Constraints: 156381
220.91/221.58 c #Conflicts: 275000 | #Constraints: 157381
220.91/221.58 c #Conflicts: 276000 | #Constraints: 158381
220.91/221.58 c #Conflicts: 277000 | #Constraints: 159381
220.91/221.58 c #Conflicts: 278000 | #Constraints: 160381
220.91/221.58 c #Conflicts: 279000 | #Constraints: 161381
220.91/221.58 c #Conflicts: 280000 | #Constraints: 162381
220.91/221.58 c #Conflicts: 281000 | #Constraints: 163381
220.91/221.58 c #Conflicts: 282000 | #Constraints: 164381
220.91/221.58 c #Conflicts: 283000 | #Constraints: 165381
220.91/221.58 c #Conflicts: 284000 | #Constraints: 166381
220.91/221.58 c #Conflicts: 285000 | #Constraints: 167381
304.49/305.38 c #Conflicts: 286000 | #Constraints: 168381
304.49/305.38 c #Conflicts: 287000 | #Constraints: 169381
304.49/305.38 c #Conflicts: 288000 | #Constraints: 170381
304.49/305.38 c #Conflicts: 289000 | #Constraints: 171381
304.49/305.38 c #Conflicts: 290000 | #Constraints: 172381
304.49/305.38 c #Conflicts: 291000 | #Constraints: 173381
304.49/305.38 c #Conflicts: 292000 | #Constraints: 174381
304.49/305.38 c #Conflicts: 293000 | #Constraints: 175381
304.49/305.38 c #Conflicts: 294000 | #Constraints: 176381
304.49/305.38 c #Conflicts: 295000 | #Constraints: 177381
304.49/305.38 c INPROCESSING
304.49/305.38 c GARBAGE COLLECT
304.49/305.38 c #Conflicts: 296000 | #Constraints: 152740
304.49/305.38 c #Conflicts: 297000 | #Constraints: 153740
304.49/305.38 c #Conflicts: 298000 | #Constraints: 154740
304.49/305.38 c #Conflicts: 299000 | #Constraints: 155740
304.49/305.38 c #Conflicts: 300000 | #Constraints: 156740
304.49/305.38 c #Conflicts: 301000 | #Constraints: 157740
304.49/305.38 c #Conflicts: 302000 | #Constraints: 158740
304.49/305.38 c #Conflicts: 303000 | #Constraints: 159740
304.49/305.38 c #Conflicts: 304000 | #Constraints: 160740
304.49/305.38 c #Conflicts: 305000 | #Constraints: 161740
304.49/305.38 c #Conflicts: 306000 | #Constraints: 162740
304.49/305.38 c #Conflicts: 307000 | #Constraints: 163740
304.49/305.38 c #Conflicts: 308000 | #Constraints: 164740
304.49/305.38 c #Conflicts: 309000 | #Constraints: 165740
304.49/305.38 c INPROCESSING
304.49/305.38 c GARBAGE COLLECT
304.49/305.38 c #Conflicts: 310000 | #Constraints: 147315
304.49/305.38 c #Conflicts: 311000 | #Constraints: 148315
304.49/305.38 c #Conflicts: 312000 | #Constraints: 149315
304.49/305.38 c #Conflicts: 313000 | #Constraints: 150315
304.49/305.38 c #Conflicts: 314000 | #Constraints: 151315
304.49/305.38 c #Conflicts: 315000 | #Constraints: 152315
304.49/305.38 c #Conflicts: 316000 | #Constraints: 153315
304.49/305.38 c #Conflicts: 317000 | #Constraints: 154315
304.49/305.38 c #Conflicts: 318000 | #Constraints: 155315
304.49/305.38 c #Conflicts: 319000 | #Constraints: 156315
304.49/305.38 c #Conflicts: 320000 | #Constraints: 157315
304.49/305.38 c #Conflicts: 321000 | #Constraints: 158315
304.49/305.38 c #Conflicts: 322000 | #Constraints: 159315
304.49/305.38 c INPROCESSING
304.49/305.38 c GARBAGE COLLECT
304.49/305.38 c #Conflicts: 323000 | #Constraints: 143908
304.49/305.38 c #Conflicts: 324000 | #Constraints: 144908
304.49/305.38 c #Conflicts: 325000 | #Constraints: 145908
304.49/305.38 c #Conflicts: 326000 | #Constraints: 146908
304.49/305.38 c #Conflicts: 327000 | #Constraints: 147908
304.49/305.38 c #Conflicts: 328000 | #Constraints: 148908
304.49/305.38 c #Conflicts: 329000 | #Constraints: 149908
304.49/305.38 c #Conflicts: 330000 | #Constraints: 150908
304.49/305.38 c #Conflicts: 331000 | #Constraints: 151908
304.49/305.38 c #Conflicts: 332000 | #Constraints: 152908
304.49/305.38 c #Conflicts: 333000 | #Constraints: 153908
304.49/305.38 c #Conflicts: 334000 | #Constraints: 154908
304.49/305.38 c #Conflicts: 335000 | #Constraints: 155908
304.49/305.38 c #Conflicts: 336000 | #Constraints: 156908
304.49/305.38 c INPROCESSING
304.49/305.38 c GARBAGE COLLECT
304.49/305.38 c #Conflicts: 337000 | #Constraints: 142905
304.49/305.38 c #Conflicts: 338000 | #Constraints: 143905
304.49/305.38 c #Conflicts: 339000 | #Constraints: 144905
304.49/305.38 c #Conflicts: 340000 | #Constraints: 145905
304.49/305.38 c #Conflicts: 341000 | #Constraints: 146905
304.49/305.38 c #Conflicts: 342000 | #Constraints: 147905
304.49/305.38 c #Conflicts: 343000 | #Constraints: 148905
304.49/305.38 c #Conflicts: 344000 | #Constraints: 149905
304.49/305.38 c #Conflicts: 345000 | #Constraints: 150905
304.49/305.38 c #Conflicts: 346000 | #Constraints: 151905
304.49/305.38 c #Conflicts: 347000 | #Constraints: 152905
304.49/305.38 c #Conflicts: 348000 | #Constraints: 153905
304.49/305.38 c #Conflicts: 349000 | #Constraints: 154905
304.49/305.38 c INPROCESSING
304.49/305.38 c GARBAGE COLLECT
304.49/305.38 c #Conflicts: 350000 | #Constraints: 141501
304.49/305.38 c #Conflicts: 351000 | #Constraints: 142501
304.49/305.38 c #Conflicts: 352000 | #Constraints: 143501
304.49/305.38 c #Conflicts: 353000 | #Constraints: 144501
304.49/305.38 c #Conflicts: 354000 | #Constraints: 145501
304.49/305.38 c #Conflicts: 355000 | #Constraints: 146501
304.49/305.38 c #Conflicts: 356000 | #Constraints: 147501
304.49/305.38 c #Conflicts: 357000 | #Constraints: 148501
304.49/305.38 c #Conflicts: 358000 | #Constraints: 149501
304.49/305.38 c #Conflicts: 359000 | #Constraints: 150501
304.49/305.38 c #Conflicts: 360000 | #Constraints: 151501
304.49/305.38 c #Conflicts: 361000 | #Constraints: 152501
411.23/412.38 c #Conflicts: 362000 | #Constraints: 153501
411.23/412.38 c #Conflicts: 363000 | #Constraints: 154501
411.23/412.38 c #Conflicts: 364000 | #Constraints: 155501
411.23/412.38 c #Conflicts: 365000 | #Constraints: 156501
411.23/412.38 c #Conflicts: 366000 | #Constraints: 157501
411.23/412.38 c #Conflicts: 367000 | #Constraints: 158501
411.23/412.38 c #Conflicts: 368000 | #Constraints: 159501
411.23/412.38 c #Conflicts: 369000 | #Constraints: 160501
411.23/412.38 c #Conflicts: 370000 | #Constraints: 161501
411.23/412.38 c #Conflicts: 371000 | #Constraints: 162501
411.23/412.38 c #Conflicts: 372000 | #Constraints: 163501
411.23/412.38 c #Conflicts: 373000 | #Constraints: 164501
411.23/412.38 c #Conflicts: 374000 | #Constraints: 165501
411.23/412.38 c #Conflicts: 375000 | #Constraints: 166501
411.23/412.38 c #Conflicts: 376000 | #Constraints: 167501
411.23/412.38 c #Conflicts: 377000 | #Constraints: 168501
411.23/412.38 c #Conflicts: 378000 | #Constraints: 169501
411.23/412.38 c #Conflicts: 379000 | #Constraints: 170501
411.23/412.38 c #Conflicts: 380000 | #Constraints: 171501
411.23/412.38 c #Conflicts: 381000 | #Constraints: 172501
411.23/412.38 c #Conflicts: 382000 | #Constraints: 173501
411.23/412.38 c #Conflicts: 383000 | #Constraints: 174501
411.23/412.38 c #Conflicts: 384000 | #Constraints: 175501
411.23/412.38 c #Conflicts: 385000 | #Constraints: 176501
411.23/412.38 c #Conflicts: 386000 | #Constraints: 177501
411.23/412.38 c #Conflicts: 387000 | #Constraints: 178501
411.23/412.38 c #Conflicts: 388000 | #Constraints: 179501
411.23/412.38 c #Conflicts: 389000 | #Constraints: 180501
411.23/412.38 c #Conflicts: 390000 | #Constraints: 181501
411.23/412.38 c #Conflicts: 391000 | #Constraints: 182501
411.23/412.38 c #Conflicts: 392000 | #Constraints: 183501
411.23/412.38 c #Conflicts: 393000 | #Constraints: 184501
411.23/412.38 c #Conflicts: 394000 | #Constraints: 185501
411.23/412.38 c INPROCESSING
411.23/412.38 c GARBAGE COLLECT
411.23/412.38 c #Conflicts: 395000 | #Constraints: 156987
411.23/412.38 c #Conflicts: 396000 | #Constraints: 157987
411.23/412.38 c #Conflicts: 397000 | #Constraints: 158987
411.23/412.38 c #Conflicts: 398000 | #Constraints: 159987
411.23/412.38 c #Conflicts: 399000 | #Constraints: 160987
411.23/412.38 c #Conflicts: 400000 | #Constraints: 161987
411.23/412.38 c #Conflicts: 401000 | #Constraints: 162987
411.23/412.38 c #Conflicts: 402000 | #Constraints: 163987
411.23/412.38 c #Conflicts: 403000 | #Constraints: 164987
411.23/412.38 c #Conflicts: 404000 | #Constraints: 165987
411.23/412.38 c #Conflicts: 405000 | #Constraints: 166987
411.23/412.38 c #Conflicts: 406000 | #Constraints: 167987
411.23/412.38 c #Conflicts: 407000 | #Constraints: 168987
411.23/412.38 c #Conflicts: 408000 | #Constraints: 169987
411.23/412.38 c #Conflicts: 409000 | #Constraints: 170987
411.23/412.38 c INPROCESSING
411.23/412.38 c GARBAGE COLLECT
411.23/412.38 c #Conflicts: 410000 | #Constraints: 149693
411.23/412.38 c #Conflicts: 411000 | #Constraints: 150693
411.23/412.38 c #Conflicts: 412000 | #Constraints: 151693
411.23/412.38 c #Conflicts: 413000 | #Constraints: 152693
411.23/412.38 c #Conflicts: 414000 | #Constraints: 153693
411.23/412.38 c #Conflicts: 415000 | #Constraints: 154693
411.23/412.38 c #Conflicts: 416000 | #Constraints: 155693
411.23/412.38 c #Conflicts: 417000 | #Constraints: 156693
411.23/412.38 c #Conflicts: 418000 | #Constraints: 157693
411.23/412.38 c #Conflicts: 419000 | #Constraints: 158693
411.23/412.38 c #Conflicts: 420000 | #Constraints: 159693
411.23/412.38 c #Conflicts: 421000 | #Constraints: 160693
411.23/412.38 c #Conflicts: 422000 | #Constraints: 161693
411.23/412.38 c #Conflicts: 423000 | #Constraints: 162693
411.23/412.38 c #Conflicts: 424000 | #Constraints: 163693
411.23/412.38 c INPROCESSING
411.23/412.38 c GARBAGE COLLECT
411.23/412.38 c #Conflicts: 425000 | #Constraints: 145873
411.23/412.38 c #Conflicts: 426000 | #Constraints: 146873
411.23/412.38 c #Conflicts: 427000 | #Constraints: 147873
411.23/412.38 c #Conflicts: 428000 | #Constraints: 148873
411.23/412.38 c #Conflicts: 429000 | #Constraints: 149873
411.23/412.38 c #Conflicts: 430000 | #Constraints: 150873
411.23/412.38 c #Conflicts: 431000 | #Constraints: 151873
411.23/412.38 c #Conflicts: 432000 | #Constraints: 152873
411.23/412.38 c #Conflicts: 433000 | #Constraints: 153873
411.23/412.38 c #Conflicts: 434000 | #Constraints: 154873
411.23/412.38 c #Conflicts: 435000 | #Constraints: 155873
411.23/412.38 c #Conflicts: 436000 | #Constraints: 156873
411.23/412.38 c #Conflicts: 437000 | #Constraints: 157873
524.85/526.23 c #Conflicts: 438000 | #Constraints: 158873
524.85/526.23 c #Conflicts: 439000 | #Constraints: 159873
524.85/526.23 c #Conflicts: 440000 | #Constraints: 160873
524.85/526.23 c INPROCESSING
524.85/526.23 c GARBAGE COLLECT
524.85/526.23 c #Conflicts: 441000 | #Constraints: 144734
524.85/526.23 c #Conflicts: 442000 | #Constraints: 145734
524.85/526.23 c #Conflicts: 443000 | #Constraints: 146734
524.85/526.23 c #Conflicts: 444000 | #Constraints: 147734
524.85/526.23 c #Conflicts: 445000 | #Constraints: 148734
524.85/526.23 c #Conflicts: 446000 | #Constraints: 149734
524.85/526.23 c #Conflicts: 447000 | #Constraints: 150734
524.85/526.23 c #Conflicts: 448000 | #Constraints: 151734
524.85/526.23 c #Conflicts: 449000 | #Constraints: 152734
524.85/526.23 c #Conflicts: 450000 | #Constraints: 153734
524.85/526.23 c #Conflicts: 451000 | #Constraints: 154734
524.85/526.23 c #Conflicts: 452000 | #Constraints: 155734
524.85/526.23 c #Conflicts: 453000 | #Constraints: 156734
524.85/526.23 c #Conflicts: 454000 | #Constraints: 157734
524.85/526.23 c #Conflicts: 455000 | #Constraints: 158734
524.85/526.23 c #Conflicts: 456000 | #Constraints: 159734
524.85/526.23 c INPROCESSING
524.85/526.23 c GARBAGE COLLECT
524.85/526.23 c #Conflicts: 457000 | #Constraints: 144331
524.85/526.23 c #Conflicts: 458000 | #Constraints: 145331
524.85/526.23 c #Conflicts: 459000 | #Constraints: 146331
524.85/526.23 c #Conflicts: 460000 | #Constraints: 147331
524.85/526.23 c #Conflicts: 461000 | #Constraints: 148331
524.85/526.23 c #Conflicts: 462000 | #Constraints: 149331
524.85/526.23 c #Conflicts: 463000 | #Constraints: 150331
524.85/526.23 c #Conflicts: 464000 | #Constraints: 151331
524.85/526.23 c #Conflicts: 465000 | #Constraints: 152331
524.85/526.23 c #Conflicts: 466000 | #Constraints: 153331
524.85/526.23 c #Conflicts: 467000 | #Constraints: 154331
524.85/526.23 c #Conflicts: 468000 | #Constraints: 155331
524.85/526.23 c #Conflicts: 469000 | #Constraints: 156331
524.85/526.23 c #Conflicts: 470000 | #Constraints: 157331
524.85/526.23 c #Conflicts: 471000 | #Constraints: 158331
524.85/526.23 c #Conflicts: 472000 | #Constraints: 159331
524.85/526.23 c #Conflicts: 473000 | #Constraints: 160331
524.85/526.23 c #Conflicts: 474000 | #Constraints: 161331
524.85/526.23 c #Conflicts: 475000 | #Constraints: 162331
524.85/526.23 c #Conflicts: 476000 | #Constraints: 163331
524.85/526.23 c #Conflicts: 477000 | #Constraints: 164331
524.85/526.23 c #Conflicts: 478000 | #Constraints: 165331
524.85/526.23 c #Conflicts: 479000 | #Constraints: 166331
524.85/526.23 c #Conflicts: 480000 | #Constraints: 167331
524.85/526.23 c #Conflicts: 481000 | #Constraints: 168331
524.85/526.23 c #Conflicts: 482000 | #Constraints: 169331
524.85/526.23 c #Conflicts: 483000 | #Constraints: 170331
524.85/526.23 c #Conflicts: 484000 | #Constraints: 171331
524.85/526.23 c #Conflicts: 485000 | #Constraints: 172331
524.85/526.23 c #Conflicts: 486000 | #Constraints: 173331
524.85/526.23 c #Conflicts: 487000 | #Constraints: 174331
524.85/526.23 c #Conflicts: 488000 | #Constraints: 175331
524.85/526.23 c #Conflicts: 489000 | #Constraints: 176331
524.85/526.23 c #Conflicts: 490000 | #Constraints: 177331
524.85/526.23 c #Conflicts: 491000 | #Constraints: 178331
524.85/526.23 c #Conflicts: 492000 | #Constraints: 179331
524.85/526.23 c #Conflicts: 493000 | #Constraints: 180331
524.85/526.23 c #Conflicts: 494000 | #Constraints: 181331
524.85/526.23 c #Conflicts: 495000 | #Constraints: 182331
524.85/526.23 c #Conflicts: 496000 | #Constraints: 183331
524.85/526.23 c #Conflicts: 497000 | #Constraints: 184331
524.85/526.23 c #Conflicts: 498000 | #Constraints: 185331
524.85/526.23 c #Conflicts: 499000 | #Constraints: 186331
524.85/526.23 c #Conflicts: 500000 | #Constraints: 187331
524.85/526.23 c #Conflicts: 501000 | #Constraints: 188331
524.85/526.23 c #Conflicts: 502000 | #Constraints: 189331
524.85/526.23 c #Conflicts: 503000 | #Constraints: 190331
524.85/526.23 c #Conflicts: 504000 | #Constraints: 191331
524.85/526.23 c #Conflicts: 505000 | #Constraints: 192331
524.85/526.23 c #Conflicts: 506000 | #Constraints: 193331
524.85/526.23 c #Conflicts: 507000 | #Constraints: 194331
524.85/526.23 c INPROCESSING
524.85/526.23 c GARBAGE COLLECT
524.85/526.23 c #Conflicts: 508000 | #Constraints: 161627
524.85/526.23 c #Conflicts: 509000 | #Constraints: 162627
524.85/526.23 c #Conflicts: 510000 | #Constraints: 163627
524.85/526.23 c #Conflicts: 511000 | #Constraints: 164627
524.85/526.23 c #Conflicts: 512000 | #Constraints: 165627
524.85/526.23 c #Conflicts: 513000 | #Constraints: 166627
524.85/526.23 c #Conflicts: 514000 | #Constraints: 167627
621.52/623.15 c #Conflicts: 515000 | #Constraints: 168627
621.52/623.15 c #Conflicts: 516000 | #Constraints: 169627
621.52/623.15 c #Conflicts: 517000 | #Constraints: 170627
621.52/623.15 c #Conflicts: 518000 | #Constraints: 171627
621.52/623.15 c #Conflicts: 519000 | #Constraints: 172627
621.52/623.15 c #Conflicts: 520000 | #Constraints: 173627
621.52/623.15 c #Conflicts: 521000 | #Constraints: 174627
621.52/623.15 c #Conflicts: 522000 | #Constraints: 175627
621.52/623.15 c #Conflicts: 523000 | #Constraints: 176627
621.52/623.15 c #Conflicts: 524000 | #Constraints: 177627
621.52/623.15 c INPROCESSING
621.52/623.15 c GARBAGE COLLECT
621.52/623.15 c #Conflicts: 525000 | #Constraints: 153274
621.52/623.15 c #Conflicts: 526000 | #Constraints: 154274
621.52/623.15 c #Conflicts: 527000 | #Constraints: 155274
621.52/623.15 c #Conflicts: 528000 | #Constraints: 156274
621.52/623.15 c #Conflicts: 529000 | #Constraints: 157274
621.52/623.15 c #Conflicts: 530000 | #Constraints: 158274
621.52/623.15 c #Conflicts: 531000 | #Constraints: 159274
621.52/623.15 c #Conflicts: 532000 | #Constraints: 160274
621.52/623.15 c #Conflicts: 533000 | #Constraints: 161274
621.52/623.15 c #Conflicts: 534000 | #Constraints: 162274
621.52/623.15 c #Conflicts: 535000 | #Constraints: 163274
621.52/623.15 c #Conflicts: 536000 | #Constraints: 164274
621.52/623.15 c #Conflicts: 537000 | #Constraints: 165274
621.52/623.15 c #Conflicts: 538000 | #Constraints: 166274
621.52/623.15 c #Conflicts: 539000 | #Constraints: 167274
621.52/623.15 c #Conflicts: 540000 | #Constraints: 168274
621.52/623.15 c #Conflicts: 541000 | #Constraints: 169274
621.52/623.15 c INPROCESSING
621.52/623.15 c GARBAGE COLLECT
621.52/623.15 c #Conflicts: 542000 | #Constraints: 148985
621.52/623.15 c #Conflicts: 543000 | #Constraints: 149985
621.52/623.15 c #Conflicts: 544000 | #Constraints: 150985
621.52/623.15 c #Conflicts: 545000 | #Constraints: 151985
621.52/623.15 c #Conflicts: 546000 | #Constraints: 152985
621.52/623.15 c #Conflicts: 547000 | #Constraints: 153985
621.52/623.15 c #Conflicts: 548000 | #Constraints: 154985
621.52/623.15 c #Conflicts: 549000 | #Constraints: 155985
621.52/623.15 c #Conflicts: 550000 | #Constraints: 156985
621.52/623.15 c #Conflicts: 551000 | #Constraints: 157985
621.52/623.15 c #Conflicts: 552000 | #Constraints: 158985
621.52/623.15 c #Conflicts: 553000 | #Constraints: 159985
621.52/623.15 c #Conflicts: 554000 | #Constraints: 160985
621.52/623.15 c #Conflicts: 555000 | #Constraints: 161985
621.52/623.15 c #Conflicts: 556000 | #Constraints: 162985
621.52/623.15 c #Conflicts: 557000 | #Constraints: 163985
621.52/623.15 c #Conflicts: 558000 | #Constraints: 164985
621.52/623.15 c INPROCESSING
621.52/623.15 c GARBAGE COLLECT
621.52/623.15 c #Conflicts: 559000 | #Constraints: 146641
621.52/623.15 c #Conflicts: 560000 | #Constraints: 147641
621.52/623.15 c #Conflicts: 561000 | #Constraints: 148641
621.52/623.15 c #Conflicts: 562000 | #Constraints: 149641
621.52/623.15 c #Conflicts: 563000 | #Constraints: 150641
621.52/623.15 c #Conflicts: 564000 | #Constraints: 151641
621.52/623.15 c #Conflicts: 565000 | #Constraints: 152641
621.52/623.15 c #Conflicts: 566000 | #Constraints: 153641
621.52/623.15 c #Conflicts: 567000 | #Constraints: 154641
621.52/623.15 c #Conflicts: 568000 | #Constraints: 155641
621.52/623.15 c #Conflicts: 569000 | #Constraints: 156641
621.52/623.15 c #Conflicts: 570000 | #Constraints: 157641
621.52/623.15 c #Conflicts: 571000 | #Constraints: 158641
621.52/623.15 c #Conflicts: 572000 | #Constraints: 159641
621.52/623.15 c #Conflicts: 573000 | #Constraints: 160641
621.52/623.15 c #Conflicts: 574000 | #Constraints: 161641
621.52/623.15 c #Conflicts: 575000 | #Constraints: 162641
621.52/623.15 c #Conflicts: 576000 | #Constraints: 163641
621.52/623.15 c INPROCESSING
621.52/623.15 c GARBAGE COLLECT
621.52/623.15 c #Conflicts: 577000 | #Constraints: 146151
621.52/623.15 c #Conflicts: 578000 | #Constraints: 147151
621.52/623.15 c #Conflicts: 579000 | #Constraints: 148151
621.52/623.15 c #Conflicts: 580000 | #Constraints: 149151
621.52/623.15 c #Conflicts: 581000 | #Constraints: 150151
621.52/623.15 c #Conflicts: 582000 | #Constraints: 151151
621.52/623.15 c #Conflicts: 583000 | #Constraints: 152151
621.52/623.15 c #Conflicts: 584000 | #Constraints: 153151
621.52/623.15 c #Conflicts: 585000 | #Constraints: 154151
621.52/623.15 c #Conflicts: 586000 | #Constraints: 155151
621.52/623.15 c #Conflicts: 587000 | #Constraints: 156151
621.52/623.15 c #Conflicts: 588000 | #Constraints: 157151
621.52/623.15 c #Conflicts: 589000 | #Constraints: 158151
621.52/623.15 c #Conflicts: 590000 | #Constraints: 159151
779.82/781.83 c #Conflicts: 591000 | #Constraints: 160151
779.82/781.83 c #Conflicts: 592000 | #Constraints: 161151
779.82/781.83 c #Conflicts: 593000 | #Constraints: 162151
779.82/781.83 c #Conflicts: 594000 | #Constraints: 163151
779.82/781.83 c #Conflicts: 595000 | #Constraints: 164151
779.82/781.83 c #Conflicts: 596000 | #Constraints: 165151
779.82/781.83 c #Conflicts: 597000 | #Constraints: 166151
779.82/781.83 c #Conflicts: 598000 | #Constraints: 167151
779.82/781.83 c #Conflicts: 599000 | #Constraints: 168151
779.82/781.83 c #Conflicts: 600000 | #Constraints: 169151
779.82/781.83 c #Conflicts: 601000 | #Constraints: 170151
779.82/781.83 c #Conflicts: 602000 | #Constraints: 171151
779.82/781.83 c #Conflicts: 603000 | #Constraints: 172151
779.82/781.83 c #Conflicts: 604000 | #Constraints: 173151
779.82/781.83 c #Conflicts: 605000 | #Constraints: 174151
779.82/781.83 c #Conflicts: 606000 | #Constraints: 175151
779.82/781.83 c #Conflicts: 607000 | #Constraints: 176151
779.82/781.83 c #Conflicts: 608000 | #Constraints: 177151
779.82/781.83 c #Conflicts: 609000 | #Constraints: 178151
779.82/781.83 c #Conflicts: 610000 | #Constraints: 179151
779.82/781.83 c #Conflicts: 611000 | #Constraints: 180151
779.82/781.83 c #Conflicts: 612000 | #Constraints: 181151
779.82/781.83 c #Conflicts: 613000 | #Constraints: 182151
779.82/781.83 c #Conflicts: 614000 | #Constraints: 183151
779.82/781.83 c #Conflicts: 615000 | #Constraints: 184151
779.82/781.83 c #Conflicts: 616000 | #Constraints: 185151
779.82/781.83 c #Conflicts: 617000 | #Constraints: 186151
779.82/781.83 c #Conflicts: 618000 | #Constraints: 187151
779.82/781.83 c #Conflicts: 619000 | #Constraints: 188151
779.82/781.83 c #Conflicts: 620000 | #Constraints: 189151
779.82/781.83 c #Conflicts: 621000 | #Constraints: 190151
779.82/781.83 c #Conflicts: 622000 | #Constraints: 191151
779.82/781.83 c #Conflicts: 623000 | #Constraints: 192151
779.82/781.83 c #Conflicts: 624000 | #Constraints: 193151
779.82/781.83 c #Conflicts: 625000 | #Constraints: 194151
779.82/781.83 c #Conflicts: 626000 | #Constraints: 195151
779.82/781.83 c #Conflicts: 627000 | #Constraints: 196151
779.82/781.83 c #Conflicts: 628000 | #Constraints: 197151
779.82/781.83 c #Conflicts: 629000 | #Constraints: 198151
779.82/781.83 c #Conflicts: 630000 | #Constraints: 199151
779.82/781.83 c #Conflicts: 631000 | #Constraints: 200151
779.82/781.83 c #Conflicts: 632000 | #Constraints: 201151
779.82/781.83 c #Conflicts: 633000 | #Constraints: 202151
779.82/781.83 c INPROCESSING
779.82/781.83 c GARBAGE COLLECT
779.82/781.83 c #Conflicts: 634000 | #Constraints: 165213
779.82/781.83 c #Conflicts: 635000 | #Constraints: 166213
779.82/781.83 c #Conflicts: 636000 | #Constraints: 167213
779.82/781.83 c #Conflicts: 637000 | #Constraints: 168213
779.82/781.83 c #Conflicts: 638000 | #Constraints: 169213
779.82/781.83 c #Conflicts: 639000 | #Constraints: 170213
779.82/781.83 c #Conflicts: 640000 | #Constraints: 171213
779.82/781.83 c #Conflicts: 641000 | #Constraints: 172213
779.82/781.83 c #Conflicts: 642000 | #Constraints: 173213
779.82/781.83 c #Conflicts: 643000 | #Constraints: 174213
779.82/781.83 c #Conflicts: 644000 | #Constraints: 175213
779.82/781.83 c #Conflicts: 645000 | #Constraints: 176213
779.82/781.83 c #Conflicts: 646000 | #Constraints: 177213
779.82/781.83 c #Conflicts: 647000 | #Constraints: 178213
779.82/781.83 c #Conflicts: 648000 | #Constraints: 179213
779.82/781.83 c #Conflicts: 649000 | #Constraints: 180213
779.82/781.83 c #Conflicts: 650000 | #Constraints: 181213
779.82/781.83 c #Conflicts: 651000 | #Constraints: 182213
779.82/781.83 c #Conflicts: 652000 | #Constraints: 183213
779.82/781.83 c INPROCESSING
779.82/781.83 c GARBAGE COLLECT
779.82/781.83 c #Conflicts: 653000 | #Constraints: 155813
779.82/781.83 c #Conflicts: 654000 | #Constraints: 156813
779.82/781.83 c #Conflicts: 655000 | #Constraints: 157813
779.82/781.83 c #Conflicts: 656000 | #Constraints: 158813
779.82/781.83 c #Conflicts: 657000 | #Constraints: 159813
779.82/781.83 c #Conflicts: 658000 | #Constraints: 160813
779.82/781.83 c #Conflicts: 659000 | #Constraints: 161813
779.82/781.83 c #Conflicts: 660000 | #Constraints: 162813
779.82/781.83 c #Conflicts: 661000 | #Constraints: 163813
779.82/781.83 c #Conflicts: 662000 | #Constraints: 164813
779.82/781.83 c #Conflicts: 663000 | #Constraints: 165813
779.82/781.83 c #Conflicts: 664000 | #Constraints: 166813
779.82/781.83 c #Conflicts: 665000 | #Constraints: 167813
779.82/781.83 c #Conflicts: 666000 | #Constraints: 168813
779.82/781.83 c #Conflicts: 667000 | #Constraints: 169813
779.82/781.83 c #Conflicts: 668000 | #Constraints: 170813
869.01/871.25 c #Conflicts: 669000 | #Constraints: 171813
869.01/871.25 c #Conflicts: 670000 | #Constraints: 172813
869.01/871.25 c #Conflicts: 671000 | #Constraints: 173813
869.01/871.25 c INPROCESSING
869.01/871.25 c GARBAGE COLLECT
869.01/871.25 c #Conflicts: 672000 | #Constraints: 151068
869.01/871.25 c #Conflicts: 673000 | #Constraints: 152068
869.01/871.25 c #Conflicts: 674000 | #Constraints: 153068
869.01/871.25 c #Conflicts: 675000 | #Constraints: 154068
869.01/871.25 c #Conflicts: 676000 | #Constraints: 155068
869.01/871.25 c #Conflicts: 677000 | #Constraints: 156068
869.01/871.25 c #Conflicts: 678000 | #Constraints: 157068
869.01/871.25 c #Conflicts: 679000 | #Constraints: 158068
869.01/871.25 c #Conflicts: 680000 | #Constraints: 159068
869.01/871.25 c #Conflicts: 681000 | #Constraints: 160068
869.01/871.25 c #Conflicts: 682000 | #Constraints: 161068
869.01/871.25 c #Conflicts: 683000 | #Constraints: 162068
869.01/871.25 c #Conflicts: 684000 | #Constraints: 163068
869.01/871.25 c #Conflicts: 685000 | #Constraints: 164068
869.01/871.25 c #Conflicts: 686000 | #Constraints: 165068
869.01/871.25 c #Conflicts: 687000 | #Constraints: 166068
869.01/871.25 c #Conflicts: 688000 | #Constraints: 167068
869.01/871.25 c #Conflicts: 689000 | #Constraints: 168068
869.01/871.25 c #Conflicts: 690000 | #Constraints: 169068
869.01/871.25 c INPROCESSING
869.01/871.25 c GARBAGE COLLECT
869.01/871.25 c #Conflicts: 691000 | #Constraints: 148525
869.01/871.25 c #Conflicts: 692000 | #Constraints: 149525
869.01/871.25 c #Conflicts: 693000 | #Constraints: 150525
869.01/871.25 c #Conflicts: 694000 | #Constraints: 151525
869.01/871.25 c #Conflicts: 695000 | #Constraints: 152525
869.01/871.25 c #Conflicts: 696000 | #Constraints: 153525
869.01/871.25 c #Conflicts: 697000 | #Constraints: 154525
869.01/871.25 c #Conflicts: 698000 | #Constraints: 155525
869.01/871.25 c #Conflicts: 699000 | #Constraints: 156525
869.01/871.25 c #Conflicts: 700000 | #Constraints: 157525
869.01/871.25 c #Conflicts: 701000 | #Constraints: 158525
869.01/871.25 c #Conflicts: 702000 | #Constraints: 159525
869.01/871.25 c #Conflicts: 703000 | #Constraints: 160525
869.01/871.25 c #Conflicts: 704000 | #Constraints: 161525
869.01/871.25 c #Conflicts: 705000 | #Constraints: 162525
869.01/871.25 c #Conflicts: 706000 | #Constraints: 163525
869.01/871.25 c #Conflicts: 707000 | #Constraints: 164525
869.01/871.25 c #Conflicts: 708000 | #Constraints: 165525
869.01/871.25 c #Conflicts: 709000 | #Constraints: 166525
869.01/871.25 c #Conflicts: 710000 | #Constraints: 167525
869.01/871.25 c INPROCESSING
869.01/871.25 c GARBAGE COLLECT
869.01/871.25 c #Conflicts: 711000 | #Constraints: 147992
869.01/871.25 c #Conflicts: 712000 | #Constraints: 148992
869.01/871.25 c #Conflicts: 713000 | #Constraints: 149992
869.01/871.25 c #Conflicts: 714000 | #Constraints: 150992
869.01/871.25 c #Conflicts: 715000 | #Constraints: 151992
869.01/871.25 c #Conflicts: 716000 | #Constraints: 152992
869.01/871.25 c #Conflicts: 717000 | #Constraints: 153992
869.01/871.25 c #Conflicts: 718000 | #Constraints: 154992
869.01/871.25 c #Conflicts: 719000 | #Constraints: 155992
869.01/871.25 c #Conflicts: 720000 | #Constraints: 156992
869.01/871.25 c #Conflicts: 721000 | #Constraints: 157992
869.01/871.25 c #Conflicts: 722000 | #Constraints: 158992
869.01/871.25 c #Conflicts: 723000 | #Constraints: 159992
869.01/871.25 c #Conflicts: 724000 | #Constraints: 160992
869.01/871.25 c #Conflicts: 725000 | #Constraints: 161992
869.01/871.25 c #Conflicts: 726000 | #Constraints: 162992
869.01/871.25 c #Conflicts: 727000 | #Constraints: 163992
869.01/871.25 c #Conflicts: 728000 | #Constraints: 164992
869.01/871.25 c #Conflicts: 729000 | #Constraints: 165992
869.01/871.25 c #Conflicts: 730000 | #Constraints: 166992
869.01/871.25 c INPROCESSING
869.01/871.25 c GARBAGE COLLECT
869.01/871.25 c #Conflicts: 731000 | #Constraints: 147899
869.01/871.25 c #Conflicts: 732000 | #Constraints: 148899
869.01/871.25 c #Conflicts: 733000 | #Constraints: 149899
869.01/871.25 c #Conflicts: 734000 | #Constraints: 150899
869.01/871.25 c #Conflicts: 735000 | #Constraints: 151899
869.01/871.25 c #Conflicts: 736000 | #Constraints: 152899
869.01/871.25 c #Conflicts: 737000 | #Constraints: 153899
869.01/871.25 c #Conflicts: 738000 | #Constraints: 154899
869.01/871.25 c #Conflicts: 739000 | #Constraints: 155899
869.01/871.25 c #Conflicts: 740000 | #Constraints: 156899
869.01/871.25 c #Conflicts: 741000 | #Constraints: 157899
869.01/871.25 c #Conflicts: 742000 | #Constraints: 158899
869.01/871.25 c #Conflicts: 743000 | #Constraints: 159899
869.01/871.25 c #Conflicts: 744000 | #Constraints: 160899
1052.59/1055.37 c #Conflicts: 745000 | #Constraints: 161899
1052.59/1055.37 c #Conflicts: 746000 | #Constraints: 162899
1052.59/1055.37 c #Conflicts: 747000 | #Constraints: 163899
1052.59/1055.37 c #Conflicts: 748000 | #Constraints: 164899
1052.59/1055.37 c #Conflicts: 749000 | #Constraints: 165899
1052.59/1055.37 c #Conflicts: 750000 | #Constraints: 166899
1052.59/1055.37 c #Conflicts: 751000 | #Constraints: 167899
1052.59/1055.37 c #Conflicts: 752000 | #Constraints: 168899
1052.59/1055.37 c #Conflicts: 753000 | #Constraints: 169899
1052.59/1055.37 c #Conflicts: 754000 | #Constraints: 170899
1052.59/1055.37 c #Conflicts: 755000 | #Constraints: 171899
1052.59/1055.37 c #Conflicts: 756000 | #Constraints: 172899
1052.59/1055.37 c #Conflicts: 757000 | #Constraints: 173899
1052.59/1055.37 c #Conflicts: 758000 | #Constraints: 174899
1052.59/1055.37 c #Conflicts: 759000 | #Constraints: 175899
1052.59/1055.37 c #Conflicts: 760000 | #Constraints: 176899
1052.59/1055.37 c #Conflicts: 761000 | #Constraints: 177899
1052.59/1055.37 c #Conflicts: 762000 | #Constraints: 178899
1052.59/1055.37 c #Conflicts: 763000 | #Constraints: 179899
1052.59/1055.37 c #Conflicts: 764000 | #Constraints: 180899
1052.59/1055.37 c #Conflicts: 765000 | #Constraints: 181899
1052.59/1055.37 c #Conflicts: 766000 | #Constraints: 182899
1052.59/1055.37 c #Conflicts: 767000 | #Constraints: 183899
1052.59/1055.37 c #Conflicts: 768000 | #Constraints: 184899
1052.59/1055.37 c #Conflicts: 769000 | #Constraints: 185899
1052.59/1055.37 c #Conflicts: 770000 | #Constraints: 186899
1052.59/1055.37 c #Conflicts: 771000 | #Constraints: 187899
1052.59/1055.37 c #Conflicts: 772000 | #Constraints: 188899
1052.59/1055.37 c #Conflicts: 773000 | #Constraints: 189899
1052.59/1055.37 c #Conflicts: 774000 | #Constraints: 190899
1052.59/1055.37 c #Conflicts: 775000 | #Constraints: 191899
1052.59/1055.37 c #Conflicts: 776000 | #Constraints: 192899
1052.59/1055.37 c #Conflicts: 777000 | #Constraints: 193899
1052.59/1055.37 c #Conflicts: 778000 | #Constraints: 194899
1052.59/1055.37 c #Conflicts: 779000 | #Constraints: 195899
1052.59/1055.37 c #Conflicts: 780000 | #Constraints: 196899
1052.59/1055.37 c #Conflicts: 781000 | #Constraints: 197899
1052.59/1055.37 c #Conflicts: 782000 | #Constraints: 198899
1052.59/1055.37 c #Conflicts: 783000 | #Constraints: 199899
1052.59/1055.37 c #Conflicts: 784000 | #Constraints: 200899
1052.59/1055.37 c #Conflicts: 785000 | #Constraints: 201899
1052.59/1055.37 c #Conflicts: 786000 | #Constraints: 202899
1052.59/1055.37 c #Conflicts: 787000 | #Constraints: 203899
1052.59/1055.37 c #Conflicts: 788000 | #Constraints: 204899
1052.59/1055.37 c #Conflicts: 789000 | #Constraints: 205899
1052.59/1055.37 c #Conflicts: 790000 | #Constraints: 206899
1052.59/1055.37 c #Conflicts: 791000 | #Constraints: 207899
1052.59/1055.37 c #Conflicts: 792000 | #Constraints: 208899
1052.59/1055.37 c #Conflicts: 793000 | #Constraints: 209899
1052.59/1055.37 c #Conflicts: 794000 | #Constraints: 210899
1052.59/1055.37 c #Conflicts: 795000 | #Constraints: 211899
1052.59/1055.37 c INPROCESSING
1052.59/1055.37 c GARBAGE COLLECT
1052.59/1055.37 c #Conflicts: 796000 | #Constraints: 170408
1052.59/1055.37 c #Conflicts: 797000 | #Constraints: 171408
1052.59/1055.37 c #Conflicts: 798000 | #Constraints: 172408
1052.59/1055.37 c #Conflicts: 799000 | #Constraints: 173408
1052.59/1055.37 c #Conflicts: 800000 | #Constraints: 174408
1052.59/1055.37 c #Conflicts: 801000 | #Constraints: 175408
1052.59/1055.37 c #Conflicts: 802000 | #Constraints: 176408
1052.59/1055.37 c #Conflicts: 803000 | #Constraints: 177408
1052.59/1055.37 c #Conflicts: 804000 | #Constraints: 178408
1052.59/1055.37 c #Conflicts: 805000 | #Constraints: 179408
1052.59/1055.37 c #Conflicts: 806000 | #Constraints: 180408
1052.59/1055.37 c #Conflicts: 807000 | #Constraints: 181408
1052.59/1055.37 c #Conflicts: 808000 | #Constraints: 182408
1052.59/1055.37 c #Conflicts: 809000 | #Constraints: 183408
1052.59/1055.37 c #Conflicts: 810000 | #Constraints: 184408
1052.59/1055.37 c #Conflicts: 811000 | #Constraints: 185408
1052.59/1055.37 c #Conflicts: 812000 | #Constraints: 186408
1052.59/1055.37 c #Conflicts: 813000 | #Constraints: 187408
1052.59/1055.37 c #Conflicts: 814000 | #Constraints: 188408
1052.59/1055.37 c #Conflicts: 815000 | #Constraints: 189408
1052.59/1055.37 c #Conflicts: 816000 | #Constraints: 190408
1052.59/1055.37 c INPROCESSING
1052.59/1055.37 c GARBAGE COLLECT
1052.59/1055.37 c #Conflicts: 817000 | #Constraints: 159682
1052.59/1055.37 c #Conflicts: 818000 | #Constraints: 160682
1052.59/1055.37 c #Conflicts: 819000 | #Constraints: 161682
1052.59/1055.37 c #Conflicts: 820000 | #Constraints: 162682
1052.59/1055.37 c #Conflicts: 821000 | #Constraints: 163682
1052.59/1055.37 c #Conflicts: 822000 | #Constraints: 164682
1161.79/1164.83 c #Conflicts: 823000 | #Constraints: 165682
1161.79/1164.83 c #Conflicts: 824000 | #Constraints: 166682
1161.79/1164.83 c #Conflicts: 825000 | #Constraints: 167682
1161.79/1164.83 c #Conflicts: 826000 | #Constraints: 168682
1161.79/1164.83 c #Conflicts: 827000 | #Constraints: 169682
1161.79/1164.83 c #Conflicts: 828000 | #Constraints: 170682
1161.79/1164.83 c #Conflicts: 829000 | #Constraints: 171682
1161.79/1164.83 c #Conflicts: 830000 | #Constraints: 172682
1161.79/1164.83 c #Conflicts: 831000 | #Constraints: 173682
1161.79/1164.83 c #Conflicts: 832000 | #Constraints: 174682
1161.79/1164.83 c #Conflicts: 833000 | #Constraints: 175682
1161.79/1164.83 c #Conflicts: 834000 | #Constraints: 176682
1161.79/1164.83 c #Conflicts: 835000 | #Constraints: 177682
1161.79/1164.83 c #Conflicts: 836000 | #Constraints: 178682
1161.79/1164.83 c #Conflicts: 837000 | #Constraints: 179682
1161.79/1164.83 c INPROCESSING
1161.79/1164.83 c GARBAGE COLLECT
1161.79/1164.83 c #Conflicts: 838000 | #Constraints: 154193
1161.79/1164.83 c #Conflicts: 839000 | #Constraints: 155193
1161.79/1164.83 c #Conflicts: 840000 | #Constraints: 156193
1161.79/1164.83 c #Conflicts: 841000 | #Constraints: 157193
1161.79/1164.83 c #Conflicts: 842000 | #Constraints: 158193
1161.79/1164.83 c #Conflicts: 843000 | #Constraints: 159193
1161.79/1164.83 c #Conflicts: 844000 | #Constraints: 160193
1161.79/1164.83 c #Conflicts: 845000 | #Constraints: 161193
1161.79/1164.83 c #Conflicts: 846000 | #Constraints: 162193
1161.79/1164.83 c #Conflicts: 847000 | #Constraints: 163193
1161.79/1164.83 c #Conflicts: 848000 | #Constraints: 164193
1161.79/1164.83 c #Conflicts: 849000 | #Constraints: 165193
1161.79/1164.83 c #Conflicts: 850000 | #Constraints: 166193
1161.79/1164.83 c #Conflicts: 851000 | #Constraints: 167193
1161.79/1164.83 c #Conflicts: 852000 | #Constraints: 168193
1161.79/1164.83 c #Conflicts: 853000 | #Constraints: 169193
1161.79/1164.83 c #Conflicts: 854000 | #Constraints: 170193
1161.79/1164.83 c #Conflicts: 855000 | #Constraints: 171193
1161.79/1164.83 c #Conflicts: 856000 | #Constraints: 172193
1161.79/1164.83 c #Conflicts: 857000 | #Constraints: 173193
1161.79/1164.83 c #Conflicts: 858000 | #Constraints: 174193
1161.79/1164.83 c INPROCESSING
1161.79/1164.83 c GARBAGE COLLECT
1161.79/1164.83 c #Conflicts: 859000 | #Constraints: 151270
1161.79/1164.83 c #Conflicts: 860000 | #Constraints: 152270
1161.79/1164.83 c #Conflicts: 861000 | #Constraints: 153270
1161.79/1164.83 c #Conflicts: 862000 | #Constraints: 154270
1161.79/1164.83 c #Conflicts: 863000 | #Constraints: 155270
1161.79/1164.83 c #Conflicts: 864000 | #Constraints: 156270
1161.79/1164.83 c #Conflicts: 865000 | #Constraints: 157270
1161.79/1164.83 c #Conflicts: 866000 | #Constraints: 158270
1161.79/1164.83 c #Conflicts: 867000 | #Constraints: 159270
1161.79/1164.83 c #Conflicts: 868000 | #Constraints: 160270
1161.79/1164.83 c #Conflicts: 869000 | #Constraints: 161270
1161.79/1164.83 c #Conflicts: 870000 | #Constraints: 162270
1161.79/1164.83 c #Conflicts: 871000 | #Constraints: 163270
1161.79/1164.83 c #Conflicts: 872000 | #Constraints: 164270
1161.79/1164.83 c #Conflicts: 873000 | #Constraints: 165270
1161.79/1164.83 c #Conflicts: 874000 | #Constraints: 166270
1161.79/1164.83 c #Conflicts: 875000 | #Constraints: 167270
1161.79/1164.83 c #Conflicts: 876000 | #Constraints: 168270
1161.79/1164.83 c #Conflicts: 877000 | #Constraints: 169270
1161.79/1164.83 c #Conflicts: 878000 | #Constraints: 170270
1161.79/1164.83 c #Conflicts: 879000 | #Constraints: 171270
1161.79/1164.83 c #Conflicts: 880000 | #Constraints: 172270
1161.79/1164.84 c INPROCESSING
1161.79/1164.84 c GARBAGE COLLECT
1161.79/1164.84 c #Conflicts: 881000 | #Constraints: 150495
1161.79/1164.84 c #Conflicts: 882000 | #Constraints: 151495
1161.79/1164.84 c #Conflicts: 883000 | #Constraints: 152495
1161.79/1164.84 c #Conflicts: 884000 | #Constraints: 153495
1161.79/1164.84 c #Conflicts: 885000 | #Constraints: 154495
1161.79/1164.84 c #Conflicts: 886000 | #Constraints: 155495
1161.79/1164.84 c #Conflicts: 887000 | #Constraints: 156495
1161.79/1164.84 c #Conflicts: 888000 | #Constraints: 157495
1161.79/1164.84 c #Conflicts: 889000 | #Constraints: 158495
1161.79/1164.84 c #Conflicts: 890000 | #Constraints: 159495
1161.79/1164.84 c #Conflicts: 891000 | #Constraints: 160495
1161.79/1164.84 c #Conflicts: 892000 | #Constraints: 161495
1161.79/1164.84 c #Conflicts: 893000 | #Constraints: 162495
1161.79/1164.84 c #Conflicts: 894000 | #Constraints: 163495
1161.79/1164.84 c #Conflicts: 895000 | #Constraints: 164495
1161.79/1164.84 c #Conflicts: 896000 | #Constraints: 165495
1161.79/1164.84 c #Conflicts: 897000 | #Constraints: 166495
1161.79/1164.84 c #Conflicts: 898000 | #Constraints: 167495
1161.79/1164.84 c #Conflicts: 899000 | #Constraints: 168495
1345.85/1349.43 c #Conflicts: 900000 | #Constraints: 169495
1345.85/1349.43 c #Conflicts: 901000 | #Constraints: 170495
1345.85/1349.43 c #Conflicts: 902000 | #Constraints: 171495
1345.85/1349.43 c INPROCESSING
1345.85/1349.43 c GARBAGE COLLECT
1345.85/1349.43 c #Conflicts: 903000 | #Constraints: 150221
1345.85/1349.43 c #Conflicts: 904000 | #Constraints: 151221
1345.85/1349.43 c #Conflicts: 905000 | #Constraints: 152221
1345.85/1349.43 c #Conflicts: 906000 | #Constraints: 153221
1345.85/1349.43 c #Conflicts: 907000 | #Constraints: 154221
1345.85/1349.43 c #Conflicts: 908000 | #Constraints: 155221
1345.85/1349.43 c #Conflicts: 909000 | #Constraints: 156221
1345.85/1349.43 c #Conflicts: 910000 | #Constraints: 157221
1345.85/1349.43 c #Conflicts: 911000 | #Constraints: 158221
1345.85/1349.43 c #Conflicts: 912000 | #Constraints: 159221
1345.85/1349.43 c #Conflicts: 913000 | #Constraints: 160221
1345.85/1349.43 c #Conflicts: 914000 | #Constraints: 161221
1345.85/1349.43 c #Conflicts: 915000 | #Constraints: 162221
1345.85/1349.43 c #Conflicts: 916000 | #Constraints: 163221
1345.85/1349.43 c #Conflicts: 917000 | #Constraints: 164221
1345.85/1349.43 c #Conflicts: 918000 | #Constraints: 165221
1345.85/1349.43 c #Conflicts: 919000 | #Constraints: 166221
1345.85/1349.43 c #Conflicts: 920000 | #Constraints: 167221
1345.85/1349.43 c #Conflicts: 921000 | #Constraints: 168221
1345.85/1349.43 c #Conflicts: 922000 | #Constraints: 169221
1345.85/1349.43 c #Conflicts: 923000 | #Constraints: 170221
1345.85/1349.43 c #Conflicts: 924000 | #Constraints: 171221
1345.85/1349.43 c #Conflicts: 925000 | #Constraints: 172221
1345.85/1349.43 c #Conflicts: 926000 | #Constraints: 173221
1345.85/1349.43 c #Conflicts: 927000 | #Constraints: 174221
1345.85/1349.43 c #Conflicts: 928000 | #Constraints: 175221
1345.85/1349.43 c #Conflicts: 929000 | #Constraints: 176221
1345.85/1349.43 c #Conflicts: 930000 | #Constraints: 177221
1345.85/1349.43 c #Conflicts: 931000 | #Constraints: 178221
1345.85/1349.43 c #Conflicts: 932000 | #Constraints: 179221
1345.85/1349.43 c #Conflicts: 933000 | #Constraints: 180221
1345.85/1349.43 c #Conflicts: 934000 | #Constraints: 181221
1345.85/1349.43 c #Conflicts: 935000 | #Constraints: 182221
1345.85/1349.43 c #Conflicts: 936000 | #Constraints: 183221
1345.85/1349.43 c #Conflicts: 937000 | #Constraints: 184221
1345.85/1349.43 c #Conflicts: 938000 | #Constraints: 185221
1345.85/1349.43 c #Conflicts: 939000 | #Constraints: 186221
1345.85/1349.43 c #Conflicts: 940000 | #Constraints: 187221
1345.85/1349.43 c #Conflicts: 941000 | #Constraints: 188221
1345.85/1349.43 c #Conflicts: 942000 | #Constraints: 189221
1345.85/1349.43 c #Conflicts: 943000 | #Constraints: 190221
1345.85/1349.43 c #Conflicts: 944000 | #Constraints: 191221
1345.85/1349.43 c #Conflicts: 945000 | #Constraints: 192221
1345.85/1349.43 c #Conflicts: 946000 | #Constraints: 193221
1345.85/1349.43 c #Conflicts: 947000 | #Constraints: 194221
1345.85/1349.43 c #Conflicts: 948000 | #Constraints: 195221
1345.85/1349.43 c #Conflicts: 949000 | #Constraints: 196221
1345.85/1349.43 c #Conflicts: 950000 | #Constraints: 197221
1345.85/1349.43 c #Conflicts: 951000 | #Constraints: 198221
1345.85/1349.43 c #Conflicts: 952000 | #Constraints: 199221
1345.85/1349.43 c #Conflicts: 953000 | #Constraints: 200221
1345.85/1349.43 c #Conflicts: 954000 | #Constraints: 201221
1345.85/1349.43 c #Conflicts: 955000 | #Constraints: 202221
1345.85/1349.43 c #Conflicts: 956000 | #Constraints: 203221
1345.85/1349.43 c #Conflicts: 957000 | #Constraints: 204221
1345.85/1349.43 c #Conflicts: 958000 | #Constraints: 205221
1345.85/1349.43 c #Conflicts: 959000 | #Constraints: 206221
1345.85/1349.43 c #Conflicts: 960000 | #Constraints: 207221
1345.85/1349.43 c #Conflicts: 961000 | #Constraints: 208221
1345.85/1349.43 c #Conflicts: 962000 | #Constraints: 209221
1345.85/1349.43 c #Conflicts: 963000 | #Constraints: 210221
1345.85/1349.43 c #Conflicts: 964000 | #Constraints: 211221
1345.85/1349.43 c #Conflicts: 965000 | #Constraints: 212221
1345.85/1349.43 c #Conflicts: 966000 | #Constraints: 213221
1345.85/1349.43 c #Conflicts: 967000 | #Constraints: 214221
1345.85/1349.43 c #Conflicts: 968000 | #Constraints: 215221
1345.85/1349.43 c #Conflicts: 969000 | #Constraints: 216221
1345.85/1349.43 c #Conflicts: 970000 | #Constraints: 217221
1345.85/1349.43 c #Conflicts: 971000 | #Constraints: 218221
1345.85/1349.43 c #Conflicts: 972000 | #Constraints: 219221
1345.85/1349.43 c #Conflicts: 973000 | #Constraints: 220221
1345.85/1349.43 c #Conflicts: 974000 | #Constraints: 221221
1345.85/1349.43 c INPROCESSING
1345.85/1349.43 c GARBAGE COLLECT
1345.85/1349.43 c #Conflicts: 975000 | #Constraints: 174889
1345.85/1349.43 c #Conflicts: 976000 | #Constraints: 175889
1510.73/1514.78 c #Conflicts: 977000 | #Constraints: 176889
1510.73/1514.78 c #Conflicts: 978000 | #Constraints: 177889
1510.73/1514.78 c #Conflicts: 979000 | #Constraints: 178889
1510.73/1514.78 c #Conflicts: 980000 | #Constraints: 179889
1510.73/1514.78 c #Conflicts: 981000 | #Constraints: 180889
1510.73/1514.78 c #Conflicts: 982000 | #Constraints: 181889
1510.73/1514.78 c #Conflicts: 983000 | #Constraints: 182889
1510.73/1514.78 c #Conflicts: 984000 | #Constraints: 183889
1510.73/1514.78 c #Conflicts: 985000 | #Constraints: 184889
1510.73/1514.78 c #Conflicts: 986000 | #Constraints: 185889
1510.73/1514.78 c #Conflicts: 987000 | #Constraints: 186889
1510.73/1514.78 c #Conflicts: 988000 | #Constraints: 187889
1510.73/1514.78 c #Conflicts: 989000 | #Constraints: 188889
1510.73/1514.78 c #Conflicts: 990000 | #Constraints: 189889
1510.73/1514.78 c #Conflicts: 991000 | #Constraints: 190889
1510.73/1514.78 c #Conflicts: 992000 | #Constraints: 191889
1510.73/1514.78 c #Conflicts: 993000 | #Constraints: 192889
1510.73/1514.78 c #Conflicts: 994000 | #Constraints: 193889
1510.73/1514.78 c #Conflicts: 995000 | #Constraints: 194889
1510.73/1514.78 c #Conflicts: 996000 | #Constraints: 195889
1510.73/1514.78 c #Conflicts: 997000 | #Constraints: 196889
1510.73/1514.78 c INPROCESSING
1510.73/1514.78 c GARBAGE COLLECT
1510.73/1514.78 c #Conflicts: 998000 | #Constraints: 162651
1510.73/1514.78 c #Conflicts: 999000 | #Constraints: 163651
1510.73/1514.78 c #Conflicts: 1000000 | #Constraints: 164651
1510.73/1514.78 c #Conflicts: 1001000 | #Constraints: 165651
1510.73/1514.78 c #Conflicts: 1002000 | #Constraints: 166651
1510.73/1514.78 c #Conflicts: 1003000 | #Constraints: 167651
1510.73/1514.78 c #Conflicts: 1004000 | #Constraints: 168651
1510.73/1514.78 c #Conflicts: 1005000 | #Constraints: 169651
1510.73/1514.78 c #Conflicts: 1006000 | #Constraints: 170651
1510.73/1514.78 c #Conflicts: 1007000 | #Constraints: 171651
1510.73/1514.78 c #Conflicts: 1008000 | #Constraints: 172651
1510.73/1514.78 c #Conflicts: 1009000 | #Constraints: 173651
1510.73/1514.78 c #Conflicts: 1010000 | #Constraints: 174651
1510.73/1514.78 c #Conflicts: 1011000 | #Constraints: 175651
1510.73/1514.78 c #Conflicts: 1012000 | #Constraints: 176651
1510.73/1514.78 c #Conflicts: 1013000 | #Constraints: 177651
1510.73/1514.78 c #Conflicts: 1014000 | #Constraints: 178651
1510.73/1514.78 c #Conflicts: 1015000 | #Constraints: 179651
1510.73/1514.78 c #Conflicts: 1016000 | #Constraints: 180651
1510.73/1514.78 c #Conflicts: 1017000 | #Constraints: 181651
1510.73/1514.78 c #Conflicts: 1018000 | #Constraints: 182651
1510.73/1514.78 c #Conflicts: 1019000 | #Constraints: 183651
1510.73/1514.78 c #Conflicts: 1020000 | #Constraints: 184651
1510.73/1514.78 c INPROCESSING
1510.73/1514.78 c GARBAGE COLLECT
1510.73/1514.78 c #Conflicts: 1021000 | #Constraints: 156391
1510.73/1514.78 c #Conflicts: 1022000 | #Constraints: 157391
1510.73/1514.78 c #Conflicts: 1023000 | #Constraints: 158391
1510.73/1514.78 c #Conflicts: 1024000 | #Constraints: 159391
1510.73/1514.78 c #Conflicts: 1025000 | #Constraints: 160391
1510.73/1514.78 c #Conflicts: 1026000 | #Constraints: 161391
1510.73/1514.78 c #Conflicts: 1027000 | #Constraints: 162391
1510.73/1514.78 c #Conflicts: 1028000 | #Constraints: 163391
1510.73/1514.78 c #Conflicts: 1029000 | #Constraints: 164391
1510.73/1514.78 c #Conflicts: 1030000 | #Constraints: 165391
1510.73/1514.78 c #Conflicts: 1031000 | #Constraints: 166391
1510.73/1514.78 c #Conflicts: 1032000 | #Constraints: 167391
1510.73/1514.78 c #Conflicts: 1033000 | #Constraints: 168391
1510.73/1514.78 c #Conflicts: 1034000 | #Constraints: 169391
1510.73/1514.78 c #Conflicts: 1035000 | #Constraints: 170391
1510.73/1514.78 c #Conflicts: 1036000 | #Constraints: 171391
1510.73/1514.78 c #Conflicts: 1037000 | #Constraints: 172391
1510.73/1514.78 c #Conflicts: 1038000 | #Constraints: 173391
1510.73/1514.78 c #Conflicts: 1039000 | #Constraints: 174391
1510.73/1514.78 c #Conflicts: 1040000 | #Constraints: 175391
1510.73/1514.78 c #Conflicts: 1041000 | #Constraints: 176391
1510.73/1514.78 c #Conflicts: 1042000 | #Constraints: 177391
1510.73/1514.78 c #Conflicts: 1043000 | #Constraints: 178391
1510.73/1514.78 c #Conflicts: 1044000 | #Constraints: 179391
1510.73/1514.78 c INPROCESSING
1510.73/1514.78 c GARBAGE COLLECT
1510.73/1514.78 c #Conflicts: 1045000 | #Constraints: 153991
1510.73/1514.78 c #Conflicts: 1046000 | #Constraints: 154991
1510.73/1514.78 c #Conflicts: 1047000 | #Constraints: 155991
1510.73/1514.78 c #Conflicts: 1048000 | #Constraints: 156991
1510.73/1514.78 c #Conflicts: 1049000 | #Constraints: 157991
1510.73/1514.78 c #Conflicts: 1050000 | #Constraints: 158991
1510.73/1514.78 c #Conflicts: 1051000 | #Constraints: 159991
1510.73/1514.78 c #Conflicts: 1052000 | #Constraints: 160991
1510.73/1514.78 c #Conflicts: 1053000 | #Constraints: 161991
1629.76/1634.09 c #Conflicts: 1054000 | #Constraints: 162991
1629.76/1634.09 c #Conflicts: 1055000 | #Constraints: 163991
1629.76/1634.09 c #Conflicts: 1056000 | #Constraints: 164991
1629.76/1634.09 c #Conflicts: 1057000 | #Constraints: 165991
1629.76/1634.09 c #Conflicts: 1058000 | #Constraints: 166991
1629.76/1634.09 c #Conflicts: 1059000 | #Constraints: 167991
1629.76/1634.09 c #Conflicts: 1060000 | #Constraints: 168991
1629.76/1634.09 c #Conflicts: 1061000 | #Constraints: 169991
1629.76/1634.09 c #Conflicts: 1062000 | #Constraints: 170991
1629.76/1634.09 c #Conflicts: 1063000 | #Constraints: 171991
1629.76/1634.09 c #Conflicts: 1064000 | #Constraints: 172991
1629.76/1634.09 c #Conflicts: 1065000 | #Constraints: 173991
1629.76/1634.09 c #Conflicts: 1066000 | #Constraints: 174991
1629.76/1634.09 c #Conflicts: 1067000 | #Constraints: 175991
1629.76/1634.09 c #Conflicts: 1068000 | #Constraints: 176991
1629.76/1634.09 c INPROCESSING
1629.76/1634.09 c GARBAGE COLLECT
1629.76/1634.09 c #Conflicts: 1069000 | #Constraints: 152977
1629.76/1634.09 c #Conflicts: 1070000 | #Constraints: 153977
1629.76/1634.09 c #Conflicts: 1071000 | #Constraints: 154977
1629.76/1634.09 c #Conflicts: 1072000 | #Constraints: 155977
1629.76/1634.09 c #Conflicts: 1073000 | #Constraints: 156977
1629.76/1634.09 c #Conflicts: 1074000 | #Constraints: 157977
1629.76/1634.09 c #Conflicts: 1075000 | #Constraints: 158977
1629.76/1634.09 c #Conflicts: 1076000 | #Constraints: 159977
1629.76/1634.09 c #Conflicts: 1077000 | #Constraints: 160977
1629.76/1634.09 c #Conflicts: 1078000 | #Constraints: 161977
1629.76/1634.09 c #Conflicts: 1079000 | #Constraints: 162977
1629.76/1634.09 c #Conflicts: 1080000 | #Constraints: 163977
1629.76/1634.09 c #Conflicts: 1081000 | #Constraints: 164977
1629.76/1634.09 c #Conflicts: 1082000 | #Constraints: 165977
1629.76/1634.09 c #Conflicts: 1083000 | #Constraints: 166977
1629.76/1634.09 c #Conflicts: 1084000 | #Constraints: 167977
1629.76/1634.09 c #Conflicts: 1085000 | #Constraints: 168977
1629.76/1634.09 c #Conflicts: 1086000 | #Constraints: 169977
1629.76/1634.09 c #Conflicts: 1087000 | #Constraints: 170977
1629.76/1634.09 c #Conflicts: 1088000 | #Constraints: 171977
1629.76/1634.09 c #Conflicts: 1089000 | #Constraints: 172977
1629.76/1634.09 c #Conflicts: 1090000 | #Constraints: 173977
1629.76/1634.09 c #Conflicts: 1091000 | #Constraints: 174977
1629.76/1634.09 c INPROCESSING
1629.76/1634.09 c GARBAGE COLLECT
1629.76/1634.09 c #Conflicts: 1092000 | #Constraints: 151491
1629.76/1634.09 c #Conflicts: 1093000 | #Constraints: 152491
1629.76/1634.09 c #Conflicts: 1094000 | #Constraints: 153491
1629.76/1634.09 c #Conflicts: 1095000 | #Constraints: 154491
1629.76/1634.09 c #Conflicts: 1096000 | #Constraints: 155491
1629.76/1634.09 c #Conflicts: 1097000 | #Constraints: 156491
1629.76/1634.09 c #Conflicts: 1098000 | #Constraints: 157491
1629.76/1634.09 c #Conflicts: 1099000 | #Constraints: 158491
1629.76/1634.09 c #Conflicts: 1100000 | #Constraints: 159491
1629.76/1634.09 c #Conflicts: 1101000 | #Constraints: 160491
1629.76/1634.09 c #Conflicts: 1102000 | #Constraints: 161491
1629.76/1634.09 c #Conflicts: 1103000 | #Constraints: 162491
1629.76/1634.09 c #Conflicts: 1104000 | #Constraints: 163491
1629.76/1634.09 c #Conflicts: 1105000 | #Constraints: 164491
1629.76/1634.09 c #Conflicts: 1106000 | #Constraints: 165491
1629.76/1634.09 c #Conflicts: 1107000 | #Constraints: 166491
1629.76/1634.09 c #Conflicts: 1108000 | #Constraints: 167491
1629.76/1634.09 c #Conflicts: 1109000 | #Constraints: 168491
1629.76/1634.09 c #Conflicts: 1110000 | #Constraints: 169491
1629.76/1634.09 c #Conflicts: 1111000 | #Constraints: 170491
1629.76/1634.09 c #Conflicts: 1112000 | #Constraints: 171491
1629.76/1634.09 c #Conflicts: 1113000 | #Constraints: 172491
1629.76/1634.09 c #Conflicts: 1114000 | #Constraints: 173491
1629.76/1634.09 c #Conflicts: 1115000 | #Constraints: 174491
1629.76/1634.09 c #Conflicts: 1116000 | #Constraints: 175491
1629.76/1634.09 c #Conflicts: 1117000 | #Constraints: 176491
1629.76/1634.09 c #Conflicts: 1118000 | #Constraints: 177491
1629.76/1634.09 c #Conflicts: 1119000 | #Constraints: 178491
1629.76/1634.09 c #Conflicts: 1120000 | #Constraints: 179491
1629.76/1634.09 c #Conflicts: 1121000 | #Constraints: 180491
1629.76/1634.09 c #Conflicts: 1122000 | #Constraints: 181491
1629.76/1634.09 c #Conflicts: 1123000 | #Constraints: 182491
1629.76/1634.09 c #Conflicts: 1124000 | #Constraints: 183491
1629.76/1634.09 c #Conflicts: 1125000 | #Constraints: 184491
1629.76/1634.09 c #Conflicts: 1126000 | #Constraints: 185491
1629.76/1634.09 c #Conflicts: 1127000 | #Constraints: 186491
1629.76/1634.09 c #Conflicts: 1128000 | #Constraints: 187491
1629.76/1634.09 c #Conflicts: 1129000 | #Constraints: 188491
1629.76/1634.09 c #Conflicts: 1130000 | #Constraints: 189491
1885.51/1890.48 c #Conflicts: 1131000 | #Constraints: 190491
1885.51/1890.48 c #Conflicts: 1132000 | #Constraints: 191491
1885.51/1890.48 c #Conflicts: 1133000 | #Constraints: 192491
1885.51/1890.48 c #Conflicts: 1134000 | #Constraints: 193491
1885.51/1890.48 c #Conflicts: 1135000 | #Constraints: 194491
1885.51/1890.48 c #Conflicts: 1136000 | #Constraints: 195491
1885.51/1890.48 c #Conflicts: 1137000 | #Constraints: 196491
1885.51/1890.48 c #Conflicts: 1138000 | #Constraints: 197491
1885.51/1890.48 c #Conflicts: 1139000 | #Constraints: 198491
1885.51/1890.48 c #Conflicts: 1140000 | #Constraints: 199491
1885.51/1890.48 c #Conflicts: 1141000 | #Constraints: 200491
1885.51/1890.48 c #Conflicts: 1142000 | #Constraints: 201491
1885.51/1890.48 c #Conflicts: 1143000 | #Constraints: 202491
1885.51/1890.48 c #Conflicts: 1144000 | #Constraints: 203491
1885.51/1890.48 c #Conflicts: 1145000 | #Constraints: 204491
1885.51/1890.48 c #Conflicts: 1146000 | #Constraints: 205491
1885.51/1890.48 c #Conflicts: 1147000 | #Constraints: 206491
1885.51/1890.48 c #Conflicts: 1148000 | #Constraints: 207491
1885.51/1890.48 c #Conflicts: 1149000 | #Constraints: 208491
1885.51/1890.48 c #Conflicts: 1150000 | #Constraints: 209491
1885.51/1890.48 c #Conflicts: 1151000 | #Constraints: 210491
1885.51/1890.48 c #Conflicts: 1152000 | #Constraints: 211491
1885.51/1890.48 c #Conflicts: 1153000 | #Constraints: 212491
1885.51/1890.48 c #Conflicts: 1154000 | #Constraints: 213491
1885.51/1890.48 c #Conflicts: 1155000 | #Constraints: 214491
1885.51/1890.48 c #Conflicts: 1156000 | #Constraints: 215491
1885.51/1890.48 c #Conflicts: 1157000 | #Constraints: 216491
1885.51/1890.48 c #Conflicts: 1158000 | #Constraints: 217491
1885.51/1890.48 c #Conflicts: 1159000 | #Constraints: 218491
1885.51/1890.48 c #Conflicts: 1160000 | #Constraints: 219491
1885.51/1890.48 c #Conflicts: 1161000 | #Constraints: 220491
1885.51/1890.48 c #Conflicts: 1162000 | #Constraints: 221491
1885.51/1890.48 c #Conflicts: 1163000 | #Constraints: 222491
1885.51/1890.48 c #Conflicts: 1164000 | #Constraints: 223491
1885.51/1890.48 c #Conflicts: 1165000 | #Constraints: 224491
1885.51/1890.48 c #Conflicts: 1166000 | #Constraints: 225491
1885.51/1890.48 c #Conflicts: 1167000 | #Constraints: 226491
1885.51/1890.48 c #Conflicts: 1168000 | #Constraints: 227491
1885.51/1890.48 c #Conflicts: 1169000 | #Constraints: 228491
1885.51/1890.48 c #Conflicts: 1170000 | #Constraints: 229491
1885.51/1890.48 c #Conflicts: 1171000 | #Constraints: 230491
1885.51/1890.48 c INPROCESSING
1885.51/1890.48 c GARBAGE COLLECT
1885.51/1890.48 c #Conflicts: 1172000 | #Constraints: 179308
1885.51/1890.48 c #Conflicts: 1173000 | #Constraints: 180308
1885.51/1890.48 c #Conflicts: 1174000 | #Constraints: 181308
1885.51/1890.48 c #Conflicts: 1175000 | #Constraints: 182308
1885.51/1890.48 c #Conflicts: 1176000 | #Constraints: 183308
1885.51/1890.48 c #Conflicts: 1177000 | #Constraints: 184308
1885.51/1890.48 c #Conflicts: 1178000 | #Constraints: 185308
1885.51/1890.48 c #Conflicts: 1179000 | #Constraints: 186308
1885.51/1890.48 c #Conflicts: 1180000 | #Constraints: 187308
1885.51/1890.48 c #Conflicts: 1181000 | #Constraints: 188308
1885.51/1890.48 c #Conflicts: 1182000 | #Constraints: 189308
1885.51/1890.48 c #Conflicts: 1183000 | #Constraints: 190308
1885.51/1890.48 c #Conflicts: 1184000 | #Constraints: 191308
1885.51/1890.48 c #Conflicts: 1185000 | #Constraints: 192308
1885.51/1890.48 c #Conflicts: 1186000 | #Constraints: 193308
1885.51/1890.48 c #Conflicts: 1187000 | #Constraints: 194308
1885.51/1890.48 c #Conflicts: 1188000 | #Constraints: 195308
1885.51/1890.48 c #Conflicts: 1189000 | #Constraints: 196308
1885.51/1890.48 c #Conflicts: 1190000 | #Constraints: 197308
1885.51/1890.48 c #Conflicts: 1191000 | #Constraints: 198308
1885.51/1890.48 c #Conflicts: 1192000 | #Constraints: 199308
1885.51/1890.48 c #Conflicts: 1193000 | #Constraints: 200308
1885.51/1890.48 c #Conflicts: 1194000 | #Constraints: 201308
1885.51/1890.48 c #Conflicts: 1195000 | #Constraints: 202308
1885.51/1890.48 c #Conflicts: 1196000 | #Constraints: 203308
1885.51/1890.48 c #Conflicts: 1197000 | #Constraints: 204308
1885.51/1890.48 c INPROCESSING
1885.51/1890.48 c GARBAGE COLLECT
1885.51/1890.48 c #Conflicts: 1198000 | #Constraints: 166632
1885.51/1890.48 c #Conflicts: 1199000 | #Constraints: 167632
1885.51/1890.48 c #Conflicts: 1200000 | #Constraints: 168632
1885.51/1890.48 c #Conflicts: 1201000 | #Constraints: 169632
1885.51/1890.48 c #Conflicts: 1202000 | #Constraints: 170632
1885.51/1890.48 c #Conflicts: 1203000 | #Constraints: 171632
1885.51/1890.48 c #Conflicts: 1204000 | #Constraints: 172632
1885.51/1890.48 c #Conflicts: 1205000 | #Constraints: 173632
1885.51/1890.48 c #Conflicts: 1206000 | #Constraints: 174632
1885.51/1890.48 c #Conflicts: 1207000 | #Constraints: 175632
1885.51/1890.48 c #Conflicts: 1208000 | #Constraints: 176632
2028.97/2034.25 c #Conflicts: 1209000 | #Constraints: 177632
2028.97/2034.25 c #Conflicts: 1210000 | #Constraints: 178632
2028.97/2034.25 c #Conflicts: 1211000 | #Constraints: 179632
2028.97/2034.25 c #Conflicts: 1212000 | #Constraints: 180632
2028.97/2034.25 c #Conflicts: 1213000 | #Constraints: 181632
2028.97/2034.25 c #Conflicts: 1214000 | #Constraints: 182632
2028.97/2034.25 c #Conflicts: 1215000 | #Constraints: 183632
2028.97/2034.25 c #Conflicts: 1216000 | #Constraints: 184632
2028.97/2034.25 c #Conflicts: 1217000 | #Constraints: 185632
2028.97/2034.25 c #Conflicts: 1218000 | #Constraints: 186632
2028.97/2034.25 c #Conflicts: 1219000 | #Constraints: 187632
2028.97/2034.25 c #Conflicts: 1220000 | #Constraints: 188632
2028.97/2034.25 c #Conflicts: 1221000 | #Constraints: 189632
2028.97/2034.25 c #Conflicts: 1222000 | #Constraints: 190632
2028.97/2034.25 c INPROCESSING
2028.97/2034.25 c GARBAGE COLLECT
2028.97/2034.25 c #Conflicts: 1223000 | #Constraints: 159584
2028.97/2034.25 c #Conflicts: 1224000 | #Constraints: 160584
2028.97/2034.25 c #Conflicts: 1225000 | #Constraints: 161584
2028.97/2034.25 c #Conflicts: 1226000 | #Constraints: 162584
2028.97/2034.25 c #Conflicts: 1227000 | #Constraints: 163584
2028.97/2034.25 c #Conflicts: 1228000 | #Constraints: 164584
2028.97/2034.25 c #Conflicts: 1229000 | #Constraints: 165584
2028.97/2034.25 c #Conflicts: 1230000 | #Constraints: 166584
2028.97/2034.25 c #Conflicts: 1231000 | #Constraints: 167584
2028.97/2034.25 c #Conflicts: 1232000 | #Constraints: 168584
2028.97/2034.25 c #Conflicts: 1233000 | #Constraints: 169584
2028.97/2034.25 c #Conflicts: 1234000 | #Constraints: 170584
2028.97/2034.25 c #Conflicts: 1235000 | #Constraints: 171584
2028.97/2034.25 c #Conflicts: 1236000 | #Constraints: 172584
2028.97/2034.25 c #Conflicts: 1237000 | #Constraints: 173584
2028.97/2034.25 c #Conflicts: 1238000 | #Constraints: 174584
2028.97/2034.25 c #Conflicts: 1239000 | #Constraints: 175584
2028.97/2034.25 c #Conflicts: 1240000 | #Constraints: 176584
2028.97/2034.25 c #Conflicts: 1241000 | #Constraints: 177584
2028.97/2034.25 c #Conflicts: 1242000 | #Constraints: 178584
2028.97/2034.25 c #Conflicts: 1243000 | #Constraints: 179584
2028.97/2034.25 c #Conflicts: 1244000 | #Constraints: 180584
2028.97/2034.25 c #Conflicts: 1245000 | #Constraints: 181584
2028.97/2034.25 c #Conflicts: 1246000 | #Constraints: 182584
2028.97/2034.25 c #Conflicts: 1247000 | #Constraints: 183584
2028.97/2034.25 c #Conflicts: 1248000 | #Constraints: 184584
2028.97/2034.25 c INPROCESSING
2028.97/2034.25 c GARBAGE COLLECT
2028.97/2034.25 c #Conflicts: 1249000 | #Constraints: 156727
2028.97/2034.25 c #Conflicts: 1250000 | #Constraints: 157727
2028.97/2034.25 c #Conflicts: 1251000 | #Constraints: 158727
2028.97/2034.25 c #Conflicts: 1252000 | #Constraints: 159727
2028.97/2034.25 c #Conflicts: 1253000 | #Constraints: 160727
2028.97/2034.25 c #Conflicts: 1254000 | #Constraints: 161727
2028.97/2034.25 c #Conflicts: 1255000 | #Constraints: 162727
2028.97/2034.25 c #Conflicts: 1256000 | #Constraints: 163727
2028.97/2034.25 c #Conflicts: 1257000 | #Constraints: 164727
2028.97/2034.25 c #Conflicts: 1258000 | #Constraints: 165727
2028.97/2034.25 c #Conflicts: 1259000 | #Constraints: 166727
2028.97/2034.25 c #Conflicts: 1260000 | #Constraints: 167727
2028.97/2034.25 c #Conflicts: 1261000 | #Constraints: 168727
2028.97/2034.25 c #Conflicts: 1262000 | #Constraints: 169727
2028.97/2034.25 c #Conflicts: 1263000 | #Constraints: 170727
2028.97/2034.25 c #Conflicts: 1264000 | #Constraints: 171727
2028.97/2034.25 c #Conflicts: 1265000 | #Constraints: 172727
2028.97/2034.25 c #Conflicts: 1266000 | #Constraints: 173727
2028.97/2034.25 c #Conflicts: 1267000 | #Constraints: 174727
2028.97/2034.25 c #Conflicts: 1268000 | #Constraints: 175727
2028.97/2034.25 c #Conflicts: 1269000 | #Constraints: 176727
2028.97/2034.25 c #Conflicts: 1270000 | #Constraints: 177727
2028.97/2034.25 c #Conflicts: 1271000 | #Constraints: 178727
2028.97/2034.25 c #Conflicts: 1272000 | #Constraints: 179727
2028.97/2034.25 c #Conflicts: 1273000 | #Constraints: 180727
2028.97/2034.25 c INPROCESSING
2028.97/2034.25 c GARBAGE COLLECT
2028.97/2034.25 c #Conflicts: 1274000 | #Constraints: 154429
2028.97/2034.25 c #Conflicts: 1275000 | #Constraints: 155429
2028.97/2034.25 c #Conflicts: 1276000 | #Constraints: 156429
2028.97/2034.25 c #Conflicts: 1277000 | #Constraints: 157429
2028.97/2034.25 c #Conflicts: 1278000 | #Constraints: 158429
2028.97/2034.25 c #Conflicts: 1279000 | #Constraints: 159429
2028.97/2034.25 c #Conflicts: 1280000 | #Constraints: 160429
2028.97/2034.25 c #Conflicts: 1281000 | #Constraints: 161429
2028.97/2034.25 c #Conflicts: 1282000 | #Constraints: 162429
2028.97/2034.25 c #Conflicts: 1283000 | #Constraints: 163429
2028.97/2034.25 c #Conflicts: 1284000 | #Constraints: 164429
2028.97/2034.25 c #Conflicts: 1285000 | #Constraints: 165429
2217.70/2223.48 c #Conflicts: 1286000 | #Constraints: 166429
2217.70/2223.48 c #Conflicts: 1287000 | #Constraints: 167429
2217.70/2223.48 c #Conflicts: 1288000 | #Constraints: 168429
2217.70/2223.48 c #Conflicts: 1289000 | #Constraints: 169429
2217.70/2223.48 c #Conflicts: 1290000 | #Constraints: 170429
2217.70/2223.48 c #Conflicts: 1291000 | #Constraints: 171429
2217.70/2223.48 c #Conflicts: 1292000 | #Constraints: 172429
2217.70/2223.48 c #Conflicts: 1293000 | #Constraints: 173429
2217.70/2223.48 c #Conflicts: 1294000 | #Constraints: 174429
2217.70/2223.48 c #Conflicts: 1295000 | #Constraints: 175429
2217.70/2223.48 c #Conflicts: 1296000 | #Constraints: 176429
2217.70/2223.48 c #Conflicts: 1297000 | #Constraints: 177429
2217.70/2223.48 c #Conflicts: 1298000 | #Constraints: 178429
2217.70/2223.48 c #Conflicts: 1299000 | #Constraints: 179429
2217.70/2223.48 c INPROCESSING
2217.70/2223.48 c GARBAGE COLLECT
2217.70/2223.48 c #Conflicts: 1300000 | #Constraints: 153762
2217.70/2223.48 c #Conflicts: 1301000 | #Constraints: 154762
2217.70/2223.48 c #Conflicts: 1302000 | #Constraints: 155762
2217.70/2223.48 c #Conflicts: 1303000 | #Constraints: 156762
2217.70/2223.48 c #Conflicts: 1304000 | #Constraints: 157762
2217.70/2223.48 c #Conflicts: 1305000 | #Constraints: 158762
2217.70/2223.48 c #Conflicts: 1306000 | #Constraints: 159762
2217.70/2223.48 c #Conflicts: 1307000 | #Constraints: 160762
2217.70/2223.48 c #Conflicts: 1308000 | #Constraints: 161762
2217.70/2223.48 c #Conflicts: 1309000 | #Constraints: 162762
2217.70/2223.48 c #Conflicts: 1310000 | #Constraints: 163762
2217.70/2223.48 c #Conflicts: 1311000 | #Constraints: 164762
2217.70/2223.48 c #Conflicts: 1312000 | #Constraints: 165762
2217.70/2223.48 c #Conflicts: 1313000 | #Constraints: 166762
2217.70/2223.48 c #Conflicts: 1314000 | #Constraints: 167762
2217.70/2223.48 c #Conflicts: 1315000 | #Constraints: 168762
2217.70/2223.48 c #Conflicts: 1316000 | #Constraints: 169762
2217.70/2223.48 c #Conflicts: 1317000 | #Constraints: 170762
2217.70/2223.48 c #Conflicts: 1318000 | #Constraints: 171762
2217.70/2223.48 c #Conflicts: 1319000 | #Constraints: 172762
2217.70/2223.48 c #Conflicts: 1320000 | #Constraints: 173762
2217.70/2223.48 c #Conflicts: 1321000 | #Constraints: 174762
2217.70/2223.48 c #Conflicts: 1322000 | #Constraints: 175762
2217.70/2223.48 c #Conflicts: 1323000 | #Constraints: 176762
2217.70/2223.48 c #Conflicts: 1324000 | #Constraints: 177762
2217.70/2223.48 c #Conflicts: 1325000 | #Constraints: 178762
2217.70/2223.48 c #Conflicts: 1326000 | #Constraints: 179762
2217.70/2223.48 c #Conflicts: 1327000 | #Constraints: 180762
2217.70/2223.48 c #Conflicts: 1328000 | #Constraints: 181762
2217.70/2223.48 c #Conflicts: 1329000 | #Constraints: 182762
2217.70/2223.48 c #Conflicts: 1330000 | #Constraints: 183762
2217.70/2223.48 c #Conflicts: 1331000 | #Constraints: 184762
2217.70/2223.48 c #Conflicts: 1332000 | #Constraints: 185762
2217.70/2223.48 c #Conflicts: 1333000 | #Constraints: 186762
2217.70/2223.48 c #Conflicts: 1334000 | #Constraints: 187762
2217.70/2223.48 c #Conflicts: 1335000 | #Constraints: 188762
2217.70/2223.48 c #Conflicts: 1336000 | #Constraints: 189762
2217.70/2223.48 c #Conflicts: 1337000 | #Constraints: 190762
2217.70/2223.48 c #Conflicts: 1338000 | #Constraints: 191762
2217.70/2223.48 c #Conflicts: 1339000 | #Constraints: 192762
2217.70/2223.48 c #Conflicts: 1340000 | #Constraints: 193762
2217.70/2223.48 c #Conflicts: 1341000 | #Constraints: 194762
2217.70/2223.48 c #Conflicts: 1342000 | #Constraints: 195762
2217.70/2223.48 c #Conflicts: 1343000 | #Constraints: 196762
2217.70/2223.48 c #Conflicts: 1344000 | #Constraints: 197762
2217.70/2223.48 c #Conflicts: 1345000 | #Constraints: 198762
2217.70/2223.48 c #Conflicts: 1346000 | #Constraints: 199762
2217.70/2223.48 c #Conflicts: 1347000 | #Constraints: 200762
2217.70/2223.48 c #Conflicts: 1348000 | #Constraints: 201762
2217.70/2223.48 c #Conflicts: 1349000 | #Constraints: 202762
2217.70/2223.48 c #Conflicts: 1350000 | #Constraints: 203762
2217.70/2223.48 c #Conflicts: 1351000 | #Constraints: 204762
2217.70/2223.48 c #Conflicts: 1352000 | #Constraints: 205762
2217.70/2223.48 c #Conflicts: 1353000 | #Constraints: 206762
2217.70/2223.48 c #Conflicts: 1354000 | #Constraints: 207762
2217.70/2223.48 c #Conflicts: 1355000 | #Constraints: 208762
2217.70/2223.48 c #Conflicts: 1356000 | #Constraints: 209762
2217.70/2223.48 c #Conflicts: 1357000 | #Constraints: 210762
2217.70/2223.48 c #Conflicts: 1358000 | #Constraints: 211762
2217.70/2223.48 c #Conflicts: 1359000 | #Constraints: 212762
2217.70/2223.48 c #Conflicts: 1360000 | #Constraints: 213762
2217.70/2223.48 c #Conflicts: 1361000 | #Constraints: 214762
2217.70/2223.48 c #Conflicts: 1362000 | #Constraints: 215762
2217.70/2223.48 c #Conflicts: 1363000 | #Constraints: 216762
2536.01/2542.54 c #Conflicts: 1364000 | #Constraints: 217762
2536.01/2542.54 c #Conflicts: 1365000 | #Constraints: 218762
2536.01/2542.54 c #Conflicts: 1366000 | #Constraints: 219762
2536.01/2542.54 c #Conflicts: 1367000 | #Constraints: 220762
2536.01/2542.54 c #Conflicts: 1368000 | #Constraints: 221762
2536.01/2542.54 c #Conflicts: 1369000 | #Constraints: 222762
2536.01/2542.54 c #Conflicts: 1370000 | #Constraints: 223762
2536.01/2542.54 c #Conflicts: 1371000 | #Constraints: 224762
2536.01/2542.54 c #Conflicts: 1372000 | #Constraints: 225762
2536.01/2542.54 c #Conflicts: 1373000 | #Constraints: 226762
2536.01/2542.54 c #Conflicts: 1374000 | #Constraints: 227762
2536.01/2542.54 c #Conflicts: 1375000 | #Constraints: 228762
2536.01/2542.54 c #Conflicts: 1376000 | #Constraints: 229762
2536.01/2542.54 c #Conflicts: 1377000 | #Constraints: 230762
2536.01/2542.54 c #Conflicts: 1378000 | #Constraints: 231762
2536.01/2542.54 c #Conflicts: 1379000 | #Constraints: 232762
2536.01/2542.54 c #Conflicts: 1380000 | #Constraints: 233762
2536.01/2542.54 c #Conflicts: 1381000 | #Constraints: 234762
2536.01/2542.54 c #Conflicts: 1382000 | #Constraints: 235762
2536.01/2542.54 c #Conflicts: 1383000 | #Constraints: 236762
2536.01/2542.54 c #Conflicts: 1384000 | #Constraints: 237762
2536.01/2542.54 c #Conflicts: 1385000 | #Constraints: 238762
2536.01/2542.54 c #Conflicts: 1386000 | #Constraints: 239762
2536.01/2542.54 c #Conflicts: 1387000 | #Constraints: 240762
2536.01/2542.54 c INPROCESSING
2536.01/2542.54 c GARBAGE COLLECT
2536.01/2542.54 c #Conflicts: 1388000 | #Constraints: 184765
2536.01/2542.54 c #Conflicts: 1389000 | #Constraints: 185765
2536.01/2542.54 c #Conflicts: 1390000 | #Constraints: 186765
2536.01/2542.54 c #Conflicts: 1391000 | #Constraints: 187765
2536.01/2542.54 c #Conflicts: 1392000 | #Constraints: 188765
2536.01/2542.54 c #Conflicts: 1393000 | #Constraints: 189765
2536.01/2542.54 c #Conflicts: 1394000 | #Constraints: 190765
2536.01/2542.54 c #Conflicts: 1395000 | #Constraints: 191765
2536.01/2542.54 c #Conflicts: 1396000 | #Constraints: 192765
2536.01/2542.54 c #Conflicts: 1397000 | #Constraints: 193765
2536.01/2542.54 c #Conflicts: 1398000 | #Constraints: 194765
2536.01/2542.54 c #Conflicts: 1399000 | #Constraints: 195765
2536.01/2542.54 c #Conflicts: 1400000 | #Constraints: 196765
2536.01/2542.54 c #Conflicts: 1401000 | #Constraints: 197765
2536.01/2542.54 c #Conflicts: 1402000 | #Constraints: 198765
2536.01/2542.54 c #Conflicts: 1403000 | #Constraints: 199765
2536.01/2542.54 c #Conflicts: 1404000 | #Constraints: 200765
2536.01/2542.54 c #Conflicts: 1405000 | #Constraints: 201765
2536.01/2542.54 c #Conflicts: 1406000 | #Constraints: 202765
2536.01/2542.54 c #Conflicts: 1407000 | #Constraints: 203765
2536.01/2542.54 c #Conflicts: 1408000 | #Constraints: 204765
2536.01/2542.54 c #Conflicts: 1409000 | #Constraints: 205765
2536.01/2542.54 c #Conflicts: 1410000 | #Constraints: 206765
2536.01/2542.54 c #Conflicts: 1411000 | #Constraints: 207765
2536.01/2542.54 c #Conflicts: 1412000 | #Constraints: 208765
2536.01/2542.54 c #Conflicts: 1413000 | #Constraints: 209765
2536.01/2542.54 c #Conflicts: 1414000 | #Constraints: 210765
2536.01/2542.54 c INPROCESSING
2536.01/2542.54 c GARBAGE COLLECT
2536.01/2542.54 c #Conflicts: 1415000 | #Constraints: 169610
2536.01/2542.54 c #Conflicts: 1416000 | #Constraints: 170610
2536.01/2542.54 c #Conflicts: 1417000 | #Constraints: 171610
2536.01/2542.54 c #Conflicts: 1418000 | #Constraints: 172610
2536.01/2542.54 c #Conflicts: 1419000 | #Constraints: 173610
2536.01/2542.54 c #Conflicts: 1420000 | #Constraints: 174610
2536.01/2542.54 c #Conflicts: 1421000 | #Constraints: 175610
2536.01/2542.54 c #Conflicts: 1422000 | #Constraints: 176610
2536.01/2542.54 c #Conflicts: 1423000 | #Constraints: 177610
2536.01/2542.54 c #Conflicts: 1424000 | #Constraints: 178610
2536.01/2542.54 c #Conflicts: 1425000 | #Constraints: 179610
2536.01/2542.54 c #Conflicts: 1426000 | #Constraints: 180610
2536.01/2542.54 c #Conflicts: 1427000 | #Constraints: 181610
2536.01/2542.54 c #Conflicts: 1428000 | #Constraints: 182610
2536.01/2542.54 c #Conflicts: 1429000 | #Constraints: 183610
2536.01/2542.54 c #Conflicts: 1430000 | #Constraints: 184610
2536.01/2542.54 c #Conflicts: 1431000 | #Constraints: 185610
2536.01/2542.54 c #Conflicts: 1432000 | #Constraints: 186610
2536.01/2542.54 c #Conflicts: 1433000 | #Constraints: 187610
2536.01/2542.54 c #Conflicts: 1434000 | #Constraints: 188610
2536.01/2542.54 c #Conflicts: 1435000 | #Constraints: 189610
2536.01/2542.54 c #Conflicts: 1436000 | #Constraints: 190610
2536.01/2542.54 c #Conflicts: 1437000 | #Constraints: 191610
2536.01/2542.54 c #Conflicts: 1438000 | #Constraints: 192610
2536.01/2542.54 c #Conflicts: 1439000 | #Constraints: 193610
2536.01/2542.54 c #Conflicts: 1440000 | #Constraints: 194610
2689.85/2696.71 c #Conflicts: 1441000 | #Constraints: 195610
2689.85/2696.71 c #Conflicts: 1442000 | #Constraints: 196610
2689.85/2696.71 c INPROCESSING
2689.85/2696.71 c GARBAGE COLLECT
2689.85/2696.71 c #Conflicts: 1443000 | #Constraints: 162768
2689.85/2696.71 c #Conflicts: 1444000 | #Constraints: 163768
2689.85/2696.71 c #Conflicts: 1445000 | #Constraints: 164768
2689.85/2696.71 c #Conflicts: 1446000 | #Constraints: 165768
2689.85/2696.71 c #Conflicts: 1447000 | #Constraints: 166768
2689.85/2696.71 c #Conflicts: 1448000 | #Constraints: 167768
2689.85/2696.71 c #Conflicts: 1449000 | #Constraints: 168768
2689.85/2696.71 c #Conflicts: 1450000 | #Constraints: 169768
2689.85/2696.71 c #Conflicts: 1451000 | #Constraints: 170768
2689.85/2696.71 c #Conflicts: 1452000 | #Constraints: 171768
2689.85/2696.71 c #Conflicts: 1453000 | #Constraints: 172768
2689.85/2696.71 c #Conflicts: 1454000 | #Constraints: 173768
2689.85/2696.71 c #Conflicts: 1455000 | #Constraints: 174768
2689.85/2696.71 c #Conflicts: 1456000 | #Constraints: 175768
2689.85/2696.71 c #Conflicts: 1457000 | #Constraints: 176768
2689.85/2696.71 c #Conflicts: 1458000 | #Constraints: 177768
2689.85/2696.71 c #Conflicts: 1459000 | #Constraints: 178768
2689.85/2696.71 c #Conflicts: 1460000 | #Constraints: 179768
2689.85/2696.71 c #Conflicts: 1461000 | #Constraints: 180768
2689.85/2696.71 c #Conflicts: 1462000 | #Constraints: 181768
2689.85/2696.71 c #Conflicts: 1463000 | #Constraints: 182768
2689.85/2696.71 c #Conflicts: 1464000 | #Constraints: 183768
2689.85/2696.71 c #Conflicts: 1465000 | #Constraints: 184768
2689.85/2696.71 c #Conflicts: 1466000 | #Constraints: 185768
2689.85/2696.71 c #Conflicts: 1467000 | #Constraints: 186768
2689.85/2696.71 c #Conflicts: 1468000 | #Constraints: 187768
2689.85/2696.71 c #Conflicts: 1469000 | #Constraints: 188768
2689.85/2696.71 c INPROCESSING
2689.85/2696.71 c GARBAGE COLLECT
2689.85/2696.71 c #Conflicts: 1470000 | #Constraints: 158498
2689.85/2696.71 c #Conflicts: 1471000 | #Constraints: 159498
2689.85/2696.71 c #Conflicts: 1472000 | #Constraints: 160498
2689.85/2696.71 c #Conflicts: 1473000 | #Constraints: 161498
2689.85/2696.71 c #Conflicts: 1474000 | #Constraints: 162498
2689.85/2696.71 c #Conflicts: 1475000 | #Constraints: 163498
2689.85/2696.71 c #Conflicts: 1476000 | #Constraints: 164498
2689.85/2696.71 c #Conflicts: 1477000 | #Constraints: 165498
2689.85/2696.71 c #Conflicts: 1478000 | #Constraints: 166498
2689.85/2696.71 c #Conflicts: 1479000 | #Constraints: 167498
2689.85/2696.71 c #Conflicts: 1480000 | #Constraints: 168498
2689.85/2696.71 c #Conflicts: 1481000 | #Constraints: 169498
2689.85/2696.71 c #Conflicts: 1482000 | #Constraints: 170498
2689.85/2696.71 c #Conflicts: 1483000 | #Constraints: 171498
2689.85/2696.71 c #Conflicts: 1484000 | #Constraints: 172498
2689.85/2696.71 c #Conflicts: 1485000 | #Constraints: 173498
2689.85/2696.71 c #Conflicts: 1486000 | #Constraints: 174498
2689.85/2696.71 c #Conflicts: 1487000 | #Constraints: 175498
2689.85/2696.71 c #Conflicts: 1488000 | #Constraints: 176498
2689.85/2696.71 c #Conflicts: 1489000 | #Constraints: 177498
2689.85/2696.71 c #Conflicts: 1490000 | #Constraints: 178498
2689.85/2696.71 c #Conflicts: 1491000 | #Constraints: 179498
2689.85/2696.71 c #Conflicts: 1492000 | #Constraints: 180498
2689.85/2696.71 c #Conflicts: 1493000 | #Constraints: 181498
2689.85/2696.71 c #Conflicts: 1494000 | #Constraints: 182498
2689.85/2696.71 c #Conflicts: 1495000 | #Constraints: 183498
2689.85/2696.71 c #Conflicts: 1496000 | #Constraints: 184498
2689.85/2696.71 c #Conflicts: 1497000 | #Constraints: 185498
2689.85/2696.71 c INPROCESSING
2689.85/2696.71 c GARBAGE COLLECT
2689.85/2696.71 c #Conflicts: 1498000 | #Constraints: 156917
2689.85/2696.71 c #Conflicts: 1499000 | #Constraints: 157917
2689.85/2696.71 c #Conflicts: 1500000 | #Constraints: 158917
2689.85/2696.71 c #Conflicts: 1501000 | #Constraints: 159917
2689.85/2696.71 c #Conflicts: 1502000 | #Constraints: 160917
2689.85/2696.71 c #Conflicts: 1503000 | #Constraints: 161917
2689.85/2696.71 c #Conflicts: 1504000 | #Constraints: 162917
2689.85/2696.71 c #Conflicts: 1505000 | #Constraints: 163917
2689.85/2696.71 c #Conflicts: 1506000 | #Constraints: 164917
2689.85/2696.71 c #Conflicts: 1507000 | #Constraints: 165917
2689.85/2696.71 c #Conflicts: 1508000 | #Constraints: 166917
2689.85/2696.71 c #Conflicts: 1509000 | #Constraints: 167917
2689.85/2696.71 c #Conflicts: 1510000 | #Constraints: 168917
2689.85/2696.71 c #Conflicts: 1511000 | #Constraints: 169917
2689.85/2696.71 c #Conflicts: 1512000 | #Constraints: 170917
2689.85/2696.71 c #Conflicts: 1513000 | #Constraints: 171917
2689.85/2696.71 c #Conflicts: 1514000 | #Constraints: 172917
2689.85/2696.71 c #Conflicts: 1515000 | #Constraints: 173917
2689.85/2696.71 c #Conflicts: 1516000 | #Constraints: 174917
2689.85/2696.71 c #Conflicts: 1517000 | #Constraints: 175917
2926.56/2934.01 c #Conflicts: 1518000 | #Constraints: 176917
2926.56/2934.01 c #Conflicts: 1519000 | #Constraints: 177917
2926.56/2934.01 c #Conflicts: 1520000 | #Constraints: 178917
2926.56/2934.01 c #Conflicts: 1521000 | #Constraints: 179917
2926.56/2934.01 c #Conflicts: 1522000 | #Constraints: 180917
2926.56/2934.01 c #Conflicts: 1523000 | #Constraints: 181917
2926.56/2934.01 c #Conflicts: 1524000 | #Constraints: 182917
2926.56/2934.01 c #Conflicts: 1525000 | #Constraints: 183917
2926.56/2934.01 c INPROCESSING
2926.56/2934.01 c GARBAGE COLLECT
2926.56/2934.01 c #Conflicts: 1526000 | #Constraints: 156084
2926.56/2934.01 c #Conflicts: 1527000 | #Constraints: 157084
2926.56/2934.01 c #Conflicts: 1528000 | #Constraints: 158084
2926.56/2934.01 c #Conflicts: 1529000 | #Constraints: 159084
2926.56/2934.01 c #Conflicts: 1530000 | #Constraints: 160084
2926.56/2934.01 c #Conflicts: 1531000 | #Constraints: 161084
2926.56/2934.01 c #Conflicts: 1532000 | #Constraints: 162084
2926.56/2934.01 c #Conflicts: 1533000 | #Constraints: 163084
2926.56/2934.01 c #Conflicts: 1534000 | #Constraints: 164084
2926.56/2934.01 c #Conflicts: 1535000 | #Constraints: 165084
2926.56/2934.01 c #Conflicts: 1536000 | #Constraints: 166084
2926.56/2934.01 c #Conflicts: 1537000 | #Constraints: 167084
2926.56/2934.01 c #Conflicts: 1538000 | #Constraints: 168084
2926.56/2934.01 c #Conflicts: 1539000 | #Constraints: 169084
2926.56/2934.01 c #Conflicts: 1540000 | #Constraints: 170084
2926.56/2934.01 c #Conflicts: 1541000 | #Constraints: 171084
2926.56/2934.01 c #Conflicts: 1542000 | #Constraints: 172084
2926.56/2934.01 c #Conflicts: 1543000 | #Constraints: 173084
2926.56/2934.01 c #Conflicts: 1544000 | #Constraints: 174084
2926.56/2934.01 c #Conflicts: 1545000 | #Constraints: 175084
2926.56/2934.01 c #Conflicts: 1546000 | #Constraints: 176084
2926.56/2934.01 c #Conflicts: 1547000 | #Constraints: 177084
2926.56/2934.01 c #Conflicts: 1548000 | #Constraints: 178084
2926.56/2934.01 c #Conflicts: 1549000 | #Constraints: 179084
2926.56/2934.01 c #Conflicts: 1550000 | #Constraints: 180084
2926.56/2934.01 c #Conflicts: 1551000 | #Constraints: 181084
2926.56/2934.01 c #Conflicts: 1552000 | #Constraints: 182084
2926.56/2934.01 c #Conflicts: 1553000 | #Constraints: 183084
2926.56/2934.01 c #Conflicts: 1554000 | #Constraints: 184084
2926.56/2934.01 c #Conflicts: 1555000 | #Constraints: 185084
2926.56/2934.01 c #Conflicts: 1556000 | #Constraints: 186084
2926.56/2934.01 c #Conflicts: 1557000 | #Constraints: 187084
2926.56/2934.01 c #Conflicts: 1558000 | #Constraints: 188084
2926.56/2934.01 c #Conflicts: 1559000 | #Constraints: 189084
2926.56/2934.01 c #Conflicts: 1560000 | #Constraints: 190084
2926.56/2934.01 c #Conflicts: 1561000 | #Constraints: 191084
2926.56/2934.01 c #Conflicts: 1562000 | #Constraints: 192084
2926.56/2934.01 c #Conflicts: 1563000 | #Constraints: 193084
2926.56/2934.01 c #Conflicts: 1564000 | #Constraints: 194084
2926.56/2934.01 c #Conflicts: 1565000 | #Constraints: 195084
2926.56/2934.01 c #Conflicts: 1566000 | #Constraints: 196084
2926.56/2934.01 c #Conflicts: 1567000 | #Constraints: 197084
2926.56/2934.01 c #Conflicts: 1568000 | #Constraints: 198084
2926.56/2934.01 c #Conflicts: 1569000 | #Constraints: 199084
2926.56/2934.01 c #Conflicts: 1570000 | #Constraints: 200084
2926.56/2934.01 c #Conflicts: 1571000 | #Constraints: 201084
2926.56/2934.01 c #Conflicts: 1572000 | #Constraints: 202084
2926.56/2934.01 c #Conflicts: 1573000 | #Constraints: 203084
2926.56/2934.01 c #Conflicts: 1574000 | #Constraints: 204084
2926.56/2934.01 c #Conflicts: 1575000 | #Constraints: 205084
2926.56/2934.01 c #Conflicts: 1576000 | #Constraints: 206084
2926.56/2934.01 c #Conflicts: 1577000 | #Constraints: 207084
2926.56/2934.01 c #Conflicts: 1578000 | #Constraints: 208084
2926.56/2934.01 c #Conflicts: 1579000 | #Constraints: 209084
2926.56/2934.01 c #Conflicts: 1580000 | #Constraints: 210084
2926.56/2934.01 c #Conflicts: 1581000 | #Constraints: 211084
2926.56/2934.01 c #Conflicts: 1582000 | #Constraints: 212084
2926.56/2934.01 c #Conflicts: 1583000 | #Constraints: 213084
2926.56/2934.01 c #Conflicts: 1584000 | #Constraints: 214084
2926.56/2934.01 c #Conflicts: 1585000 | #Constraints: 215084
2926.56/2934.01 c #Conflicts: 1586000 | #Constraints: 216084
2926.56/2934.01 c #Conflicts: 1587000 | #Constraints: 217084
2926.56/2934.01 c #Conflicts: 1588000 | #Constraints: 218084
2926.56/2934.01 c #Conflicts: 1589000 | #Constraints: 219084
2926.56/2934.01 c #Conflicts: 1590000 | #Constraints: 220084
2926.56/2934.01 c #Conflicts: 1591000 | #Constraints: 221084
2926.56/2934.01 c #Conflicts: 1592000 | #Constraints: 222084
2926.56/2934.01 c #Conflicts: 1593000 | #Constraints: 223084
2926.56/2934.01 c #Conflicts: 1594000 | #Constraints: 224084
2926.56/2934.01 c #Conflicts: 1595000 | #Constraints: 225084
3115.16/3123.12 c #Conflicts: 1596000 | #Constraints: 226084
3115.16/3123.12 c #Conflicts: 1597000 | #Constraints: 227084
3115.16/3123.12 c #Conflicts: 1598000 | #Constraints: 228084
3115.16/3123.12 c #Conflicts: 1599000 | #Constraints: 229084
3115.16/3123.12 c #Conflicts: 1600000 | #Constraints: 230084
3115.16/3123.12 c #Conflicts: 1601000 | #Constraints: 231084
3115.16/3123.12 c #Conflicts: 1602000 | #Constraints: 232084
3115.16/3123.12 c #Conflicts: 1603000 | #Constraints: 233084
3115.16/3123.12 c #Conflicts: 1604000 | #Constraints: 234084
3115.16/3123.12 c #Conflicts: 1605000 | #Constraints: 235084
3115.16/3123.12 c #Conflicts: 1606000 | #Constraints: 236084
3115.16/3123.12 c #Conflicts: 1607000 | #Constraints: 237084
3115.16/3123.12 c #Conflicts: 1608000 | #Constraints: 238084
3115.16/3123.12 c #Conflicts: 1609000 | #Constraints: 239084
3115.16/3123.12 c #Conflicts: 1610000 | #Constraints: 240084
3115.16/3123.12 c #Conflicts: 1611000 | #Constraints: 241084
3115.16/3123.12 c bounds -35 >= -212 @ 3027.88
3115.16/3123.12 c #Conflicts: 1612000 | #Constraints: 242130
3115.16/3123.12 c #Conflicts: 1613000 | #Constraints: 243130
3115.16/3123.12 c #Conflicts: 1614000 | #Constraints: 244130
3115.16/3123.12 c #Conflicts: 1615000 | #Constraints: 245130
3115.16/3123.12 c #Conflicts: 1616000 | #Constraints: 246130
3115.16/3123.12 c #Conflicts: 1617000 | #Constraints: 247130
3115.16/3123.12 c #Conflicts: 1618000 | #Constraints: 248130
3115.16/3123.12 c #Conflicts: 1619000 | #Constraints: 249130
3115.16/3123.12 c #Conflicts: 1620000 | #Constraints: 250130
3115.16/3123.12 c INPROCESSING
3115.16/3123.12 c GARBAGE COLLECT
3115.16/3123.12 c #Conflicts: 1621000 | #Constraints: 189246
3115.16/3123.12 c #Conflicts: 1622000 | #Constraints: 190246
3115.16/3123.12 c #Conflicts: 1623000 | #Constraints: 191246
3115.16/3123.12 c #Conflicts: 1624000 | #Constraints: 192246
3115.16/3123.12 c #Conflicts: 1625000 | #Constraints: 193246
3115.16/3123.12 c #Conflicts: 1626000 | #Constraints: 194246
3115.16/3123.12 c #Conflicts: 1627000 | #Constraints: 195246
3115.16/3123.12 c #Conflicts: 1628000 | #Constraints: 196246
3115.16/3123.12 c #Conflicts: 1629000 | #Constraints: 197246
3115.16/3123.12 c #Conflicts: 1630000 | #Constraints: 198246
3115.16/3123.12 c #Conflicts: 1631000 | #Constraints: 199246
3115.16/3123.12 c #Conflicts: 1632000 | #Constraints: 200246
3115.16/3123.12 c #Conflicts: 1633000 | #Constraints: 201246
3115.16/3123.12 c #Conflicts: 1634000 | #Constraints: 202246
3115.16/3123.12 c #Conflicts: 1635000 | #Constraints: 203246
3115.16/3123.12 c #Conflicts: 1636000 | #Constraints: 204246
3115.16/3123.12 c #Conflicts: 1637000 | #Constraints: 205246
3115.16/3123.12 c #Conflicts: 1638000 | #Constraints: 206246
3115.16/3123.12 c #Conflicts: 1639000 | #Constraints: 207246
3115.16/3123.12 c #Conflicts: 1640000 | #Constraints: 208246
3115.16/3123.12 c #Conflicts: 1641000 | #Constraints: 209246
3115.16/3123.12 c #Conflicts: 1642000 | #Constraints: 210246
3115.16/3123.12 c #Conflicts: 1643000 | #Constraints: 211246
3115.16/3123.12 c #Conflicts: 1644000 | #Constraints: 212246
3115.16/3123.12 c #Conflicts: 1645000 | #Constraints: 213246
3115.16/3123.12 c #Conflicts: 1646000 | #Constraints: 214246
3115.16/3123.12 c #Conflicts: 1647000 | #Constraints: 215246
3115.16/3123.12 c #Conflicts: 1648000 | #Constraints: 216246
3115.16/3123.12 c #Conflicts: 1649000 | #Constraints: 217246
3115.16/3123.12 c #Conflicts: 1650000 | #Constraints: 218246
3115.16/3123.12 c INPROCESSING
3115.16/3123.12 c GARBAGE COLLECT
3115.16/3123.12 c #Conflicts: 1651000 | #Constraints: 173589
3115.16/3123.12 c #Conflicts: 1652000 | #Constraints: 174589
3115.16/3123.12 c #Conflicts: 1653000 | #Constraints: 175589
3115.16/3123.12 c #Conflicts: 1654000 | #Constraints: 176589
3115.16/3123.12 c #Conflicts: 1655000 | #Constraints: 177589
3115.16/3123.12 c #Conflicts: 1656000 | #Constraints: 178589
3115.16/3123.12 c #Conflicts: 1657000 | #Constraints: 179589
3115.16/3123.12 c #Conflicts: 1658000 | #Constraints: 180589
3115.16/3123.12 c #Conflicts: 1659000 | #Constraints: 181589
3115.16/3123.12 c #Conflicts: 1660000 | #Constraints: 182589
3115.16/3123.12 c #Conflicts: 1661000 | #Constraints: 183589
3115.16/3123.12 c #Conflicts: 1662000 | #Constraints: 184589
3115.16/3123.12 c #Conflicts: 1663000 | #Constraints: 185589
3115.16/3123.12 c #Conflicts: 1664000 | #Constraints: 186589
3115.16/3123.12 c #Conflicts: 1665000 | #Constraints: 187589
3115.16/3123.12 c #Conflicts: 1666000 | #Constraints: 188589
3115.16/3123.12 c #Conflicts: 1667000 | #Constraints: 189589
3115.16/3123.12 c #Conflicts: 1668000 | #Constraints: 190589
3115.16/3123.12 c #Conflicts: 1669000 | #Constraints: 191589
3115.16/3123.12 c #Conflicts: 1670000 | #Constraints: 192589
3115.16/3123.12 c #Conflicts: 1671000 | #Constraints: 193589
3115.16/3123.12 c #Conflicts: 1672000 | #Constraints: 194589
3227.65/3235.96 c #Conflicts: 1673000 | #Constraints: 195589
3227.65/3235.96 c #Conflicts: 1674000 | #Constraints: 196589
3227.65/3235.96 c #Conflicts: 1675000 | #Constraints: 197589
3227.65/3235.96 c #Conflicts: 1676000 | #Constraints: 198589
3227.65/3235.96 c #Conflicts: 1677000 | #Constraints: 199589
3227.65/3235.96 c #Conflicts: 1678000 | #Constraints: 200589
3227.65/3235.96 c #Conflicts: 1679000 | #Constraints: 201589
3227.65/3235.96 c INPROCESSING
3227.65/3235.96 c GARBAGE COLLECT
3227.65/3235.96 c #Conflicts: 1680000 | #Constraints: 164965
3227.65/3235.96 c #Conflicts: 1681000 | #Constraints: 165965
3227.65/3235.96 c #Conflicts: 1682000 | #Constraints: 166965
3227.65/3235.96 c #Conflicts: 1683000 | #Constraints: 167965
3227.65/3235.96 c #Conflicts: 1684000 | #Constraints: 168965
3227.65/3235.96 c #Conflicts: 1685000 | #Constraints: 169965
3227.65/3235.96 c #Conflicts: 1686000 | #Constraints: 170965
3227.65/3235.96 c #Conflicts: 1687000 | #Constraints: 171965
3227.65/3235.96 c #Conflicts: 1688000 | #Constraints: 172965
3227.65/3235.96 c #Conflicts: 1689000 | #Constraints: 173965
3227.65/3235.96 c #Conflicts: 1690000 | #Constraints: 174965
3227.65/3235.96 c #Conflicts: 1691000 | #Constraints: 175965
3227.65/3235.96 c #Conflicts: 1692000 | #Constraints: 176965
3227.65/3235.96 c #Conflicts: 1693000 | #Constraints: 177965
3227.65/3235.96 c #Conflicts: 1694000 | #Constraints: 178965
3227.65/3235.96 c #Conflicts: 1695000 | #Constraints: 179965
3227.65/3235.96 c #Conflicts: 1696000 | #Constraints: 180965
3227.65/3235.96 c #Conflicts: 1697000 | #Constraints: 181965
3227.65/3235.96 c #Conflicts: 1698000 | #Constraints: 182965
3227.65/3235.96 c #Conflicts: 1699000 | #Constraints: 183965
3227.65/3235.96 c #Conflicts: 1700000 | #Constraints: 184965
3227.65/3235.96 c #Conflicts: 1701000 | #Constraints: 185965
3227.65/3235.96 c #Conflicts: 1702000 | #Constraints: 186965
3227.65/3235.96 c #Conflicts: 1703000 | #Constraints: 187965
3227.65/3235.96 c #Conflicts: 1704000 | #Constraints: 188965
3227.65/3235.96 c #Conflicts: 1705000 | #Constraints: 189965
3227.65/3235.96 c #Conflicts: 1706000 | #Constraints: 190965
3227.65/3235.96 c #Conflicts: 1707000 | #Constraints: 191965
3227.65/3235.96 c #Conflicts: 1708000 | #Constraints: 192965
3227.65/3235.96 c #Conflicts: 1709000 | #Constraints: 193965
3227.65/3235.96 c INPROCESSING
3227.65/3235.96 c GARBAGE COLLECT
3227.65/3235.96 c #Conflicts: 1710000 | #Constraints: 161257
3227.65/3235.96 c #Conflicts: 1711000 | #Constraints: 162257
3227.65/3235.96 c #Conflicts: 1712000 | #Constraints: 163257
3227.65/3235.96 c #Conflicts: 1713000 | #Constraints: 164257
3227.65/3235.96 c #Conflicts: 1714000 | #Constraints: 165257
3227.65/3235.96 c #Conflicts: 1715000 | #Constraints: 166257
3227.65/3235.96 c #Conflicts: 1716000 | #Constraints: 167257
3227.65/3235.96 c #Conflicts: 1717000 | #Constraints: 168257
3227.65/3235.96 c #Conflicts: 1718000 | #Constraints: 169257
3227.65/3235.96 c #Conflicts: 1719000 | #Constraints: 170257
3227.65/3235.96 c #Conflicts: 1720000 | #Constraints: 171257
3227.65/3235.96 c #Conflicts: 1721000 | #Constraints: 172257
3227.65/3235.96 c #Conflicts: 1722000 | #Constraints: 173257
3227.65/3235.96 c #Conflicts: 1723000 | #Constraints: 174257
3227.65/3235.96 c #Conflicts: 1724000 | #Constraints: 175257
3227.65/3235.96 c #Conflicts: 1725000 | #Constraints: 176257
3227.65/3235.96 c #Conflicts: 1726000 | #Constraints: 177257
3227.65/3235.96 c #Conflicts: 1727000 | #Constraints: 178257
3227.65/3235.96 c #Conflicts: 1728000 | #Constraints: 179257
3227.65/3235.96 c #Conflicts: 1729000 | #Constraints: 180257
3227.65/3235.96 c #Conflicts: 1730000 | #Constraints: 181257
3227.65/3235.96 c #Conflicts: 1731000 | #Constraints: 182257
3227.65/3235.96 c #Conflicts: 1732000 | #Constraints: 183257
3227.65/3235.96 c #Conflicts: 1733000 | #Constraints: 184257
3227.65/3235.96 c #Conflicts: 1734000 | #Constraints: 185257
3227.65/3235.96 c #Conflicts: 1735000 | #Constraints: 186257
3227.65/3235.96 c #Conflicts: 1736000 | #Constraints: 187257
3227.65/3235.96 c #Conflicts: 1737000 | #Constraints: 188257
3227.65/3235.96 c #Conflicts: 1738000 | #Constraints: 189257
3227.65/3235.96 c #Conflicts: 1739000 | #Constraints: 190257
3227.65/3235.96 c #Conflicts: 1740000 | #Constraints: 191257
3227.65/3235.96 c #Conflicts: 1741000 | #Constraints: 192257
3227.65/3235.96 c #Conflicts: 1742000 | #Constraints: 193257
3227.65/3235.96 c #Conflicts: 1743000 | #Constraints: 194257
3227.65/3235.96 c #Conflicts: 1744000 | #Constraints: 195257
3227.65/3235.96 c #Conflicts: 1745000 | #Constraints: 196257
3227.65/3235.96 c #Conflicts: 1746000 | #Constraints: 197257
3227.65/3235.96 c #Conflicts: 1747000 | #Constraints: 198257
3227.65/3235.96 c #Conflicts: 1748000 | #Constraints: 199257
3227.65/3235.96 c #Conflicts: 1749000 | #Constraints: 200257
3227.65/3235.96 c #Conflicts: 1750000 | #Constraints: 201257
3538.58/3547.65 c #Conflicts: 1751000 | #Constraints: 202257
3538.58/3547.65 c #Conflicts: 1752000 | #Constraints: 203257
3538.58/3547.65 c #Conflicts: 1753000 | #Constraints: 204257
3538.58/3547.65 c #Conflicts: 1754000 | #Constraints: 205257
3538.58/3547.65 c #Conflicts: 1755000 | #Constraints: 206257
3538.58/3547.65 c #Conflicts: 1756000 | #Constraints: 207257
3538.58/3547.65 c #Conflicts: 1757000 | #Constraints: 208257
3538.58/3547.65 c #Conflicts: 1758000 | #Constraints: 209257
3538.58/3547.65 c #Conflicts: 1759000 | #Constraints: 210257
3538.58/3547.65 c #Conflicts: 1760000 | #Constraints: 211257
3538.58/3547.65 c #Conflicts: 1761000 | #Constraints: 212257
3538.58/3547.65 c #Conflicts: 1762000 | #Constraints: 213257
3538.58/3547.65 c #Conflicts: 1763000 | #Constraints: 214257
3538.58/3547.65 c #Conflicts: 1764000 | #Constraints: 215257
3538.58/3547.65 c #Conflicts: 1765000 | #Constraints: 216257
3538.58/3547.65 c #Conflicts: 1766000 | #Constraints: 217257
3538.58/3547.65 c #Conflicts: 1767000 | #Constraints: 218257
3538.58/3547.65 c #Conflicts: 1768000 | #Constraints: 219257
3538.58/3547.65 c #Conflicts: 1769000 | #Constraints: 220257
3538.58/3547.65 c #Conflicts: 1770000 | #Constraints: 221257
3538.58/3547.65 c #Conflicts: 1771000 | #Constraints: 222257
3538.58/3547.65 c #Conflicts: 1772000 | #Constraints: 223257
3538.58/3547.65 c #Conflicts: 1773000 | #Constraints: 224257
3538.58/3547.65 c #Conflicts: 1774000 | #Constraints: 225257
3538.58/3547.65 c #Conflicts: 1775000 | #Constraints: 226257
3538.58/3547.65 c #Conflicts: 1776000 | #Constraints: 227257
3538.58/3547.65 c #Conflicts: 1777000 | #Constraints: 228257
3538.58/3547.65 c #Conflicts: 1778000 | #Constraints: 229257
3538.58/3547.65 c #Conflicts: 1779000 | #Constraints: 230257
3538.58/3547.65 c #Conflicts: 1780000 | #Constraints: 231257
3538.58/3547.65 c #Conflicts: 1781000 | #Constraints: 232257
3538.58/3547.65 c #Conflicts: 1782000 | #Constraints: 233257
3538.58/3547.65 c #Conflicts: 1783000 | #Constraints: 234257
3538.58/3547.65 c #Conflicts: 1784000 | #Constraints: 235257
3538.58/3547.65 c #Conflicts: 1785000 | #Constraints: 236257
3538.58/3547.65 c #Conflicts: 1786000 | #Constraints: 237257
3538.58/3547.65 c #Conflicts: 1787000 | #Constraints: 238257
3538.58/3547.65 c #Conflicts: 1788000 | #Constraints: 239257
3538.58/3547.65 c #Conflicts: 1789000 | #Constraints: 240257
3538.58/3547.65 c #Conflicts: 1790000 | #Constraints: 241257
3538.58/3547.65 c #Conflicts: 1791000 | #Constraints: 242257
3538.58/3547.65 c #Conflicts: 1792000 | #Constraints: 243257
3538.58/3547.65 c #Conflicts: 1793000 | #Constraints: 244257
3538.58/3547.65 c #Conflicts: 1794000 | #Constraints: 245257
3538.58/3547.65 c #Conflicts: 1795000 | #Constraints: 246257
3538.58/3547.65 c #Conflicts: 1796000 | #Constraints: 247257
3538.58/3547.65 c #Conflicts: 1797000 | #Constraints: 248257
3538.58/3547.65 c #Conflicts: 1798000 | #Constraints: 249257
3538.58/3547.65 c #Conflicts: 1799000 | #Constraints: 250257
3538.58/3547.65 c #Conflicts: 1800000 | #Constraints: 251257
3538.58/3547.65 c #Conflicts: 1801000 | #Constraints: 252257
3538.58/3547.65 c #Conflicts: 1802000 | #Constraints: 253257
3538.58/3547.65 c #Conflicts: 1803000 | #Constraints: 254257
3538.58/3547.65 c #Conflicts: 1804000 | #Constraints: 255257
3538.58/3547.65 c #Conflicts: 1805000 | #Constraints: 256257
3538.58/3547.65 c #Conflicts: 1806000 | #Constraints: 257257
3538.58/3547.65 c #Conflicts: 1807000 | #Constraints: 258257
3538.58/3547.65 c #Conflicts: 1808000 | #Constraints: 259257
3538.58/3547.65 c #Conflicts: 1809000 | #Constraints: 260257
3538.58/3547.65 c INPROCESSING
3538.58/3547.65 c GARBAGE COLLECT
3538.58/3547.65 c #Conflicts: 1810000 | #Constraints: 194366
3538.58/3547.65 c #Conflicts: 1811000 | #Constraints: 195366
3538.58/3547.65 c #Conflicts: 1812000 | #Constraints: 196366
3538.58/3547.65 c #Conflicts: 1813000 | #Constraints: 197366
3538.58/3547.65 c #Conflicts: 1814000 | #Constraints: 198366
3538.58/3547.65 c #Conflicts: 1815000 | #Constraints: 199366
3538.58/3547.65 c #Conflicts: 1816000 | #Constraints: 200366
3538.58/3547.65 c #Conflicts: 1817000 | #Constraints: 201366
3538.58/3547.65 c #Conflicts: 1818000 | #Constraints: 202366
3538.58/3547.65 c #Conflicts: 1819000 | #Constraints: 203366
3538.58/3547.65 c #Conflicts: 1820000 | #Constraints: 204366
3538.58/3547.65 c #Conflicts: 1821000 | #Constraints: 205366
3538.58/3547.65 c #Conflicts: 1822000 | #Constraints: 206366
3538.58/3547.65 c #Conflicts: 1823000 | #Constraints: 207366
3538.58/3547.65 c #Conflicts: 1824000 | #Constraints: 208366
3538.58/3547.65 c #Conflicts: 1825000 | #Constraints: 209366
3538.58/3547.65 c #Conflicts: 1826000 | #Constraints: 210366
3538.58/3547.65 c #Conflicts: 1827000 | #Constraints: 211366
3538.58/3547.65 c #Conflicts: 1828000 | #Constraints: 212366
3600.02/3609.21 c #Conflicts: 1829000 | #Constraints: 213366
3600.02/3609.21 c #Conflicts: 1830000 | #Constraints: 214366
3600.02/3609.21 c #Conflicts: 1831000 | #Constraints: 215366
3600.02/3609.21 c #Conflicts: 1832000 | #Constraints: 216366
3600.02/3609.21 c #Conflicts: 1833000 | #Constraints: 217366
3600.02/3609.21 c #Conflicts: 1834000 | #Constraints: 218366
3600.02/3609.21 c #Conflicts: 1835000 | #Constraints: 219366
3600.02/3609.21 c #Conflicts: 1836000 | #Constraints: 220366
3600.02/3609.21 c #Conflicts: 1837000 | #Constraints: 221366
3600.02/3609.21 c #Conflicts: 1838000 | #Constraints: 222366
3600.02/3609.21 c #Conflicts: 1839000 | #Constraints: 223366
3600.02/3609.21 c #Conflicts: 1840000 | #Constraints: 224366
3600.02/3609.21 c INPROCESSING
3600.02/3609.21 c GARBAGE COLLECT
3600.02/3609.21 c #Conflicts: 1841000 | #Constraints: 176356
3600.02/3609.21 c #Conflicts: 1842000 | #Constraints: 177356
3600.02/3609.21 c #Conflicts: 1843000 | #Constraints: 178356
3600.02/3609.21 c #Conflicts: 1844000 | #Constraints: 179356
3600.02/3609.21 c #Conflicts: 1845000 | #Constraints: 180356
3600.02/3609.21 c #Conflicts: 1846000 | #Constraints: 181356
3600.02/3609.21 c #Conflicts: 1847000 | #Constraints: 182356
3600.02/3609.21 c #Conflicts: 1848000 | #Constraints: 183356
3600.02/3609.21 c #Conflicts: 1849000 | #Constraints: 184356
3600.02/3609.21 c #Conflicts: 1850000 | #Constraints: 185356
3600.02/3609.21 c Program interrupted by user.
3600.02/3609.21 c cpu time 3589.72 s
3600.02/3609.21 c deterministic time 338900722345 3.39e+11
3600.02/3609.21 c optimization time 21.3078 s
3600.02/3609.21 c total solve time 3568.1 s
3600.02/3609.21 c core-guided solve time 3568.1 s
3600.02/3609.21 c propagation time 3044.28 s
3600.02/3609.21 c conflict analysis time 523.915 s
3600.02/3609.21 c propagations 753879417
3600.02/3609.21 c resolve steps 39860333
3600.02/3609.21 c decisions 4493898
3600.02/3609.21 c conflicts 1850173
3600.02/3609.21 c restarts 3580
3600.02/3609.21 c inprocessing phases 79
3600.02/3609.21 c input clauses 126573
3600.02/3609.21 c input cardinalities 258
3600.02/3609.21 c input general constraints 156
3600.02/3609.21 c input average constraint length 2.76
3600.02/3609.21 c input average constraint degree 1.48
3600.02/3609.21 c learned clauses 1350213
3600.02/3609.21 c learned cardinalities 6824
3600.02/3609.21 c learned general constraints 493125
3600.02/3609.21 c learned average constraint length 89.03
3600.02/3609.21 c learned average constraint degree 322.71
3600.02/3609.21 c watched constraints 449959
3600.02/3609.21 c counting constraints 43322
3600.02/3609.21 c gcd simplifications 10127
3600.02/3609.21 c detected cardinalities 855
3600.02/3609.21 c weakened non-implied lits 9841991
3600.02/3609.21 c weakened non-implying lits 27309
3600.02/3609.21 c original variables 1534
3600.02/3609.21 c clausal propagations 711081449
3600.02/3609.21 c cardinality propagations 186981
3600.02/3609.21 c watched propagations 7413701
3600.02/3609.21 c counting propagations 33712381
3600.02/3609.21 c watch lookups 78690611596
3600.02/3609.21 c watch backjump lookups 64718138925
3600.02/3609.21 c watch checks 175688308098
3600.02/3609.21 c propagation checks 17788169319
3600.02/3609.21 c constraint additions 496898586
3600.02/3609.21 c trail pops 760222505
3600.02/3609.21 c formula constraints 126163
3600.02/3609.21 c learned constraints 1850162
3600.02/3609.21 c bound constraints 60
3600.02/3609.21 c core-guided constraints 764
3600.02/3609.21 c encountered formula constraints 18444431
3600.02/3609.21 c encountered learned constraints 22197193
3600.02/3609.21 c encountered bound constraints 276
3600.02/3609.21 c encountered core-guided constraints 1068606
3600.02/3609.21 c LP total time 0 s
3600.02/3609.21 c LP solve time 0 s
3600.02/3609.21 c LP constraints added 0
3600.02/3609.21 c LP constraints removed 0
3600.02/3609.21 c LP pivots internal 0
3600.02/3609.21 c LP pivots root 0
3600.02/3609.21 c LP calls 0
3600.02/3609.21 c LP optimalities 0
3600.02/3609.21 c LP no pivot count 0
3600.02/3609.21 c LP infeasibilities 0
3600.02/3609.21 c LP valid Farkas constraints 0
3600.02/3609.21 c LP learned Farkas constraints 0
3600.02/3609.21 c LP basis resets 0
3600.02/3609.21 c LP cycling count 0
3600.02/3609.21 c LP singular count 0
3600.02/3609.21 c LP no primal count 0
3600.02/3609.21 c LP no farkas count 0
3600.02/3609.21 c LP other issue count 0
3600.02/3609.21 c LP Gomory cuts 0
3600.02/3609.21 c LP learned cuts 0
3600.02/3609.21 c LP deleted cuts 0
3600.02/3609.21 c LP encountered Gomory constraints 0
3600.02/3609.21 c LP encountered Farkas constraints 0
3600.02/3609.21 c LP encountered learned Farkas constraints 0
3600.02/3609.21 c CG auxiliary variables introduced 444
3600.02/3609.21 c CG solutions found 1
3600.02/3609.21 c CG cores constructed 46
3600.02/3609.21 c CG core cardinality constraints returned 0
3600.02/3609.21 c CG unit cores 0
3600.02/3609.21 c CG single cores 46
3600.02/3609.21 c CG blocks removed during cardinality reduction 0
3600.02/3609.21 c CG first core best 0
3600.02/3609.21 c CG decision core best 0
3600.02/3609.21 c CG core reduction tie 0
3600.02/3609.21 c CG core degree average 1.00
3600.02/3609.21 c CG core slack average 8.09
3600.02/3609.21 c CG exhausted 10
3600.02/3609.21 c CG exhaust time 10.1846 s
3600.02/3609.21 c CG trimmed 2
3600.02/3609.21 c CG trim time 0.001869 s
3600.02/3609.21 c CG minimized 0
3600.02/3609.21 c CG minimize time 0 s
3600.02/3609.21 c CG am1 prop time 0.011669 s
3600.02/3609.21 c CG # am1s reformulated 267
3600.02/3609.21 c CG lower bound derived from am1s 1266
3600.02/3609.21 c CG # clausal cores 46
3600.02/3609.21 c CG # cardinality cores 0
3600.02/3609.21 c CG # pb cores 0
3600.02/3609.21 c CG # pb reforms 0
3600.02/3609.21 c CG # cores discarded because of pb reform 0
3600.02/3609.21 d LOWERBOUND -212
3600.02/3609.21 d NCORES 46
3600.02/3609.21 d NPBCORES 0
3600.02/3609.21 d NPBREFORM 0
3600.02/3609.21 d NTRIMMED 2
3600.02/3609.21 d NEXHAUSTED 10
3600.02/3609.21 d NAM1S 267
3600.02/3609.21 d AM1LB 1266
3600.02/3609.21 o -35
3600.02/3609.21 s SATISFIABLE
3600.02/3609.21 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 (62723 MiB free)
memory of node 1: 64510 MiB (63078 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454370-1721441024/watcher-4454370-1721441024 -o /tmp/evaluation-result-4454370-1721441024/solver-4454370-1721441024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032988 --watchdog 3760 pb-oll-rs HOME/instance-4454370-1721441024.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=1035001, runsolver pid=1034998
[startup+0.100088 s]*
/proc/loadavg: 4.10 4.11 4.09 4/241 1035002
/proc/meminfo: memFree=128816244/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=40272 memory=7000 CPUtime=0.1 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 798 0 0 0 7 3 0 0 20 0 1 0 196261971 41238528 1750 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 10068 1750 1157 291 0 1602 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 7000 KiB
[startup+0.212067 s]*
/proc/loadavg: 4.10 4.11 4.09 7/240 1035013
/proc/meminfo: memFree=128813480/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=40932 memory=9836 CPUtime=0.21 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 1019 0 0 0 15 6 0 0 20 0 1 0 196261971 41914368 2459 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 10233 2459 1157 291 0 1767 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40932 KiB
Current children cumulated memory: 9836 KiB
[startup+0.312139 s]*
/proc/loadavg: 4.10 4.11 4.09 4/240 1035023
/proc/meminfo: memFree=128815456/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=41592 memory=10628 CPUtime=0.31 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 1221 0 0 0 21 10 0 0 20 0 1 0 196261971 42590208 2657 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 10398 2657 1157 291 0 1932 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41592 KiB
Current children cumulated memory: 10628 KiB
[startup+0.700305 s]
/proc/loadavg: 4.10 4.11 4.09 5/244 1035034
/proc/meminfo: memFree=128788692/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=57728 memory=27816 CPUtime=0.68 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 5450 0 0 0 51 17 0 0 20 0 1 0 196261971 59113472 6954 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 14432 6954 1347 291 0 5966 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57728 KiB
Current children cumulated memory: 27816 KiB
[startup+1.50034 s]
/proc/loadavg: 4.10 4.11 4.09 6/244 1035034
/proc/meminfo: memFree=128757296/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=74188 memory=40120 CPUtime=1.49 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 7905 0 0 0 129 20 0 0 20 0 1 0 196261971 75968512 10030 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 18547 10030 1408 291 0 10081 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74188 KiB
Current children cumulated memory: 40120 KiB
[startup+3.11348 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 1035082
/proc/meminfo: memFree=128790880/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=90924 memory=56868 CPUtime=3.1 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 9584 0 0 0 288 22 0 0 20 0 1 0 196261971 93106176 14217 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 22731 14217 1408 291 0 14265 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 90924 KiB
Current children cumulated memory: 56868 KiB
[startup+6.30031 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 1035082
/proc/meminfo: memFree=128665112/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=112608 memory=67996 CPUtime=6.27 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 10812 0 0 0 601 26 0 0 20 0 1 0 196261971 115310592 16999 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 28152 16999 1408 291 0 19686 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112608 KiB
Current children cumulated memory: 67996 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.09 9/244 1035083
/proc/meminfo: memFree=128564160/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=117780 memory=77304 CPUtime=12.66 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 12130 0 0 0 1229 37 0 0 20 0 1 0 196261971 120606720 19326 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 29445 19326 1408 291 0 20979 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 117780 KiB
Current children cumulated memory: 77304 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.09 6/244 1035086
/proc/meminfo: memFree=128418268/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=119384 memory=78888 CPUtime=25.42 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 12538 0 0 0 2489 53 0 0 20 0 1 0 196261971 122249216 19722 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 29846 19722 1408 291 0 21380 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 119384 KiB
Current children cumulated memory: 78888 KiB
[startup+51.1129 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 1035089
/proc/meminfo: memFree=128307240/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=120816 memory=80208 CPUtime=50.97 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 12876 0 0 0 5020 77 0 0 20 0 1 0 196261971 123715584 20052 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 30204 20052 1408 291 0 21738 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 120816 KiB
Current children cumulated memory: 80208 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.16 4.11 5/242 1035099
/proc/meminfo: memFree=128059472/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=123128 memory=82584 CPUtime=102.03 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 13480 0 0 0 10092 111 0 0 20 0 1 0 196261971 126083072 20646 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 30782 20646 1408 291 0 22316 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 123128 KiB
Current children cumulated memory: 82584 KiB
[startup+162.3 s]
/proc/loadavg: 4.66 4.29 4.16 6/242 1035110
/proc/meminfo: memFree=127993768/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=124236 memory=83640 CPUtime=161.87 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 13749 0 0 0 16037 150 0 0 20 0 1 0 196261971 127217664 20910 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 31059 20910 1408 291 0 22593 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 124236 KiB
Current children cumulated memory: 83640 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.25 4.15 5/242 1035120
/proc/meminfo: memFree=127909388/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=124236 memory=83640 CPUtime=221.72 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 13751 0 0 0 21984 188 0 0 20 0 1 0 196261971 127217664 20910 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 31059 20910 1408 291 0 22593 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 124236 KiB
Current children cumulated memory: 83640 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.22 4.15 5/242 1035131
/proc/meminfo: memFree=127863600/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=125424 memory=85244 CPUtime=281.55 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 14189 0 0 0 27942 213 0 0 20 0 1 0 196261971 128434176 21311 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 31356 21311 1408 291 0 22890 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 125424 KiB
Current children cumulated memory: 85244 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.21 4.15 6/242 1035143
/proc/meminfo: memFree=127795136/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=125424 memory=85244 CPUtime=341.4 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 14247 0 0 0 33904 236 0 0 20 0 1 0 196261971 128434176 21311 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 31356 21311 1408 291 0 22890 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 125424 KiB
Current children cumulated memory: 85244 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.20 4.15 5/244 1035157
/proc/meminfo: memFree=127708012/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=126916 memory=86716 CPUtime=401.25 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 14650 0 0 0 39871 254 0 0 20 0 1 0 196261971 129961984 21679 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 31729 21679 1408 291 0 23263 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 126916 KiB
Current children cumulated memory: 86716 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/244 1035167
/proc/meminfo: memFree=127661592/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=126916 memory=86716 CPUtime=461.11 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 14678 0 0 0 45830 281 0 0 20 0 1 0 196261971 129961984 21679 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 31729 21679 1408 291 0 23263 0
################
# More data... #
################
Current children cumulated memory: 107848 KiB
[startup+2862.3 s]
/proc/loadavg: 4.33 4.17 4.17 5/243 1036214
/proc/meminfo: memFree=126499448/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=137552 memory=107848 CPUtime=2855.04 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 19796 0 0 0 284645 859 0 0 20 0 1 0 196261971 140853248 26962 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 34388 26962 1408 291 0 25922 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 137552 KiB
Current children cumulated memory: 107848 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/243 1036225
/proc/meminfo: memFree=126441396/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=137552 memory=107848 CPUtime=2914.88 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 19839 0 0 0 290620 868 0 0 20 0 1 0 196261971 140853248 26962 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 34388 26962 1408 291 0 25922 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 137552 KiB
Current children cumulated memory: 107848 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.16 4.16 6/243 1036235
/proc/meminfo: memFree=126440928/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=137552 memory=107848 CPUtime=2974.73 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 19883 0 0 0 296599 874 0 0 20 0 1 0 196261971 140853248 26962 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 34388 26962 1408 291 0 25922 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 137552 KiB
Current children cumulated memory: 107848 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/243 1036246
/proc/meminfo: memFree=126437508/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=137552 memory=107848 CPUtime=3034.57 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 19929 0 0 0 302578 879 0 0 20 0 1 0 196261971 140853248 26962 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 34388 26962 1408 291 0 25922 0
Current children cumulated CPU time: 3034.57 s
Current children cumulated vsize: 137552 KiB
Current children cumulated memory: 107848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.15 6/243 1036638
/proc/meminfo: memFree=126401264/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=172240 memory=116004 CPUtime=3094.41 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 22335 0 0 0 308525 916 0 0 20 0 1 0 196261971 176373760 29001 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 43060 29001 1408 291 0 34594 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 172240 KiB
Current children cumulated memory: 116004 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/242 1036649
/proc/meminfo: memFree=126393436/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=172504 memory=116156 CPUtime=3154.24 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 22423 0 0 0 314481 943 0 0 20 0 1 0 196261971 176644096 29039 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 43126 29039 1408 291 0 34660 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 116156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/243 1036660
/proc/meminfo: memFree=126349860/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=172504 memory=116360 CPUtime=3214.09 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 22470 0 0 0 320442 967 0 0 20 0 1 0 196261971 176644096 29090 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 43126 29090 1408 291 0 34660 0
Current children cumulated CPU time: 3214.09 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 116360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.14 6/244 1036839
/proc/meminfo: memFree=126305884/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=172504 memory=116388 CPUtime=3273.94 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 22515 0 0 0 326415 979 0 0 20 0 1 0 196261971 176644096 29097 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 43126 29097 1408 291 0 34660 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 116388 KiB
[startup+3342.3 s]
/proc/loadavg: 4.39 4.18 4.15 6/244 1036850
/proc/meminfo: memFree=126259384/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=172504 memory=116388 CPUtime=3333.78 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 22564 0 0 0 332390 988 0 0 20 0 1 0 196261971 176644096 29097 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 43126 29097 1408 291 0 34660 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 116388 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.15 5/245 1036863
/proc/meminfo: memFree=126256748/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=172504 memory=116388 CPUtime=3393.64 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 22616 0 0 0 338367 997 0 0 20 0 1 0 196261971 176644096 29097 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 43126 29097 1408 291 0 34660 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 172504 KiB
Current children cumulated memory: 116388 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.15 5/245 1036884
/proc/meminfo: memFree=126251224/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=174452 memory=120920 CPUtime=3453.49 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 23064 0 0 0 344344 1005 0 0 20 0 1 0 196261971 178638848 30230 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 43613 30230 1408 291 0 35147 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 174452 KiB
Current children cumulated memory: 120920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.69 4.30 4.20 5/244 1036895
/proc/meminfo: memFree=126219356/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=177668 memory=126160 CPUtime=3513.33 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 24715 0 0 0 350318 1015 0 0 20 0 1 0 196261971 181932032 31540 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 44417 31540 1408 291 0 35951 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 177668 KiB
Current children cumulated memory: 126160 KiB
[startup+3582.3 s]
/proc/loadavg: 4.52 4.33 4.21 5/244 1036905
/proc/meminfo: memFree=126208132/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=177668 memory=126160 CPUtime=3573.19 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 24758 0 0 0 356294 1025 0 0 20 0 1 0 196261971 181932032 31540 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 44417 31540 1408 291 0 35951 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 177668 KiB
Current children cumulated memory: 126160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.31 4.30 4.21 4/237 1036917
/proc/meminfo: memFree=126314264/131655788 swapFree=131071996/131071996
[pid=1035001] ppid=1034998 vsize=177764 memory=126264 CPUtime=3600.02 cores=1,3
/proc/1035001/stat : 1035001 (pb-oll-rs) R 1034998 1035001 1032976 0 -1 4194304 25635 0 0 0 358970 1032 0 0 20 0 1 0 196261971 182030336 31566 134679101440 4194304 5384485 140731191299728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24551424 140731191305237 140731191305314 140731191305314 140731191312331 0
/proc/1035001/statm: 44441 31566 1408 291 0 35975 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 177764 KiB
Current children cumulated memory: 126264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.22 s]
# the end of solver process 1035001 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.72 s, system=10.3289 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.22
CPU time (s): 3600.05
CPU user time (s): 3589.72
CPU system time (s): 10.3289
CPU usage (%): 99.746
Max. virtual memory (cumulated for all children) (KiB): 183160
Max. memory (cumulated for all children) (KiB): 131280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.72
system time used= 10.3289
maximum resident set size= 131388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25651
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= 40
involuntary context switches= 1377
# summary of solver processes directly reported to runsolver:
# pid: 1035001
# total CPU time (s): 3600.05
# total CPU user time (s): 3589.72
# total CPU system time (s): 10.3289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.3565 second user time and 27.5436 second system time
The end
Begin job on nodeC009 at 2024-07-20 04:03:56
IDJOB=4454370
IDBENCH=146702
IDSOLVER=3082
FILE ID=nodeC009/4454370-1721441024
RUNJOBID= nodeC009-1721437426-1032988
SLURM_JOB_ID= 7545646
Free space on /tmp= 723756 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454370-1721441024/watcher-4454370-1721441024 -o /tmp/evaluation-result-4454370-1721441024/solver-4454370-1721441024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032988 --watchdog 3760 pb-oll-rs HOME/instance-4454370-1721441024.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13efe7890d7fc5aab9247ea9860b6d53
RANDOM SEED=1219930127
nodeC009.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 : 3664.258
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 : 6984.34
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 : 2117.997
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.27
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.491
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 : 6984.34
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.325
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.27
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 : 1799.418
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 : 6984.34
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 : 3512.567
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.27
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.318
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 : 6984.34
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.359
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128823292 kB
MemAvailable: 129784336 kB
Buffers: 590488 kB
Cached: 1215392 kB
SwapCached: 0 kB
Active: 1147424 kB
Inactive: 1131128 kB
Active(anon): 1468 kB
Inactive(anon): 517416 kB
Active(file): 1145956 kB
Inactive(file): 613712 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8052 kB
Writeback: 52 kB
AnonPages: 471336 kB
Mapped: 110408 kB
Shmem: 45892 kB
KReclaimable: 82812 kB
Slab: 184368 kB
SReclaimable: 82812 kB
SUnreclaim: 101556 kB
KernelStack: 3884 kB
PageTables: 10132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 879956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 532480 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC009 at 2024-07-20 05:04:05