0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c Papilo could not simplify the problem
0.00/0.01 c [STEP] solving with SCIP
299.39/300.34 c [STEP] preprocessing done, loading into solver
299.39/300.34 c [STEP] solving
299.39/300.34 c #variables 950 #constraints 1248
299.39/300.34 c SMALL=int, LARGE=long long
299.39/300.34 d SCIPUB -167
299.39/300.34 c bounds - >= -460 @ 299.137
299.39/300.34 c stratification level: 1
299.39/300.36 c bounds - >= -421 @ 299.139
299.39/300.36 c bounds - >= -420 @ 299.139
299.39/300.36 c bounds - >= -419 @ 299.139
299.39/300.36 c bounds - >= -418 @ 299.139
299.39/300.36 c bounds - >= -417 @ 299.139
299.39/300.36 c bounds - >= -416 @ 299.139
299.39/300.36 c bounds - >= -415 @ 299.139
299.39/300.36 c bounds - >= -414 @ 299.139
299.39/300.36 c bounds - >= -413 @ 299.14
299.39/300.36 c bounds - >= -412 @ 299.14
299.39/300.36 c bounds - >= -411 @ 299.14
299.39/300.36 c bounds - >= -410 @ 299.14
299.39/300.36 c bounds - >= -409 @ 299.14
299.39/300.36 c bounds - >= -408 @ 299.141
299.39/300.36 c bounds - >= -407 @ 299.141
299.39/300.36 c bounds - >= -406 @ 299.141
299.39/300.36 c bounds - >= -405 @ 299.141
299.39/300.36 c bounds - >= -404 @ 299.141
299.39/300.36 c bounds - >= -403 @ 299.141
299.39/300.36 c bounds - >= -402 @ 299.141
299.39/300.36 c bounds - >= -401 @ 299.141
299.39/300.36 c bounds - >= -400 @ 299.141
299.39/300.36 c bounds - >= -399 @ 299.141
299.39/300.36 c bounds - >= -398 @ 299.141
299.39/300.36 c bounds - >= -397 @ 299.141
299.39/300.36 c bounds - >= -396 @ 299.141
299.39/300.36 c bounds - >= -395 @ 299.141
299.39/300.36 c bounds - >= -394 @ 299.141
299.39/300.36 c bounds - >= -393 @ 299.141
299.39/300.36 c bounds - >= -392 @ 299.142
299.39/300.36 c bounds - >= -391 @ 299.142
299.39/300.36 c bounds - >= -390 @ 299.142
299.39/300.36 c bounds - >= -389 @ 299.142
299.39/300.36 c bounds - >= -388 @ 299.142
299.39/300.36 c bounds - >= -387 @ 299.142
299.39/300.36 c bounds - >= -386 @ 299.142
299.39/300.36 c bounds - >= -385 @ 299.142
299.39/300.36 c bounds - >= -384 @ 299.142
299.39/300.36 c bounds - >= -383 @ 299.142
299.39/300.36 c bounds - >= -382 @ 299.142
299.39/300.36 c bounds - >= -381 @ 299.142
299.39/300.36 c bounds - >= -380 @ 299.142
299.39/300.36 c bounds - >= -379 @ 299.142
299.39/300.36 c bounds - >= -378 @ 299.142
299.39/300.36 c bounds - >= -377 @ 299.142
299.39/300.36 c bounds - >= -376 @ 299.142
299.39/300.36 c bounds - >= -375 @ 299.143
299.39/300.36 c bounds - >= -374 @ 299.143
299.39/300.36 c bounds - >= -373 @ 299.143
299.39/300.36 c bounds - >= -372 @ 299.143
299.39/300.36 c bounds - >= -371 @ 299.143
299.39/300.36 c bounds - >= -370 @ 299.143
299.39/300.36 c bounds - >= -369 @ 299.143
299.39/300.36 c bounds - >= -368 @ 299.143
299.39/300.36 c bounds - >= -367 @ 299.144
299.39/300.36 c bounds - >= -366 @ 299.144
299.39/300.36 c bounds - >= -365 @ 299.144
299.39/300.36 c bounds - >= -364 @ 299.144
299.39/300.36 c bounds - >= -363 @ 299.144
299.39/300.36 c bounds - >= -362 @ 299.144
299.39/300.36 c bounds - >= -361 @ 299.144
299.39/300.36 c bounds - >= -360 @ 299.144
299.39/300.36 c bounds - >= -359 @ 299.145
299.39/300.36 c bounds - >= -358 @ 299.145
299.39/300.36 c bounds - >= -357 @ 299.145
299.39/300.36 c bounds - >= -356 @ 299.145
299.39/300.36 c bounds - >= -355 @ 299.145
299.39/300.36 c bounds - >= -354 @ 299.145
299.39/300.36 c bounds - >= -353 @ 299.145
299.39/300.36 c bounds - >= -352 @ 299.145
299.39/300.36 c bounds - >= -351 @ 299.145
299.39/300.36 c bounds - >= -350 @ 299.145
299.39/300.36 c bounds - >= -349 @ 299.145
299.39/300.36 c bounds - >= -348 @ 299.145
299.39/300.36 c bounds - >= -347 @ 299.145
299.39/300.36 c bounds - >= -346 @ 299.145
299.39/300.36 c bounds - >= -345 @ 299.145
299.39/300.36 c bounds - >= -344 @ 299.145
299.39/300.36 c bounds - >= -343 @ 299.145
299.39/300.36 c bounds - >= -342 @ 299.146
299.39/300.36 c bounds - >= -341 @ 299.146
299.39/300.36 c bounds - >= -340 @ 299.146
299.39/300.36 c bounds - >= -339 @ 299.146
299.39/300.36 c bounds - >= -338 @ 299.146
299.39/300.36 c bounds - >= -337 @ 299.146
299.39/300.36 c bounds - >= -336 @ 299.146
299.39/300.36 c bounds - >= -335 @ 299.146
299.39/300.36 c bounds - >= -334 @ 299.147
299.39/300.36 c bounds - >= -333 @ 299.147
299.39/300.36 c bounds - >= -332 @ 299.147
299.39/300.36 c bounds - >= -331 @ 299.147
299.39/300.36 c bounds - >= -330 @ 299.147
299.39/300.36 c bounds - >= -329 @ 299.147
299.39/300.36 c bounds - >= -328 @ 299.147
299.39/300.36 c bounds - >= -327 @ 299.147
299.39/300.36 c bounds - >= -326 @ 299.147
299.39/300.36 c bounds - >= -325 @ 299.148
299.39/300.36 c bounds - >= -324 @ 299.148
299.39/300.36 c bounds - >= -323 @ 299.148
299.39/300.36 c bounds - >= -322 @ 299.148
299.39/300.36 c bounds - >= -321 @ 299.148
299.39/300.36 c bounds - >= -320 @ 299.148
299.39/300.36 c bounds - >= -319 @ 299.148
299.39/300.36 c bounds - >= -318 @ 299.148
299.39/300.36 c bounds - >= -317 @ 299.148
299.39/300.36 c bounds - >= -316 @ 299.149
299.39/300.36 c bounds - >= -315 @ 299.149
299.39/300.36 c bounds - >= -314 @ 299.149
299.39/300.36 c bounds - >= -313 @ 299.149
299.39/300.36 c bounds - >= -312 @ 299.149
299.39/300.36 c bounds - >= -311 @ 299.149
299.39/300.36 c bounds - >= -310 @ 299.149
299.39/300.36 c bounds - >= -309 @ 299.149
299.39/300.36 c bounds - >= -308 @ 299.15
299.39/300.36 c bounds - >= -307 @ 299.15
299.39/300.36 c bounds - >= -306 @ 299.15
299.39/300.36 c bounds - >= -305 @ 299.15
299.39/300.36 c bounds - >= -304 @ 299.15
299.39/300.36 c bounds - >= -303 @ 299.15
299.39/300.36 c bounds - >= -302 @ 299.15
299.39/300.36 c bounds - >= -301 @ 299.15
299.39/300.36 c bounds - >= -300 @ 299.15
299.39/300.36 c bounds - >= -299 @ 299.151
299.39/300.36 c bounds - >= -298 @ 299.151
299.39/300.36 c bounds - >= -297 @ 299.151
299.39/300.36 c bounds - >= -296 @ 299.151
299.39/300.36 c bounds - >= -295 @ 299.151
299.39/300.36 c bounds - >= -294 @ 299.151
299.39/300.36 c bounds - >= -293 @ 299.151
299.39/300.36 c bounds - >= -292 @ 299.151
299.39/300.36 c bounds - >= -291 @ 299.152
299.39/300.36 c bounds - >= -290 @ 299.152
299.39/300.36 c bounds - >= -289 @ 299.152
299.39/300.36 c bounds - >= -288 @ 299.152
299.39/300.36 c bounds - >= -287 @ 299.152
299.39/300.36 c bounds - >= -286 @ 299.152
299.39/300.36 c bounds - >= -285 @ 299.152
299.39/300.36 c bounds - >= -284 @ 299.153
299.39/300.36 c bounds - >= -283 @ 299.153
299.39/300.36 c bounds - >= -282 @ 299.153
299.39/300.36 c bounds - >= -281 @ 299.153
299.39/300.36 c bounds - >= -280 @ 299.153
316.85/317.88 c bounds - >= -279 @ 299.153
316.85/317.88 c bounds - >= -278 @ 299.153
316.85/317.88 c bounds - >= -277 @ 299.154
316.85/317.88 c bounds - >= -276 @ 299.154
316.85/317.88 c bounds - >= -275 @ 299.154
316.85/317.88 c bounds - >= -274 @ 299.154
316.85/317.88 c bounds - >= -273 @ 299.154
316.85/317.88 c bounds - >= -272 @ 299.154
316.85/317.88 c bounds - >= -271 @ 299.154
316.85/317.88 c bounds - >= -270 @ 299.154
316.85/317.88 c bounds - >= -269 @ 299.154
316.85/317.88 c bounds - >= -268 @ 299.154
316.85/317.88 c bounds - >= -267 @ 299.155
316.85/317.88 c bounds - >= -266 @ 299.155
316.85/317.88 c bounds - >= -265 @ 299.155
316.85/317.88 c bounds - >= -264 @ 299.155
316.85/317.88 c bounds - >= -263 @ 299.155
316.85/317.88 c bounds - >= -262 @ 299.156
316.85/317.88 c bounds - >= -261 @ 299.156
316.85/317.88 c bounds - >= -260 @ 299.156
316.85/317.88 c bounds - >= -259 @ 299.156
316.85/317.88 c bounds - >= -258 @ 299.156
316.85/317.88 c bounds - >= -257 @ 299.157
316.85/317.88 c bounds - >= -256 @ 299.157
316.85/317.88 c bounds - >= -255 @ 299.157
316.85/317.88 c bounds - >= -254 @ 299.157
316.85/317.88 c bounds - >= -253 @ 299.157
316.85/317.88 c bounds - >= -252 @ 299.158
316.85/317.88 c bounds - >= -251 @ 299.158
316.85/317.88 c bounds - >= -250 @ 299.158
316.85/317.88 c bounds - >= -249 @ 299.158
316.85/317.88 c bounds - >= -248 @ 299.159
316.85/317.88 c bounds - >= -247 @ 299.159
316.85/317.88 c bounds - >= -246 @ 299.159
316.85/317.88 c bounds - >= -245 @ 299.159
316.85/317.88 c bounds - >= -244 @ 299.159
316.85/317.88 c bounds - >= -243 @ 299.159
316.85/317.88 c bounds - >= -242 @ 299.159
316.85/317.88 c bounds - >= -241 @ 299.159
316.85/317.88 c bounds - >= -240 @ 299.159
316.85/317.88 c bounds - >= -239 @ 299.159
316.85/317.88 c bounds - >= -238 @ 299.159
316.85/317.88 c bounds - >= -237 @ 299.159
316.85/317.88 c bounds - >= -236 @ 299.16
316.85/317.88 c bounds - >= -235 @ 299.16
316.85/317.88 c bounds - >= -234 @ 299.16
316.85/317.88 c bounds - >= -233 @ 299.16
316.85/317.88 c bounds - >= -232 @ 299.16
316.85/317.88 c bounds - >= -231 @ 299.16
316.85/317.88 c bounds - >= -230 @ 299.16
316.85/317.88 c bounds - >= -229 @ 299.161
316.85/317.88 c bounds - >= -228 @ 299.161
316.85/317.88 c bounds - >= -227 @ 299.161
316.85/317.88 c bounds - >= -226 @ 299.161
316.85/317.88 c bounds - >= -225 @ 299.161
316.85/317.88 c bounds - >= -224 @ 299.161
316.85/317.88 c bounds - >= -223 @ 299.161
316.85/317.88 c bounds - >= -222 @ 299.161
316.85/317.88 c bounds - >= -221 @ 299.161
316.85/317.88 c #Conflicts: 1000 | #Constraints: 2573
316.85/317.88 c #Conflicts: 2000 | #Constraints: 3573
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 3000 | #Constraints: 3336
316.85/317.88 c #Conflicts: 4000 | #Constraints: 4336
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 5000 | #Constraints: 3721
316.85/317.88 c #Conflicts: 6000 | #Constraints: 4721
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 7000 | #Constraints: 3716
316.85/317.88 c #Conflicts: 8000 | #Constraints: 4716
316.85/317.88 c #Conflicts: 9000 | #Constraints: 5716
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 10000 | #Constraints: 4413
316.85/317.88 c #Conflicts: 11000 | #Constraints: 5413
316.85/317.88 c #Conflicts: 12000 | #Constraints: 6413
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 13000 | #Constraints: 4864
316.85/317.88 c #Conflicts: 14000 | #Constraints: 5864
316.85/317.88 c #Conflicts: 15000 | #Constraints: 6864
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 16000 | #Constraints: 5087
316.85/317.88 c #Conflicts: 17000 | #Constraints: 6087
316.85/317.88 c #Conflicts: 18000 | #Constraints: 7087
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 19000 | #Constraints: 5101
316.85/317.88 c #Conflicts: 20000 | #Constraints: 6101
316.85/317.88 c #Conflicts: 21000 | #Constraints: 7101
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 22000 | #Constraints: 4905
316.85/317.88 c #Conflicts: 23000 | #Constraints: 5905
316.85/317.88 c #Conflicts: 24000 | #Constraints: 6905
316.85/317.88 c #Conflicts: 25000 | #Constraints: 7905
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 26000 | #Constraints: 5512
316.85/317.88 c #Conflicts: 27000 | #Constraints: 6512
316.85/317.88 c #Conflicts: 28000 | #Constraints: 7512
316.85/317.88 c #Conflicts: 29000 | #Constraints: 8512
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 30000 | #Constraints: 5915
316.85/317.88 c #Conflicts: 31000 | #Constraints: 6915
316.85/317.88 c #Conflicts: 32000 | #Constraints: 7915
316.85/317.88 c #Conflicts: 33000 | #Constraints: 8915
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 34000 | #Constraints: 6120
316.85/317.88 c #Conflicts: 35000 | #Constraints: 7120
316.85/317.88 c #Conflicts: 36000 | #Constraints: 8120
316.85/317.88 c #Conflicts: 37000 | #Constraints: 9120
316.85/317.88 c INPROCESSING
316.85/317.88 c GARBAGE COLLECT
316.85/317.88 c #Conflicts: 38000 | #Constraints: 6124
316.85/317.88 c #Conflicts: 39000 | #Constraints: 7124
357.26/358.30 c #Conflicts: 40000 | #Constraints: 8124
357.26/358.30 c #Conflicts: 41000 | #Constraints: 9124
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 42000 | #Constraints: 5926
357.26/358.30 c #Conflicts: 43000 | #Constraints: 6926
357.26/358.30 c #Conflicts: 44000 | #Constraints: 7926
357.26/358.30 c #Conflicts: 45000 | #Constraints: 8926
357.26/358.30 c #Conflicts: 46000 | #Constraints: 9926
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 47000 | #Constraints: 6527
357.26/358.30 c #Conflicts: 48000 | #Constraints: 7527
357.26/358.30 c #Conflicts: 49000 | #Constraints: 8527
357.26/358.30 c #Conflicts: 50000 | #Constraints: 9527
357.26/358.30 c #Conflicts: 51000 | #Constraints: 10527
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 52000 | #Constraints: 6925
357.26/358.30 c #Conflicts: 53000 | #Constraints: 7925
357.26/358.30 c #Conflicts: 54000 | #Constraints: 8925
357.26/358.30 c #Conflicts: 55000 | #Constraints: 9925
357.26/358.30 c #Conflicts: 56000 | #Constraints: 10925
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 57000 | #Constraints: 7127
357.26/358.30 c #Conflicts: 58000 | #Constraints: 8127
357.26/358.30 c #Conflicts: 59000 | #Constraints: 9127
357.26/358.30 c #Conflicts: 60000 | #Constraints: 10127
357.26/358.30 c #Conflicts: 61000 | #Constraints: 11127
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 62000 | #Constraints: 7125
357.26/358.30 c #Conflicts: 63000 | #Constraints: 8125
357.26/358.30 c #Conflicts: 64000 | #Constraints: 9125
357.26/358.30 c #Conflicts: 65000 | #Constraints: 10125
357.26/358.30 c #Conflicts: 66000 | #Constraints: 11125
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 67000 | #Constraints: 6925
357.26/358.30 c #Conflicts: 68000 | #Constraints: 7925
357.26/358.30 c #Conflicts: 69000 | #Constraints: 8925
357.26/358.30 c #Conflicts: 70000 | #Constraints: 9925
357.26/358.30 c #Conflicts: 71000 | #Constraints: 10925
357.26/358.30 c #Conflicts: 72000 | #Constraints: 11925
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 73000 | #Constraints: 7522
357.26/358.30 c #Conflicts: 74000 | #Constraints: 8522
357.26/358.30 c #Conflicts: 75000 | #Constraints: 9522
357.26/358.30 c #Conflicts: 76000 | #Constraints: 10522
357.26/358.30 c #Conflicts: 77000 | #Constraints: 11522
357.26/358.30 c #Conflicts: 78000 | #Constraints: 12522
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 79000 | #Constraints: 7922
357.26/358.30 c #Conflicts: 80000 | #Constraints: 8922
357.26/358.30 c #Conflicts: 81000 | #Constraints: 9922
357.26/358.30 c #Conflicts: 82000 | #Constraints: 10922
357.26/358.30 c #Conflicts: 83000 | #Constraints: 11922
357.26/358.30 c #Conflicts: 84000 | #Constraints: 12922
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 85000 | #Constraints: 8128
357.26/358.30 c #Conflicts: 86000 | #Constraints: 9128
357.26/358.30 c #Conflicts: 87000 | #Constraints: 10128
357.26/358.30 c #Conflicts: 88000 | #Constraints: 11128
357.26/358.30 c #Conflicts: 89000 | #Constraints: 12128
357.26/358.30 c #Conflicts: 90000 | #Constraints: 13128
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 91000 | #Constraints: 8121
357.26/358.30 c #Conflicts: 92000 | #Constraints: 9121
357.26/358.30 c #Conflicts: 93000 | #Constraints: 10121
357.26/358.30 c #Conflicts: 94000 | #Constraints: 11121
357.26/358.30 c #Conflicts: 95000 | #Constraints: 12121
357.26/358.30 c #Conflicts: 96000 | #Constraints: 13121
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 97000 | #Constraints: 7928
357.26/358.30 c #Conflicts: 98000 | #Constraints: 8928
357.26/358.30 c #Conflicts: 99000 | #Constraints: 9928
357.26/358.30 c #Conflicts: 100000 | #Constraints: 10928
357.26/358.30 c #Conflicts: 101000 | #Constraints: 11928
357.26/358.30 c #Conflicts: 102000 | #Constraints: 12928
357.26/358.30 c #Conflicts: 103000 | #Constraints: 13928
357.26/358.30 c INPROCESSING
357.26/358.30 c GARBAGE COLLECT
357.26/358.30 c #Conflicts: 104000 | #Constraints: 8530
357.26/358.30 c #Conflicts: 105000 | #Constraints: 9530
357.26/358.30 c #Conflicts: 106000 | #Constraints: 10530
357.26/358.30 c #Conflicts: 107000 | #Constraints: 11530
357.26/358.30 c #Conflicts: 108000 | #Constraints: 12530
357.26/358.30 c #Conflicts: 109000 | #Constraints: 13530
357.26/358.30 c #Conflicts: 110000 | #Constraints: 14530
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 111000 | #Constraints: 8929
414.03/415.22 c #Conflicts: 112000 | #Constraints: 9929
414.03/415.22 c #Conflicts: 113000 | #Constraints: 10929
414.03/415.22 c #Conflicts: 114000 | #Constraints: 11929
414.03/415.22 c #Conflicts: 115000 | #Constraints: 12929
414.03/415.22 c #Conflicts: 116000 | #Constraints: 13929
414.03/415.22 c #Conflicts: 117000 | #Constraints: 14929
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 118000 | #Constraints: 9128
414.03/415.22 c #Conflicts: 119000 | #Constraints: 10128
414.03/415.22 c #Conflicts: 120000 | #Constraints: 11128
414.03/415.22 c #Conflicts: 121000 | #Constraints: 12128
414.03/415.22 c #Conflicts: 122000 | #Constraints: 13128
414.03/415.22 c #Conflicts: 123000 | #Constraints: 14128
414.03/415.22 c #Conflicts: 124000 | #Constraints: 15128
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 125000 | #Constraints: 9132
414.03/415.22 c #Conflicts: 126000 | #Constraints: 10132
414.03/415.22 c #Conflicts: 127000 | #Constraints: 11132
414.03/415.22 c #Conflicts: 128000 | #Constraints: 12132
414.03/415.22 c #Conflicts: 129000 | #Constraints: 13132
414.03/415.22 c #Conflicts: 130000 | #Constraints: 14132
414.03/415.22 c #Conflicts: 131000 | #Constraints: 15132
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 132000 | #Constraints: 8926
414.03/415.22 c #Conflicts: 133000 | #Constraints: 9926
414.03/415.22 c #Conflicts: 134000 | #Constraints: 10926
414.03/415.22 c #Conflicts: 135000 | #Constraints: 11926
414.03/415.22 c #Conflicts: 136000 | #Constraints: 12926
414.03/415.22 c #Conflicts: 137000 | #Constraints: 13926
414.03/415.22 c #Conflicts: 138000 | #Constraints: 14926
414.03/415.22 c #Conflicts: 139000 | #Constraints: 15926
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 140000 | #Constraints: 9523
414.03/415.22 c #Conflicts: 141000 | #Constraints: 10523
414.03/415.22 c #Conflicts: 142000 | #Constraints: 11523
414.03/415.22 c #Conflicts: 143000 | #Constraints: 12523
414.03/415.22 c #Conflicts: 144000 | #Constraints: 13523
414.03/415.22 c #Conflicts: 145000 | #Constraints: 14523
414.03/415.22 c #Conflicts: 146000 | #Constraints: 15523
414.03/415.22 c #Conflicts: 147000 | #Constraints: 16523
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 148000 | #Constraints: 9933
414.03/415.22 c #Conflicts: 149000 | #Constraints: 10933
414.03/415.22 c #Conflicts: 150000 | #Constraints: 11933
414.03/415.22 c #Conflicts: 151000 | #Constraints: 12933
414.03/415.22 c #Conflicts: 152000 | #Constraints: 13933
414.03/415.22 c #Conflicts: 153000 | #Constraints: 14933
414.03/415.22 c #Conflicts: 154000 | #Constraints: 15933
414.03/415.22 c #Conflicts: 155000 | #Constraints: 16933
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 156000 | #Constraints: 10130
414.03/415.22 c #Conflicts: 157000 | #Constraints: 11130
414.03/415.22 c #Conflicts: 158000 | #Constraints: 12130
414.03/415.22 c #Conflicts: 159000 | #Constraints: 13130
414.03/415.22 c #Conflicts: 160000 | #Constraints: 14130
414.03/415.22 c #Conflicts: 161000 | #Constraints: 15130
414.03/415.22 c #Conflicts: 162000 | #Constraints: 16130
414.03/415.22 c #Conflicts: 163000 | #Constraints: 17130
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 164000 | #Constraints: 10130
414.03/415.22 c #Conflicts: 165000 | #Constraints: 11130
414.03/415.22 c #Conflicts: 166000 | #Constraints: 12130
414.03/415.22 c #Conflicts: 167000 | #Constraints: 13130
414.03/415.22 c #Conflicts: 168000 | #Constraints: 14130
414.03/415.22 c #Conflicts: 169000 | #Constraints: 15130
414.03/415.22 c #Conflicts: 170000 | #Constraints: 16130
414.03/415.22 c #Conflicts: 171000 | #Constraints: 17130
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 172000 | #Constraints: 9932
414.03/415.22 c #Conflicts: 173000 | #Constraints: 10932
414.03/415.22 c #Conflicts: 174000 | #Constraints: 11932
414.03/415.22 c #Conflicts: 175000 | #Constraints: 12932
414.03/415.22 c #Conflicts: 176000 | #Constraints: 13932
414.03/415.22 c #Conflicts: 177000 | #Constraints: 14932
414.03/415.22 c #Conflicts: 178000 | #Constraints: 15932
414.03/415.22 c #Conflicts: 179000 | #Constraints: 16932
414.03/415.22 c #Conflicts: 180000 | #Constraints: 17932
414.03/415.22 c INPROCESSING
414.03/415.22 c GARBAGE COLLECT
414.03/415.22 c #Conflicts: 181000 | #Constraints: 10540
414.03/415.22 c #Conflicts: 182000 | #Constraints: 11540
484.47/485.84 c #Conflicts: 183000 | #Constraints: 12540
484.47/485.84 c #Conflicts: 184000 | #Constraints: 13540
484.47/485.84 c #Conflicts: 185000 | #Constraints: 14540
484.47/485.84 c #Conflicts: 186000 | #Constraints: 15540
484.47/485.84 c #Conflicts: 187000 | #Constraints: 16540
484.47/485.84 c #Conflicts: 188000 | #Constraints: 17540
484.47/485.84 c #Conflicts: 189000 | #Constraints: 18540
484.47/485.84 c INPROCESSING
484.47/485.84 c GARBAGE COLLECT
484.47/485.84 c #Conflicts: 190000 | #Constraints: 10938
484.47/485.84 c #Conflicts: 191000 | #Constraints: 11938
484.47/485.84 c #Conflicts: 192000 | #Constraints: 12938
484.47/485.84 c #Conflicts: 193000 | #Constraints: 13938
484.47/485.84 c #Conflicts: 194000 | #Constraints: 14938
484.47/485.84 c #Conflicts: 195000 | #Constraints: 15938
484.47/485.84 c #Conflicts: 196000 | #Constraints: 16938
484.47/485.84 c #Conflicts: 197000 | #Constraints: 17938
484.47/485.84 c #Conflicts: 198000 | #Constraints: 18938
484.47/485.84 c INPROCESSING
484.47/485.84 c GARBAGE COLLECT
484.47/485.84 c #Conflicts: 199000 | #Constraints: 11138
484.47/485.84 c #Conflicts: 200000 | #Constraints: 12138
484.47/485.84 c #Conflicts: 201000 | #Constraints: 13138
484.47/485.84 c #Conflicts: 202000 | #Constraints: 14138
484.47/485.84 c #Conflicts: 203000 | #Constraints: 15138
484.47/485.84 c #Conflicts: 204000 | #Constraints: 16138
484.47/485.84 c #Conflicts: 205000 | #Constraints: 17138
484.47/485.84 c #Conflicts: 206000 | #Constraints: 18138
484.47/485.84 c #Conflicts: 207000 | #Constraints: 19138
484.47/485.84 c INPROCESSING
484.47/485.84 c GARBAGE COLLECT
484.47/485.84 c #Conflicts: 208000 | #Constraints: 11144
484.47/485.84 c #Conflicts: 209000 | #Constraints: 12144
484.47/485.84 c #Conflicts: 210000 | #Constraints: 13144
484.47/485.84 c #Conflicts: 211000 | #Constraints: 14144
484.47/485.84 c #Conflicts: 212000 | #Constraints: 15144
484.47/485.84 c #Conflicts: 213000 | #Constraints: 16144
484.47/485.84 c #Conflicts: 214000 | #Constraints: 17144
484.47/485.84 c #Conflicts: 215000 | #Constraints: 18144
484.47/485.84 c #Conflicts: 216000 | #Constraints: 19144
484.47/485.84 c INPROCESSING
484.47/485.84 c GARBAGE COLLECT
484.47/485.84 c #Conflicts: 217000 | #Constraints: 10945
484.47/485.84 c #Conflicts: 218000 | #Constraints: 11945
484.47/485.84 c #Conflicts: 219000 | #Constraints: 12945
484.47/485.84 c #Conflicts: 220000 | #Constraints: 13945
484.47/485.84 c #Conflicts: 221000 | #Constraints: 14945
484.47/485.84 c #Conflicts: 222000 | #Constraints: 15945
484.47/485.84 c #Conflicts: 223000 | #Constraints: 16945
484.47/485.84 c #Conflicts: 224000 | #Constraints: 17945
484.47/485.84 c #Conflicts: 225000 | #Constraints: 18945
484.47/485.84 c #Conflicts: 226000 | #Constraints: 19945
484.47/485.84 c INPROCESSING
484.47/485.84 c GARBAGE COLLECT
484.47/485.84 c #Conflicts: 227000 | #Constraints: 11544
484.47/485.84 c #Conflicts: 228000 | #Constraints: 12544
484.47/485.84 c #Conflicts: 229000 | #Constraints: 13544
484.47/485.84 c #Conflicts: 230000 | #Constraints: 14544
484.47/485.84 c #Conflicts: 231000 | #Constraints: 15544
484.47/485.84 c #Conflicts: 232000 | #Constraints: 16544
484.47/485.84 c #Conflicts: 233000 | #Constraints: 17544
484.47/485.84 c #Conflicts: 234000 | #Constraints: 18544
484.47/485.84 c #Conflicts: 235000 | #Constraints: 19544
484.47/485.84 c #Conflicts: 236000 | #Constraints: 20544
484.47/485.84 c INPROCESSING
484.47/485.84 c GARBAGE COLLECT
484.47/485.84 c #Conflicts: 237000 | #Constraints: 11942
484.47/485.84 c #Conflicts: 238000 | #Constraints: 12942
484.47/485.84 c #Conflicts: 239000 | #Constraints: 13942
484.47/485.84 c #Conflicts: 240000 | #Constraints: 14942
484.47/485.84 c #Conflicts: 241000 | #Constraints: 15942
484.47/485.84 c #Conflicts: 242000 | #Constraints: 16942
484.47/485.84 c #Conflicts: 243000 | #Constraints: 17942
484.47/485.84 c #Conflicts: 244000 | #Constraints: 18942
484.47/485.84 c #Conflicts: 245000 | #Constraints: 19942
484.47/485.84 c #Conflicts: 246000 | #Constraints: 20942
484.47/485.84 c INPROCESSING
484.47/485.84 c GARBAGE COLLECT
484.47/485.84 c #Conflicts: 247000 | #Constraints: 12136
484.47/485.84 c #Conflicts: 248000 | #Constraints: 13136
484.47/485.84 c #Conflicts: 249000 | #Constraints: 14136
484.47/485.84 c #Conflicts: 250000 | #Constraints: 15136
484.47/485.84 c #Conflicts: 251000 | #Constraints: 16136
484.47/485.84 c #Conflicts: 252000 | #Constraints: 17136
484.47/485.84 c #Conflicts: 253000 | #Constraints: 18136
484.47/485.84 c #Conflicts: 254000 | #Constraints: 19136
484.47/485.84 c #Conflicts: 255000 | #Constraints: 20136
484.47/485.84 c #Conflicts: 256000 | #Constraints: 21136
484.47/485.84 c INPROCESSING
563.87/565.45 c GARBAGE COLLECT
563.87/565.45 c #Conflicts: 257000 | #Constraints: 12138
563.87/565.45 c #Conflicts: 258000 | #Constraints: 13138
563.87/565.45 c #Conflicts: 259000 | #Constraints: 14138
563.87/565.45 c #Conflicts: 260000 | #Constraints: 15138
563.87/565.45 c #Conflicts: 261000 | #Constraints: 16138
563.87/565.45 c #Conflicts: 262000 | #Constraints: 17138
563.87/565.45 c #Conflicts: 263000 | #Constraints: 18138
563.87/565.45 c #Conflicts: 264000 | #Constraints: 19138
563.87/565.45 c #Conflicts: 265000 | #Constraints: 20138
563.87/565.45 c #Conflicts: 266000 | #Constraints: 21138
563.87/565.45 c INPROCESSING
563.87/565.45 c GARBAGE COLLECT
563.87/565.45 c #Conflicts: 267000 | #Constraints: 11937
563.87/565.45 c #Conflicts: 268000 | #Constraints: 12937
563.87/565.45 c #Conflicts: 269000 | #Constraints: 13937
563.87/565.45 c #Conflicts: 270000 | #Constraints: 14937
563.87/565.45 c #Conflicts: 271000 | #Constraints: 15937
563.87/565.45 c #Conflicts: 272000 | #Constraints: 16937
563.87/565.45 c #Conflicts: 273000 | #Constraints: 17937
563.87/565.45 c #Conflicts: 274000 | #Constraints: 18937
563.87/565.45 c #Conflicts: 275000 | #Constraints: 19937
563.87/565.45 c #Conflicts: 276000 | #Constraints: 20937
563.87/565.45 c #Conflicts: 277000 | #Constraints: 21937
563.87/565.45 c INPROCESSING
563.87/565.45 c GARBAGE COLLECT
563.87/565.45 c #Conflicts: 278000 | #Constraints: 12534
563.87/565.45 c #Conflicts: 279000 | #Constraints: 13534
563.87/565.45 c #Conflicts: 280000 | #Constraints: 14534
563.87/565.45 c #Conflicts: 281000 | #Constraints: 15534
563.87/565.45 c #Conflicts: 282000 | #Constraints: 16534
563.87/565.45 c #Conflicts: 283000 | #Constraints: 17534
563.87/565.45 c #Conflicts: 284000 | #Constraints: 18534
563.87/565.45 c #Conflicts: 285000 | #Constraints: 19534
563.87/565.45 c #Conflicts: 286000 | #Constraints: 20534
563.87/565.45 c #Conflicts: 287000 | #Constraints: 21534
563.87/565.45 c #Conflicts: 288000 | #Constraints: 22534
563.87/565.45 c INPROCESSING
563.87/565.45 c GARBAGE COLLECT
563.87/565.45 c #Conflicts: 289000 | #Constraints: 12931
563.87/565.45 c #Conflicts: 290000 | #Constraints: 13931
563.87/565.45 c #Conflicts: 291000 | #Constraints: 14931
563.87/565.45 c #Conflicts: 292000 | #Constraints: 15931
563.87/565.45 c #Conflicts: 293000 | #Constraints: 16931
563.87/565.45 c #Conflicts: 294000 | #Constraints: 17931
563.87/565.45 c #Conflicts: 295000 | #Constraints: 18931
563.87/565.45 c #Conflicts: 296000 | #Constraints: 19931
563.87/565.45 c #Conflicts: 297000 | #Constraints: 20931
563.87/565.45 c #Conflicts: 298000 | #Constraints: 21931
563.87/565.45 c #Conflicts: 299000 | #Constraints: 22931
563.87/565.45 c INPROCESSING
563.87/565.45 c GARBAGE COLLECT
563.87/565.45 c #Conflicts: 300000 | #Constraints: 13127
563.87/565.45 c #Conflicts: 301000 | #Constraints: 14127
563.87/565.45 c #Conflicts: 302000 | #Constraints: 15127
563.87/565.45 c #Conflicts: 303000 | #Constraints: 16127
563.87/565.45 c #Conflicts: 304000 | #Constraints: 17127
563.87/565.45 c #Conflicts: 305000 | #Constraints: 18127
563.87/565.45 c #Conflicts: 306000 | #Constraints: 19127
563.87/565.45 c #Conflicts: 307000 | #Constraints: 20127
563.87/565.45 c #Conflicts: 308000 | #Constraints: 21127
563.87/565.45 c #Conflicts: 309000 | #Constraints: 22127
563.87/565.45 c #Conflicts: 310000 | #Constraints: 23127
563.87/565.45 c INPROCESSING
563.87/565.45 c GARBAGE COLLECT
563.87/565.45 c #Conflicts: 311000 | #Constraints: 13124
563.87/565.45 c #Conflicts: 312000 | #Constraints: 14124
563.87/565.45 c #Conflicts: 313000 | #Constraints: 15124
563.87/565.45 c #Conflicts: 314000 | #Constraints: 16124
563.87/565.45 c #Conflicts: 315000 | #Constraints: 17124
563.87/565.45 c #Conflicts: 316000 | #Constraints: 18124
563.87/565.45 c #Conflicts: 317000 | #Constraints: 19124
563.87/565.45 c #Conflicts: 318000 | #Constraints: 20124
563.87/565.45 c #Conflicts: 319000 | #Constraints: 21124
563.87/565.45 c #Conflicts: 320000 | #Constraints: 22124
563.87/565.45 c #Conflicts: 321000 | #Constraints: 23124
563.87/565.45 c INPROCESSING
563.87/565.45 c GARBAGE COLLECT
563.87/565.45 c #Conflicts: 322000 | #Constraints: 12924
563.87/565.45 c #Conflicts: 323000 | #Constraints: 13924
563.87/565.45 c #Conflicts: 324000 | #Constraints: 14924
563.87/565.45 c #Conflicts: 325000 | #Constraints: 15924
563.87/565.45 c #Conflicts: 326000 | #Constraints: 16924
563.87/565.45 c #Conflicts: 327000 | #Constraints: 17924
563.87/565.45 c #Conflicts: 328000 | #Constraints: 18924
563.87/565.45 c #Conflicts: 329000 | #Constraints: 19924
563.87/565.45 c #Conflicts: 330000 | #Constraints: 20924
563.87/565.45 c #Conflicts: 331000 | #Constraints: 21924
652.46/654.28 c #Conflicts: 332000 | #Constraints: 22924
652.46/654.28 c #Conflicts: 333000 | #Constraints: 23924
652.46/654.28 c INPROCESSING
652.46/654.28 c GARBAGE COLLECT
652.46/654.28 c #Conflicts: 334000 | #Constraints: 13522
652.46/654.28 c #Conflicts: 335000 | #Constraints: 14522
652.46/654.28 c #Conflicts: 336000 | #Constraints: 15522
652.46/654.28 c #Conflicts: 337000 | #Constraints: 16522
652.46/654.28 c #Conflicts: 338000 | #Constraints: 17522
652.46/654.28 c #Conflicts: 339000 | #Constraints: 18522
652.46/654.28 c #Conflicts: 340000 | #Constraints: 19522
652.46/654.28 c #Conflicts: 341000 | #Constraints: 20522
652.46/654.28 c #Conflicts: 342000 | #Constraints: 21522
652.46/654.28 c #Conflicts: 343000 | #Constraints: 22522
652.46/654.28 c #Conflicts: 344000 | #Constraints: 23522
652.46/654.28 c #Conflicts: 345000 | #Constraints: 24522
652.46/654.28 c INPROCESSING
652.46/654.28 c GARBAGE COLLECT
652.46/654.28 c #Conflicts: 346000 | #Constraints: 13926
652.46/654.28 c #Conflicts: 347000 | #Constraints: 14926
652.46/654.28 c #Conflicts: 348000 | #Constraints: 15926
652.46/654.28 c #Conflicts: 349000 | #Constraints: 16926
652.46/654.28 c #Conflicts: 350000 | #Constraints: 17926
652.46/654.28 c #Conflicts: 351000 | #Constraints: 18926
652.46/654.28 c #Conflicts: 352000 | #Constraints: 19926
652.46/654.28 c #Conflicts: 353000 | #Constraints: 20926
652.46/654.28 c #Conflicts: 354000 | #Constraints: 21926
652.46/654.28 c #Conflicts: 355000 | #Constraints: 22926
652.46/654.28 c #Conflicts: 356000 | #Constraints: 23926
652.46/654.28 c #Conflicts: 357000 | #Constraints: 24926
652.46/654.28 c INPROCESSING
652.46/654.28 c GARBAGE COLLECT
652.46/654.28 c #Conflicts: 358000 | #Constraints: 14123
652.46/654.28 c #Conflicts: 359000 | #Constraints: 15123
652.46/654.28 c #Conflicts: 360000 | #Constraints: 16123
652.46/654.28 c #Conflicts: 361000 | #Constraints: 17123
652.46/654.28 c #Conflicts: 362000 | #Constraints: 18123
652.46/654.28 c #Conflicts: 363000 | #Constraints: 19123
652.46/654.28 c #Conflicts: 364000 | #Constraints: 20123
652.46/654.28 c #Conflicts: 365000 | #Constraints: 21123
652.46/654.28 c #Conflicts: 366000 | #Constraints: 22123
652.46/654.28 c #Conflicts: 367000 | #Constraints: 23123
652.46/654.28 c #Conflicts: 368000 | #Constraints: 24123
652.46/654.28 c #Conflicts: 369000 | #Constraints: 25123
652.46/654.28 c INPROCESSING
652.46/654.28 c GARBAGE COLLECT
652.46/654.28 c #Conflicts: 370000 | #Constraints: 14129
652.46/654.28 c #Conflicts: 371000 | #Constraints: 15129
652.46/654.28 c #Conflicts: 372000 | #Constraints: 16129
652.46/654.28 c #Conflicts: 373000 | #Constraints: 17129
652.46/654.28 c #Conflicts: 374000 | #Constraints: 18129
652.46/654.28 c #Conflicts: 375000 | #Constraints: 19129
652.46/654.28 c #Conflicts: 376000 | #Constraints: 20129
652.46/654.28 c #Conflicts: 377000 | #Constraints: 21129
652.46/654.28 c #Conflicts: 378000 | #Constraints: 22129
652.46/654.28 c #Conflicts: 379000 | #Constraints: 23129
652.46/654.28 c #Conflicts: 380000 | #Constraints: 24129
652.46/654.28 c #Conflicts: 381000 | #Constraints: 25129
652.46/654.28 c INPROCESSING
652.46/654.28 c GARBAGE COLLECT
652.46/654.28 c #Conflicts: 382000 | #Constraints: 13936
652.46/654.28 c #Conflicts: 383000 | #Constraints: 14936
652.46/654.28 c #Conflicts: 384000 | #Constraints: 15936
652.46/654.28 c #Conflicts: 385000 | #Constraints: 16936
652.46/654.28 c #Conflicts: 386000 | #Constraints: 17936
652.46/654.28 c #Conflicts: 387000 | #Constraints: 18936
652.46/654.28 c #Conflicts: 388000 | #Constraints: 19936
652.46/654.28 c #Conflicts: 389000 | #Constraints: 20936
652.46/654.28 c #Conflicts: 390000 | #Constraints: 21936
652.46/654.28 c #Conflicts: 391000 | #Constraints: 22936
652.46/654.28 c #Conflicts: 392000 | #Constraints: 23936
652.46/654.28 c #Conflicts: 393000 | #Constraints: 24936
652.46/654.28 c #Conflicts: 394000 | #Constraints: 25936
652.46/654.28 c INPROCESSING
652.46/654.28 c GARBAGE COLLECT
652.46/654.28 c #Conflicts: 395000 | #Constraints: 14541
652.46/654.28 c #Conflicts: 396000 | #Constraints: 15541
652.46/654.28 c #Conflicts: 397000 | #Constraints: 16541
652.46/654.28 c #Conflicts: 398000 | #Constraints: 17541
652.46/654.28 c #Conflicts: 399000 | #Constraints: 18541
652.46/654.28 c #Conflicts: 400000 | #Constraints: 19541
652.46/654.28 c #Conflicts: 401000 | #Constraints: 20541
652.46/654.28 c #Conflicts: 402000 | #Constraints: 21541
652.46/654.28 c #Conflicts: 403000 | #Constraints: 22541
652.46/654.28 c #Conflicts: 404000 | #Constraints: 23541
652.46/654.28 c #Conflicts: 405000 | #Constraints: 24541
652.46/654.28 c #Conflicts: 406000 | #Constraints: 25541
742.94/744.94 c #Conflicts: 407000 | #Constraints: 26541
742.94/744.94 c INPROCESSING
742.94/744.94 c GARBAGE COLLECT
742.94/744.94 c #Conflicts: 408000 | #Constraints: 14940
742.94/744.94 c #Conflicts: 409000 | #Constraints: 15940
742.94/744.94 c #Conflicts: 410000 | #Constraints: 16940
742.94/744.94 c #Conflicts: 411000 | #Constraints: 17940
742.94/744.94 c #Conflicts: 412000 | #Constraints: 18940
742.94/744.94 c #Conflicts: 413000 | #Constraints: 19940
742.94/744.94 c #Conflicts: 414000 | #Constraints: 20940
742.94/744.94 c #Conflicts: 415000 | #Constraints: 21940
742.94/744.94 c #Conflicts: 416000 | #Constraints: 22940
742.94/744.94 c #Conflicts: 417000 | #Constraints: 23940
742.94/744.94 c #Conflicts: 418000 | #Constraints: 24940
742.94/744.94 c #Conflicts: 419000 | #Constraints: 25940
742.94/744.94 c #Conflicts: 420000 | #Constraints: 26940
742.94/744.94 c INPROCESSING
742.94/744.94 c GARBAGE COLLECT
742.94/744.94 c #Conflicts: 421000 | #Constraints: 15144
742.94/744.94 c #Conflicts: 422000 | #Constraints: 16144
742.94/744.94 c #Conflicts: 423000 | #Constraints: 17144
742.94/744.94 c #Conflicts: 424000 | #Constraints: 18144
742.94/744.94 c #Conflicts: 425000 | #Constraints: 19144
742.94/744.94 c #Conflicts: 426000 | #Constraints: 20144
742.94/744.94 c #Conflicts: 427000 | #Constraints: 21144
742.94/744.94 c #Conflicts: 428000 | #Constraints: 22144
742.94/744.94 c #Conflicts: 429000 | #Constraints: 23144
742.94/744.94 c #Conflicts: 430000 | #Constraints: 24144
742.94/744.94 c #Conflicts: 431000 | #Constraints: 25144
742.94/744.94 c #Conflicts: 432000 | #Constraints: 26144
742.94/744.94 c #Conflicts: 433000 | #Constraints: 27144
742.94/744.94 c INPROCESSING
742.94/744.94 c GARBAGE COLLECT
742.94/744.94 c #Conflicts: 434000 | #Constraints: 15145
742.94/744.94 c #Conflicts: 435000 | #Constraints: 16145
742.94/744.94 c #Conflicts: 436000 | #Constraints: 17145
742.94/744.94 c #Conflicts: 437000 | #Constraints: 18145
742.94/744.94 c #Conflicts: 438000 | #Constraints: 19145
742.94/744.94 c #Conflicts: 439000 | #Constraints: 20145
742.94/744.94 c #Conflicts: 440000 | #Constraints: 21145
742.94/744.94 c #Conflicts: 441000 | #Constraints: 22145
742.94/744.94 c #Conflicts: 442000 | #Constraints: 23145
742.94/744.94 c #Conflicts: 443000 | #Constraints: 24145
742.94/744.94 c #Conflicts: 444000 | #Constraints: 25145
742.94/744.94 c #Conflicts: 445000 | #Constraints: 26145
742.94/744.94 c #Conflicts: 446000 | #Constraints: 27145
742.94/744.94 c INPROCESSING
742.94/744.94 c GARBAGE COLLECT
742.94/744.94 c #Conflicts: 447000 | #Constraints: 14940
742.94/744.94 c #Conflicts: 448000 | #Constraints: 15940
742.94/744.94 c #Conflicts: 449000 | #Constraints: 16940
742.94/744.94 c #Conflicts: 450000 | #Constraints: 17940
742.94/744.94 c #Conflicts: 451000 | #Constraints: 18940
742.94/744.94 c #Conflicts: 452000 | #Constraints: 19940
742.94/744.94 c #Conflicts: 453000 | #Constraints: 20940
742.94/744.94 c #Conflicts: 454000 | #Constraints: 21940
742.94/744.94 c #Conflicts: 455000 | #Constraints: 22940
742.94/744.94 c #Conflicts: 456000 | #Constraints: 23940
742.94/744.94 c #Conflicts: 457000 | #Constraints: 24940
742.94/744.94 c #Conflicts: 458000 | #Constraints: 25940
742.94/744.94 c #Conflicts: 459000 | #Constraints: 26940
742.94/744.94 c #Conflicts: 460000 | #Constraints: 27940
742.94/744.94 c INPROCESSING
742.94/744.94 c GARBAGE COLLECT
742.94/744.94 c #Conflicts: 461000 | #Constraints: 15546
742.94/744.94 c #Conflicts: 462000 | #Constraints: 16546
742.94/744.94 c #Conflicts: 463000 | #Constraints: 17546
742.94/744.94 c #Conflicts: 464000 | #Constraints: 18546
742.94/744.94 c #Conflicts: 465000 | #Constraints: 19546
742.94/744.94 c #Conflicts: 466000 | #Constraints: 20546
742.94/744.94 c #Conflicts: 467000 | #Constraints: 21546
742.94/744.94 c #Conflicts: 468000 | #Constraints: 22546
742.94/744.94 c #Conflicts: 469000 | #Constraints: 23546
742.94/744.94 c #Conflicts: 470000 | #Constraints: 24546
742.94/744.94 c #Conflicts: 471000 | #Constraints: 25546
742.94/744.94 c #Conflicts: 472000 | #Constraints: 26546
742.94/744.94 c #Conflicts: 473000 | #Constraints: 27546
742.94/744.94 c #Conflicts: 474000 | #Constraints: 28546
742.94/744.94 c INPROCESSING
742.94/744.94 c GARBAGE COLLECT
742.94/744.94 c #Conflicts: 475000 | #Constraints: 15946
742.94/744.94 c #Conflicts: 476000 | #Constraints: 16946
742.94/744.94 c #Conflicts: 477000 | #Constraints: 17946
742.94/744.94 c #Conflicts: 478000 | #Constraints: 18946
742.94/744.94 c #Conflicts: 479000 | #Constraints: 19946
742.94/744.94 c #Conflicts: 480000 | #Constraints: 20946
742.94/744.94 c #Conflicts: 481000 | #Constraints: 21946
845.19/847.40 c #Conflicts: 482000 | #Constraints: 22946
845.19/847.40 c #Conflicts: 483000 | #Constraints: 23946
845.19/847.40 c #Conflicts: 484000 | #Constraints: 24946
845.19/847.40 c #Conflicts: 485000 | #Constraints: 25946
845.19/847.40 c #Conflicts: 486000 | #Constraints: 26946
845.19/847.40 c #Conflicts: 487000 | #Constraints: 27946
845.19/847.40 c #Conflicts: 488000 | #Constraints: 28946
845.19/847.40 c INPROCESSING
845.19/847.40 c GARBAGE COLLECT
845.19/847.40 c #Conflicts: 489000 | #Constraints: 16152
845.19/847.40 c #Conflicts: 490000 | #Constraints: 17152
845.19/847.40 c #Conflicts: 491000 | #Constraints: 18152
845.19/847.40 c #Conflicts: 492000 | #Constraints: 19152
845.19/847.40 c #Conflicts: 493000 | #Constraints: 20152
845.19/847.40 c #Conflicts: 494000 | #Constraints: 21152
845.19/847.40 c #Conflicts: 495000 | #Constraints: 22152
845.19/847.40 c #Conflicts: 496000 | #Constraints: 23152
845.19/847.40 c #Conflicts: 497000 | #Constraints: 24152
845.19/847.40 c #Conflicts: 498000 | #Constraints: 25152
845.19/847.40 c #Conflicts: 499000 | #Constraints: 26152
845.19/847.40 c #Conflicts: 500000 | #Constraints: 27152
845.19/847.40 c #Conflicts: 501000 | #Constraints: 28152
845.19/847.40 c #Conflicts: 502000 | #Constraints: 29152
845.19/847.40 c INPROCESSING
845.19/847.40 c GARBAGE COLLECT
845.19/847.40 c #Conflicts: 503000 | #Constraints: 16150
845.19/847.40 c #Conflicts: 504000 | #Constraints: 17150
845.19/847.40 c #Conflicts: 505000 | #Constraints: 18150
845.19/847.40 c #Conflicts: 506000 | #Constraints: 19150
845.19/847.40 c #Conflicts: 507000 | #Constraints: 20150
845.19/847.40 c #Conflicts: 508000 | #Constraints: 21150
845.19/847.40 c #Conflicts: 509000 | #Constraints: 22150
845.19/847.40 c #Conflicts: 510000 | #Constraints: 23150
845.19/847.40 c #Conflicts: 511000 | #Constraints: 24150
845.19/847.40 c #Conflicts: 512000 | #Constraints: 25150
845.19/847.40 c #Conflicts: 513000 | #Constraints: 26150
845.19/847.40 c #Conflicts: 514000 | #Constraints: 27150
845.19/847.40 c #Conflicts: 515000 | #Constraints: 28150
845.19/847.40 c #Conflicts: 516000 | #Constraints: 29150
845.19/847.40 c INPROCESSING
845.19/847.40 c GARBAGE COLLECT
845.19/847.40 c #Conflicts: 517000 | #Constraints: 15940
845.19/847.40 c #Conflicts: 518000 | #Constraints: 16940
845.19/847.40 c #Conflicts: 519000 | #Constraints: 17940
845.19/847.40 c #Conflicts: 520000 | #Constraints: 18940
845.19/847.40 c #Conflicts: 521000 | #Constraints: 19940
845.19/847.40 c #Conflicts: 522000 | #Constraints: 20940
845.19/847.40 c #Conflicts: 523000 | #Constraints: 21940
845.19/847.40 c #Conflicts: 524000 | #Constraints: 22940
845.19/847.40 c #Conflicts: 525000 | #Constraints: 23940
845.19/847.40 c #Conflicts: 526000 | #Constraints: 24940
845.19/847.40 c #Conflicts: 527000 | #Constraints: 25940
845.19/847.40 c #Conflicts: 528000 | #Constraints: 26940
845.19/847.40 c #Conflicts: 529000 | #Constraints: 27940
845.19/847.40 c #Conflicts: 530000 | #Constraints: 28940
845.19/847.40 c #Conflicts: 531000 | #Constraints: 29940
845.19/847.40 c INPROCESSING
845.19/847.40 c GARBAGE COLLECT
845.19/847.40 c #Conflicts: 532000 | #Constraints: 16536
845.19/847.40 c #Conflicts: 533000 | #Constraints: 17536
845.19/847.40 c #Conflicts: 534000 | #Constraints: 18536
845.19/847.40 c #Conflicts: 535000 | #Constraints: 19536
845.19/847.40 c #Conflicts: 536000 | #Constraints: 20536
845.19/847.40 c #Conflicts: 537000 | #Constraints: 21536
845.19/847.40 c #Conflicts: 538000 | #Constraints: 22536
845.19/847.40 c #Conflicts: 539000 | #Constraints: 23536
845.19/847.40 c #Conflicts: 540000 | #Constraints: 24536
845.19/847.40 c #Conflicts: 541000 | #Constraints: 25536
845.19/847.40 c #Conflicts: 542000 | #Constraints: 26536
845.19/847.40 c #Conflicts: 543000 | #Constraints: 27536
845.19/847.40 c #Conflicts: 544000 | #Constraints: 28536
845.19/847.40 c #Conflicts: 545000 | #Constraints: 29536
845.19/847.40 c #Conflicts: 546000 | #Constraints: 30536
845.19/847.40 c INPROCESSING
845.19/847.40 c GARBAGE COLLECT
845.19/847.40 c #Conflicts: 547000 | #Constraints: 16934
845.19/847.40 c #Conflicts: 548000 | #Constraints: 17934
845.19/847.40 c #Conflicts: 549000 | #Constraints: 18934
845.19/847.40 c #Conflicts: 550000 | #Constraints: 19934
845.19/847.40 c #Conflicts: 551000 | #Constraints: 20934
845.19/847.40 c #Conflicts: 552000 | #Constraints: 21934
845.19/847.40 c #Conflicts: 553000 | #Constraints: 22934
845.19/847.40 c #Conflicts: 554000 | #Constraints: 23934
845.19/847.40 c #Conflicts: 555000 | #Constraints: 24934
845.19/847.40 c #Conflicts: 556000 | #Constraints: 25934
956.41/958.93 c #Conflicts: 557000 | #Constraints: 26934
956.41/958.93 c #Conflicts: 558000 | #Constraints: 27934
956.41/958.93 c #Conflicts: 559000 | #Constraints: 28934
956.41/958.93 c #Conflicts: 560000 | #Constraints: 29934
956.41/958.93 c #Conflicts: 561000 | #Constraints: 30934
956.41/958.93 c INPROCESSING
956.41/958.93 c GARBAGE COLLECT
956.41/958.93 c #Conflicts: 562000 | #Constraints: 17129
956.41/958.93 c #Conflicts: 563000 | #Constraints: 18129
956.41/958.93 c #Conflicts: 564000 | #Constraints: 19129
956.41/958.93 c #Conflicts: 565000 | #Constraints: 20129
956.41/958.93 c #Conflicts: 566000 | #Constraints: 21129
956.41/958.93 c #Conflicts: 567000 | #Constraints: 22129
956.41/958.93 c #Conflicts: 568000 | #Constraints: 23129
956.41/958.93 c #Conflicts: 569000 | #Constraints: 24129
956.41/958.93 c #Conflicts: 570000 | #Constraints: 25129
956.41/958.93 c #Conflicts: 571000 | #Constraints: 26129
956.41/958.93 c #Conflicts: 572000 | #Constraints: 27129
956.41/958.93 c #Conflicts: 573000 | #Constraints: 28129
956.41/958.93 c #Conflicts: 574000 | #Constraints: 29129
956.41/958.93 c #Conflicts: 575000 | #Constraints: 30129
956.41/958.93 c #Conflicts: 576000 | #Constraints: 31129
956.41/958.93 c INPROCESSING
956.41/958.93 c GARBAGE COLLECT
956.41/958.93 c #Conflicts: 577000 | #Constraints: 17136
956.41/958.93 c #Conflicts: 578000 | #Constraints: 18136
956.41/958.93 c #Conflicts: 579000 | #Constraints: 19136
956.41/958.93 c #Conflicts: 580000 | #Constraints: 20136
956.41/958.93 c #Conflicts: 581000 | #Constraints: 21136
956.41/958.93 c #Conflicts: 582000 | #Constraints: 22136
956.41/958.93 c #Conflicts: 583000 | #Constraints: 23136
956.41/958.93 c #Conflicts: 584000 | #Constraints: 24136
956.41/958.93 c #Conflicts: 585000 | #Constraints: 25136
956.41/958.93 c #Conflicts: 586000 | #Constraints: 26136
956.41/958.93 c #Conflicts: 587000 | #Constraints: 27136
956.41/958.93 c #Conflicts: 588000 | #Constraints: 28136
956.41/958.93 c #Conflicts: 589000 | #Constraints: 29136
956.41/958.93 c #Conflicts: 590000 | #Constraints: 30136
956.41/958.93 c #Conflicts: 591000 | #Constraints: 31136
956.41/958.93 c INPROCESSING
956.41/958.93 c GARBAGE COLLECT
956.41/958.93 c #Conflicts: 592000 | #Constraints: 16941
956.41/958.93 c #Conflicts: 593000 | #Constraints: 17941
956.41/958.93 c #Conflicts: 594000 | #Constraints: 18941
956.41/958.93 c #Conflicts: 595000 | #Constraints: 19941
956.41/958.93 c #Conflicts: 596000 | #Constraints: 20941
956.41/958.93 c #Conflicts: 597000 | #Constraints: 21941
956.41/958.93 c #Conflicts: 598000 | #Constraints: 22941
956.41/958.93 c #Conflicts: 599000 | #Constraints: 23941
956.41/958.93 c #Conflicts: 600000 | #Constraints: 24941
956.41/958.93 c #Conflicts: 601000 | #Constraints: 25941
956.41/958.93 c #Conflicts: 602000 | #Constraints: 26941
956.41/958.93 c #Conflicts: 603000 | #Constraints: 27941
956.41/958.93 c #Conflicts: 604000 | #Constraints: 28941
956.41/958.93 c #Conflicts: 605000 | #Constraints: 29941
956.41/958.93 c #Conflicts: 606000 | #Constraints: 30941
956.41/958.93 c #Conflicts: 607000 | #Constraints: 31941
956.41/958.93 c INPROCESSING
956.41/958.93 c GARBAGE COLLECT
956.41/958.93 c #Conflicts: 608000 | #Constraints: 17543
956.41/958.93 c #Conflicts: 609000 | #Constraints: 18543
956.41/958.93 c #Conflicts: 610000 | #Constraints: 19543
956.41/958.93 c #Conflicts: 611000 | #Constraints: 20543
956.41/958.93 c #Conflicts: 612000 | #Constraints: 21543
956.41/958.93 c #Conflicts: 613000 | #Constraints: 22543
956.41/958.93 c #Conflicts: 614000 | #Constraints: 23543
956.41/958.93 c #Conflicts: 615000 | #Constraints: 24543
956.41/958.93 c #Conflicts: 616000 | #Constraints: 25543
956.41/958.93 c #Conflicts: 617000 | #Constraints: 26543
956.41/958.93 c #Conflicts: 618000 | #Constraints: 27543
956.41/958.93 c #Conflicts: 619000 | #Constraints: 28543
956.41/958.93 c #Conflicts: 620000 | #Constraints: 29543
956.41/958.93 c #Conflicts: 621000 | #Constraints: 30543
956.41/958.93 c #Conflicts: 622000 | #Constraints: 31543
956.41/958.93 c #Conflicts: 623000 | #Constraints: 32543
956.41/958.93 c INPROCESSING
956.41/958.93 c GARBAGE COLLECT
956.41/958.93 c #Conflicts: 624000 | #Constraints: 17950
956.41/958.93 c #Conflicts: 625000 | #Constraints: 18950
956.41/958.93 c #Conflicts: 626000 | #Constraints: 19950
956.41/958.93 c #Conflicts: 627000 | #Constraints: 20950
956.41/958.93 c #Conflicts: 628000 | #Constraints: 21950
956.41/958.93 c #Conflicts: 629000 | #Constraints: 22950
956.41/958.93 c #Conflicts: 630000 | #Constraints: 23950
956.41/958.93 c #Conflicts: 631000 | #Constraints: 24950
956.41/958.93 c #Conflicts: 632000 | #Constraints: 25950
1072.34/1075.11 c #Conflicts: 633000 | #Constraints: 26950
1072.34/1075.11 c #Conflicts: 634000 | #Constraints: 27950
1072.34/1075.11 c #Conflicts: 635000 | #Constraints: 28950
1072.34/1075.11 c #Conflicts: 636000 | #Constraints: 29950
1072.34/1075.11 c #Conflicts: 637000 | #Constraints: 30950
1072.34/1075.11 c #Conflicts: 638000 | #Constraints: 31950
1072.34/1075.11 c #Conflicts: 639000 | #Constraints: 32950
1072.34/1075.11 c INPROCESSING
1072.34/1075.11 c GARBAGE COLLECT
1072.34/1075.11 c #Conflicts: 640000 | #Constraints: 18143
1072.34/1075.11 c #Conflicts: 641000 | #Constraints: 19143
1072.34/1075.11 c #Conflicts: 642000 | #Constraints: 20143
1072.34/1075.11 c #Conflicts: 643000 | #Constraints: 21143
1072.34/1075.11 c #Conflicts: 644000 | #Constraints: 22143
1072.34/1075.11 c #Conflicts: 645000 | #Constraints: 23143
1072.34/1075.11 c #Conflicts: 646000 | #Constraints: 24143
1072.34/1075.11 c #Conflicts: 647000 | #Constraints: 25143
1072.34/1075.11 c #Conflicts: 648000 | #Constraints: 26143
1072.34/1075.11 c #Conflicts: 649000 | #Constraints: 27143
1072.34/1075.11 c #Conflicts: 650000 | #Constraints: 28143
1072.34/1075.11 c #Conflicts: 651000 | #Constraints: 29143
1072.34/1075.11 c #Conflicts: 652000 | #Constraints: 30143
1072.34/1075.11 c #Conflicts: 653000 | #Constraints: 31143
1072.34/1075.11 c #Conflicts: 654000 | #Constraints: 32143
1072.34/1075.11 c #Conflicts: 655000 | #Constraints: 33143
1072.34/1075.11 c INPROCESSING
1072.34/1075.11 c GARBAGE COLLECT
1072.34/1075.11 c #Conflicts: 656000 | #Constraints: 18145
1072.34/1075.11 c #Conflicts: 657000 | #Constraints: 19145
1072.34/1075.11 c #Conflicts: 658000 | #Constraints: 20145
1072.34/1075.11 c #Conflicts: 659000 | #Constraints: 21145
1072.34/1075.11 c #Conflicts: 660000 | #Constraints: 22145
1072.34/1075.11 c #Conflicts: 661000 | #Constraints: 23145
1072.34/1075.11 c #Conflicts: 662000 | #Constraints: 24145
1072.34/1075.11 c #Conflicts: 663000 | #Constraints: 25145
1072.34/1075.11 c #Conflicts: 664000 | #Constraints: 26145
1072.34/1075.11 c #Conflicts: 665000 | #Constraints: 27145
1072.34/1075.11 c #Conflicts: 666000 | #Constraints: 28145
1072.34/1075.11 c #Conflicts: 667000 | #Constraints: 29145
1072.34/1075.11 c #Conflicts: 668000 | #Constraints: 30145
1072.34/1075.11 c #Conflicts: 669000 | #Constraints: 31145
1072.34/1075.11 c #Conflicts: 670000 | #Constraints: 32145
1072.34/1075.11 c #Conflicts: 671000 | #Constraints: 33145
1072.34/1075.11 c INPROCESSING
1072.34/1075.11 c GARBAGE COLLECT
1072.34/1075.11 c #Conflicts: 672000 | #Constraints: 17944
1072.34/1075.11 c #Conflicts: 673000 | #Constraints: 18944
1072.34/1075.11 c #Conflicts: 674000 | #Constraints: 19944
1072.34/1075.11 c #Conflicts: 675000 | #Constraints: 20944
1072.34/1075.11 c #Conflicts: 676000 | #Constraints: 21944
1072.34/1075.11 c #Conflicts: 677000 | #Constraints: 22944
1072.34/1075.11 c #Conflicts: 678000 | #Constraints: 23944
1072.34/1075.11 c #Conflicts: 679000 | #Constraints: 24944
1072.34/1075.11 c #Conflicts: 680000 | #Constraints: 25944
1072.34/1075.11 c #Conflicts: 681000 | #Constraints: 26944
1072.34/1075.11 c #Conflicts: 682000 | #Constraints: 27944
1072.34/1075.11 c #Conflicts: 683000 | #Constraints: 28944
1072.34/1075.11 c #Conflicts: 684000 | #Constraints: 29944
1072.34/1075.11 c #Conflicts: 685000 | #Constraints: 30944
1072.34/1075.11 c #Conflicts: 686000 | #Constraints: 31944
1072.34/1075.11 c #Conflicts: 687000 | #Constraints: 32944
1072.34/1075.11 c #Conflicts: 688000 | #Constraints: 33944
1072.34/1075.11 c INPROCESSING
1072.34/1075.11 c GARBAGE COLLECT
1072.34/1075.11 c #Conflicts: 689000 | #Constraints: 18541
1072.34/1075.11 c #Conflicts: 690000 | #Constraints: 19541
1072.34/1075.11 c #Conflicts: 691000 | #Constraints: 20541
1072.34/1075.11 c #Conflicts: 692000 | #Constraints: 21541
1072.34/1075.11 c #Conflicts: 693000 | #Constraints: 22541
1072.34/1075.11 c #Conflicts: 694000 | #Constraints: 23541
1072.34/1075.11 c #Conflicts: 695000 | #Constraints: 24541
1072.34/1075.11 c #Conflicts: 696000 | #Constraints: 25541
1072.34/1075.11 c #Conflicts: 697000 | #Constraints: 26541
1072.34/1075.11 c #Conflicts: 698000 | #Constraints: 27541
1072.34/1075.11 c #Conflicts: 699000 | #Constraints: 28541
1072.34/1075.11 c #Conflicts: 700000 | #Constraints: 29541
1072.34/1075.11 c #Conflicts: 701000 | #Constraints: 30541
1072.34/1075.11 c #Conflicts: 702000 | #Constraints: 31541
1072.34/1075.11 c #Conflicts: 703000 | #Constraints: 32541
1072.34/1075.11 c #Conflicts: 704000 | #Constraints: 33541
1072.34/1075.11 c #Conflicts: 705000 | #Constraints: 34541
1072.34/1075.11 c INPROCESSING
1072.34/1075.11 c GARBAGE COLLECT
1072.34/1075.11 c #Conflicts: 706000 | #Constraints: 18940
1072.34/1075.11 c #Conflicts: 707000 | #Constraints: 19940
1072.34/1075.11 c #Conflicts: 708000 | #Constraints: 20940
1203.22/1206.33 c #Conflicts: 709000 | #Constraints: 21940
1203.22/1206.33 c #Conflicts: 710000 | #Constraints: 22940
1203.22/1206.33 c #Conflicts: 711000 | #Constraints: 23940
1203.22/1206.33 c #Conflicts: 712000 | #Constraints: 24940
1203.22/1206.33 c #Conflicts: 713000 | #Constraints: 25940
1203.22/1206.33 c #Conflicts: 714000 | #Constraints: 26940
1203.22/1206.33 c #Conflicts: 715000 | #Constraints: 27940
1203.22/1206.33 c #Conflicts: 716000 | #Constraints: 28940
1203.22/1206.33 c #Conflicts: 717000 | #Constraints: 29940
1203.22/1206.33 c #Conflicts: 718000 | #Constraints: 30940
1203.22/1206.33 c #Conflicts: 719000 | #Constraints: 31940
1203.22/1206.33 c #Conflicts: 720000 | #Constraints: 32940
1203.22/1206.33 c #Conflicts: 721000 | #Constraints: 33940
1203.22/1206.33 c #Conflicts: 722000 | #Constraints: 34940
1203.22/1206.33 c INPROCESSING
1203.22/1206.33 c GARBAGE COLLECT
1203.22/1206.33 c #Conflicts: 723000 | #Constraints: 19139
1203.22/1206.33 c #Conflicts: 724000 | #Constraints: 20139
1203.22/1206.33 c #Conflicts: 725000 | #Constraints: 21139
1203.22/1206.33 c #Conflicts: 726000 | #Constraints: 22139
1203.22/1206.33 c #Conflicts: 727000 | #Constraints: 23139
1203.22/1206.33 c #Conflicts: 728000 | #Constraints: 24139
1203.22/1206.33 c #Conflicts: 729000 | #Constraints: 25139
1203.22/1206.33 c #Conflicts: 730000 | #Constraints: 26139
1203.22/1206.33 c #Conflicts: 731000 | #Constraints: 27139
1203.22/1206.33 c #Conflicts: 732000 | #Constraints: 28139
1203.22/1206.33 c #Conflicts: 733000 | #Constraints: 29139
1203.22/1206.33 c #Conflicts: 734000 | #Constraints: 30139
1203.22/1206.33 c #Conflicts: 735000 | #Constraints: 31139
1203.22/1206.33 c #Conflicts: 736000 | #Constraints: 32139
1203.22/1206.33 c #Conflicts: 737000 | #Constraints: 33139
1203.22/1206.33 c #Conflicts: 738000 | #Constraints: 34139
1203.22/1206.33 c #Conflicts: 739000 | #Constraints: 35139
1203.22/1206.33 c INPROCESSING
1203.22/1206.33 c GARBAGE COLLECT
1203.22/1206.33 c #Conflicts: 740000 | #Constraints: 19143
1203.22/1206.33 c #Conflicts: 741000 | #Constraints: 20143
1203.22/1206.33 c #Conflicts: 742000 | #Constraints: 21143
1203.22/1206.33 c #Conflicts: 743000 | #Constraints: 22143
1203.22/1206.33 c #Conflicts: 744000 | #Constraints: 23143
1203.22/1206.33 c #Conflicts: 745000 | #Constraints: 24143
1203.22/1206.33 c #Conflicts: 746000 | #Constraints: 25143
1203.22/1206.33 c #Conflicts: 747000 | #Constraints: 26143
1203.22/1206.33 c #Conflicts: 748000 | #Constraints: 27143
1203.22/1206.33 c #Conflicts: 749000 | #Constraints: 28143
1203.22/1206.33 c #Conflicts: 750000 | #Constraints: 29143
1203.22/1206.33 c #Conflicts: 751000 | #Constraints: 30143
1203.22/1206.33 c #Conflicts: 752000 | #Constraints: 31143
1203.22/1206.33 c #Conflicts: 753000 | #Constraints: 32143
1203.22/1206.33 c #Conflicts: 754000 | #Constraints: 33143
1203.22/1206.33 c #Conflicts: 755000 | #Constraints: 34143
1203.22/1206.33 c #Conflicts: 756000 | #Constraints: 35143
1203.22/1206.33 c INPROCESSING
1203.22/1206.33 c GARBAGE COLLECT
1203.22/1206.33 c #Conflicts: 757000 | #Constraints: 18938
1203.22/1206.33 c #Conflicts: 758000 | #Constraints: 19938
1203.22/1206.33 c #Conflicts: 759000 | #Constraints: 20938
1203.22/1206.33 c #Conflicts: 760000 | #Constraints: 21938
1203.22/1206.33 c #Conflicts: 761000 | #Constraints: 22938
1203.22/1206.33 c #Conflicts: 762000 | #Constraints: 23938
1203.22/1206.33 c #Conflicts: 763000 | #Constraints: 24938
1203.22/1206.33 c #Conflicts: 764000 | #Constraints: 25938
1203.22/1206.33 c #Conflicts: 765000 | #Constraints: 26938
1203.22/1206.33 c #Conflicts: 766000 | #Constraints: 27938
1203.22/1206.33 c #Conflicts: 767000 | #Constraints: 28938
1203.22/1206.33 c #Conflicts: 768000 | #Constraints: 29938
1203.22/1206.33 c #Conflicts: 769000 | #Constraints: 30938
1203.22/1206.33 c #Conflicts: 770000 | #Constraints: 31938
1203.22/1206.33 c #Conflicts: 771000 | #Constraints: 32938
1203.22/1206.33 c #Conflicts: 772000 | #Constraints: 33938
1203.22/1206.33 c #Conflicts: 773000 | #Constraints: 34938
1203.22/1206.33 c #Conflicts: 774000 | #Constraints: 35938
1203.22/1206.33 c INPROCESSING
1203.22/1206.33 c GARBAGE COLLECT
1203.22/1206.33 c #Conflicts: 775000 | #Constraints: 19554
1203.22/1206.33 c #Conflicts: 776000 | #Constraints: 20554
1203.22/1206.33 c #Conflicts: 777000 | #Constraints: 21554
1203.22/1206.33 c #Conflicts: 778000 | #Constraints: 22554
1203.22/1206.33 c #Conflicts: 779000 | #Constraints: 23554
1203.22/1206.33 c #Conflicts: 780000 | #Constraints: 24554
1203.22/1206.33 c #Conflicts: 781000 | #Constraints: 25554
1203.22/1206.33 c #Conflicts: 782000 | #Constraints: 26554
1203.22/1206.33 c #Conflicts: 783000 | #Constraints: 27554
1203.22/1206.33 c #Conflicts: 784000 | #Constraints: 28554
1349.17/1352.67 c #Conflicts: 785000 | #Constraints: 29554
1349.17/1352.67 c #Conflicts: 786000 | #Constraints: 30554
1349.17/1352.67 c #Conflicts: 787000 | #Constraints: 31554
1349.17/1352.67 c #Conflicts: 788000 | #Constraints: 32554
1349.17/1352.67 c #Conflicts: 789000 | #Constraints: 33554
1349.17/1352.67 c #Conflicts: 790000 | #Constraints: 34554
1349.17/1352.67 c #Conflicts: 791000 | #Constraints: 35554
1349.17/1352.67 c #Conflicts: 792000 | #Constraints: 36554
1349.17/1352.67 c INPROCESSING
1349.17/1352.67 c GARBAGE COLLECT
1349.17/1352.67 c #Conflicts: 793000 | #Constraints: 19952
1349.17/1352.67 c #Conflicts: 794000 | #Constraints: 20952
1349.17/1352.67 c #Conflicts: 795000 | #Constraints: 21952
1349.17/1352.67 c #Conflicts: 796000 | #Constraints: 22952
1349.17/1352.67 c #Conflicts: 797000 | #Constraints: 23952
1349.17/1352.67 c #Conflicts: 798000 | #Constraints: 24952
1349.17/1352.67 c #Conflicts: 799000 | #Constraints: 25952
1349.17/1352.67 c #Conflicts: 800000 | #Constraints: 26952
1349.17/1352.67 c #Conflicts: 801000 | #Constraints: 27952
1349.17/1352.67 c #Conflicts: 802000 | #Constraints: 28952
1349.17/1352.67 c #Conflicts: 803000 | #Constraints: 29952
1349.17/1352.67 c #Conflicts: 804000 | #Constraints: 30952
1349.17/1352.67 c #Conflicts: 805000 | #Constraints: 31952
1349.17/1352.67 c #Conflicts: 806000 | #Constraints: 32952
1349.17/1352.67 c #Conflicts: 807000 | #Constraints: 33952
1349.17/1352.67 c #Conflicts: 808000 | #Constraints: 34952
1349.17/1352.67 c #Conflicts: 809000 | #Constraints: 35952
1349.17/1352.67 c #Conflicts: 810000 | #Constraints: 36952
1349.17/1352.67 c INPROCESSING
1349.17/1352.67 c GARBAGE COLLECT
1349.17/1352.67 c #Conflicts: 811000 | #Constraints: 20147
1349.17/1352.67 c #Conflicts: 812000 | #Constraints: 21147
1349.17/1352.67 c #Conflicts: 813000 | #Constraints: 22147
1349.17/1352.67 c #Conflicts: 814000 | #Constraints: 23147
1349.17/1352.67 c #Conflicts: 815000 | #Constraints: 24147
1349.17/1352.67 c #Conflicts: 816000 | #Constraints: 25147
1349.17/1352.67 c #Conflicts: 817000 | #Constraints: 26147
1349.17/1352.67 c #Conflicts: 818000 | #Constraints: 27147
1349.17/1352.67 c #Conflicts: 819000 | #Constraints: 28147
1349.17/1352.67 c #Conflicts: 820000 | #Constraints: 29147
1349.17/1352.67 c #Conflicts: 821000 | #Constraints: 30147
1349.17/1352.67 c #Conflicts: 822000 | #Constraints: 31147
1349.17/1352.67 c #Conflicts: 823000 | #Constraints: 32147
1349.17/1352.67 c #Conflicts: 824000 | #Constraints: 33147
1349.17/1352.67 c #Conflicts: 825000 | #Constraints: 34147
1349.17/1352.67 c #Conflicts: 826000 | #Constraints: 35147
1349.17/1352.67 c #Conflicts: 827000 | #Constraints: 36147
1349.17/1352.67 c #Conflicts: 828000 | #Constraints: 37147
1349.17/1352.67 c INPROCESSING
1349.17/1352.67 c GARBAGE COLLECT
1349.17/1352.67 c #Conflicts: 829000 | #Constraints: 20152
1349.17/1352.67 c #Conflicts: 830000 | #Constraints: 21152
1349.17/1352.67 c #Conflicts: 831000 | #Constraints: 22152
1349.17/1352.67 c #Conflicts: 832000 | #Constraints: 23152
1349.17/1352.67 c #Conflicts: 833000 | #Constraints: 24152
1349.17/1352.67 c #Conflicts: 834000 | #Constraints: 25152
1349.17/1352.67 c #Conflicts: 835000 | #Constraints: 26152
1349.17/1352.67 c #Conflicts: 836000 | #Constraints: 27152
1349.17/1352.67 c #Conflicts: 837000 | #Constraints: 28152
1349.17/1352.67 c #Conflicts: 838000 | #Constraints: 29152
1349.17/1352.67 c #Conflicts: 839000 | #Constraints: 30152
1349.17/1352.67 c #Conflicts: 840000 | #Constraints: 31152
1349.17/1352.67 c #Conflicts: 841000 | #Constraints: 32152
1349.17/1352.67 c #Conflicts: 842000 | #Constraints: 33152
1349.17/1352.67 c #Conflicts: 843000 | #Constraints: 34152
1349.17/1352.67 c #Conflicts: 844000 | #Constraints: 35152
1349.17/1352.67 c #Conflicts: 845000 | #Constraints: 36152
1349.17/1352.67 c #Conflicts: 846000 | #Constraints: 37152
1349.17/1352.67 c INPROCESSING
1349.17/1352.67 c GARBAGE COLLECT
1349.17/1352.67 c #Conflicts: 847000 | #Constraints: 19951
1349.17/1352.67 c #Conflicts: 848000 | #Constraints: 20951
1349.17/1352.67 c #Conflicts: 849000 | #Constraints: 21951
1349.17/1352.67 c #Conflicts: 850000 | #Constraints: 22951
1349.17/1352.67 c #Conflicts: 851000 | #Constraints: 23951
1349.17/1352.67 c #Conflicts: 852000 | #Constraints: 24951
1349.17/1352.67 c #Conflicts: 853000 | #Constraints: 25951
1349.17/1352.67 c #Conflicts: 854000 | #Constraints: 26951
1349.17/1352.67 c #Conflicts: 855000 | #Constraints: 27951
1349.17/1352.67 c #Conflicts: 856000 | #Constraints: 28951
1349.17/1352.67 c #Conflicts: 857000 | #Constraints: 29951
1349.17/1352.67 c #Conflicts: 858000 | #Constraints: 30951
1349.17/1352.67 c #Conflicts: 859000 | #Constraints: 31951
1349.17/1352.67 c #Conflicts: 860000 | #Constraints: 32951
1501.40/1505.21 c #Conflicts: 861000 | #Constraints: 33951
1501.40/1505.21 c #Conflicts: 862000 | #Constraints: 34951
1501.40/1505.21 c #Conflicts: 863000 | #Constraints: 35951
1501.40/1505.21 c #Conflicts: 864000 | #Constraints: 36951
1501.40/1505.21 c #Conflicts: 865000 | #Constraints: 37951
1501.40/1505.21 c INPROCESSING
1501.40/1505.21 c GARBAGE COLLECT
1501.40/1505.21 c #Conflicts: 866000 | #Constraints: 20547
1501.40/1505.21 c #Conflicts: 867000 | #Constraints: 21547
1501.40/1505.21 c #Conflicts: 868000 | #Constraints: 22547
1501.40/1505.21 c #Conflicts: 869000 | #Constraints: 23547
1501.40/1505.21 c #Conflicts: 870000 | #Constraints: 24547
1501.40/1505.21 c #Conflicts: 871000 | #Constraints: 25547
1501.40/1505.21 c #Conflicts: 872000 | #Constraints: 26547
1501.40/1505.21 c #Conflicts: 873000 | #Constraints: 27547
1501.40/1505.21 c #Conflicts: 874000 | #Constraints: 28547
1501.40/1505.21 c #Conflicts: 875000 | #Constraints: 29547
1501.40/1505.21 c #Conflicts: 876000 | #Constraints: 30547
1501.40/1505.21 c #Conflicts: 877000 | #Constraints: 31547
1501.40/1505.21 c #Conflicts: 878000 | #Constraints: 32547
1501.40/1505.21 c #Conflicts: 879000 | #Constraints: 33547
1501.40/1505.21 c #Conflicts: 880000 | #Constraints: 34547
1501.40/1505.21 c #Conflicts: 881000 | #Constraints: 35547
1501.40/1505.21 c #Conflicts: 882000 | #Constraints: 36547
1501.40/1505.21 c #Conflicts: 883000 | #Constraints: 37547
1501.40/1505.21 c #Conflicts: 884000 | #Constraints: 38547
1501.40/1505.21 c INPROCESSING
1501.40/1505.21 c GARBAGE COLLECT
1501.40/1505.21 c #Conflicts: 885000 | #Constraints: 20943
1501.40/1505.21 c #Conflicts: 886000 | #Constraints: 21943
1501.40/1505.21 c #Conflicts: 887000 | #Constraints: 22943
1501.40/1505.21 c #Conflicts: 888000 | #Constraints: 23943
1501.40/1505.21 c #Conflicts: 889000 | #Constraints: 24943
1501.40/1505.21 c #Conflicts: 890000 | #Constraints: 25943
1501.40/1505.21 c #Conflicts: 891000 | #Constraints: 26943
1501.40/1505.21 c #Conflicts: 892000 | #Constraints: 27943
1501.40/1505.21 c #Conflicts: 893000 | #Constraints: 28943
1501.40/1505.21 c #Conflicts: 894000 | #Constraints: 29943
1501.40/1505.21 c #Conflicts: 895000 | #Constraints: 30943
1501.40/1505.21 c #Conflicts: 896000 | #Constraints: 31943
1501.40/1505.21 c #Conflicts: 897000 | #Constraints: 32943
1501.40/1505.21 c #Conflicts: 898000 | #Constraints: 33943
1501.40/1505.21 c #Conflicts: 899000 | #Constraints: 34943
1501.40/1505.21 c #Conflicts: 900000 | #Constraints: 35943
1501.40/1505.21 c #Conflicts: 901000 | #Constraints: 36943
1501.40/1505.21 c #Conflicts: 902000 | #Constraints: 37943
1501.40/1505.21 c #Conflicts: 903000 | #Constraints: 38943
1501.40/1505.21 c INPROCESSING
1501.40/1505.21 c GARBAGE COLLECT
1501.40/1505.21 c #Conflicts: 904000 | #Constraints: 21152
1501.40/1505.21 c #Conflicts: 905000 | #Constraints: 22152
1501.40/1505.21 c #Conflicts: 906000 | #Constraints: 23152
1501.40/1505.21 c #Conflicts: 907000 | #Constraints: 24152
1501.40/1505.21 c #Conflicts: 908000 | #Constraints: 25152
1501.40/1505.21 c #Conflicts: 909000 | #Constraints: 26152
1501.40/1505.21 c #Conflicts: 910000 | #Constraints: 27152
1501.40/1505.21 c #Conflicts: 911000 | #Constraints: 28152
1501.40/1505.21 c #Conflicts: 912000 | #Constraints: 29152
1501.40/1505.21 c #Conflicts: 913000 | #Constraints: 30152
1501.40/1505.21 c #Conflicts: 914000 | #Constraints: 31152
1501.40/1505.21 c #Conflicts: 915000 | #Constraints: 32152
1501.40/1505.21 c #Conflicts: 916000 | #Constraints: 33152
1501.40/1505.21 c #Conflicts: 917000 | #Constraints: 34152
1501.40/1505.21 c #Conflicts: 918000 | #Constraints: 35152
1501.40/1505.21 c #Conflicts: 919000 | #Constraints: 36152
1501.40/1505.21 c #Conflicts: 920000 | #Constraints: 37152
1501.40/1505.21 c #Conflicts: 921000 | #Constraints: 38152
1501.40/1505.21 c #Conflicts: 922000 | #Constraints: 39152
1501.40/1505.21 c INPROCESSING
1501.40/1505.21 c GARBAGE COLLECT
1501.40/1505.21 c #Conflicts: 923000 | #Constraints: 21149
1501.40/1505.21 c #Conflicts: 924000 | #Constraints: 22149
1501.40/1505.21 c #Conflicts: 925000 | #Constraints: 23149
1501.40/1505.21 c #Conflicts: 926000 | #Constraints: 24149
1501.40/1505.21 c #Conflicts: 927000 | #Constraints: 25149
1501.40/1505.21 c #Conflicts: 928000 | #Constraints: 26149
1501.40/1505.21 c #Conflicts: 929000 | #Constraints: 27149
1501.40/1505.21 c #Conflicts: 930000 | #Constraints: 28149
1501.40/1505.21 c #Conflicts: 931000 | #Constraints: 29149
1501.40/1505.21 c #Conflicts: 932000 | #Constraints: 30149
1501.40/1505.21 c #Conflicts: 933000 | #Constraints: 31149
1501.40/1505.21 c #Conflicts: 934000 | #Constraints: 32149
1501.40/1505.21 c #Conflicts: 935000 | #Constraints: 33149
1501.40/1505.21 c #Conflicts: 936000 | #Constraints: 34149
1639.27/1643.49 c #Conflicts: 937000 | #Constraints: 35149
1639.27/1643.49 c #Conflicts: 938000 | #Constraints: 36149
1639.27/1643.49 c #Conflicts: 939000 | #Constraints: 37149
1639.27/1643.49 c #Conflicts: 940000 | #Constraints: 38149
1639.27/1643.49 c #Conflicts: 941000 | #Constraints: 39149
1639.27/1643.49 c INPROCESSING
1639.27/1643.49 c GARBAGE COLLECT
1639.27/1643.49 c #Conflicts: 942000 | #Constraints: 20948
1639.27/1643.49 c #Conflicts: 943000 | #Constraints: 21948
1639.27/1643.49 c #Conflicts: 944000 | #Constraints: 22948
1639.27/1643.49 c #Conflicts: 945000 | #Constraints: 23948
1639.27/1643.49 c #Conflicts: 946000 | #Constraints: 24948
1639.27/1643.49 c #Conflicts: 947000 | #Constraints: 25948
1639.27/1643.49 c #Conflicts: 948000 | #Constraints: 26948
1639.27/1643.49 c #Conflicts: 949000 | #Constraints: 27948
1639.27/1643.49 c #Conflicts: 950000 | #Constraints: 28948
1639.27/1643.49 c #Conflicts: 951000 | #Constraints: 29948
1639.27/1643.49 c #Conflicts: 952000 | #Constraints: 30948
1639.27/1643.49 c #Conflicts: 953000 | #Constraints: 31948
1639.27/1643.49 c #Conflicts: 954000 | #Constraints: 32948
1639.27/1643.49 c #Conflicts: 955000 | #Constraints: 33948
1639.27/1643.49 c #Conflicts: 956000 | #Constraints: 34948
1639.27/1643.49 c #Conflicts: 957000 | #Constraints: 35948
1639.27/1643.49 c #Conflicts: 958000 | #Constraints: 36948
1639.27/1643.49 c #Conflicts: 959000 | #Constraints: 37948
1639.27/1643.49 c #Conflicts: 960000 | #Constraints: 38948
1639.27/1643.49 c #Conflicts: 961000 | #Constraints: 39948
1639.27/1643.49 c INPROCESSING
1639.27/1643.49 c GARBAGE COLLECT
1639.27/1643.49 c #Conflicts: 962000 | #Constraints: 21552
1639.27/1643.49 c #Conflicts: 963000 | #Constraints: 22552
1639.27/1643.49 c #Conflicts: 964000 | #Constraints: 23552
1639.27/1643.49 c #Conflicts: 965000 | #Constraints: 24552
1639.27/1643.49 c #Conflicts: 966000 | #Constraints: 25552
1639.27/1643.49 c #Conflicts: 967000 | #Constraints: 26552
1639.27/1643.49 c #Conflicts: 968000 | #Constraints: 27552
1639.27/1643.49 c #Conflicts: 969000 | #Constraints: 28552
1639.27/1643.49 c #Conflicts: 970000 | #Constraints: 29552
1639.27/1643.49 c #Conflicts: 971000 | #Constraints: 30552
1639.27/1643.49 c #Conflicts: 972000 | #Constraints: 31552
1639.27/1643.49 c #Conflicts: 973000 | #Constraints: 32552
1639.27/1643.49 c bounds - >= -220 @ 1565.64
1639.27/1643.49 c #Conflicts: 974000 | #Constraints: 33553
1639.27/1643.49 c #Conflicts: 975000 | #Constraints: 34553
1639.27/1643.49 c #Conflicts: 976000 | #Constraints: 35553
1639.27/1643.49 c #Conflicts: 977000 | #Constraints: 36553
1639.27/1643.49 c #Conflicts: 978000 | #Constraints: 37553
1639.27/1643.49 c #Conflicts: 979000 | #Constraints: 38553
1639.27/1643.49 c #Conflicts: 980000 | #Constraints: 39553
1639.27/1643.49 c #Conflicts: 981000 | #Constraints: 40553
1639.27/1643.49 c INPROCESSING
1639.27/1643.49 c GARBAGE COLLECT
1639.27/1643.49 c #Conflicts: 982000 | #Constraints: 21946
1639.27/1643.49 c #Conflicts: 983000 | #Constraints: 22946
1639.27/1643.49 c #Conflicts: 984000 | #Constraints: 23946
1639.27/1643.49 c #Conflicts: 985000 | #Constraints: 24946
1639.27/1643.49 c #Conflicts: 986000 | #Constraints: 25946
1639.27/1643.49 c #Conflicts: 987000 | #Constraints: 26946
1639.27/1643.49 c #Conflicts: 988000 | #Constraints: 27946
1639.27/1643.49 c #Conflicts: 989000 | #Constraints: 28946
1639.27/1643.49 c #Conflicts: 990000 | #Constraints: 29946
1639.27/1643.49 c #Conflicts: 991000 | #Constraints: 30946
1639.27/1643.49 c #Conflicts: 992000 | #Constraints: 31946
1639.27/1643.49 c #Conflicts: 993000 | #Constraints: 32946
1639.27/1643.49 c #Conflicts: 994000 | #Constraints: 33946
1639.27/1643.49 c #Conflicts: 995000 | #Constraints: 34946
1639.27/1643.49 c #Conflicts: 996000 | #Constraints: 35946
1639.27/1643.49 c #Conflicts: 997000 | #Constraints: 36946
1639.27/1643.49 c #Conflicts: 998000 | #Constraints: 37946
1639.27/1643.49 c #Conflicts: 999000 | #Constraints: 38946
1639.27/1643.49 c #Conflicts: 1000000 | #Constraints: 39946
1639.27/1643.49 c #Conflicts: 1001000 | #Constraints: 40946
1639.27/1643.49 c INPROCESSING
1639.27/1643.49 c GARBAGE COLLECT
1639.27/1643.49 c #Conflicts: 1002000 | #Constraints: 22148
1639.27/1643.49 c #Conflicts: 1003000 | #Constraints: 23148
1639.27/1643.49 c #Conflicts: 1004000 | #Constraints: 24148
1639.27/1643.49 c #Conflicts: 1005000 | #Constraints: 25148
1639.27/1643.49 c #Conflicts: 1006000 | #Constraints: 26148
1639.27/1643.49 c #Conflicts: 1007000 | #Constraints: 27148
1639.27/1643.49 c #Conflicts: 1008000 | #Constraints: 28148
1639.27/1643.49 c #Conflicts: 1009000 | #Constraints: 29148
1639.27/1643.49 c #Conflicts: 1010000 | #Constraints: 30148
1639.27/1643.49 c #Conflicts: 1011000 | #Constraints: 31148
1639.27/1643.49 c #Conflicts: 1012000 | #Constraints: 32148
1795.89/1800.40 c #Conflicts: 1013000 | #Constraints: 33148
1795.89/1800.40 c #Conflicts: 1014000 | #Constraints: 34148
1795.89/1800.40 c #Conflicts: 1015000 | #Constraints: 35148
1795.89/1800.40 c #Conflicts: 1016000 | #Constraints: 36148
1795.89/1800.40 c #Conflicts: 1017000 | #Constraints: 37148
1795.89/1800.40 c #Conflicts: 1018000 | #Constraints: 38148
1795.89/1800.40 c #Conflicts: 1019000 | #Constraints: 39148
1795.89/1800.40 c #Conflicts: 1020000 | #Constraints: 40148
1795.89/1800.40 c #Conflicts: 1021000 | #Constraints: 41148
1795.89/1800.40 c INPROCESSING
1795.89/1800.40 c GARBAGE COLLECT
1795.89/1800.40 c #Conflicts: 1022000 | #Constraints: 22140
1795.89/1800.40 c #Conflicts: 1023000 | #Constraints: 23140
1795.89/1800.40 c #Conflicts: 1024000 | #Constraints: 24140
1795.89/1800.40 c #Conflicts: 1025000 | #Constraints: 25140
1795.89/1800.40 c #Conflicts: 1026000 | #Constraints: 26140
1795.89/1800.40 c #Conflicts: 1027000 | #Constraints: 27140
1795.89/1800.40 c #Conflicts: 1028000 | #Constraints: 28140
1795.89/1800.40 c #Conflicts: 1029000 | #Constraints: 29140
1795.89/1800.40 c #Conflicts: 1030000 | #Constraints: 30140
1795.89/1800.40 c #Conflicts: 1031000 | #Constraints: 31140
1795.89/1800.40 c #Conflicts: 1032000 | #Constraints: 32140
1795.89/1800.40 c #Conflicts: 1033000 | #Constraints: 33140
1795.89/1800.40 c #Conflicts: 1034000 | #Constraints: 34140
1795.89/1800.40 c #Conflicts: 1035000 | #Constraints: 35140
1795.89/1800.40 c #Conflicts: 1036000 | #Constraints: 36140
1795.89/1800.40 c #Conflicts: 1037000 | #Constraints: 37140
1795.89/1800.40 c #Conflicts: 1038000 | #Constraints: 38140
1795.89/1800.40 c #Conflicts: 1039000 | #Constraints: 39140
1795.89/1800.40 c #Conflicts: 1040000 | #Constraints: 40140
1795.89/1800.40 c #Conflicts: 1041000 | #Constraints: 41140
1795.89/1800.40 c INPROCESSING
1795.89/1800.40 c GARBAGE COLLECT
1795.89/1800.40 c #Conflicts: 1042000 | #Constraints: 21941
1795.89/1800.40 c #Conflicts: 1043000 | #Constraints: 22941
1795.89/1800.40 c #Conflicts: 1044000 | #Constraints: 23941
1795.89/1800.40 c #Conflicts: 1045000 | #Constraints: 24941
1795.89/1800.40 c #Conflicts: 1046000 | #Constraints: 25941
1795.89/1800.40 c #Conflicts: 1047000 | #Constraints: 26941
1795.89/1800.40 c #Conflicts: 1048000 | #Constraints: 27941
1795.89/1800.40 c #Conflicts: 1049000 | #Constraints: 28941
1795.89/1800.40 c #Conflicts: 1050000 | #Constraints: 29941
1795.89/1800.40 c #Conflicts: 1051000 | #Constraints: 30941
1795.89/1800.40 c #Conflicts: 1052000 | #Constraints: 31941
1795.89/1800.40 c #Conflicts: 1053000 | #Constraints: 32941
1795.89/1800.40 c #Conflicts: 1054000 | #Constraints: 33941
1795.89/1800.40 c #Conflicts: 1055000 | #Constraints: 34941
1795.89/1800.40 c #Conflicts: 1056000 | #Constraints: 35941
1795.89/1800.40 c #Conflicts: 1057000 | #Constraints: 36941
1795.89/1800.40 c #Conflicts: 1058000 | #Constraints: 37941
1795.89/1800.40 c #Conflicts: 1059000 | #Constraints: 38941
1795.89/1800.40 c #Conflicts: 1060000 | #Constraints: 39941
1795.89/1800.40 c #Conflicts: 1061000 | #Constraints: 40941
1795.89/1800.40 c #Conflicts: 1062000 | #Constraints: 41941
1795.89/1800.40 c INPROCESSING
1795.89/1800.40 c GARBAGE COLLECT
1795.89/1800.40 c #Conflicts: 1063000 | #Constraints: 22548
1795.89/1800.40 c #Conflicts: 1064000 | #Constraints: 23548
1795.89/1800.40 c #Conflicts: 1065000 | #Constraints: 24548
1795.89/1800.40 c #Conflicts: 1066000 | #Constraints: 25548
1795.89/1800.40 c #Conflicts: 1067000 | #Constraints: 26548
1795.89/1800.40 c #Conflicts: 1068000 | #Constraints: 27548
1795.89/1800.40 c #Conflicts: 1069000 | #Constraints: 28548
1795.89/1800.40 c #Conflicts: 1070000 | #Constraints: 29548
1795.89/1800.40 c #Conflicts: 1071000 | #Constraints: 30548
1795.89/1800.40 c #Conflicts: 1072000 | #Constraints: 31548
1795.89/1800.40 c #Conflicts: 1073000 | #Constraints: 32548
1795.89/1800.40 c #Conflicts: 1074000 | #Constraints: 33548
1795.89/1800.40 c #Conflicts: 1075000 | #Constraints: 34548
1795.89/1800.40 c #Conflicts: 1076000 | #Constraints: 35548
1795.89/1800.40 c #Conflicts: 1077000 | #Constraints: 36548
1795.89/1800.40 c #Conflicts: 1078000 | #Constraints: 37548
1795.89/1800.40 c #Conflicts: 1079000 | #Constraints: 38548
1795.89/1800.40 c #Conflicts: 1080000 | #Constraints: 39548
1795.89/1800.40 c #Conflicts: 1081000 | #Constraints: 40548
1795.89/1800.40 c #Conflicts: 1082000 | #Constraints: 41548
1795.89/1800.40 c #Conflicts: 1083000 | #Constraints: 42548
1795.89/1800.40 c INPROCESSING
1795.89/1800.40 c GARBAGE COLLECT
1795.89/1800.40 c #Conflicts: 1084000 | #Constraints: 22953
1795.89/1800.40 c #Conflicts: 1085000 | #Constraints: 23953
1795.89/1800.40 c #Conflicts: 1086000 | #Constraints: 24953
1795.89/1800.40 c #Conflicts: 1087000 | #Constraints: 25953
1795.89/1800.40 c #Conflicts: 1088000 | #Constraints: 26953
2006.58/2011.64 c #Conflicts: 1089000 | #Constraints: 27953
2006.58/2011.64 c #Conflicts: 1090000 | #Constraints: 28953
2006.58/2011.64 c #Conflicts: 1091000 | #Constraints: 29953
2006.58/2011.64 c #Conflicts: 1092000 | #Constraints: 30953
2006.58/2011.64 c #Conflicts: 1093000 | #Constraints: 31953
2006.58/2011.64 c #Conflicts: 1094000 | #Constraints: 32953
2006.58/2011.64 c #Conflicts: 1095000 | #Constraints: 33953
2006.58/2011.64 c #Conflicts: 1096000 | #Constraints: 34953
2006.58/2011.64 c #Conflicts: 1097000 | #Constraints: 35953
2006.58/2011.64 c #Conflicts: 1098000 | #Constraints: 36953
2006.58/2011.64 c #Conflicts: 1099000 | #Constraints: 37953
2006.58/2011.64 c #Conflicts: 1100000 | #Constraints: 38953
2006.58/2011.64 c #Conflicts: 1101000 | #Constraints: 39953
2006.58/2011.64 c #Conflicts: 1102000 | #Constraints: 40953
2006.58/2011.64 c #Conflicts: 1103000 | #Constraints: 41953
2006.58/2011.64 c #Conflicts: 1104000 | #Constraints: 42953
2006.58/2011.64 c INPROCESSING
2006.58/2011.64 c GARBAGE COLLECT
2006.58/2011.64 c #Conflicts: 1105000 | #Constraints: 23142
2006.58/2011.64 c #Conflicts: 1106000 | #Constraints: 24142
2006.58/2011.64 c #Conflicts: 1107000 | #Constraints: 25142
2006.58/2011.64 c #Conflicts: 1108000 | #Constraints: 26142
2006.58/2011.64 c #Conflicts: 1109000 | #Constraints: 27142
2006.58/2011.64 c #Conflicts: 1110000 | #Constraints: 28142
2006.58/2011.64 c #Conflicts: 1111000 | #Constraints: 29142
2006.58/2011.64 c #Conflicts: 1112000 | #Constraints: 30142
2006.58/2011.64 c #Conflicts: 1113000 | #Constraints: 31142
2006.58/2011.64 c #Conflicts: 1114000 | #Constraints: 32142
2006.58/2011.64 c #Conflicts: 1115000 | #Constraints: 33142
2006.58/2011.64 c #Conflicts: 1116000 | #Constraints: 34142
2006.58/2011.64 c #Conflicts: 1117000 | #Constraints: 35142
2006.58/2011.64 c #Conflicts: 1118000 | #Constraints: 36142
2006.58/2011.64 c #Conflicts: 1119000 | #Constraints: 37142
2006.58/2011.64 c #Conflicts: 1120000 | #Constraints: 38142
2006.58/2011.64 c #Conflicts: 1121000 | #Constraints: 39142
2006.58/2011.64 c #Conflicts: 1122000 | #Constraints: 40142
2006.58/2011.64 c #Conflicts: 1123000 | #Constraints: 41142
2006.58/2011.64 c #Conflicts: 1124000 | #Constraints: 42142
2006.58/2011.64 c #Conflicts: 1125000 | #Constraints: 43142
2006.58/2011.64 c INPROCESSING
2006.58/2011.64 c GARBAGE COLLECT
2006.58/2011.64 c #Conflicts: 1126000 | #Constraints: 23142
2006.58/2011.64 c #Conflicts: 1127000 | #Constraints: 24142
2006.58/2011.64 c #Conflicts: 1128000 | #Constraints: 25142
2006.58/2011.64 c #Conflicts: 1129000 | #Constraints: 26142
2006.58/2011.64 c #Conflicts: 1130000 | #Constraints: 27142
2006.58/2011.64 c #Conflicts: 1131000 | #Constraints: 28142
2006.58/2011.64 c #Conflicts: 1132000 | #Constraints: 29142
2006.58/2011.64 c #Conflicts: 1133000 | #Constraints: 30142
2006.58/2011.64 c #Conflicts: 1134000 | #Constraints: 31142
2006.58/2011.64 c #Conflicts: 1135000 | #Constraints: 32142
2006.58/2011.64 c #Conflicts: 1136000 | #Constraints: 33142
2006.58/2011.64 c #Conflicts: 1137000 | #Constraints: 34142
2006.58/2011.64 c #Conflicts: 1138000 | #Constraints: 35142
2006.58/2011.64 c #Conflicts: 1139000 | #Constraints: 36142
2006.58/2011.64 c #Conflicts: 1140000 | #Constraints: 37142
2006.58/2011.64 c #Conflicts: 1141000 | #Constraints: 38142
2006.58/2011.64 c #Conflicts: 1142000 | #Constraints: 39142
2006.58/2011.64 c #Conflicts: 1143000 | #Constraints: 40142
2006.58/2011.64 c #Conflicts: 1144000 | #Constraints: 41142
2006.58/2011.64 c #Conflicts: 1145000 | #Constraints: 42142
2006.58/2011.64 c #Conflicts: 1146000 | #Constraints: 43142
2006.58/2011.64 c INPROCESSING
2006.58/2011.64 c GARBAGE COLLECT
2006.58/2011.64 c #Conflicts: 1147000 | #Constraints: 22939
2006.58/2011.64 c #Conflicts: 1148000 | #Constraints: 23939
2006.58/2011.64 c #Conflicts: 1149000 | #Constraints: 24939
2006.58/2011.64 c #Conflicts: 1150000 | #Constraints: 25939
2006.58/2011.64 c #Conflicts: 1151000 | #Constraints: 26939
2006.58/2011.64 c #Conflicts: 1152000 | #Constraints: 27939
2006.58/2011.64 c #Conflicts: 1153000 | #Constraints: 28939
2006.58/2011.64 c #Conflicts: 1154000 | #Constraints: 29939
2006.58/2011.64 c #Conflicts: 1155000 | #Constraints: 30939
2006.58/2011.64 c #Conflicts: 1156000 | #Constraints: 31939
2006.58/2011.64 c #Conflicts: 1157000 | #Constraints: 32939
2006.58/2011.64 c #Conflicts: 1158000 | #Constraints: 33939
2006.58/2011.64 c #Conflicts: 1159000 | #Constraints: 34939
2006.58/2011.64 c #Conflicts: 1160000 | #Constraints: 35939
2006.58/2011.64 c #Conflicts: 1161000 | #Constraints: 36939
2006.58/2011.64 c #Conflicts: 1162000 | #Constraints: 37939
2006.58/2011.64 c #Conflicts: 1163000 | #Constraints: 38939
2006.58/2011.64 c #Conflicts: 1164000 | #Constraints: 39939
2006.58/2011.64 c #Conflicts: 1165000 | #Constraints: 40939
2174.00/2179.47 c #Conflicts: 1166000 | #Constraints: 41939
2174.00/2179.47 c #Conflicts: 1167000 | #Constraints: 42939
2174.00/2179.47 c #Conflicts: 1168000 | #Constraints: 43939
2174.00/2179.47 c INPROCESSING
2174.00/2179.47 c GARBAGE COLLECT
2174.00/2179.47 c #Conflicts: 1169000 | #Constraints: 23532
2174.00/2179.47 c #Conflicts: 1170000 | #Constraints: 24532
2174.00/2179.47 c #Conflicts: 1171000 | #Constraints: 25532
2174.00/2179.47 c #Conflicts: 1172000 | #Constraints: 26532
2174.00/2179.47 c #Conflicts: 1173000 | #Constraints: 27532
2174.00/2179.47 c #Conflicts: 1174000 | #Constraints: 28532
2174.00/2179.47 c #Conflicts: 1175000 | #Constraints: 29532
2174.00/2179.47 c #Conflicts: 1176000 | #Constraints: 30532
2174.00/2179.47 c #Conflicts: 1177000 | #Constraints: 31532
2174.00/2179.47 c #Conflicts: 1178000 | #Constraints: 32532
2174.00/2179.47 c #Conflicts: 1179000 | #Constraints: 33532
2174.00/2179.47 c #Conflicts: 1180000 | #Constraints: 34532
2174.00/2179.47 c #Conflicts: 1181000 | #Constraints: 35532
2174.00/2179.47 c #Conflicts: 1182000 | #Constraints: 36532
2174.00/2179.47 c #Conflicts: 1183000 | #Constraints: 37532
2174.00/2179.47 c #Conflicts: 1184000 | #Constraints: 38532
2174.00/2179.47 c #Conflicts: 1185000 | #Constraints: 39532
2174.00/2179.47 c #Conflicts: 1186000 | #Constraints: 40532
2174.00/2179.47 c #Conflicts: 1187000 | #Constraints: 41532
2174.00/2179.47 c #Conflicts: 1188000 | #Constraints: 42532
2174.00/2179.47 c #Conflicts: 1189000 | #Constraints: 43532
2174.00/2179.47 c #Conflicts: 1190000 | #Constraints: 44532
2174.00/2179.47 c INPROCESSING
2174.00/2179.47 c GARBAGE COLLECT
2174.00/2179.47 c #Conflicts: 1191000 | #Constraints: 23937
2174.00/2179.47 c #Conflicts: 1192000 | #Constraints: 24937
2174.00/2179.47 c #Conflicts: 1193000 | #Constraints: 25937
2174.00/2179.47 c #Conflicts: 1194000 | #Constraints: 26937
2174.00/2179.47 c #Conflicts: 1195000 | #Constraints: 27937
2174.00/2179.47 c #Conflicts: 1196000 | #Constraints: 28937
2174.00/2179.47 c #Conflicts: 1197000 | #Constraints: 29937
2174.00/2179.47 c #Conflicts: 1198000 | #Constraints: 30937
2174.00/2179.47 c #Conflicts: 1199000 | #Constraints: 31937
2174.00/2179.47 c #Conflicts: 1200000 | #Constraints: 32937
2174.00/2179.47 c #Conflicts: 1201000 | #Constraints: 33937
2174.00/2179.47 c #Conflicts: 1202000 | #Constraints: 34937
2174.00/2179.47 c #Conflicts: 1203000 | #Constraints: 35937
2174.00/2179.47 c #Conflicts: 1204000 | #Constraints: 36937
2174.00/2179.47 c #Conflicts: 1205000 | #Constraints: 37937
2174.00/2179.47 c #Conflicts: 1206000 | #Constraints: 38937
2174.00/2179.47 c #Conflicts: 1207000 | #Constraints: 39937
2174.00/2179.47 c #Conflicts: 1208000 | #Constraints: 40937
2174.00/2179.47 c #Conflicts: 1209000 | #Constraints: 41937
2174.00/2179.47 c #Conflicts: 1210000 | #Constraints: 42937
2174.00/2179.47 c #Conflicts: 1211000 | #Constraints: 43937
2174.00/2179.47 c #Conflicts: 1212000 | #Constraints: 44937
2174.00/2179.47 c INPROCESSING
2174.00/2179.47 c GARBAGE COLLECT
2174.00/2179.47 c #Conflicts: 1213000 | #Constraints: 24130
2174.00/2179.47 c #Conflicts: 1214000 | #Constraints: 25130
2174.00/2179.47 c #Conflicts: 1215000 | #Constraints: 26130
2174.00/2179.47 c #Conflicts: 1216000 | #Constraints: 27130
2174.00/2179.47 c #Conflicts: 1217000 | #Constraints: 28130
2174.00/2179.47 c #Conflicts: 1218000 | #Constraints: 29130
2174.00/2179.47 c #Conflicts: 1219000 | #Constraints: 30130
2174.00/2179.47 c #Conflicts: 1220000 | #Constraints: 31130
2174.00/2179.47 c #Conflicts: 1221000 | #Constraints: 32130
2174.00/2179.47 c #Conflicts: 1222000 | #Constraints: 33130
2174.00/2179.47 c #Conflicts: 1223000 | #Constraints: 34130
2174.00/2179.47 c #Conflicts: 1224000 | #Constraints: 35130
2174.00/2179.47 c #Conflicts: 1225000 | #Constraints: 36130
2174.00/2179.47 c #Conflicts: 1226000 | #Constraints: 37130
2174.00/2179.47 c #Conflicts: 1227000 | #Constraints: 38130
2174.00/2179.47 c #Conflicts: 1228000 | #Constraints: 39130
2174.00/2179.47 c #Conflicts: 1229000 | #Constraints: 40130
2174.00/2179.47 c #Conflicts: 1230000 | #Constraints: 41130
2174.00/2179.47 c #Conflicts: 1231000 | #Constraints: 42130
2174.00/2179.47 c #Conflicts: 1232000 | #Constraints: 43130
2174.00/2179.47 c #Conflicts: 1233000 | #Constraints: 44130
2174.00/2179.47 c #Conflicts: 1234000 | #Constraints: 45130
2174.00/2179.47 c INPROCESSING
2174.00/2179.47 c GARBAGE COLLECT
2174.00/2179.47 c #Conflicts: 1235000 | #Constraints: 24128
2174.00/2179.47 c #Conflicts: 1236000 | #Constraints: 25128
2174.00/2179.47 c #Conflicts: 1237000 | #Constraints: 26128
2174.00/2179.47 c #Conflicts: 1238000 | #Constraints: 27128
2174.00/2179.47 c #Conflicts: 1239000 | #Constraints: 28128
2174.00/2179.47 c #Conflicts: 1240000 | #Constraints: 29128
2174.00/2179.47 c #Conflicts: 1241000 | #Constraints: 30128
2380.54/2386.46 c #Conflicts: 1242000 | #Constraints: 31128
2380.54/2386.46 c #Conflicts: 1243000 | #Constraints: 32128
2380.54/2386.46 c #Conflicts: 1244000 | #Constraints: 33128
2380.54/2386.46 c #Conflicts: 1245000 | #Constraints: 34128
2380.54/2386.46 c #Conflicts: 1246000 | #Constraints: 35128
2380.54/2386.46 c #Conflicts: 1247000 | #Constraints: 36128
2380.54/2386.46 c #Conflicts: 1248000 | #Constraints: 37128
2380.54/2386.46 c #Conflicts: 1249000 | #Constraints: 38128
2380.54/2386.46 c #Conflicts: 1250000 | #Constraints: 39128
2380.54/2386.46 c #Conflicts: 1251000 | #Constraints: 40128
2380.54/2386.46 c #Conflicts: 1252000 | #Constraints: 41128
2380.54/2386.46 c #Conflicts: 1253000 | #Constraints: 42128
2380.54/2386.46 c #Conflicts: 1254000 | #Constraints: 43128
2380.54/2386.46 c #Conflicts: 1255000 | #Constraints: 44128
2380.54/2386.46 c #Conflicts: 1256000 | #Constraints: 45128
2380.54/2386.46 c INPROCESSING
2380.54/2386.46 c GARBAGE COLLECT
2380.54/2386.46 c #Conflicts: 1257000 | #Constraints: 23928
2380.54/2386.46 c #Conflicts: 1258000 | #Constraints: 24928
2380.54/2386.46 c #Conflicts: 1259000 | #Constraints: 25928
2380.54/2386.46 c #Conflicts: 1260000 | #Constraints: 26928
2380.54/2386.46 c #Conflicts: 1261000 | #Constraints: 27928
2380.54/2386.46 c #Conflicts: 1262000 | #Constraints: 28928
2380.54/2386.46 c #Conflicts: 1263000 | #Constraints: 29928
2380.54/2386.46 c #Conflicts: 1264000 | #Constraints: 30928
2380.54/2386.46 c #Conflicts: 1265000 | #Constraints: 31928
2380.54/2386.46 c #Conflicts: 1266000 | #Constraints: 32928
2380.54/2386.46 c #Conflicts: 1267000 | #Constraints: 33928
2380.54/2386.46 c #Conflicts: 1268000 | #Constraints: 34928
2380.54/2386.46 c #Conflicts: 1269000 | #Constraints: 35928
2380.54/2386.46 c #Conflicts: 1270000 | #Constraints: 36928
2380.54/2386.46 c #Conflicts: 1271000 | #Constraints: 37928
2380.54/2386.46 c #Conflicts: 1272000 | #Constraints: 38928
2380.54/2386.46 c #Conflicts: 1273000 | #Constraints: 39928
2380.54/2386.46 c #Conflicts: 1274000 | #Constraints: 40928
2380.54/2386.46 c #Conflicts: 1275000 | #Constraints: 41928
2380.54/2386.46 c #Conflicts: 1276000 | #Constraints: 42928
2380.54/2386.46 c #Conflicts: 1277000 | #Constraints: 43928
2380.54/2386.46 c #Conflicts: 1278000 | #Constraints: 44928
2380.54/2386.46 c #Conflicts: 1279000 | #Constraints: 45928
2380.54/2386.46 c INPROCESSING
2380.54/2386.46 c GARBAGE COLLECT
2380.54/2386.46 c #Conflicts: 1280000 | #Constraints: 24533
2380.54/2386.46 c #Conflicts: 1281000 | #Constraints: 25533
2380.54/2386.46 c #Conflicts: 1282000 | #Constraints: 26533
2380.54/2386.46 c #Conflicts: 1283000 | #Constraints: 27533
2380.54/2386.46 c #Conflicts: 1284000 | #Constraints: 28533
2380.54/2386.46 c #Conflicts: 1285000 | #Constraints: 29533
2380.54/2386.46 c #Conflicts: 1286000 | #Constraints: 30533
2380.54/2386.46 c #Conflicts: 1287000 | #Constraints: 31533
2380.54/2386.46 c #Conflicts: 1288000 | #Constraints: 32533
2380.54/2386.46 c #Conflicts: 1289000 | #Constraints: 33533
2380.54/2386.46 c #Conflicts: 1290000 | #Constraints: 34533
2380.54/2386.46 c #Conflicts: 1291000 | #Constraints: 35533
2380.54/2386.46 c #Conflicts: 1292000 | #Constraints: 36533
2380.54/2386.46 c #Conflicts: 1293000 | #Constraints: 37533
2380.54/2386.46 c #Conflicts: 1294000 | #Constraints: 38533
2380.54/2386.46 c #Conflicts: 1295000 | #Constraints: 39533
2380.54/2386.46 c #Conflicts: 1296000 | #Constraints: 40533
2380.54/2386.46 c #Conflicts: 1297000 | #Constraints: 41533
2380.54/2386.46 c #Conflicts: 1298000 | #Constraints: 42533
2380.54/2386.46 c #Conflicts: 1299000 | #Constraints: 43533
2380.54/2386.46 c #Conflicts: 1300000 | #Constraints: 44533
2380.54/2386.46 c #Conflicts: 1301000 | #Constraints: 45533
2380.54/2386.46 c #Conflicts: 1302000 | #Constraints: 46533
2380.54/2386.46 c INPROCESSING
2380.54/2386.46 c GARBAGE COLLECT
2380.54/2386.46 c #Conflicts: 1303000 | #Constraints: 24931
2380.54/2386.46 c #Conflicts: 1304000 | #Constraints: 25931
2380.54/2386.46 c #Conflicts: 1305000 | #Constraints: 26931
2380.54/2386.46 c #Conflicts: 1306000 | #Constraints: 27931
2380.54/2386.46 c #Conflicts: 1307000 | #Constraints: 28931
2380.54/2386.46 c #Conflicts: 1308000 | #Constraints: 29931
2380.54/2386.46 c #Conflicts: 1309000 | #Constraints: 30931
2380.54/2386.46 c #Conflicts: 1310000 | #Constraints: 31931
2380.54/2386.46 c #Conflicts: 1311000 | #Constraints: 32931
2380.54/2386.46 c #Conflicts: 1312000 | #Constraints: 33931
2380.54/2386.46 c #Conflicts: 1313000 | #Constraints: 34931
2380.54/2386.46 c #Conflicts: 1314000 | #Constraints: 35931
2380.54/2386.46 c #Conflicts: 1315000 | #Constraints: 36931
2380.54/2386.46 c #Conflicts: 1316000 | #Constraints: 37931
2380.54/2386.46 c #Conflicts: 1317000 | #Constraints: 38931
2380.54/2386.46 c #Conflicts: 1318000 | #Constraints: 39931
2610.01/2616.48 c #Conflicts: 1319000 | #Constraints: 40931
2610.01/2616.48 c #Conflicts: 1320000 | #Constraints: 41931
2610.01/2616.48 c #Conflicts: 1321000 | #Constraints: 42931
2610.01/2616.48 c #Conflicts: 1322000 | #Constraints: 43931
2610.01/2616.48 c #Conflicts: 1323000 | #Constraints: 44931
2610.01/2616.48 c #Conflicts: 1324000 | #Constraints: 45931
2610.01/2616.48 c #Conflicts: 1325000 | #Constraints: 46931
2610.01/2616.48 c INPROCESSING
2610.01/2616.48 c GARBAGE COLLECT
2610.01/2616.48 c #Conflicts: 1326000 | #Constraints: 25127
2610.01/2616.48 c #Conflicts: 1327000 | #Constraints: 26127
2610.01/2616.48 c #Conflicts: 1328000 | #Constraints: 27127
2610.01/2616.48 c #Conflicts: 1329000 | #Constraints: 28127
2610.01/2616.48 c #Conflicts: 1330000 | #Constraints: 29127
2610.01/2616.48 c #Conflicts: 1331000 | #Constraints: 30127
2610.01/2616.48 c #Conflicts: 1332000 | #Constraints: 31127
2610.01/2616.48 c #Conflicts: 1333000 | #Constraints: 32127
2610.01/2616.48 c #Conflicts: 1334000 | #Constraints: 33127
2610.01/2616.48 c #Conflicts: 1335000 | #Constraints: 34127
2610.01/2616.48 c #Conflicts: 1336000 | #Constraints: 35127
2610.01/2616.48 c #Conflicts: 1337000 | #Constraints: 36127
2610.01/2616.48 c #Conflicts: 1338000 | #Constraints: 37127
2610.01/2616.48 c #Conflicts: 1339000 | #Constraints: 38127
2610.01/2616.48 c #Conflicts: 1340000 | #Constraints: 39127
2610.01/2616.48 c #Conflicts: 1341000 | #Constraints: 40127
2610.01/2616.48 c #Conflicts: 1342000 | #Constraints: 41127
2610.01/2616.48 c #Conflicts: 1343000 | #Constraints: 42127
2610.01/2616.48 c #Conflicts: 1344000 | #Constraints: 43127
2610.01/2616.48 c #Conflicts: 1345000 | #Constraints: 44127
2610.01/2616.48 c #Conflicts: 1346000 | #Constraints: 45127
2610.01/2616.48 c #Conflicts: 1347000 | #Constraints: 46127
2610.01/2616.48 c #Conflicts: 1348000 | #Constraints: 47127
2610.01/2616.48 c INPROCESSING
2610.01/2616.48 c GARBAGE COLLECT
2610.01/2616.48 c #Conflicts: 1349000 | #Constraints: 25119
2610.01/2616.48 c #Conflicts: 1350000 | #Constraints: 26119
2610.01/2616.48 c #Conflicts: 1351000 | #Constraints: 27119
2610.01/2616.48 c #Conflicts: 1352000 | #Constraints: 28119
2610.01/2616.48 c #Conflicts: 1353000 | #Constraints: 29119
2610.01/2616.48 c #Conflicts: 1354000 | #Constraints: 30119
2610.01/2616.48 c #Conflicts: 1355000 | #Constraints: 31119
2610.01/2616.48 c #Conflicts: 1356000 | #Constraints: 32119
2610.01/2616.48 c #Conflicts: 1357000 | #Constraints: 33119
2610.01/2616.48 c #Conflicts: 1358000 | #Constraints: 34119
2610.01/2616.48 c #Conflicts: 1359000 | #Constraints: 35119
2610.01/2616.48 c #Conflicts: 1360000 | #Constraints: 36119
2610.01/2616.48 c #Conflicts: 1361000 | #Constraints: 37119
2610.01/2616.48 c #Conflicts: 1362000 | #Constraints: 38119
2610.01/2616.48 c #Conflicts: 1363000 | #Constraints: 39119
2610.01/2616.48 c #Conflicts: 1364000 | #Constraints: 40119
2610.01/2616.48 c #Conflicts: 1365000 | #Constraints: 41119
2610.01/2616.48 c #Conflicts: 1366000 | #Constraints: 42119
2610.01/2616.48 c #Conflicts: 1367000 | #Constraints: 43119
2610.01/2616.48 c #Conflicts: 1368000 | #Constraints: 44119
2610.01/2616.48 c #Conflicts: 1369000 | #Constraints: 45119
2610.01/2616.48 c #Conflicts: 1370000 | #Constraints: 46119
2610.01/2616.48 c #Conflicts: 1371000 | #Constraints: 47119
2610.01/2616.48 c INPROCESSING
2610.01/2616.48 c GARBAGE COLLECT
2610.01/2616.48 c #Conflicts: 1372000 | #Constraints: 24917
2610.01/2616.48 c #Conflicts: 1373000 | #Constraints: 25917
2610.01/2616.48 c #Conflicts: 1374000 | #Constraints: 26917
2610.01/2616.48 c #Conflicts: 1375000 | #Constraints: 27917
2610.01/2616.48 c #Conflicts: 1376000 | #Constraints: 28917
2610.01/2616.48 c #Conflicts: 1377000 | #Constraints: 29917
2610.01/2616.48 c #Conflicts: 1378000 | #Constraints: 30917
2610.01/2616.48 c #Conflicts: 1379000 | #Constraints: 31917
2610.01/2616.48 c #Conflicts: 1380000 | #Constraints: 32917
2610.01/2616.48 c #Conflicts: 1381000 | #Constraints: 33917
2610.01/2616.48 c #Conflicts: 1382000 | #Constraints: 34917
2610.01/2616.48 c #Conflicts: 1383000 | #Constraints: 35917
2610.01/2616.48 c #Conflicts: 1384000 | #Constraints: 36917
2610.01/2616.48 c #Conflicts: 1385000 | #Constraints: 37917
2610.01/2616.48 c #Conflicts: 1386000 | #Constraints: 38917
2610.01/2616.48 c #Conflicts: 1387000 | #Constraints: 39917
2610.01/2616.48 c #Conflicts: 1388000 | #Constraints: 40917
2610.01/2616.48 c #Conflicts: 1389000 | #Constraints: 41917
2610.01/2616.48 c #Conflicts: 1390000 | #Constraints: 42917
2610.01/2616.48 c #Conflicts: 1391000 | #Constraints: 43917
2610.01/2616.48 c #Conflicts: 1392000 | #Constraints: 44917
2610.01/2616.48 c #Conflicts: 1393000 | #Constraints: 45917
2610.01/2616.48 c #Conflicts: 1394000 | #Constraints: 46917
2610.01/2616.48 c #Conflicts: 1395000 | #Constraints: 47917
2890.89/2897.97 c INPROCESSING
2890.89/2897.97 c GARBAGE COLLECT
2890.89/2897.97 c #Conflicts: 1396000 | #Constraints: 25512
2890.89/2897.97 c #Conflicts: 1397000 | #Constraints: 26512
2890.89/2897.97 c #Conflicts: 1398000 | #Constraints: 27512
2890.89/2897.97 c #Conflicts: 1399000 | #Constraints: 28512
2890.89/2897.97 c #Conflicts: 1400000 | #Constraints: 29512
2890.89/2897.97 c #Conflicts: 1401000 | #Constraints: 30512
2890.89/2897.97 c #Conflicts: 1402000 | #Constraints: 31512
2890.89/2897.97 c #Conflicts: 1403000 | #Constraints: 32512
2890.89/2897.97 c #Conflicts: 1404000 | #Constraints: 33512
2890.89/2897.97 c #Conflicts: 1405000 | #Constraints: 34512
2890.89/2897.97 c #Conflicts: 1406000 | #Constraints: 35512
2890.89/2897.97 c #Conflicts: 1407000 | #Constraints: 36512
2890.89/2897.97 c #Conflicts: 1408000 | #Constraints: 37512
2890.89/2897.97 c #Conflicts: 1409000 | #Constraints: 38512
2890.89/2897.97 c #Conflicts: 1410000 | #Constraints: 39512
2890.89/2897.97 c #Conflicts: 1411000 | #Constraints: 40512
2890.89/2897.97 c #Conflicts: 1412000 | #Constraints: 41512
2890.89/2897.97 c #Conflicts: 1413000 | #Constraints: 42512
2890.89/2897.97 c #Conflicts: 1414000 | #Constraints: 43512
2890.89/2897.97 c #Conflicts: 1415000 | #Constraints: 44512
2890.89/2897.97 c #Conflicts: 1416000 | #Constraints: 45512
2890.89/2897.97 c #Conflicts: 1417000 | #Constraints: 46512
2890.89/2897.97 c #Conflicts: 1418000 | #Constraints: 47512
2890.89/2897.97 c #Conflicts: 1419000 | #Constraints: 48512
2890.89/2897.97 c INPROCESSING
2890.89/2897.97 c GARBAGE COLLECT
2890.89/2897.97 c #Conflicts: 1420000 | #Constraints: 25917
2890.89/2897.97 c #Conflicts: 1421000 | #Constraints: 26917
2890.89/2897.97 c #Conflicts: 1422000 | #Constraints: 27917
2890.89/2897.97 c #Conflicts: 1423000 | #Constraints: 28917
2890.89/2897.97 c #Conflicts: 1424000 | #Constraints: 29917
2890.89/2897.97 c #Conflicts: 1425000 | #Constraints: 30917
2890.89/2897.97 c #Conflicts: 1426000 | #Constraints: 31917
2890.89/2897.97 c #Conflicts: 1427000 | #Constraints: 32917
2890.89/2897.97 c #Conflicts: 1428000 | #Constraints: 33917
2890.89/2897.97 c #Conflicts: 1429000 | #Constraints: 34917
2890.89/2897.97 c #Conflicts: 1430000 | #Constraints: 35917
2890.89/2897.97 c #Conflicts: 1431000 | #Constraints: 36917
2890.89/2897.97 c #Conflicts: 1432000 | #Constraints: 37917
2890.89/2897.97 c #Conflicts: 1433000 | #Constraints: 38917
2890.89/2897.97 c #Conflicts: 1434000 | #Constraints: 39917
2890.89/2897.97 c #Conflicts: 1435000 | #Constraints: 40917
2890.89/2897.97 c #Conflicts: 1436000 | #Constraints: 41917
2890.89/2897.97 c #Conflicts: 1437000 | #Constraints: 42917
2890.89/2897.97 c #Conflicts: 1438000 | #Constraints: 43917
2890.89/2897.97 c #Conflicts: 1439000 | #Constraints: 44917
2890.89/2897.97 c #Conflicts: 1440000 | #Constraints: 45917
2890.89/2897.97 c #Conflicts: 1441000 | #Constraints: 46917
2890.89/2897.97 c #Conflicts: 1442000 | #Constraints: 47917
2890.89/2897.97 c #Conflicts: 1443000 | #Constraints: 48917
2890.89/2897.97 c INPROCESSING
2890.89/2897.97 c GARBAGE COLLECT
2890.89/2897.97 c #Conflicts: 1444000 | #Constraints: 26124
2890.89/2897.97 c #Conflicts: 1445000 | #Constraints: 27124
2890.89/2897.97 c #Conflicts: 1446000 | #Constraints: 28124
2890.89/2897.97 c #Conflicts: 1447000 | #Constraints: 29124
2890.89/2897.97 c #Conflicts: 1448000 | #Constraints: 30124
2890.89/2897.97 c #Conflicts: 1449000 | #Constraints: 31124
2890.89/2897.97 c #Conflicts: 1450000 | #Constraints: 32124
2890.89/2897.97 c #Conflicts: 1451000 | #Constraints: 33124
2890.89/2897.97 c #Conflicts: 1452000 | #Constraints: 34124
2890.89/2897.97 c #Conflicts: 1453000 | #Constraints: 35124
2890.89/2897.97 c #Conflicts: 1454000 | #Constraints: 36124
2890.89/2897.97 c #Conflicts: 1455000 | #Constraints: 37124
2890.89/2897.97 c #Conflicts: 1456000 | #Constraints: 38124
2890.89/2897.97 c #Conflicts: 1457000 | #Constraints: 39124
2890.89/2897.97 c #Conflicts: 1458000 | #Constraints: 40124
2890.89/2897.97 c #Conflicts: 1459000 | #Constraints: 41124
2890.89/2897.97 c #Conflicts: 1460000 | #Constraints: 42124
2890.89/2897.97 c #Conflicts: 1461000 | #Constraints: 43124
2890.89/2897.97 c #Conflicts: 1462000 | #Constraints: 44124
2890.89/2897.97 c #Conflicts: 1463000 | #Constraints: 45124
2890.89/2897.97 c #Conflicts: 1464000 | #Constraints: 46124
2890.89/2897.97 c #Conflicts: 1465000 | #Constraints: 47124
2890.89/2897.97 c #Conflicts: 1466000 | #Constraints: 48124
2890.89/2897.97 c #Conflicts: 1467000 | #Constraints: 49124
2890.89/2897.97 c INPROCESSING
2890.89/2897.97 c GARBAGE COLLECT
2890.89/2897.97 c #Conflicts: 1468000 | #Constraints: 26122
2890.89/2897.97 c #Conflicts: 1469000 | #Constraints: 27122
2890.89/2897.97 c #Conflicts: 1470000 | #Constraints: 28122
2890.89/2897.97 c #Conflicts: 1471000 | #Constraints: 29122
3179.33/3187.06 c #Conflicts: 1472000 | #Constraints: 30122
3179.33/3187.06 c #Conflicts: 1473000 | #Constraints: 31122
3179.33/3187.06 c #Conflicts: 1474000 | #Constraints: 32122
3179.33/3187.06 c #Conflicts: 1475000 | #Constraints: 33122
3179.33/3187.06 c #Conflicts: 1476000 | #Constraints: 34122
3179.33/3187.06 c #Conflicts: 1477000 | #Constraints: 35122
3179.33/3187.06 c #Conflicts: 1478000 | #Constraints: 36122
3179.33/3187.06 c #Conflicts: 1479000 | #Constraints: 37122
3179.33/3187.06 c #Conflicts: 1480000 | #Constraints: 38122
3179.33/3187.06 c #Conflicts: 1481000 | #Constraints: 39122
3179.33/3187.06 c #Conflicts: 1482000 | #Constraints: 40122
3179.33/3187.06 c #Conflicts: 1483000 | #Constraints: 41122
3179.33/3187.06 c #Conflicts: 1484000 | #Constraints: 42122
3179.33/3187.06 c #Conflicts: 1485000 | #Constraints: 43122
3179.33/3187.06 c #Conflicts: 1486000 | #Constraints: 44122
3179.33/3187.06 c #Conflicts: 1487000 | #Constraints: 45122
3179.33/3187.06 c #Conflicts: 1488000 | #Constraints: 46122
3179.33/3187.06 c #Conflicts: 1489000 | #Constraints: 47122
3179.33/3187.06 c #Conflicts: 1490000 | #Constraints: 48122
3179.33/3187.06 c #Conflicts: 1491000 | #Constraints: 49122
3179.33/3187.06 c INPROCESSING
3179.33/3187.06 c GARBAGE COLLECT
3179.33/3187.06 c #Conflicts: 1492000 | #Constraints: 25914
3179.33/3187.06 c #Conflicts: 1493000 | #Constraints: 26914
3179.33/3187.06 c #Conflicts: 1494000 | #Constraints: 27914
3179.33/3187.06 c #Conflicts: 1495000 | #Constraints: 28914
3179.33/3187.06 c #Conflicts: 1496000 | #Constraints: 29914
3179.33/3187.06 c #Conflicts: 1497000 | #Constraints: 30914
3179.33/3187.06 c #Conflicts: 1498000 | #Constraints: 31914
3179.33/3187.06 c #Conflicts: 1499000 | #Constraints: 32914
3179.33/3187.06 c #Conflicts: 1500000 | #Constraints: 33914
3179.33/3187.06 c #Conflicts: 1501000 | #Constraints: 34914
3179.33/3187.06 c #Conflicts: 1502000 | #Constraints: 35914
3179.33/3187.06 c #Conflicts: 1503000 | #Constraints: 36914
3179.33/3187.06 c #Conflicts: 1504000 | #Constraints: 37914
3179.33/3187.06 c #Conflicts: 1505000 | #Constraints: 38914
3179.33/3187.06 c #Conflicts: 1506000 | #Constraints: 39914
3179.33/3187.06 c #Conflicts: 1507000 | #Constraints: 40914
3179.33/3187.06 c #Conflicts: 1508000 | #Constraints: 41914
3179.33/3187.06 c #Conflicts: 1509000 | #Constraints: 42914
3179.33/3187.06 c #Conflicts: 1510000 | #Constraints: 43914
3179.33/3187.06 c #Conflicts: 1511000 | #Constraints: 44914
3179.33/3187.06 c #Conflicts: 1512000 | #Constraints: 45914
3179.33/3187.06 c #Conflicts: 1513000 | #Constraints: 46914
3179.33/3187.06 c #Conflicts: 1514000 | #Constraints: 47914
3179.33/3187.06 c #Conflicts: 1515000 | #Constraints: 48914
3179.33/3187.06 c #Conflicts: 1516000 | #Constraints: 49914
3179.33/3187.06 c INPROCESSING
3179.33/3187.06 c GARBAGE COLLECT
3179.33/3187.06 c #Conflicts: 1517000 | #Constraints: 26519
3179.33/3187.06 c #Conflicts: 1518000 | #Constraints: 27519
3179.33/3187.06 c #Conflicts: 1519000 | #Constraints: 28519
3179.33/3187.06 c #Conflicts: 1520000 | #Constraints: 29519
3179.33/3187.06 c #Conflicts: 1521000 | #Constraints: 30519
3179.33/3187.06 c #Conflicts: 1522000 | #Constraints: 31519
3179.33/3187.06 c #Conflicts: 1523000 | #Constraints: 32519
3179.33/3187.06 c #Conflicts: 1524000 | #Constraints: 33519
3179.33/3187.06 c #Conflicts: 1525000 | #Constraints: 34519
3179.33/3187.06 c #Conflicts: 1526000 | #Constraints: 35519
3179.33/3187.06 c #Conflicts: 1527000 | #Constraints: 36519
3179.33/3187.06 c #Conflicts: 1528000 | #Constraints: 37519
3179.33/3187.06 c #Conflicts: 1529000 | #Constraints: 38519
3179.33/3187.06 c #Conflicts: 1530000 | #Constraints: 39519
3179.33/3187.06 c #Conflicts: 1531000 | #Constraints: 40519
3179.33/3187.06 c #Conflicts: 1532000 | #Constraints: 41519
3179.33/3187.06 c #Conflicts: 1533000 | #Constraints: 42519
3179.33/3187.06 c #Conflicts: 1534000 | #Constraints: 43519
3179.33/3187.06 c #Conflicts: 1535000 | #Constraints: 44519
3179.33/3187.06 c #Conflicts: 1536000 | #Constraints: 45519
3179.33/3187.06 c #Conflicts: 1537000 | #Constraints: 46519
3179.33/3187.06 c #Conflicts: 1538000 | #Constraints: 47519
3179.33/3187.06 c #Conflicts: 1539000 | #Constraints: 48519
3179.33/3187.06 c #Conflicts: 1540000 | #Constraints: 49519
3179.33/3187.06 c #Conflicts: 1541000 | #Constraints: 50519
3179.33/3187.06 c INPROCESSING
3179.33/3187.06 c GARBAGE COLLECT
3179.33/3187.06 c #Conflicts: 1542000 | #Constraints: 26922
3179.33/3187.06 c #Conflicts: 1543000 | #Constraints: 27922
3179.33/3187.06 c #Conflicts: 1544000 | #Constraints: 28922
3179.33/3187.06 c #Conflicts: 1545000 | #Constraints: 29922
3179.33/3187.06 c #Conflicts: 1546000 | #Constraints: 30922
3179.33/3187.06 c #Conflicts: 1547000 | #Constraints: 31922
3179.33/3187.06 c #Conflicts: 1548000 | #Constraints: 32922
3512.18/3520.64 c #Conflicts: 1549000 | #Constraints: 33922
3512.18/3520.64 c #Conflicts: 1550000 | #Constraints: 34922
3512.18/3520.64 c #Conflicts: 1551000 | #Constraints: 35922
3512.18/3520.64 c #Conflicts: 1552000 | #Constraints: 36922
3512.18/3520.64 c #Conflicts: 1553000 | #Constraints: 37922
3512.18/3520.64 c #Conflicts: 1554000 | #Constraints: 38922
3512.18/3520.64 c #Conflicts: 1555000 | #Constraints: 39922
3512.18/3520.64 c #Conflicts: 1556000 | #Constraints: 40922
3512.18/3520.64 c #Conflicts: 1557000 | #Constraints: 41922
3512.18/3520.64 c #Conflicts: 1558000 | #Constraints: 42922
3512.18/3520.64 c #Conflicts: 1559000 | #Constraints: 43922
3512.18/3520.64 c #Conflicts: 1560000 | #Constraints: 44922
3512.18/3520.64 c #Conflicts: 1561000 | #Constraints: 45922
3512.18/3520.64 c #Conflicts: 1562000 | #Constraints: 46922
3512.18/3520.64 c #Conflicts: 1563000 | #Constraints: 47922
3512.18/3520.64 c #Conflicts: 1564000 | #Constraints: 48922
3512.18/3520.64 c #Conflicts: 1565000 | #Constraints: 49922
3512.18/3520.64 c #Conflicts: 1566000 | #Constraints: 50922
3512.18/3520.64 c INPROCESSING
3512.18/3520.64 c GARBAGE COLLECT
3512.18/3520.64 c #Conflicts: 1567000 | #Constraints: 27136
3512.18/3520.65 c #Conflicts: 1568000 | #Constraints: 28136
3512.18/3520.65 c #Conflicts: 1569000 | #Constraints: 29136
3512.18/3520.65 c #Conflicts: 1570000 | #Constraints: 30136
3512.18/3520.65 c #Conflicts: 1571000 | #Constraints: 31136
3512.18/3520.65 c #Conflicts: 1572000 | #Constraints: 32136
3512.18/3520.65 c #Conflicts: 1573000 | #Constraints: 33136
3512.18/3520.65 c #Conflicts: 1574000 | #Constraints: 34136
3512.18/3520.65 c #Conflicts: 1575000 | #Constraints: 35136
3512.18/3520.65 c #Conflicts: 1576000 | #Constraints: 36136
3512.18/3520.65 c #Conflicts: 1577000 | #Constraints: 37136
3512.18/3520.65 c #Conflicts: 1578000 | #Constraints: 38136
3512.18/3520.65 c #Conflicts: 1579000 | #Constraints: 39136
3512.18/3520.65 c #Conflicts: 1580000 | #Constraints: 40136
3512.18/3520.65 c #Conflicts: 1581000 | #Constraints: 41136
3512.18/3520.65 c #Conflicts: 1582000 | #Constraints: 42136
3512.18/3520.65 c #Conflicts: 1583000 | #Constraints: 43136
3512.18/3520.65 c #Conflicts: 1584000 | #Constraints: 44136
3512.18/3520.65 c #Conflicts: 1585000 | #Constraints: 45136
3512.18/3520.65 c #Conflicts: 1586000 | #Constraints: 46136
3512.18/3520.65 c #Conflicts: 1587000 | #Constraints: 47136
3512.18/3520.65 c #Conflicts: 1588000 | #Constraints: 48136
3512.18/3520.65 c #Conflicts: 1589000 | #Constraints: 49136
3512.18/3520.65 c #Conflicts: 1590000 | #Constraints: 50136
3512.18/3520.65 c #Conflicts: 1591000 | #Constraints: 51136
3512.18/3520.65 c INPROCESSING
3512.18/3520.65 c GARBAGE COLLECT
3512.18/3520.65 c #Conflicts: 1592000 | #Constraints: 27128
3512.18/3520.65 c #Conflicts: 1593000 | #Constraints: 28128
3512.18/3520.65 c #Conflicts: 1594000 | #Constraints: 29128
3512.18/3520.65 c #Conflicts: 1595000 | #Constraints: 30128
3512.18/3520.65 c #Conflicts: 1596000 | #Constraints: 31128
3512.18/3520.65 c #Conflicts: 1597000 | #Constraints: 32128
3512.18/3520.65 c #Conflicts: 1598000 | #Constraints: 33128
3512.18/3520.65 c #Conflicts: 1599000 | #Constraints: 34128
3512.18/3520.65 c #Conflicts: 1600000 | #Constraints: 35128
3512.18/3520.65 c #Conflicts: 1601000 | #Constraints: 36128
3512.18/3520.65 c #Conflicts: 1602000 | #Constraints: 37128
3512.18/3520.65 c #Conflicts: 1603000 | #Constraints: 38128
3512.18/3520.65 c #Conflicts: 1604000 | #Constraints: 39128
3512.18/3520.65 c #Conflicts: 1605000 | #Constraints: 40128
3512.18/3520.65 c #Conflicts: 1606000 | #Constraints: 41128
3512.18/3520.65 c #Conflicts: 1607000 | #Constraints: 42128
3512.18/3520.65 c #Conflicts: 1608000 | #Constraints: 43128
3512.18/3520.65 c #Conflicts: 1609000 | #Constraints: 44128
3512.18/3520.65 c #Conflicts: 1610000 | #Constraints: 45128
3512.18/3520.65 c #Conflicts: 1611000 | #Constraints: 46128
3512.18/3520.65 c #Conflicts: 1612000 | #Constraints: 47128
3512.18/3520.65 c #Conflicts: 1613000 | #Constraints: 48128
3512.18/3520.65 c #Conflicts: 1614000 | #Constraints: 49128
3512.18/3520.65 c #Conflicts: 1615000 | #Constraints: 50128
3512.18/3520.65 c #Conflicts: 1616000 | #Constraints: 51128
3512.18/3520.65 c INPROCESSING
3512.18/3520.65 c GARBAGE COLLECT
3512.18/3520.65 c #Conflicts: 1617000 | #Constraints: 26929
3512.18/3520.65 c #Conflicts: 1618000 | #Constraints: 27929
3512.18/3520.65 c #Conflicts: 1619000 | #Constraints: 28929
3512.18/3520.65 c #Conflicts: 1620000 | #Constraints: 29929
3512.18/3520.65 c #Conflicts: 1621000 | #Constraints: 30929
3512.18/3520.65 c #Conflicts: 1622000 | #Constraints: 31929
3512.18/3520.65 c #Conflicts: 1623000 | #Constraints: 32929
3512.18/3520.65 c #Conflicts: 1624000 | #Constraints: 33929
3512.18/3520.65 c #Conflicts: 1625000 | #Constraints: 34929
3600.08/3608.70 c #Conflicts: 1626000 | #Constraints: 35929
3600.08/3608.70 c #Conflicts: 1627000 | #Constraints: 36929
3600.08/3608.70 c #Conflicts: 1628000 | #Constraints: 37929
3600.08/3608.70 c #Conflicts: 1629000 | #Constraints: 38929
3600.08/3608.70 c #Conflicts: 1630000 | #Constraints: 39929
3600.08/3608.70 c #Conflicts: 1631000 | #Constraints: 40929
3600.08/3608.70 c #Conflicts: 1632000 | #Constraints: 41929
3600.08/3608.70 c #Conflicts: 1633000 | #Constraints: 42929
3600.08/3608.70 c #Conflicts: 1634000 | #Constraints: 43929
3600.08/3608.70 c #Conflicts: 1635000 | #Constraints: 44929
3600.08/3608.70 c #Conflicts: 1636000 | #Constraints: 45929
3600.08/3608.70 c #Conflicts: 1637000 | #Constraints: 46929
3600.08/3608.70 c #Conflicts: 1638000 | #Constraints: 47929
3600.08/3608.70 c #Conflicts: 1639000 | #Constraints: 48929
3600.08/3608.70 c #Conflicts: 1640000 | #Constraints: 49929
3600.08/3608.70 c #Conflicts: 1641000 | #Constraints: 50929
3600.08/3608.70 c Program interrupted by user.
3600.08/3608.70 c cpu time 3588.17 s
3600.08/3608.70 c deterministic time 331587590799 3.32e+11
3600.08/3608.70 c optimization time 123.379 s
3600.08/3608.70 c total solve time 3165.66 s
3600.08/3608.70 c core-guided solve time 3165.66 s
3600.08/3608.70 c propagation time 2346.77 s
3600.08/3608.70 c conflict analysis time 841.747 s
3600.08/3608.70 c propagations 203683676
3600.08/3608.70 c resolve steps 15362976
3600.08/3608.70 c decisions 6552187
3600.08/3608.70 c conflicts 1641446
3600.08/3608.70 c restarts 3080
3600.08/3608.70 c inprocessing phases 118
3600.08/3608.70 c input clauses 662
3600.08/3608.70 c input cardinalities 0
3600.08/3608.70 c input general constraints 827
3600.08/3608.70 c input average constraint length 118.75
3600.08/3608.70 c input average constraint degree 20.63
3600.08/3608.70 c learned clauses 536110
3600.08/3608.70 c learned cardinalities 1662
3600.08/3608.70 c learned general constraints 1103760
3600.08/3608.70 c learned average constraint length 360.18
3600.08/3608.70 c learned average constraint degree 521062.52
3600.08/3608.70 c watched constraints 629477
3600.08/3608.70 c counting constraints 475110
3600.08/3608.70 c gcd simplifications 173614
3600.08/3608.70 c detected cardinalities 113
3600.08/3608.70 c weakened non-implied lits 345459760
3600.08/3608.70 c weakened non-implying lits 295669
3600.08/3608.70 c original variables 949
3600.08/3608.70 c clausal propagations 30751726
3600.08/3608.70 c cardinality propagations 1892
3600.08/3608.70 c watched propagations 4025824
3600.08/3608.70 c counting propagations 165221680
3600.08/3608.70 c watch lookups 87560132091
3600.08/3608.70 c watch backjump lookups 85438192521
3600.08/3608.70 c watch checks 104359721990
3600.08/3608.70 c propagation checks 50881030453
3600.08/3608.70 c constraint additions 2926401039
3600.08/3608.70 c trail pops 211876841
3600.08/3608.70 c formula constraints 1248
3600.08/3608.70 c learned constraints 1641532
3600.08/3608.70 c bound constraints 203
3600.08/3608.70 c core-guided constraints 38
3600.08/3608.70 c encountered formula constraints 10842489
3600.08/3608.70 c encountered learned constraints 5820741
3600.08/3608.70 c encountered bound constraints 1863
3600.08/3608.70 c encountered core-guided constraints 339329
3600.08/3608.70 c LP total time 0 s
3600.08/3608.70 c LP solve time 0 s
3600.08/3608.70 c LP constraints added 0
3600.08/3608.70 c LP constraints removed 0
3600.08/3608.70 c LP pivots internal 0
3600.08/3608.70 c LP pivots root 0
3600.08/3608.70 c LP calls 0
3600.08/3608.70 c LP optimalities 0
3600.08/3608.70 c LP no pivot count 0
3600.08/3608.70 c LP infeasibilities 0
3600.08/3608.70 c LP valid Farkas constraints 0
3600.08/3608.70 c LP learned Farkas constraints 0
3600.08/3608.70 c LP basis resets 0
3600.08/3608.70 c LP cycling count 0
3600.08/3608.70 c LP singular count 0
3600.08/3608.70 c LP no primal count 0
3600.08/3608.70 c LP no farkas count 0
3600.08/3608.70 c LP other issue count 0
3600.08/3608.70 c LP Gomory cuts 0
3600.08/3608.70 c LP learned cuts 0
3600.08/3608.70 c LP deleted cuts 0
3600.08/3608.70 c LP encountered Gomory constraints 0
3600.08/3608.70 c LP encountered Farkas constraints 0
3600.08/3608.70 c LP encountered learned Farkas constraints 0
3600.08/3608.70 c CG auxiliary variables introduced 38
3600.08/3608.70 c CG solutions found 0
3600.08/3608.70 c CG cores constructed 202
3600.08/3608.70 c CG core cardinality constraints returned 0
3600.08/3608.70 c CG unit cores 0
3600.08/3608.70 c CG single cores 202
3600.08/3608.70 c CG blocks removed during cardinality reduction 0
3600.08/3608.70 c CG first core best 0
3600.08/3608.70 c CG decision core best 0
3600.08/3608.70 c CG core reduction tie 0
3600.08/3608.70 c CG core degree average 1.00
3600.08/3608.70 c CG core slack average 3.02
3600.08/3608.70 c CG exhausted 0
3600.08/3608.70 c CG exhaust time 0 s
3600.08/3608.70 c CG trimmed 0
3600.08/3608.70 c CG trim time 0.046711 s
3600.08/3608.70 c CG minimized 0
3600.08/3608.70 c CG minimize time 0 s
3600.08/3608.70 c CG am1 prop time 0.000842 s
3600.08/3608.70 c CG # am1s reformulated 38
3600.08/3608.70 c CG lower bound derived from am1s 38
3600.08/3608.70 c CG # clausal cores 202
3600.08/3608.70 c CG # cardinality cores 0
3600.08/3608.70 c CG # pb cores 0
3600.08/3608.70 c CG # pb reforms 0
3600.08/3608.70 c CG # cores discarded because of pb reform 0
3600.08/3608.70 d LOWERBOUND -220
3600.08/3608.70 d NCORES 202
3600.08/3608.70 d NPBCORES 0
3600.08/3608.70 d NPBREFORM 0
3600.08/3608.70 d NTRIMMED 0
3600.08/3608.70 d NEXHAUSTED 0
3600.08/3608.70 d NAM1S 38
3600.08/3608.70 d AM1LB 38
3600.08/3608.70 c [Papilo Statistics]
3600.08/3608.70 c prepro time 0.00131247s
3600.08/3608.70 c # tsx applied 0
3600.08/3608.70 c # tsx conflicts 0
3600.08/3608.70 c # bound changes 0
3600.08/3608.70 c # side changes 0
3600.08/3608.70 c # coef changes 0
3600.08/3608.70 c # rounds 1
3600.08/3608.70 c # deted vars 0
3600.08/3608.70 c # deted constrs 0
3600.08/3608.70 c # consecutive rounds of only bound changes 0
3600.08/3608.70 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: 63708 MiB (49917 MiB free)
memory of node 1: 64465 MiB (50716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508863-1751513893/watcher-4508863-1751513893 -o /tmp/evaluation-result-4508863-1751513893/solver-4508863-1751513893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751510282-71167 --watchdog 3760 mixed-bag HOME/instance-4508863-1751513893.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71986, runsolver pid=71983
[startup+0.100066 s]*
/proc/loadavg: 3.92 4.08 4.06 5/265 71996
/proc/meminfo: memFree=103022616/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=112800 memory=36784 CPUtime=0.08 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 5432 0 0 0 7 1 0 0 20 0 1 0 67067935 115507200 9196 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 28200 9196 4320 2842 0 9894 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 112800 KiB
Current children cumulated memory: 36784 KiB
[startup+0.205475 s]*
/proc/loadavg: 3.92 4.08 4.06 5/265 71996
/proc/meminfo: memFree=103005984/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=115720 memory=39720 CPUtime=0.18 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 6601 0 0 0 17 1 0 0 20 0 1 0 67067935 118497280 9930 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 28930 9930 4320 2842 0 10624 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 115720 KiB
Current children cumulated memory: 39720 KiB
[startup+0.305487 s]*
/proc/loadavg: 3.92 4.08 4.06 5/265 71996
/proc/meminfo: memFree=102973980/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=115720 memory=39848 CPUtime=0.27 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 6622 0 0 0 26 1 0 0 20 0 1 0 67067935 118497280 9962 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 28930 9962 4320 2842 0 10624 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 115720 KiB
Current children cumulated memory: 39848 KiB
[startup+0.700206 s]
/proc/loadavg: 3.92 4.08 4.06 5/265 71996
/proc/meminfo: memFree=102956884/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=123420 memory=48040 CPUtime=0.66 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 8676 0 0 0 64 2 0 0 20 0 1 0 67067935 126382080 12010 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 30855 12010 4320 2842 0 12549 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 48040 KiB
[startup+1.50018 s]
/proc/loadavg: 3.92 4.08 4.06 5/265 71996
/proc/meminfo: memFree=102926896/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=134156 memory=57000 CPUtime=1.45 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 10912 0 0 0 143 2 0 0 20 0 1 0 67067935 137375744 14250 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 33539 14250 4320 2842 0 15233 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 134156 KiB
Current children cumulated memory: 57000 KiB
[startup+3.10526 s]
/proc/loadavg: 3.92 4.08 4.06 5/265 71996
/proc/meminfo: memFree=102847488/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=136724 memory=59048 CPUtime=3.05 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 11430 0 0 0 303 2 0 0 20 0 1 0 67067935 140005376 14762 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 34181 14762 4320 2842 0 15875 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 136724 KiB
Current children cumulated memory: 59048 KiB
[startup+6.30018 s]
/proc/loadavg: 3.92 4.08 4.06 5/265 72045
/proc/meminfo: memFree=107083724/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=139696 memory=62132 CPUtime=6.22 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 12343 0 0 0 619 3 0 0 20 0 1 0 67067935 143048704 15533 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 34924 15533 4320 2842 0 16618 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 139696 KiB
Current children cumulated memory: 62132 KiB
[startup+12.7001 s]
/proc/loadavg: 3.85 4.06 4.06 5/265 72180
/proc/meminfo: memFree=112474484/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=139696 memory=62132 CPUtime=12.57 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 12344 0 0 0 1248 9 0 0 20 0 1 0 67067935 143048704 15533 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 34924 15533 4320 2842 0 16618 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 139696 KiB
Current children cumulated memory: 62132 KiB
[startup+25.5002 s]
/proc/loadavg: 3.96 4.08 4.06 5/265 72225
/proc/meminfo: memFree=112280636/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=184708 memory=104256 CPUtime=25.32 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 23134 0 0 0 2521 11 0 0 20 0 1 0 67067935 189140992 26064 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 46177 26064 4320 2842 0 27871 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 184708 KiB
Current children cumulated memory: 104256 KiB
[startup+51.1053 s]
/proc/loadavg: 3.97 4.07 4.06 5/265 72226
/proc/meminfo: memFree=111744068/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=303512 memory=223320 CPUtime=50.86 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 52618 0 0 0 5068 18 0 0 20 0 1 0 67067935 310796288 55830 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 75878 55830 4320 2842 0 57572 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 303512 KiB
Current children cumulated memory: 223320 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.07 4.06 5/266 72231
/proc/meminfo: memFree=111539156/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=454124 memory=374224 CPUtime=101.91 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 95955 0 0 0 10166 25 0 0 20 0 1 0 67067935 465022976 93556 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 113531 93556 4320 2842 0 95225 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 454124 KiB
Current children cumulated memory: 374224 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.06 5/266 72233
/proc/meminfo: memFree=111484668/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=447004 memory=371668 CPUtime=161.74 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 98560 0 0 0 16148 26 0 0 20 0 1 0 67067935 457732096 92917 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 111751 92917 4320 2842 0 93445 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 447004 KiB
Current children cumulated memory: 371668 KiB
[startup+222.3 s]
/proc/loadavg: 4.46 4.17 4.09 5/265 72237
/proc/meminfo: memFree=111080772/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=513648 memory=436308 CPUtime=221.58 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 114627 0 0 0 22129 29 0 0 20 0 1 0 67067935 525975552 109077 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 128412 109077 4320 2842 0 110106 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 513648 KiB
Current children cumulated memory: 436308 KiB
[startup+282.3 s]
/proc/loadavg: 4.29 4.17 4.10 5/265 72239
/proc/meminfo: memFree=111019272/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=522280 memory=452620 CPUtime=281.43 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 116987 0 0 0 28113 30 0 0 20 0 1 0 67067935 534814720 113155 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 130570 113155 4320 2842 0 112264 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 522280 KiB
Current children cumulated memory: 452620 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/265 72241
/proc/meminfo: memFree=111202644/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=331256 memory=268096 CPUtime=341.29 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 119881 0 0 0 34038 91 0 0 20 0 1 0 67067935 339206144 67024 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 82814 67024 4480 2842 0 64508 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 331256 KiB
Current children cumulated memory: 268096 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 72243
/proc/meminfo: memFree=111159612/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=350224 memory=276456 CPUtime=401.16 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 120441 0 0 0 39969 147 0 0 20 0 1 0 67067935 358629376 69114 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 87556 69114 4480 2842 0 69250 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 350224 KiB
Current children cumulated memory: 276456 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/263 72246
/proc/meminfo: memFree=111117808/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=381044 memory=292840 CPUtime=461.02 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 121006 0 0 0 45906 196 0 0 20 0 1 0 67067935 390189056 73210 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 95261 73210 4480 2842 0 76955 0
################
# More data... #
################
Current children cumulated memory: 380060 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 72379
/proc/meminfo: memFree=110513380/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=513552 memory=384796 CPUtime=2915.23 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 123241 0 0 0 290443 1080 0 0 20 0 1 0 67067935 525877248 96199 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 128388 96199 4480 2842 0 110082 0
Current children cumulated CPU time: 2915.23 s
Current children cumulated vsize: 513552 KiB
Current children cumulated memory: 384796 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 72381
/proc/meminfo: memFree=110513524/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=514064 memory=385308 CPUtime=2975.09 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 123369 0 0 0 296418 1091 0 0 20 0 1 0 67067935 526401536 96327 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 128516 96327 4480 2842 0 110210 0
Current children cumulated CPU time: 2975.09 s
Current children cumulated vsize: 514064 KiB
Current children cumulated memory: 385308 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 72389
/proc/meminfo: memFree=110509468/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=514064 memory=385308 CPUtime=3034.96 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 123369 0 0 0 302395 1101 0 0 20 0 1 0 67067935 526401536 96327 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 128516 96327 4480 2842 0 110210 0
Current children cumulated CPU time: 3034.96 s
Current children cumulated vsize: 514064 KiB
Current children cumulated memory: 385308 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 72391
/proc/meminfo: memFree=110505396/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=519956 memory=390828 CPUtime=3094.82 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 124237 0 0 0 308367 1115 0 0 20 0 1 0 67067935 532434944 97707 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 129989 97707 4480 2842 0 111683 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 519956 KiB
Current children cumulated memory: 390828 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 72394
/proc/meminfo: memFree=110505032/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=520200 memory=390956 CPUtime=3154.68 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 124267 0 0 0 314343 1125 0 0 20 0 1 0 67067935 532684800 97739 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 130050 97739 4480 2842 0 111744 0
Current children cumulated CPU time: 3154.68 s
Current children cumulated vsize: 520200 KiB
Current children cumulated memory: 390956 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 72398
/proc/meminfo: memFree=110494640/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=520528 memory=391212 CPUtime=3214.55 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 124351 0 0 0 320319 1136 0 0 20 0 1 0 67067935 533020672 97803 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 130132 97803 4480 2842 0 111826 0
Current children cumulated CPU time: 3214.55 s
Current children cumulated vsize: 520528 KiB
Current children cumulated memory: 391212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 72400
/proc/meminfo: memFree=110495236/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=522064 memory=392236 CPUtime=3274.41 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 124602 0 0 0 326296 1145 0 0 20 0 1 0 67067935 534593536 98059 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 130516 98059 4480 2842 0 112210 0
Current children cumulated CPU time: 3274.41 s
Current children cumulated vsize: 522064 KiB
Current children cumulated memory: 392236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 72401
/proc/meminfo: memFree=110499476/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=522064 memory=392236 CPUtime=3334.28 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 124602 0 0 0 332275 1153 0 0 20 0 1 0 67067935 534593536 98059 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 130516 98059 4480 2842 0 112210 0
Current children cumulated CPU time: 3334.28 s
Current children cumulated vsize: 522064 KiB
Current children cumulated memory: 392236 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 72404
/proc/meminfo: memFree=110489204/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=523088 memory=392876 CPUtime=3394.14 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 124766 0 0 0 338251 1163 0 0 20 0 1 0 67067935 535642112 98219 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 130772 98219 4480 2842 0 112466 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 523088 KiB
Current children cumulated memory: 392876 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 72406
/proc/meminfo: memFree=110490576/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=523784 memory=393260 CPUtime=3454.01 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 124848 0 0 0 344228 1173 0 0 20 0 1 0 67067935 536354816 98315 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 130946 98315 4480 2842 0 112640 0
Current children cumulated CPU time: 3454.01 s
Current children cumulated vsize: 523784 KiB
Current children cumulated memory: 393260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 72409
/proc/meminfo: memFree=110487432/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=525392 memory=394412 CPUtime=3513.87 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 125134 0 0 0 350206 1181 0 0 20 0 1 0 67067935 538001408 98603 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 131348 98603 4480 2842 0 113042 0
Current children cumulated CPU time: 3513.87 s
Current children cumulated vsize: 525392 KiB
Current children cumulated memory: 394412 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 72411
/proc/meminfo: memFree=110480316/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=525576 memory=394412 CPUtime=3573.74 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 125323 0 0 0 356187 1187 0 0 20 0 1 0 67067935 538189824 98603 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 131394 98603 4480 2842 0 113088 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 525576 KiB
Current children cumulated memory: 394412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 72412
/proc/meminfo: memFree=110471988/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=529416 memory=398772 CPUtime=3600.08 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 125886 0 0 0 358817 1191 0 0 20 0 1 0 67067935 542121984 99693 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 132354 99693 4480 2842 0 114048 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 529416 KiB
Current children cumulated memory: 398772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 71986 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.17 s, system=11.9213 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 72412
/proc/meminfo: memFree=110471988/131249996 swapFree=33010160/33010684
[pid=71986] ppid=71983 vsize=529416 memory=398772 CPUtime=3600.08 cores=4,6
/proc/71986/stat : 71986 (mixed-bag) R 71983 71986 71151 0 -1 4194304 125886 0 0 0 358817 1191 0 0 20 0 1 0 67067935 542121984 99693 18446744073709551615 4235264 15874749 140730144258448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 53882880 140730144266652 140730144266729 140730144266729 140730144272331 0
/proc/71986/statm: 132354 99693 4480 2842 0 114048 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 529416 KiB
Current children cumulated memory: 398772 KiB
Child status: 0
Real time (s): 3608.7
CPU time (s): 3600.1
CPU user time (s): 3588.17
CPU system time (s): 11.9213
CPU usage (%): 99.7615
Max. virtual memory (cumulated for all children) (KiB): 529416
Max. memory (cumulated for all children) (KiB): 454156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.17
system time used= 11.9213
maximum resident set size= 454924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125916
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= 230
involuntary context switches= 1885
# summary of solver processes directly reported to runsolver:
# pid: 71986
# total CPU time (s): 3600.1
# total CPU user time (s): 3588.17
# total CPU system time (s): 11.9213
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03926 second user time and 15.8347 second system time
The end
Begin job on nodeC032 at 2025-07-03 05:38:13
IDJOB=4508863
IDBENCH=158516
IDSOLVER=3340
FILE ID=nodeC032/4508863-1751513893
RUNJOBID= nodeC032-1751510282-71167
SLURM_JOB_ID= 9598610
Free space on /tmp= 430512 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4508863-1751513893/watcher-4508863-1751513893 -o /tmp/evaluation-result-4508863-1751513893/solver-4508863-1751513893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751510282-71167 --watchdog 3760 mixed-bag HOME/instance-4508863-1751513893.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987
RANDOM SEED=1579452944
nodeC032 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 : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.825
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.172
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.365
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.768
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.855
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.848
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3613.221
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 103044864 kB
MemAvailable: 119448876 kB
Buffers: 2728 kB
Cached: 17083408 kB
SwapCached: 20 kB
Active: 10580112 kB
Inactive: 16713928 kB
Active(anon): 10222828 kB
Inactive(anon): 3124 kB
Active(file): 357284 kB
Inactive(file): 16710804 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15948 kB
Writeback: 0 kB
AnonPages: 10208196 kB
Mapped: 128648 kB
Shmem: 18048 kB
KReclaimable: 350324 kB
Slab: 443832 kB
SReclaimable: 350324 kB
SUnreclaim: 93508 kB
KernelStack: 4176 kB
PageTables: 22960 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 11802636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6735872 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430504 MiB
End job on nodeC032 at 2025-07-03 06:38:22