0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.03 c Papilo could not simplify the problem
0.00/0.03 c [STEP] solving with SCIP
299.26/300.32 c [STEP] preprocessing done, loading into solver
299.26/300.33 c [STEP] solving
299.26/300.33 c #variables 950 #constraints 1248
299.26/300.33 c SMALL=int, LARGE=long long
299.26/300.33 d SCIPUB -166
299.26/300.33 c bounds - >= -460 @ 299.091
299.26/300.33 c stratification level: 1
299.26/300.35 c bounds - >= -421 @ 299.093
299.26/300.35 c bounds - >= -420 @ 299.094
299.26/300.35 c bounds - >= -419 @ 299.094
299.26/300.35 c bounds - >= -418 @ 299.094
299.26/300.35 c bounds - >= -417 @ 299.094
299.26/300.35 c bounds - >= -416 @ 299.094
299.26/300.35 c bounds - >= -415 @ 299.094
299.26/300.35 c bounds - >= -414 @ 299.094
299.26/300.35 c bounds - >= -413 @ 299.095
299.26/300.35 c bounds - >= -412 @ 299.095
299.26/300.35 c bounds - >= -411 @ 299.095
299.26/300.35 c bounds - >= -410 @ 299.095
299.26/300.35 c bounds - >= -409 @ 299.095
299.26/300.35 c bounds - >= -408 @ 299.096
299.26/300.35 c bounds - >= -407 @ 299.096
299.26/300.35 c bounds - >= -406 @ 299.096
299.26/300.35 c bounds - >= -405 @ 299.096
299.26/300.35 c bounds - >= -404 @ 299.096
299.26/300.35 c bounds - >= -403 @ 299.096
299.26/300.35 c bounds - >= -402 @ 299.096
299.26/300.35 c bounds - >= -401 @ 299.096
299.26/300.35 c bounds - >= -400 @ 299.096
299.26/300.35 c bounds - >= -399 @ 299.097
299.26/300.35 c bounds - >= -398 @ 299.097
299.26/300.35 c bounds - >= -397 @ 299.097
299.26/300.35 c bounds - >= -396 @ 299.097
299.26/300.35 c bounds - >= -395 @ 299.097
299.26/300.35 c bounds - >= -394 @ 299.097
299.26/300.35 c bounds - >= -393 @ 299.097
299.26/300.35 c bounds - >= -392 @ 299.098
299.26/300.35 c bounds - >= -391 @ 299.098
299.26/300.35 c bounds - >= -390 @ 299.098
299.26/300.35 c bounds - >= -389 @ 299.098
299.26/300.35 c bounds - >= -388 @ 299.098
299.26/300.35 c bounds - >= -387 @ 299.098
299.26/300.35 c bounds - >= -386 @ 299.098
299.26/300.35 c bounds - >= -385 @ 299.098
299.26/300.35 c bounds - >= -384 @ 299.099
299.26/300.35 c bounds - >= -383 @ 299.099
299.26/300.35 c bounds - >= -382 @ 299.099
299.26/300.35 c bounds - >= -381 @ 299.099
299.26/300.35 c bounds - >= -380 @ 299.099
299.26/300.35 c bounds - >= -379 @ 299.099
299.26/300.35 c bounds - >= -378 @ 299.099
299.26/300.35 c bounds - >= -377 @ 299.099
299.26/300.35 c bounds - >= -376 @ 299.1
299.26/300.35 c bounds - >= -375 @ 299.1
299.26/300.35 c bounds - >= -374 @ 299.1
299.26/300.35 c bounds - >= -373 @ 299.1
299.26/300.35 c bounds - >= -372 @ 299.1
299.26/300.35 c bounds - >= -371 @ 299.1
299.26/300.35 c bounds - >= -370 @ 299.1
299.26/300.35 c bounds - >= -369 @ 299.1
299.26/300.35 c bounds - >= -368 @ 299.101
299.26/300.35 c bounds - >= -367 @ 299.101
299.26/300.35 c bounds - >= -366 @ 299.101
299.26/300.35 c bounds - >= -365 @ 299.101
299.26/300.35 c bounds - >= -364 @ 299.101
299.26/300.35 c bounds - >= -363 @ 299.101
299.26/300.35 c bounds - >= -362 @ 299.101
299.26/300.35 c bounds - >= -361 @ 299.101
299.26/300.35 c bounds - >= -360 @ 299.101
299.26/300.35 c bounds - >= -359 @ 299.101
299.26/300.35 c bounds - >= -358 @ 299.101
299.26/300.35 c bounds - >= -357 @ 299.101
299.26/300.35 c bounds - >= -356 @ 299.101
299.26/300.35 c bounds - >= -355 @ 299.101
299.26/300.35 c bounds - >= -354 @ 299.101
299.26/300.35 c bounds - >= -353 @ 299.102
299.26/300.35 c bounds - >= -352 @ 299.102
299.26/300.35 c bounds - >= -351 @ 299.102
299.26/300.35 c bounds - >= -350 @ 299.102
299.26/300.35 c bounds - >= -349 @ 299.102
299.26/300.35 c bounds - >= -348 @ 299.102
299.26/300.35 c bounds - >= -347 @ 299.102
299.26/300.35 c bounds - >= -346 @ 299.102
299.26/300.35 c bounds - >= -345 @ 299.103
299.26/300.35 c bounds - >= -344 @ 299.103
299.26/300.35 c bounds - >= -343 @ 299.103
299.26/300.35 c bounds - >= -342 @ 299.103
299.26/300.35 c bounds - >= -341 @ 299.103
299.26/300.35 c bounds - >= -340 @ 299.103
299.26/300.35 c bounds - >= -339 @ 299.103
299.26/300.35 c bounds - >= -338 @ 299.103
299.26/300.35 c bounds - >= -337 @ 299.104
299.26/300.35 c bounds - >= -336 @ 299.104
299.26/300.35 c bounds - >= -335 @ 299.104
299.26/300.35 c bounds - >= -334 @ 299.104
299.26/300.35 c bounds - >= -333 @ 299.104
299.26/300.35 c bounds - >= -332 @ 299.104
299.26/300.35 c bounds - >= -331 @ 299.104
299.26/300.35 c bounds - >= -330 @ 299.104
299.26/300.35 c bounds - >= -329 @ 299.105
299.26/300.35 c bounds - >= -328 @ 299.105
299.26/300.35 c bounds - >= -327 @ 299.105
299.26/300.35 c bounds - >= -326 @ 299.105
299.26/300.35 c bounds - >= -325 @ 299.105
299.26/300.35 c bounds - >= -324 @ 299.105
299.26/300.35 c bounds - >= -323 @ 299.105
299.26/300.35 c bounds - >= -322 @ 299.105
299.26/300.35 c bounds - >= -321 @ 299.106
299.26/300.35 c bounds - >= -320 @ 299.106
299.26/300.35 c bounds - >= -319 @ 299.106
299.26/300.35 c bounds - >= -318 @ 299.106
299.26/300.35 c bounds - >= -317 @ 299.106
299.26/300.35 c bounds - >= -316 @ 299.106
299.26/300.35 c bounds - >= -315 @ 299.106
299.26/300.35 c bounds - >= -314 @ 299.106
299.26/300.35 c bounds - >= -313 @ 299.106
299.26/300.35 c bounds - >= -312 @ 299.106
299.26/300.35 c bounds - >= -311 @ 299.106
299.26/300.35 c bounds - >= -310 @ 299.106
299.26/300.35 c bounds - >= -309 @ 299.106
299.26/300.35 c bounds - >= -308 @ 299.106
299.26/300.35 c bounds - >= -307 @ 299.106
299.26/300.35 c bounds - >= -306 @ 299.106
299.26/300.35 c bounds - >= -305 @ 299.106
299.26/300.35 c bounds - >= -304 @ 299.107
299.26/300.35 c bounds - >= -303 @ 299.107
299.26/300.35 c bounds - >= -302 @ 299.107
299.26/300.35 c bounds - >= -301 @ 299.107
299.26/300.35 c bounds - >= -300 @ 299.107
299.26/300.35 c bounds - >= -299 @ 299.107
299.26/300.35 c bounds - >= -298 @ 299.107
299.26/300.35 c bounds - >= -297 @ 299.108
299.26/300.35 c bounds - >= -296 @ 299.108
299.26/300.35 c bounds - >= -295 @ 299.108
299.26/300.35 c bounds - >= -294 @ 299.108
299.26/300.35 c bounds - >= -293 @ 299.108
299.26/300.35 c bounds - >= -292 @ 299.108
299.26/300.35 c bounds - >= -291 @ 299.108
299.26/300.35 c bounds - >= -290 @ 299.108
299.26/300.35 c bounds - >= -289 @ 299.109
299.26/300.35 c bounds - >= -288 @ 299.109
299.26/300.35 c bounds - >= -287 @ 299.109
299.26/300.35 c bounds - >= -286 @ 299.109
299.26/300.35 c bounds - >= -285 @ 299.109
299.26/300.35 c bounds - >= -284 @ 299.109
299.26/300.35 c bounds - >= -283 @ 299.11
299.26/300.35 c bounds - >= -282 @ 299.11
299.26/300.35 c bounds - >= -281 @ 299.11
299.26/300.35 c bounds - >= -280 @ 299.11
315.29/316.43 c bounds - >= -279 @ 299.11
315.29/316.43 c bounds - >= -278 @ 299.11
315.29/316.43 c bounds - >= -277 @ 299.11
315.29/316.43 c bounds - >= -276 @ 299.11
315.29/316.43 c bounds - >= -275 @ 299.11
315.29/316.43 c bounds - >= -274 @ 299.11
315.29/316.43 c bounds - >= -273 @ 299.11
315.29/316.43 c bounds - >= -272 @ 299.11
315.29/316.43 c bounds - >= -271 @ 299.11
315.29/316.43 c bounds - >= -270 @ 299.11
315.29/316.43 c bounds - >= -269 @ 299.11
315.29/316.43 c bounds - >= -268 @ 299.11
315.29/316.43 c bounds - >= -267 @ 299.11
315.29/316.43 c bounds - >= -266 @ 299.11
315.29/316.43 c bounds - >= -265 @ 299.11
315.29/316.43 c bounds - >= -264 @ 299.11
315.29/316.43 c bounds - >= -263 @ 299.11
315.29/316.43 c bounds - >= -262 @ 299.111
315.29/316.43 c bounds - >= -261 @ 299.111
315.29/316.43 c bounds - >= -260 @ 299.111
315.29/316.43 c bounds - >= -259 @ 299.111
315.29/316.43 c bounds - >= -258 @ 299.111
315.29/316.43 c bounds - >= -257 @ 299.112
315.29/316.43 c bounds - >= -256 @ 299.112
315.29/316.43 c bounds - >= -255 @ 299.112
315.29/316.43 c bounds - >= -254 @ 299.112
315.29/316.43 c bounds - >= -253 @ 299.112
315.29/316.43 c bounds - >= -252 @ 299.113
315.29/316.43 c bounds - >= -251 @ 299.113
315.29/316.43 c bounds - >= -250 @ 299.113
315.29/316.43 c bounds - >= -249 @ 299.113
315.29/316.43 c bounds - >= -248 @ 299.114
315.29/316.43 c bounds - >= -247 @ 299.114
315.29/316.43 c bounds - >= -246 @ 299.114
315.29/316.43 c bounds - >= -245 @ 299.114
315.29/316.43 c bounds - >= -244 @ 299.115
315.29/316.43 c bounds - >= -243 @ 299.115
315.29/316.43 c bounds - >= -242 @ 299.115
315.29/316.43 c bounds - >= -241 @ 299.115
315.29/316.43 c bounds - >= -240 @ 299.116
315.29/316.43 c bounds - >= -239 @ 299.116
315.29/316.43 c bounds - >= -238 @ 299.116
315.29/316.43 c bounds - >= -237 @ 299.116
315.29/316.43 c bounds - >= -236 @ 299.116
315.29/316.43 c bounds - >= -235 @ 299.116
315.29/316.43 c bounds - >= -234 @ 299.117
315.29/316.43 c bounds - >= -233 @ 299.117
315.29/316.43 c bounds - >= -232 @ 299.117
315.29/316.43 c bounds - >= -231 @ 299.117
315.29/316.43 c bounds - >= -230 @ 299.117
315.29/316.43 c bounds - >= -229 @ 299.117
315.29/316.43 c bounds - >= -228 @ 299.117
315.29/316.43 c bounds - >= -227 @ 299.117
315.29/316.43 c bounds - >= -226 @ 299.117
315.29/316.43 c bounds - >= -225 @ 299.117
315.29/316.43 c bounds - >= -224 @ 299.118
315.29/316.43 c bounds - >= -223 @ 299.118
315.29/316.43 c bounds - >= -222 @ 299.118
315.29/316.43 c bounds - >= -221 @ 299.118
315.29/316.43 c #Conflicts: 1000 | #Constraints: 2573
315.29/316.43 c #Conflicts: 2000 | #Constraints: 3573
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 3000 | #Constraints: 3338
315.29/316.43 c #Conflicts: 4000 | #Constraints: 4338
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 5000 | #Constraints: 3724
315.29/316.43 c #Conflicts: 6000 | #Constraints: 4724
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 7000 | #Constraints: 3725
315.29/316.43 c #Conflicts: 8000 | #Constraints: 4725
315.29/316.43 c #Conflicts: 9000 | #Constraints: 5725
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 10000 | #Constraints: 4423
315.29/316.43 c #Conflicts: 11000 | #Constraints: 5423
315.29/316.43 c #Conflicts: 12000 | #Constraints: 6423
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 13000 | #Constraints: 4874
315.29/316.43 c #Conflicts: 14000 | #Constraints: 5874
315.29/316.43 c #Conflicts: 15000 | #Constraints: 6874
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 16000 | #Constraints: 5098
315.29/316.43 c #Conflicts: 17000 | #Constraints: 6098
315.29/316.43 c #Conflicts: 18000 | #Constraints: 7098
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 19000 | #Constraints: 5112
315.29/316.43 c #Conflicts: 20000 | #Constraints: 6112
315.29/316.43 c #Conflicts: 21000 | #Constraints: 7112
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 22000 | #Constraints: 4914
315.29/316.43 c #Conflicts: 23000 | #Constraints: 5914
315.29/316.43 c #Conflicts: 24000 | #Constraints: 6914
315.29/316.43 c #Conflicts: 25000 | #Constraints: 7914
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 26000 | #Constraints: 5514
315.29/316.43 c #Conflicts: 27000 | #Constraints: 6514
315.29/316.43 c #Conflicts: 28000 | #Constraints: 7514
315.29/316.43 c #Conflicts: 29000 | #Constraints: 8514
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 30000 | #Constraints: 5915
315.29/316.43 c #Conflicts: 31000 | #Constraints: 6915
315.29/316.43 c #Conflicts: 32000 | #Constraints: 7915
315.29/316.43 c #Conflicts: 33000 | #Constraints: 8915
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 34000 | #Constraints: 6121
315.29/316.43 c #Conflicts: 35000 | #Constraints: 7121
315.29/316.43 c #Conflicts: 36000 | #Constraints: 8121
315.29/316.43 c #Conflicts: 37000 | #Constraints: 9121
315.29/316.43 c INPROCESSING
315.29/316.43 c GARBAGE COLLECT
315.29/316.43 c #Conflicts: 38000 | #Constraints: 6124
315.29/316.43 c #Conflicts: 39000 | #Constraints: 7124
355.14/356.44 c #Conflicts: 40000 | #Constraints: 8124
355.14/356.44 c #Conflicts: 41000 | #Constraints: 9124
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 42000 | #Constraints: 5926
355.14/356.44 c #Conflicts: 43000 | #Constraints: 6926
355.14/356.44 c #Conflicts: 44000 | #Constraints: 7926
355.14/356.44 c #Conflicts: 45000 | #Constraints: 8926
355.14/356.44 c #Conflicts: 46000 | #Constraints: 9926
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 47000 | #Constraints: 6530
355.14/356.44 c #Conflicts: 48000 | #Constraints: 7530
355.14/356.44 c #Conflicts: 49000 | #Constraints: 8530
355.14/356.44 c #Conflicts: 50000 | #Constraints: 9530
355.14/356.44 c #Conflicts: 51000 | #Constraints: 10530
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 52000 | #Constraints: 6932
355.14/356.44 c #Conflicts: 53000 | #Constraints: 7932
355.14/356.44 c #Conflicts: 54000 | #Constraints: 8932
355.14/356.44 c #Conflicts: 55000 | #Constraints: 9932
355.14/356.44 c #Conflicts: 56000 | #Constraints: 10932
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 57000 | #Constraints: 7130
355.14/356.44 c #Conflicts: 58000 | #Constraints: 8130
355.14/356.44 c #Conflicts: 59000 | #Constraints: 9130
355.14/356.44 c #Conflicts: 60000 | #Constraints: 10130
355.14/356.44 c #Conflicts: 61000 | #Constraints: 11130
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 62000 | #Constraints: 7128
355.14/356.44 c #Conflicts: 63000 | #Constraints: 8128
355.14/356.44 c #Conflicts: 64000 | #Constraints: 9128
355.14/356.44 c #Conflicts: 65000 | #Constraints: 10128
355.14/356.44 c #Conflicts: 66000 | #Constraints: 11128
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 67000 | #Constraints: 6931
355.14/356.44 c #Conflicts: 68000 | #Constraints: 7931
355.14/356.44 c #Conflicts: 69000 | #Constraints: 8931
355.14/356.44 c #Conflicts: 70000 | #Constraints: 9931
355.14/356.44 c #Conflicts: 71000 | #Constraints: 10931
355.14/356.44 c #Conflicts: 72000 | #Constraints: 11931
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 73000 | #Constraints: 7536
355.14/356.44 c #Conflicts: 74000 | #Constraints: 8536
355.14/356.44 c #Conflicts: 75000 | #Constraints: 9536
355.14/356.44 c #Conflicts: 76000 | #Constraints: 10536
355.14/356.44 c #Conflicts: 77000 | #Constraints: 11536
355.14/356.44 c #Conflicts: 78000 | #Constraints: 12536
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 79000 | #Constraints: 7932
355.14/356.44 c #Conflicts: 80000 | #Constraints: 8932
355.14/356.44 c #Conflicts: 81000 | #Constraints: 9932
355.14/356.44 c #Conflicts: 82000 | #Constraints: 10932
355.14/356.44 c #Conflicts: 83000 | #Constraints: 11932
355.14/356.44 c #Conflicts: 84000 | #Constraints: 12932
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 85000 | #Constraints: 8132
355.14/356.44 c #Conflicts: 86000 | #Constraints: 9132
355.14/356.44 c #Conflicts: 87000 | #Constraints: 10132
355.14/356.44 c #Conflicts: 88000 | #Constraints: 11132
355.14/356.44 c #Conflicts: 89000 | #Constraints: 12132
355.14/356.44 c #Conflicts: 90000 | #Constraints: 13132
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 91000 | #Constraints: 8126
355.14/356.44 c #Conflicts: 92000 | #Constraints: 9126
355.14/356.44 c #Conflicts: 93000 | #Constraints: 10126
355.14/356.44 c #Conflicts: 94000 | #Constraints: 11126
355.14/356.44 c #Conflicts: 95000 | #Constraints: 12126
355.14/356.44 c #Conflicts: 96000 | #Constraints: 13126
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 97000 | #Constraints: 7931
355.14/356.44 c #Conflicts: 98000 | #Constraints: 8931
355.14/356.44 c #Conflicts: 99000 | #Constraints: 9931
355.14/356.44 c #Conflicts: 100000 | #Constraints: 10931
355.14/356.44 c #Conflicts: 101000 | #Constraints: 11931
355.14/356.44 c #Conflicts: 102000 | #Constraints: 12931
355.14/356.44 c #Conflicts: 103000 | #Constraints: 13931
355.14/356.44 c INPROCESSING
355.14/356.44 c GARBAGE COLLECT
355.14/356.44 c #Conflicts: 104000 | #Constraints: 8532
355.14/356.44 c #Conflicts: 105000 | #Constraints: 9532
355.14/356.44 c #Conflicts: 106000 | #Constraints: 10532
355.14/356.44 c #Conflicts: 107000 | #Constraints: 11532
355.14/356.44 c #Conflicts: 108000 | #Constraints: 12532
355.14/356.44 c #Conflicts: 109000 | #Constraints: 13532
355.14/356.44 c #Conflicts: 110000 | #Constraints: 14532
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 111000 | #Constraints: 8933
411.12/412.60 c #Conflicts: 112000 | #Constraints: 9933
411.12/412.60 c #Conflicts: 113000 | #Constraints: 10933
411.12/412.60 c #Conflicts: 114000 | #Constraints: 11933
411.12/412.60 c #Conflicts: 115000 | #Constraints: 12933
411.12/412.60 c #Conflicts: 116000 | #Constraints: 13933
411.12/412.60 c #Conflicts: 117000 | #Constraints: 14933
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 118000 | #Constraints: 9130
411.12/412.60 c #Conflicts: 119000 | #Constraints: 10130
411.12/412.60 c #Conflicts: 120000 | #Constraints: 11130
411.12/412.60 c #Conflicts: 121000 | #Constraints: 12130
411.12/412.60 c #Conflicts: 122000 | #Constraints: 13130
411.12/412.60 c #Conflicts: 123000 | #Constraints: 14130
411.12/412.60 c #Conflicts: 124000 | #Constraints: 15130
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 125000 | #Constraints: 9128
411.12/412.60 c #Conflicts: 126000 | #Constraints: 10128
411.12/412.60 c #Conflicts: 127000 | #Constraints: 11128
411.12/412.60 c #Conflicts: 128000 | #Constraints: 12128
411.12/412.60 c #Conflicts: 129000 | #Constraints: 13128
411.12/412.60 c #Conflicts: 130000 | #Constraints: 14128
411.12/412.60 c #Conflicts: 131000 | #Constraints: 15128
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 132000 | #Constraints: 8928
411.12/412.60 c #Conflicts: 133000 | #Constraints: 9928
411.12/412.60 c #Conflicts: 134000 | #Constraints: 10928
411.12/412.60 c #Conflicts: 135000 | #Constraints: 11928
411.12/412.60 c #Conflicts: 136000 | #Constraints: 12928
411.12/412.60 c #Conflicts: 137000 | #Constraints: 13928
411.12/412.60 c #Conflicts: 138000 | #Constraints: 14928
411.12/412.60 c #Conflicts: 139000 | #Constraints: 15928
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 140000 | #Constraints: 9530
411.12/412.60 c #Conflicts: 141000 | #Constraints: 10530
411.12/412.60 c #Conflicts: 142000 | #Constraints: 11530
411.12/412.60 c #Conflicts: 143000 | #Constraints: 12530
411.12/412.60 c #Conflicts: 144000 | #Constraints: 13530
411.12/412.60 c #Conflicts: 145000 | #Constraints: 14530
411.12/412.60 c #Conflicts: 146000 | #Constraints: 15530
411.12/412.60 c #Conflicts: 147000 | #Constraints: 16530
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 148000 | #Constraints: 9933
411.12/412.60 c #Conflicts: 149000 | #Constraints: 10933
411.12/412.60 c #Conflicts: 150000 | #Constraints: 11933
411.12/412.60 c #Conflicts: 151000 | #Constraints: 12933
411.12/412.60 c #Conflicts: 152000 | #Constraints: 13933
411.12/412.60 c #Conflicts: 153000 | #Constraints: 14933
411.12/412.60 c #Conflicts: 154000 | #Constraints: 15933
411.12/412.60 c #Conflicts: 155000 | #Constraints: 16933
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 156000 | #Constraints: 10131
411.12/412.60 c #Conflicts: 157000 | #Constraints: 11131
411.12/412.60 c #Conflicts: 158000 | #Constraints: 12131
411.12/412.60 c #Conflicts: 159000 | #Constraints: 13131
411.12/412.60 c #Conflicts: 160000 | #Constraints: 14131
411.12/412.60 c #Conflicts: 161000 | #Constraints: 15131
411.12/412.60 c #Conflicts: 162000 | #Constraints: 16131
411.12/412.60 c #Conflicts: 163000 | #Constraints: 17131
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 164000 | #Constraints: 10134
411.12/412.60 c #Conflicts: 165000 | #Constraints: 11134
411.12/412.60 c #Conflicts: 166000 | #Constraints: 12134
411.12/412.60 c #Conflicts: 167000 | #Constraints: 13134
411.12/412.60 c #Conflicts: 168000 | #Constraints: 14134
411.12/412.60 c #Conflicts: 169000 | #Constraints: 15134
411.12/412.60 c #Conflicts: 170000 | #Constraints: 16134
411.12/412.60 c #Conflicts: 171000 | #Constraints: 17134
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 172000 | #Constraints: 9933
411.12/412.60 c #Conflicts: 173000 | #Constraints: 10933
411.12/412.60 c #Conflicts: 174000 | #Constraints: 11933
411.12/412.60 c #Conflicts: 175000 | #Constraints: 12933
411.12/412.60 c #Conflicts: 176000 | #Constraints: 13933
411.12/412.60 c #Conflicts: 177000 | #Constraints: 14933
411.12/412.60 c #Conflicts: 178000 | #Constraints: 15933
411.12/412.60 c #Conflicts: 179000 | #Constraints: 16933
411.12/412.60 c #Conflicts: 180000 | #Constraints: 17933
411.12/412.60 c INPROCESSING
411.12/412.60 c GARBAGE COLLECT
411.12/412.60 c #Conflicts: 181000 | #Constraints: 10534
411.12/412.60 c #Conflicts: 182000 | #Constraints: 11534
411.12/412.60 c #Conflicts: 183000 | #Constraints: 12534
483.44/485.29 c #Conflicts: 184000 | #Constraints: 13534
483.44/485.29 c #Conflicts: 185000 | #Constraints: 14534
483.44/485.29 c #Conflicts: 186000 | #Constraints: 15534
483.44/485.29 c #Conflicts: 187000 | #Constraints: 16534
483.44/485.29 c #Conflicts: 188000 | #Constraints: 17534
483.44/485.29 c #Conflicts: 189000 | #Constraints: 18534
483.44/485.29 c INPROCESSING
483.44/485.29 c GARBAGE COLLECT
483.44/485.29 c #Conflicts: 190000 | #Constraints: 10932
483.44/485.29 c #Conflicts: 191000 | #Constraints: 11932
483.44/485.29 c #Conflicts: 192000 | #Constraints: 12932
483.44/485.29 c #Conflicts: 193000 | #Constraints: 13932
483.44/485.29 c #Conflicts: 194000 | #Constraints: 14932
483.44/485.29 c #Conflicts: 195000 | #Constraints: 15932
483.44/485.29 c #Conflicts: 196000 | #Constraints: 16932
483.44/485.29 c #Conflicts: 197000 | #Constraints: 17932
483.44/485.29 c #Conflicts: 198000 | #Constraints: 18932
483.44/485.29 c INPROCESSING
483.44/485.29 c GARBAGE COLLECT
483.44/485.29 c #Conflicts: 199000 | #Constraints: 11132
483.44/485.29 c #Conflicts: 200000 | #Constraints: 12132
483.44/485.29 c #Conflicts: 201000 | #Constraints: 13132
483.44/485.29 c #Conflicts: 202000 | #Constraints: 14132
483.44/485.29 c #Conflicts: 203000 | #Constraints: 15132
483.44/485.29 c #Conflicts: 204000 | #Constraints: 16132
483.44/485.29 c #Conflicts: 205000 | #Constraints: 17132
483.44/485.29 c #Conflicts: 206000 | #Constraints: 18132
483.44/485.29 c #Conflicts: 207000 | #Constraints: 19132
483.44/485.29 c INPROCESSING
483.44/485.29 c GARBAGE COLLECT
483.44/485.29 c #Conflicts: 208000 | #Constraints: 11133
483.44/485.29 c #Conflicts: 209000 | #Constraints: 12133
483.44/485.29 c #Conflicts: 210000 | #Constraints: 13133
483.44/485.29 c #Conflicts: 211000 | #Constraints: 14133
483.44/485.29 c #Conflicts: 212000 | #Constraints: 15133
483.44/485.29 c #Conflicts: 213000 | #Constraints: 16133
483.44/485.29 c #Conflicts: 214000 | #Constraints: 17133
483.44/485.29 c #Conflicts: 215000 | #Constraints: 18133
483.44/485.29 c #Conflicts: 216000 | #Constraints: 19133
483.44/485.29 c INPROCESSING
483.44/485.29 c GARBAGE COLLECT
483.44/485.29 c #Conflicts: 217000 | #Constraints: 10934
483.44/485.29 c #Conflicts: 218000 | #Constraints: 11934
483.44/485.29 c #Conflicts: 219000 | #Constraints: 12934
483.44/485.29 c #Conflicts: 220000 | #Constraints: 13934
483.44/485.29 c #Conflicts: 221000 | #Constraints: 14934
483.44/485.29 c #Conflicts: 222000 | #Constraints: 15934
483.44/485.29 c #Conflicts: 223000 | #Constraints: 16934
483.44/485.29 c #Conflicts: 224000 | #Constraints: 17934
483.44/485.29 c #Conflicts: 225000 | #Constraints: 18934
483.44/485.29 c #Conflicts: 226000 | #Constraints: 19934
483.44/485.29 c INPROCESSING
483.44/485.29 c GARBAGE COLLECT
483.44/485.29 c #Conflicts: 227000 | #Constraints: 11534
483.44/485.29 c #Conflicts: 228000 | #Constraints: 12534
483.44/485.29 c #Conflicts: 229000 | #Constraints: 13534
483.44/485.29 c #Conflicts: 230000 | #Constraints: 14534
483.44/485.29 c #Conflicts: 231000 | #Constraints: 15534
483.44/485.29 c #Conflicts: 232000 | #Constraints: 16534
483.44/485.29 c #Conflicts: 233000 | #Constraints: 17534
483.44/485.29 c #Conflicts: 234000 | #Constraints: 18534
483.44/485.29 c #Conflicts: 235000 | #Constraints: 19534
483.44/485.29 c #Conflicts: 236000 | #Constraints: 20534
483.44/485.29 c INPROCESSING
483.44/485.29 c GARBAGE COLLECT
483.44/485.29 c #Conflicts: 237000 | #Constraints: 11929
483.44/485.29 c #Conflicts: 238000 | #Constraints: 12929
483.44/485.29 c #Conflicts: 239000 | #Constraints: 13929
483.44/485.29 c #Conflicts: 240000 | #Constraints: 14929
483.44/485.29 c #Conflicts: 241000 | #Constraints: 15929
483.44/485.29 c #Conflicts: 242000 | #Constraints: 16929
483.44/485.29 c #Conflicts: 243000 | #Constraints: 17929
483.44/485.29 c #Conflicts: 244000 | #Constraints: 18929
483.44/485.29 c #Conflicts: 245000 | #Constraints: 19929
483.44/485.29 c #Conflicts: 246000 | #Constraints: 20929
483.44/485.29 c INPROCESSING
483.44/485.29 c GARBAGE COLLECT
483.44/485.29 c #Conflicts: 247000 | #Constraints: 12140
483.44/485.29 c #Conflicts: 248000 | #Constraints: 13140
483.44/485.29 c #Conflicts: 249000 | #Constraints: 14140
483.44/485.29 c #Conflicts: 250000 | #Constraints: 15140
483.44/485.29 c #Conflicts: 251000 | #Constraints: 16140
483.44/485.29 c #Conflicts: 252000 | #Constraints: 17140
483.44/485.29 c #Conflicts: 253000 | #Constraints: 18140
483.44/485.29 c #Conflicts: 254000 | #Constraints: 19140
483.44/485.29 c #Conflicts: 255000 | #Constraints: 20140
483.44/485.29 c #Conflicts: 256000 | #Constraints: 21140
483.44/485.29 c INPROCESSING
483.44/485.29 c GARBAGE COLLECT
568.03/570.13 c #Conflicts: 257000 | #Constraints: 12139
568.03/570.13 c #Conflicts: 258000 | #Constraints: 13139
568.03/570.13 c #Conflicts: 259000 | #Constraints: 14139
568.03/570.13 c #Conflicts: 260000 | #Constraints: 15139
568.03/570.13 c #Conflicts: 261000 | #Constraints: 16139
568.03/570.13 c #Conflicts: 262000 | #Constraints: 17139
568.03/570.13 c #Conflicts: 263000 | #Constraints: 18139
568.03/570.13 c #Conflicts: 264000 | #Constraints: 19139
568.03/570.13 c #Conflicts: 265000 | #Constraints: 20139
568.03/570.13 c #Conflicts: 266000 | #Constraints: 21139
568.03/570.13 c INPROCESSING
568.03/570.13 c GARBAGE COLLECT
568.03/570.13 c #Conflicts: 267000 | #Constraints: 11939
568.03/570.13 c #Conflicts: 268000 | #Constraints: 12939
568.03/570.13 c #Conflicts: 269000 | #Constraints: 13939
568.03/570.13 c #Conflicts: 270000 | #Constraints: 14939
568.03/570.13 c #Conflicts: 271000 | #Constraints: 15939
568.03/570.13 c #Conflicts: 272000 | #Constraints: 16939
568.03/570.13 c #Conflicts: 273000 | #Constraints: 17939
568.03/570.13 c #Conflicts: 274000 | #Constraints: 18939
568.03/570.13 c #Conflicts: 275000 | #Constraints: 19939
568.03/570.13 c #Conflicts: 276000 | #Constraints: 20939
568.03/570.13 c #Conflicts: 277000 | #Constraints: 21939
568.03/570.13 c INPROCESSING
568.03/570.13 c GARBAGE COLLECT
568.03/570.13 c #Conflicts: 278000 | #Constraints: 12541
568.03/570.13 c #Conflicts: 279000 | #Constraints: 13541
568.03/570.13 c #Conflicts: 280000 | #Constraints: 14541
568.03/570.13 c #Conflicts: 281000 | #Constraints: 15541
568.03/570.13 c #Conflicts: 282000 | #Constraints: 16541
568.03/570.13 c #Conflicts: 283000 | #Constraints: 17541
568.03/570.13 c #Conflicts: 284000 | #Constraints: 18541
568.03/570.13 c #Conflicts: 285000 | #Constraints: 19541
568.03/570.13 c #Conflicts: 286000 | #Constraints: 20541
568.03/570.13 c #Conflicts: 287000 | #Constraints: 21541
568.03/570.13 c #Conflicts: 288000 | #Constraints: 22541
568.03/570.13 c INPROCESSING
568.03/570.13 c GARBAGE COLLECT
568.03/570.13 c #Conflicts: 289000 | #Constraints: 12935
568.03/570.13 c #Conflicts: 290000 | #Constraints: 13935
568.03/570.13 c #Conflicts: 291000 | #Constraints: 14935
568.03/570.13 c #Conflicts: 292000 | #Constraints: 15935
568.03/570.13 c #Conflicts: 293000 | #Constraints: 16935
568.03/570.13 c #Conflicts: 294000 | #Constraints: 17935
568.03/570.13 c #Conflicts: 295000 | #Constraints: 18935
568.03/570.13 c #Conflicts: 296000 | #Constraints: 19935
568.03/570.13 c #Conflicts: 297000 | #Constraints: 20935
568.03/570.13 c #Conflicts: 298000 | #Constraints: 21935
568.03/570.13 c #Conflicts: 299000 | #Constraints: 22935
568.03/570.13 c INPROCESSING
568.03/570.13 c GARBAGE COLLECT
568.03/570.13 c #Conflicts: 300000 | #Constraints: 13138
568.03/570.13 c #Conflicts: 301000 | #Constraints: 14138
568.03/570.13 c #Conflicts: 302000 | #Constraints: 15138
568.03/570.13 c #Conflicts: 303000 | #Constraints: 16138
568.03/570.13 c #Conflicts: 304000 | #Constraints: 17138
568.03/570.13 c #Conflicts: 305000 | #Constraints: 18138
568.03/570.13 c #Conflicts: 306000 | #Constraints: 19138
568.03/570.13 c #Conflicts: 307000 | #Constraints: 20138
568.03/570.13 c #Conflicts: 308000 | #Constraints: 21138
568.03/570.13 c #Conflicts: 309000 | #Constraints: 22138
568.03/570.13 c #Conflicts: 310000 | #Constraints: 23138
568.03/570.13 c INPROCESSING
568.03/570.13 c GARBAGE COLLECT
568.03/570.13 c #Conflicts: 311000 | #Constraints: 13143
568.03/570.13 c #Conflicts: 312000 | #Constraints: 14143
568.03/570.13 c #Conflicts: 313000 | #Constraints: 15143
568.03/570.13 c #Conflicts: 314000 | #Constraints: 16143
568.03/570.13 c #Conflicts: 315000 | #Constraints: 17143
568.03/570.13 c #Conflicts: 316000 | #Constraints: 18143
568.03/570.13 c #Conflicts: 317000 | #Constraints: 19143
568.03/570.13 c #Conflicts: 318000 | #Constraints: 20143
568.03/570.13 c #Conflicts: 319000 | #Constraints: 21143
568.03/570.13 c #Conflicts: 320000 | #Constraints: 22143
568.03/570.13 c #Conflicts: 321000 | #Constraints: 23143
568.03/570.13 c INPROCESSING
568.03/570.13 c GARBAGE COLLECT
568.03/570.13 c #Conflicts: 322000 | #Constraints: 12941
568.03/570.13 c #Conflicts: 323000 | #Constraints: 13941
568.03/570.13 c #Conflicts: 324000 | #Constraints: 14941
568.03/570.13 c #Conflicts: 325000 | #Constraints: 15941
568.03/570.13 c #Conflicts: 326000 | #Constraints: 16941
568.03/570.13 c #Conflicts: 327000 | #Constraints: 17941
568.03/570.13 c #Conflicts: 328000 | #Constraints: 18941
568.03/570.13 c #Conflicts: 329000 | #Constraints: 19941
568.03/570.13 c #Conflicts: 330000 | #Constraints: 20941
568.03/570.13 c #Conflicts: 331000 | #Constraints: 21941
661.47/663.92 c #Conflicts: 332000 | #Constraints: 22941
661.47/663.92 c #Conflicts: 333000 | #Constraints: 23941
661.47/663.92 c INPROCESSING
661.47/663.92 c GARBAGE COLLECT
661.47/663.92 c #Conflicts: 334000 | #Constraints: 13543
661.47/663.92 c #Conflicts: 335000 | #Constraints: 14543
661.47/663.92 c #Conflicts: 336000 | #Constraints: 15543
661.47/663.92 c #Conflicts: 337000 | #Constraints: 16543
661.47/663.92 c #Conflicts: 338000 | #Constraints: 17543
661.47/663.92 c #Conflicts: 339000 | #Constraints: 18543
661.47/663.92 c #Conflicts: 340000 | #Constraints: 19543
661.47/663.92 c #Conflicts: 341000 | #Constraints: 20543
661.47/663.92 c #Conflicts: 342000 | #Constraints: 21543
661.47/663.92 c #Conflicts: 343000 | #Constraints: 22543
661.47/663.92 c #Conflicts: 344000 | #Constraints: 23543
661.47/663.92 c #Conflicts: 345000 | #Constraints: 24543
661.47/663.92 c INPROCESSING
661.47/663.92 c GARBAGE COLLECT
661.47/663.92 c #Conflicts: 346000 | #Constraints: 13946
661.47/663.92 c #Conflicts: 347000 | #Constraints: 14946
661.47/663.92 c #Conflicts: 348000 | #Constraints: 15946
661.47/663.92 c #Conflicts: 349000 | #Constraints: 16946
661.47/663.92 c #Conflicts: 350000 | #Constraints: 17946
661.47/663.92 c #Conflicts: 351000 | #Constraints: 18946
661.47/663.92 c #Conflicts: 352000 | #Constraints: 19946
661.47/663.92 c #Conflicts: 353000 | #Constraints: 20946
661.47/663.92 c #Conflicts: 354000 | #Constraints: 21946
661.47/663.92 c #Conflicts: 355000 | #Constraints: 22946
661.47/663.92 c #Conflicts: 356000 | #Constraints: 23946
661.47/663.92 c #Conflicts: 357000 | #Constraints: 24946
661.47/663.92 c INPROCESSING
661.47/663.92 c GARBAGE COLLECT
661.47/663.92 c #Conflicts: 358000 | #Constraints: 14141
661.47/663.92 c #Conflicts: 359000 | #Constraints: 15141
661.47/663.92 c #Conflicts: 360000 | #Constraints: 16141
661.47/663.92 c #Conflicts: 361000 | #Constraints: 17141
661.47/663.92 c #Conflicts: 362000 | #Constraints: 18141
661.47/663.92 c #Conflicts: 363000 | #Constraints: 19141
661.47/663.92 c #Conflicts: 364000 | #Constraints: 20141
661.47/663.92 c #Conflicts: 365000 | #Constraints: 21141
661.47/663.92 c #Conflicts: 366000 | #Constraints: 22141
661.47/663.92 c #Conflicts: 367000 | #Constraints: 23141
661.47/663.92 c #Conflicts: 368000 | #Constraints: 24141
661.47/663.92 c #Conflicts: 369000 | #Constraints: 25141
661.47/663.92 c INPROCESSING
661.47/663.92 c GARBAGE COLLECT
661.47/663.92 c #Conflicts: 370000 | #Constraints: 14143
661.47/663.92 c #Conflicts: 371000 | #Constraints: 15143
661.47/663.92 c #Conflicts: 372000 | #Constraints: 16143
661.47/663.92 c #Conflicts: 373000 | #Constraints: 17143
661.47/663.92 c #Conflicts: 374000 | #Constraints: 18143
661.47/663.92 c #Conflicts: 375000 | #Constraints: 19143
661.47/663.92 c #Conflicts: 376000 | #Constraints: 20143
661.47/663.92 c #Conflicts: 377000 | #Constraints: 21143
661.47/663.92 c #Conflicts: 378000 | #Constraints: 22143
661.47/663.92 c #Conflicts: 379000 | #Constraints: 23143
661.47/663.92 c #Conflicts: 380000 | #Constraints: 24143
661.47/663.92 c #Conflicts: 381000 | #Constraints: 25143
661.47/663.92 c INPROCESSING
661.47/663.92 c GARBAGE COLLECT
661.47/663.92 c #Conflicts: 382000 | #Constraints: 13940
661.47/663.92 c #Conflicts: 383000 | #Constraints: 14940
661.47/663.92 c #Conflicts: 384000 | #Constraints: 15940
661.47/663.92 c #Conflicts: 385000 | #Constraints: 16940
661.47/663.92 c #Conflicts: 386000 | #Constraints: 17940
661.47/663.92 c #Conflicts: 387000 | #Constraints: 18940
661.47/663.92 c #Conflicts: 388000 | #Constraints: 19940
661.47/663.92 c #Conflicts: 389000 | #Constraints: 20940
661.47/663.92 c #Conflicts: 390000 | #Constraints: 21940
661.47/663.92 c #Conflicts: 391000 | #Constraints: 22940
661.47/663.92 c #Conflicts: 392000 | #Constraints: 23940
661.47/663.92 c #Conflicts: 393000 | #Constraints: 24940
661.47/663.92 c #Conflicts: 394000 | #Constraints: 25940
661.47/663.92 c INPROCESSING
661.47/663.92 c GARBAGE COLLECT
661.47/663.92 c #Conflicts: 395000 | #Constraints: 14537
661.47/663.92 c #Conflicts: 396000 | #Constraints: 15537
661.47/663.92 c #Conflicts: 397000 | #Constraints: 16537
661.47/663.92 c #Conflicts: 398000 | #Constraints: 17537
661.47/663.92 c #Conflicts: 399000 | #Constraints: 18537
661.47/663.92 c #Conflicts: 400000 | #Constraints: 19537
661.47/663.92 c #Conflicts: 401000 | #Constraints: 20537
661.47/663.92 c #Conflicts: 402000 | #Constraints: 21537
661.47/663.92 c #Conflicts: 403000 | #Constraints: 22537
661.47/663.92 c #Conflicts: 404000 | #Constraints: 23537
661.47/663.92 c #Conflicts: 405000 | #Constraints: 24537
661.47/663.92 c #Conflicts: 406000 | #Constraints: 25537
752.14/754.94 c #Conflicts: 407000 | #Constraints: 26537
752.14/754.94 c INPROCESSING
752.14/754.94 c GARBAGE COLLECT
752.14/754.94 c #Conflicts: 408000 | #Constraints: 14937
752.14/754.94 c #Conflicts: 409000 | #Constraints: 15937
752.14/754.94 c #Conflicts: 410000 | #Constraints: 16937
752.14/754.94 c #Conflicts: 411000 | #Constraints: 17937
752.14/754.94 c #Conflicts: 412000 | #Constraints: 18937
752.14/754.94 c #Conflicts: 413000 | #Constraints: 19937
752.14/754.94 c #Conflicts: 414000 | #Constraints: 20937
752.14/754.94 c #Conflicts: 415000 | #Constraints: 21937
752.14/754.94 c #Conflicts: 416000 | #Constraints: 22937
752.14/754.94 c #Conflicts: 417000 | #Constraints: 23937
752.14/754.94 c #Conflicts: 418000 | #Constraints: 24937
752.14/754.94 c #Conflicts: 419000 | #Constraints: 25937
752.14/754.94 c #Conflicts: 420000 | #Constraints: 26937
752.14/754.94 c INPROCESSING
752.14/754.94 c GARBAGE COLLECT
752.14/754.94 c #Conflicts: 421000 | #Constraints: 15134
752.14/754.94 c #Conflicts: 422000 | #Constraints: 16134
752.14/754.94 c #Conflicts: 423000 | #Constraints: 17134
752.14/754.94 c #Conflicts: 424000 | #Constraints: 18134
752.14/754.94 c #Conflicts: 425000 | #Constraints: 19134
752.14/754.94 c #Conflicts: 426000 | #Constraints: 20134
752.14/754.94 c #Conflicts: 427000 | #Constraints: 21134
752.14/754.94 c #Conflicts: 428000 | #Constraints: 22134
752.14/754.94 c #Conflicts: 429000 | #Constraints: 23134
752.14/754.94 c #Conflicts: 430000 | #Constraints: 24134
752.14/754.94 c #Conflicts: 431000 | #Constraints: 25134
752.14/754.94 c #Conflicts: 432000 | #Constraints: 26134
752.14/754.94 c #Conflicts: 433000 | #Constraints: 27134
752.14/754.94 c INPROCESSING
752.14/754.94 c GARBAGE COLLECT
752.14/754.94 c #Conflicts: 434000 | #Constraints: 15140
752.14/754.94 c #Conflicts: 435000 | #Constraints: 16140
752.14/754.94 c #Conflicts: 436000 | #Constraints: 17140
752.14/754.94 c #Conflicts: 437000 | #Constraints: 18140
752.14/754.94 c #Conflicts: 438000 | #Constraints: 19140
752.14/754.94 c #Conflicts: 439000 | #Constraints: 20140
752.14/754.94 c #Conflicts: 440000 | #Constraints: 21140
752.14/754.94 c #Conflicts: 441000 | #Constraints: 22140
752.14/754.94 c #Conflicts: 442000 | #Constraints: 23140
752.14/754.94 c #Conflicts: 443000 | #Constraints: 24140
752.14/754.94 c #Conflicts: 444000 | #Constraints: 25140
752.14/754.94 c #Conflicts: 445000 | #Constraints: 26140
752.14/754.94 c #Conflicts: 446000 | #Constraints: 27140
752.14/754.94 c INPROCESSING
752.14/754.94 c GARBAGE COLLECT
752.14/754.94 c #Conflicts: 447000 | #Constraints: 14941
752.14/754.94 c #Conflicts: 448000 | #Constraints: 15941
752.14/754.94 c #Conflicts: 449000 | #Constraints: 16941
752.14/754.94 c #Conflicts: 450000 | #Constraints: 17941
752.14/754.94 c #Conflicts: 451000 | #Constraints: 18941
752.14/754.94 c #Conflicts: 452000 | #Constraints: 19941
752.14/754.94 c #Conflicts: 453000 | #Constraints: 20941
752.14/754.94 c #Conflicts: 454000 | #Constraints: 21941
752.14/754.94 c #Conflicts: 455000 | #Constraints: 22941
752.14/754.94 c #Conflicts: 456000 | #Constraints: 23941
752.14/754.94 c #Conflicts: 457000 | #Constraints: 24941
752.14/754.94 c #Conflicts: 458000 | #Constraints: 25941
752.14/754.94 c #Conflicts: 459000 | #Constraints: 26941
752.14/754.94 c #Conflicts: 460000 | #Constraints: 27941
752.14/754.94 c INPROCESSING
752.14/754.94 c GARBAGE COLLECT
752.14/754.94 c #Conflicts: 461000 | #Constraints: 15538
752.14/754.94 c #Conflicts: 462000 | #Constraints: 16538
752.14/754.94 c #Conflicts: 463000 | #Constraints: 17538
752.14/754.94 c #Conflicts: 464000 | #Constraints: 18538
752.14/754.94 c #Conflicts: 465000 | #Constraints: 19538
752.14/754.94 c #Conflicts: 466000 | #Constraints: 20538
752.14/754.94 c #Conflicts: 467000 | #Constraints: 21538
752.14/754.94 c #Conflicts: 468000 | #Constraints: 22538
752.14/754.94 c #Conflicts: 469000 | #Constraints: 23538
752.14/754.94 c #Conflicts: 470000 | #Constraints: 24538
752.14/754.94 c #Conflicts: 471000 | #Constraints: 25538
752.14/754.94 c #Conflicts: 472000 | #Constraints: 26538
752.14/754.94 c #Conflicts: 473000 | #Constraints: 27538
752.14/754.94 c #Conflicts: 474000 | #Constraints: 28538
752.14/754.94 c INPROCESSING
752.14/754.94 c GARBAGE COLLECT
752.14/754.94 c #Conflicts: 475000 | #Constraints: 15943
752.14/754.94 c #Conflicts: 476000 | #Constraints: 16943
752.14/754.94 c #Conflicts: 477000 | #Constraints: 17943
752.14/754.94 c #Conflicts: 478000 | #Constraints: 18943
752.14/754.94 c #Conflicts: 479000 | #Constraints: 19943
752.14/754.94 c #Conflicts: 480000 | #Constraints: 20943
752.14/754.94 c #Conflicts: 481000 | #Constraints: 21943
855.06/858.29 c #Conflicts: 482000 | #Constraints: 22943
855.06/858.29 c #Conflicts: 483000 | #Constraints: 23943
855.06/858.29 c #Conflicts: 484000 | #Constraints: 24943
855.06/858.29 c #Conflicts: 485000 | #Constraints: 25943
855.06/858.29 c #Conflicts: 486000 | #Constraints: 26943
855.06/858.29 c #Conflicts: 487000 | #Constraints: 27943
855.06/858.29 c #Conflicts: 488000 | #Constraints: 28943
855.06/858.29 c INPROCESSING
855.06/858.29 c GARBAGE COLLECT
855.06/858.29 c #Conflicts: 489000 | #Constraints: 16146
855.06/858.29 c #Conflicts: 490000 | #Constraints: 17146
855.06/858.29 c #Conflicts: 491000 | #Constraints: 18146
855.06/858.29 c #Conflicts: 492000 | #Constraints: 19146
855.06/858.29 c #Conflicts: 493000 | #Constraints: 20146
855.06/858.29 c #Conflicts: 494000 | #Constraints: 21146
855.06/858.29 c #Conflicts: 495000 | #Constraints: 22146
855.06/858.29 c #Conflicts: 496000 | #Constraints: 23146
855.06/858.29 c #Conflicts: 497000 | #Constraints: 24146
855.06/858.29 c #Conflicts: 498000 | #Constraints: 25146
855.06/858.29 c #Conflicts: 499000 | #Constraints: 26146
855.06/858.29 c #Conflicts: 500000 | #Constraints: 27146
855.06/858.29 c #Conflicts: 501000 | #Constraints: 28146
855.06/858.29 c #Conflicts: 502000 | #Constraints: 29146
855.06/858.29 c INPROCESSING
855.06/858.29 c GARBAGE COLLECT
855.06/858.29 c #Conflicts: 503000 | #Constraints: 16141
855.06/858.29 c #Conflicts: 504000 | #Constraints: 17141
855.06/858.29 c #Conflicts: 505000 | #Constraints: 18141
855.06/858.29 c #Conflicts: 506000 | #Constraints: 19141
855.06/858.29 c #Conflicts: 507000 | #Constraints: 20141
855.06/858.29 c #Conflicts: 508000 | #Constraints: 21141
855.06/858.29 c #Conflicts: 509000 | #Constraints: 22141
855.06/858.29 c #Conflicts: 510000 | #Constraints: 23141
855.06/858.29 c #Conflicts: 511000 | #Constraints: 24141
855.06/858.29 c #Conflicts: 512000 | #Constraints: 25141
855.06/858.29 c #Conflicts: 513000 | #Constraints: 26141
855.06/858.29 c #Conflicts: 514000 | #Constraints: 27141
855.06/858.29 c #Conflicts: 515000 | #Constraints: 28141
855.06/858.29 c #Conflicts: 516000 | #Constraints: 29141
855.06/858.29 c INPROCESSING
855.06/858.29 c GARBAGE COLLECT
855.06/858.29 c #Conflicts: 517000 | #Constraints: 15940
855.06/858.29 c #Conflicts: 518000 | #Constraints: 16940
855.06/858.29 c #Conflicts: 519000 | #Constraints: 17940
855.06/858.29 c #Conflicts: 520000 | #Constraints: 18940
855.06/858.29 c #Conflicts: 521000 | #Constraints: 19940
855.06/858.29 c #Conflicts: 522000 | #Constraints: 20940
855.06/858.29 c #Conflicts: 523000 | #Constraints: 21940
855.06/858.29 c #Conflicts: 524000 | #Constraints: 22940
855.06/858.29 c #Conflicts: 525000 | #Constraints: 23940
855.06/858.29 c #Conflicts: 526000 | #Constraints: 24940
855.06/858.29 c #Conflicts: 527000 | #Constraints: 25940
855.06/858.29 c #Conflicts: 528000 | #Constraints: 26940
855.06/858.29 c #Conflicts: 529000 | #Constraints: 27940
855.06/858.29 c #Conflicts: 530000 | #Constraints: 28940
855.06/858.29 c #Conflicts: 531000 | #Constraints: 29940
855.06/858.29 c INPROCESSING
855.06/858.29 c GARBAGE COLLECT
855.06/858.29 c #Conflicts: 532000 | #Constraints: 16546
855.06/858.29 c #Conflicts: 533000 | #Constraints: 17546
855.06/858.29 c #Conflicts: 534000 | #Constraints: 18546
855.06/858.29 c #Conflicts: 535000 | #Constraints: 19546
855.06/858.29 c #Conflicts: 536000 | #Constraints: 20546
855.06/858.29 c #Conflicts: 537000 | #Constraints: 21546
855.06/858.29 c #Conflicts: 538000 | #Constraints: 22546
855.06/858.29 c #Conflicts: 539000 | #Constraints: 23546
855.06/858.29 c #Conflicts: 540000 | #Constraints: 24546
855.06/858.29 c #Conflicts: 541000 | #Constraints: 25546
855.06/858.29 c #Conflicts: 542000 | #Constraints: 26546
855.06/858.29 c #Conflicts: 543000 | #Constraints: 27546
855.06/858.29 c #Conflicts: 544000 | #Constraints: 28546
855.06/858.29 c #Conflicts: 545000 | #Constraints: 29546
855.06/858.29 c #Conflicts: 546000 | #Constraints: 30546
855.06/858.29 c INPROCESSING
855.06/858.29 c GARBAGE COLLECT
855.06/858.29 c #Conflicts: 547000 | #Constraints: 16946
855.06/858.29 c #Conflicts: 548000 | #Constraints: 17946
855.06/858.29 c #Conflicts: 549000 | #Constraints: 18946
855.06/858.29 c #Conflicts: 550000 | #Constraints: 19946
855.06/858.29 c #Conflicts: 551000 | #Constraints: 20946
855.06/858.29 c #Conflicts: 552000 | #Constraints: 21946
855.06/858.29 c #Conflicts: 553000 | #Constraints: 22946
855.06/858.29 c #Conflicts: 554000 | #Constraints: 23946
855.06/858.29 c #Conflicts: 555000 | #Constraints: 24946
855.06/858.29 c #Conflicts: 556000 | #Constraints: 25946
855.06/858.29 c #Conflicts: 557000 | #Constraints: 26946
973.03/976.63 c #Conflicts: 558000 | #Constraints: 27946
973.03/976.63 c #Conflicts: 559000 | #Constraints: 28946
973.03/976.63 c #Conflicts: 560000 | #Constraints: 29946
973.03/976.63 c #Conflicts: 561000 | #Constraints: 30946
973.03/976.63 c INPROCESSING
973.03/976.63 c GARBAGE COLLECT
973.03/976.63 c #Conflicts: 562000 | #Constraints: 17148
973.03/976.63 c #Conflicts: 563000 | #Constraints: 18148
973.03/976.63 c #Conflicts: 564000 | #Constraints: 19148
973.03/976.63 c #Conflicts: 565000 | #Constraints: 20148
973.03/976.63 c #Conflicts: 566000 | #Constraints: 21148
973.03/976.63 c #Conflicts: 567000 | #Constraints: 22148
973.03/976.63 c #Conflicts: 568000 | #Constraints: 23148
973.03/976.63 c #Conflicts: 569000 | #Constraints: 24148
973.03/976.63 c #Conflicts: 570000 | #Constraints: 25148
973.03/976.63 c #Conflicts: 571000 | #Constraints: 26148
973.03/976.63 c #Conflicts: 572000 | #Constraints: 27148
973.03/976.63 c #Conflicts: 573000 | #Constraints: 28148
973.03/976.63 c #Conflicts: 574000 | #Constraints: 29148
973.03/976.63 c #Conflicts: 575000 | #Constraints: 30148
973.03/976.63 c #Conflicts: 576000 | #Constraints: 31148
973.03/976.63 c INPROCESSING
973.03/976.63 c GARBAGE COLLECT
973.03/976.63 c #Conflicts: 577000 | #Constraints: 17144
973.03/976.63 c #Conflicts: 578000 | #Constraints: 18144
973.03/976.63 c #Conflicts: 579000 | #Constraints: 19144
973.03/976.63 c #Conflicts: 580000 | #Constraints: 20144
973.03/976.63 c #Conflicts: 581000 | #Constraints: 21144
973.03/976.63 c #Conflicts: 582000 | #Constraints: 22144
973.03/976.63 c #Conflicts: 583000 | #Constraints: 23144
973.03/976.63 c #Conflicts: 584000 | #Constraints: 24144
973.03/976.63 c #Conflicts: 585000 | #Constraints: 25144
973.03/976.63 c #Conflicts: 586000 | #Constraints: 26144
973.03/976.63 c #Conflicts: 587000 | #Constraints: 27144
973.03/976.63 c #Conflicts: 588000 | #Constraints: 28144
973.03/976.63 c #Conflicts: 589000 | #Constraints: 29144
973.03/976.63 c #Conflicts: 590000 | #Constraints: 30144
973.03/976.63 c #Conflicts: 591000 | #Constraints: 31144
973.03/976.63 c INPROCESSING
973.03/976.63 c GARBAGE COLLECT
973.03/976.63 c #Conflicts: 592000 | #Constraints: 16942
973.03/976.63 c #Conflicts: 593000 | #Constraints: 17942
973.03/976.63 c #Conflicts: 594000 | #Constraints: 18942
973.03/976.63 c #Conflicts: 595000 | #Constraints: 19942
973.03/976.63 c #Conflicts: 596000 | #Constraints: 20942
973.03/976.63 c #Conflicts: 597000 | #Constraints: 21942
973.03/976.63 c #Conflicts: 598000 | #Constraints: 22942
973.03/976.63 c #Conflicts: 599000 | #Constraints: 23942
973.03/976.63 c #Conflicts: 600000 | #Constraints: 24942
973.03/976.63 c #Conflicts: 601000 | #Constraints: 25942
973.03/976.63 c #Conflicts: 602000 | #Constraints: 26942
973.03/976.63 c #Conflicts: 603000 | #Constraints: 27942
973.03/976.63 c #Conflicts: 604000 | #Constraints: 28942
973.03/976.63 c #Conflicts: 605000 | #Constraints: 29942
973.03/976.63 c #Conflicts: 606000 | #Constraints: 30942
973.03/976.63 c #Conflicts: 607000 | #Constraints: 31942
973.03/976.63 c INPROCESSING
973.03/976.63 c GARBAGE COLLECT
973.03/976.63 c #Conflicts: 608000 | #Constraints: 17542
973.03/976.63 c #Conflicts: 609000 | #Constraints: 18542
973.03/976.63 c #Conflicts: 610000 | #Constraints: 19542
973.03/976.63 c #Conflicts: 611000 | #Constraints: 20542
973.03/976.63 c #Conflicts: 612000 | #Constraints: 21542
973.03/976.63 c #Conflicts: 613000 | #Constraints: 22542
973.03/976.63 c #Conflicts: 614000 | #Constraints: 23542
973.03/976.63 c #Conflicts: 615000 | #Constraints: 24542
973.03/976.63 c #Conflicts: 616000 | #Constraints: 25542
973.03/976.63 c #Conflicts: 617000 | #Constraints: 26542
973.03/976.63 c #Conflicts: 618000 | #Constraints: 27542
973.03/976.63 c #Conflicts: 619000 | #Constraints: 28542
973.03/976.63 c #Conflicts: 620000 | #Constraints: 29542
973.03/976.63 c #Conflicts: 621000 | #Constraints: 30542
973.03/976.63 c #Conflicts: 622000 | #Constraints: 31542
973.03/976.63 c #Conflicts: 623000 | #Constraints: 32542
973.03/976.63 c INPROCESSING
973.03/976.63 c GARBAGE COLLECT
973.03/976.63 c #Conflicts: 624000 | #Constraints: 17943
973.03/976.63 c #Conflicts: 625000 | #Constraints: 18943
973.03/976.63 c #Conflicts: 626000 | #Constraints: 19943
973.03/976.63 c #Conflicts: 627000 | #Constraints: 20943
973.03/976.63 c #Conflicts: 628000 | #Constraints: 21943
973.03/976.63 c #Conflicts: 629000 | #Constraints: 22943
973.03/976.63 c #Conflicts: 630000 | #Constraints: 23943
973.03/976.63 c #Conflicts: 631000 | #Constraints: 24943
973.03/976.63 c #Conflicts: 632000 | #Constraints: 25943
1104.64/1108.75 c #Conflicts: 633000 | #Constraints: 26943
1104.64/1108.75 c #Conflicts: 634000 | #Constraints: 27943
1104.64/1108.75 c #Conflicts: 635000 | #Constraints: 28943
1104.64/1108.75 c #Conflicts: 636000 | #Constraints: 29943
1104.64/1108.75 c #Conflicts: 637000 | #Constraints: 30943
1104.64/1108.75 c #Conflicts: 638000 | #Constraints: 31943
1104.64/1108.75 c #Conflicts: 639000 | #Constraints: 32943
1104.64/1108.75 c INPROCESSING
1104.64/1108.75 c GARBAGE COLLECT
1104.64/1108.75 c #Conflicts: 640000 | #Constraints: 18149
1104.64/1108.75 c #Conflicts: 641000 | #Constraints: 19149
1104.64/1108.75 c #Conflicts: 642000 | #Constraints: 20149
1104.64/1108.75 c #Conflicts: 643000 | #Constraints: 21149
1104.64/1108.75 c #Conflicts: 644000 | #Constraints: 22149
1104.64/1108.75 c #Conflicts: 645000 | #Constraints: 23149
1104.64/1108.75 c #Conflicts: 646000 | #Constraints: 24149
1104.64/1108.75 c #Conflicts: 647000 | #Constraints: 25149
1104.64/1108.75 c #Conflicts: 648000 | #Constraints: 26149
1104.64/1108.75 c #Conflicts: 649000 | #Constraints: 27149
1104.64/1108.75 c #Conflicts: 650000 | #Constraints: 28149
1104.64/1108.75 c #Conflicts: 651000 | #Constraints: 29149
1104.64/1108.75 c #Conflicts: 652000 | #Constraints: 30149
1104.64/1108.75 c #Conflicts: 653000 | #Constraints: 31149
1104.64/1108.75 c #Conflicts: 654000 | #Constraints: 32149
1104.64/1108.75 c #Conflicts: 655000 | #Constraints: 33149
1104.64/1108.75 c INPROCESSING
1104.64/1108.75 c GARBAGE COLLECT
1104.64/1108.75 c #Conflicts: 656000 | #Constraints: 18149
1104.64/1108.75 c #Conflicts: 657000 | #Constraints: 19149
1104.64/1108.75 c #Conflicts: 658000 | #Constraints: 20149
1104.64/1108.75 c #Conflicts: 659000 | #Constraints: 21149
1104.64/1108.75 c #Conflicts: 660000 | #Constraints: 22149
1104.64/1108.75 c #Conflicts: 661000 | #Constraints: 23149
1104.64/1108.75 c #Conflicts: 662000 | #Constraints: 24149
1104.64/1108.75 c #Conflicts: 663000 | #Constraints: 25149
1104.64/1108.75 c #Conflicts: 664000 | #Constraints: 26149
1104.64/1108.75 c #Conflicts: 665000 | #Constraints: 27149
1104.64/1108.75 c #Conflicts: 666000 | #Constraints: 28149
1104.64/1108.75 c #Conflicts: 667000 | #Constraints: 29149
1104.64/1108.75 c #Conflicts: 668000 | #Constraints: 30149
1104.64/1108.75 c #Conflicts: 669000 | #Constraints: 31149
1104.64/1108.75 c #Conflicts: 670000 | #Constraints: 32149
1104.64/1108.75 c #Conflicts: 671000 | #Constraints: 33149
1104.64/1108.75 c INPROCESSING
1104.64/1108.75 c GARBAGE COLLECT
1104.64/1108.75 c #Conflicts: 672000 | #Constraints: 17941
1104.64/1108.75 c #Conflicts: 673000 | #Constraints: 18941
1104.64/1108.75 c #Conflicts: 674000 | #Constraints: 19941
1104.64/1108.75 c #Conflicts: 675000 | #Constraints: 20941
1104.64/1108.75 c #Conflicts: 676000 | #Constraints: 21941
1104.64/1108.75 c #Conflicts: 677000 | #Constraints: 22941
1104.64/1108.75 c #Conflicts: 678000 | #Constraints: 23941
1104.64/1108.75 c #Conflicts: 679000 | #Constraints: 24941
1104.64/1108.75 c #Conflicts: 680000 | #Constraints: 25941
1104.64/1108.75 c #Conflicts: 681000 | #Constraints: 26941
1104.64/1108.75 c #Conflicts: 682000 | #Constraints: 27941
1104.64/1108.75 c #Conflicts: 683000 | #Constraints: 28941
1104.64/1108.75 c #Conflicts: 684000 | #Constraints: 29941
1104.64/1108.75 c #Conflicts: 685000 | #Constraints: 30941
1104.64/1108.75 c #Conflicts: 686000 | #Constraints: 31941
1104.64/1108.75 c #Conflicts: 687000 | #Constraints: 32941
1104.64/1108.75 c #Conflicts: 688000 | #Constraints: 33941
1104.64/1108.75 c INPROCESSING
1104.64/1108.75 c GARBAGE COLLECT
1104.64/1108.75 c #Conflicts: 689000 | #Constraints: 18543
1104.64/1108.75 c #Conflicts: 690000 | #Constraints: 19543
1104.64/1108.75 c #Conflicts: 691000 | #Constraints: 20543
1104.64/1108.75 c #Conflicts: 692000 | #Constraints: 21543
1104.64/1108.75 c #Conflicts: 693000 | #Constraints: 22543
1104.64/1108.75 c #Conflicts: 694000 | #Constraints: 23543
1104.64/1108.75 c #Conflicts: 695000 | #Constraints: 24543
1104.64/1108.75 c #Conflicts: 696000 | #Constraints: 25543
1104.64/1108.75 c #Conflicts: 697000 | #Constraints: 26543
1104.64/1108.75 c #Conflicts: 698000 | #Constraints: 27543
1104.64/1108.75 c #Conflicts: 699000 | #Constraints: 28543
1104.64/1108.75 c #Conflicts: 700000 | #Constraints: 29543
1104.64/1108.75 c #Conflicts: 701000 | #Constraints: 30543
1104.64/1108.75 c #Conflicts: 702000 | #Constraints: 31543
1104.64/1108.75 c #Conflicts: 703000 | #Constraints: 32543
1104.64/1108.75 c #Conflicts: 704000 | #Constraints: 33543
1104.64/1108.75 c #Conflicts: 705000 | #Constraints: 34543
1104.64/1108.75 c INPROCESSING
1104.64/1108.75 c GARBAGE COLLECT
1104.64/1108.75 c #Conflicts: 706000 | #Constraints: 18940
1104.64/1108.75 c #Conflicts: 707000 | #Constraints: 19940
1104.64/1108.75 c #Conflicts: 708000 | #Constraints: 20940
1227.28/1231.83 c #Conflicts: 709000 | #Constraints: 21940
1227.28/1231.83 c #Conflicts: 710000 | #Constraints: 22940
1227.28/1231.83 c #Conflicts: 711000 | #Constraints: 23940
1227.28/1231.83 c #Conflicts: 712000 | #Constraints: 24940
1227.28/1231.83 c #Conflicts: 713000 | #Constraints: 25940
1227.28/1231.83 c #Conflicts: 714000 | #Constraints: 26940
1227.28/1231.83 c #Conflicts: 715000 | #Constraints: 27940
1227.28/1231.83 c #Conflicts: 716000 | #Constraints: 28940
1227.28/1231.83 c #Conflicts: 717000 | #Constraints: 29940
1227.28/1231.83 c #Conflicts: 718000 | #Constraints: 30940
1227.28/1231.83 c #Conflicts: 719000 | #Constraints: 31940
1227.28/1231.83 c #Conflicts: 720000 | #Constraints: 32940
1227.28/1231.83 c #Conflicts: 721000 | #Constraints: 33940
1227.28/1231.83 c #Conflicts: 722000 | #Constraints: 34940
1227.28/1231.83 c INPROCESSING
1227.28/1231.83 c GARBAGE COLLECT
1227.28/1231.83 c #Conflicts: 723000 | #Constraints: 19137
1227.28/1231.83 c #Conflicts: 724000 | #Constraints: 20137
1227.28/1231.83 c #Conflicts: 725000 | #Constraints: 21137
1227.28/1231.83 c #Conflicts: 726000 | #Constraints: 22137
1227.28/1231.83 c #Conflicts: 727000 | #Constraints: 23137
1227.28/1231.83 c #Conflicts: 728000 | #Constraints: 24137
1227.28/1231.83 c #Conflicts: 729000 | #Constraints: 25137
1227.28/1231.83 c #Conflicts: 730000 | #Constraints: 26137
1227.28/1231.83 c #Conflicts: 731000 | #Constraints: 27137
1227.28/1231.83 c #Conflicts: 732000 | #Constraints: 28137
1227.28/1231.83 c #Conflicts: 733000 | #Constraints: 29137
1227.28/1231.83 c #Conflicts: 734000 | #Constraints: 30137
1227.28/1231.83 c #Conflicts: 735000 | #Constraints: 31137
1227.28/1231.83 c #Conflicts: 736000 | #Constraints: 32137
1227.28/1231.83 c #Conflicts: 737000 | #Constraints: 33137
1227.28/1231.83 c #Conflicts: 738000 | #Constraints: 34137
1227.28/1231.83 c #Conflicts: 739000 | #Constraints: 35137
1227.28/1231.83 c INPROCESSING
1227.28/1231.83 c GARBAGE COLLECT
1227.28/1231.83 c #Conflicts: 740000 | #Constraints: 19144
1227.28/1231.83 c #Conflicts: 741000 | #Constraints: 20144
1227.28/1231.83 c #Conflicts: 742000 | #Constraints: 21144
1227.28/1231.83 c #Conflicts: 743000 | #Constraints: 22144
1227.28/1231.83 c #Conflicts: 744000 | #Constraints: 23144
1227.28/1231.83 c #Conflicts: 745000 | #Constraints: 24144
1227.28/1231.83 c #Conflicts: 746000 | #Constraints: 25144
1227.28/1231.83 c #Conflicts: 747000 | #Constraints: 26144
1227.28/1231.83 c #Conflicts: 748000 | #Constraints: 27144
1227.28/1231.83 c #Conflicts: 749000 | #Constraints: 28144
1227.28/1231.83 c #Conflicts: 750000 | #Constraints: 29144
1227.28/1231.83 c #Conflicts: 751000 | #Constraints: 30144
1227.28/1231.83 c #Conflicts: 752000 | #Constraints: 31144
1227.28/1231.83 c #Conflicts: 753000 | #Constraints: 32144
1227.28/1231.83 c #Conflicts: 754000 | #Constraints: 33144
1227.28/1231.83 c #Conflicts: 755000 | #Constraints: 34144
1227.28/1231.83 c #Conflicts: 756000 | #Constraints: 35144
1227.28/1231.83 c INPROCESSING
1227.28/1231.83 c GARBAGE COLLECT
1227.28/1231.83 c #Conflicts: 757000 | #Constraints: 18939
1227.28/1231.83 c #Conflicts: 758000 | #Constraints: 19939
1227.28/1231.83 c #Conflicts: 759000 | #Constraints: 20939
1227.28/1231.83 c #Conflicts: 760000 | #Constraints: 21939
1227.28/1231.83 c #Conflicts: 761000 | #Constraints: 22939
1227.28/1231.83 c #Conflicts: 762000 | #Constraints: 23939
1227.28/1231.83 c #Conflicts: 763000 | #Constraints: 24939
1227.28/1231.83 c #Conflicts: 764000 | #Constraints: 25939
1227.28/1231.83 c #Conflicts: 765000 | #Constraints: 26939
1227.28/1231.83 c #Conflicts: 766000 | #Constraints: 27939
1227.28/1231.83 c #Conflicts: 767000 | #Constraints: 28939
1227.28/1231.83 c #Conflicts: 768000 | #Constraints: 29939
1227.28/1231.83 c #Conflicts: 769000 | #Constraints: 30939
1227.28/1231.83 c #Conflicts: 770000 | #Constraints: 31939
1227.28/1231.83 c #Conflicts: 771000 | #Constraints: 32939
1227.28/1231.83 c #Conflicts: 772000 | #Constraints: 33939
1227.28/1231.83 c #Conflicts: 773000 | #Constraints: 34939
1227.28/1231.83 c #Conflicts: 774000 | #Constraints: 35939
1227.28/1231.83 c INPROCESSING
1227.28/1231.83 c GARBAGE COLLECT
1227.28/1231.83 c #Conflicts: 775000 | #Constraints: 19537
1227.28/1231.83 c #Conflicts: 776000 | #Constraints: 20537
1227.28/1231.83 c #Conflicts: 777000 | #Constraints: 21537
1227.28/1231.83 c #Conflicts: 778000 | #Constraints: 22537
1227.28/1231.83 c #Conflicts: 779000 | #Constraints: 23537
1227.28/1231.83 c #Conflicts: 780000 | #Constraints: 24537
1227.28/1231.83 c #Conflicts: 781000 | #Constraints: 25537
1227.28/1231.83 c #Conflicts: 782000 | #Constraints: 26537
1227.28/1231.83 c #Conflicts: 783000 | #Constraints: 27537
1227.28/1231.83 c #Conflicts: 784000 | #Constraints: 28537
1358.20/1363.22 c #Conflicts: 785000 | #Constraints: 29537
1358.20/1363.22 c #Conflicts: 786000 | #Constraints: 30537
1358.20/1363.22 c #Conflicts: 787000 | #Constraints: 31537
1358.20/1363.22 c #Conflicts: 788000 | #Constraints: 32537
1358.20/1363.22 c #Conflicts: 789000 | #Constraints: 33537
1358.20/1363.22 c #Conflicts: 790000 | #Constraints: 34537
1358.20/1363.22 c #Conflicts: 791000 | #Constraints: 35537
1358.20/1363.22 c #Conflicts: 792000 | #Constraints: 36537
1358.20/1363.22 c INPROCESSING
1358.20/1363.22 c GARBAGE COLLECT
1358.20/1363.22 c #Conflicts: 793000 | #Constraints: 19940
1358.20/1363.22 c #Conflicts: 794000 | #Constraints: 20940
1358.20/1363.22 c #Conflicts: 795000 | #Constraints: 21940
1358.20/1363.22 c #Conflicts: 796000 | #Constraints: 22940
1358.20/1363.22 c #Conflicts: 797000 | #Constraints: 23940
1358.20/1363.22 c #Conflicts: 798000 | #Constraints: 24940
1358.20/1363.22 c #Conflicts: 799000 | #Constraints: 25940
1358.20/1363.22 c #Conflicts: 800000 | #Constraints: 26940
1358.20/1363.22 c #Conflicts: 801000 | #Constraints: 27940
1358.20/1363.22 c #Conflicts: 802000 | #Constraints: 28940
1358.20/1363.22 c #Conflicts: 803000 | #Constraints: 29940
1358.20/1363.22 c #Conflicts: 804000 | #Constraints: 30940
1358.20/1363.22 c #Conflicts: 805000 | #Constraints: 31940
1358.20/1363.22 c #Conflicts: 806000 | #Constraints: 32940
1358.20/1363.22 c #Conflicts: 807000 | #Constraints: 33940
1358.20/1363.22 c #Conflicts: 808000 | #Constraints: 34940
1358.20/1363.22 c #Conflicts: 809000 | #Constraints: 35940
1358.20/1363.22 c #Conflicts: 810000 | #Constraints: 36940
1358.20/1363.22 c INPROCESSING
1358.20/1363.22 c GARBAGE COLLECT
1358.20/1363.22 c #Conflicts: 811000 | #Constraints: 20136
1358.20/1363.22 c #Conflicts: 812000 | #Constraints: 21136
1358.20/1363.22 c #Conflicts: 813000 | #Constraints: 22136
1358.20/1363.22 c #Conflicts: 814000 | #Constraints: 23136
1358.20/1363.22 c #Conflicts: 815000 | #Constraints: 24136
1358.20/1363.22 c #Conflicts: 816000 | #Constraints: 25136
1358.20/1363.22 c #Conflicts: 817000 | #Constraints: 26136
1358.20/1363.22 c #Conflicts: 818000 | #Constraints: 27136
1358.20/1363.22 c #Conflicts: 819000 | #Constraints: 28136
1358.20/1363.22 c #Conflicts: 820000 | #Constraints: 29136
1358.20/1363.22 c #Conflicts: 821000 | #Constraints: 30136
1358.20/1363.22 c #Conflicts: 822000 | #Constraints: 31136
1358.20/1363.22 c #Conflicts: 823000 | #Constraints: 32136
1358.20/1363.22 c #Conflicts: 824000 | #Constraints: 33136
1358.20/1363.22 c #Conflicts: 825000 | #Constraints: 34136
1358.20/1363.22 c #Conflicts: 826000 | #Constraints: 35136
1358.20/1363.22 c #Conflicts: 827000 | #Constraints: 36136
1358.20/1363.22 c #Conflicts: 828000 | #Constraints: 37136
1358.20/1363.22 c INPROCESSING
1358.20/1363.22 c GARBAGE COLLECT
1358.20/1363.22 c #Conflicts: 829000 | #Constraints: 20136
1358.20/1363.22 c #Conflicts: 830000 | #Constraints: 21136
1358.20/1363.22 c #Conflicts: 831000 | #Constraints: 22136
1358.20/1363.22 c #Conflicts: 832000 | #Constraints: 23136
1358.20/1363.22 c #Conflicts: 833000 | #Constraints: 24136
1358.20/1363.22 c #Conflicts: 834000 | #Constraints: 25136
1358.20/1363.22 c #Conflicts: 835000 | #Constraints: 26136
1358.20/1363.22 c #Conflicts: 836000 | #Constraints: 27136
1358.20/1363.22 c #Conflicts: 837000 | #Constraints: 28136
1358.20/1363.22 c #Conflicts: 838000 | #Constraints: 29136
1358.20/1363.22 c #Conflicts: 839000 | #Constraints: 30136
1358.20/1363.22 c #Conflicts: 840000 | #Constraints: 31136
1358.20/1363.22 c #Conflicts: 841000 | #Constraints: 32136
1358.20/1363.22 c #Conflicts: 842000 | #Constraints: 33136
1358.20/1363.22 c #Conflicts: 843000 | #Constraints: 34136
1358.20/1363.22 c #Conflicts: 844000 | #Constraints: 35136
1358.20/1363.22 c #Conflicts: 845000 | #Constraints: 36136
1358.20/1363.22 c #Conflicts: 846000 | #Constraints: 37136
1358.20/1363.22 c INPROCESSING
1358.20/1363.22 c GARBAGE COLLECT
1358.20/1363.22 c #Conflicts: 847000 | #Constraints: 19931
1358.20/1363.22 c #Conflicts: 848000 | #Constraints: 20931
1358.20/1363.22 c #Conflicts: 849000 | #Constraints: 21931
1358.20/1363.22 c #Conflicts: 850000 | #Constraints: 22931
1358.20/1363.22 c #Conflicts: 851000 | #Constraints: 23931
1358.20/1363.22 c #Conflicts: 852000 | #Constraints: 24931
1358.20/1363.22 c #Conflicts: 853000 | #Constraints: 25931
1358.20/1363.22 c #Conflicts: 854000 | #Constraints: 26931
1358.20/1363.22 c #Conflicts: 855000 | #Constraints: 27931
1358.20/1363.22 c #Conflicts: 856000 | #Constraints: 28931
1358.20/1363.22 c #Conflicts: 857000 | #Constraints: 29931
1358.20/1363.22 c #Conflicts: 858000 | #Constraints: 30931
1358.20/1363.22 c #Conflicts: 859000 | #Constraints: 31931
1358.20/1363.22 c #Conflicts: 860000 | #Constraints: 32931
1505.96/1511.59 c #Conflicts: 861000 | #Constraints: 33931
1505.96/1511.59 c #Conflicts: 862000 | #Constraints: 34931
1505.96/1511.59 c #Conflicts: 863000 | #Constraints: 35931
1505.96/1511.59 c #Conflicts: 864000 | #Constraints: 36931
1505.96/1511.59 c #Conflicts: 865000 | #Constraints: 37931
1505.96/1511.59 c INPROCESSING
1505.96/1511.59 c GARBAGE COLLECT
1505.96/1511.59 c #Conflicts: 866000 | #Constraints: 20533
1505.96/1511.59 c #Conflicts: 867000 | #Constraints: 21533
1505.96/1511.59 c #Conflicts: 868000 | #Constraints: 22533
1505.96/1511.59 c #Conflicts: 869000 | #Constraints: 23533
1505.96/1511.59 c #Conflicts: 870000 | #Constraints: 24533
1505.96/1511.59 c #Conflicts: 871000 | #Constraints: 25533
1505.96/1511.59 c #Conflicts: 872000 | #Constraints: 26533
1505.96/1511.59 c #Conflicts: 873000 | #Constraints: 27533
1505.96/1511.59 c #Conflicts: 874000 | #Constraints: 28533
1505.96/1511.59 c #Conflicts: 875000 | #Constraints: 29533
1505.96/1511.59 c #Conflicts: 876000 | #Constraints: 30533
1505.96/1511.59 c #Conflicts: 877000 | #Constraints: 31533
1505.96/1511.59 c #Conflicts: 878000 | #Constraints: 32533
1505.96/1511.59 c #Conflicts: 879000 | #Constraints: 33533
1505.96/1511.59 c #Conflicts: 880000 | #Constraints: 34533
1505.96/1511.59 c #Conflicts: 881000 | #Constraints: 35533
1505.96/1511.59 c #Conflicts: 882000 | #Constraints: 36533
1505.96/1511.59 c #Conflicts: 883000 | #Constraints: 37533
1505.96/1511.59 c #Conflicts: 884000 | #Constraints: 38533
1505.96/1511.59 c INPROCESSING
1505.96/1511.59 c GARBAGE COLLECT
1505.96/1511.59 c #Conflicts: 885000 | #Constraints: 20935
1505.96/1511.59 c #Conflicts: 886000 | #Constraints: 21935
1505.96/1511.59 c #Conflicts: 887000 | #Constraints: 22935
1505.96/1511.59 c #Conflicts: 888000 | #Constraints: 23935
1505.96/1511.59 c #Conflicts: 889000 | #Constraints: 24935
1505.96/1511.59 c #Conflicts: 890000 | #Constraints: 25935
1505.96/1511.59 c #Conflicts: 891000 | #Constraints: 26935
1505.96/1511.59 c #Conflicts: 892000 | #Constraints: 27935
1505.96/1511.59 c #Conflicts: 893000 | #Constraints: 28935
1505.96/1511.59 c #Conflicts: 894000 | #Constraints: 29935
1505.96/1511.59 c #Conflicts: 895000 | #Constraints: 30935
1505.96/1511.59 c #Conflicts: 896000 | #Constraints: 31935
1505.96/1511.59 c #Conflicts: 897000 | #Constraints: 32935
1505.96/1511.59 c #Conflicts: 898000 | #Constraints: 33935
1505.96/1511.59 c #Conflicts: 899000 | #Constraints: 34935
1505.96/1511.59 c #Conflicts: 900000 | #Constraints: 35935
1505.96/1511.59 c #Conflicts: 901000 | #Constraints: 36935
1505.96/1511.59 c #Conflicts: 902000 | #Constraints: 37935
1505.96/1511.59 c #Conflicts: 903000 | #Constraints: 38935
1505.96/1511.59 c INPROCESSING
1505.96/1511.59 c GARBAGE COLLECT
1505.96/1511.59 c #Conflicts: 904000 | #Constraints: 21139
1505.96/1511.59 c #Conflicts: 905000 | #Constraints: 22139
1505.96/1511.59 c #Conflicts: 906000 | #Constraints: 23139
1505.96/1511.59 c #Conflicts: 907000 | #Constraints: 24139
1505.96/1511.59 c #Conflicts: 908000 | #Constraints: 25139
1505.96/1511.59 c #Conflicts: 909000 | #Constraints: 26139
1505.96/1511.59 c #Conflicts: 910000 | #Constraints: 27139
1505.96/1511.59 c #Conflicts: 911000 | #Constraints: 28139
1505.96/1511.59 c #Conflicts: 912000 | #Constraints: 29139
1505.96/1511.59 c #Conflicts: 913000 | #Constraints: 30139
1505.96/1511.59 c #Conflicts: 914000 | #Constraints: 31139
1505.96/1511.59 c #Conflicts: 915000 | #Constraints: 32139
1505.96/1511.59 c #Conflicts: 916000 | #Constraints: 33139
1505.96/1511.59 c #Conflicts: 917000 | #Constraints: 34139
1505.96/1511.59 c #Conflicts: 918000 | #Constraints: 35139
1505.96/1511.60 c #Conflicts: 919000 | #Constraints: 36139
1505.96/1511.60 c #Conflicts: 920000 | #Constraints: 37139
1505.96/1511.60 c #Conflicts: 921000 | #Constraints: 38139
1505.96/1511.60 c #Conflicts: 922000 | #Constraints: 39139
1505.96/1511.60 c INPROCESSING
1505.96/1511.60 c GARBAGE COLLECT
1505.96/1511.60 c #Conflicts: 923000 | #Constraints: 21144
1505.96/1511.60 c #Conflicts: 924000 | #Constraints: 22144
1505.96/1511.60 c #Conflicts: 925000 | #Constraints: 23144
1505.96/1511.60 c #Conflicts: 926000 | #Constraints: 24144
1505.96/1511.60 c #Conflicts: 927000 | #Constraints: 25144
1505.96/1511.60 c #Conflicts: 928000 | #Constraints: 26144
1505.96/1511.60 c #Conflicts: 929000 | #Constraints: 27144
1505.96/1511.60 c #Conflicts: 930000 | #Constraints: 28144
1505.96/1511.60 c #Conflicts: 931000 | #Constraints: 29144
1505.96/1511.60 c #Conflicts: 932000 | #Constraints: 30144
1505.96/1511.60 c #Conflicts: 933000 | #Constraints: 31144
1505.96/1511.60 c #Conflicts: 934000 | #Constraints: 32144
1505.96/1511.60 c #Conflicts: 935000 | #Constraints: 33144
1505.96/1511.60 c #Conflicts: 936000 | #Constraints: 34144
1505.96/1511.60 c #Conflicts: 937000 | #Constraints: 35144
1644.65/1650.76 c #Conflicts: 938000 | #Constraints: 36144
1644.65/1650.76 c #Conflicts: 939000 | #Constraints: 37144
1644.65/1650.76 c #Conflicts: 940000 | #Constraints: 38144
1644.65/1650.76 c #Conflicts: 941000 | #Constraints: 39144
1644.65/1650.76 c INPROCESSING
1644.65/1650.76 c GARBAGE COLLECT
1644.65/1650.76 c #Conflicts: 942000 | #Constraints: 20942
1644.65/1650.76 c #Conflicts: 943000 | #Constraints: 21942
1644.65/1650.76 c #Conflicts: 944000 | #Constraints: 22942
1644.65/1650.76 c #Conflicts: 945000 | #Constraints: 23942
1644.65/1650.76 c #Conflicts: 946000 | #Constraints: 24942
1644.65/1650.76 c #Conflicts: 947000 | #Constraints: 25942
1644.65/1650.76 c #Conflicts: 948000 | #Constraints: 26942
1644.65/1650.76 c #Conflicts: 949000 | #Constraints: 27942
1644.65/1650.76 c #Conflicts: 950000 | #Constraints: 28942
1644.65/1650.76 c #Conflicts: 951000 | #Constraints: 29942
1644.65/1650.76 c #Conflicts: 952000 | #Constraints: 30942
1644.65/1650.76 c #Conflicts: 953000 | #Constraints: 31942
1644.65/1650.76 c #Conflicts: 954000 | #Constraints: 32942
1644.65/1650.76 c #Conflicts: 955000 | #Constraints: 33942
1644.65/1650.76 c #Conflicts: 956000 | #Constraints: 34942
1644.65/1650.76 c #Conflicts: 957000 | #Constraints: 35942
1644.65/1650.76 c #Conflicts: 958000 | #Constraints: 36942
1644.65/1650.76 c #Conflicts: 959000 | #Constraints: 37942
1644.65/1650.76 c #Conflicts: 960000 | #Constraints: 38942
1644.65/1650.76 c #Conflicts: 961000 | #Constraints: 39942
1644.65/1650.76 c INPROCESSING
1644.65/1650.76 c GARBAGE COLLECT
1644.65/1650.76 c #Conflicts: 962000 | #Constraints: 21549
1644.65/1650.76 c #Conflicts: 963000 | #Constraints: 22549
1644.65/1650.76 c #Conflicts: 964000 | #Constraints: 23549
1644.65/1650.76 c #Conflicts: 965000 | #Constraints: 24549
1644.65/1650.76 c #Conflicts: 966000 | #Constraints: 25549
1644.65/1650.76 c #Conflicts: 967000 | #Constraints: 26549
1644.65/1650.76 c #Conflicts: 968000 | #Constraints: 27549
1644.65/1650.76 c #Conflicts: 969000 | #Constraints: 28549
1644.65/1650.76 c #Conflicts: 970000 | #Constraints: 29549
1644.65/1650.76 c #Conflicts: 971000 | #Constraints: 30549
1644.65/1650.76 c #Conflicts: 972000 | #Constraints: 31549
1644.65/1650.76 c #Conflicts: 973000 | #Constraints: 32549
1644.65/1650.76 c #Conflicts: 974000 | #Constraints: 33549
1644.65/1650.76 c #Conflicts: 975000 | #Constraints: 34549
1644.65/1650.76 c #Conflicts: 976000 | #Constraints: 35549
1644.65/1650.76 c #Conflicts: 977000 | #Constraints: 36549
1644.65/1650.76 c #Conflicts: 978000 | #Constraints: 37549
1644.65/1650.76 c #Conflicts: 979000 | #Constraints: 38549
1644.65/1650.76 c #Conflicts: 980000 | #Constraints: 39549
1644.65/1650.76 c #Conflicts: 981000 | #Constraints: 40549
1644.65/1650.76 c INPROCESSING
1644.65/1650.76 c GARBAGE COLLECT
1644.65/1650.76 c #Conflicts: 982000 | #Constraints: 21948
1644.65/1650.76 c #Conflicts: 983000 | #Constraints: 22948
1644.65/1650.76 c #Conflicts: 984000 | #Constraints: 23948
1644.65/1650.76 c #Conflicts: 985000 | #Constraints: 24948
1644.65/1650.76 c #Conflicts: 986000 | #Constraints: 25948
1644.65/1650.76 c #Conflicts: 987000 | #Constraints: 26948
1644.65/1650.76 c #Conflicts: 988000 | #Constraints: 27948
1644.65/1650.76 c #Conflicts: 989000 | #Constraints: 28948
1644.65/1650.76 c #Conflicts: 990000 | #Constraints: 29948
1644.65/1650.76 c #Conflicts: 991000 | #Constraints: 30948
1644.65/1650.76 c #Conflicts: 992000 | #Constraints: 31948
1644.65/1650.76 c #Conflicts: 993000 | #Constraints: 32948
1644.65/1650.76 c #Conflicts: 994000 | #Constraints: 33948
1644.65/1650.76 c #Conflicts: 995000 | #Constraints: 34948
1644.65/1650.76 c #Conflicts: 996000 | #Constraints: 35948
1644.65/1650.76 c #Conflicts: 997000 | #Constraints: 36948
1644.65/1650.76 c #Conflicts: 998000 | #Constraints: 37948
1644.65/1650.76 c #Conflicts: 999000 | #Constraints: 38948
1644.65/1650.76 c #Conflicts: 1000000 | #Constraints: 39948
1644.65/1650.76 c #Conflicts: 1001000 | #Constraints: 40948
1644.65/1650.76 c INPROCESSING
1644.65/1650.76 c GARBAGE COLLECT
1644.65/1650.76 c #Conflicts: 1002000 | #Constraints: 22142
1644.65/1650.76 c #Conflicts: 1003000 | #Constraints: 23142
1644.65/1650.76 c #Conflicts: 1004000 | #Constraints: 24142
1644.65/1650.76 c #Conflicts: 1005000 | #Constraints: 25142
1644.65/1650.76 c #Conflicts: 1006000 | #Constraints: 26142
1644.65/1650.76 c #Conflicts: 1007000 | #Constraints: 27142
1644.65/1650.76 c #Conflicts: 1008000 | #Constraints: 28142
1644.65/1650.76 c #Conflicts: 1009000 | #Constraints: 29142
1644.65/1650.76 c #Conflicts: 1010000 | #Constraints: 30142
1644.65/1650.76 c #Conflicts: 1011000 | #Constraints: 31142
1644.65/1650.76 c #Conflicts: 1012000 | #Constraints: 32142
1644.65/1650.76 c #Conflicts: 1013000 | #Constraints: 33142
1785.53/1792.15 c #Conflicts: 1014000 | #Constraints: 34142
1785.53/1792.15 c #Conflicts: 1015000 | #Constraints: 35142
1785.53/1792.15 c #Conflicts: 1016000 | #Constraints: 36142
1785.53/1792.15 c #Conflicts: 1017000 | #Constraints: 37142
1785.53/1792.15 c #Conflicts: 1018000 | #Constraints: 38142
1785.53/1792.15 c #Conflicts: 1019000 | #Constraints: 39142
1785.53/1792.15 c #Conflicts: 1020000 | #Constraints: 40142
1785.53/1792.15 c #Conflicts: 1021000 | #Constraints: 41142
1785.53/1792.15 c INPROCESSING
1785.53/1792.15 c GARBAGE COLLECT
1785.53/1792.15 c #Conflicts: 1022000 | #Constraints: 22140
1785.53/1792.15 c #Conflicts: 1023000 | #Constraints: 23140
1785.53/1792.15 c #Conflicts: 1024000 | #Constraints: 24140
1785.53/1792.15 c #Conflicts: 1025000 | #Constraints: 25140
1785.53/1792.15 c #Conflicts: 1026000 | #Constraints: 26140
1785.53/1792.15 c #Conflicts: 1027000 | #Constraints: 27140
1785.53/1792.15 c #Conflicts: 1028000 | #Constraints: 28140
1785.53/1792.15 c #Conflicts: 1029000 | #Constraints: 29140
1785.53/1792.15 c #Conflicts: 1030000 | #Constraints: 30140
1785.53/1792.15 c #Conflicts: 1031000 | #Constraints: 31140
1785.53/1792.15 c #Conflicts: 1032000 | #Constraints: 32140
1785.53/1792.15 c #Conflicts: 1033000 | #Constraints: 33140
1785.53/1792.15 c #Conflicts: 1034000 | #Constraints: 34140
1785.53/1792.15 c #Conflicts: 1035000 | #Constraints: 35140
1785.53/1792.15 c #Conflicts: 1036000 | #Constraints: 36140
1785.53/1792.15 c #Conflicts: 1037000 | #Constraints: 37140
1785.53/1792.15 c #Conflicts: 1038000 | #Constraints: 38140
1785.53/1792.15 c #Conflicts: 1039000 | #Constraints: 39140
1785.53/1792.15 c #Conflicts: 1040000 | #Constraints: 40140
1785.53/1792.15 c #Conflicts: 1041000 | #Constraints: 41140
1785.53/1792.15 c INPROCESSING
1785.53/1792.15 c GARBAGE COLLECT
1785.53/1792.15 c #Conflicts: 1042000 | #Constraints: 21945
1785.53/1792.15 c #Conflicts: 1043000 | #Constraints: 22945
1785.53/1792.15 c #Conflicts: 1044000 | #Constraints: 23945
1785.53/1792.15 c #Conflicts: 1045000 | #Constraints: 24945
1785.53/1792.15 c #Conflicts: 1046000 | #Constraints: 25945
1785.53/1792.15 c #Conflicts: 1047000 | #Constraints: 26945
1785.53/1792.15 c #Conflicts: 1048000 | #Constraints: 27945
1785.53/1792.15 c #Conflicts: 1049000 | #Constraints: 28945
1785.53/1792.15 c #Conflicts: 1050000 | #Constraints: 29945
1785.53/1792.15 c #Conflicts: 1051000 | #Constraints: 30945
1785.53/1792.15 c #Conflicts: 1052000 | #Constraints: 31945
1785.53/1792.15 c #Conflicts: 1053000 | #Constraints: 32945
1785.53/1792.15 c #Conflicts: 1054000 | #Constraints: 33945
1785.53/1792.15 c #Conflicts: 1055000 | #Constraints: 34945
1785.53/1792.15 c #Conflicts: 1056000 | #Constraints: 35945
1785.53/1792.15 c #Conflicts: 1057000 | #Constraints: 36945
1785.53/1792.15 c #Conflicts: 1058000 | #Constraints: 37945
1785.53/1792.15 c #Conflicts: 1059000 | #Constraints: 38945
1785.53/1792.15 c #Conflicts: 1060000 | #Constraints: 39945
1785.53/1792.15 c #Conflicts: 1061000 | #Constraints: 40945
1785.53/1792.15 c #Conflicts: 1062000 | #Constraints: 41945
1785.53/1792.15 c INPROCESSING
1785.53/1792.15 c GARBAGE COLLECT
1785.53/1792.15 c #Conflicts: 1063000 | #Constraints: 22539
1785.53/1792.15 c #Conflicts: 1064000 | #Constraints: 23539
1785.53/1792.15 c #Conflicts: 1065000 | #Constraints: 24539
1785.53/1792.15 c #Conflicts: 1066000 | #Constraints: 25539
1785.53/1792.15 c #Conflicts: 1067000 | #Constraints: 26539
1785.53/1792.15 c #Conflicts: 1068000 | #Constraints: 27539
1785.53/1792.15 c #Conflicts: 1069000 | #Constraints: 28539
1785.53/1792.15 c #Conflicts: 1070000 | #Constraints: 29539
1785.53/1792.15 c #Conflicts: 1071000 | #Constraints: 30539
1785.53/1792.15 c #Conflicts: 1072000 | #Constraints: 31539
1785.53/1792.15 c #Conflicts: 1073000 | #Constraints: 32539
1785.53/1792.15 c #Conflicts: 1074000 | #Constraints: 33539
1785.53/1792.15 c #Conflicts: 1075000 | #Constraints: 34539
1785.53/1792.15 c #Conflicts: 1076000 | #Constraints: 35539
1785.53/1792.15 c #Conflicts: 1077000 | #Constraints: 36539
1785.53/1792.15 c #Conflicts: 1078000 | #Constraints: 37539
1785.53/1792.15 c #Conflicts: 1079000 | #Constraints: 38539
1785.53/1792.15 c #Conflicts: 1080000 | #Constraints: 39539
1785.53/1792.15 c #Conflicts: 1081000 | #Constraints: 40539
1785.53/1792.15 c #Conflicts: 1082000 | #Constraints: 41539
1785.53/1792.15 c #Conflicts: 1083000 | #Constraints: 42539
1785.53/1792.15 c INPROCESSING
1785.53/1792.15 c GARBAGE COLLECT
1785.53/1792.15 c #Conflicts: 1084000 | #Constraints: 22940
1785.53/1792.15 c #Conflicts: 1085000 | #Constraints: 23940
1785.53/1792.15 c #Conflicts: 1086000 | #Constraints: 24940
1785.53/1792.15 c #Conflicts: 1087000 | #Constraints: 25940
1785.53/1792.15 c #Conflicts: 1088000 | #Constraints: 26940
1785.53/1792.15 c #Conflicts: 1089000 | #Constraints: 27940
1945.23/1952.46 c #Conflicts: 1090000 | #Constraints: 28940
1945.23/1952.46 c #Conflicts: 1091000 | #Constraints: 29940
1945.23/1952.46 c #Conflicts: 1092000 | #Constraints: 30940
1945.23/1952.46 c #Conflicts: 1093000 | #Constraints: 31940
1945.23/1952.46 c #Conflicts: 1094000 | #Constraints: 32940
1945.23/1952.46 c #Conflicts: 1095000 | #Constraints: 33940
1945.23/1952.46 c #Conflicts: 1096000 | #Constraints: 34940
1945.23/1952.46 c #Conflicts: 1097000 | #Constraints: 35940
1945.23/1952.46 c #Conflicts: 1098000 | #Constraints: 36940
1945.23/1952.46 c #Conflicts: 1099000 | #Constraints: 37940
1945.23/1952.46 c #Conflicts: 1100000 | #Constraints: 38940
1945.23/1952.46 c #Conflicts: 1101000 | #Constraints: 39940
1945.23/1952.46 c #Conflicts: 1102000 | #Constraints: 40940
1945.23/1952.46 c #Conflicts: 1103000 | #Constraints: 41940
1945.23/1952.46 c #Conflicts: 1104000 | #Constraints: 42940
1945.23/1952.46 c INPROCESSING
1945.23/1952.46 c GARBAGE COLLECT
1945.23/1952.46 c #Conflicts: 1105000 | #Constraints: 23145
1945.23/1952.46 c #Conflicts: 1106000 | #Constraints: 24145
1945.23/1952.46 c #Conflicts: 1107000 | #Constraints: 25145
1945.23/1952.46 c #Conflicts: 1108000 | #Constraints: 26145
1945.23/1952.46 c #Conflicts: 1109000 | #Constraints: 27145
1945.23/1952.46 c #Conflicts: 1110000 | #Constraints: 28145
1945.23/1952.46 c #Conflicts: 1111000 | #Constraints: 29145
1945.23/1952.46 c #Conflicts: 1112000 | #Constraints: 30145
1945.23/1952.46 c #Conflicts: 1113000 | #Constraints: 31145
1945.23/1952.46 c #Conflicts: 1114000 | #Constraints: 32145
1945.23/1952.46 c #Conflicts: 1115000 | #Constraints: 33145
1945.23/1952.46 c #Conflicts: 1116000 | #Constraints: 34145
1945.23/1952.46 c #Conflicts: 1117000 | #Constraints: 35145
1945.23/1952.46 c #Conflicts: 1118000 | #Constraints: 36145
1945.23/1952.46 c #Conflicts: 1119000 | #Constraints: 37145
1945.23/1952.46 c #Conflicts: 1120000 | #Constraints: 38145
1945.23/1952.46 c #Conflicts: 1121000 | #Constraints: 39145
1945.23/1952.46 c #Conflicts: 1122000 | #Constraints: 40145
1945.23/1952.46 c #Conflicts: 1123000 | #Constraints: 41145
1945.23/1952.46 c #Conflicts: 1124000 | #Constraints: 42145
1945.23/1952.46 c #Conflicts: 1125000 | #Constraints: 43145
1945.23/1952.46 c INPROCESSING
1945.23/1952.46 c GARBAGE COLLECT
1945.23/1952.46 c #Conflicts: 1126000 | #Constraints: 23146
1945.23/1952.46 c #Conflicts: 1127000 | #Constraints: 24146
1945.23/1952.46 c #Conflicts: 1128000 | #Constraints: 25146
1945.23/1952.46 c #Conflicts: 1129000 | #Constraints: 26146
1945.23/1952.46 c #Conflicts: 1130000 | #Constraints: 27146
1945.23/1952.46 c #Conflicts: 1131000 | #Constraints: 28146
1945.23/1952.46 c #Conflicts: 1132000 | #Constraints: 29146
1945.23/1952.46 c #Conflicts: 1133000 | #Constraints: 30146
1945.23/1952.46 c #Conflicts: 1134000 | #Constraints: 31146
1945.23/1952.46 c #Conflicts: 1135000 | #Constraints: 32146
1945.23/1952.46 c #Conflicts: 1136000 | #Constraints: 33146
1945.23/1952.46 c #Conflicts: 1137000 | #Constraints: 34146
1945.23/1952.46 c #Conflicts: 1138000 | #Constraints: 35146
1945.23/1952.46 c #Conflicts: 1139000 | #Constraints: 36146
1945.23/1952.46 c #Conflicts: 1140000 | #Constraints: 37146
1945.23/1952.46 c #Conflicts: 1141000 | #Constraints: 38146
1945.23/1952.46 c #Conflicts: 1142000 | #Constraints: 39146
1945.23/1952.46 c #Conflicts: 1143000 | #Constraints: 40146
1945.23/1952.46 c #Conflicts: 1144000 | #Constraints: 41146
1945.23/1952.46 c #Conflicts: 1145000 | #Constraints: 42146
1945.23/1952.46 c #Conflicts: 1146000 | #Constraints: 43146
1945.23/1952.46 c INPROCESSING
1945.23/1952.46 c GARBAGE COLLECT
1945.23/1952.46 c #Conflicts: 1147000 | #Constraints: 22951
1945.23/1952.46 c #Conflicts: 1148000 | #Constraints: 23951
1945.23/1952.46 c #Conflicts: 1149000 | #Constraints: 24951
1945.23/1952.46 c #Conflicts: 1150000 | #Constraints: 25951
1945.23/1952.46 c #Conflicts: 1151000 | #Constraints: 26951
1945.23/1952.46 c #Conflicts: 1152000 | #Constraints: 27951
1945.23/1952.46 c #Conflicts: 1153000 | #Constraints: 28951
1945.23/1952.46 c #Conflicts: 1154000 | #Constraints: 29951
1945.23/1952.46 c #Conflicts: 1155000 | #Constraints: 30951
1945.23/1952.46 c #Conflicts: 1156000 | #Constraints: 31951
1945.23/1952.46 c #Conflicts: 1157000 | #Constraints: 32951
1945.23/1952.46 c #Conflicts: 1158000 | #Constraints: 33951
1945.23/1952.46 c #Conflicts: 1159000 | #Constraints: 34951
1945.23/1952.46 c #Conflicts: 1160000 | #Constraints: 35951
1945.23/1952.46 c #Conflicts: 1161000 | #Constraints: 36951
1945.23/1952.46 c #Conflicts: 1162000 | #Constraints: 37951
1945.23/1952.46 c #Conflicts: 1163000 | #Constraints: 38951
1945.23/1952.46 c #Conflicts: 1164000 | #Constraints: 39951
1945.23/1952.46 c #Conflicts: 1165000 | #Constraints: 40951
1945.23/1952.46 c #Conflicts: 1166000 | #Constraints: 41951
2112.62/2120.42 c #Conflicts: 1167000 | #Constraints: 42951
2112.62/2120.42 c #Conflicts: 1168000 | #Constraints: 43951
2112.62/2120.42 c INPROCESSING
2112.62/2120.42 c GARBAGE COLLECT
2112.62/2120.42 c #Conflicts: 1169000 | #Constraints: 23557
2112.62/2120.42 c #Conflicts: 1170000 | #Constraints: 24557
2112.62/2120.42 c #Conflicts: 1171000 | #Constraints: 25557
2112.62/2120.42 c #Conflicts: 1172000 | #Constraints: 26557
2112.62/2120.42 c #Conflicts: 1173000 | #Constraints: 27557
2112.62/2120.42 c #Conflicts: 1174000 | #Constraints: 28557
2112.62/2120.42 c #Conflicts: 1175000 | #Constraints: 29557
2112.62/2120.42 c #Conflicts: 1176000 | #Constraints: 30557
2112.62/2120.42 c #Conflicts: 1177000 | #Constraints: 31557
2112.62/2120.42 c #Conflicts: 1178000 | #Constraints: 32557
2112.62/2120.42 c #Conflicts: 1179000 | #Constraints: 33557
2112.62/2120.42 c #Conflicts: 1180000 | #Constraints: 34557
2112.62/2120.42 c #Conflicts: 1181000 | #Constraints: 35557
2112.62/2120.42 c #Conflicts: 1182000 | #Constraints: 36557
2112.62/2120.42 c #Conflicts: 1183000 | #Constraints: 37557
2112.62/2120.42 c #Conflicts: 1184000 | #Constraints: 38557
2112.62/2120.42 c #Conflicts: 1185000 | #Constraints: 39557
2112.62/2120.42 c #Conflicts: 1186000 | #Constraints: 40557
2112.62/2120.42 c #Conflicts: 1187000 | #Constraints: 41557
2112.62/2120.42 c #Conflicts: 1188000 | #Constraints: 42557
2112.62/2120.42 c #Conflicts: 1189000 | #Constraints: 43557
2112.62/2120.42 c #Conflicts: 1190000 | #Constraints: 44557
2112.62/2120.42 c INPROCESSING
2112.62/2120.42 c GARBAGE COLLECT
2112.62/2120.42 c #Conflicts: 1191000 | #Constraints: 23947
2112.62/2120.42 c #Conflicts: 1192000 | #Constraints: 24947
2112.62/2120.42 c #Conflicts: 1193000 | #Constraints: 25947
2112.62/2120.42 c #Conflicts: 1194000 | #Constraints: 26947
2112.62/2120.42 c #Conflicts: 1195000 | #Constraints: 27947
2112.62/2120.42 c #Conflicts: 1196000 | #Constraints: 28947
2112.62/2120.42 c #Conflicts: 1197000 | #Constraints: 29947
2112.62/2120.42 c #Conflicts: 1198000 | #Constraints: 30947
2112.62/2120.42 c #Conflicts: 1199000 | #Constraints: 31947
2112.62/2120.42 c #Conflicts: 1200000 | #Constraints: 32947
2112.62/2120.42 c #Conflicts: 1201000 | #Constraints: 33947
2112.62/2120.42 c #Conflicts: 1202000 | #Constraints: 34947
2112.62/2120.42 c #Conflicts: 1203000 | #Constraints: 35947
2112.62/2120.42 c #Conflicts: 1204000 | #Constraints: 36947
2112.62/2120.42 c #Conflicts: 1205000 | #Constraints: 37947
2112.62/2120.42 c #Conflicts: 1206000 | #Constraints: 38947
2112.62/2120.42 c #Conflicts: 1207000 | #Constraints: 39947
2112.62/2120.42 c #Conflicts: 1208000 | #Constraints: 40947
2112.62/2120.42 c #Conflicts: 1209000 | #Constraints: 41947
2112.62/2120.42 c #Conflicts: 1210000 | #Constraints: 42947
2112.62/2120.42 c #Conflicts: 1211000 | #Constraints: 43947
2112.62/2120.42 c #Conflicts: 1212000 | #Constraints: 44947
2112.62/2120.42 c INPROCESSING
2112.62/2120.42 c GARBAGE COLLECT
2112.62/2120.42 c #Conflicts: 1213000 | #Constraints: 24146
2112.62/2120.42 c #Conflicts: 1214000 | #Constraints: 25146
2112.62/2120.42 c #Conflicts: 1215000 | #Constraints: 26146
2112.62/2120.42 c #Conflicts: 1216000 | #Constraints: 27146
2112.62/2120.42 c #Conflicts: 1217000 | #Constraints: 28146
2112.62/2120.42 c #Conflicts: 1218000 | #Constraints: 29146
2112.62/2120.42 c #Conflicts: 1219000 | #Constraints: 30146
2112.62/2120.42 c #Conflicts: 1220000 | #Constraints: 31146
2112.62/2120.42 c #Conflicts: 1221000 | #Constraints: 32146
2112.62/2120.42 c #Conflicts: 1222000 | #Constraints: 33146
2112.62/2120.42 c #Conflicts: 1223000 | #Constraints: 34146
2112.62/2120.42 c #Conflicts: 1224000 | #Constraints: 35146
2112.62/2120.42 c #Conflicts: 1225000 | #Constraints: 36146
2112.62/2120.42 c #Conflicts: 1226000 | #Constraints: 37146
2112.62/2120.42 c #Conflicts: 1227000 | #Constraints: 38146
2112.62/2120.42 c #Conflicts: 1228000 | #Constraints: 39146
2112.62/2120.42 c #Conflicts: 1229000 | #Constraints: 40146
2112.62/2120.42 c #Conflicts: 1230000 | #Constraints: 41146
2112.62/2120.42 c #Conflicts: 1231000 | #Constraints: 42146
2112.62/2120.42 c #Conflicts: 1232000 | #Constraints: 43146
2112.62/2120.42 c #Conflicts: 1233000 | #Constraints: 44146
2112.62/2120.42 c #Conflicts: 1234000 | #Constraints: 45146
2112.62/2120.42 c INPROCESSING
2112.62/2120.42 c GARBAGE COLLECT
2112.62/2120.42 c #Conflicts: 1235000 | #Constraints: 24143
2112.62/2120.42 c #Conflicts: 1236000 | #Constraints: 25143
2112.62/2120.42 c #Conflicts: 1237000 | #Constraints: 26143
2112.62/2120.42 c #Conflicts: 1238000 | #Constraints: 27143
2112.62/2120.42 c #Conflicts: 1239000 | #Constraints: 28143
2112.62/2120.42 c #Conflicts: 1240000 | #Constraints: 29143
2112.62/2120.42 c #Conflicts: 1241000 | #Constraints: 30143
2112.62/2120.42 c #Conflicts: 1242000 | #Constraints: 31143
2281.30/2289.75 c #Conflicts: 1243000 | #Constraints: 32143
2281.30/2289.75 c #Conflicts: 1244000 | #Constraints: 33143
2281.30/2289.75 c #Conflicts: 1245000 | #Constraints: 34143
2281.30/2289.75 c #Conflicts: 1246000 | #Constraints: 35143
2281.30/2289.75 c #Conflicts: 1247000 | #Constraints: 36143
2281.30/2289.75 c #Conflicts: 1248000 | #Constraints: 37143
2281.30/2289.75 c #Conflicts: 1249000 | #Constraints: 38143
2281.30/2289.75 c #Conflicts: 1250000 | #Constraints: 39143
2281.30/2289.75 c #Conflicts: 1251000 | #Constraints: 40143
2281.30/2289.75 c #Conflicts: 1252000 | #Constraints: 41143
2281.30/2289.75 c #Conflicts: 1253000 | #Constraints: 42143
2281.30/2289.75 c #Conflicts: 1254000 | #Constraints: 43143
2281.30/2289.75 c #Conflicts: 1255000 | #Constraints: 44143
2281.30/2289.75 c #Conflicts: 1256000 | #Constraints: 45143
2281.30/2289.75 c INPROCESSING
2281.30/2289.75 c GARBAGE COLLECT
2281.30/2289.75 c #Conflicts: 1257000 | #Constraints: 23940
2281.30/2289.75 c #Conflicts: 1258000 | #Constraints: 24940
2281.30/2289.75 c #Conflicts: 1259000 | #Constraints: 25940
2281.30/2289.75 c #Conflicts: 1260000 | #Constraints: 26940
2281.30/2289.75 c #Conflicts: 1261000 | #Constraints: 27940
2281.30/2289.75 c #Conflicts: 1262000 | #Constraints: 28940
2281.30/2289.75 c #Conflicts: 1263000 | #Constraints: 29940
2281.30/2289.75 c #Conflicts: 1264000 | #Constraints: 30940
2281.30/2289.75 c #Conflicts: 1265000 | #Constraints: 31940
2281.30/2289.75 c #Conflicts: 1266000 | #Constraints: 32940
2281.30/2289.75 c #Conflicts: 1267000 | #Constraints: 33940
2281.30/2289.75 c #Conflicts: 1268000 | #Constraints: 34940
2281.30/2289.75 c #Conflicts: 1269000 | #Constraints: 35940
2281.30/2289.75 c #Conflicts: 1270000 | #Constraints: 36940
2281.30/2289.75 c #Conflicts: 1271000 | #Constraints: 37940
2281.30/2289.75 c #Conflicts: 1272000 | #Constraints: 38940
2281.30/2289.75 c #Conflicts: 1273000 | #Constraints: 39940
2281.30/2289.75 c #Conflicts: 1274000 | #Constraints: 40940
2281.30/2289.75 c #Conflicts: 1275000 | #Constraints: 41940
2281.30/2289.75 c #Conflicts: 1276000 | #Constraints: 42940
2281.30/2289.75 c #Conflicts: 1277000 | #Constraints: 43940
2281.30/2289.75 c #Conflicts: 1278000 | #Constraints: 44940
2281.30/2289.75 c #Conflicts: 1279000 | #Constraints: 45940
2281.30/2289.75 c INPROCESSING
2281.30/2289.75 c GARBAGE COLLECT
2281.30/2289.75 c #Conflicts: 1280000 | #Constraints: 24542
2281.30/2289.75 c #Conflicts: 1281000 | #Constraints: 25542
2281.30/2289.75 c #Conflicts: 1282000 | #Constraints: 26542
2281.30/2289.75 c #Conflicts: 1283000 | #Constraints: 27542
2281.30/2289.75 c #Conflicts: 1284000 | #Constraints: 28542
2281.30/2289.75 c #Conflicts: 1285000 | #Constraints: 29542
2281.30/2289.75 c #Conflicts: 1286000 | #Constraints: 30542
2281.30/2289.75 c #Conflicts: 1287000 | #Constraints: 31542
2281.30/2289.75 c #Conflicts: 1288000 | #Constraints: 32542
2281.30/2289.75 c #Conflicts: 1289000 | #Constraints: 33542
2281.30/2289.75 c #Conflicts: 1290000 | #Constraints: 34542
2281.30/2289.75 c #Conflicts: 1291000 | #Constraints: 35542
2281.30/2289.75 c #Conflicts: 1292000 | #Constraints: 36542
2281.30/2289.75 c #Conflicts: 1293000 | #Constraints: 37542
2281.30/2289.75 c #Conflicts: 1294000 | #Constraints: 38542
2281.30/2289.75 c #Conflicts: 1295000 | #Constraints: 39542
2281.30/2289.75 c #Conflicts: 1296000 | #Constraints: 40542
2281.30/2289.75 c #Conflicts: 1297000 | #Constraints: 41542
2281.30/2289.75 c #Conflicts: 1298000 | #Constraints: 42542
2281.30/2289.75 c #Conflicts: 1299000 | #Constraints: 43542
2281.30/2289.75 c #Conflicts: 1300000 | #Constraints: 44542
2281.30/2289.75 c #Conflicts: 1301000 | #Constraints: 45542
2281.30/2289.75 c #Conflicts: 1302000 | #Constraints: 46542
2281.30/2289.75 c INPROCESSING
2281.30/2289.75 c GARBAGE COLLECT
2281.30/2289.75 c #Conflicts: 1303000 | #Constraints: 24947
2281.30/2289.75 c #Conflicts: 1304000 | #Constraints: 25947
2281.30/2289.75 c #Conflicts: 1305000 | #Constraints: 26947
2281.30/2289.75 c #Conflicts: 1306000 | #Constraints: 27947
2281.30/2289.75 c #Conflicts: 1307000 | #Constraints: 28947
2281.30/2289.75 c #Conflicts: 1308000 | #Constraints: 29947
2281.30/2289.75 c #Conflicts: 1309000 | #Constraints: 30947
2281.30/2289.75 c #Conflicts: 1310000 | #Constraints: 31947
2281.30/2289.75 c #Conflicts: 1311000 | #Constraints: 32947
2281.30/2289.75 c #Conflicts: 1312000 | #Constraints: 33947
2281.30/2289.75 c #Conflicts: 1313000 | #Constraints: 34947
2281.30/2289.75 c #Conflicts: 1314000 | #Constraints: 35947
2281.30/2289.75 c #Conflicts: 1315000 | #Constraints: 36947
2281.30/2289.75 c #Conflicts: 1316000 | #Constraints: 37947
2281.30/2289.75 c #Conflicts: 1317000 | #Constraints: 38947
2281.30/2289.75 c #Conflicts: 1318000 | #Constraints: 39947
2281.30/2289.75 c #Conflicts: 1319000 | #Constraints: 40947
2451.18/2460.29 c #Conflicts: 1320000 | #Constraints: 41947
2451.18/2460.29 c #Conflicts: 1321000 | #Constraints: 42947
2451.18/2460.29 c #Conflicts: 1322000 | #Constraints: 43947
2451.18/2460.29 c #Conflicts: 1323000 | #Constraints: 44947
2451.18/2460.29 c #Conflicts: 1324000 | #Constraints: 45947
2451.18/2460.29 c #Conflicts: 1325000 | #Constraints: 46947
2451.18/2460.29 c INPROCESSING
2451.18/2460.29 c GARBAGE COLLECT
2451.18/2460.29 c #Conflicts: 1326000 | #Constraints: 25145
2451.18/2460.29 c #Conflicts: 1327000 | #Constraints: 26145
2451.18/2460.29 c #Conflicts: 1328000 | #Constraints: 27145
2451.18/2460.29 c #Conflicts: 1329000 | #Constraints: 28145
2451.18/2460.29 c #Conflicts: 1330000 | #Constraints: 29145
2451.18/2460.29 c #Conflicts: 1331000 | #Constraints: 30145
2451.18/2460.29 c #Conflicts: 1332000 | #Constraints: 31145
2451.18/2460.29 c #Conflicts: 1333000 | #Constraints: 32145
2451.18/2460.29 c #Conflicts: 1334000 | #Constraints: 33145
2451.18/2460.29 c #Conflicts: 1335000 | #Constraints: 34145
2451.18/2460.29 c #Conflicts: 1336000 | #Constraints: 35145
2451.18/2460.29 c #Conflicts: 1337000 | #Constraints: 36145
2451.18/2460.29 c #Conflicts: 1338000 | #Constraints: 37145
2451.18/2460.29 c #Conflicts: 1339000 | #Constraints: 38145
2451.18/2460.29 c #Conflicts: 1340000 | #Constraints: 39145
2451.18/2460.29 c #Conflicts: 1341000 | #Constraints: 40145
2451.18/2460.29 c #Conflicts: 1342000 | #Constraints: 41145
2451.18/2460.29 c #Conflicts: 1343000 | #Constraints: 42145
2451.18/2460.29 c #Conflicts: 1344000 | #Constraints: 43145
2451.18/2460.29 c #Conflicts: 1345000 | #Constraints: 44145
2451.18/2460.29 c #Conflicts: 1346000 | #Constraints: 45145
2451.18/2460.29 c #Conflicts: 1347000 | #Constraints: 46145
2451.18/2460.29 c #Conflicts: 1348000 | #Constraints: 47145
2451.18/2460.29 c INPROCESSING
2451.18/2460.29 c GARBAGE COLLECT
2451.18/2460.29 c #Conflicts: 1349000 | #Constraints: 25144
2451.18/2460.29 c #Conflicts: 1350000 | #Constraints: 26144
2451.18/2460.29 c #Conflicts: 1351000 | #Constraints: 27144
2451.18/2460.29 c #Conflicts: 1352000 | #Constraints: 28144
2451.18/2460.29 c #Conflicts: 1353000 | #Constraints: 29144
2451.18/2460.29 c #Conflicts: 1354000 | #Constraints: 30144
2451.18/2460.29 c #Conflicts: 1355000 | #Constraints: 31144
2451.18/2460.29 c #Conflicts: 1356000 | #Constraints: 32144
2451.18/2460.29 c #Conflicts: 1357000 | #Constraints: 33144
2451.18/2460.29 c #Conflicts: 1358000 | #Constraints: 34144
2451.18/2460.29 c #Conflicts: 1359000 | #Constraints: 35144
2451.18/2460.29 c #Conflicts: 1360000 | #Constraints: 36144
2451.18/2460.29 c #Conflicts: 1361000 | #Constraints: 37144
2451.18/2460.29 c #Conflicts: 1362000 | #Constraints: 38144
2451.18/2460.29 c #Conflicts: 1363000 | #Constraints: 39144
2451.18/2460.29 c #Conflicts: 1364000 | #Constraints: 40144
2451.18/2460.29 c #Conflicts: 1365000 | #Constraints: 41144
2451.18/2460.29 c #Conflicts: 1366000 | #Constraints: 42144
2451.18/2460.29 c #Conflicts: 1367000 | #Constraints: 43144
2451.18/2460.29 c #Conflicts: 1368000 | #Constraints: 44144
2451.18/2460.29 c #Conflicts: 1369000 | #Constraints: 45144
2451.18/2460.29 c #Conflicts: 1370000 | #Constraints: 46144
2451.18/2460.29 c #Conflicts: 1371000 | #Constraints: 47144
2451.18/2460.29 c INPROCESSING
2451.18/2460.29 c GARBAGE COLLECT
2451.18/2460.29 c #Conflicts: 1372000 | #Constraints: 24937
2451.18/2460.29 c #Conflicts: 1373000 | #Constraints: 25937
2451.18/2460.29 c #Conflicts: 1374000 | #Constraints: 26937
2451.18/2460.29 c #Conflicts: 1375000 | #Constraints: 27937
2451.18/2460.29 c #Conflicts: 1376000 | #Constraints: 28937
2451.18/2460.29 c #Conflicts: 1377000 | #Constraints: 29937
2451.18/2460.29 c #Conflicts: 1378000 | #Constraints: 30937
2451.18/2460.29 c #Conflicts: 1379000 | #Constraints: 31937
2451.18/2460.29 c #Conflicts: 1380000 | #Constraints: 32937
2451.18/2460.29 c #Conflicts: 1381000 | #Constraints: 33937
2451.18/2460.29 c #Conflicts: 1382000 | #Constraints: 34937
2451.18/2460.29 c #Conflicts: 1383000 | #Constraints: 35937
2451.18/2460.29 c #Conflicts: 1384000 | #Constraints: 36937
2451.18/2460.29 c #Conflicts: 1385000 | #Constraints: 37937
2451.18/2460.29 c #Conflicts: 1386000 | #Constraints: 38937
2451.18/2460.29 c #Conflicts: 1387000 | #Constraints: 39937
2451.18/2460.29 c #Conflicts: 1388000 | #Constraints: 40937
2451.18/2460.29 c #Conflicts: 1389000 | #Constraints: 41937
2451.18/2460.29 c #Conflicts: 1390000 | #Constraints: 42937
2451.18/2460.29 c #Conflicts: 1391000 | #Constraints: 43937
2451.18/2460.29 c #Conflicts: 1392000 | #Constraints: 44937
2451.18/2460.29 c #Conflicts: 1393000 | #Constraints: 45937
2451.18/2460.29 c #Conflicts: 1394000 | #Constraints: 46937
2451.18/2460.29 c #Conflicts: 1395000 | #Constraints: 47937
2451.18/2460.29 c INPROCESSING
2451.18/2460.29 c GARBAGE COLLECT
2625.23/2634.99 c #Conflicts: 1396000 | #Constraints: 25543
2625.23/2634.99 c #Conflicts: 1397000 | #Constraints: 26543
2625.23/2634.99 c #Conflicts: 1398000 | #Constraints: 27543
2625.23/2634.99 c #Conflicts: 1399000 | #Constraints: 28543
2625.23/2634.99 c #Conflicts: 1400000 | #Constraints: 29543
2625.23/2634.99 c #Conflicts: 1401000 | #Constraints: 30543
2625.23/2634.99 c #Conflicts: 1402000 | #Constraints: 31543
2625.23/2634.99 c #Conflicts: 1403000 | #Constraints: 32543
2625.23/2634.99 c #Conflicts: 1404000 | #Constraints: 33543
2625.23/2634.99 c #Conflicts: 1405000 | #Constraints: 34543
2625.23/2634.99 c #Conflicts: 1406000 | #Constraints: 35543
2625.23/2634.99 c #Conflicts: 1407000 | #Constraints: 36543
2625.23/2634.99 c #Conflicts: 1408000 | #Constraints: 37543
2625.23/2634.99 c #Conflicts: 1409000 | #Constraints: 38543
2625.23/2634.99 c #Conflicts: 1410000 | #Constraints: 39543
2625.23/2634.99 c #Conflicts: 1411000 | #Constraints: 40543
2625.23/2634.99 c #Conflicts: 1412000 | #Constraints: 41543
2625.23/2634.99 c #Conflicts: 1413000 | #Constraints: 42543
2625.23/2634.99 c #Conflicts: 1414000 | #Constraints: 43543
2625.23/2634.99 c #Conflicts: 1415000 | #Constraints: 44543
2625.23/2634.99 c #Conflicts: 1416000 | #Constraints: 45543
2625.23/2634.99 c #Conflicts: 1417000 | #Constraints: 46543
2625.23/2634.99 c #Conflicts: 1418000 | #Constraints: 47543
2625.23/2634.99 c #Conflicts: 1419000 | #Constraints: 48543
2625.23/2634.99 c INPROCESSING
2625.23/2634.99 c GARBAGE COLLECT
2625.23/2634.99 c #Conflicts: 1420000 | #Constraints: 25945
2625.23/2634.99 c #Conflicts: 1421000 | #Constraints: 26945
2625.23/2634.99 c #Conflicts: 1422000 | #Constraints: 27945
2625.23/2634.99 c #Conflicts: 1423000 | #Constraints: 28945
2625.23/2634.99 c #Conflicts: 1424000 | #Constraints: 29945
2625.23/2634.99 c #Conflicts: 1425000 | #Constraints: 30945
2625.23/2634.99 c #Conflicts: 1426000 | #Constraints: 31945
2625.23/2634.99 c #Conflicts: 1427000 | #Constraints: 32945
2625.23/2634.99 c #Conflicts: 1428000 | #Constraints: 33945
2625.23/2634.99 c #Conflicts: 1429000 | #Constraints: 34945
2625.23/2634.99 c #Conflicts: 1430000 | #Constraints: 35945
2625.23/2634.99 c #Conflicts: 1431000 | #Constraints: 36945
2625.23/2634.99 c #Conflicts: 1432000 | #Constraints: 37945
2625.23/2634.99 c #Conflicts: 1433000 | #Constraints: 38945
2625.23/2634.99 c #Conflicts: 1434000 | #Constraints: 39945
2625.23/2634.99 c #Conflicts: 1435000 | #Constraints: 40945
2625.23/2634.99 c #Conflicts: 1436000 | #Constraints: 41945
2625.23/2634.99 c #Conflicts: 1437000 | #Constraints: 42945
2625.23/2634.99 c #Conflicts: 1438000 | #Constraints: 43945
2625.23/2634.99 c #Conflicts: 1439000 | #Constraints: 44945
2625.23/2634.99 c #Conflicts: 1440000 | #Constraints: 45945
2625.23/2634.99 c #Conflicts: 1441000 | #Constraints: 46945
2625.23/2634.99 c #Conflicts: 1442000 | #Constraints: 47945
2625.23/2634.99 c #Conflicts: 1443000 | #Constraints: 48945
2625.23/2634.99 c INPROCESSING
2625.23/2634.99 c GARBAGE COLLECT
2625.23/2634.99 c #Conflicts: 1444000 | #Constraints: 26148
2625.23/2634.99 c #Conflicts: 1445000 | #Constraints: 27148
2625.23/2634.99 c #Conflicts: 1446000 | #Constraints: 28148
2625.23/2634.99 c #Conflicts: 1447000 | #Constraints: 29148
2625.23/2634.99 c #Conflicts: 1448000 | #Constraints: 30148
2625.23/2634.99 c #Conflicts: 1449000 | #Constraints: 31148
2625.23/2634.99 c #Conflicts: 1450000 | #Constraints: 32148
2625.23/2634.99 c #Conflicts: 1451000 | #Constraints: 33148
2625.23/2634.99 c #Conflicts: 1452000 | #Constraints: 34148
2625.23/2634.99 c #Conflicts: 1453000 | #Constraints: 35148
2625.23/2634.99 c #Conflicts: 1454000 | #Constraints: 36148
2625.23/2634.99 c #Conflicts: 1455000 | #Constraints: 37148
2625.23/2634.99 c #Conflicts: 1456000 | #Constraints: 38148
2625.23/2634.99 c #Conflicts: 1457000 | #Constraints: 39148
2625.23/2634.99 c #Conflicts: 1458000 | #Constraints: 40148
2625.23/2634.99 c #Conflicts: 1459000 | #Constraints: 41148
2625.23/2634.99 c #Conflicts: 1460000 | #Constraints: 42148
2625.23/2634.99 c #Conflicts: 1461000 | #Constraints: 43148
2625.23/2634.99 c #Conflicts: 1462000 | #Constraints: 44148
2625.23/2634.99 c #Conflicts: 1463000 | #Constraints: 45148
2625.23/2634.99 c #Conflicts: 1464000 | #Constraints: 46148
2625.23/2634.99 c #Conflicts: 1465000 | #Constraints: 47148
2625.23/2634.99 c #Conflicts: 1466000 | #Constraints: 48148
2625.23/2634.99 c #Conflicts: 1467000 | #Constraints: 49148
2625.23/2634.99 c INPROCESSING
2625.23/2634.99 c GARBAGE COLLECT
2625.23/2634.99 c #Conflicts: 1468000 | #Constraints: 26146
2625.23/2634.99 c #Conflicts: 1469000 | #Constraints: 27146
2625.23/2634.99 c #Conflicts: 1470000 | #Constraints: 28146
2625.23/2634.99 c #Conflicts: 1471000 | #Constraints: 29146
2625.23/2634.99 c #Conflicts: 1472000 | #Constraints: 30146
2812.25/2822.61 c #Conflicts: 1473000 | #Constraints: 31146
2812.25/2822.61 c #Conflicts: 1474000 | #Constraints: 32146
2812.25/2822.61 c #Conflicts: 1475000 | #Constraints: 33146
2812.25/2822.61 c #Conflicts: 1476000 | #Constraints: 34146
2812.25/2822.61 c #Conflicts: 1477000 | #Constraints: 35146
2812.25/2822.61 c #Conflicts: 1478000 | #Constraints: 36146
2812.25/2822.61 c #Conflicts: 1479000 | #Constraints: 37146
2812.25/2822.61 c #Conflicts: 1480000 | #Constraints: 38146
2812.25/2822.61 c #Conflicts: 1481000 | #Constraints: 39146
2812.25/2822.61 c #Conflicts: 1482000 | #Constraints: 40146
2812.25/2822.61 c #Conflicts: 1483000 | #Constraints: 41146
2812.25/2822.61 c #Conflicts: 1484000 | #Constraints: 42146
2812.25/2822.61 c #Conflicts: 1485000 | #Constraints: 43146
2812.25/2822.61 c #Conflicts: 1486000 | #Constraints: 44146
2812.25/2822.61 c #Conflicts: 1487000 | #Constraints: 45146
2812.25/2822.61 c #Conflicts: 1488000 | #Constraints: 46146
2812.25/2822.61 c #Conflicts: 1489000 | #Constraints: 47146
2812.25/2822.61 c #Conflicts: 1490000 | #Constraints: 48146
2812.25/2822.61 c #Conflicts: 1491000 | #Constraints: 49146
2812.25/2822.61 c INPROCESSING
2812.25/2822.61 c GARBAGE COLLECT
2812.25/2822.61 c #Conflicts: 1492000 | #Constraints: 25948
2812.25/2822.61 c #Conflicts: 1493000 | #Constraints: 26948
2812.25/2822.61 c #Conflicts: 1494000 | #Constraints: 27948
2812.25/2822.61 c #Conflicts: 1495000 | #Constraints: 28948
2812.25/2822.61 c #Conflicts: 1496000 | #Constraints: 29948
2812.25/2822.61 c #Conflicts: 1497000 | #Constraints: 30948
2812.25/2822.61 c #Conflicts: 1498000 | #Constraints: 31948
2812.25/2822.61 c #Conflicts: 1499000 | #Constraints: 32948
2812.25/2822.61 c #Conflicts: 1500000 | #Constraints: 33948
2812.25/2822.61 c #Conflicts: 1501000 | #Constraints: 34948
2812.25/2822.61 c #Conflicts: 1502000 | #Constraints: 35948
2812.25/2822.61 c #Conflicts: 1503000 | #Constraints: 36948
2812.25/2822.61 c #Conflicts: 1504000 | #Constraints: 37948
2812.25/2822.61 c #Conflicts: 1505000 | #Constraints: 38948
2812.25/2822.61 c #Conflicts: 1506000 | #Constraints: 39948
2812.25/2822.61 c #Conflicts: 1507000 | #Constraints: 40948
2812.25/2822.61 c #Conflicts: 1508000 | #Constraints: 41948
2812.25/2822.61 c #Conflicts: 1509000 | #Constraints: 42948
2812.25/2822.61 c #Conflicts: 1510000 | #Constraints: 43948
2812.25/2822.61 c #Conflicts: 1511000 | #Constraints: 44948
2812.25/2822.61 c #Conflicts: 1512000 | #Constraints: 45948
2812.25/2822.61 c #Conflicts: 1513000 | #Constraints: 46948
2812.25/2822.61 c #Conflicts: 1514000 | #Constraints: 47948
2812.25/2822.61 c #Conflicts: 1515000 | #Constraints: 48948
2812.25/2822.61 c #Conflicts: 1516000 | #Constraints: 49948
2812.25/2822.61 c INPROCESSING
2812.25/2822.61 c GARBAGE COLLECT
2812.25/2822.61 c #Conflicts: 1517000 | #Constraints: 26542
2812.25/2822.61 c #Conflicts: 1518000 | #Constraints: 27542
2812.25/2822.61 c #Conflicts: 1519000 | #Constraints: 28542
2812.25/2822.61 c #Conflicts: 1520000 | #Constraints: 29542
2812.25/2822.61 c #Conflicts: 1521000 | #Constraints: 30542
2812.25/2822.61 c #Conflicts: 1522000 | #Constraints: 31542
2812.25/2822.61 c #Conflicts: 1523000 | #Constraints: 32542
2812.25/2822.61 c #Conflicts: 1524000 | #Constraints: 33542
2812.25/2822.61 c #Conflicts: 1525000 | #Constraints: 34542
2812.25/2822.61 c #Conflicts: 1526000 | #Constraints: 35542
2812.25/2822.61 c #Conflicts: 1527000 | #Constraints: 36542
2812.25/2822.61 c #Conflicts: 1528000 | #Constraints: 37542
2812.25/2822.61 c #Conflicts: 1529000 | #Constraints: 38542
2812.25/2822.61 c #Conflicts: 1530000 | #Constraints: 39542
2812.25/2822.61 c #Conflicts: 1531000 | #Constraints: 40542
2812.25/2822.61 c #Conflicts: 1532000 | #Constraints: 41542
2812.25/2822.61 c #Conflicts: 1533000 | #Constraints: 42542
2812.25/2822.61 c #Conflicts: 1534000 | #Constraints: 43542
2812.25/2822.61 c #Conflicts: 1535000 | #Constraints: 44542
2812.25/2822.61 c #Conflicts: 1536000 | #Constraints: 45542
2812.25/2822.61 c #Conflicts: 1537000 | #Constraints: 46542
2812.25/2822.61 c #Conflicts: 1538000 | #Constraints: 47542
2812.25/2822.61 c #Conflicts: 1539000 | #Constraints: 48542
2812.25/2822.61 c #Conflicts: 1540000 | #Constraints: 49542
2812.25/2822.61 c #Conflicts: 1541000 | #Constraints: 50542
2812.25/2822.61 c INPROCESSING
2812.25/2822.61 c GARBAGE COLLECT
2812.25/2822.61 c #Conflicts: 1542000 | #Constraints: 26936
2812.25/2822.61 c #Conflicts: 1543000 | #Constraints: 27936
2812.25/2822.61 c #Conflicts: 1544000 | #Constraints: 28936
2812.25/2822.61 c #Conflicts: 1545000 | #Constraints: 29936
2812.25/2822.61 c #Conflicts: 1546000 | #Constraints: 30936
2812.25/2822.61 c #Conflicts: 1547000 | #Constraints: 31936
2812.25/2822.61 c #Conflicts: 1548000 | #Constraints: 32936
2812.25/2822.61 c #Conflicts: 1549000 | #Constraints: 33936
2974.16/2985.19 c #Conflicts: 1550000 | #Constraints: 34936
2974.16/2985.19 c #Conflicts: 1551000 | #Constraints: 35936
2974.16/2985.19 c #Conflicts: 1552000 | #Constraints: 36936
2974.16/2985.19 c #Conflicts: 1553000 | #Constraints: 37936
2974.16/2985.19 c #Conflicts: 1554000 | #Constraints: 38936
2974.16/2985.19 c #Conflicts: 1555000 | #Constraints: 39936
2974.16/2985.19 c #Conflicts: 1556000 | #Constraints: 40936
2974.16/2985.19 c #Conflicts: 1557000 | #Constraints: 41936
2974.16/2985.19 c #Conflicts: 1558000 | #Constraints: 42936
2974.16/2985.19 c #Conflicts: 1559000 | #Constraints: 43936
2974.16/2985.19 c #Conflicts: 1560000 | #Constraints: 44936
2974.16/2985.19 c #Conflicts: 1561000 | #Constraints: 45936
2974.16/2985.19 c #Conflicts: 1562000 | #Constraints: 46936
2974.16/2985.19 c #Conflicts: 1563000 | #Constraints: 47936
2974.16/2985.19 c #Conflicts: 1564000 | #Constraints: 48936
2974.16/2985.19 c #Conflicts: 1565000 | #Constraints: 49936
2974.16/2985.19 c #Conflicts: 1566000 | #Constraints: 50936
2974.16/2985.19 c INPROCESSING
2974.16/2985.19 c GARBAGE COLLECT
2974.16/2985.19 c #Conflicts: 1567000 | #Constraints: 27144
2974.16/2985.19 c #Conflicts: 1568000 | #Constraints: 28144
2974.16/2985.19 c #Conflicts: 1569000 | #Constraints: 29144
2974.16/2985.19 c #Conflicts: 1570000 | #Constraints: 30144
2974.16/2985.19 c #Conflicts: 1571000 | #Constraints: 31144
2974.16/2985.19 c #Conflicts: 1572000 | #Constraints: 32144
2974.16/2985.19 c #Conflicts: 1573000 | #Constraints: 33144
2974.16/2985.19 c #Conflicts: 1574000 | #Constraints: 34144
2974.16/2985.19 c #Conflicts: 1575000 | #Constraints: 35144
2974.16/2985.19 c #Conflicts: 1576000 | #Constraints: 36144
2974.16/2985.19 c #Conflicts: 1577000 | #Constraints: 37144
2974.16/2985.19 c #Conflicts: 1578000 | #Constraints: 38144
2974.16/2985.19 c #Conflicts: 1579000 | #Constraints: 39144
2974.16/2985.19 c #Conflicts: 1580000 | #Constraints: 40144
2974.16/2985.19 c #Conflicts: 1581000 | #Constraints: 41144
2974.16/2985.19 c #Conflicts: 1582000 | #Constraints: 42144
2974.16/2985.19 c #Conflicts: 1583000 | #Constraints: 43144
2974.16/2985.19 c #Conflicts: 1584000 | #Constraints: 44144
2974.16/2985.19 c #Conflicts: 1585000 | #Constraints: 45144
2974.16/2985.19 c #Conflicts: 1586000 | #Constraints: 46144
2974.16/2985.19 c #Conflicts: 1587000 | #Constraints: 47144
2974.16/2985.19 c #Conflicts: 1588000 | #Constraints: 48144
2974.16/2985.19 c #Conflicts: 1589000 | #Constraints: 49144
2974.16/2985.19 c #Conflicts: 1590000 | #Constraints: 50144
2974.16/2985.19 c #Conflicts: 1591000 | #Constraints: 51144
2974.16/2985.19 c INPROCESSING
2974.16/2985.19 c GARBAGE COLLECT
2974.16/2985.19 c #Conflicts: 1592000 | #Constraints: 27152
2974.16/2985.19 c #Conflicts: 1593000 | #Constraints: 28152
2974.16/2985.19 c #Conflicts: 1594000 | #Constraints: 29152
2974.16/2985.19 c #Conflicts: 1595000 | #Constraints: 30152
2974.16/2985.19 c #Conflicts: 1596000 | #Constraints: 31152
2974.16/2985.19 c #Conflicts: 1597000 | #Constraints: 32152
2974.16/2985.19 c #Conflicts: 1598000 | #Constraints: 33152
2974.16/2985.19 c #Conflicts: 1599000 | #Constraints: 34152
2974.16/2985.19 c #Conflicts: 1600000 | #Constraints: 35152
2974.16/2985.19 c #Conflicts: 1601000 | #Constraints: 36152
2974.16/2985.19 c #Conflicts: 1602000 | #Constraints: 37152
2974.16/2985.19 c #Conflicts: 1603000 | #Constraints: 38152
2974.16/2985.19 c #Conflicts: 1604000 | #Constraints: 39152
2974.16/2985.19 c #Conflicts: 1605000 | #Constraints: 40152
2974.16/2985.19 c #Conflicts: 1606000 | #Constraints: 41152
2974.16/2985.19 c #Conflicts: 1607000 | #Constraints: 42152
2974.16/2985.19 c #Conflicts: 1608000 | #Constraints: 43152
2974.16/2985.19 c #Conflicts: 1609000 | #Constraints: 44152
2974.16/2985.19 c #Conflicts: 1610000 | #Constraints: 45152
2974.16/2985.19 c #Conflicts: 1611000 | #Constraints: 46152
2974.16/2985.19 c #Conflicts: 1612000 | #Constraints: 47152
2974.16/2985.19 c #Conflicts: 1613000 | #Constraints: 48152
2974.16/2985.19 c #Conflicts: 1614000 | #Constraints: 49152
2974.16/2985.19 c #Conflicts: 1615000 | #Constraints: 50152
2974.16/2985.19 c #Conflicts: 1616000 | #Constraints: 51152
2974.16/2985.19 c INPROCESSING
2974.16/2985.19 c GARBAGE COLLECT
2974.16/2985.19 c #Conflicts: 1617000 | #Constraints: 26953
2974.16/2985.19 c #Conflicts: 1618000 | #Constraints: 27953
2974.16/2985.19 c #Conflicts: 1619000 | #Constraints: 28953
2974.16/2985.19 c #Conflicts: 1620000 | #Constraints: 29953
2974.16/2985.19 c #Conflicts: 1621000 | #Constraints: 30953
2974.16/2985.19 c #Conflicts: 1622000 | #Constraints: 31953
2974.16/2985.19 c #Conflicts: 1623000 | #Constraints: 32953
2974.16/2985.19 c #Conflicts: 1624000 | #Constraints: 33953
2974.16/2985.19 c #Conflicts: 1625000 | #Constraints: 34953
2974.16/2985.19 c #Conflicts: 1626000 | #Constraints: 35953
3160.37/3172.03 c #Conflicts: 1627000 | #Constraints: 36953
3160.37/3172.03 c #Conflicts: 1628000 | #Constraints: 37953
3160.37/3172.03 c #Conflicts: 1629000 | #Constraints: 38953
3160.37/3172.03 c #Conflicts: 1630000 | #Constraints: 39953
3160.37/3172.03 c #Conflicts: 1631000 | #Constraints: 40953
3160.37/3172.03 c #Conflicts: 1632000 | #Constraints: 41953
3160.37/3172.03 c #Conflicts: 1633000 | #Constraints: 42953
3160.37/3172.03 c #Conflicts: 1634000 | #Constraints: 43953
3160.37/3172.03 c #Conflicts: 1635000 | #Constraints: 44953
3160.37/3172.03 c #Conflicts: 1636000 | #Constraints: 45953
3160.37/3172.03 c #Conflicts: 1637000 | #Constraints: 46953
3160.37/3172.03 c #Conflicts: 1638000 | #Constraints: 47953
3160.37/3172.03 c #Conflicts: 1639000 | #Constraints: 48953
3160.37/3172.03 c #Conflicts: 1640000 | #Constraints: 49953
3160.37/3172.03 c #Conflicts: 1641000 | #Constraints: 50953
3160.37/3172.03 c #Conflicts: 1642000 | #Constraints: 51953
3160.37/3172.03 c INPROCESSING
3160.37/3172.03 c GARBAGE COLLECT
3160.37/3172.03 c #Conflicts: 1643000 | #Constraints: 27549
3160.37/3172.03 c #Conflicts: 1644000 | #Constraints: 28549
3160.37/3172.03 c #Conflicts: 1645000 | #Constraints: 29549
3160.37/3172.03 c #Conflicts: 1646000 | #Constraints: 30549
3160.37/3172.03 c #Conflicts: 1647000 | #Constraints: 31549
3160.37/3172.03 c #Conflicts: 1648000 | #Constraints: 32549
3160.37/3172.03 c #Conflicts: 1649000 | #Constraints: 33549
3160.37/3172.03 c #Conflicts: 1650000 | #Constraints: 34549
3160.37/3172.03 c #Conflicts: 1651000 | #Constraints: 35549
3160.37/3172.03 c #Conflicts: 1652000 | #Constraints: 36549
3160.37/3172.03 c #Conflicts: 1653000 | #Constraints: 37549
3160.37/3172.03 c #Conflicts: 1654000 | #Constraints: 38549
3160.37/3172.03 c #Conflicts: 1655000 | #Constraints: 39549
3160.37/3172.03 c #Conflicts: 1656000 | #Constraints: 40549
3160.37/3172.03 c #Conflicts: 1657000 | #Constraints: 41549
3160.37/3172.03 c #Conflicts: 1658000 | #Constraints: 42549
3160.37/3172.03 c #Conflicts: 1659000 | #Constraints: 43549
3160.37/3172.03 c #Conflicts: 1660000 | #Constraints: 44549
3160.37/3172.03 c #Conflicts: 1661000 | #Constraints: 45549
3160.37/3172.03 c #Conflicts: 1662000 | #Constraints: 46549
3160.37/3172.03 c #Conflicts: 1663000 | #Constraints: 47549
3160.37/3172.03 c #Conflicts: 1664000 | #Constraints: 48549
3160.37/3172.03 c #Conflicts: 1665000 | #Constraints: 49549
3160.37/3172.03 c #Conflicts: 1666000 | #Constraints: 50549
3160.37/3172.03 c #Conflicts: 1667000 | #Constraints: 51549
3160.37/3172.03 c #Conflicts: 1668000 | #Constraints: 52549
3160.37/3172.03 c INPROCESSING
3160.37/3172.03 c GARBAGE COLLECT
3160.37/3172.03 c #Conflicts: 1669000 | #Constraints: 27946
3160.37/3172.03 c #Conflicts: 1670000 | #Constraints: 28946
3160.37/3172.03 c #Conflicts: 1671000 | #Constraints: 29946
3160.37/3172.03 c #Conflicts: 1672000 | #Constraints: 30946
3160.37/3172.03 c #Conflicts: 1673000 | #Constraints: 31946
3160.37/3172.03 c #Conflicts: 1674000 | #Constraints: 32946
3160.37/3172.03 c #Conflicts: 1675000 | #Constraints: 33946
3160.37/3172.03 c #Conflicts: 1676000 | #Constraints: 34946
3160.37/3172.03 c #Conflicts: 1677000 | #Constraints: 35946
3160.37/3172.03 c #Conflicts: 1678000 | #Constraints: 36946
3160.37/3172.03 c #Conflicts: 1679000 | #Constraints: 37946
3160.37/3172.03 c #Conflicts: 1680000 | #Constraints: 38946
3160.37/3172.03 c #Conflicts: 1681000 | #Constraints: 39946
3160.37/3172.03 c #Conflicts: 1682000 | #Constraints: 40946
3160.37/3172.03 c #Conflicts: 1683000 | #Constraints: 41946
3160.37/3172.03 c #Conflicts: 1684000 | #Constraints: 42946
3160.37/3172.03 c #Conflicts: 1685000 | #Constraints: 43946
3160.37/3172.03 c #Conflicts: 1686000 | #Constraints: 44946
3160.37/3172.03 c #Conflicts: 1687000 | #Constraints: 45946
3160.37/3172.03 c #Conflicts: 1688000 | #Constraints: 46946
3160.37/3172.03 c #Conflicts: 1689000 | #Constraints: 47946
3160.37/3172.03 c #Conflicts: 1690000 | #Constraints: 48946
3160.37/3172.03 c #Conflicts: 1691000 | #Constraints: 49946
3160.37/3172.03 c #Conflicts: 1692000 | #Constraints: 50946
3160.37/3172.03 c #Conflicts: 1693000 | #Constraints: 51946
3160.37/3172.03 c #Conflicts: 1694000 | #Constraints: 52946
3160.37/3172.03 c INPROCESSING
3160.37/3172.03 c GARBAGE COLLECT
3160.37/3172.03 c #Conflicts: 1695000 | #Constraints: 28148
3160.37/3172.03 c #Conflicts: 1696000 | #Constraints: 29148
3160.37/3172.03 c #Conflicts: 1697000 | #Constraints: 30148
3160.37/3172.03 c #Conflicts: 1698000 | #Constraints: 31148
3160.37/3172.03 c #Conflicts: 1699000 | #Constraints: 32148
3160.37/3172.03 c #Conflicts: 1700000 | #Constraints: 33148
3160.37/3172.03 c #Conflicts: 1701000 | #Constraints: 34148
3160.37/3172.03 c #Conflicts: 1702000 | #Constraints: 35148
3160.37/3172.03 c #Conflicts: 1703000 | #Constraints: 36148
3349.25/3361.69 c #Conflicts: 1704000 | #Constraints: 37148
3349.25/3361.69 c #Conflicts: 1705000 | #Constraints: 38148
3349.25/3361.69 c #Conflicts: 1706000 | #Constraints: 39148
3349.25/3361.69 c #Conflicts: 1707000 | #Constraints: 40148
3349.25/3361.69 c #Conflicts: 1708000 | #Constraints: 41148
3349.25/3361.69 c #Conflicts: 1709000 | #Constraints: 42148
3349.25/3361.69 c #Conflicts: 1710000 | #Constraints: 43148
3349.25/3361.69 c #Conflicts: 1711000 | #Constraints: 44148
3349.25/3361.69 c #Conflicts: 1712000 | #Constraints: 45148
3349.25/3361.69 c #Conflicts: 1713000 | #Constraints: 46148
3349.25/3361.69 c #Conflicts: 1714000 | #Constraints: 47148
3349.25/3361.69 c #Conflicts: 1715000 | #Constraints: 48148
3349.25/3361.69 c #Conflicts: 1716000 | #Constraints: 49148
3349.25/3361.69 c #Conflicts: 1717000 | #Constraints: 50148
3349.25/3361.69 c #Conflicts: 1718000 | #Constraints: 51148
3349.25/3361.69 c #Conflicts: 1719000 | #Constraints: 52148
3349.25/3361.69 c #Conflicts: 1720000 | #Constraints: 53148
3349.25/3361.69 c INPROCESSING
3349.25/3361.69 c GARBAGE COLLECT
3349.25/3361.69 c #Conflicts: 1721000 | #Constraints: 28140
3349.25/3361.69 c #Conflicts: 1722000 | #Constraints: 29140
3349.25/3361.69 c #Conflicts: 1723000 | #Constraints: 30140
3349.25/3361.69 c #Conflicts: 1724000 | #Constraints: 31140
3349.25/3361.69 c #Conflicts: 1725000 | #Constraints: 32140
3349.25/3361.69 c #Conflicts: 1726000 | #Constraints: 33140
3349.25/3361.69 c #Conflicts: 1727000 | #Constraints: 34140
3349.25/3361.69 c #Conflicts: 1728000 | #Constraints: 35140
3349.25/3361.69 c #Conflicts: 1729000 | #Constraints: 36140
3349.25/3361.69 c #Conflicts: 1730000 | #Constraints: 37140
3349.25/3361.69 c #Conflicts: 1731000 | #Constraints: 38140
3349.25/3361.69 c #Conflicts: 1732000 | #Constraints: 39140
3349.25/3361.69 c #Conflicts: 1733000 | #Constraints: 40140
3349.25/3361.69 c #Conflicts: 1734000 | #Constraints: 41140
3349.25/3361.69 c #Conflicts: 1735000 | #Constraints: 42140
3349.25/3361.69 c #Conflicts: 1736000 | #Constraints: 43140
3349.25/3361.69 c #Conflicts: 1737000 | #Constraints: 44140
3349.25/3361.69 c #Conflicts: 1738000 | #Constraints: 45140
3349.25/3361.69 c #Conflicts: 1739000 | #Constraints: 46140
3349.25/3361.69 c #Conflicts: 1740000 | #Constraints: 47140
3349.25/3361.69 c #Conflicts: 1741000 | #Constraints: 48140
3349.25/3361.69 c #Conflicts: 1742000 | #Constraints: 49140
3349.25/3361.69 c #Conflicts: 1743000 | #Constraints: 50140
3349.25/3361.69 c #Conflicts: 1744000 | #Constraints: 51140
3349.25/3361.69 c #Conflicts: 1745000 | #Constraints: 52140
3349.25/3361.69 c #Conflicts: 1746000 | #Constraints: 53140
3349.25/3361.69 c INPROCESSING
3349.25/3361.69 c GARBAGE COLLECT
3349.25/3361.69 c #Conflicts: 1747000 | #Constraints: 27943
3349.25/3361.69 c #Conflicts: 1748000 | #Constraints: 28943
3349.25/3361.69 c #Conflicts: 1749000 | #Constraints: 29943
3349.25/3361.69 c #Conflicts: 1750000 | #Constraints: 30943
3349.25/3361.69 c #Conflicts: 1751000 | #Constraints: 31943
3349.25/3361.69 c #Conflicts: 1752000 | #Constraints: 32943
3349.25/3361.69 c #Conflicts: 1753000 | #Constraints: 33943
3349.25/3361.69 c #Conflicts: 1754000 | #Constraints: 34943
3349.25/3361.69 c #Conflicts: 1755000 | #Constraints: 35943
3349.25/3361.69 c #Conflicts: 1756000 | #Constraints: 36943
3349.25/3361.69 c #Conflicts: 1757000 | #Constraints: 37943
3349.25/3361.69 c #Conflicts: 1758000 | #Constraints: 38943
3349.25/3361.69 c #Conflicts: 1759000 | #Constraints: 39943
3349.25/3361.69 c #Conflicts: 1760000 | #Constraints: 40943
3349.25/3361.69 c #Conflicts: 1761000 | #Constraints: 41943
3349.25/3361.69 c #Conflicts: 1762000 | #Constraints: 42943
3349.25/3361.69 c #Conflicts: 1763000 | #Constraints: 43943
3349.25/3361.69 c #Conflicts: 1764000 | #Constraints: 44943
3349.25/3361.69 c #Conflicts: 1765000 | #Constraints: 45943
3349.25/3361.69 c #Conflicts: 1766000 | #Constraints: 46943
3349.25/3361.69 c #Conflicts: 1767000 | #Constraints: 47943
3349.25/3361.69 c #Conflicts: 1768000 | #Constraints: 48943
3349.25/3361.69 c #Conflicts: 1769000 | #Constraints: 49943
3349.25/3361.69 c #Conflicts: 1770000 | #Constraints: 50943
3349.25/3361.69 c #Conflicts: 1771000 | #Constraints: 51943
3349.25/3361.69 c #Conflicts: 1772000 | #Constraints: 52943
3349.25/3361.69 c #Conflicts: 1773000 | #Constraints: 53943
3349.25/3361.69 c INPROCESSING
3349.25/3361.69 c GARBAGE COLLECT
3349.25/3361.69 c #Conflicts: 1774000 | #Constraints: 28537
3349.25/3361.69 c #Conflicts: 1775000 | #Constraints: 29537
3349.25/3361.69 c #Conflicts: 1776000 | #Constraints: 30537
3349.25/3361.69 c #Conflicts: 1777000 | #Constraints: 31537
3349.25/3361.69 c #Conflicts: 1778000 | #Constraints: 32537
3349.25/3361.69 c #Conflicts: 1779000 | #Constraints: 33537
3349.25/3361.69 c #Conflicts: 1780000 | #Constraints: 34537
3532.98/3546.06 c #Conflicts: 1781000 | #Constraints: 35537
3532.98/3546.06 c #Conflicts: 1782000 | #Constraints: 36537
3532.98/3546.06 c #Conflicts: 1783000 | #Constraints: 37537
3532.98/3546.06 c #Conflicts: 1784000 | #Constraints: 38537
3532.98/3546.06 c #Conflicts: 1785000 | #Constraints: 39537
3532.98/3546.06 c #Conflicts: 1786000 | #Constraints: 40537
3532.98/3546.06 c #Conflicts: 1787000 | #Constraints: 41537
3532.98/3546.06 c #Conflicts: 1788000 | #Constraints: 42537
3532.98/3546.06 c #Conflicts: 1789000 | #Constraints: 43537
3532.98/3546.06 c #Conflicts: 1790000 | #Constraints: 44537
3532.98/3546.06 c #Conflicts: 1791000 | #Constraints: 45537
3532.98/3546.06 c #Conflicts: 1792000 | #Constraints: 46537
3532.98/3546.06 c #Conflicts: 1793000 | #Constraints: 47537
3532.98/3546.06 c #Conflicts: 1794000 | #Constraints: 48537
3532.98/3546.06 c #Conflicts: 1795000 | #Constraints: 49537
3532.98/3546.06 c #Conflicts: 1796000 | #Constraints: 50537
3532.98/3546.06 c #Conflicts: 1797000 | #Constraints: 51537
3532.98/3546.06 c #Conflicts: 1798000 | #Constraints: 52537
3532.98/3546.06 c #Conflicts: 1799000 | #Constraints: 53537
3532.98/3546.06 c #Conflicts: 1800000 | #Constraints: 54537
3532.98/3546.06 c INPROCESSING
3532.98/3546.06 c GARBAGE COLLECT
3532.98/3546.06 c #Conflicts: 1801000 | #Constraints: 28940
3532.98/3546.06 c #Conflicts: 1802000 | #Constraints: 29940
3532.98/3546.06 c #Conflicts: 1803000 | #Constraints: 30940
3532.98/3546.06 c #Conflicts: 1804000 | #Constraints: 31940
3532.98/3546.06 c #Conflicts: 1805000 | #Constraints: 32940
3532.98/3546.06 c #Conflicts: 1806000 | #Constraints: 33940
3532.98/3546.06 c #Conflicts: 1807000 | #Constraints: 34940
3532.98/3546.06 c #Conflicts: 1808000 | #Constraints: 35940
3532.98/3546.06 c #Conflicts: 1809000 | #Constraints: 36940
3532.98/3546.06 c #Conflicts: 1810000 | #Constraints: 37940
3532.98/3546.06 c #Conflicts: 1811000 | #Constraints: 38940
3532.98/3546.06 c #Conflicts: 1812000 | #Constraints: 39940
3532.98/3546.06 c #Conflicts: 1813000 | #Constraints: 40940
3532.98/3546.06 c #Conflicts: 1814000 | #Constraints: 41940
3532.98/3546.06 c #Conflicts: 1815000 | #Constraints: 42940
3532.98/3546.06 c #Conflicts: 1816000 | #Constraints: 43940
3532.98/3546.06 c #Conflicts: 1817000 | #Constraints: 44940
3532.98/3546.06 c #Conflicts: 1818000 | #Constraints: 45940
3532.98/3546.06 c #Conflicts: 1819000 | #Constraints: 46940
3532.98/3546.06 c #Conflicts: 1820000 | #Constraints: 47940
3532.98/3546.06 c #Conflicts: 1821000 | #Constraints: 48940
3532.98/3546.06 c #Conflicts: 1822000 | #Constraints: 49940
3532.98/3546.06 c #Conflicts: 1823000 | #Constraints: 50940
3532.98/3546.06 c #Conflicts: 1824000 | #Constraints: 51940
3532.98/3546.06 c #Conflicts: 1825000 | #Constraints: 52940
3532.98/3546.06 c #Conflicts: 1826000 | #Constraints: 53940
3532.98/3546.06 c #Conflicts: 1827000 | #Constraints: 54940
3532.98/3546.06 c INPROCESSING
3532.98/3546.06 c GARBAGE COLLECT
3532.98/3546.06 c #Conflicts: 1828000 | #Constraints: 29140
3532.98/3546.06 c #Conflicts: 1829000 | #Constraints: 30140
3532.98/3546.06 c #Conflicts: 1830000 | #Constraints: 31140
3532.98/3546.06 c #Conflicts: 1831000 | #Constraints: 32140
3532.98/3546.06 c #Conflicts: 1832000 | #Constraints: 33140
3532.98/3546.06 c #Conflicts: 1833000 | #Constraints: 34140
3532.98/3546.06 c #Conflicts: 1834000 | #Constraints: 35140
3532.98/3546.06 c #Conflicts: 1835000 | #Constraints: 36140
3532.98/3546.06 c #Conflicts: 1836000 | #Constraints: 37140
3532.98/3546.06 c #Conflicts: 1837000 | #Constraints: 38140
3532.98/3546.06 c #Conflicts: 1838000 | #Constraints: 39140
3532.98/3546.06 c #Conflicts: 1839000 | #Constraints: 40140
3532.98/3546.06 c #Conflicts: 1840000 | #Constraints: 41140
3532.98/3546.06 c #Conflicts: 1841000 | #Constraints: 42140
3532.98/3546.06 c #Conflicts: 1842000 | #Constraints: 43140
3532.98/3546.06 c #Conflicts: 1843000 | #Constraints: 44140
3532.98/3546.06 c #Conflicts: 1844000 | #Constraints: 45140
3532.98/3546.06 c #Conflicts: 1845000 | #Constraints: 46140
3532.98/3546.06 c #Conflicts: 1846000 | #Constraints: 47140
3532.98/3546.06 c #Conflicts: 1847000 | #Constraints: 48140
3532.98/3546.06 c #Conflicts: 1848000 | #Constraints: 49140
3532.98/3546.06 c #Conflicts: 1849000 | #Constraints: 50140
3532.98/3546.06 c #Conflicts: 1850000 | #Constraints: 51140
3532.98/3546.06 c #Conflicts: 1851000 | #Constraints: 52140
3532.98/3546.06 c #Conflicts: 1852000 | #Constraints: 53140
3532.98/3546.06 c #Conflicts: 1853000 | #Constraints: 54140
3532.98/3546.06 c #Conflicts: 1854000 | #Constraints: 55140
3532.98/3546.06 c INPROCESSING
3532.98/3546.06 c GARBAGE COLLECT
3532.98/3546.06 c #Conflicts: 1855000 | #Constraints: 29141
3532.98/3546.06 c #Conflicts: 1856000 | #Constraints: 30141
3532.98/3546.06 c #Conflicts: 1857000 | #Constraints: 31141
3600.09/3613.40 c #Conflicts: 1858000 | #Constraints: 32141
3600.09/3613.40 c #Conflicts: 1859000 | #Constraints: 33141
3600.09/3613.40 c #Conflicts: 1860000 | #Constraints: 34141
3600.09/3613.40 c #Conflicts: 1861000 | #Constraints: 35141
3600.09/3613.40 c #Conflicts: 1862000 | #Constraints: 36141
3600.09/3613.40 c #Conflicts: 1863000 | #Constraints: 37141
3600.09/3613.40 c #Conflicts: 1864000 | #Constraints: 38141
3600.09/3613.40 c #Conflicts: 1865000 | #Constraints: 39141
3600.09/3613.40 c #Conflicts: 1866000 | #Constraints: 40141
3600.09/3613.40 c #Conflicts: 1867000 | #Constraints: 41141
3600.09/3613.40 c #Conflicts: 1868000 | #Constraints: 42141
3600.09/3613.40 c #Conflicts: 1869000 | #Constraints: 43141
3600.09/3613.40 c #Conflicts: 1870000 | #Constraints: 44141
3600.09/3613.40 c #Conflicts: 1871000 | #Constraints: 45141
3600.09/3613.40 c #Conflicts: 1872000 | #Constraints: 46141
3600.09/3613.40 c #Conflicts: 1873000 | #Constraints: 47141
3600.09/3613.40 c #Conflicts: 1874000 | #Constraints: 48141
3600.09/3613.40 c #Conflicts: 1875000 | #Constraints: 49141
3600.09/3613.40 c #Conflicts: 1876000 | #Constraints: 50141
3600.09/3613.40 c #Conflicts: 1877000 | #Constraints: 51141
3600.09/3613.40 c #Conflicts: 1878000 | #Constraints: 52141
3600.09/3613.40 c #Conflicts: 1879000 | #Constraints: 53141
3600.09/3613.40 c #Conflicts: 1880000 | #Constraints: 54141
3600.09/3613.40 c #Conflicts: 1881000 | #Constraints: 55141
3600.09/3613.40 c Program interrupted by user.
3600.09/3613.40 c cpu time 3586.81 s
3600.09/3613.40 c deterministic time 267875224602 2.68e+11
3600.09/3613.40 c optimization time 71.213 s
3600.09/3613.40 c total solve time 3216.51 s
3600.09/3613.40 c core-guided solve time 3216.51 s
3600.09/3613.40 c propagation time 2240 s
3600.09/3613.40 c conflict analysis time 917.145 s
3600.09/3613.40 c propagations 227853944
3600.09/3613.40 c resolve steps 18380040
3600.09/3613.40 c decisions 5578099
3600.09/3613.40 c conflicts 1881087
3600.09/3613.40 c restarts 3625
3600.09/3613.40 c inprocessing phases 127
3600.09/3613.40 c input clauses 662
3600.09/3613.40 c input cardinalities 0
3600.09/3613.40 c input general constraints 826
3600.09/3613.40 c input average constraint length 118.25
3600.09/3613.40 c input average constraint degree 20.48
3600.09/3613.40 c learned clauses 990699
3600.09/3613.40 c learned cardinalities 817
3600.09/3613.40 c learned general constraints 889657
3600.09/3613.40 c learned average constraint length 278.97
3600.09/3613.40 c learned average constraint degree 73639.26
3600.09/3613.40 c watched constraints 543344
3600.09/3613.40 c counting constraints 347139
3600.09/3613.40 c gcd simplifications 313047
3600.09/3613.40 c detected cardinalities 136
3600.09/3613.40 c weakened non-implied lits 527126105
3600.09/3613.40 c weakened non-implying lits 653616
3600.09/3613.40 c original variables 949
3600.09/3613.40 c clausal propagations 32345702
3600.09/3613.40 c cardinality propagations 725
3600.09/3613.40 c watched propagations 1568495
3600.09/3613.40 c counting propagations 190161645
3600.09/3613.40 c watch lookups 65240916594
3600.09/3613.40 c watch backjump lookups 62583206252
3600.09/3613.40 c watch checks 88318261546
3600.09/3613.40 c propagation checks 47724739397
3600.09/3613.40 c constraint additions 3539356201
3600.09/3613.40 c trail pops 235312568
3600.09/3613.40 c formula constraints 1248
3600.09/3613.40 c learned constraints 1881173
3600.09/3613.40 c bound constraints 202
3600.09/3613.40 c core-guided constraints 38
3600.09/3613.40 c encountered formula constraints 12561854
3600.09/3613.40 c encountered learned constraints 7120387
3600.09/3613.40 c encountered bound constraints 106
3600.09/3613.40 c encountered core-guided constraints 578780
3600.09/3613.40 c LP total time 0 s
3600.09/3613.40 c LP solve time 0 s
3600.09/3613.40 c LP constraints added 0
3600.09/3613.40 c LP constraints removed 0
3600.09/3613.40 c LP pivots internal 0
3600.09/3613.40 c LP pivots root 0
3600.09/3613.40 c LP calls 0
3600.09/3613.40 c LP optimalities 0
3600.09/3613.40 c LP no pivot count 0
3600.09/3613.40 c LP infeasibilities 0
3600.09/3613.40 c LP valid Farkas constraints 0
3600.09/3613.40 c LP learned Farkas constraints 0
3600.09/3613.40 c LP basis resets 0
3600.09/3613.40 c LP cycling count 0
3600.09/3613.40 c LP singular count 0
3600.09/3613.40 c LP no primal count 0
3600.09/3613.40 c LP no farkas count 0
3600.09/3613.40 c LP other issue count 0
3600.09/3613.40 c LP Gomory cuts 0
3600.09/3613.40 c LP learned cuts 0
3600.09/3613.40 c LP deleted cuts 0
3600.09/3613.40 c LP encountered Gomory constraints 0
3600.09/3613.40 c LP encountered Farkas constraints 0
3600.09/3613.40 c LP encountered learned Farkas constraints 0
3600.09/3613.40 c CG auxiliary variables introduced 38
3600.09/3613.40 c CG solutions found 0
3600.09/3613.40 c CG cores constructed 201
3600.09/3613.40 c CG core cardinality constraints returned 0
3600.09/3613.40 c CG unit cores 0
3600.09/3613.40 c CG single cores 201
3600.09/3613.40 c CG blocks removed during cardinality reduction 0
3600.09/3613.40 c CG first core best 0
3600.09/3613.40 c CG decision core best 0
3600.09/3613.40 c CG core reduction tie 0
3600.09/3613.40 c CG core degree average 1.00
3600.09/3613.40 c CG core slack average 2.03
3600.09/3613.40 c CG exhausted 0
3600.09/3613.40 c CG exhaust time 0 s
3600.09/3613.40 c CG trimmed 0
3600.09/3613.40 c CG trim time 0.001024 s
3600.09/3613.40 c CG minimized 0
3600.09/3613.40 c CG minimize time 0 s
3600.09/3613.40 c CG am1 prop time 0.001258 s
3600.09/3613.40 c CG # am1s reformulated 38
3600.09/3613.40 c CG lower bound derived from am1s 38
3600.09/3613.40 c CG # clausal cores 201
3600.09/3613.40 c CG # cardinality cores 0
3600.09/3613.40 c CG # pb cores 0
3600.09/3613.40 c CG # pb reforms 0
3600.09/3613.40 c CG # cores discarded because of pb reform 0
3600.09/3613.40 d LOWERBOUND -221
3600.09/3613.40 d NCORES 201
3600.09/3613.40 d NPBCORES 0
3600.09/3613.40 d NPBREFORM 0
3600.09/3613.40 d NTRIMMED 0
3600.09/3613.40 d NEXHAUSTED 0
3600.09/3613.40 d NAM1S 38
3600.09/3613.40 d AM1LB 38
3600.09/3613.40 c [Papilo Statistics]
3600.09/3613.40 c prepro time 0.00381584s
3600.09/3613.40 c # tsx applied 0
3600.09/3613.40 c # tsx conflicts 0
3600.09/3613.40 c # bound changes 0
3600.09/3613.40 c # side changes 0
3600.09/3613.40 c # coef changes 0
3600.09/3613.40 c # rounds 1
3600.09/3613.40 c # deted vars 0
3600.09/3613.40 c # deted constrs 0
3600.09/3613.40 c # consecutive rounds of only bound changes 0
3600.09/3613.40 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61100 MiB free)
memory of node 1: 64465 MiB (63229 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529214-1752262471/watcher-4529214-1752262471 -o /tmp/evaluation-result-4529214-1752262471/solver-4529214-1752262471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113062 --watchdog 3760 mixed-bag HOME/instance-4529214-1752262471.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=114398, runsolver pid=114395
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 4.45 4.57 4.27 5/250 114399
/proc/meminfo: memFree=127309812/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=98876 memory=27264 CPUtime=0.09 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 3139 0 0 0 8 1 0 0 20 0 1 0 141926250 101249024 6816 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 24719 6816 4128 2834 0 6924 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98876 KiB
Current children cumulated memory: 27264 KiB
[startup+0.21339 s]*
/proc/loadavg: 4.45 4.57 4.27 5/250 114399
/proc/meminfo: memFree=127172976/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=104864 memory=32096 CPUtime=0.21 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 4246 0 0 0 19 2 0 0 20 0 1 0 141926250 107380736 8024 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 26216 8024 4320 2834 0 8421 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104864 KiB
Current children cumulated memory: 32096 KiB
[startup+0.313223 s]*
/proc/loadavg: 4.45 4.57 4.27 5/250 114399
/proc/meminfo: memFree=127082508/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=113600 memory=39784 CPUtime=0.3 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 6554 0 0 0 28 2 0 0 20 0 1 0 141926250 116326400 9946 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 28400 9946 4352 2834 0 10605 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113600 KiB
Current children cumulated memory: 39784 KiB
[startup+0.700327 s]
/proc/loadavg: 4.45 4.57 4.27 5/250 114399
/proc/meminfo: memFree=126880908/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=113600 memory=39912 CPUtime=0.67 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 6598 0 0 0 65 2 0 0 20 0 1 0 141926250 116326400 9978 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 28400 9978 4352 2834 0 10605 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 113600 KiB
Current children cumulated memory: 39912 KiB
[startup+1.50036 s]
/proc/loadavg: 4.45 4.57 4.27 5/250 114399
/proc/meminfo: memFree=126549780/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=123700 memory=50408 CPUtime=1.48 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 9218 0 0 0 145 3 0 0 20 0 1 0 141926250 126668800 12602 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 30925 12602 4352 2834 0 13130 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123700 KiB
Current children cumulated memory: 50408 KiB
[startup+3.11277 s]
/proc/loadavg: 4.42 4.56 4.27 5/250 114399
/proc/meminfo: memFree=126190208/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=134716 memory=59240 CPUtime=3.08 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 11446 0 0 0 305 3 0 0 20 0 1 0 141926250 137949184 14810 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 33679 14810 4352 2834 0 15884 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 134716 KiB
Current children cumulated memory: 59240 KiB
[startup+6.30034 s]
/proc/loadavg: 4.42 4.56 4.27 5/250 114399
/proc/meminfo: memFree=126004996/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=137580 memory=62116 CPUtime=6.26 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 12278 0 0 0 623 3 0 0 20 0 1 0 141926250 140881920 15529 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 34395 15529 4352 2834 0 16600 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 137580 KiB
Current children cumulated memory: 62116 KiB
[startup+12.7004 s]
/proc/loadavg: 4.35 4.54 4.27 5/250 114399
/proc/meminfo: memFree=125980804/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=137580 memory=62116 CPUtime=12.64 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 12283 0 0 0 1261 3 0 0 20 0 1 0 141926250 140881920 15529 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 34395 15529 4352 2834 0 16600 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 137580 KiB
Current children cumulated memory: 62116 KiB
[startup+25.5004 s]
/proc/loadavg: 4.38 4.54 4.27 5/250 114399
/proc/meminfo: memFree=126078044/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=182012 memory=104172 CPUtime=25.4 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 22934 0 0 0 2534 6 0 0 20 0 1 0 141926250 186380288 26043 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 45503 26043 4352 2834 0 27708 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 182012 KiB
Current children cumulated memory: 104172 KiB
[startup+51.1129 s]
/proc/loadavg: 4.25 4.49 4.26 5/250 114400
/proc/meminfo: memFree=125446064/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=301304 memory=221476 CPUtime=50.92 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 52826 0 0 0 5080 12 0 0 20 0 1 0 141926250 308535296 55369 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 75326 55369 4352 2834 0 57531 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 301304 KiB
Current children cumulated memory: 221476 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.44 4.26 5/251 114405
/proc/meminfo: memFree=124581384/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=396664 memory=316404 CPUtime=101.94 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 83820 0 0 0 10178 16 0 0 20 0 1 0 141926250 406183936 79101 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 99166 79101 4352 2834 0 81371 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 396664 KiB
Current children cumulated memory: 316404 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.39 4.25 5/251 114407
/proc/meminfo: memFree=124556964/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=390580 memory=310972 CPUtime=161.73 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 84487 0 0 0 16156 17 0 0 20 0 1 0 141926250 399953920 77743 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 97645 77743 4352 2834 0 79850 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 390580 KiB
Current children cumulated memory: 310972 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.33 4.24 5/251 114413
/proc/meminfo: memFree=124545752/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=403300 memory=323388 CPUtime=221.53 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 87593 0 0 0 22134 19 0 0 20 0 1 0 141926250 412979200 80847 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 100825 80847 4352 2834 0 83030 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 403300 KiB
Current children cumulated memory: 323388 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.30 4.23 5/251 114415
/proc/meminfo: memFree=124520928/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=403300 memory=324028 CPUtime=281.32 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 87755 0 0 0 28113 19 0 0 20 0 1 0 141926250 412979200 81007 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 100825 81007 4352 2834 0 83030 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 403300 KiB
Current children cumulated memory: 324028 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.26 4.22 5/250 114461
/proc/meminfo: memFree=124045416/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=363060 memory=289728 CPUtime=341.09 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 90266 0 0 0 34032 77 0 0 20 0 1 0 141926250 371773440 72432 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 90765 72432 4512 2834 0 72970 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 363060 KiB
Current children cumulated memory: 289728 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.22 4.21 5/250 114463
/proc/meminfo: memFree=123377976/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=382028 memory=301028 CPUtime=400.86 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 91071 0 0 0 39955 131 0 0 20 0 1 0 141926250 391196672 75257 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 95507 75257 4512 2834 0 77712 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 382028 KiB
Current children cumulated memory: 301028 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.20 4.20 5/250 114465
/proc/meminfo: memFree=122842384/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=382028 memory=309984 CPUtime=460.62 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 91241 0 0 0 45891 171 0 0 20 0 1 0 141926250 391196672 77496 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 95507 77496 4512 2834 0 77712 0
Current children cumulated CPU time: 460.62 s
################
# More data... #
################
Current children cumulated memory: 364304 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/250 114584
/proc/meminfo: memFree=118240992/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=364304 CPUtime=2851.8 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93150 0 0 0 284070 1110 0 0 20 0 1 0 141926250 474046464 91076 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 91076 4512 2834 0 97939 0
Current children cumulated CPU time: 2851.8 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 364304 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.13 5/250 114586
/proc/meminfo: memFree=118110916/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=368408 CPUtime=2911.58 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93168 0 0 0 290032 1126 0 0 20 0 1 0 141926250 474046464 92102 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 92102 4512 2834 0 97939 0
Current children cumulated CPU time: 2911.58 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 368408 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/250 114589
/proc/meminfo: memFree=117903912/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=368408 CPUtime=2971.36 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93168 0 0 0 295990 1146 0 0 20 0 1 0 141926250 474046464 92102 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 92102 4512 2834 0 97939 0
Current children cumulated CPU time: 2971.36 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 368408 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/250 114591
/proc/meminfo: memFree=117907072/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=368408 CPUtime=3031.13 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93168 0 0 0 301950 1163 0 0 20 0 1 0 141926250 474046464 92102 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 92102 4512 2834 0 97939 0
Current children cumulated CPU time: 3031.13 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 368408 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/250 114593
/proc/meminfo: memFree=117904716/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=368408 CPUtime=3090.91 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93168 0 0 0 307911 1180 0 0 20 0 1 0 141926250 474046464 92102 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 92102 4512 2834 0 97939 0
Current children cumulated CPU time: 3090.91 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 368408 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/250 114597
/proc/meminfo: memFree=117908736/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=368408 CPUtime=3150.69 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93168 0 0 0 313872 1197 0 0 20 0 1 0 141926250 474046464 92102 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 92102 4512 2834 0 97939 0
Current children cumulated CPU time: 3150.69 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 368408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.63 4.24 4.16 5/249 114598
/proc/meminfo: memFree=117905800/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=368408 CPUtime=3210.47 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93168 0 0 0 319831 1216 0 0 20 0 1 0 141926250 474046464 92102 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 92102 4512 2834 0 97939 0
Current children cumulated CPU time: 3210.47 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 368408 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.26 4.18 5/250 114605
/proc/meminfo: memFree=117808344/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=374596 CPUtime=3270.24 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93176 0 0 0 325792 1232 0 0 20 0 1 0 141926250 474046464 93649 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 93649 4512 2834 0 97939 0
Current children cumulated CPU time: 3270.24 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 374596 KiB
[startup+3342.3 s]
/proc/loadavg: 4.34 4.26 4.18 5/251 114609
/proc/meminfo: memFree=117825428/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=374596 CPUtime=3330.02 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93176 0 0 0 331754 1248 0 0 20 0 1 0 141926250 474046464 93649 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 93649 4512 2834 0 97939 0
Current children cumulated CPU time: 3330.02 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 374596 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.23 4.18 5/251 114611
/proc/meminfo: memFree=117830220/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=374596 CPUtime=3389.8 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93176 0 0 0 337714 1266 0 0 20 0 1 0 141926250 474046464 93649 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 93649 4512 2834 0 97939 0
Current children cumulated CPU time: 3389.8 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 374596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.20 4.17 5/251 114613
/proc/meminfo: memFree=117830812/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=374596 CPUtime=3449.58 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93176 0 0 0 343675 1283 0 0 20 0 1 0 141926250 474046464 93649 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 93649 4512 2834 0 97939 0
Current children cumulated CPU time: 3449.58 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 374596 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/251 114615
/proc/meminfo: memFree=117829452/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=374596 CPUtime=3509.35 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93176 0 0 0 349635 1300 0 0 20 0 1 0 141926250 474046464 93649 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 93649 4512 2834 0 97939 0
Current children cumulated CPU time: 3509.35 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 374596 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/250 114617
/proc/meminfo: memFree=117670980/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=374596 CPUtime=3569.12 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93176 0 0 0 355596 1316 0 0 20 0 1 0 141926250 474046464 93649 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 93649 4512 2834 0 97939 0
Current children cumulated CPU time: 3569.12 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 374596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 4.07 4.15 4.16 3/238 114681
/proc/meminfo: memFree=127703628/131382120 swapFree=33010160/33010684
[pid=114398] ppid=114395 vsize=462936 memory=374596 CPUtime=3600.09 cores=1,3
/proc/114398/stat : 114398 (mixed-bag) R 114395 114398 113047 0 -1 4194304 93176 0 0 0 358681 1328 0 0 20 0 1 0 141926250 474046464 93649 18446744073709551615 4235264 15840557 140721766673552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56152064 140721766680986 140721766681063 140721766681063 140721766686667 0
/proc/114398/statm: 115734 93649 4512 2834 0 97939 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 462936 KiB
Current children cumulated memory: 374596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.41 s]
# the end of solver process 114398 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.82 s, system=13.2964 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.41
CPU time (s): 3600.11
CPU user time (s): 3586.82
CPU system time (s): 13.2964
CPU usage (%): 99.632
Max. virtual memory (cumulated for all children) (KiB): 462936
Max. memory (cumulated for all children) (KiB): 374596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.82
system time used= 13.2964
maximum resident set size= 375492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93205
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= 100
involuntary context switches= 2406
# summary of solver processes directly reported to runsolver:
# pid: 114398
# total CPU time (s): 3600.11
# total CPU user time (s): 3586.82
# total CPU system time (s): 13.2964
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5071 second user time and 33.557 second system time
The end
Begin job on nodeC008 at 2025-07-11 21:34:31
IDJOB=4529214
IDBENCH=158516
IDSOLVER=3386
FILE ID=nodeC008/4529214-1752262471
RUNJOBID= nodeC008-1752258848-113062
SLURM_JOB_ID= 9682616
Free space on /tmp= 432556 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529214-1752262471/watcher-4529214-1752262471 -o /tmp/evaluation-result-4529214-1752262471/solver-4529214-1752262471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752258848-113062 --watchdog 3760 mixed-bag HOME/instance-4529214-1752262471.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987
RANDOM SEED=591469177
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.548
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.203
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.430
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.630
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.861
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.433
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127313908 kB
MemAvailable: 127942436 kB
Buffers: 2128 kB
Cached: 1420120 kB
SwapCached: 16 kB
Active: 2507600 kB
Inactive: 837136 kB
Active(anon): 1906668 kB
Inactive(anon): 33748 kB
Active(file): 600932 kB
Inactive(file): 803388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 74532 kB
Writeback: 28 kB
AnonPages: 1922400 kB
Mapped: 130416 kB
Shmem: 17920 kB
KReclaimable: 127668 kB
Slab: 215656 kB
SReclaimable: 127668 kB
SUnreclaim: 87988 kB
KernelStack: 4108 kB
PageTables: 7328 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2443908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1132544 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432596 MiB
End job on nodeC008 at 2025-07-11 22:34:45