0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 3002 #constraints 5066
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= 40 @ 0.020892
0.00/0.03 c stratification level: 0
0.31/0.40 c bounds - >= 1296 @ 0.19492
0.31/0.40 c bounds - >= 1297 @ 0.205074
0.31/0.40 c bounds - >= 1298 @ 0.206371
0.31/0.40 c bounds - >= 1299 @ 0.207676
0.31/0.40 c bounds - >= 1300 @ 0.208765
0.31/0.40 c bounds - >= 1301 @ 0.209863
0.31/0.40 c bounds - >= 1302 @ 0.21041
0.31/0.40 c bounds - >= 1303 @ 0.211119
0.31/0.40 c bounds - >= 1304 @ 0.211427
0.31/0.40 c bounds - >= 1305 @ 0.212534
0.31/0.40 c bounds - >= 1306 @ 0.213676
0.31/0.40 c bounds - >= 1307 @ 0.214984
0.31/0.40 c bounds - >= 1308 @ 0.215402
0.31/0.40 c bounds - >= 1309 @ 0.216436
0.31/0.40 c bounds - >= 1310 @ 0.217561
0.31/0.40 c bounds - >= 1311 @ 0.218721
0.31/0.40 c bounds - >= 1312 @ 0.219373
0.31/0.40 c bounds - >= 1313 @ 0.219376
0.31/0.40 c bounds - >= 1314 @ 0.219381
0.31/0.40 c bounds - >= 1315 @ 0.219762
0.31/0.40 c bounds - >= 1316 @ 0.220916
0.31/0.40 c bounds - >= 1317 @ 0.221364
0.31/0.40 c bounds - >= 1318 @ 0.222505
0.31/0.40 c bounds - >= 1319 @ 0.223654
0.31/0.40 c bounds - >= 1320 @ 0.224934
0.31/0.40 c bounds - >= 1321 @ 0.226433
0.31/0.40 c bounds - >= 1322 @ 0.227686
0.31/0.40 c bounds - >= 1323 @ 0.228887
0.31/0.40 c bounds - >= 1324 @ 0.229968
0.31/0.40 c bounds - >= 1325 @ 0.230298
0.31/0.40 c bounds - >= 1326 @ 0.231325
0.31/0.40 c bounds - >= 1327 @ 0.232487
0.31/0.40 c bounds - >= 1328 @ 0.233612
0.31/0.40 c bounds - >= 1329 @ 0.234766
0.31/0.40 c bounds - >= 1330 @ 0.235264
0.31/0.40 c bounds - >= 1331 @ 0.236207
0.31/0.40 c bounds - >= 1332 @ 0.237484
0.31/0.40 c bounds - >= 1333 @ 0.238753
0.31/0.40 c bounds - >= 1334 @ 0.239235
0.31/0.40 c bounds - >= 1335 @ 0.239461
0.31/0.40 c bounds - >= 1336 @ 0.240425
0.31/0.40 c bounds - >= 1337 @ 0.241449
0.31/0.40 c bounds - >= 1338 @ 0.242552
0.31/0.40 c bounds - >= 1340 @ 0.244162
0.31/0.40 c bounds - >= 1341 @ 0.245226
0.31/0.40 c bounds - >= 1342 @ 0.246297
0.31/0.40 c bounds - >= 1343 @ 0.247263
0.31/0.40 c bounds - >= 1344 @ 0.248205
0.31/0.40 c bounds - >= 1345 @ 0.249193
0.31/0.40 c bounds - >= 1346 @ 0.250436
0.31/0.40 c bounds - >= 1347 @ 0.252162
0.31/0.40 c bounds - >= 1348 @ 0.253423
0.31/0.40 c bounds - >= 1349 @ 0.254515
0.31/0.40 c bounds - >= 1350 @ 0.255712
0.31/0.40 c bounds - >= 1351 @ 0.256105
0.31/0.40 c bounds - >= 1352 @ 0.256108
0.31/0.40 c bounds - >= 1353 @ 0.256109
0.31/0.40 c bounds - >= 1354 @ 0.256111
0.31/0.40 c bounds - >= 1355 @ 0.257256
0.31/0.40 c bounds - >= 1356 @ 0.258361
0.31/0.40 c bounds - >= 1357 @ 0.259366
0.31/0.40 c bounds - >= 1358 @ 0.26037
0.31/0.40 c bounds - >= 1359 @ 0.261494
0.31/0.40 c bounds - >= 1360 @ 0.262063
0.31/0.40 c bounds - >= 1361 @ 0.262658
0.31/0.40 c bounds - >= 1362 @ 0.263861
0.31/0.40 c bounds - >= 1363 @ 0.264869
0.31/0.40 c bounds - >= 1364 @ 0.265042
0.31/0.40 c bounds - >= 1365 @ 0.26615
0.31/0.40 c bounds - >= 1366 @ 0.267183
0.31/0.40 c bounds - >= 1367 @ 0.268215
0.31/0.40 c bounds - >= 1368 @ 0.269227
0.31/0.40 c bounds - >= 1369 @ 0.27046
0.31/0.40 c bounds - >= 1370 @ 0.27175
0.31/0.40 c bounds - >= 1371 @ 0.27199
0.31/0.40 c bounds - >= 1372 @ 0.271994
0.31/0.40 c bounds - >= 1373 @ 0.272983
0.31/0.40 c bounds - >= 1374 @ 0.273992
0.31/0.40 c bounds - >= 1375 @ 0.274593
0.31/0.40 c bounds - >= 1376 @ 0.275166
0.31/0.40 c bounds - >= 1377 @ 0.276207
0.31/0.40 c bounds - >= 1378 @ 0.277401
0.31/0.40 c bounds - >= 1379 @ 0.278636
0.31/0.40 c bounds - >= 1380 @ 0.279867
0.31/0.40 c bounds - >= 1381 @ 0.281075
0.31/0.40 c bounds - >= 1382 @ 0.282283
0.31/0.40 c bounds - >= 1383 @ 0.283483
0.31/0.40 c bounds - >= 1384 @ 0.284749
0.31/0.40 c bounds - >= 1385 @ 0.285924
0.31/0.40 c bounds - >= 1386 @ 0.287116
0.31/0.40 c bounds - >= 1387 @ 0.288321
0.31/0.40 c bounds - >= 1388 @ 0.289479
0.31/0.40 c bounds - >= 1389 @ 0.290601
0.31/0.40 c bounds - >= 1390 @ 0.290851
0.31/0.40 c bounds - >= 1391 @ 0.291905
0.31/0.40 c bounds - >= 1392 @ 0.293101
0.31/0.40 c bounds - >= 1393 @ 0.294233
0.31/0.40 c bounds - >= 1394 @ 0.295174
0.31/0.40 c bounds - >= 1395 @ 0.296122
0.31/0.40 c bounds - >= 1396 @ 0.297288
0.31/0.40 c bounds - >= 1397 @ 0.297802
0.31/0.40 c bounds - >= 1398 @ 0.298922
0.31/0.40 c bounds - >= 1399 @ 0.300247
0.31/0.40 c bounds - >= 1400 @ 0.300782
0.31/0.40 c bounds - >= 1401 @ 0.301657
0.31/0.40 c bounds - >= 1402 @ 0.302865
0.31/0.40 c bounds - >= 1403 @ 0.303761
0.31/0.40 c bounds - >= 1404 @ 0.303763
0.31/0.40 c bounds - >= 1405 @ 0.305417
0.31/0.40 c bounds - >= 1406 @ 0.307119
0.31/0.40 c bounds - >= 1407 @ 0.308966
0.31/0.40 c bounds - >= 1408 @ 0.30994
0.31/0.40 c bounds - >= 1409 @ 0.310711
0.31/0.40 c bounds - >= 1410 @ 0.315558
0.31/0.40 c bounds - >= 1411 @ 0.317683
0.31/0.40 c finalizing WCE round: reformulating cores
88.69/89.04 c bounds 1459 >= 1304 @ 0.372129
88.69/89.04 c #Conflicts: 1000 | #Constraints: 7439
88.69/89.04 c #Conflicts: 2000 | #Constraints: 8441
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 3000 | #Constraints: 7531
88.69/89.04 c #Conflicts: 4000 | #Constraints: 8533
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 5000 | #Constraints: 7937
88.69/89.04 c #Conflicts: 6000 | #Constraints: 8939
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 7000 | #Constraints: 7943
88.69/89.04 c #Conflicts: 8000 | #Constraints: 8945
88.69/89.04 c #Conflicts: 9000 | #Constraints: 9949
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 10000 | #Constraints: 8653
88.69/89.04 c #Conflicts: 11000 | #Constraints: 9655
88.69/89.04 c #Conflicts: 12000 | #Constraints: 10657
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 13000 | #Constraints: 9101
88.69/89.04 c #Conflicts: 14000 | #Constraints: 10103
88.69/89.04 c #Conflicts: 15000 | #Constraints: 11105
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 16000 | #Constraints: 9334
88.69/89.04 c #Conflicts: 17000 | #Constraints: 10336
88.69/89.04 c #Conflicts: 18000 | #Constraints: 11338
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 19000 | #Constraints: 9350
88.69/89.04 c #Conflicts: 20000 | #Constraints: 10352
88.69/89.04 c #Conflicts: 21000 | #Constraints: 11354
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 22000 | #Constraints: 9165
88.69/89.04 c #Conflicts: 23000 | #Constraints: 10167
88.69/89.04 c #Conflicts: 24000 | #Constraints: 11171
88.69/89.04 c #Conflicts: 25000 | #Constraints: 12173
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 26000 | #Constraints: 9774
88.69/89.04 c #Conflicts: 27000 | #Constraints: 10776
88.69/89.04 c #Conflicts: 28000 | #Constraints: 11778
88.69/89.04 c #Conflicts: 29000 | #Constraints: 12782
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 30000 | #Constraints: 10185
88.69/89.04 c #Conflicts: 31000 | #Constraints: 11187
88.69/89.04 c #Conflicts: 32000 | #Constraints: 12189
88.69/89.04 c #Conflicts: 33000 | #Constraints: 13193
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 34000 | #Constraints: 10401
88.69/89.04 c #Conflicts: 35000 | #Constraints: 11403
88.69/89.04 c #Conflicts: 36000 | #Constraints: 12405
88.69/89.04 c #Conflicts: 37000 | #Constraints: 13409
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 38000 | #Constraints: 10414
88.69/89.04 c #Conflicts: 39000 | #Constraints: 11416
88.69/89.04 c #Conflicts: 40000 | #Constraints: 12418
88.69/89.04 c #Conflicts: 41000 | #Constraints: 13422
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 42000 | #Constraints: 10222
88.69/89.04 c #Conflicts: 43000 | #Constraints: 11224
88.69/89.04 c #Conflicts: 44000 | #Constraints: 12228
88.69/89.04 c #Conflicts: 45000 | #Constraints: 13230
88.69/89.04 c #Conflicts: 46000 | #Constraints: 14232
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 47000 | #Constraints: 10834
88.69/89.04 c #Conflicts: 48000 | #Constraints: 11836
88.69/89.04 c #Conflicts: 49000 | #Constraints: 12838
88.69/89.04 c #Conflicts: 50000 | #Constraints: 13842
88.69/89.04 c #Conflicts: 51000 | #Constraints: 14844
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 52000 | #Constraints: 11245
88.69/89.04 c #Conflicts: 53000 | #Constraints: 12247
88.69/89.04 c #Conflicts: 54000 | #Constraints: 13249
88.69/89.04 c #Conflicts: 55000 | #Constraints: 14253
88.69/89.04 c #Conflicts: 56000 | #Constraints: 15255
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 57000 | #Constraints: 11454
88.69/89.04 c #Conflicts: 58000 | #Constraints: 12456
88.69/89.04 c #Conflicts: 59000 | #Constraints: 13458
88.69/89.04 c #Conflicts: 60000 | #Constraints: 14462
88.69/89.04 c #Conflicts: 61000 | #Constraints: 15464
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 62000 | #Constraints: 11462
88.69/89.04 c #Conflicts: 63000 | #Constraints: 12464
88.69/89.04 c #Conflicts: 64000 | #Constraints: 13466
88.69/89.04 c #Conflicts: 65000 | #Constraints: 14470
88.69/89.04 c #Conflicts: 66000 | #Constraints: 15472
88.69/89.04 c INPROCESSING
88.69/89.04 c GARBAGE COLLECT
88.69/89.04 c #Conflicts: 67000 | #Constraints: 11279
160.42/161.06 c #Conflicts: 68000 | #Constraints: 12281
160.42/161.06 c #Conflicts: 69000 | #Constraints: 13285
160.42/161.06 c #Conflicts: 70000 | #Constraints: 14287
160.42/161.06 c #Conflicts: 71000 | #Constraints: 15289
160.42/161.06 c #Conflicts: 72000 | #Constraints: 16293
160.42/161.06 c INPROCESSING
160.42/161.06 c GARBAGE COLLECT
160.42/161.06 c #Conflicts: 73000 | #Constraints: 11895
160.42/161.06 c #Conflicts: 74000 | #Constraints: 12897
160.42/161.06 c #Conflicts: 75000 | #Constraints: 13899
160.42/161.06 c #Conflicts: 76000 | #Constraints: 14903
160.42/161.06 c #Conflicts: 77000 | #Constraints: 15905
160.42/161.06 c #Conflicts: 78000 | #Constraints: 16907
160.42/161.06 c INPROCESSING
160.42/161.06 c GARBAGE COLLECT
160.42/161.06 c #Conflicts: 79000 | #Constraints: 12308
160.42/161.06 c #Conflicts: 80000 | #Constraints: 13310
160.42/161.06 c #Conflicts: 81000 | #Constraints: 14312
160.42/161.06 c bounds 1448 >= 1412 @ 103.416
160.42/161.06 c bounds 1448 >= 1413 @ 103.418
160.42/161.06 c bounds 1448 >= 1414 @ 103.418
160.42/161.06 c bounds 1448 >= 1415 @ 103.419
160.42/161.06 c bounds 1448 >= 1416 @ 103.42
160.42/161.06 c bounds 1448 >= 1417 @ 103.421
160.42/161.06 c bounds 1448 >= 1418 @ 103.422
160.42/161.06 c bounds 1448 >= 1419 @ 103.423
160.42/161.06 c bounds 1448 >= 1420 @ 103.425
160.42/161.06 c bounds 1448 >= 1421 @ 103.427
160.42/161.06 c bounds 1448 >= 1422 @ 103.427
160.42/161.06 c bounds 1448 >= 1423 @ 103.428
160.42/161.06 c bounds 1448 >= 1424 @ 103.429
160.42/161.06 c bounds 1448 >= 1425 @ 103.431
160.42/161.06 c bounds 1448 >= 1426 @ 103.432
160.42/161.06 c bounds 1448 >= 1427 @ 103.435
160.42/161.06 c bounds 1448 >= 1428 @ 103.437
160.42/161.06 c bounds 1448 >= 1429 @ 103.439
160.42/161.06 c bounds 1448 >= 1430 @ 103.441
160.42/161.06 c bounds 1448 >= 1431 @ 103.443
160.42/161.06 c bounds 1448 >= 1432 @ 103.446
160.42/161.06 c bounds 1448 >= 1433 @ 103.447
160.42/161.06 c #Conflicts: 82000 | #Constraints: 15505
160.42/161.06 c #Conflicts: 83000 | #Constraints: 16505
160.42/161.06 c #Conflicts: 84000 | #Constraints: 17505
160.42/161.06 c INPROCESSING
160.42/161.06 c GARBAGE COLLECT
160.42/161.06 c #Conflicts: 85000 | #Constraints: 12652
160.42/161.06 c #Conflicts: 86000 | #Constraints: 13652
160.42/161.06 c #Conflicts: 87000 | #Constraints: 14652
160.42/161.06 c #Conflicts: 88000 | #Constraints: 15652
160.42/161.06 c #Conflicts: 89000 | #Constraints: 16652
160.42/161.06 c #Conflicts: 90000 | #Constraints: 17652
160.42/161.06 c INPROCESSING
160.42/161.06 c GARBAGE COLLECT
160.42/161.06 c #Conflicts: 91000 | #Constraints: 12632
160.42/161.06 c #Conflicts: 92000 | #Constraints: 13632
160.42/161.06 c #Conflicts: 93000 | #Constraints: 14632
160.42/161.06 c #Conflicts: 94000 | #Constraints: 15632
160.42/161.06 c #Conflicts: 95000 | #Constraints: 16632
160.42/161.06 c #Conflicts: 96000 | #Constraints: 17632
160.42/161.06 c INPROCESSING
160.42/161.06 c GARBAGE COLLECT
160.42/161.06 c #Conflicts: 97000 | #Constraints: 12424
160.42/161.06 c #Conflicts: 98000 | #Constraints: 13424
160.42/161.06 c #Conflicts: 99000 | #Constraints: 14424
160.42/161.06 c #Conflicts: 100000 | #Constraints: 15424
160.42/161.06 c #Conflicts: 101000 | #Constraints: 16424
160.42/161.06 c #Conflicts: 102000 | #Constraints: 17424
160.42/161.06 c #Conflicts: 103000 | #Constraints: 18424
160.42/161.06 c INPROCESSING
160.42/161.06 c GARBAGE COLLECT
160.42/161.06 c #Conflicts: 104000 | #Constraints: 13019
160.42/161.06 c #Conflicts: 105000 | #Constraints: 14019
160.42/161.06 c #Conflicts: 106000 | #Constraints: 15019
160.42/161.06 c #Conflicts: 107000 | #Constraints: 16019
160.42/161.06 c #Conflicts: 108000 | #Constraints: 17019
160.42/161.06 c #Conflicts: 109000 | #Constraints: 18019
160.42/161.06 c #Conflicts: 110000 | #Constraints: 19019
160.42/161.06 c INPROCESSING
160.42/161.06 c GARBAGE COLLECT
160.42/161.06 c #Conflicts: 111000 | #Constraints: 13424
160.42/161.06 c #Conflicts: 112000 | #Constraints: 14424
160.42/161.06 c #Conflicts: 113000 | #Constraints: 15424
160.42/161.06 c #Conflicts: 114000 | #Constraints: 16424
160.42/161.06 c #Conflicts: 115000 | #Constraints: 17424
160.42/161.06 c #Conflicts: 116000 | #Constraints: 18424
160.42/161.06 c #Conflicts: 117000 | #Constraints: 19424
160.42/161.06 c INPROCESSING
160.42/161.06 c GARBAGE COLLECT
160.42/161.06 c #Conflicts: 118000 | #Constraints: 13619
160.42/161.06 c #Conflicts: 119000 | #Constraints: 14619
160.42/161.06 c #Conflicts: 120000 | #Constraints: 15619
160.42/161.06 c #Conflicts: 121000 | #Constraints: 16619
160.42/161.06 c #Conflicts: 122000 | #Constraints: 17619
160.42/161.06 c #Conflicts: 123000 | #Constraints: 18619
160.42/161.06 c #Conflicts: 124000 | #Constraints: 19619
160.42/161.06 c INPROCESSING
160.42/161.06 c GARBAGE COLLECT
160.42/161.06 c #Conflicts: 125000 | #Constraints: 13618
160.42/161.06 c #Conflicts: 126000 | #Constraints: 14618
160.42/161.06 c #Conflicts: 127000 | #Constraints: 15618
294.50/295.67 c #Conflicts: 128000 | #Constraints: 16618
294.50/295.67 c #Conflicts: 129000 | #Constraints: 17618
294.50/295.67 c #Conflicts: 130000 | #Constraints: 18618
294.50/295.67 c #Conflicts: 131000 | #Constraints: 19618
294.50/295.67 c INPROCESSING
294.50/295.67 c GARBAGE COLLECT
294.50/295.67 c #Conflicts: 132000 | #Constraints: 13419
294.50/295.67 c #Conflicts: 133000 | #Constraints: 14419
294.50/295.67 c #Conflicts: 134000 | #Constraints: 15419
294.50/295.67 c #Conflicts: 135000 | #Constraints: 16419
294.50/295.67 c #Conflicts: 136000 | #Constraints: 17419
294.50/295.67 c #Conflicts: 137000 | #Constraints: 18419
294.50/295.67 c #Conflicts: 138000 | #Constraints: 19419
294.50/295.67 c #Conflicts: 139000 | #Constraints: 20419
294.50/295.67 c INPROCESSING
294.50/295.67 c GARBAGE COLLECT
294.50/295.67 c #Conflicts: 140000 | #Constraints: 14026
294.50/295.67 c #Conflicts: 141000 | #Constraints: 15026
294.50/295.67 c #Conflicts: 142000 | #Constraints: 16026
294.50/295.67 c #Conflicts: 143000 | #Constraints: 17026
294.50/295.67 c #Conflicts: 144000 | #Constraints: 18026
294.50/295.67 c #Conflicts: 145000 | #Constraints: 19026
294.50/295.67 c #Conflicts: 146000 | #Constraints: 20026
294.50/295.67 c #Conflicts: 147000 | #Constraints: 21026
294.50/295.67 c INPROCESSING
294.50/295.67 c GARBAGE COLLECT
294.50/295.67 c #Conflicts: 148000 | #Constraints: 14427
294.50/295.67 c #Conflicts: 149000 | #Constraints: 15427
294.50/295.67 c #Conflicts: 150000 | #Constraints: 16427
294.50/295.67 c #Conflicts: 151000 | #Constraints: 17427
294.50/295.67 c #Conflicts: 152000 | #Constraints: 18427
294.50/295.67 c #Conflicts: 153000 | #Constraints: 19427
294.50/295.67 c #Conflicts: 154000 | #Constraints: 20427
294.50/295.67 c #Conflicts: 155000 | #Constraints: 21427
294.50/295.67 c INPROCESSING
294.50/295.67 c GARBAGE COLLECT
294.50/295.67 c #Conflicts: 156000 | #Constraints: 14629
294.50/295.67 c #Conflicts: 157000 | #Constraints: 15629
294.50/295.67 c #Conflicts: 158000 | #Constraints: 16629
294.50/295.67 c #Conflicts: 159000 | #Constraints: 17629
294.50/295.67 c #Conflicts: 160000 | #Constraints: 18629
294.50/295.67 c #Conflicts: 161000 | #Constraints: 19629
294.50/295.67 c #Conflicts: 162000 | #Constraints: 20629
294.50/295.67 c #Conflicts: 163000 | #Constraints: 21629
294.50/295.67 c INPROCESSING
294.50/295.67 c GARBAGE COLLECT
294.50/295.67 c #Conflicts: 164000 | #Constraints: 14626
294.50/295.67 c #Conflicts: 165000 | #Constraints: 15626
294.50/295.67 c #Conflicts: 166000 | #Constraints: 16626
294.50/295.67 c #Conflicts: 167000 | #Constraints: 17626
294.50/295.67 c #Conflicts: 168000 | #Constraints: 18626
294.50/295.67 c #Conflicts: 169000 | #Constraints: 19626
294.50/295.67 c #Conflicts: 170000 | #Constraints: 20626
294.50/295.67 c #Conflicts: 171000 | #Constraints: 21626
294.50/295.67 c INPROCESSING
294.50/295.67 c GARBAGE COLLECT
294.50/295.67 c #Conflicts: 172000 | #Constraints: 14422
294.50/295.67 c #Conflicts: 173000 | #Constraints: 15422
294.50/295.67 c #Conflicts: 174000 | #Constraints: 16422
294.50/295.67 c #Conflicts: 175000 | #Constraints: 17422
294.50/295.67 c #Conflicts: 176000 | #Constraints: 18422
294.50/295.67 c #Conflicts: 177000 | #Constraints: 19422
294.50/295.67 c #Conflicts: 178000 | #Constraints: 20422
294.50/295.67 c #Conflicts: 179000 | #Constraints: 21422
294.50/295.67 c #Conflicts: 180000 | #Constraints: 22422
294.50/295.67 c INPROCESSING
294.50/295.67 c GARBAGE COLLECT
294.50/295.67 c #Conflicts: 181000 | #Constraints: 15024
294.50/295.67 c #Conflicts: 182000 | #Constraints: 16024
294.50/295.67 c #Conflicts: 183000 | #Constraints: 17024
294.50/295.67 c #Conflicts: 184000 | #Constraints: 18024
294.50/295.67 c #Conflicts: 185000 | #Constraints: 19024
294.50/295.67 c #Conflicts: 186000 | #Constraints: 20024
294.50/295.67 c #Conflicts: 187000 | #Constraints: 21024
294.50/295.67 c #Conflicts: 188000 | #Constraints: 22024
294.50/295.67 c #Conflicts: 189000 | #Constraints: 23024
294.50/295.67 c INPROCESSING
294.50/295.67 c GARBAGE COLLECT
294.50/295.67 c #Conflicts: 190000 | #Constraints: 15429
294.50/295.67 c #Conflicts: 191000 | #Constraints: 16429
294.50/295.67 c #Conflicts: 192000 | #Constraints: 17429
294.50/295.67 c #Conflicts: 193000 | #Constraints: 18429
294.50/295.67 c #Conflicts: 194000 | #Constraints: 19429
294.50/295.67 c #Conflicts: 195000 | #Constraints: 20429
294.50/295.67 c #Conflicts: 196000 | #Constraints: 21429
294.50/295.67 c #Conflicts: 197000 | #Constraints: 22429
294.50/295.67 c #Conflicts: 198000 | #Constraints: 23429
294.50/295.67 c INPROCESSING
294.50/295.67 c GARBAGE COLLECT
294.50/295.67 c #Conflicts: 199000 | #Constraints: 15632
294.50/295.67 c #Conflicts: 200000 | #Constraints: 16632
401.69/403.22 c #Conflicts: 201000 | #Constraints: 17632
401.69/403.22 c #Conflicts: 202000 | #Constraints: 18632
401.69/403.22 c #Conflicts: 203000 | #Constraints: 19632
401.69/403.22 c #Conflicts: 204000 | #Constraints: 20632
401.69/403.22 c #Conflicts: 205000 | #Constraints: 21632
401.69/403.22 c #Conflicts: 206000 | #Constraints: 22632
401.69/403.22 c #Conflicts: 207000 | #Constraints: 23632
401.69/403.22 c INPROCESSING
401.69/403.22 c GARBAGE COLLECT
401.69/403.22 c #Conflicts: 208000 | #Constraints: 15633
401.69/403.22 c #Conflicts: 209000 | #Constraints: 16633
401.69/403.22 c #Conflicts: 210000 | #Constraints: 17633
401.69/403.22 c #Conflicts: 211000 | #Constraints: 18633
401.69/403.22 c #Conflicts: 212000 | #Constraints: 19633
401.69/403.22 c #Conflicts: 213000 | #Constraints: 20633
401.69/403.22 c #Conflicts: 214000 | #Constraints: 21633
401.69/403.22 c #Conflicts: 215000 | #Constraints: 22633
401.69/403.22 c #Conflicts: 216000 | #Constraints: 23633
401.69/403.22 c INPROCESSING
401.69/403.22 c GARBAGE COLLECT
401.69/403.22 c #Conflicts: 217000 | #Constraints: 15428
401.69/403.22 c #Conflicts: 218000 | #Constraints: 16428
401.69/403.22 c #Conflicts: 219000 | #Constraints: 17428
401.69/403.22 c #Conflicts: 220000 | #Constraints: 18428
401.69/403.22 c #Conflicts: 221000 | #Constraints: 19428
401.69/403.22 c #Conflicts: 222000 | #Constraints: 20428
401.69/403.22 c #Conflicts: 223000 | #Constraints: 21428
401.69/403.22 c #Conflicts: 224000 | #Constraints: 22428
401.69/403.22 c #Conflicts: 225000 | #Constraints: 23428
401.69/403.22 c #Conflicts: 226000 | #Constraints: 24428
401.69/403.22 c INPROCESSING
401.69/403.22 c GARBAGE COLLECT
401.69/403.22 c #Conflicts: 227000 | #Constraints: 16026
401.69/403.22 c #Conflicts: 228000 | #Constraints: 17026
401.69/403.22 c #Conflicts: 229000 | #Constraints: 18026
401.69/403.22 c #Conflicts: 230000 | #Constraints: 19026
401.69/403.22 c #Conflicts: 231000 | #Constraints: 20026
401.69/403.22 c #Conflicts: 232000 | #Constraints: 21026
401.69/403.22 c #Conflicts: 233000 | #Constraints: 22026
401.69/403.22 c #Conflicts: 234000 | #Constraints: 23026
401.69/403.22 c #Conflicts: 235000 | #Constraints: 24026
401.69/403.22 c #Conflicts: 236000 | #Constraints: 25026
401.69/403.22 c INPROCESSING
401.69/403.22 c GARBAGE COLLECT
401.69/403.22 c #Conflicts: 237000 | #Constraints: 16417
401.69/403.22 c #Conflicts: 238000 | #Constraints: 17417
401.69/403.22 c #Conflicts: 239000 | #Constraints: 18417
401.69/403.22 c #Conflicts: 240000 | #Constraints: 19417
401.69/403.22 c #Conflicts: 241000 | #Constraints: 20417
401.69/403.22 c #Conflicts: 242000 | #Constraints: 21417
401.69/403.22 c #Conflicts: 243000 | #Constraints: 22417
401.69/403.22 c #Conflicts: 244000 | #Constraints: 23417
401.69/403.22 c #Conflicts: 245000 | #Constraints: 24417
401.69/403.22 c #Conflicts: 246000 | #Constraints: 25417
401.69/403.22 c INPROCESSING
401.69/403.22 c GARBAGE COLLECT
401.69/403.22 c #Conflicts: 247000 | #Constraints: 16614
401.69/403.22 c #Conflicts: 248000 | #Constraints: 17614
401.69/403.22 c #Conflicts: 249000 | #Constraints: 18614
401.69/403.22 c #Conflicts: 250000 | #Constraints: 19614
401.69/403.22 c #Conflicts: 251000 | #Constraints: 20614
401.69/403.22 c #Conflicts: 252000 | #Constraints: 21614
401.69/403.22 c #Conflicts: 253000 | #Constraints: 22614
401.69/403.22 c #Conflicts: 254000 | #Constraints: 23614
401.69/403.22 c #Conflicts: 255000 | #Constraints: 24614
401.69/403.22 c #Conflicts: 256000 | #Constraints: 25614
401.69/403.22 c INPROCESSING
401.69/403.22 c GARBAGE COLLECT
401.69/403.22 c #Conflicts: 257000 | #Constraints: 16611
401.69/403.22 c #Conflicts: 258000 | #Constraints: 17611
401.69/403.22 c #Conflicts: 259000 | #Constraints: 18611
401.69/403.22 c #Conflicts: 260000 | #Constraints: 19611
401.69/403.22 c #Conflicts: 261000 | #Constraints: 20611
401.69/403.22 c #Conflicts: 262000 | #Constraints: 21611
401.69/403.22 c #Conflicts: 263000 | #Constraints: 22611
401.69/403.22 c #Conflicts: 264000 | #Constraints: 23611
401.69/403.22 c #Conflicts: 265000 | #Constraints: 24611
401.69/403.22 c #Conflicts: 266000 | #Constraints: 25611
401.69/403.22 c INPROCESSING
401.69/403.22 c GARBAGE COLLECT
401.69/403.22 c #Conflicts: 267000 | #Constraints: 16413
401.69/403.22 c #Conflicts: 268000 | #Constraints: 17413
401.69/403.22 c #Conflicts: 269000 | #Constraints: 18413
401.69/403.22 c #Conflicts: 270000 | #Constraints: 19413
401.69/403.22 c #Conflicts: 271000 | #Constraints: 20413
401.69/403.22 c #Conflicts: 272000 | #Constraints: 21413
401.69/403.22 c #Conflicts: 273000 | #Constraints: 22413
401.69/403.22 c #Conflicts: 274000 | #Constraints: 23413
531.01/533.10 c #Conflicts: 275000 | #Constraints: 24413
531.01/533.10 c #Conflicts: 276000 | #Constraints: 25413
531.01/533.10 c #Conflicts: 277000 | #Constraints: 26413
531.01/533.10 c INPROCESSING
531.01/533.10 c GARBAGE COLLECT
531.01/533.10 c #Conflicts: 278000 | #Constraints: 17013
531.01/533.10 c #Conflicts: 279000 | #Constraints: 18013
531.01/533.10 c #Conflicts: 280000 | #Constraints: 19013
531.01/533.10 c #Conflicts: 281000 | #Constraints: 20013
531.01/533.10 c #Conflicts: 282000 | #Constraints: 21013
531.01/533.10 c #Conflicts: 283000 | #Constraints: 22013
531.01/533.10 c #Conflicts: 284000 | #Constraints: 23013
531.01/533.10 c #Conflicts: 285000 | #Constraints: 24013
531.01/533.10 c #Conflicts: 286000 | #Constraints: 25013
531.01/533.10 c #Conflicts: 287000 | #Constraints: 26013
531.01/533.10 c #Conflicts: 288000 | #Constraints: 27013
531.01/533.10 c INPROCESSING
531.01/533.10 c GARBAGE COLLECT
531.01/533.10 c #Conflicts: 289000 | #Constraints: 17420
531.01/533.10 c #Conflicts: 290000 | #Constraints: 18420
531.01/533.10 c #Conflicts: 291000 | #Constraints: 19420
531.01/533.10 c #Conflicts: 292000 | #Constraints: 20420
531.01/533.10 c #Conflicts: 293000 | #Constraints: 21420
531.01/533.10 c #Conflicts: 294000 | #Constraints: 22420
531.01/533.10 c #Conflicts: 295000 | #Constraints: 23420
531.01/533.10 c #Conflicts: 296000 | #Constraints: 24420
531.01/533.10 c #Conflicts: 297000 | #Constraints: 25420
531.01/533.10 c #Conflicts: 298000 | #Constraints: 26420
531.01/533.10 c #Conflicts: 299000 | #Constraints: 27420
531.01/533.10 c INPROCESSING
531.01/533.10 c GARBAGE COLLECT
531.01/533.10 c #Conflicts: 300000 | #Constraints: 17624
531.01/533.10 c #Conflicts: 301000 | #Constraints: 18624
531.01/533.10 c #Conflicts: 302000 | #Constraints: 19624
531.01/533.10 c #Conflicts: 303000 | #Constraints: 20624
531.01/533.10 c #Conflicts: 304000 | #Constraints: 21624
531.01/533.10 c #Conflicts: 305000 | #Constraints: 22624
531.01/533.10 c #Conflicts: 306000 | #Constraints: 23624
531.01/533.10 c #Conflicts: 307000 | #Constraints: 24624
531.01/533.10 c #Conflicts: 308000 | #Constraints: 25624
531.01/533.10 c #Conflicts: 309000 | #Constraints: 26624
531.01/533.10 c #Conflicts: 310000 | #Constraints: 27624
531.01/533.10 c INPROCESSING
531.01/533.10 c GARBAGE COLLECT
531.01/533.10 c #Conflicts: 311000 | #Constraints: 17628
531.01/533.10 c #Conflicts: 312000 | #Constraints: 18628
531.01/533.10 c #Conflicts: 313000 | #Constraints: 19628
531.01/533.10 c #Conflicts: 314000 | #Constraints: 20628
531.01/533.10 c #Conflicts: 315000 | #Constraints: 21628
531.01/533.10 c #Conflicts: 316000 | #Constraints: 22628
531.01/533.10 c #Conflicts: 317000 | #Constraints: 23628
531.01/533.10 c #Conflicts: 318000 | #Constraints: 24628
531.01/533.10 c #Conflicts: 319000 | #Constraints: 25628
531.01/533.10 c #Conflicts: 320000 | #Constraints: 26628
531.01/533.10 c #Conflicts: 321000 | #Constraints: 27628
531.01/533.10 c INPROCESSING
531.01/533.10 c GARBAGE COLLECT
531.01/533.10 c #Conflicts: 322000 | #Constraints: 17428
531.01/533.10 c #Conflicts: 323000 | #Constraints: 18428
531.01/533.10 c #Conflicts: 324000 | #Constraints: 19428
531.01/533.10 c #Conflicts: 325000 | #Constraints: 20428
531.01/533.10 c #Conflicts: 326000 | #Constraints: 21428
531.01/533.10 c #Conflicts: 327000 | #Constraints: 22428
531.01/533.10 c #Conflicts: 328000 | #Constraints: 23428
531.01/533.10 c #Conflicts: 329000 | #Constraints: 24428
531.01/533.10 c #Conflicts: 330000 | #Constraints: 25428
531.01/533.10 c #Conflicts: 331000 | #Constraints: 26428
531.01/533.10 c #Conflicts: 332000 | #Constraints: 27428
531.01/533.10 c #Conflicts: 333000 | #Constraints: 28428
531.01/533.10 c INPROCESSING
531.01/533.10 c GARBAGE COLLECT
531.01/533.10 c #Conflicts: 334000 | #Constraints: 18028
531.01/533.10 c #Conflicts: 335000 | #Constraints: 19028
531.01/533.10 c #Conflicts: 336000 | #Constraints: 20028
531.01/533.10 c #Conflicts: 337000 | #Constraints: 21028
531.01/533.10 c #Conflicts: 338000 | #Constraints: 22028
531.01/533.10 c #Conflicts: 339000 | #Constraints: 23028
531.01/533.10 c #Conflicts: 340000 | #Constraints: 24028
531.01/533.10 c #Conflicts: 341000 | #Constraints: 25028
531.01/533.10 c #Conflicts: 342000 | #Constraints: 26028
531.01/533.10 c #Conflicts: 343000 | #Constraints: 27028
531.01/533.10 c #Conflicts: 344000 | #Constraints: 28028
531.01/533.10 c #Conflicts: 345000 | #Constraints: 29028
531.01/533.10 c INPROCESSING
531.01/533.10 c GARBAGE COLLECT
531.01/533.10 c #Conflicts: 346000 | #Constraints: 18426
531.01/533.10 c #Conflicts: 347000 | #Constraints: 19426
531.01/533.10 c #Conflicts: 348000 | #Constraints: 20426
720.73/723.59 c #Conflicts: 349000 | #Constraints: 21426
720.73/723.59 c #Conflicts: 350000 | #Constraints: 22426
720.73/723.59 c #Conflicts: 351000 | #Constraints: 23426
720.73/723.59 c #Conflicts: 352000 | #Constraints: 24426
720.73/723.59 c #Conflicts: 353000 | #Constraints: 25426
720.73/723.59 c #Conflicts: 354000 | #Constraints: 26426
720.73/723.59 c #Conflicts: 355000 | #Constraints: 27426
720.73/723.59 c #Conflicts: 356000 | #Constraints: 28426
720.73/723.59 c #Conflicts: 357000 | #Constraints: 29426
720.73/723.59 c INPROCESSING
720.73/723.59 c GARBAGE COLLECT
720.73/723.59 c #Conflicts: 358000 | #Constraints: 18626
720.73/723.59 c #Conflicts: 359000 | #Constraints: 19626
720.73/723.59 c #Conflicts: 360000 | #Constraints: 20626
720.73/723.59 c #Conflicts: 361000 | #Constraints: 21626
720.73/723.59 c #Conflicts: 362000 | #Constraints: 22626
720.73/723.59 c #Conflicts: 363000 | #Constraints: 23626
720.73/723.59 c #Conflicts: 364000 | #Constraints: 24626
720.73/723.59 c #Conflicts: 365000 | #Constraints: 25626
720.73/723.59 c #Conflicts: 366000 | #Constraints: 26626
720.73/723.59 c #Conflicts: 367000 | #Constraints: 27626
720.73/723.59 c #Conflicts: 368000 | #Constraints: 28626
720.73/723.59 c #Conflicts: 369000 | #Constraints: 29626
720.73/723.59 c INPROCESSING
720.73/723.59 c GARBAGE COLLECT
720.73/723.59 c #Conflicts: 370000 | #Constraints: 18630
720.73/723.59 c #Conflicts: 371000 | #Constraints: 19630
720.73/723.59 c #Conflicts: 372000 | #Constraints: 20630
720.73/723.59 c #Conflicts: 373000 | #Constraints: 21630
720.73/723.59 c #Conflicts: 374000 | #Constraints: 22630
720.73/723.59 c #Conflicts: 375000 | #Constraints: 23630
720.73/723.59 c #Conflicts: 376000 | #Constraints: 24630
720.73/723.59 c #Conflicts: 377000 | #Constraints: 25630
720.73/723.59 c #Conflicts: 378000 | #Constraints: 26630
720.73/723.59 c #Conflicts: 379000 | #Constraints: 27630
720.73/723.59 c #Conflicts: 380000 | #Constraints: 28630
720.73/723.59 c #Conflicts: 381000 | #Constraints: 29630
720.73/723.59 c INPROCESSING
720.73/723.59 c GARBAGE COLLECT
720.73/723.59 c #Conflicts: 382000 | #Constraints: 18433
720.73/723.59 c #Conflicts: 383000 | #Constraints: 19433
720.73/723.59 c #Conflicts: 384000 | #Constraints: 20433
720.73/723.59 c #Conflicts: 385000 | #Constraints: 21433
720.73/723.59 c #Conflicts: 386000 | #Constraints: 22433
720.73/723.59 c #Conflicts: 387000 | #Constraints: 23433
720.73/723.59 c #Conflicts: 388000 | #Constraints: 24433
720.73/723.59 c #Conflicts: 389000 | #Constraints: 25433
720.73/723.59 c #Conflicts: 390000 | #Constraints: 26433
720.73/723.59 c #Conflicts: 391000 | #Constraints: 27433
720.73/723.59 c #Conflicts: 392000 | #Constraints: 28433
720.73/723.59 c #Conflicts: 393000 | #Constraints: 29433
720.73/723.59 c #Conflicts: 394000 | #Constraints: 30433
720.73/723.59 c INPROCESSING
720.73/723.59 c GARBAGE COLLECT
720.73/723.59 c #Conflicts: 395000 | #Constraints: 19038
720.73/723.59 c #Conflicts: 396000 | #Constraints: 20038
720.73/723.59 c #Conflicts: 397000 | #Constraints: 21038
720.73/723.59 c #Conflicts: 398000 | #Constraints: 22038
720.73/723.59 c #Conflicts: 399000 | #Constraints: 23038
720.73/723.59 c #Conflicts: 400000 | #Constraints: 24038
720.73/723.59 c #Conflicts: 401000 | #Constraints: 25038
720.73/723.59 c #Conflicts: 402000 | #Constraints: 26038
720.73/723.59 c #Conflicts: 403000 | #Constraints: 27038
720.73/723.59 c #Conflicts: 404000 | #Constraints: 28038
720.73/723.59 c #Conflicts: 405000 | #Constraints: 29038
720.73/723.59 c #Conflicts: 406000 | #Constraints: 30038
720.73/723.59 c #Conflicts: 407000 | #Constraints: 31038
720.73/723.59 c INPROCESSING
720.73/723.59 c GARBAGE COLLECT
720.73/723.59 c #Conflicts: 408000 | #Constraints: 19434
720.73/723.59 c #Conflicts: 409000 | #Constraints: 20434
720.73/723.59 c #Conflicts: 410000 | #Constraints: 21434
720.73/723.59 c #Conflicts: 411000 | #Constraints: 22434
720.73/723.59 c #Conflicts: 412000 | #Constraints: 23434
720.73/723.59 c #Conflicts: 413000 | #Constraints: 24434
720.73/723.59 c #Conflicts: 414000 | #Constraints: 25434
720.73/723.59 c #Conflicts: 415000 | #Constraints: 26434
720.73/723.59 c #Conflicts: 416000 | #Constraints: 27434
720.73/723.59 c #Conflicts: 417000 | #Constraints: 28434
720.73/723.59 c #Conflicts: 418000 | #Constraints: 29434
720.73/723.59 c #Conflicts: 419000 | #Constraints: 30434
720.73/723.59 c #Conflicts: 420000 | #Constraints: 31434
720.73/723.59 c INPROCESSING
720.73/723.59 c GARBAGE COLLECT
720.73/723.59 c #Conflicts: 421000 | #Constraints: 19632
720.73/723.59 c #Conflicts: 422000 | #Constraints: 20632
720.73/723.59 c #Conflicts: 423000 | #Constraints: 21632
880.59/884.03 c #Conflicts: 424000 | #Constraints: 22632
880.59/884.03 c #Conflicts: 425000 | #Constraints: 23632
880.59/884.03 c #Conflicts: 426000 | #Constraints: 24632
880.59/884.03 c #Conflicts: 427000 | #Constraints: 25632
880.59/884.03 c #Conflicts: 428000 | #Constraints: 26632
880.59/884.03 c #Conflicts: 429000 | #Constraints: 27632
880.59/884.03 c #Conflicts: 430000 | #Constraints: 28632
880.59/884.03 c #Conflicts: 431000 | #Constraints: 29632
880.59/884.03 c #Conflicts: 432000 | #Constraints: 30632
880.59/884.03 c #Conflicts: 433000 | #Constraints: 31632
880.59/884.03 c INPROCESSING
880.59/884.03 c GARBAGE COLLECT
880.59/884.03 c #Conflicts: 434000 | #Constraints: 19630
880.59/884.03 c #Conflicts: 435000 | #Constraints: 20630
880.59/884.03 c #Conflicts: 436000 | #Constraints: 21630
880.59/884.03 c #Conflicts: 437000 | #Constraints: 22630
880.59/884.03 c #Conflicts: 438000 | #Constraints: 23630
880.59/884.03 c #Conflicts: 439000 | #Constraints: 24630
880.59/884.03 c #Conflicts: 440000 | #Constraints: 25630
880.59/884.03 c #Conflicts: 441000 | #Constraints: 26630
880.59/884.03 c #Conflicts: 442000 | #Constraints: 27630
880.59/884.03 c #Conflicts: 443000 | #Constraints: 28630
880.59/884.03 c #Conflicts: 444000 | #Constraints: 29630
880.59/884.03 c #Conflicts: 445000 | #Constraints: 30630
880.59/884.03 c #Conflicts: 446000 | #Constraints: 31630
880.59/884.03 c INPROCESSING
880.59/884.03 c GARBAGE COLLECT
880.59/884.03 c #Conflicts: 447000 | #Constraints: 19431
880.59/884.03 c #Conflicts: 448000 | #Constraints: 20431
880.59/884.03 c #Conflicts: 449000 | #Constraints: 21431
880.59/884.03 c #Conflicts: 450000 | #Constraints: 22431
880.59/884.03 c #Conflicts: 451000 | #Constraints: 23431
880.59/884.03 c #Conflicts: 452000 | #Constraints: 24431
880.59/884.03 c #Conflicts: 453000 | #Constraints: 25431
880.59/884.03 c #Conflicts: 454000 | #Constraints: 26431
880.59/884.03 c #Conflicts: 455000 | #Constraints: 27431
880.59/884.03 c #Conflicts: 456000 | #Constraints: 28431
880.59/884.03 c #Conflicts: 457000 | #Constraints: 29431
880.59/884.03 c #Conflicts: 458000 | #Constraints: 30431
880.59/884.03 c #Conflicts: 459000 | #Constraints: 31431
880.59/884.03 c #Conflicts: 460000 | #Constraints: 32431
880.59/884.03 c INPROCESSING
880.59/884.03 c GARBAGE COLLECT
880.59/884.03 c #Conflicts: 461000 | #Constraints: 20039
880.59/884.03 c #Conflicts: 462000 | #Constraints: 21039
880.59/884.03 c #Conflicts: 463000 | #Constraints: 22039
880.59/884.03 c #Conflicts: 464000 | #Constraints: 23039
880.59/884.03 c #Conflicts: 465000 | #Constraints: 24039
880.59/884.03 c #Conflicts: 466000 | #Constraints: 25039
880.59/884.03 c #Conflicts: 467000 | #Constraints: 26039
880.59/884.03 c #Conflicts: 468000 | #Constraints: 27039
880.59/884.03 c #Conflicts: 469000 | #Constraints: 28039
880.59/884.03 c #Conflicts: 470000 | #Constraints: 29039
880.59/884.03 c #Conflicts: 471000 | #Constraints: 30039
880.59/884.03 c #Conflicts: 472000 | #Constraints: 31039
880.59/884.03 c #Conflicts: 473000 | #Constraints: 32039
880.59/884.03 c #Conflicts: 474000 | #Constraints: 33039
880.59/884.03 c INPROCESSING
880.59/884.03 c GARBAGE COLLECT
880.59/884.03 c #Conflicts: 475000 | #Constraints: 20437
880.59/884.03 c #Conflicts: 476000 | #Constraints: 21437
880.59/884.03 c #Conflicts: 477000 | #Constraints: 22437
880.59/884.03 c #Conflicts: 478000 | #Constraints: 23437
880.59/884.03 c #Conflicts: 479000 | #Constraints: 24437
880.59/884.03 c #Conflicts: 480000 | #Constraints: 25437
880.59/884.03 c #Conflicts: 481000 | #Constraints: 26437
880.59/884.03 c #Conflicts: 482000 | #Constraints: 27437
880.59/884.03 c #Conflicts: 483000 | #Constraints: 28437
880.59/884.03 c #Conflicts: 484000 | #Constraints: 29437
880.59/884.03 c #Conflicts: 485000 | #Constraints: 30437
880.59/884.03 c #Conflicts: 486000 | #Constraints: 31437
880.59/884.03 c #Conflicts: 487000 | #Constraints: 32437
880.59/884.03 c #Conflicts: 488000 | #Constraints: 33437
880.59/884.03 c INPROCESSING
880.59/884.03 c GARBAGE COLLECT
880.59/884.03 c #Conflicts: 489000 | #Constraints: 20635
880.59/884.03 c #Conflicts: 490000 | #Constraints: 21635
880.59/884.03 c #Conflicts: 491000 | #Constraints: 22635
880.59/884.03 c #Conflicts: 492000 | #Constraints: 23635
880.59/884.03 c #Conflicts: 493000 | #Constraints: 24635
880.59/884.03 c #Conflicts: 494000 | #Constraints: 25635
880.59/884.03 c #Conflicts: 495000 | #Constraints: 26635
880.59/884.03 c #Conflicts: 496000 | #Constraints: 27635
880.59/884.03 c #Conflicts: 497000 | #Constraints: 28635
880.59/884.03 c #Conflicts: 498000 | #Constraints: 29635
880.59/884.03 c #Conflicts: 499000 | #Constraints: 30635
1003.11/1007.07 c #Conflicts: 500000 | #Constraints: 31635
1003.11/1007.07 c #Conflicts: 501000 | #Constraints: 32635
1003.11/1007.07 c #Conflicts: 502000 | #Constraints: 33635
1003.11/1007.07 c INPROCESSING
1003.11/1007.07 c GARBAGE COLLECT
1003.11/1007.07 c #Conflicts: 503000 | #Constraints: 20632
1003.11/1007.07 c #Conflicts: 504000 | #Constraints: 21632
1003.11/1007.07 c #Conflicts: 505000 | #Constraints: 22632
1003.11/1007.07 c #Conflicts: 506000 | #Constraints: 23632
1003.11/1007.07 c #Conflicts: 507000 | #Constraints: 24632
1003.11/1007.07 c #Conflicts: 508000 | #Constraints: 25632
1003.11/1007.07 c #Conflicts: 509000 | #Constraints: 26632
1003.11/1007.07 c #Conflicts: 510000 | #Constraints: 27632
1003.11/1007.07 c #Conflicts: 511000 | #Constraints: 28632
1003.11/1007.07 c #Conflicts: 512000 | #Constraints: 29632
1003.11/1007.07 c #Conflicts: 513000 | #Constraints: 30632
1003.11/1007.07 c #Conflicts: 514000 | #Constraints: 31632
1003.11/1007.07 c #Conflicts: 515000 | #Constraints: 32632
1003.11/1007.07 c #Conflicts: 516000 | #Constraints: 33632
1003.11/1007.07 c INPROCESSING
1003.11/1007.07 c GARBAGE COLLECT
1003.11/1007.07 c #Conflicts: 517000 | #Constraints: 20432
1003.11/1007.07 c #Conflicts: 518000 | #Constraints: 21432
1003.11/1007.07 c #Conflicts: 519000 | #Constraints: 22432
1003.11/1007.07 c #Conflicts: 520000 | #Constraints: 23432
1003.11/1007.07 c #Conflicts: 521000 | #Constraints: 24432
1003.11/1007.07 c #Conflicts: 522000 | #Constraints: 25432
1003.11/1007.07 c #Conflicts: 523000 | #Constraints: 26432
1003.11/1007.07 c #Conflicts: 524000 | #Constraints: 27432
1003.11/1007.07 c #Conflicts: 525000 | #Constraints: 28432
1003.11/1007.07 c #Conflicts: 526000 | #Constraints: 29432
1003.11/1007.07 c #Conflicts: 527000 | #Constraints: 30432
1003.11/1007.07 c #Conflicts: 528000 | #Constraints: 31432
1003.11/1007.07 c #Conflicts: 529000 | #Constraints: 32432
1003.11/1007.07 c #Conflicts: 530000 | #Constraints: 33432
1003.11/1007.07 c #Conflicts: 531000 | #Constraints: 34432
1003.11/1007.07 c INPROCESSING
1003.11/1007.07 c GARBAGE COLLECT
1003.11/1007.07 c #Conflicts: 532000 | #Constraints: 21035
1003.11/1007.07 c #Conflicts: 533000 | #Constraints: 22035
1003.11/1007.07 c #Conflicts: 534000 | #Constraints: 23035
1003.11/1007.07 c #Conflicts: 535000 | #Constraints: 24035
1003.11/1007.07 c #Conflicts: 536000 | #Constraints: 25035
1003.11/1007.07 c #Conflicts: 537000 | #Constraints: 26035
1003.11/1007.07 c #Conflicts: 538000 | #Constraints: 27035
1003.11/1007.07 c #Conflicts: 539000 | #Constraints: 28035
1003.11/1007.07 c #Conflicts: 540000 | #Constraints: 29035
1003.11/1007.07 c #Conflicts: 541000 | #Constraints: 30035
1003.11/1007.07 c #Conflicts: 542000 | #Constraints: 31035
1003.11/1007.07 c #Conflicts: 543000 | #Constraints: 32035
1003.11/1007.07 c #Conflicts: 544000 | #Constraints: 33035
1003.11/1007.07 c #Conflicts: 545000 | #Constraints: 34035
1003.11/1007.07 c #Conflicts: 546000 | #Constraints: 35035
1003.11/1007.07 c INPROCESSING
1003.11/1007.07 c GARBAGE COLLECT
1003.11/1007.07 c #Conflicts: 547000 | #Constraints: 21418
1003.11/1007.07 c #Conflicts: 548000 | #Constraints: 22418
1003.11/1007.07 c #Conflicts: 549000 | #Constraints: 23418
1003.11/1007.07 c #Conflicts: 550000 | #Constraints: 24418
1003.11/1007.07 c #Conflicts: 551000 | #Constraints: 25418
1003.11/1007.07 c #Conflicts: 552000 | #Constraints: 26418
1003.11/1007.07 c #Conflicts: 553000 | #Constraints: 27418
1003.11/1007.07 c #Conflicts: 554000 | #Constraints: 28418
1003.11/1007.07 c #Conflicts: 555000 | #Constraints: 29418
1003.11/1007.07 c #Conflicts: 556000 | #Constraints: 30418
1003.11/1007.07 c #Conflicts: 557000 | #Constraints: 31418
1003.11/1007.07 c #Conflicts: 558000 | #Constraints: 32418
1003.11/1007.07 c #Conflicts: 559000 | #Constraints: 33418
1003.11/1007.07 c #Conflicts: 560000 | #Constraints: 34418
1003.11/1007.07 c #Conflicts: 561000 | #Constraints: 35418
1003.11/1007.07 c INPROCESSING
1003.11/1007.07 c GARBAGE COLLECT
1003.11/1007.07 c #Conflicts: 562000 | #Constraints: 21613
1003.11/1007.07 c #Conflicts: 563000 | #Constraints: 22613
1003.11/1007.07 c #Conflicts: 564000 | #Constraints: 23613
1003.11/1007.07 c #Conflicts: 565000 | #Constraints: 24613
1003.11/1007.07 c #Conflicts: 566000 | #Constraints: 25613
1003.11/1007.07 c #Conflicts: 567000 | #Constraints: 26613
1003.11/1007.07 c #Conflicts: 568000 | #Constraints: 27613
1003.11/1007.07 c #Conflicts: 569000 | #Constraints: 28613
1003.11/1007.07 c #Conflicts: 570000 | #Constraints: 29613
1003.11/1007.07 c #Conflicts: 571000 | #Constraints: 30613
1003.11/1007.07 c #Conflicts: 572000 | #Constraints: 31613
1003.11/1007.07 c #Conflicts: 573000 | #Constraints: 32613
1003.11/1007.07 c #Conflicts: 574000 | #Constraints: 33613
1003.11/1007.07 c #Conflicts: 575000 | #Constraints: 34613
1147.90/1152.43 c #Conflicts: 576000 | #Constraints: 35613
1147.90/1152.43 c INPROCESSING
1147.90/1152.43 c GARBAGE COLLECT
1147.90/1152.43 c #Conflicts: 577000 | #Constraints: 21612
1147.90/1152.43 c #Conflicts: 578000 | #Constraints: 22612
1147.90/1152.43 c #Conflicts: 579000 | #Constraints: 23612
1147.90/1152.43 c #Conflicts: 580000 | #Constraints: 24612
1147.90/1152.43 c #Conflicts: 581000 | #Constraints: 25612
1147.90/1152.43 c #Conflicts: 582000 | #Constraints: 26612
1147.90/1152.43 c #Conflicts: 583000 | #Constraints: 27612
1147.90/1152.43 c #Conflicts: 584000 | #Constraints: 28612
1147.90/1152.43 c #Conflicts: 585000 | #Constraints: 29612
1147.90/1152.43 c #Conflicts: 586000 | #Constraints: 30612
1147.90/1152.43 c #Conflicts: 587000 | #Constraints: 31612
1147.90/1152.43 c #Conflicts: 588000 | #Constraints: 32612
1147.90/1152.43 c #Conflicts: 589000 | #Constraints: 33612
1147.90/1152.43 c #Conflicts: 590000 | #Constraints: 34612
1147.90/1152.43 c #Conflicts: 591000 | #Constraints: 35612
1147.90/1152.43 c INPROCESSING
1147.90/1152.43 c GARBAGE COLLECT
1147.90/1152.43 c #Conflicts: 592000 | #Constraints: 21422
1147.90/1152.43 c #Conflicts: 593000 | #Constraints: 22422
1147.90/1152.43 c #Conflicts: 594000 | #Constraints: 23422
1147.90/1152.43 c #Conflicts: 595000 | #Constraints: 24422
1147.90/1152.43 c #Conflicts: 596000 | #Constraints: 25422
1147.90/1152.43 c #Conflicts: 597000 | #Constraints: 26422
1147.90/1152.43 c #Conflicts: 598000 | #Constraints: 27422
1147.90/1152.43 c #Conflicts: 599000 | #Constraints: 28422
1147.90/1152.43 c #Conflicts: 600000 | #Constraints: 29422
1147.90/1152.43 c #Conflicts: 601000 | #Constraints: 30422
1147.90/1152.43 c #Conflicts: 602000 | #Constraints: 31422
1147.90/1152.43 c #Conflicts: 603000 | #Constraints: 32422
1147.90/1152.43 c #Conflicts: 604000 | #Constraints: 33422
1147.90/1152.43 c #Conflicts: 605000 | #Constraints: 34422
1147.90/1152.43 c #Conflicts: 606000 | #Constraints: 35422
1147.90/1152.43 c #Conflicts: 607000 | #Constraints: 36422
1147.90/1152.43 c INPROCESSING
1147.90/1152.43 c GARBAGE COLLECT
1147.90/1152.43 c #Conflicts: 608000 | #Constraints: 22030
1147.90/1152.43 c #Conflicts: 609000 | #Constraints: 23030
1147.90/1152.43 c #Conflicts: 610000 | #Constraints: 24030
1147.90/1152.43 c #Conflicts: 611000 | #Constraints: 25030
1147.90/1152.43 c #Conflicts: 612000 | #Constraints: 26030
1147.90/1152.43 c #Conflicts: 613000 | #Constraints: 27030
1147.90/1152.43 c #Conflicts: 614000 | #Constraints: 28030
1147.90/1152.43 c #Conflicts: 615000 | #Constraints: 29030
1147.90/1152.43 c #Conflicts: 616000 | #Constraints: 30030
1147.90/1152.43 c #Conflicts: 617000 | #Constraints: 31030
1147.90/1152.43 c #Conflicts: 618000 | #Constraints: 32030
1147.90/1152.43 c #Conflicts: 619000 | #Constraints: 33030
1147.90/1152.43 c #Conflicts: 620000 | #Constraints: 34030
1147.90/1152.43 c #Conflicts: 621000 | #Constraints: 35030
1147.90/1152.43 c #Conflicts: 622000 | #Constraints: 36030
1147.90/1152.43 c #Conflicts: 623000 | #Constraints: 37030
1147.90/1152.43 c INPROCESSING
1147.90/1152.43 c GARBAGE COLLECT
1147.90/1152.43 c #Conflicts: 624000 | #Constraints: 22432
1147.90/1152.43 c #Conflicts: 625000 | #Constraints: 23432
1147.90/1152.43 c #Conflicts: 626000 | #Constraints: 24432
1147.90/1152.43 c #Conflicts: 627000 | #Constraints: 25432
1147.90/1152.43 c #Conflicts: 628000 | #Constraints: 26432
1147.90/1152.43 c #Conflicts: 629000 | #Constraints: 27432
1147.90/1152.43 c #Conflicts: 630000 | #Constraints: 28432
1147.90/1152.43 c #Conflicts: 631000 | #Constraints: 29432
1147.90/1152.43 c #Conflicts: 632000 | #Constraints: 30432
1147.90/1152.43 c #Conflicts: 633000 | #Constraints: 31432
1147.90/1152.43 c #Conflicts: 634000 | #Constraints: 32432
1147.90/1152.43 c #Conflicts: 635000 | #Constraints: 33432
1147.90/1152.43 c #Conflicts: 636000 | #Constraints: 34432
1147.90/1152.43 c #Conflicts: 637000 | #Constraints: 35432
1147.90/1152.43 c #Conflicts: 638000 | #Constraints: 36432
1147.90/1152.43 c #Conflicts: 639000 | #Constraints: 37432
1147.90/1152.43 c INPROCESSING
1147.90/1152.43 c GARBAGE COLLECT
1147.90/1152.43 c #Conflicts: 640000 | #Constraints: 22631
1147.90/1152.43 c #Conflicts: 641000 | #Constraints: 23631
1147.90/1152.43 c #Conflicts: 642000 | #Constraints: 24631
1147.90/1152.43 c #Conflicts: 643000 | #Constraints: 25631
1147.90/1152.43 c #Conflicts: 644000 | #Constraints: 26631
1147.90/1152.43 c #Conflicts: 645000 | #Constraints: 27631
1147.90/1152.43 c #Conflicts: 646000 | #Constraints: 28631
1147.90/1152.43 c #Conflicts: 647000 | #Constraints: 29631
1147.90/1152.43 c #Conflicts: 648000 | #Constraints: 30631
1147.90/1152.43 c #Conflicts: 649000 | #Constraints: 31631
1147.90/1152.43 c #Conflicts: 650000 | #Constraints: 32631
1309.96/1315.13 c #Conflicts: 651000 | #Constraints: 33631
1309.96/1315.13 c #Conflicts: 652000 | #Constraints: 34631
1309.96/1315.13 c #Conflicts: 653000 | #Constraints: 35631
1309.96/1315.13 c #Conflicts: 654000 | #Constraints: 36631
1309.96/1315.13 c #Conflicts: 655000 | #Constraints: 37631
1309.96/1315.13 c INPROCESSING
1309.96/1315.13 c GARBAGE COLLECT
1309.96/1315.13 c #Conflicts: 656000 | #Constraints: 22634
1309.96/1315.13 c #Conflicts: 657000 | #Constraints: 23634
1309.96/1315.13 c #Conflicts: 658000 | #Constraints: 24634
1309.96/1315.13 c #Conflicts: 659000 | #Constraints: 25634
1309.96/1315.13 c #Conflicts: 660000 | #Constraints: 26634
1309.96/1315.13 c #Conflicts: 661000 | #Constraints: 27634
1309.96/1315.13 c #Conflicts: 662000 | #Constraints: 28634
1309.96/1315.13 c #Conflicts: 663000 | #Constraints: 29634
1309.96/1315.13 c #Conflicts: 664000 | #Constraints: 30634
1309.96/1315.13 c #Conflicts: 665000 | #Constraints: 31634
1309.96/1315.13 c #Conflicts: 666000 | #Constraints: 32634
1309.96/1315.13 c #Conflicts: 667000 | #Constraints: 33634
1309.96/1315.13 c #Conflicts: 668000 | #Constraints: 34634
1309.96/1315.13 c #Conflicts: 669000 | #Constraints: 35634
1309.96/1315.13 c #Conflicts: 670000 | #Constraints: 36634
1309.96/1315.13 c #Conflicts: 671000 | #Constraints: 37634
1309.96/1315.13 c INPROCESSING
1309.96/1315.13 c GARBAGE COLLECT
1309.96/1315.13 c #Conflicts: 672000 | #Constraints: 22435
1309.96/1315.13 c #Conflicts: 673000 | #Constraints: 23435
1309.96/1315.13 c #Conflicts: 674000 | #Constraints: 24435
1309.96/1315.13 c #Conflicts: 675000 | #Constraints: 25435
1309.96/1315.13 c #Conflicts: 676000 | #Constraints: 26435
1309.96/1315.13 c #Conflicts: 677000 | #Constraints: 27435
1309.96/1315.13 c #Conflicts: 678000 | #Constraints: 28435
1309.96/1315.13 c #Conflicts: 679000 | #Constraints: 29435
1309.96/1315.13 c #Conflicts: 680000 | #Constraints: 30435
1309.96/1315.13 c #Conflicts: 681000 | #Constraints: 31435
1309.96/1315.13 c #Conflicts: 682000 | #Constraints: 32435
1309.96/1315.13 c #Conflicts: 683000 | #Constraints: 33435
1309.96/1315.13 c #Conflicts: 684000 | #Constraints: 34435
1309.96/1315.13 c #Conflicts: 685000 | #Constraints: 35435
1309.96/1315.13 c #Conflicts: 686000 | #Constraints: 36435
1309.96/1315.13 c #Conflicts: 687000 | #Constraints: 37435
1309.96/1315.13 c #Conflicts: 688000 | #Constraints: 38435
1309.96/1315.13 c INPROCESSING
1309.96/1315.13 c GARBAGE COLLECT
1309.96/1315.13 c #Conflicts: 689000 | #Constraints: 23032
1309.96/1315.13 c #Conflicts: 690000 | #Constraints: 24032
1309.96/1315.13 c #Conflicts: 691000 | #Constraints: 25032
1309.96/1315.13 c #Conflicts: 692000 | #Constraints: 26032
1309.96/1315.13 c #Conflicts: 693000 | #Constraints: 27032
1309.96/1315.13 c #Conflicts: 694000 | #Constraints: 28032
1309.96/1315.13 c #Conflicts: 695000 | #Constraints: 29032
1309.96/1315.13 c #Conflicts: 696000 | #Constraints: 30032
1309.96/1315.13 c #Conflicts: 697000 | #Constraints: 31032
1309.96/1315.13 c #Conflicts: 698000 | #Constraints: 32032
1309.96/1315.13 c #Conflicts: 699000 | #Constraints: 33032
1309.96/1315.13 c #Conflicts: 700000 | #Constraints: 34032
1309.96/1315.13 c #Conflicts: 701000 | #Constraints: 35032
1309.96/1315.13 c #Conflicts: 702000 | #Constraints: 36032
1309.96/1315.13 c #Conflicts: 703000 | #Constraints: 37032
1309.96/1315.13 c #Conflicts: 704000 | #Constraints: 38032
1309.96/1315.13 c #Conflicts: 705000 | #Constraints: 39032
1309.96/1315.13 c INPROCESSING
1309.96/1315.13 c GARBAGE COLLECT
1309.96/1315.13 c #Conflicts: 706000 | #Constraints: 23418
1309.96/1315.13 c #Conflicts: 707000 | #Constraints: 24418
1309.96/1315.13 c #Conflicts: 708000 | #Constraints: 25418
1309.96/1315.13 c #Conflicts: 709000 | #Constraints: 26418
1309.96/1315.13 c #Conflicts: 710000 | #Constraints: 27418
1309.96/1315.13 c #Conflicts: 711000 | #Constraints: 28418
1309.96/1315.13 c #Conflicts: 712000 | #Constraints: 29418
1309.96/1315.13 c #Conflicts: 713000 | #Constraints: 30418
1309.96/1315.13 c #Conflicts: 714000 | #Constraints: 31418
1309.96/1315.13 c #Conflicts: 715000 | #Constraints: 32418
1309.96/1315.13 c #Conflicts: 716000 | #Constraints: 33418
1309.96/1315.13 c #Conflicts: 717000 | #Constraints: 34418
1309.96/1315.13 c #Conflicts: 718000 | #Constraints: 35418
1309.96/1315.13 c #Conflicts: 719000 | #Constraints: 36418
1309.96/1315.13 c #Conflicts: 720000 | #Constraints: 37418
1309.96/1315.13 c #Conflicts: 721000 | #Constraints: 38418
1309.96/1315.13 c #Conflicts: 722000 | #Constraints: 39418
1309.96/1315.13 c INPROCESSING
1309.96/1315.13 c GARBAGE COLLECT
1309.96/1315.13 c #Conflicts: 723000 | #Constraints: 23613
1309.96/1315.13 c #Conflicts: 724000 | #Constraints: 24613
1309.96/1315.13 c #Conflicts: 725000 | #Constraints: 25613
1309.96/1315.13 c #Conflicts: 726000 | #Constraints: 26613
1482.55/1488.42 c #Conflicts: 727000 | #Constraints: 27613
1482.55/1488.42 c #Conflicts: 728000 | #Constraints: 28613
1482.55/1488.42 c #Conflicts: 729000 | #Constraints: 29613
1482.55/1488.42 c #Conflicts: 730000 | #Constraints: 30613
1482.55/1488.42 c #Conflicts: 731000 | #Constraints: 31613
1482.55/1488.42 c #Conflicts: 732000 | #Constraints: 32613
1482.55/1488.42 c #Conflicts: 733000 | #Constraints: 33613
1482.55/1488.42 c #Conflicts: 734000 | #Constraints: 34613
1482.55/1488.42 c #Conflicts: 735000 | #Constraints: 35613
1482.55/1488.42 c #Conflicts: 736000 | #Constraints: 36613
1482.55/1488.42 c #Conflicts: 737000 | #Constraints: 37613
1482.55/1488.42 c #Conflicts: 738000 | #Constraints: 38613
1482.55/1488.42 c #Conflicts: 739000 | #Constraints: 39613
1482.55/1488.42 c INPROCESSING
1482.55/1488.42 c GARBAGE COLLECT
1482.55/1488.42 c #Conflicts: 740000 | #Constraints: 23609
1482.55/1488.42 c #Conflicts: 741000 | #Constraints: 24609
1482.55/1488.42 c #Conflicts: 742000 | #Constraints: 25609
1482.55/1488.42 c #Conflicts: 743000 | #Constraints: 26609
1482.55/1488.42 c #Conflicts: 744000 | #Constraints: 27609
1482.55/1488.42 c #Conflicts: 745000 | #Constraints: 28609
1482.55/1488.42 c #Conflicts: 746000 | #Constraints: 29609
1482.55/1488.42 c #Conflicts: 747000 | #Constraints: 30609
1482.55/1488.42 c #Conflicts: 748000 | #Constraints: 31609
1482.55/1488.42 c #Conflicts: 749000 | #Constraints: 32609
1482.55/1488.42 c #Conflicts: 750000 | #Constraints: 33609
1482.55/1488.42 c #Conflicts: 751000 | #Constraints: 34609
1482.55/1488.42 c #Conflicts: 752000 | #Constraints: 35609
1482.55/1488.42 c #Conflicts: 753000 | #Constraints: 36609
1482.55/1488.42 c #Conflicts: 754000 | #Constraints: 37609
1482.55/1488.42 c #Conflicts: 755000 | #Constraints: 38609
1482.55/1488.42 c #Conflicts: 756000 | #Constraints: 39609
1482.55/1488.42 c INPROCESSING
1482.55/1488.42 c GARBAGE COLLECT
1482.55/1488.42 c #Conflicts: 757000 | #Constraints: 23416
1482.55/1488.42 c #Conflicts: 758000 | #Constraints: 24416
1482.55/1488.42 c #Conflicts: 759000 | #Constraints: 25416
1482.55/1488.42 c #Conflicts: 760000 | #Constraints: 26416
1482.55/1488.42 c #Conflicts: 761000 | #Constraints: 27416
1482.55/1488.42 c #Conflicts: 762000 | #Constraints: 28416
1482.55/1488.42 c #Conflicts: 763000 | #Constraints: 29416
1482.55/1488.42 c #Conflicts: 764000 | #Constraints: 30416
1482.55/1488.42 c #Conflicts: 765000 | #Constraints: 31416
1482.55/1488.42 c #Conflicts: 766000 | #Constraints: 32416
1482.55/1488.42 c #Conflicts: 767000 | #Constraints: 33416
1482.55/1488.42 c #Conflicts: 768000 | #Constraints: 34416
1482.55/1488.42 c #Conflicts: 769000 | #Constraints: 35416
1482.55/1488.42 c #Conflicts: 770000 | #Constraints: 36416
1482.55/1488.42 c #Conflicts: 771000 | #Constraints: 37416
1482.55/1488.42 c #Conflicts: 772000 | #Constraints: 38416
1482.55/1488.42 c #Conflicts: 773000 | #Constraints: 39416
1482.55/1488.42 c #Conflicts: 774000 | #Constraints: 40416
1482.55/1488.42 c INPROCESSING
1482.55/1488.42 c GARBAGE COLLECT
1482.55/1488.42 c #Conflicts: 775000 | #Constraints: 24027
1482.55/1488.42 c #Conflicts: 776000 | #Constraints: 25027
1482.55/1488.42 c #Conflicts: 777000 | #Constraints: 26027
1482.55/1488.42 c #Conflicts: 778000 | #Constraints: 27027
1482.55/1488.42 c #Conflicts: 779000 | #Constraints: 28027
1482.55/1488.42 c #Conflicts: 780000 | #Constraints: 29027
1482.55/1488.42 c #Conflicts: 781000 | #Constraints: 30027
1482.55/1488.42 c #Conflicts: 782000 | #Constraints: 31027
1482.55/1488.42 c #Conflicts: 783000 | #Constraints: 32027
1482.55/1488.42 c #Conflicts: 784000 | #Constraints: 33027
1482.55/1488.42 c #Conflicts: 785000 | #Constraints: 34027
1482.55/1488.42 c #Conflicts: 786000 | #Constraints: 35027
1482.55/1488.42 c #Conflicts: 787000 | #Constraints: 36027
1482.55/1488.42 c #Conflicts: 788000 | #Constraints: 37027
1482.55/1488.42 c #Conflicts: 789000 | #Constraints: 38027
1482.55/1488.42 c #Conflicts: 790000 | #Constraints: 39027
1482.55/1488.42 c #Conflicts: 791000 | #Constraints: 40027
1482.55/1488.42 c #Conflicts: 792000 | #Constraints: 41027
1482.55/1488.42 c INPROCESSING
1482.55/1488.42 c GARBAGE COLLECT
1482.55/1488.42 c #Conflicts: 793000 | #Constraints: 24434
1482.55/1488.42 c #Conflicts: 794000 | #Constraints: 25434
1482.55/1488.42 c #Conflicts: 795000 | #Constraints: 26434
1482.55/1488.42 c #Conflicts: 796000 | #Constraints: 27434
1482.55/1488.42 c #Conflicts: 797000 | #Constraints: 28434
1482.55/1488.42 c #Conflicts: 798000 | #Constraints: 29434
1482.55/1488.42 c #Conflicts: 799000 | #Constraints: 30434
1482.55/1488.42 c #Conflicts: 800000 | #Constraints: 31434
1482.55/1488.42 c #Conflicts: 801000 | #Constraints: 32434
1482.55/1488.42 c #Conflicts: 802000 | #Constraints: 33434
1681.64/1688.31 c #Conflicts: 803000 | #Constraints: 34434
1681.64/1688.31 c #Conflicts: 804000 | #Constraints: 35434
1681.64/1688.31 c #Conflicts: 805000 | #Constraints: 36434
1681.64/1688.31 c #Conflicts: 806000 | #Constraints: 37434
1681.64/1688.31 c #Conflicts: 807000 | #Constraints: 38434
1681.64/1688.31 c #Conflicts: 808000 | #Constraints: 39434
1681.64/1688.31 c #Conflicts: 809000 | #Constraints: 40434
1681.64/1688.31 c #Conflicts: 810000 | #Constraints: 41434
1681.64/1688.31 c INPROCESSING
1681.64/1688.31 c GARBAGE COLLECT
1681.64/1688.31 c #Conflicts: 811000 | #Constraints: 24634
1681.64/1688.31 c #Conflicts: 812000 | #Constraints: 25634
1681.64/1688.31 c #Conflicts: 813000 | #Constraints: 26634
1681.64/1688.31 c #Conflicts: 814000 | #Constraints: 27634
1681.64/1688.31 c #Conflicts: 815000 | #Constraints: 28634
1681.64/1688.31 c #Conflicts: 816000 | #Constraints: 29634
1681.64/1688.31 c #Conflicts: 817000 | #Constraints: 30634
1681.64/1688.31 c #Conflicts: 818000 | #Constraints: 31634
1681.64/1688.31 c #Conflicts: 819000 | #Constraints: 32634
1681.64/1688.31 c #Conflicts: 820000 | #Constraints: 33634
1681.64/1688.31 c #Conflicts: 821000 | #Constraints: 34634
1681.64/1688.31 c #Conflicts: 822000 | #Constraints: 35634
1681.64/1688.31 c #Conflicts: 823000 | #Constraints: 36634
1681.64/1688.31 c #Conflicts: 824000 | #Constraints: 37634
1681.64/1688.31 c #Conflicts: 825000 | #Constraints: 38634
1681.64/1688.31 c #Conflicts: 826000 | #Constraints: 39634
1681.64/1688.31 c #Conflicts: 827000 | #Constraints: 40634
1681.64/1688.31 c #Conflicts: 828000 | #Constraints: 41634
1681.64/1688.31 c INPROCESSING
1681.64/1688.31 c GARBAGE COLLECT
1681.64/1688.31 c #Conflicts: 829000 | #Constraints: 24633
1681.64/1688.31 c #Conflicts: 830000 | #Constraints: 25633
1681.64/1688.31 c #Conflicts: 831000 | #Constraints: 26633
1681.64/1688.31 c #Conflicts: 832000 | #Constraints: 27633
1681.64/1688.31 c #Conflicts: 833000 | #Constraints: 28633
1681.64/1688.31 c #Conflicts: 834000 | #Constraints: 29633
1681.64/1688.31 c #Conflicts: 835000 | #Constraints: 30633
1681.64/1688.31 c #Conflicts: 836000 | #Constraints: 31633
1681.64/1688.31 c #Conflicts: 837000 | #Constraints: 32633
1681.64/1688.31 c #Conflicts: 838000 | #Constraints: 33633
1681.64/1688.31 c #Conflicts: 839000 | #Constraints: 34633
1681.64/1688.31 c #Conflicts: 840000 | #Constraints: 35633
1681.64/1688.31 c #Conflicts: 841000 | #Constraints: 36633
1681.64/1688.31 c #Conflicts: 842000 | #Constraints: 37633
1681.64/1688.31 c #Conflicts: 843000 | #Constraints: 38633
1681.64/1688.31 c #Conflicts: 844000 | #Constraints: 39633
1681.64/1688.31 c #Conflicts: 845000 | #Constraints: 40633
1681.64/1688.31 c #Conflicts: 846000 | #Constraints: 41633
1681.64/1688.31 c INPROCESSING
1681.64/1688.31 c GARBAGE COLLECT
1681.64/1688.31 c #Conflicts: 847000 | #Constraints: 24433
1681.64/1688.31 c #Conflicts: 848000 | #Constraints: 25433
1681.64/1688.31 c #Conflicts: 849000 | #Constraints: 26433
1681.64/1688.31 c #Conflicts: 850000 | #Constraints: 27433
1681.64/1688.31 c #Conflicts: 851000 | #Constraints: 28433
1681.64/1688.31 c #Conflicts: 852000 | #Constraints: 29433
1681.64/1688.31 c #Conflicts: 853000 | #Constraints: 30433
1681.64/1688.31 c #Conflicts: 854000 | #Constraints: 31433
1681.64/1688.31 c #Conflicts: 855000 | #Constraints: 32433
1681.64/1688.31 c #Conflicts: 856000 | #Constraints: 33433
1681.64/1688.31 c #Conflicts: 857000 | #Constraints: 34433
1681.64/1688.31 c #Conflicts: 858000 | #Constraints: 35433
1681.64/1688.31 c #Conflicts: 859000 | #Constraints: 36433
1681.64/1688.31 c #Conflicts: 860000 | #Constraints: 37433
1681.64/1688.31 c #Conflicts: 861000 | #Constraints: 38433
1681.64/1688.31 c #Conflicts: 862000 | #Constraints: 39433
1681.64/1688.31 c #Conflicts: 863000 | #Constraints: 40433
1681.64/1688.31 c #Conflicts: 864000 | #Constraints: 41433
1681.64/1688.31 c #Conflicts: 865000 | #Constraints: 42433
1681.64/1688.31 c INPROCESSING
1681.64/1688.31 c GARBAGE COLLECT
1681.64/1688.31 c #Conflicts: 866000 | #Constraints: 25033
1681.64/1688.31 c #Conflicts: 867000 | #Constraints: 26033
1681.64/1688.31 c #Conflicts: 868000 | #Constraints: 27033
1681.64/1688.31 c #Conflicts: 869000 | #Constraints: 28033
1681.64/1688.31 c #Conflicts: 870000 | #Constraints: 29033
1681.64/1688.31 c #Conflicts: 871000 | #Constraints: 30033
1681.64/1688.31 c #Conflicts: 872000 | #Constraints: 31033
1681.64/1688.31 c #Conflicts: 873000 | #Constraints: 32033
1681.64/1688.31 c #Conflicts: 874000 | #Constraints: 33033
1681.64/1688.31 c #Conflicts: 875000 | #Constraints: 34033
1681.64/1688.31 c #Conflicts: 876000 | #Constraints: 35033
1681.64/1688.31 c #Conflicts: 877000 | #Constraints: 36033
1681.64/1688.31 c #Conflicts: 878000 | #Constraints: 37033
1777.45/1784.56 c #Conflicts: 879000 | #Constraints: 38033
1777.45/1784.56 c #Conflicts: 880000 | #Constraints: 39033
1777.45/1784.56 c #Conflicts: 881000 | #Constraints: 40033
1777.45/1784.56 c #Conflicts: 882000 | #Constraints: 41033
1777.45/1784.56 c #Conflicts: 883000 | #Constraints: 42033
1777.45/1784.56 c #Conflicts: 884000 | #Constraints: 43033
1777.45/1784.56 c INPROCESSING
1777.45/1784.56 c GARBAGE COLLECT
1777.45/1784.56 c #Conflicts: 885000 | #Constraints: 25421
1777.45/1784.56 c #Conflicts: 886000 | #Constraints: 26421
1777.45/1784.56 c #Conflicts: 887000 | #Constraints: 27421
1777.45/1784.56 c #Conflicts: 888000 | #Constraints: 28421
1777.45/1784.56 c #Conflicts: 889000 | #Constraints: 29421
1777.45/1784.56 c #Conflicts: 890000 | #Constraints: 30421
1777.45/1784.56 c #Conflicts: 891000 | #Constraints: 31421
1777.45/1784.56 c #Conflicts: 892000 | #Constraints: 32421
1777.45/1784.56 c #Conflicts: 893000 | #Constraints: 33421
1777.45/1784.56 c #Conflicts: 894000 | #Constraints: 34421
1777.45/1784.56 c #Conflicts: 895000 | #Constraints: 35421
1777.45/1784.56 c #Conflicts: 896000 | #Constraints: 36421
1777.45/1784.56 c #Conflicts: 897000 | #Constraints: 37421
1777.45/1784.57 c #Conflicts: 898000 | #Constraints: 38421
1777.45/1784.57 c #Conflicts: 899000 | #Constraints: 39421
1777.45/1784.57 c #Conflicts: 900000 | #Constraints: 40421
1777.45/1784.57 c #Conflicts: 901000 | #Constraints: 41421
1777.45/1784.57 c #Conflicts: 902000 | #Constraints: 42421
1777.45/1784.57 c #Conflicts: 903000 | #Constraints: 43421
1777.45/1784.57 c INPROCESSING
1777.45/1784.57 c GARBAGE COLLECT
1777.45/1784.57 c #Conflicts: 904000 | #Constraints: 25615
1777.45/1784.57 c #Conflicts: 905000 | #Constraints: 26615
1777.45/1784.57 c #Conflicts: 906000 | #Constraints: 27615
1777.45/1784.57 c #Conflicts: 907000 | #Constraints: 28615
1777.45/1784.57 c #Conflicts: 908000 | #Constraints: 29615
1777.45/1784.57 c #Conflicts: 909000 | #Constraints: 30615
1777.45/1784.57 c #Conflicts: 910000 | #Constraints: 31615
1777.45/1784.57 c #Conflicts: 911000 | #Constraints: 32615
1777.45/1784.57 c #Conflicts: 912000 | #Constraints: 33615
1777.45/1784.57 c #Conflicts: 913000 | #Constraints: 34615
1777.45/1784.57 c #Conflicts: 914000 | #Constraints: 35615
1777.45/1784.57 c #Conflicts: 915000 | #Constraints: 36615
1777.45/1784.57 c #Conflicts: 916000 | #Constraints: 37615
1777.45/1784.57 c #Conflicts: 917000 | #Constraints: 38615
1777.45/1784.57 c #Conflicts: 918000 | #Constraints: 39615
1777.45/1784.57 c #Conflicts: 919000 | #Constraints: 40615
1777.45/1784.57 c #Conflicts: 920000 | #Constraints: 41615
1777.45/1784.57 c #Conflicts: 921000 | #Constraints: 42615
1777.45/1784.57 c #Conflicts: 922000 | #Constraints: 43615
1777.45/1784.57 c INPROCESSING
1777.45/1784.57 c GARBAGE COLLECT
1777.45/1784.57 c #Conflicts: 923000 | #Constraints: 25611
1777.45/1784.57 c #Conflicts: 924000 | #Constraints: 26611
1777.45/1784.57 c #Conflicts: 925000 | #Constraints: 27611
1777.45/1784.57 c #Conflicts: 926000 | #Constraints: 28611
1777.45/1784.57 c #Conflicts: 927000 | #Constraints: 29611
1777.45/1784.57 c #Conflicts: 928000 | #Constraints: 30611
1777.45/1784.57 c #Conflicts: 929000 | #Constraints: 31611
1777.45/1784.57 c #Conflicts: 930000 | #Constraints: 32611
1777.45/1784.57 c #Conflicts: 931000 | #Constraints: 33611
1777.45/1784.57 c #Conflicts: 932000 | #Constraints: 34611
1777.45/1784.57 c #Conflicts: 933000 | #Constraints: 35611
1777.45/1784.57 c #Conflicts: 934000 | #Constraints: 36611
1777.45/1784.57 c #Conflicts: 935000 | #Constraints: 37611
1777.45/1784.57 c #Conflicts: 936000 | #Constraints: 38611
1777.45/1784.57 c #Conflicts: 937000 | #Constraints: 39611
1777.45/1784.57 c #Conflicts: 938000 | #Constraints: 40611
1777.45/1784.57 c #Conflicts: 939000 | #Constraints: 41611
1777.45/1784.57 c #Conflicts: 940000 | #Constraints: 42611
1777.45/1784.57 c #Conflicts: 941000 | #Constraints: 43611
1777.45/1784.57 c INPROCESSING
1777.45/1784.57 c GARBAGE COLLECT
1777.45/1784.57 c #Conflicts: 942000 | #Constraints: 25411
1777.45/1784.57 c #Conflicts: 943000 | #Constraints: 26411
1777.45/1784.57 c #Conflicts: 944000 | #Constraints: 27411
1777.45/1784.57 c #Conflicts: 945000 | #Constraints: 28411
1777.45/1784.57 c #Conflicts: 946000 | #Constraints: 29411
1777.45/1784.57 c #Conflicts: 947000 | #Constraints: 30411
1777.45/1784.57 c #Conflicts: 948000 | #Constraints: 31411
1777.45/1784.57 c #Conflicts: 949000 | #Constraints: 32411
1777.45/1784.57 c #Conflicts: 950000 | #Constraints: 33411
1777.45/1784.57 c #Conflicts: 951000 | #Constraints: 34411
1777.45/1784.57 c #Conflicts: 952000 | #Constraints: 35411
1777.45/1784.57 c #Conflicts: 953000 | #Constraints: 36411
1777.45/1784.57 c #Conflicts: 954000 | #Constraints: 37411
1859.63/1867.11 c #Conflicts: 955000 | #Constraints: 38411
1859.63/1867.11 c #Conflicts: 956000 | #Constraints: 39411
1859.63/1867.11 c #Conflicts: 957000 | #Constraints: 40411
1859.63/1867.11 c #Conflicts: 958000 | #Constraints: 41411
1859.63/1867.11 c #Conflicts: 959000 | #Constraints: 42411
1859.63/1867.11 c #Conflicts: 960000 | #Constraints: 43411
1859.63/1867.11 c #Conflicts: 961000 | #Constraints: 44411
1859.63/1867.11 c INPROCESSING
1859.63/1867.11 c GARBAGE COLLECT
1859.63/1867.11 c #Conflicts: 962000 | #Constraints: 26014
1859.63/1867.11 c #Conflicts: 963000 | #Constraints: 27014
1859.63/1867.11 c #Conflicts: 964000 | #Constraints: 28014
1859.63/1867.11 c #Conflicts: 965000 | #Constraints: 29014
1859.63/1867.11 c #Conflicts: 966000 | #Constraints: 30014
1859.63/1867.11 c #Conflicts: 967000 | #Constraints: 31014
1859.63/1867.11 c #Conflicts: 968000 | #Constraints: 32014
1859.63/1867.11 c #Conflicts: 969000 | #Constraints: 33014
1859.63/1867.11 c #Conflicts: 970000 | #Constraints: 34014
1859.63/1867.11 c #Conflicts: 971000 | #Constraints: 35014
1859.63/1867.11 c #Conflicts: 972000 | #Constraints: 36014
1859.63/1867.11 c #Conflicts: 973000 | #Constraints: 37014
1859.63/1867.11 c #Conflicts: 974000 | #Constraints: 38014
1859.63/1867.11 c #Conflicts: 975000 | #Constraints: 39014
1859.63/1867.11 c #Conflicts: 976000 | #Constraints: 40014
1859.63/1867.11 c #Conflicts: 977000 | #Constraints: 41014
1859.63/1867.11 c #Conflicts: 978000 | #Constraints: 42014
1859.63/1867.11 c #Conflicts: 979000 | #Constraints: 43014
1859.63/1867.11 c #Conflicts: 980000 | #Constraints: 44014
1859.63/1867.11 c #Conflicts: 981000 | #Constraints: 45014
1859.63/1867.11 c INPROCESSING
1859.63/1867.11 c GARBAGE COLLECT
1859.63/1867.11 c #Conflicts: 982000 | #Constraints: 26410
1859.63/1867.11 c #Conflicts: 983000 | #Constraints: 27410
1859.63/1867.11 c #Conflicts: 984000 | #Constraints: 28410
1859.63/1867.11 c #Conflicts: 985000 | #Constraints: 29410
1859.63/1867.11 c #Conflicts: 986000 | #Constraints: 30410
1859.63/1867.11 c #Conflicts: 987000 | #Constraints: 31410
1859.63/1867.11 c #Conflicts: 988000 | #Constraints: 32410
1859.63/1867.11 c #Conflicts: 989000 | #Constraints: 33410
1859.63/1867.11 c #Conflicts: 990000 | #Constraints: 34410
1859.63/1867.11 c #Conflicts: 991000 | #Constraints: 35410
1859.63/1867.11 c #Conflicts: 992000 | #Constraints: 36410
1859.63/1867.11 c #Conflicts: 993000 | #Constraints: 37410
1859.63/1867.11 c #Conflicts: 994000 | #Constraints: 38410
1859.63/1867.11 c #Conflicts: 995000 | #Constraints: 39410
1859.63/1867.11 c #Conflicts: 996000 | #Constraints: 40410
1859.63/1867.11 c #Conflicts: 997000 | #Constraints: 41410
1859.63/1867.11 c #Conflicts: 998000 | #Constraints: 42410
1859.63/1867.11 c #Conflicts: 999000 | #Constraints: 43410
1859.63/1867.11 c #Conflicts: 1000000 | #Constraints: 44410
1859.63/1867.11 c #Conflicts: 1001000 | #Constraints: 45410
1859.63/1867.11 c INPROCESSING
1859.63/1867.11 c GARBAGE COLLECT
1859.63/1867.11 c #Conflicts: 1002000 | #Constraints: 26612
1859.63/1867.11 c #Conflicts: 1003000 | #Constraints: 27612
1859.63/1867.11 c #Conflicts: 1004000 | #Constraints: 28612
1859.63/1867.11 c #Conflicts: 1005000 | #Constraints: 29612
1859.63/1867.11 c #Conflicts: 1006000 | #Constraints: 30612
1859.63/1867.11 c #Conflicts: 1007000 | #Constraints: 31612
1859.63/1867.11 c #Conflicts: 1008000 | #Constraints: 32612
1859.63/1867.11 c #Conflicts: 1009000 | #Constraints: 33612
1859.63/1867.11 c #Conflicts: 1010000 | #Constraints: 34612
1859.63/1867.11 c #Conflicts: 1011000 | #Constraints: 35612
1859.63/1867.11 c #Conflicts: 1012000 | #Constraints: 36612
1859.63/1867.11 c #Conflicts: 1013000 | #Constraints: 37612
1859.63/1867.11 c #Conflicts: 1014000 | #Constraints: 38612
1859.63/1867.11 c #Conflicts: 1015000 | #Constraints: 39612
1859.63/1867.11 c #Conflicts: 1016000 | #Constraints: 40612
1859.63/1867.11 c #Conflicts: 1017000 | #Constraints: 41612
1859.63/1867.11 c #Conflicts: 1018000 | #Constraints: 42612
1859.63/1867.11 c #Conflicts: 1019000 | #Constraints: 43612
1859.63/1867.11 c #Conflicts: 1020000 | #Constraints: 44612
1859.63/1867.11 c #Conflicts: 1021000 | #Constraints: 45612
1859.63/1867.11 c INPROCESSING
1859.63/1867.11 c GARBAGE COLLECT
1859.63/1867.11 c #Conflicts: 1022000 | #Constraints: 26612
1859.63/1867.11 c #Conflicts: 1023000 | #Constraints: 27612
1859.63/1867.11 c #Conflicts: 1024000 | #Constraints: 28612
1859.63/1867.11 c #Conflicts: 1025000 | #Constraints: 29612
1859.63/1867.11 c #Conflicts: 1026000 | #Constraints: 30612
1859.63/1867.11 c #Conflicts: 1027000 | #Constraints: 31612
1859.63/1867.11 c #Conflicts: 1028000 | #Constraints: 32612
1859.63/1867.11 c #Conflicts: 1029000 | #Constraints: 33612
1859.63/1867.11 c #Conflicts: 1030000 | #Constraints: 34612
1859.63/1867.11 c #Conflicts: 1031000 | #Constraints: 35612
1939.61/1947.30 c #Conflicts: 1032000 | #Constraints: 36612
1939.61/1947.30 c #Conflicts: 1033000 | #Constraints: 37612
1939.61/1947.30 c #Conflicts: 1034000 | #Constraints: 38612
1939.61/1947.30 c #Conflicts: 1035000 | #Constraints: 39612
1939.61/1947.30 c #Conflicts: 1036000 | #Constraints: 40612
1939.61/1947.30 c #Conflicts: 1037000 | #Constraints: 41612
1939.61/1947.30 c #Conflicts: 1038000 | #Constraints: 42612
1939.61/1947.30 c #Conflicts: 1039000 | #Constraints: 43612
1939.61/1947.30 c #Conflicts: 1040000 | #Constraints: 44612
1939.61/1947.30 c #Conflicts: 1041000 | #Constraints: 45612
1939.61/1947.30 c INPROCESSING
1939.61/1947.30 c GARBAGE COLLECT
1939.61/1947.30 c #Conflicts: 1042000 | #Constraints: 26410
1939.61/1947.30 c #Conflicts: 1043000 | #Constraints: 27410
1939.61/1947.30 c #Conflicts: 1044000 | #Constraints: 28410
1939.61/1947.30 c #Conflicts: 1045000 | #Constraints: 29410
1939.61/1947.30 c #Conflicts: 1046000 | #Constraints: 30410
1939.61/1947.30 c #Conflicts: 1047000 | #Constraints: 31410
1939.61/1947.30 c #Conflicts: 1048000 | #Constraints: 32410
1939.61/1947.30 c #Conflicts: 1049000 | #Constraints: 33410
1939.61/1947.30 c #Conflicts: 1050000 | #Constraints: 34410
1939.61/1947.30 c #Conflicts: 1051000 | #Constraints: 35410
1939.61/1947.30 c #Conflicts: 1052000 | #Constraints: 36410
1939.61/1947.30 c #Conflicts: 1053000 | #Constraints: 37410
1939.61/1947.30 c #Conflicts: 1054000 | #Constraints: 38410
1939.61/1947.30 c #Conflicts: 1055000 | #Constraints: 39410
1939.61/1947.30 c #Conflicts: 1056000 | #Constraints: 40410
1939.61/1947.30 c #Conflicts: 1057000 | #Constraints: 41410
1939.61/1947.30 c #Conflicts: 1058000 | #Constraints: 42410
1939.61/1947.30 c #Conflicts: 1059000 | #Constraints: 43410
1939.61/1947.30 c #Conflicts: 1060000 | #Constraints: 44410
1939.61/1947.30 c #Conflicts: 1061000 | #Constraints: 45410
1939.61/1947.30 c #Conflicts: 1062000 | #Constraints: 46410
1939.61/1947.30 c INPROCESSING
1939.61/1947.30 c GARBAGE COLLECT
1939.61/1947.30 c #Conflicts: 1063000 | #Constraints: 27011
1939.61/1947.30 c #Conflicts: 1064000 | #Constraints: 28011
1939.61/1947.30 c #Conflicts: 1065000 | #Constraints: 29011
1939.61/1947.30 c #Conflicts: 1066000 | #Constraints: 30011
1939.61/1947.30 c #Conflicts: 1067000 | #Constraints: 31011
1939.61/1947.30 c #Conflicts: 1068000 | #Constraints: 32011
1939.61/1947.30 c #Conflicts: 1069000 | #Constraints: 33011
1939.61/1947.30 c #Conflicts: 1070000 | #Constraints: 34011
1939.61/1947.30 c #Conflicts: 1071000 | #Constraints: 35011
1939.61/1947.30 c #Conflicts: 1072000 | #Constraints: 36011
1939.61/1947.30 c #Conflicts: 1073000 | #Constraints: 37011
1939.61/1947.30 c #Conflicts: 1074000 | #Constraints: 38011
1939.61/1947.30 c #Conflicts: 1075000 | #Constraints: 39011
1939.61/1947.30 c #Conflicts: 1076000 | #Constraints: 40011
1939.61/1947.30 c #Conflicts: 1077000 | #Constraints: 41011
1939.61/1947.30 c #Conflicts: 1078000 | #Constraints: 42011
1939.61/1947.30 c #Conflicts: 1079000 | #Constraints: 43011
1939.61/1947.30 c #Conflicts: 1080000 | #Constraints: 44011
1939.61/1947.30 c #Conflicts: 1081000 | #Constraints: 45011
1939.61/1947.30 c #Conflicts: 1082000 | #Constraints: 46011
1939.61/1947.30 c #Conflicts: 1083000 | #Constraints: 47011
1939.61/1947.30 c INPROCESSING
1939.61/1947.30 c GARBAGE COLLECT
1939.61/1947.30 c #Conflicts: 1084000 | #Constraints: 27411
1939.61/1947.30 c #Conflicts: 1085000 | #Constraints: 28411
1939.61/1947.30 c #Conflicts: 1086000 | #Constraints: 29411
1939.61/1947.30 c #Conflicts: 1087000 | #Constraints: 30411
1939.61/1947.30 c #Conflicts: 1088000 | #Constraints: 31411
1939.61/1947.30 c #Conflicts: 1089000 | #Constraints: 32411
1939.61/1947.30 c #Conflicts: 1090000 | #Constraints: 33411
1939.61/1947.30 c #Conflicts: 1091000 | #Constraints: 34411
1939.61/1947.30 c #Conflicts: 1092000 | #Constraints: 35411
1939.61/1947.30 c #Conflicts: 1093000 | #Constraints: 36411
1939.61/1947.30 c #Conflicts: 1094000 | #Constraints: 37411
1939.61/1947.30 c #Conflicts: 1095000 | #Constraints: 38411
1939.61/1947.30 c #Conflicts: 1096000 | #Constraints: 39411
1939.61/1947.30 c #Conflicts: 1097000 | #Constraints: 40411
1939.61/1947.30 c #Conflicts: 1098000 | #Constraints: 41411
1939.61/1947.30 c #Conflicts: 1099000 | #Constraints: 42411
1939.61/1947.30 c #Conflicts: 1100000 | #Constraints: 43411
1939.61/1947.30 c #Conflicts: 1101000 | #Constraints: 44411
1939.61/1947.30 c #Conflicts: 1102000 | #Constraints: 45411
1939.61/1947.30 c #Conflicts: 1103000 | #Constraints: 46411
1939.61/1947.30 c #Conflicts: 1104000 | #Constraints: 47411
1939.61/1947.30 c INPROCESSING
1939.61/1947.30 c GARBAGE COLLECT
1939.61/1947.30 c #Conflicts: 1105000 | #Constraints: 27612
1939.61/1947.30 c #Conflicts: 1106000 | #Constraints: 28612
1939.61/1947.30 c #Conflicts: 1107000 | #Constraints: 29612
2067.59/2075.83 c #Conflicts: 1108000 | #Constraints: 30612
2067.59/2075.83 c #Conflicts: 1109000 | #Constraints: 31612
2067.59/2075.83 c #Conflicts: 1110000 | #Constraints: 32612
2067.59/2075.83 c #Conflicts: 1111000 | #Constraints: 33612
2067.59/2075.83 c #Conflicts: 1112000 | #Constraints: 34612
2067.59/2075.83 c #Conflicts: 1113000 | #Constraints: 35612
2067.59/2075.83 c #Conflicts: 1114000 | #Constraints: 36612
2067.59/2075.83 c #Conflicts: 1115000 | #Constraints: 37612
2067.59/2075.83 c #Conflicts: 1116000 | #Constraints: 38612
2067.59/2075.83 c #Conflicts: 1117000 | #Constraints: 39612
2067.59/2075.83 c #Conflicts: 1118000 | #Constraints: 40612
2067.59/2075.83 c #Conflicts: 1119000 | #Constraints: 41612
2067.59/2075.83 c #Conflicts: 1120000 | #Constraints: 42612
2067.59/2075.83 c #Conflicts: 1121000 | #Constraints: 43612
2067.59/2075.83 c #Conflicts: 1122000 | #Constraints: 44612
2067.59/2075.83 c #Conflicts: 1123000 | #Constraints: 45612
2067.59/2075.83 c #Conflicts: 1124000 | #Constraints: 46612
2067.59/2075.83 c #Conflicts: 1125000 | #Constraints: 47612
2067.59/2075.83 c INPROCESSING
2067.59/2075.83 c GARBAGE COLLECT
2067.59/2075.83 c #Conflicts: 1126000 | #Constraints: 27610
2067.59/2075.84 c #Conflicts: 1127000 | #Constraints: 28610
2067.59/2075.84 c #Conflicts: 1128000 | #Constraints: 29610
2067.59/2075.84 c #Conflicts: 1129000 | #Constraints: 30610
2067.59/2075.84 c #Conflicts: 1130000 | #Constraints: 31610
2067.59/2075.84 c #Conflicts: 1131000 | #Constraints: 32610
2067.59/2075.84 c #Conflicts: 1132000 | #Constraints: 33610
2067.59/2075.84 c #Conflicts: 1133000 | #Constraints: 34610
2067.59/2075.84 c #Conflicts: 1134000 | #Constraints: 35610
2067.59/2075.84 c #Conflicts: 1135000 | #Constraints: 36610
2067.59/2075.84 c #Conflicts: 1136000 | #Constraints: 37610
2067.59/2075.84 c #Conflicts: 1137000 | #Constraints: 38610
2067.59/2075.84 c #Conflicts: 1138000 | #Constraints: 39610
2067.59/2075.84 c #Conflicts: 1139000 | #Constraints: 40610
2067.59/2075.84 c #Conflicts: 1140000 | #Constraints: 41610
2067.59/2075.84 c #Conflicts: 1141000 | #Constraints: 42610
2067.59/2075.84 c #Conflicts: 1142000 | #Constraints: 43610
2067.59/2075.84 c #Conflicts: 1143000 | #Constraints: 44610
2067.59/2075.84 c #Conflicts: 1144000 | #Constraints: 45610
2067.59/2075.84 c #Conflicts: 1145000 | #Constraints: 46610
2067.59/2075.84 c #Conflicts: 1146000 | #Constraints: 47610
2067.59/2075.84 c INPROCESSING
2067.59/2075.84 c GARBAGE COLLECT
2067.59/2075.84 c #Conflicts: 1147000 | #Constraints: 27413
2067.59/2075.84 c #Conflicts: 1148000 | #Constraints: 28413
2067.59/2075.84 c #Conflicts: 1149000 | #Constraints: 29413
2067.59/2075.84 c #Conflicts: 1150000 | #Constraints: 30413
2067.59/2075.84 c #Conflicts: 1151000 | #Constraints: 31413
2067.59/2075.84 c #Conflicts: 1152000 | #Constraints: 32413
2067.59/2075.84 c #Conflicts: 1153000 | #Constraints: 33413
2067.59/2075.84 c #Conflicts: 1154000 | #Constraints: 34413
2067.59/2075.84 c #Conflicts: 1155000 | #Constraints: 35413
2067.59/2075.84 c #Conflicts: 1156000 | #Constraints: 36413
2067.59/2075.84 c #Conflicts: 1157000 | #Constraints: 37413
2067.59/2075.84 c #Conflicts: 1158000 | #Constraints: 38413
2067.59/2075.84 c #Conflicts: 1159000 | #Constraints: 39413
2067.59/2075.84 c #Conflicts: 1160000 | #Constraints: 40413
2067.59/2075.84 c #Conflicts: 1161000 | #Constraints: 41413
2067.59/2075.84 c #Conflicts: 1162000 | #Constraints: 42413
2067.59/2075.84 c #Conflicts: 1163000 | #Constraints: 43413
2067.59/2075.84 c #Conflicts: 1164000 | #Constraints: 44413
2067.59/2075.84 c #Conflicts: 1165000 | #Constraints: 45413
2067.59/2075.84 c #Conflicts: 1166000 | #Constraints: 46413
2067.59/2075.84 c #Conflicts: 1167000 | #Constraints: 47413
2067.59/2075.84 c #Conflicts: 1168000 | #Constraints: 48413
2067.59/2075.84 c INPROCESSING
2067.59/2075.84 c GARBAGE COLLECT
2067.59/2075.84 c #Conflicts: 1169000 | #Constraints: 28026
2067.59/2075.84 c #Conflicts: 1170000 | #Constraints: 29026
2067.59/2075.84 c #Conflicts: 1171000 | #Constraints: 30026
2067.59/2075.84 c #Conflicts: 1172000 | #Constraints: 31026
2067.59/2075.84 c #Conflicts: 1173000 | #Constraints: 32026
2067.59/2075.84 c #Conflicts: 1174000 | #Constraints: 33026
2067.59/2075.84 c #Conflicts: 1175000 | #Constraints: 34026
2067.59/2075.84 c #Conflicts: 1176000 | #Constraints: 35026
2067.59/2075.84 c #Conflicts: 1177000 | #Constraints: 36026
2067.59/2075.84 c #Conflicts: 1178000 | #Constraints: 37026
2067.59/2075.84 c #Conflicts: 1179000 | #Constraints: 38026
2067.59/2075.84 c #Conflicts: 1180000 | #Constraints: 39026
2067.59/2075.84 c #Conflicts: 1181000 | #Constraints: 40026
2067.59/2075.84 c #Conflicts: 1182000 | #Constraints: 41026
2067.59/2075.84 c #Conflicts: 1183000 | #Constraints: 42026
2067.59/2075.84 c #Conflicts: 1184000 | #Constraints: 43026
2170.38/2179.07 c #Conflicts: 1185000 | #Constraints: 44026
2170.38/2179.07 c #Conflicts: 1186000 | #Constraints: 45026
2170.38/2179.07 c #Conflicts: 1187000 | #Constraints: 46026
2170.38/2179.07 c #Conflicts: 1188000 | #Constraints: 47026
2170.38/2179.07 c #Conflicts: 1189000 | #Constraints: 48026
2170.38/2179.07 c #Conflicts: 1190000 | #Constraints: 49026
2170.38/2179.07 c INPROCESSING
2170.38/2179.07 c GARBAGE COLLECT
2170.38/2179.07 c #Conflicts: 1191000 | #Constraints: 28417
2170.38/2179.07 c #Conflicts: 1192000 | #Constraints: 29417
2170.38/2179.07 c #Conflicts: 1193000 | #Constraints: 30417
2170.38/2179.07 c #Conflicts: 1194000 | #Constraints: 31417
2170.38/2179.07 c #Conflicts: 1195000 | #Constraints: 32417
2170.38/2179.07 c #Conflicts: 1196000 | #Constraints: 33417
2170.38/2179.07 c #Conflicts: 1197000 | #Constraints: 34417
2170.38/2179.07 c #Conflicts: 1198000 | #Constraints: 35417
2170.38/2179.07 c #Conflicts: 1199000 | #Constraints: 36417
2170.38/2179.07 c #Conflicts: 1200000 | #Constraints: 37417
2170.38/2179.07 c #Conflicts: 1201000 | #Constraints: 38417
2170.38/2179.07 c #Conflicts: 1202000 | #Constraints: 39417
2170.38/2179.07 c #Conflicts: 1203000 | #Constraints: 40417
2170.38/2179.08 c #Conflicts: 1204000 | #Constraints: 41417
2170.38/2179.08 c #Conflicts: 1205000 | #Constraints: 42417
2170.38/2179.08 c #Conflicts: 1206000 | #Constraints: 43417
2170.38/2179.08 c #Conflicts: 1207000 | #Constraints: 44417
2170.38/2179.08 c #Conflicts: 1208000 | #Constraints: 45417
2170.38/2179.08 c #Conflicts: 1209000 | #Constraints: 46417
2170.38/2179.08 c #Conflicts: 1210000 | #Constraints: 47417
2170.38/2179.08 c #Conflicts: 1211000 | #Constraints: 48417
2170.38/2179.08 c #Conflicts: 1212000 | #Constraints: 49417
2170.38/2179.08 c INPROCESSING
2170.38/2179.08 c GARBAGE COLLECT
2170.38/2179.08 c #Conflicts: 1213000 | #Constraints: 28611
2170.38/2179.08 c #Conflicts: 1214000 | #Constraints: 29611
2170.38/2179.08 c #Conflicts: 1215000 | #Constraints: 30611
2170.38/2179.08 c #Conflicts: 1216000 | #Constraints: 31611
2170.38/2179.08 c #Conflicts: 1217000 | #Constraints: 32611
2170.38/2179.08 c #Conflicts: 1218000 | #Constraints: 33611
2170.38/2179.08 c #Conflicts: 1219000 | #Constraints: 34611
2170.38/2179.08 c #Conflicts: 1220000 | #Constraints: 35611
2170.38/2179.08 c #Conflicts: 1221000 | #Constraints: 36611
2170.38/2179.08 c #Conflicts: 1222000 | #Constraints: 37611
2170.38/2179.08 c #Conflicts: 1223000 | #Constraints: 38611
2170.38/2179.08 c #Conflicts: 1224000 | #Constraints: 39611
2170.38/2179.08 c #Conflicts: 1225000 | #Constraints: 40611
2170.38/2179.08 c #Conflicts: 1226000 | #Constraints: 41611
2170.38/2179.08 c #Conflicts: 1227000 | #Constraints: 42611
2170.38/2179.08 c #Conflicts: 1228000 | #Constraints: 43611
2170.38/2179.08 c #Conflicts: 1229000 | #Constraints: 44611
2170.38/2179.08 c #Conflicts: 1230000 | #Constraints: 45611
2170.38/2179.08 c #Conflicts: 1231000 | #Constraints: 46611
2170.38/2179.08 c #Conflicts: 1232000 | #Constraints: 47611
2170.38/2179.08 c #Conflicts: 1233000 | #Constraints: 48611
2170.38/2179.08 c #Conflicts: 1234000 | #Constraints: 49611
2170.38/2179.08 c INPROCESSING
2170.38/2179.08 c GARBAGE COLLECT
2170.38/2179.08 c #Conflicts: 1235000 | #Constraints: 28612
2170.38/2179.08 c #Conflicts: 1236000 | #Constraints: 29612
2170.38/2179.08 c #Conflicts: 1237000 | #Constraints: 30612
2170.38/2179.08 c #Conflicts: 1238000 | #Constraints: 31612
2170.38/2179.08 c #Conflicts: 1239000 | #Constraints: 32612
2170.38/2179.08 c #Conflicts: 1240000 | #Constraints: 33612
2170.38/2179.08 c #Conflicts: 1241000 | #Constraints: 34612
2170.38/2179.08 c #Conflicts: 1242000 | #Constraints: 35612
2170.38/2179.08 c #Conflicts: 1243000 | #Constraints: 36612
2170.38/2179.08 c #Conflicts: 1244000 | #Constraints: 37612
2170.38/2179.08 c #Conflicts: 1245000 | #Constraints: 38612
2170.38/2179.08 c #Conflicts: 1246000 | #Constraints: 39612
2170.38/2179.08 c #Conflicts: 1247000 | #Constraints: 40612
2170.38/2179.08 c #Conflicts: 1248000 | #Constraints: 41612
2170.38/2179.08 c #Conflicts: 1249000 | #Constraints: 42612
2170.38/2179.08 c #Conflicts: 1250000 | #Constraints: 43612
2170.38/2179.08 c #Conflicts: 1251000 | #Constraints: 44612
2170.38/2179.08 c #Conflicts: 1252000 | #Constraints: 45612
2170.38/2179.08 c #Conflicts: 1253000 | #Constraints: 46612
2170.38/2179.08 c #Conflicts: 1254000 | #Constraints: 47612
2170.38/2179.08 c #Conflicts: 1255000 | #Constraints: 48612
2170.38/2179.08 c #Conflicts: 1256000 | #Constraints: 49612
2170.38/2179.08 c INPROCESSING
2170.38/2179.08 c GARBAGE COLLECT
2170.38/2179.08 c #Conflicts: 1257000 | #Constraints: 28412
2170.38/2179.08 c #Conflicts: 1258000 | #Constraints: 29412
2170.38/2179.08 c #Conflicts: 1259000 | #Constraints: 30412
2170.38/2179.08 c #Conflicts: 1260000 | #Constraints: 31412
2348.44/2357.83 c #Conflicts: 1261000 | #Constraints: 32412
2348.44/2357.83 c #Conflicts: 1262000 | #Constraints: 33412
2348.44/2357.83 c #Conflicts: 1263000 | #Constraints: 34412
2348.44/2357.83 c #Conflicts: 1264000 | #Constraints: 35412
2348.44/2357.83 c #Conflicts: 1265000 | #Constraints: 36412
2348.44/2357.83 c #Conflicts: 1266000 | #Constraints: 37412
2348.44/2357.83 c #Conflicts: 1267000 | #Constraints: 38412
2348.44/2357.83 c #Conflicts: 1268000 | #Constraints: 39412
2348.44/2357.83 c #Conflicts: 1269000 | #Constraints: 40412
2348.44/2357.83 c #Conflicts: 1270000 | #Constraints: 41412
2348.44/2357.83 c #Conflicts: 1271000 | #Constraints: 42412
2348.44/2357.83 c #Conflicts: 1272000 | #Constraints: 43412
2348.44/2357.83 c #Conflicts: 1273000 | #Constraints: 44412
2348.44/2357.83 c #Conflicts: 1274000 | #Constraints: 45412
2348.44/2357.83 c #Conflicts: 1275000 | #Constraints: 46412
2348.44/2357.83 c #Conflicts: 1276000 | #Constraints: 47412
2348.44/2357.83 c #Conflicts: 1277000 | #Constraints: 48412
2348.44/2357.83 c #Conflicts: 1278000 | #Constraints: 49412
2348.44/2357.83 c #Conflicts: 1279000 | #Constraints: 50412
2348.44/2357.83 c INPROCESSING
2348.44/2357.83 c GARBAGE COLLECT
2348.44/2357.83 c #Conflicts: 1280000 | #Constraints: 29017
2348.44/2357.83 c #Conflicts: 1281000 | #Constraints: 30017
2348.44/2357.83 c #Conflicts: 1282000 | #Constraints: 31017
2348.44/2357.83 c #Conflicts: 1283000 | #Constraints: 32017
2348.44/2357.83 c #Conflicts: 1284000 | #Constraints: 33017
2348.44/2357.83 c #Conflicts: 1285000 | #Constraints: 34017
2348.44/2357.83 c #Conflicts: 1286000 | #Constraints: 35017
2348.44/2357.83 c #Conflicts: 1287000 | #Constraints: 36017
2348.44/2357.83 c #Conflicts: 1288000 | #Constraints: 37017
2348.44/2357.83 c #Conflicts: 1289000 | #Constraints: 38017
2348.44/2357.83 c #Conflicts: 1290000 | #Constraints: 39017
2348.44/2357.83 c #Conflicts: 1291000 | #Constraints: 40017
2348.44/2357.83 c #Conflicts: 1292000 | #Constraints: 41017
2348.44/2357.83 c #Conflicts: 1293000 | #Constraints: 42017
2348.44/2357.83 c #Conflicts: 1294000 | #Constraints: 43017
2348.44/2357.83 c #Conflicts: 1295000 | #Constraints: 44017
2348.44/2357.83 c #Conflicts: 1296000 | #Constraints: 45017
2348.44/2357.83 c #Conflicts: 1297000 | #Constraints: 46017
2348.44/2357.83 c #Conflicts: 1298000 | #Constraints: 47017
2348.44/2357.83 c #Conflicts: 1299000 | #Constraints: 48017
2348.44/2357.83 c #Conflicts: 1300000 | #Constraints: 49017
2348.44/2357.83 c #Conflicts: 1301000 | #Constraints: 50017
2348.44/2357.83 c #Conflicts: 1302000 | #Constraints: 51017
2348.44/2357.83 c INPROCESSING
2348.44/2357.83 c GARBAGE COLLECT
2348.44/2357.83 c #Conflicts: 1303000 | #Constraints: 29424
2348.44/2357.83 c #Conflicts: 1304000 | #Constraints: 30424
2348.44/2357.83 c #Conflicts: 1305000 | #Constraints: 31424
2348.44/2357.83 c #Conflicts: 1306000 | #Constraints: 32424
2348.44/2357.83 c #Conflicts: 1307000 | #Constraints: 33424
2348.44/2357.83 c #Conflicts: 1308000 | #Constraints: 34424
2348.44/2357.83 c #Conflicts: 1309000 | #Constraints: 35424
2348.44/2357.83 c #Conflicts: 1310000 | #Constraints: 36424
2348.44/2357.83 c #Conflicts: 1311000 | #Constraints: 37424
2348.44/2357.83 c #Conflicts: 1312000 | #Constraints: 38424
2348.44/2357.83 c #Conflicts: 1313000 | #Constraints: 39424
2348.44/2357.83 c #Conflicts: 1314000 | #Constraints: 40424
2348.44/2357.83 c #Conflicts: 1315000 | #Constraints: 41424
2348.44/2357.83 c #Conflicts: 1316000 | #Constraints: 42424
2348.44/2357.83 c #Conflicts: 1317000 | #Constraints: 43424
2348.44/2357.83 c #Conflicts: 1318000 | #Constraints: 44424
2348.44/2357.83 c #Conflicts: 1319000 | #Constraints: 45424
2348.44/2357.83 c #Conflicts: 1320000 | #Constraints: 46424
2348.44/2357.83 c #Conflicts: 1321000 | #Constraints: 47424
2348.44/2357.83 c #Conflicts: 1322000 | #Constraints: 48424
2348.44/2357.83 c #Conflicts: 1323000 | #Constraints: 49424
2348.44/2357.83 c #Conflicts: 1324000 | #Constraints: 50424
2348.44/2357.83 c #Conflicts: 1325000 | #Constraints: 51424
2348.44/2357.83 c INPROCESSING
2348.44/2357.83 c GARBAGE COLLECT
2348.44/2357.83 c #Conflicts: 1326000 | #Constraints: 29631
2348.44/2357.83 c #Conflicts: 1327000 | #Constraints: 30631
2348.44/2357.83 c #Conflicts: 1328000 | #Constraints: 31631
2348.44/2357.83 c #Conflicts: 1329000 | #Constraints: 32631
2348.44/2357.83 c #Conflicts: 1330000 | #Constraints: 33631
2348.44/2357.83 c #Conflicts: 1331000 | #Constraints: 34631
2348.44/2357.83 c #Conflicts: 1332000 | #Constraints: 35631
2348.44/2357.83 c #Conflicts: 1333000 | #Constraints: 36631
2348.44/2357.83 c #Conflicts: 1334000 | #Constraints: 37631
2348.44/2357.83 c #Conflicts: 1335000 | #Constraints: 38631
2348.44/2357.83 c #Conflicts: 1336000 | #Constraints: 39631
2348.44/2357.83 c #Conflicts: 1337000 | #Constraints: 40631
2498.05/2508.01 c #Conflicts: 1338000 | #Constraints: 41631
2498.05/2508.01 c #Conflicts: 1339000 | #Constraints: 42631
2498.05/2508.01 c #Conflicts: 1340000 | #Constraints: 43631
2498.05/2508.01 c #Conflicts: 1341000 | #Constraints: 44631
2498.05/2508.01 c #Conflicts: 1342000 | #Constraints: 45631
2498.05/2508.01 c #Conflicts: 1343000 | #Constraints: 46631
2498.05/2508.01 c #Conflicts: 1344000 | #Constraints: 47631
2498.05/2508.01 c #Conflicts: 1345000 | #Constraints: 48631
2498.05/2508.01 c #Conflicts: 1346000 | #Constraints: 49631
2498.05/2508.01 c #Conflicts: 1347000 | #Constraints: 50631
2498.05/2508.01 c #Conflicts: 1348000 | #Constraints: 51631
2498.05/2508.01 c INPROCESSING
2498.05/2508.01 c GARBAGE COLLECT
2498.05/2508.01 c #Conflicts: 1349000 | #Constraints: 29632
2498.05/2508.01 c #Conflicts: 1350000 | #Constraints: 30632
2498.05/2508.01 c #Conflicts: 1351000 | #Constraints: 31632
2498.05/2508.01 c #Conflicts: 1352000 | #Constraints: 32632
2498.05/2508.01 c #Conflicts: 1353000 | #Constraints: 33632
2498.05/2508.01 c #Conflicts: 1354000 | #Constraints: 34632
2498.05/2508.01 c #Conflicts: 1355000 | #Constraints: 35632
2498.05/2508.01 c #Conflicts: 1356000 | #Constraints: 36632
2498.05/2508.01 c #Conflicts: 1357000 | #Constraints: 37632
2498.05/2508.01 c #Conflicts: 1358000 | #Constraints: 38632
2498.05/2508.01 c #Conflicts: 1359000 | #Constraints: 39632
2498.05/2508.01 c #Conflicts: 1360000 | #Constraints: 40632
2498.05/2508.01 c #Conflicts: 1361000 | #Constraints: 41632
2498.05/2508.01 c #Conflicts: 1362000 | #Constraints: 42632
2498.05/2508.01 c #Conflicts: 1363000 | #Constraints: 43632
2498.05/2508.01 c #Conflicts: 1364000 | #Constraints: 44632
2498.05/2508.01 c #Conflicts: 1365000 | #Constraints: 45632
2498.05/2508.01 c #Conflicts: 1366000 | #Constraints: 46632
2498.05/2508.01 c #Conflicts: 1367000 | #Constraints: 47632
2498.05/2508.01 c #Conflicts: 1368000 | #Constraints: 48632
2498.05/2508.01 c #Conflicts: 1369000 | #Constraints: 49632
2498.05/2508.01 c #Conflicts: 1370000 | #Constraints: 50632
2498.05/2508.01 c #Conflicts: 1371000 | #Constraints: 51632
2498.05/2508.01 c INPROCESSING
2498.05/2508.01 c GARBAGE COLLECT
2498.05/2508.01 c #Conflicts: 1372000 | #Constraints: 29421
2498.05/2508.01 c #Conflicts: 1373000 | #Constraints: 30421
2498.05/2508.01 c #Conflicts: 1374000 | #Constraints: 31421
2498.05/2508.01 c #Conflicts: 1375000 | #Constraints: 32421
2498.05/2508.01 c #Conflicts: 1376000 | #Constraints: 33421
2498.05/2508.01 c #Conflicts: 1377000 | #Constraints: 34421
2498.05/2508.01 c #Conflicts: 1378000 | #Constraints: 35421
2498.05/2508.01 c #Conflicts: 1379000 | #Constraints: 36421
2498.05/2508.01 c #Conflicts: 1380000 | #Constraints: 37421
2498.05/2508.01 c #Conflicts: 1381000 | #Constraints: 38421
2498.05/2508.01 c #Conflicts: 1382000 | #Constraints: 39421
2498.05/2508.01 c #Conflicts: 1383000 | #Constraints: 40421
2498.05/2508.01 c #Conflicts: 1384000 | #Constraints: 41421
2498.05/2508.01 c #Conflicts: 1385000 | #Constraints: 42421
2498.05/2508.01 c #Conflicts: 1386000 | #Constraints: 43421
2498.05/2508.01 c #Conflicts: 1387000 | #Constraints: 44421
2498.05/2508.01 c #Conflicts: 1388000 | #Constraints: 45421
2498.05/2508.01 c #Conflicts: 1389000 | #Constraints: 46421
2498.05/2508.01 c #Conflicts: 1390000 | #Constraints: 47421
2498.05/2508.01 c #Conflicts: 1391000 | #Constraints: 48421
2498.05/2508.01 c #Conflicts: 1392000 | #Constraints: 49421
2498.05/2508.01 c #Conflicts: 1393000 | #Constraints: 50421
2498.05/2508.01 c #Conflicts: 1394000 | #Constraints: 51421
2498.05/2508.01 c #Conflicts: 1395000 | #Constraints: 52421
2498.05/2508.01 c INPROCESSING
2498.05/2508.01 c GARBAGE COLLECT
2498.05/2508.01 c #Conflicts: 1396000 | #Constraints: 30025
2498.05/2508.01 c #Conflicts: 1397000 | #Constraints: 31025
2498.05/2508.01 c #Conflicts: 1398000 | #Constraints: 32025
2498.05/2508.01 c #Conflicts: 1399000 | #Constraints: 33025
2498.05/2508.01 c #Conflicts: 1400000 | #Constraints: 34025
2498.05/2508.01 c #Conflicts: 1401000 | #Constraints: 35025
2498.05/2508.01 c #Conflicts: 1402000 | #Constraints: 36025
2498.05/2508.01 c #Conflicts: 1403000 | #Constraints: 37025
2498.05/2508.01 c #Conflicts: 1404000 | #Constraints: 38025
2498.05/2508.01 c #Conflicts: 1405000 | #Constraints: 39025
2498.05/2508.01 c #Conflicts: 1406000 | #Constraints: 40025
2498.05/2508.01 c #Conflicts: 1407000 | #Constraints: 41025
2498.05/2508.01 c #Conflicts: 1408000 | #Constraints: 42025
2498.05/2508.01 c #Conflicts: 1409000 | #Constraints: 43025
2498.05/2508.01 c #Conflicts: 1410000 | #Constraints: 44025
2498.05/2508.01 c #Conflicts: 1411000 | #Constraints: 45025
2498.05/2508.01 c #Conflicts: 1412000 | #Constraints: 46025
2498.05/2508.01 c #Conflicts: 1413000 | #Constraints: 47025
2498.05/2508.01 c #Conflicts: 1414000 | #Constraints: 48025
2682.79/2693.59 c #Conflicts: 1415000 | #Constraints: 49025
2682.79/2693.59 c #Conflicts: 1416000 | #Constraints: 50025
2682.79/2693.59 c #Conflicts: 1417000 | #Constraints: 51025
2682.79/2693.59 c #Conflicts: 1418000 | #Constraints: 52025
2682.79/2693.59 c #Conflicts: 1419000 | #Constraints: 53025
2682.79/2693.59 c INPROCESSING
2682.79/2693.59 c GARBAGE COLLECT
2682.79/2693.59 c #Conflicts: 1420000 | #Constraints: 30423
2682.79/2693.59 c #Conflicts: 1421000 | #Constraints: 31423
2682.79/2693.59 c #Conflicts: 1422000 | #Constraints: 32423
2682.79/2693.59 c #Conflicts: 1423000 | #Constraints: 33423
2682.79/2693.59 c #Conflicts: 1424000 | #Constraints: 34423
2682.79/2693.59 c #Conflicts: 1425000 | #Constraints: 35423
2682.79/2693.59 c #Conflicts: 1426000 | #Constraints: 36423
2682.79/2693.59 c #Conflicts: 1427000 | #Constraints: 37423
2682.79/2693.59 c #Conflicts: 1428000 | #Constraints: 38423
2682.79/2693.59 c #Conflicts: 1429000 | #Constraints: 39423
2682.79/2693.59 c #Conflicts: 1430000 | #Constraints: 40423
2682.79/2693.59 c #Conflicts: 1431000 | #Constraints: 41423
2682.79/2693.59 c #Conflicts: 1432000 | #Constraints: 42423
2682.79/2693.59 c #Conflicts: 1433000 | #Constraints: 43423
2682.79/2693.59 c #Conflicts: 1434000 | #Constraints: 44423
2682.79/2693.59 c #Conflicts: 1435000 | #Constraints: 45423
2682.79/2693.59 c #Conflicts: 1436000 | #Constraints: 46423
2682.79/2693.59 c #Conflicts: 1437000 | #Constraints: 47423
2682.79/2693.59 c #Conflicts: 1438000 | #Constraints: 48423
2682.79/2693.59 c #Conflicts: 1439000 | #Constraints: 49423
2682.79/2693.59 c #Conflicts: 1440000 | #Constraints: 50423
2682.79/2693.59 c #Conflicts: 1441000 | #Constraints: 51423
2682.79/2693.59 c #Conflicts: 1442000 | #Constraints: 52423
2682.79/2693.59 c #Conflicts: 1443000 | #Constraints: 53423
2682.79/2693.59 c INPROCESSING
2682.79/2693.59 c GARBAGE COLLECT
2682.79/2693.59 c #Conflicts: 1444000 | #Constraints: 30628
2682.79/2693.59 c #Conflicts: 1445000 | #Constraints: 31628
2682.79/2693.59 c #Conflicts: 1446000 | #Constraints: 32628
2682.79/2693.59 c #Conflicts: 1447000 | #Constraints: 33628
2682.79/2693.59 c #Conflicts: 1448000 | #Constraints: 34628
2682.79/2693.59 c #Conflicts: 1449000 | #Constraints: 35628
2682.79/2693.59 c #Conflicts: 1450000 | #Constraints: 36628
2682.79/2693.59 c #Conflicts: 1451000 | #Constraints: 37628
2682.79/2693.59 c #Conflicts: 1452000 | #Constraints: 38628
2682.79/2693.59 c #Conflicts: 1453000 | #Constraints: 39628
2682.79/2693.59 c #Conflicts: 1454000 | #Constraints: 40628
2682.79/2693.59 c #Conflicts: 1455000 | #Constraints: 41628
2682.79/2693.59 c #Conflicts: 1456000 | #Constraints: 42628
2682.79/2693.59 c #Conflicts: 1457000 | #Constraints: 43628
2682.79/2693.59 c #Conflicts: 1458000 | #Constraints: 44628
2682.79/2693.59 c #Conflicts: 1459000 | #Constraints: 45628
2682.79/2693.59 c #Conflicts: 1460000 | #Constraints: 46628
2682.79/2693.59 c #Conflicts: 1461000 | #Constraints: 47628
2682.79/2693.59 c #Conflicts: 1462000 | #Constraints: 48628
2682.79/2693.59 c #Conflicts: 1463000 | #Constraints: 49628
2682.79/2693.59 c #Conflicts: 1464000 | #Constraints: 50628
2682.79/2693.59 c #Conflicts: 1465000 | #Constraints: 51628
2682.79/2693.59 c #Conflicts: 1466000 | #Constraints: 52628
2682.79/2693.59 c #Conflicts: 1467000 | #Constraints: 53628
2682.79/2693.59 c INPROCESSING
2682.79/2693.59 c GARBAGE COLLECT
2682.79/2693.59 c #Conflicts: 1468000 | #Constraints: 30632
2682.79/2693.59 c #Conflicts: 1469000 | #Constraints: 31632
2682.79/2693.59 c #Conflicts: 1470000 | #Constraints: 32632
2682.79/2693.59 c #Conflicts: 1471000 | #Constraints: 33632
2682.79/2693.59 c #Conflicts: 1472000 | #Constraints: 34632
2682.79/2693.59 c #Conflicts: 1473000 | #Constraints: 35632
2682.79/2693.59 c #Conflicts: 1474000 | #Constraints: 36632
2682.79/2693.59 c #Conflicts: 1475000 | #Constraints: 37632
2682.79/2693.59 c #Conflicts: 1476000 | #Constraints: 38632
2682.79/2693.59 c #Conflicts: 1477000 | #Constraints: 39632
2682.79/2693.59 c #Conflicts: 1478000 | #Constraints: 40632
2682.79/2693.59 c #Conflicts: 1479000 | #Constraints: 41632
2682.79/2693.59 c #Conflicts: 1480000 | #Constraints: 42632
2682.79/2693.59 c #Conflicts: 1481000 | #Constraints: 43632
2682.79/2693.59 c #Conflicts: 1482000 | #Constraints: 44632
2682.79/2693.59 c #Conflicts: 1483000 | #Constraints: 45632
2682.79/2693.59 c #Conflicts: 1484000 | #Constraints: 46632
2682.79/2693.59 c #Conflicts: 1485000 | #Constraints: 47632
2682.79/2693.59 c #Conflicts: 1486000 | #Constraints: 48632
2682.79/2693.59 c #Conflicts: 1487000 | #Constraints: 49632
2682.79/2693.59 c #Conflicts: 1488000 | #Constraints: 50632
2682.79/2693.59 c #Conflicts: 1489000 | #Constraints: 51632
2682.79/2693.59 c #Conflicts: 1490000 | #Constraints: 52632
2682.79/2693.59 c #Conflicts: 1491000 | #Constraints: 53632
2821.32/2832.50 c INPROCESSING
2821.32/2832.50 c GARBAGE COLLECT
2821.32/2832.50 c #Conflicts: 1492000 | #Constraints: 30442
2821.32/2832.50 c #Conflicts: 1493000 | #Constraints: 31442
2821.32/2832.50 c #Conflicts: 1494000 | #Constraints: 32442
2821.32/2832.50 c #Conflicts: 1495000 | #Constraints: 33442
2821.32/2832.50 c #Conflicts: 1496000 | #Constraints: 34442
2821.32/2832.50 c #Conflicts: 1497000 | #Constraints: 35442
2821.32/2832.50 c #Conflicts: 1498000 | #Constraints: 36442
2821.32/2832.50 c #Conflicts: 1499000 | #Constraints: 37442
2821.32/2832.50 c #Conflicts: 1500000 | #Constraints: 38442
2821.32/2832.50 c #Conflicts: 1501000 | #Constraints: 39442
2821.32/2832.50 c #Conflicts: 1502000 | #Constraints: 40442
2821.32/2832.50 c #Conflicts: 1503000 | #Constraints: 41442
2821.32/2832.50 c #Conflicts: 1504000 | #Constraints: 42442
2821.32/2832.50 c #Conflicts: 1505000 | #Constraints: 43442
2821.32/2832.50 c #Conflicts: 1506000 | #Constraints: 44442
2821.32/2832.50 c #Conflicts: 1507000 | #Constraints: 45442
2821.32/2832.50 c #Conflicts: 1508000 | #Constraints: 46442
2821.32/2832.50 c #Conflicts: 1509000 | #Constraints: 47442
2821.32/2832.50 c #Conflicts: 1510000 | #Constraints: 48442
2821.32/2832.50 c #Conflicts: 1511000 | #Constraints: 49442
2821.32/2832.50 c #Conflicts: 1512000 | #Constraints: 50442
2821.32/2832.50 c #Conflicts: 1513000 | #Constraints: 51442
2821.32/2832.50 c #Conflicts: 1514000 | #Constraints: 52442
2821.32/2832.50 c #Conflicts: 1515000 | #Constraints: 53442
2821.32/2832.50 c #Conflicts: 1516000 | #Constraints: 54442
2821.32/2832.50 c INPROCESSING
2821.32/2832.50 c GARBAGE COLLECT
2821.32/2832.50 c #Conflicts: 1517000 | #Constraints: 31042
2821.32/2832.50 c #Conflicts: 1518000 | #Constraints: 32042
2821.32/2832.50 c #Conflicts: 1519000 | #Constraints: 33042
2821.32/2832.50 c #Conflicts: 1520000 | #Constraints: 34042
2821.32/2832.50 c #Conflicts: 1521000 | #Constraints: 35042
2821.32/2832.50 c #Conflicts: 1522000 | #Constraints: 36042
2821.32/2832.50 c #Conflicts: 1523000 | #Constraints: 37042
2821.32/2832.50 c #Conflicts: 1524000 | #Constraints: 38042
2821.32/2832.50 c #Conflicts: 1525000 | #Constraints: 39042
2821.32/2832.50 c #Conflicts: 1526000 | #Constraints: 40042
2821.32/2832.50 c #Conflicts: 1527000 | #Constraints: 41042
2821.32/2832.50 c #Conflicts: 1528000 | #Constraints: 42042
2821.32/2832.50 c #Conflicts: 1529000 | #Constraints: 43042
2821.32/2832.50 c #Conflicts: 1530000 | #Constraints: 44042
2821.32/2832.50 c #Conflicts: 1531000 | #Constraints: 45042
2821.32/2832.50 c #Conflicts: 1532000 | #Constraints: 46042
2821.32/2832.50 c #Conflicts: 1533000 | #Constraints: 47042
2821.32/2832.50 c #Conflicts: 1534000 | #Constraints: 48042
2821.32/2832.50 c #Conflicts: 1535000 | #Constraints: 49042
2821.32/2832.50 c #Conflicts: 1536000 | #Constraints: 50042
2821.32/2832.50 c #Conflicts: 1537000 | #Constraints: 51042
2821.32/2832.50 c #Conflicts: 1538000 | #Constraints: 52042
2821.32/2832.50 c #Conflicts: 1539000 | #Constraints: 53042
2821.32/2832.50 c #Conflicts: 1540000 | #Constraints: 54042
2821.32/2832.50 c #Conflicts: 1541000 | #Constraints: 55042
2821.32/2832.50 c INPROCESSING
2821.32/2832.50 c GARBAGE COLLECT
2821.32/2832.50 c #Conflicts: 1542000 | #Constraints: 31431
2821.32/2832.50 c #Conflicts: 1543000 | #Constraints: 32431
2821.32/2832.50 c #Conflicts: 1544000 | #Constraints: 33431
2821.32/2832.50 c #Conflicts: 1545000 | #Constraints: 34431
2821.32/2832.50 c #Conflicts: 1546000 | #Constraints: 35431
2821.32/2832.50 c #Conflicts: 1547000 | #Constraints: 36431
2821.32/2832.50 c #Conflicts: 1548000 | #Constraints: 37431
2821.32/2832.50 c #Conflicts: 1549000 | #Constraints: 38431
2821.32/2832.50 c #Conflicts: 1550000 | #Constraints: 39431
2821.32/2832.50 c #Conflicts: 1551000 | #Constraints: 40431
2821.32/2832.50 c #Conflicts: 1552000 | #Constraints: 41431
2821.32/2832.50 c #Conflicts: 1553000 | #Constraints: 42431
2821.32/2832.50 c #Conflicts: 1554000 | #Constraints: 43431
2821.32/2832.50 c #Conflicts: 1555000 | #Constraints: 44431
2821.32/2832.50 c #Conflicts: 1556000 | #Constraints: 45431
2821.32/2832.50 c #Conflicts: 1557000 | #Constraints: 46431
2821.32/2832.50 c #Conflicts: 1558000 | #Constraints: 47431
2821.32/2832.50 c #Conflicts: 1559000 | #Constraints: 48431
2821.32/2832.50 c #Conflicts: 1560000 | #Constraints: 49431
2821.32/2832.50 c #Conflicts: 1561000 | #Constraints: 50431
2821.32/2832.50 c #Conflicts: 1562000 | #Constraints: 51431
2821.32/2832.50 c #Conflicts: 1563000 | #Constraints: 52431
2821.32/2832.50 c #Conflicts: 1564000 | #Constraints: 53431
2821.32/2832.50 c #Conflicts: 1565000 | #Constraints: 54431
2821.32/2832.50 c #Conflicts: 1566000 | #Constraints: 55431
2821.32/2832.50 c INPROCESSING
2821.32/2832.50 c GARBAGE COLLECT
2821.32/2832.50 c #Conflicts: 1567000 | #Constraints: 31627
2904.36/2915.81 c #Conflicts: 1568000 | #Constraints: 32627
2904.36/2915.81 c #Conflicts: 1569000 | #Constraints: 33627
2904.36/2915.81 c #Conflicts: 1570000 | #Constraints: 34627
2904.36/2915.81 c #Conflicts: 1571000 | #Constraints: 35627
2904.36/2915.81 c #Conflicts: 1572000 | #Constraints: 36627
2904.36/2915.81 c #Conflicts: 1573000 | #Constraints: 37627
2904.36/2915.81 c #Conflicts: 1574000 | #Constraints: 38627
2904.36/2915.81 c #Conflicts: 1575000 | #Constraints: 39627
2904.36/2915.81 c #Conflicts: 1576000 | #Constraints: 40627
2904.36/2915.81 c #Conflicts: 1577000 | #Constraints: 41627
2904.36/2915.81 c #Conflicts: 1578000 | #Constraints: 42627
2904.36/2915.81 c #Conflicts: 1579000 | #Constraints: 43627
2904.36/2915.81 c #Conflicts: 1580000 | #Constraints: 44627
2904.36/2915.81 c #Conflicts: 1581000 | #Constraints: 45627
2904.36/2915.81 c #Conflicts: 1582000 | #Constraints: 46627
2904.36/2915.81 c #Conflicts: 1583000 | #Constraints: 47627
2904.36/2915.81 c #Conflicts: 1584000 | #Constraints: 48627
2904.36/2915.81 c #Conflicts: 1585000 | #Constraints: 49627
2904.36/2915.81 c #Conflicts: 1586000 | #Constraints: 50627
2904.36/2915.81 c #Conflicts: 1587000 | #Constraints: 51627
2904.36/2915.81 c #Conflicts: 1588000 | #Constraints: 52627
2904.36/2915.81 c #Conflicts: 1589000 | #Constraints: 53627
2904.36/2915.81 c #Conflicts: 1590000 | #Constraints: 54627
2904.36/2915.81 c #Conflicts: 1591000 | #Constraints: 55627
2904.36/2915.81 c INPROCESSING
2904.36/2915.81 c GARBAGE COLLECT
2904.36/2915.81 c #Conflicts: 1592000 | #Constraints: 31628
2904.36/2915.81 c #Conflicts: 1593000 | #Constraints: 32628
2904.36/2915.81 c #Conflicts: 1594000 | #Constraints: 33628
2904.36/2915.81 c #Conflicts: 1595000 | #Constraints: 34628
2904.36/2915.81 c #Conflicts: 1596000 | #Constraints: 35628
2904.36/2915.81 c #Conflicts: 1597000 | #Constraints: 36628
2904.36/2915.81 c #Conflicts: 1598000 | #Constraints: 37628
2904.36/2915.81 c #Conflicts: 1599000 | #Constraints: 38628
2904.36/2915.81 c #Conflicts: 1600000 | #Constraints: 39628
2904.36/2915.81 c #Conflicts: 1601000 | #Constraints: 40628
2904.36/2915.81 c #Conflicts: 1602000 | #Constraints: 41628
2904.36/2915.81 c #Conflicts: 1603000 | #Constraints: 42628
2904.36/2915.81 c #Conflicts: 1604000 | #Constraints: 43628
2904.36/2915.81 c #Conflicts: 1605000 | #Constraints: 44628
2904.36/2915.81 c #Conflicts: 1606000 | #Constraints: 45628
2904.36/2915.81 c #Conflicts: 1607000 | #Constraints: 46628
2904.36/2915.81 c #Conflicts: 1608000 | #Constraints: 47628
2904.36/2915.81 c #Conflicts: 1609000 | #Constraints: 48628
2904.36/2915.81 c #Conflicts: 1610000 | #Constraints: 49628
2904.36/2915.81 c #Conflicts: 1611000 | #Constraints: 50628
2904.36/2915.81 c #Conflicts: 1612000 | #Constraints: 51628
2904.36/2915.81 c #Conflicts: 1613000 | #Constraints: 52628
2904.36/2915.81 c #Conflicts: 1614000 | #Constraints: 53628
2904.36/2915.81 c #Conflicts: 1615000 | #Constraints: 54628
2904.36/2915.81 c #Conflicts: 1616000 | #Constraints: 55628
2904.36/2915.81 c INPROCESSING
2904.36/2915.81 c GARBAGE COLLECT
2904.36/2915.81 c #Conflicts: 1617000 | #Constraints: 31422
2904.36/2915.81 c #Conflicts: 1618000 | #Constraints: 32422
2904.36/2915.81 c #Conflicts: 1619000 | #Constraints: 33422
2904.36/2915.81 c #Conflicts: 1620000 | #Constraints: 34422
2904.36/2915.81 c #Conflicts: 1621000 | #Constraints: 35422
2904.36/2915.81 c #Conflicts: 1622000 | #Constraints: 36422
2904.36/2915.81 c #Conflicts: 1623000 | #Constraints: 37422
2904.36/2915.81 c #Conflicts: 1624000 | #Constraints: 38422
2904.36/2915.81 c #Conflicts: 1625000 | #Constraints: 39422
2904.36/2915.81 c #Conflicts: 1626000 | #Constraints: 40422
2904.36/2915.81 c #Conflicts: 1627000 | #Constraints: 41422
2904.36/2915.81 c #Conflicts: 1628000 | #Constraints: 42422
2904.36/2915.81 c #Conflicts: 1629000 | #Constraints: 43422
2904.36/2915.81 c #Conflicts: 1630000 | #Constraints: 44422
2904.36/2915.81 c #Conflicts: 1631000 | #Constraints: 45422
2904.36/2915.81 c #Conflicts: 1632000 | #Constraints: 46422
2904.36/2915.81 c #Conflicts: 1633000 | #Constraints: 47422
2904.36/2915.81 c #Conflicts: 1634000 | #Constraints: 48422
2904.36/2915.81 c #Conflicts: 1635000 | #Constraints: 49422
2904.36/2915.81 c #Conflicts: 1636000 | #Constraints: 50422
2904.36/2915.81 c #Conflicts: 1637000 | #Constraints: 51422
2904.36/2915.81 c #Conflicts: 1638000 | #Constraints: 52422
2904.36/2915.81 c #Conflicts: 1639000 | #Constraints: 53422
2904.36/2915.81 c #Conflicts: 1640000 | #Constraints: 54422
2904.36/2915.81 c #Conflicts: 1641000 | #Constraints: 55422
2904.36/2915.81 c #Conflicts: 1642000 | #Constraints: 56422
2904.36/2915.81 c INPROCESSING
2904.36/2915.81 c GARBAGE COLLECT
2904.36/2915.81 c #Conflicts: 1643000 | #Constraints: 32018
2904.36/2915.81 c #Conflicts: 1644000 | #Constraints: 33018
3009.82/3021.65 c #Conflicts: 1645000 | #Constraints: 34018
3009.82/3021.65 c #Conflicts: 1646000 | #Constraints: 35018
3009.82/3021.65 c #Conflicts: 1647000 | #Constraints: 36018
3009.82/3021.65 c #Conflicts: 1648000 | #Constraints: 37018
3009.82/3021.65 c #Conflicts: 1649000 | #Constraints: 38018
3009.82/3021.65 c #Conflicts: 1650000 | #Constraints: 39018
3009.82/3021.65 c #Conflicts: 1651000 | #Constraints: 40018
3009.82/3021.65 c #Conflicts: 1652000 | #Constraints: 41018
3009.82/3021.65 c #Conflicts: 1653000 | #Constraints: 42018
3009.82/3021.65 c #Conflicts: 1654000 | #Constraints: 43018
3009.82/3021.65 c #Conflicts: 1655000 | #Constraints: 44018
3009.82/3021.65 c #Conflicts: 1656000 | #Constraints: 45018
3009.82/3021.65 c #Conflicts: 1657000 | #Constraints: 46018
3009.82/3021.65 c #Conflicts: 1658000 | #Constraints: 47018
3009.82/3021.65 c #Conflicts: 1659000 | #Constraints: 48018
3009.82/3021.65 c #Conflicts: 1660000 | #Constraints: 49018
3009.82/3021.65 c #Conflicts: 1661000 | #Constraints: 50018
3009.82/3021.65 c #Conflicts: 1662000 | #Constraints: 51018
3009.82/3021.65 c #Conflicts: 1663000 | #Constraints: 52018
3009.82/3021.65 c #Conflicts: 1664000 | #Constraints: 53018
3009.82/3021.65 c #Conflicts: 1665000 | #Constraints: 54018
3009.82/3021.65 c #Conflicts: 1666000 | #Constraints: 55018
3009.82/3021.65 c #Conflicts: 1667000 | #Constraints: 56018
3009.82/3021.65 c #Conflicts: 1668000 | #Constraints: 57018
3009.82/3021.65 c INPROCESSING
3009.82/3021.65 c GARBAGE COLLECT
3009.82/3021.65 c #Conflicts: 1669000 | #Constraints: 32412
3009.82/3021.65 c #Conflicts: 1670000 | #Constraints: 33412
3009.82/3021.65 c #Conflicts: 1671000 | #Constraints: 34412
3009.82/3021.65 c #Conflicts: 1672000 | #Constraints: 35412
3009.82/3021.65 c #Conflicts: 1673000 | #Constraints: 36412
3009.82/3021.65 c #Conflicts: 1674000 | #Constraints: 37412
3009.82/3021.65 c #Conflicts: 1675000 | #Constraints: 38412
3009.82/3021.65 c #Conflicts: 1676000 | #Constraints: 39412
3009.82/3021.65 c #Conflicts: 1677000 | #Constraints: 40412
3009.82/3021.65 c #Conflicts: 1678000 | #Constraints: 41412
3009.82/3021.65 c #Conflicts: 1679000 | #Constraints: 42412
3009.82/3021.65 c #Conflicts: 1680000 | #Constraints: 43412
3009.82/3021.65 c #Conflicts: 1681000 | #Constraints: 44412
3009.82/3021.65 c #Conflicts: 1682000 | #Constraints: 45412
3009.82/3021.65 c #Conflicts: 1683000 | #Constraints: 46412
3009.82/3021.65 c #Conflicts: 1684000 | #Constraints: 47412
3009.82/3021.65 c #Conflicts: 1685000 | #Constraints: 48412
3009.82/3021.65 c #Conflicts: 1686000 | #Constraints: 49412
3009.82/3021.65 c #Conflicts: 1687000 | #Constraints: 50412
3009.82/3021.65 c #Conflicts: 1688000 | #Constraints: 51412
3009.82/3021.65 c #Conflicts: 1689000 | #Constraints: 52412
3009.82/3021.65 c #Conflicts: 1690000 | #Constraints: 53412
3009.82/3021.65 c #Conflicts: 1691000 | #Constraints: 54412
3009.82/3021.65 c #Conflicts: 1692000 | #Constraints: 55412
3009.82/3021.65 c #Conflicts: 1693000 | #Constraints: 56412
3009.82/3021.65 c #Conflicts: 1694000 | #Constraints: 57412
3009.82/3021.65 c INPROCESSING
3009.82/3021.65 c GARBAGE COLLECT
3009.82/3021.65 c #Conflicts: 1695000 | #Constraints: 32613
3009.82/3021.65 c #Conflicts: 1696000 | #Constraints: 33613
3009.82/3021.65 c #Conflicts: 1697000 | #Constraints: 34613
3009.82/3021.65 c #Conflicts: 1698000 | #Constraints: 35613
3009.82/3021.65 c #Conflicts: 1699000 | #Constraints: 36613
3009.82/3021.65 c #Conflicts: 1700000 | #Constraints: 37613
3009.82/3021.65 c #Conflicts: 1701000 | #Constraints: 38613
3009.82/3021.65 c #Conflicts: 1702000 | #Constraints: 39613
3009.82/3021.65 c #Conflicts: 1703000 | #Constraints: 40613
3009.82/3021.65 c #Conflicts: 1704000 | #Constraints: 41613
3009.82/3021.65 c #Conflicts: 1705000 | #Constraints: 42613
3009.82/3021.65 c #Conflicts: 1706000 | #Constraints: 43613
3009.82/3021.65 c #Conflicts: 1707000 | #Constraints: 44613
3009.82/3021.65 c #Conflicts: 1708000 | #Constraints: 45613
3009.82/3021.65 c #Conflicts: 1709000 | #Constraints: 46613
3009.82/3021.65 c #Conflicts: 1710000 | #Constraints: 47613
3009.82/3021.65 c #Conflicts: 1711000 | #Constraints: 48613
3009.82/3021.65 c #Conflicts: 1712000 | #Constraints: 49613
3009.82/3021.65 c #Conflicts: 1713000 | #Constraints: 50613
3009.82/3021.65 c #Conflicts: 1714000 | #Constraints: 51613
3009.82/3021.65 c #Conflicts: 1715000 | #Constraints: 52613
3009.82/3021.65 c #Conflicts: 1716000 | #Constraints: 53613
3009.82/3021.65 c #Conflicts: 1717000 | #Constraints: 54613
3009.82/3021.65 c #Conflicts: 1718000 | #Constraints: 55613
3009.82/3021.65 c #Conflicts: 1719000 | #Constraints: 56613
3009.82/3021.65 c #Conflicts: 1720000 | #Constraints: 57613
3009.82/3021.65 c INPROCESSING
3009.82/3021.65 c GARBAGE COLLECT
3009.82/3021.65 c #Conflicts: 1721000 | #Constraints: 32621
3226.91/3239.46 c #Conflicts: 1722000 | #Constraints: 33621
3226.91/3239.46 c #Conflicts: 1723000 | #Constraints: 34621
3226.91/3239.46 c #Conflicts: 1724000 | #Constraints: 35621
3226.91/3239.46 c #Conflicts: 1725000 | #Constraints: 36621
3226.91/3239.46 c #Conflicts: 1726000 | #Constraints: 37621
3226.91/3239.46 c #Conflicts: 1727000 | #Constraints: 38621
3226.91/3239.46 c #Conflicts: 1728000 | #Constraints: 39621
3226.91/3239.46 c #Conflicts: 1729000 | #Constraints: 40621
3226.91/3239.46 c #Conflicts: 1730000 | #Constraints: 41621
3226.91/3239.46 c #Conflicts: 1731000 | #Constraints: 42621
3226.91/3239.46 c #Conflicts: 1732000 | #Constraints: 43621
3226.91/3239.46 c #Conflicts: 1733000 | #Constraints: 44621
3226.91/3239.46 c #Conflicts: 1734000 | #Constraints: 45621
3226.91/3239.46 c #Conflicts: 1735000 | #Constraints: 46621
3226.91/3239.46 c #Conflicts: 1736000 | #Constraints: 47621
3226.91/3239.46 c #Conflicts: 1737000 | #Constraints: 48621
3226.91/3239.46 c #Conflicts: 1738000 | #Constraints: 49621
3226.91/3239.46 c #Conflicts: 1739000 | #Constraints: 50621
3226.91/3239.46 c #Conflicts: 1740000 | #Constraints: 51621
3226.91/3239.46 c #Conflicts: 1741000 | #Constraints: 52621
3226.91/3239.46 c #Conflicts: 1742000 | #Constraints: 53621
3226.91/3239.46 c #Conflicts: 1743000 | #Constraints: 54621
3226.91/3239.46 c #Conflicts: 1744000 | #Constraints: 55621
3226.91/3239.46 c #Conflicts: 1745000 | #Constraints: 56621
3226.91/3239.46 c #Conflicts: 1746000 | #Constraints: 57621
3226.91/3239.46 c INPROCESSING
3226.91/3239.46 c GARBAGE COLLECT
3226.91/3239.46 c #Conflicts: 1747000 | #Constraints: 32428
3226.91/3239.46 c #Conflicts: 1748000 | #Constraints: 33428
3226.91/3239.46 c #Conflicts: 1749000 | #Constraints: 34428
3226.91/3239.46 c #Conflicts: 1750000 | #Constraints: 35428
3226.91/3239.46 c #Conflicts: 1751000 | #Constraints: 36428
3226.91/3239.46 c #Conflicts: 1752000 | #Constraints: 37428
3226.91/3239.46 c #Conflicts: 1753000 | #Constraints: 38428
3226.91/3239.46 c #Conflicts: 1754000 | #Constraints: 39428
3226.91/3239.46 c #Conflicts: 1755000 | #Constraints: 40428
3226.91/3239.46 c #Conflicts: 1756000 | #Constraints: 41428
3226.91/3239.46 c #Conflicts: 1757000 | #Constraints: 42428
3226.91/3239.46 c #Conflicts: 1758000 | #Constraints: 43428
3226.91/3239.46 c #Conflicts: 1759000 | #Constraints: 44428
3226.91/3239.46 c #Conflicts: 1760000 | #Constraints: 45428
3226.91/3239.46 c #Conflicts: 1761000 | #Constraints: 46428
3226.91/3239.46 c #Conflicts: 1762000 | #Constraints: 47428
3226.91/3239.46 c #Conflicts: 1763000 | #Constraints: 48428
3226.91/3239.46 c #Conflicts: 1764000 | #Constraints: 49428
3226.91/3239.46 c #Conflicts: 1765000 | #Constraints: 50428
3226.91/3239.46 c #Conflicts: 1766000 | #Constraints: 51428
3226.91/3239.46 c #Conflicts: 1767000 | #Constraints: 52428
3226.91/3239.46 c #Conflicts: 1768000 | #Constraints: 53428
3226.91/3239.46 c #Conflicts: 1769000 | #Constraints: 54428
3226.91/3239.46 c #Conflicts: 1770000 | #Constraints: 55428
3226.91/3239.46 c #Conflicts: 1771000 | #Constraints: 56428
3226.91/3239.46 c #Conflicts: 1772000 | #Constraints: 57428
3226.91/3239.46 c #Conflicts: 1773000 | #Constraints: 58428
3226.91/3239.46 c INPROCESSING
3226.91/3239.46 c GARBAGE COLLECT
3226.91/3239.46 c #Conflicts: 1774000 | #Constraints: 33036
3226.91/3239.46 c #Conflicts: 1775000 | #Constraints: 34036
3226.91/3239.46 c #Conflicts: 1776000 | #Constraints: 35036
3226.91/3239.46 c #Conflicts: 1777000 | #Constraints: 36036
3226.91/3239.46 c #Conflicts: 1778000 | #Constraints: 37036
3226.91/3239.46 c #Conflicts: 1779000 | #Constraints: 38036
3226.91/3239.46 c #Conflicts: 1780000 | #Constraints: 39036
3226.91/3239.46 c #Conflicts: 1781000 | #Constraints: 40036
3226.91/3239.46 c #Conflicts: 1782000 | #Constraints: 41036
3226.91/3239.46 c #Conflicts: 1783000 | #Constraints: 42036
3226.91/3239.46 c #Conflicts: 1784000 | #Constraints: 43036
3226.91/3239.46 c #Conflicts: 1785000 | #Constraints: 44036
3226.91/3239.46 c #Conflicts: 1786000 | #Constraints: 45036
3226.91/3239.46 c #Conflicts: 1787000 | #Constraints: 46036
3226.91/3239.46 c #Conflicts: 1788000 | #Constraints: 47036
3226.91/3239.46 c #Conflicts: 1789000 | #Constraints: 48036
3226.91/3239.46 c #Conflicts: 1790000 | #Constraints: 49036
3226.91/3239.46 c #Conflicts: 1791000 | #Constraints: 50036
3226.91/3239.46 c #Conflicts: 1792000 | #Constraints: 51036
3226.91/3239.46 c #Conflicts: 1793000 | #Constraints: 52036
3226.91/3239.46 c #Conflicts: 1794000 | #Constraints: 53036
3226.91/3239.46 c #Conflicts: 1795000 | #Constraints: 54036
3226.91/3239.46 c #Conflicts: 1796000 | #Constraints: 55036
3226.91/3239.46 c #Conflicts: 1797000 | #Constraints: 56036
3226.91/3239.46 c #Conflicts: 1798000 | #Constraints: 57036
3326.40/3339.29 c #Conflicts: 1799000 | #Constraints: 58036
3326.40/3339.29 c #Conflicts: 1800000 | #Constraints: 59036
3326.40/3339.29 c INPROCESSING
3326.40/3339.29 c GARBAGE COLLECT
3326.40/3339.29 c #Conflicts: 1801000 | #Constraints: 33425
3326.40/3339.29 c #Conflicts: 1802000 | #Constraints: 34425
3326.40/3339.29 c #Conflicts: 1803000 | #Constraints: 35425
3326.40/3339.29 c #Conflicts: 1804000 | #Constraints: 36425
3326.40/3339.29 c #Conflicts: 1805000 | #Constraints: 37425
3326.40/3339.29 c #Conflicts: 1806000 | #Constraints: 38425
3326.40/3339.29 c #Conflicts: 1807000 | #Constraints: 39425
3326.40/3339.29 c #Conflicts: 1808000 | #Constraints: 40425
3326.40/3339.29 c #Conflicts: 1809000 | #Constraints: 41425
3326.40/3339.29 c #Conflicts: 1810000 | #Constraints: 42425
3326.40/3339.29 c #Conflicts: 1811000 | #Constraints: 43425
3326.40/3339.29 c #Conflicts: 1812000 | #Constraints: 44425
3326.40/3339.29 c #Conflicts: 1813000 | #Constraints: 45425
3326.40/3339.29 c #Conflicts: 1814000 | #Constraints: 46425
3326.40/3339.29 c #Conflicts: 1815000 | #Constraints: 47425
3326.40/3339.29 c #Conflicts: 1816000 | #Constraints: 48425
3326.40/3339.29 c #Conflicts: 1817000 | #Constraints: 49425
3326.40/3339.29 c #Conflicts: 1818000 | #Constraints: 50425
3326.40/3339.29 c #Conflicts: 1819000 | #Constraints: 51425
3326.40/3339.29 c #Conflicts: 1820000 | #Constraints: 52425
3326.40/3339.29 c #Conflicts: 1821000 | #Constraints: 53425
3326.40/3339.29 c #Conflicts: 1822000 | #Constraints: 54425
3326.40/3339.29 c #Conflicts: 1823000 | #Constraints: 55425
3326.40/3339.29 c #Conflicts: 1824000 | #Constraints: 56425
3326.40/3339.29 c #Conflicts: 1825000 | #Constraints: 57425
3326.40/3339.29 c #Conflicts: 1826000 | #Constraints: 58425
3326.40/3339.29 c #Conflicts: 1827000 | #Constraints: 59425
3326.40/3339.29 c INPROCESSING
3326.40/3339.29 c GARBAGE COLLECT
3326.40/3339.29 c #Conflicts: 1828000 | #Constraints: 33620
3326.40/3339.29 c #Conflicts: 1829000 | #Constraints: 34620
3326.40/3339.29 c #Conflicts: 1830000 | #Constraints: 35620
3326.40/3339.29 c #Conflicts: 1831000 | #Constraints: 36620
3326.40/3339.29 c #Conflicts: 1832000 | #Constraints: 37620
3326.40/3339.29 c #Conflicts: 1833000 | #Constraints: 38620
3326.40/3339.29 c #Conflicts: 1834000 | #Constraints: 39620
3326.40/3339.29 c #Conflicts: 1835000 | #Constraints: 40620
3326.40/3339.29 c #Conflicts: 1836000 | #Constraints: 41620
3326.40/3339.29 c #Conflicts: 1837000 | #Constraints: 42620
3326.40/3339.29 c #Conflicts: 1838000 | #Constraints: 43620
3326.40/3339.29 c #Conflicts: 1839000 | #Constraints: 44620
3326.40/3339.29 c #Conflicts: 1840000 | #Constraints: 45620
3326.40/3339.29 c #Conflicts: 1841000 | #Constraints: 46620
3326.40/3339.29 c #Conflicts: 1842000 | #Constraints: 47620
3326.40/3339.29 c #Conflicts: 1843000 | #Constraints: 48620
3326.40/3339.29 c #Conflicts: 1844000 | #Constraints: 49620
3326.40/3339.29 c #Conflicts: 1845000 | #Constraints: 50620
3326.40/3339.29 c #Conflicts: 1846000 | #Constraints: 51620
3326.40/3339.29 c #Conflicts: 1847000 | #Constraints: 52620
3326.40/3339.29 c #Conflicts: 1848000 | #Constraints: 53620
3326.40/3339.29 c #Conflicts: 1849000 | #Constraints: 54620
3326.40/3339.29 c #Conflicts: 1850000 | #Constraints: 55620
3326.40/3339.29 c #Conflicts: 1851000 | #Constraints: 56620
3326.40/3339.29 c #Conflicts: 1852000 | #Constraints: 57620
3326.40/3339.29 c #Conflicts: 1853000 | #Constraints: 58620
3326.40/3339.29 c #Conflicts: 1854000 | #Constraints: 59620
3326.40/3339.29 c INPROCESSING
3326.40/3339.29 c GARBAGE COLLECT
3326.40/3339.29 c #Conflicts: 1855000 | #Constraints: 33620
3326.40/3339.29 c #Conflicts: 1856000 | #Constraints: 34620
3326.40/3339.29 c #Conflicts: 1857000 | #Constraints: 35620
3326.40/3339.29 c #Conflicts: 1858000 | #Constraints: 36620
3326.40/3339.29 c #Conflicts: 1859000 | #Constraints: 37620
3326.40/3339.29 c #Conflicts: 1860000 | #Constraints: 38620
3326.40/3339.29 c #Conflicts: 1861000 | #Constraints: 39620
3326.40/3339.29 c #Conflicts: 1862000 | #Constraints: 40620
3326.40/3339.29 c #Conflicts: 1863000 | #Constraints: 41620
3326.40/3339.29 c #Conflicts: 1864000 | #Constraints: 42620
3326.40/3339.29 c #Conflicts: 1865000 | #Constraints: 43620
3326.40/3339.29 c #Conflicts: 1866000 | #Constraints: 44620
3326.40/3339.29 c #Conflicts: 1867000 | #Constraints: 45620
3326.40/3339.29 c #Conflicts: 1868000 | #Constraints: 46620
3326.40/3339.29 c #Conflicts: 1869000 | #Constraints: 47620
3326.40/3339.29 c #Conflicts: 1870000 | #Constraints: 48620
3326.40/3339.29 c #Conflicts: 1871000 | #Constraints: 49620
3326.40/3339.29 c #Conflicts: 1872000 | #Constraints: 50620
3326.40/3339.29 c #Conflicts: 1873000 | #Constraints: 51620
3326.40/3339.29 c #Conflicts: 1874000 | #Constraints: 52620
3326.40/3339.29 c #Conflicts: 1875000 | #Constraints: 53620
3443.03/3456.26 c #Conflicts: 1876000 | #Constraints: 54620
3443.03/3456.26 c #Conflicts: 1877000 | #Constraints: 55620
3443.03/3456.26 c #Conflicts: 1878000 | #Constraints: 56620
3443.03/3456.26 c #Conflicts: 1879000 | #Constraints: 57620
3443.03/3456.26 c #Conflicts: 1880000 | #Constraints: 58620
3443.03/3456.26 c #Conflicts: 1881000 | #Constraints: 59620
3443.03/3456.26 c INPROCESSING
3443.03/3456.26 c GARBAGE COLLECT
3443.03/3456.26 c #Conflicts: 1882000 | #Constraints: 33422
3443.03/3456.26 c #Conflicts: 1883000 | #Constraints: 34422
3443.03/3456.26 c #Conflicts: 1884000 | #Constraints: 35422
3443.03/3456.26 c #Conflicts: 1885000 | #Constraints: 36422
3443.03/3456.26 c #Conflicts: 1886000 | #Constraints: 37422
3443.03/3456.26 c #Conflicts: 1887000 | #Constraints: 38422
3443.03/3456.26 c #Conflicts: 1888000 | #Constraints: 39422
3443.03/3456.26 c #Conflicts: 1889000 | #Constraints: 40422
3443.03/3456.26 c #Conflicts: 1890000 | #Constraints: 41422
3443.03/3456.26 c #Conflicts: 1891000 | #Constraints: 42422
3443.03/3456.26 c #Conflicts: 1892000 | #Constraints: 43422
3443.03/3456.26 c #Conflicts: 1893000 | #Constraints: 44422
3443.03/3456.26 c #Conflicts: 1894000 | #Constraints: 45422
3443.03/3456.26 c #Conflicts: 1895000 | #Constraints: 46422
3443.03/3456.26 c #Conflicts: 1896000 | #Constraints: 47422
3443.03/3456.26 c #Conflicts: 1897000 | #Constraints: 48422
3443.03/3456.26 c #Conflicts: 1898000 | #Constraints: 49422
3443.03/3456.26 c #Conflicts: 1899000 | #Constraints: 50422
3443.03/3456.26 c #Conflicts: 1900000 | #Constraints: 51422
3443.03/3456.26 c #Conflicts: 1901000 | #Constraints: 52422
3443.03/3456.26 c #Conflicts: 1902000 | #Constraints: 53422
3443.03/3456.26 c #Conflicts: 1903000 | #Constraints: 54422
3443.03/3456.26 c #Conflicts: 1904000 | #Constraints: 55422
3443.03/3456.26 c #Conflicts: 1905000 | #Constraints: 56422
3443.03/3456.26 c #Conflicts: 1906000 | #Constraints: 57422
3443.03/3456.26 c #Conflicts: 1907000 | #Constraints: 58422
3443.03/3456.26 c #Conflicts: 1908000 | #Constraints: 59422
3443.03/3456.26 c #Conflicts: 1909000 | #Constraints: 60422
3443.03/3456.26 c INPROCESSING
3443.03/3456.26 c GARBAGE COLLECT
3443.03/3456.26 c #Conflicts: 1910000 | #Constraints: 34022
3443.03/3456.26 c #Conflicts: 1911000 | #Constraints: 35022
3443.03/3456.26 c #Conflicts: 1912000 | #Constraints: 36022
3443.03/3456.26 c #Conflicts: 1913000 | #Constraints: 37022
3443.03/3456.26 c #Conflicts: 1914000 | #Constraints: 38022
3443.03/3456.26 c #Conflicts: 1915000 | #Constraints: 39022
3443.03/3456.26 c #Conflicts: 1916000 | #Constraints: 40022
3443.03/3456.26 c #Conflicts: 1917000 | #Constraints: 41022
3443.03/3456.26 c #Conflicts: 1918000 | #Constraints: 42022
3443.03/3456.26 c #Conflicts: 1919000 | #Constraints: 43022
3443.03/3456.26 c #Conflicts: 1920000 | #Constraints: 44022
3443.03/3456.26 c #Conflicts: 1921000 | #Constraints: 45022
3443.03/3456.26 c #Conflicts: 1922000 | #Constraints: 46022
3443.03/3456.26 c #Conflicts: 1923000 | #Constraints: 47022
3443.03/3456.26 c #Conflicts: 1924000 | #Constraints: 48022
3443.03/3456.26 c #Conflicts: 1925000 | #Constraints: 49022
3443.03/3456.26 c #Conflicts: 1926000 | #Constraints: 50022
3443.03/3456.26 c #Conflicts: 1927000 | #Constraints: 51022
3443.03/3456.26 c #Conflicts: 1928000 | #Constraints: 52022
3443.03/3456.26 c #Conflicts: 1929000 | #Constraints: 53022
3443.03/3456.26 c #Conflicts: 1930000 | #Constraints: 54022
3443.03/3456.26 c #Conflicts: 1931000 | #Constraints: 55022
3443.03/3456.26 c #Conflicts: 1932000 | #Constraints: 56022
3443.03/3456.26 c #Conflicts: 1933000 | #Constraints: 57022
3443.03/3456.26 c #Conflicts: 1934000 | #Constraints: 58022
3443.03/3456.26 c #Conflicts: 1935000 | #Constraints: 59022
3443.03/3456.26 c #Conflicts: 1936000 | #Constraints: 60022
3443.03/3456.26 c #Conflicts: 1937000 | #Constraints: 61022
3443.03/3456.26 c INPROCESSING
3443.03/3456.26 c GARBAGE COLLECT
3443.03/3456.26 c #Conflicts: 1938000 | #Constraints: 34420
3443.03/3456.26 c #Conflicts: 1939000 | #Constraints: 35420
3443.03/3456.26 c #Conflicts: 1940000 | #Constraints: 36420
3443.03/3456.26 c #Conflicts: 1941000 | #Constraints: 37420
3443.03/3456.26 c #Conflicts: 1942000 | #Constraints: 38420
3443.03/3456.26 c #Conflicts: 1943000 | #Constraints: 39420
3443.03/3456.26 c #Conflicts: 1944000 | #Constraints: 40420
3443.03/3456.26 c #Conflicts: 1945000 | #Constraints: 41420
3443.03/3456.26 c #Conflicts: 1946000 | #Constraints: 42420
3443.03/3456.26 c #Conflicts: 1947000 | #Constraints: 43420
3443.03/3456.26 c #Conflicts: 1948000 | #Constraints: 44420
3443.03/3456.26 c #Conflicts: 1949000 | #Constraints: 45420
3443.03/3456.26 c #Conflicts: 1950000 | #Constraints: 46420
3443.03/3456.26 c #Conflicts: 1951000 | #Constraints: 47420
3443.03/3456.26 c #Conflicts: 1952000 | #Constraints: 48420
3545.09/3558.61 c #Conflicts: 1953000 | #Constraints: 49420
3545.09/3558.61 c #Conflicts: 1954000 | #Constraints: 50420
3545.09/3558.61 c #Conflicts: 1955000 | #Constraints: 51420
3545.09/3558.61 c #Conflicts: 1956000 | #Constraints: 52420
3545.09/3558.61 c #Conflicts: 1957000 | #Constraints: 53420
3545.09/3558.61 c #Conflicts: 1958000 | #Constraints: 54420
3545.09/3558.61 c #Conflicts: 1959000 | #Constraints: 55420
3545.09/3558.61 c #Conflicts: 1960000 | #Constraints: 56420
3545.09/3558.61 c #Conflicts: 1961000 | #Constraints: 57420
3545.09/3558.61 c #Conflicts: 1962000 | #Constraints: 58420
3545.09/3558.61 c #Conflicts: 1963000 | #Constraints: 59420
3545.09/3558.61 c #Conflicts: 1964000 | #Constraints: 60420
3545.09/3558.61 c #Conflicts: 1965000 | #Constraints: 61420
3545.09/3558.61 c INPROCESSING
3545.09/3558.61 c GARBAGE COLLECT
3545.09/3558.61 c #Conflicts: 1966000 | #Constraints: 34617
3545.09/3558.61 c #Conflicts: 1967000 | #Constraints: 35617
3545.09/3558.61 c #Conflicts: 1968000 | #Constraints: 36617
3545.09/3558.61 c #Conflicts: 1969000 | #Constraints: 37617
3545.09/3558.61 c #Conflicts: 1970000 | #Constraints: 38617
3545.09/3558.61 c #Conflicts: 1971000 | #Constraints: 39617
3545.09/3558.61 c #Conflicts: 1972000 | #Constraints: 40617
3545.09/3558.61 c #Conflicts: 1973000 | #Constraints: 41617
3545.09/3558.61 c #Conflicts: 1974000 | #Constraints: 42617
3545.09/3558.61 c #Conflicts: 1975000 | #Constraints: 43617
3545.09/3558.61 c #Conflicts: 1976000 | #Constraints: 44617
3545.09/3558.61 c #Conflicts: 1977000 | #Constraints: 45617
3545.09/3558.61 c #Conflicts: 1978000 | #Constraints: 46617
3545.09/3558.61 c #Conflicts: 1979000 | #Constraints: 47617
3545.09/3558.61 c #Conflicts: 1980000 | #Constraints: 48617
3545.09/3558.61 c #Conflicts: 1981000 | #Constraints: 49617
3545.09/3558.61 c #Conflicts: 1982000 | #Constraints: 50617
3545.09/3558.61 c #Conflicts: 1983000 | #Constraints: 51617
3545.09/3558.61 c #Conflicts: 1984000 | #Constraints: 52617
3545.09/3558.61 c #Conflicts: 1985000 | #Constraints: 53617
3545.09/3558.61 c #Conflicts: 1986000 | #Constraints: 54617
3545.09/3558.61 c #Conflicts: 1987000 | #Constraints: 55617
3545.09/3558.61 c #Conflicts: 1988000 | #Constraints: 56617
3545.09/3558.61 c #Conflicts: 1989000 | #Constraints: 57617
3545.09/3558.61 c #Conflicts: 1990000 | #Constraints: 58617
3545.09/3558.61 c #Conflicts: 1991000 | #Constraints: 59617
3545.09/3558.61 c #Conflicts: 1992000 | #Constraints: 60617
3545.09/3558.61 c #Conflicts: 1993000 | #Constraints: 61617
3545.09/3558.61 c INPROCESSING
3545.09/3558.61 c GARBAGE COLLECT
3545.09/3558.61 c #Conflicts: 1994000 | #Constraints: 34614
3545.09/3558.61 c #Conflicts: 1995000 | #Constraints: 35614
3545.09/3558.61 c #Conflicts: 1996000 | #Constraints: 36614
3545.09/3558.61 c #Conflicts: 1997000 | #Constraints: 37614
3545.09/3558.61 c #Conflicts: 1998000 | #Constraints: 38614
3545.09/3558.61 c #Conflicts: 1999000 | #Constraints: 39614
3545.09/3558.61 c #Conflicts: 2000000 | #Constraints: 40614
3545.09/3558.61 c #Conflicts: 2001000 | #Constraints: 41614
3545.09/3558.61 c #Conflicts: 2002000 | #Constraints: 42614
3545.09/3558.61 c #Conflicts: 2003000 | #Constraints: 43614
3545.09/3558.61 c #Conflicts: 2004000 | #Constraints: 44614
3545.09/3558.61 c #Conflicts: 2005000 | #Constraints: 45614
3545.09/3558.61 c #Conflicts: 2006000 | #Constraints: 46614
3545.09/3558.61 c #Conflicts: 2007000 | #Constraints: 47614
3545.09/3558.61 c #Conflicts: 2008000 | #Constraints: 48614
3545.09/3558.61 c #Conflicts: 2009000 | #Constraints: 49614
3545.09/3558.61 c #Conflicts: 2010000 | #Constraints: 50614
3545.09/3558.61 c #Conflicts: 2011000 | #Constraints: 51614
3545.09/3558.61 c #Conflicts: 2012000 | #Constraints: 52614
3545.09/3558.61 c #Conflicts: 2013000 | #Constraints: 53614
3545.09/3558.61 c #Conflicts: 2014000 | #Constraints: 54614
3545.09/3558.61 c #Conflicts: 2015000 | #Constraints: 55614
3545.09/3558.61 c #Conflicts: 2016000 | #Constraints: 56614
3545.09/3558.61 c #Conflicts: 2017000 | #Constraints: 57614
3545.09/3558.61 c #Conflicts: 2018000 | #Constraints: 58614
3545.09/3558.61 c #Conflicts: 2019000 | #Constraints: 59614
3545.09/3558.61 c #Conflicts: 2020000 | #Constraints: 60614
3545.09/3558.61 c #Conflicts: 2021000 | #Constraints: 61614
3545.09/3558.61 c INPROCESSING
3545.09/3558.61 c GARBAGE COLLECT
3545.09/3558.61 c #Conflicts: 2022000 | #Constraints: 34417
3545.09/3558.61 c #Conflicts: 2023000 | #Constraints: 35417
3545.09/3558.61 c #Conflicts: 2024000 | #Constraints: 36417
3545.09/3558.61 c #Conflicts: 2025000 | #Constraints: 37417
3545.09/3558.61 c #Conflicts: 2026000 | #Constraints: 38417
3545.09/3558.61 c #Conflicts: 2027000 | #Constraints: 39417
3545.09/3558.61 c #Conflicts: 2028000 | #Constraints: 40417
3545.09/3558.61 c #Conflicts: 2029000 | #Constraints: 41417
3600.01/3613.70 c #Conflicts: 2030000 | #Constraints: 42417
3600.01/3613.70 c #Conflicts: 2031000 | #Constraints: 43417
3600.01/3613.70 c #Conflicts: 2032000 | #Constraints: 44417
3600.01/3613.70 c #Conflicts: 2033000 | #Constraints: 45417
3600.01/3613.70 c #Conflicts: 2034000 | #Constraints: 46417
3600.01/3613.70 c #Conflicts: 2035000 | #Constraints: 47417
3600.01/3613.70 c #Conflicts: 2036000 | #Constraints: 48417
3600.01/3613.70 c #Conflicts: 2037000 | #Constraints: 49417
3600.01/3613.70 c #Conflicts: 2038000 | #Constraints: 50417
3600.01/3613.70 c #Conflicts: 2039000 | #Constraints: 51417
3600.01/3613.70 c #Conflicts: 2040000 | #Constraints: 52417
3600.01/3613.70 c #Conflicts: 2041000 | #Constraints: 53417
3600.01/3613.70 c #Conflicts: 2042000 | #Constraints: 54417
3600.01/3613.70 c #Conflicts: 2043000 | #Constraints: 55417
3600.01/3613.70 c #Conflicts: 2044000 | #Constraints: 56417
3600.01/3613.70 c #Conflicts: 2045000 | #Constraints: 57417
3600.01/3613.70 c #Conflicts: 2046000 | #Constraints: 58417
3600.01/3613.70 c #Conflicts: 2047000 | #Constraints: 59417
3600.01/3613.70 c #Conflicts: 2048000 | #Constraints: 60417
3600.01/3613.71 c #Conflicts: 2049000 | #Constraints: 61417
3600.01/3613.71 c #Conflicts: 2050000 | #Constraints: 62417
3600.01/3613.71 c INPROCESSING
3600.01/3613.71 c GARBAGE COLLECT
3600.01/3613.71 c #Conflicts: 2051000 | #Constraints: 35018
3600.01/3613.71 c #Conflicts: 2052000 | #Constraints: 36018
3600.01/3613.71 c #Conflicts: 2053000 | #Constraints: 37018
3600.01/3613.71 c #Conflicts: 2054000 | #Constraints: 38018
3600.01/3613.71 c #Conflicts: 2055000 | #Constraints: 39018
3600.01/3613.71 c #Conflicts: 2056000 | #Constraints: 40018
3600.01/3613.71 c #Conflicts: 2057000 | #Constraints: 41018
3600.01/3613.71 c #Conflicts: 2058000 | #Constraints: 42018
3600.01/3613.71 c #Conflicts: 2059000 | #Constraints: 43018
3600.01/3613.71 c #Conflicts: 2060000 | #Constraints: 44018
3600.01/3613.71 c #Conflicts: 2061000 | #Constraints: 45018
3600.01/3613.71 c #Conflicts: 2062000 | #Constraints: 46018
3600.01/3613.71 c #Conflicts: 2063000 | #Constraints: 47018
3600.01/3613.71 c #Conflicts: 2064000 | #Constraints: 48018
3600.01/3613.71 c #Conflicts: 2065000 | #Constraints: 49018
3600.01/3613.71 c #Conflicts: 2066000 | #Constraints: 50018
3600.01/3613.71 c Program interrupted by user.
3600.01/3613.71 c cpu time 3585.74 s
3600.01/3613.71 c deterministic time 221282673165 2.21e+11
3600.01/3613.71 c optimization time 129.569 s
3600.01/3613.71 c total solve time 3456.15 s
3600.01/3613.71 c core-guided solve time 3456.15 s
3600.01/3613.71 c propagation time 1466.11 s
3600.01/3613.71 c conflict analysis time 1986.58 s
3600.01/3613.71 c propagations 202406731
3600.01/3613.71 c resolve steps 88401636
3600.01/3613.71 c decisions 7336164
3600.01/3613.71 c conflicts 2066820
3600.01/3613.71 c restarts 4090
3600.01/3613.71 c inprocessing phases 134
3600.01/3613.71 c input clauses 6283
3600.01/3613.71 c input cardinalities 335
3600.01/3613.71 c input general constraints 147
3600.01/3613.71 c input average constraint length 63.39
3600.01/3613.71 c input average constraint degree 28.90
3600.01/3613.71 c learned clauses 1849406
3600.01/3613.71 c learned cardinalities 358
3600.01/3613.71 c learned general constraints 217113
3600.01/3613.71 c learned average constraint length 1119.53
3600.01/3613.71 c learned average constraint degree 163483.96
3600.01/3613.71 c watched constraints 188192
3600.01/3613.71 c counting constraints 29068
3600.01/3613.71 c gcd simplifications 39828
3600.01/3613.71 c detected cardinalities 6
3600.01/3613.71 c weakened non-implied lits 2056289632
3600.01/3613.71 c weakened non-implying lits 94444
3600.01/3613.71 c original variables 3002
3600.01/3613.71 c clausal propagations 156306713
3600.01/3613.71 c cardinality propagations 6387496
3600.01/3613.71 c watched propagations 6381453
3600.01/3613.71 c counting propagations 31193768
3600.01/3613.71 c watch lookups 30382422446
3600.01/3613.71 c watch backjump lookups 26572752227
3600.01/3613.71 c watch checks 133224490056
3600.01/3613.71 c propagation checks 21951007553
3600.01/3613.71 c constraint additions 8730451547
3600.01/3613.71 c trail pops 211806440
3600.01/3613.71 c formula constraints 5066
3600.01/3613.71 c learned constraints 2066877
3600.01/3613.71 c bound constraints 153
3600.01/3613.71 c core-guided constraints 1546
3600.01/3613.71 c encountered formula constraints 76190281
3600.01/3613.71 c encountered learned constraints 5819781
3600.01/3613.71 c encountered bound constraints 54
3600.01/3613.71 c encountered core-guided constraints 8458366
3600.01/3613.71 c LP total time 0 s
3600.01/3613.71 c LP solve time 0 s
3600.01/3613.71 c LP constraints added 0
3600.01/3613.71 c LP constraints removed 0
3600.01/3613.71 c LP pivots internal 0
3600.01/3613.71 c LP pivots root 0
3600.01/3613.71 c LP calls 0
3600.01/3613.71 c LP optimalities 0
3600.01/3613.71 c LP no pivot count 0
3600.01/3613.71 c LP infeasibilities 0
3600.01/3613.71 c LP valid Farkas constraints 0
3600.01/3613.71 c LP learned Farkas constraints 0
3600.01/3613.71 c LP basis resets 0
3600.01/3613.71 c LP cycling count 0
3600.01/3613.71 c LP singular count 0
3600.01/3613.71 c LP no primal count 0
3600.01/3613.71 c LP no farkas count 0
3600.01/3613.71 c LP other issue count 0
3600.01/3613.71 c LP Gomory cuts 0
3600.01/3613.71 c LP learned cuts 0
3600.01/3613.71 c LP deleted cuts 0
3600.01/3613.71 c LP encountered Gomory constraints 0
3600.01/3613.71 c LP encountered Farkas constraints 0
3600.01/3613.71 c LP encountered learned Farkas constraints 0
3600.01/3613.71 c CG auxiliary variables introduced 1297
3600.01/3613.71 c CG solutions found 1
3600.01/3613.71 c CG cores constructed 136
3600.01/3613.71 c CG core cardinality constraints returned 0
3600.01/3613.71 c CG unit cores 1
3600.01/3613.71 c CG single cores 135
3600.01/3613.71 c CG blocks removed during cardinality reduction 0
3600.01/3613.71 c CG first core best 0
3600.01/3613.71 c CG decision core best 0
3600.01/3613.71 c CG core reduction tie 0
3600.01/3613.71 c CG core degree average 1.00
3600.01/3613.71 c CG core slack average 3.79
3600.01/3613.71 c CG exhausted 1
3600.01/3613.71 c CG exhaust time 103.004 s
3600.01/3613.71 c CG trimmed 27
3600.01/3613.71 c CG trim time 0.010896 s
3600.01/3613.71 c CG minimized 0
3600.01/3613.71 c CG minimize time 0 s
3600.01/3613.71 c CG am1 prop time 0.044372 s
3600.01/3613.71 c CG # am1s reformulated 1129
3600.01/3613.71 c CG lower bound derived from am1s 1160
3600.01/3613.71 c CG # clausal cores 135
3600.01/3613.71 c CG # cardinality cores 0
3600.01/3613.71 c CG # pb cores 0
3600.01/3613.71 c CG # pb reforms 0
3600.01/3613.71 c CG # cores discarded because of pb reform 0
3600.01/3613.71 d LOWERBOUND 1433
3600.01/3613.71 d NCORES 136
3600.01/3613.71 d NPBCORES 0
3600.01/3613.71 d NPBREFORM 0
3600.01/3613.71 d NTRIMMED 27
3600.01/3613.71 d NEXHAUSTED 1
3600.01/3613.71 d NAM1S 1129
3600.01/3613.71 d AM1LB 1160
3600.01/3613.71 o 1448
3600.01/3613.71 s SATISFIABLE
3600.01/3613.71 v -x1 x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 -x11 x12 x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 x31 -x32 x33 -x34 -x35 x36 -x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 x52 x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 x62 x63 -x64 -x65 x66 -x67 x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 x79 -x80 -x81 x82 x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 x92 x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 x102 -x103 -x104 -x105 x106 x107 -x108 -x109 x110 x111 -x112 x113 -x114 -x115 x116 -x117 x118 -x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 -x129 -x130 x131 -x132 x133 -x134 x135 -x136 -x137 x138 -x139 x140 x141 -x142 -x143 x144 -x145 x146 x147 -x148 -x149 x150 x151 -x152 -x153 -x154 x155 -x156 x157 -x158 -x159 x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 x186 -x187 -x188 x189 -x190 -x191 x192 x193 -x194 x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 x210 x211 -x212 x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 x225 -x226 x227 -x228 -x229 x230 -x231 -x232 -x233 x234 -x235 x236 -x237 x238 x239 -x240 -x241 x242 -x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 x254 x255 -x256 -x257 -x258 -x259 x260 x261 -x262 x263 -x264 -x265 x266 -x267 x268 -x269 x270 -x271 x272 -x273 x274 x275 -x276 x277 -x278 x279 -x280 -x281 x282 x283 -x284 -x285 x286 x287 -x288 x289 -x290 -x291 x292 -x293 x294 -x295 x296 -x297 x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 -x315 x316 x317 -x318 -x319 x320 -x321 x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 -x341 x342 -x343 x344 x345 -x346 x347 -x348 -x349 x350 -x351 x352 -x353 x354 x355 -x356 x357 -x358 -x359 x360 -x361 x362 -x363 x364 -x365 x366 -x367 x368 -x369 x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 x380 -x381 x382 x383 -x384 x385 -x386 x387 -x388 -x389 x390 -x391 x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400 -x401 x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 x419 -x420 x421 -x422 x423 -x424 -x425 x426 -x427 x428 x429 -x430 x431 -x432 x433 -x434 x435 -x436 -x437 x438 -x439 x440 -x441 x442 -x443 x444 -x445 x446 x447 -x448 x449 -x450 x451 -x452 -x453 x454 x455 -x456 x457 -x458 x459 -x460 x461 -x462 x463 -x464 -x465 x466 -x467 x468 x469 -x470 x471 -x472 x473 -x474 x475 -x476 -x477 x478 -x479 x480 x481 -x482 x483 -x484 -x485 x486 -x487 x488 -x489 x490 -x491 x492 -x493 x494 -x495 x496 -x497 x498 x499 -x500 -x501 x502 x503 -x504 x505 -x506 -x507 x508 -x509 x510 x511 -x512 -x513 x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 -x523 x524 -x525 x526 x527 -x528 x529 -x530 -x531 x532 -x533 x534 x535 -x536 -x537 x538 -x539 x540 -x541 x542 -x543 x544 -x545 x546 x547 -x548 -x549 x550 -x551 x552 x553 -x554 -x555 x556 -x557 x558 x559 -x560 -x561 x562 -x563 x564 -x565 x566 -x567 x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 x590 -x591 x592 -x593 x594 -x595 x596 -x597 x598 -x599 x600 x601 -x602 x603 -x604 -x605 x606 -x607 x608 x609 -x610 x611 -x612 -x613 x614 x615 -x616 -x617 x618 -x619 x620 -x621 x622 -x623 x624 -x625 x626 -x627 x628 x629 -x630 x631 -x632 -x633 x634 -x635 x636 -x637 x638 x639 -x640 -x641 x642 x643 -x644 x645 -x646 x647 -x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 x657 -x658 x659 -x660 x661 -x662 x663 -x664 -x665 x666 x667 -x668 x669 -x670 -x671 x672 x673 -x674 x675 -x676 -x677 x678 -x679 x680 -x681 x682 x683 -x684 x685 -x686 x687 -x688 -x689 x690 -x691 x692 -x693 x694 x695 -x696 x697 -x698 -x699 x700 -x701 x702 -x703 x704 -x705 x706 x707 -x708 x709 -x710 x711 -x712 -x713 x714 x715 -x716 -x717 x718 -x719 x720 -x721 x722 x723 -x724 x725 -x726 -x727 x728 -x729 x730 x731 -x732 x733 -x734 -x735 x736 x737 -x738 x739 -x740 -x741 x742 x743 -x744 x745 -x746 -x747 x748 -x749 x750 -x751 x752 x753 -x754 -x755 x756 x757 -x758 -x759 x760 -x761 x762 x763 -x764 -x765 x766 -x767 x768 x769 -x770 -x771 x772 -x773 x774 x775 -x776 x777 -x778 x779 -x780 x781 -x782 x783 -x784 x785 -x786 x787 -x788 x789 -x790 x791 -x792 -x793 x794 -x795 x796 x797 -x798 -x799 x800 x801 -x802 -x803 x804 -x805 x806 -x807 x808 x809 -x810 x811 -x812 -x813 x814 x815 -x816 -x817 x818 x819 -x820 x821 -x822 x823 -x824 -x825 x826 -x827 x828 -x829 x830 -x831 x832 -x833 x834 x835 -x836 x837 -x838 x839 -x840 -x841 x842 x843 -x844 x845 -x846 -x847 x848 -x849 x850 -x851 x852 x853 -x854 -x855 x856 -x857 x858 x859 -x860 -x861 x862 x863 -x864 -x865 x866 -x867 x868 -x869 x870 x871 -x872 -x873 x874 -x875 x876 x877 -x878 x879 -x880 x881 -x882 x883 -x884 x885 -x886 x887 -x888 -x889 x890 -x891 x892 x893 -x894 x895 -x896 -x897 x898 x899 -x900 x901 -x902 -x903 x904 x905 -x906 x907 -x908 -x909 x910 -x911 x912 -x913 x914 -x915 x916 -x917 x918 x919 -x920 x921 -x922 -x923 x924 x925 -x926 x927 -x928 x929 -x930 x931 -x932 -x933 x934 -x935 x936 x937 -x938 -x939 x940 -x941 x942 -x943 x944 -x945 x946 -x947 x948 -x949 x950 -x951 x952 x953 -x954 -x955 x956 -x957 x958 x959 -x960 -x961 x962 x963 -x964 x965 -x966 x967 -x968 x969 -x970 -x971 x972 -x973 x974 -x975 x976 -x977 x978 -x979 x980 -x981 x982 x983 -x984 -x985 x986 -x987 x988 -x989 x990 -x991 x992 -x993 x994 -x995 x996 -x997 x998 -x999 x1000 -x1001 x1002 -x1003 x1004 x1005 -x1006 -x1007 x1008 -x1009 x1010 -x1011 x1012 -x1013 x1014 -x1015 x1016 x1017 -x1018 x1019 -x1020 x1021 -x1022 -x1023 x1024 -x1025 x1026 x1027 -x1028 -x1029 x1030 x1031 -x1032 -x1033 x1034 x1035 -x1036 -x1037 x1038 -x1039 x1040 x1041 -x1042 x1043 -x1044 x1045 -x1046 -x1047 x1048 x1049 -x1050 x1051 -x1052 -x1053 x1054 x1055 -x1056 -x1057 x1058 x1059 -x1060 x1061 -x1062 -x1063 x1064 -x1065 x1066 x1067 -x1068 x1069 -x1070 x1071 -x1072 x1073 -x1074 x1075 -x1076 -x1077 x1078 -x1079 x1080 -x1081 x1082 x1083 -x1084 x1085 -x1086 -x1087 x1088 x1089 -x1090 -x1091 x1092 -x1093 x1094 -x1095 x1096 x1097 -x1098 x1099 -x1100 -x1101 x1102 x1103 -x1104 x1105 -x1106 x1107 -x1108 -x1109 x1110 -x1111 x1112 x1113 -x1114 -x1115 x1116 -x1117 x1118 -x1119 x1120 x1121 -x1122 x1123 -x1124 -x1125 x1126 -x1127 x1128 x1129 -x1130 x1131 -x1132 x1133 -x1134 -x1135 x1136 -x1137 x1138 x1139 -x1140 x1141 -x1142 -x1143 x1144 -x1145 x1146 -x1147 x1148 x1149 -x1150 x1151 -x1152 -x1153 x1154 -x1155 x1156 x1157 -x1158 -x1159 x1160 x1161 -x1162 -x1163 x1164 x1165 -x1166 x1167 -x1168 x1169 -x1170 -x1171 x1172 -x1173 x1174 x1175 -x1176 x1177 -x1178 -x1179 x1180 -x1181 x1182 x1183 -x1184 x1185 -x1186 x1187 -x1188 x1189 -x1190 x1191 -x1192 x1193 -x1194 x1195 -x1196 x1197 -x1198 -x1199 x1200 x1201 -x1202 x1203 -x1204 x1205 -x1206 x1207 -x1208 x1209 -x1210 -x1211 x1212 x1213 -x1214 x1215 -x1216 -x1217 x1218 x1219 -x1220 x1221 -x1222 x1223 -x1224 -x1225 x1226 -x1227 x1228 -x1229 x1230 x1231 -x1232 -x1233 x1234 -x1235 x1236 x1237 -x1238 x1239 -x1240 x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 x1248 -x1249 x1250 -x1251 x1252 x1253 -x1254 -x1255 x1256 -x1257 x1258 -x1259 x1260 -x1261 x1262 x1263 -x1264 -x1265 x1266 -x1267 x1268 x1269 -x1270 -x1271 x1272 x1273 -x1274 x1275 -x1276 -x1277 x1278 -x1279 x1280 x1281 -x1282 -x1283 x1284 x1285 -x1286 x1287 -x1288 -x1289 x1290 x1291 -x1292 -x1293 x1294 x1295 -x1296 x1297 -x1298 x1299 -x1300 -x1301 x1302 x1303 -x1304 -x1305 x1306 -x1307 x1308 x1309 -x1310 -x1311 x1312 -x1313 x1314 -x1315 x1316 -x1317 x1318 x1319 -x1320 x1321 -x1322 x1323 -x1324 -x1325 x1326 x1327 -x1328 x1329 -x1330 -x1331 x1332 x1333 -x1334 x1335 -x1336 x1337 -x1338 -x1339 x1340 x1341 -x1342 x1343 -x1344 -x1345 x1346 x1347 -x1348 x1349 -x1350 x1351 -x1352 x1353 -x1354 x1355 -x1356 x1357 -x1358 x1359 -x1360 x1361 -x1362 x1363 -x1364 -x1365 x1366 -x1367 x1368 x1369 -x1370 x1371 -x1372 -x1373 x1374 x1375 -x1376 -x1377 x1378 -x1379 x1380 -x1381 x1382 -x1383 x1384 -x1385 x1386 -x1387 x1388 -x1389 x1390 x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 x1398 -x1399 x1400 -x1401 x1402 x1403 -x1404 -x1405 x1406 -x1407 x1408 x1409 -x1410 -x1411 x1412 x1413 -x1414 x1415 -x1416 -x1417 x1418 -x1419 x1420 -x1421 x1422 x1423 -x1424 x1425 -x1426 -x1427 x1428 -x1429 x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 x1446 x1447 -x1448 x1449 -x1450 -x1451 x1452 -x1453 x1454 x1455 -x1456 x1457 -x1458 x1459 -x1460 x1461 -x1462 x1463 -x1464 x1465 -x1466 -x1467 x1468 x1469 -x1470 -x1471 x1472 x1473 -x1474 x1475 -x1476 x1477 -x1478 x1479 -x1480 x1481 -x1482 x1483 -x1484 x1485 -x1486 -x1487 x1488 x1489 -x1490 -x1491 x1492 -x1493 x1494 -x1495 x1496 x1497 -x1498 -x1499 x1500 x1501 -x1502 x1503 -x1504 x1505 -x1506 x1507 -x1508 x1509 -x1510 -x1511 x1512 x1513 -x1514 x1515 -x1516 x1517 -x1518 x1519 -x1520 x1521 -x1522 x1523 -x1524 x1525 -x1526 x1527 -x1528 -x1529 x1530 -x1531 x1532 x1533 -x1534 x1535 -x1536 x1537 -x1538 x1539 -x1540 -x1541 x1542 -x1543 x1544 x1545 -x1546 -x1547 x1548 x1549 -x1550 x1551 -x1552 -x1553 x1554 x1555 -x1556 -x1557 x1558 -x1559 x1560 -x1561 x1562 -x1563 x1564 x1565 -x1566 x1567 -x1568 x1569 -x1570 x1571 -x1572 x1573 -x1574 x1575 -x1576 -x1577 x1578 -x1579 x1580 -x1581 x1582 -x1583 x1584 -x1585 x1586 -x1587 x1588 x1589 -x1590 -x1591 x1592 x1593 -x1594 x1595 -x1596 -x1597 x1598 -x1599 x1600 x1601 -x1602 x1603 -x1604 -x1605 x1606 x1607 -x1608 -x1609 x1610 -x1611 x1612 x1613 -x1614 x1615 -x1616 -x1617 x1618 -x1619 x1620 x1621 -x1622 x1623 -x1624 -x1625 x1626 -x1627 x1628 x1629 -x1630 -x1631 x1632 -x1633 x1634 -x1635 x1636 -x1637 x1638 x1639 -x1640 x1641 -x1642 -x1643 x1644 x1645 -x1646 x1647 -x1648 -x1649 x1650 -x1651 x1652 x1653 -x1654 x1655 -x1656 -x1657 x1658 x1659 -x1660 x1661 -x1662 x1663 -x1664 -x1665 x1666 -x1667 x1668 x1669 -x1670 -x1671 x1672 -x1673 x1674 x1675 -x1676 x1677 -x1678 x1679 -x1680 -x1681 x1682 x1683 -x1684 x1685 -x1686 -x1687 x1688 x1689 -x1690 x1691 -x1692 -x1693 x1694 -x1695 x1696 x1697 -x1698 x1699 -x1700 x1701 -x1702 -x1703 x1704 -x1705 x1706 -x1707 x1708 x1709 -x1710 x1711 -x1712 -x1713 x1714 -x1715 x1716 -x1717 x1718 x1719 -x1720 x1721 -x1722 x1723 -x1724 -x1725 x1726 -x1727 x1728 x1729 -x1730 -x1731 x1732 -x1733 x1734 -x1735 x1736 x1737 -x1738 x1739 -x1740 x1741 -x1742 x1743 -x1744 x1745 -x1746 x1747 -x1748 x1749 -x1750 -x1751 x1752 x1753 -x1754 -x1755 x1756 -x1757 x1758 -x1759 x1760 -x1761 x1762 -x1763 x1764 -x1765 x1766 -x1767 x1768 -x1769 x1770 -x1771 x1772 x1773 -x1774 -x1775 x1776 -x1777 x1778 -x1779 x1780 -x1781 x1782 x1783 -x1784 x1785 -x1786 -x1787 x1788 -x1789 x1790 x1791 -x1792 -x1793 x1794 x1795 -x1796 x1797 -x1798 x1799 -x1800 -x1801 x1802 -x1803 x1804 x1805 -x1806 x1807 -x1808 -x1809 x1810 -x1811 x1812 x1813 -x1814 x1815 -x1816 x1817 -x1818 x1819 -x1820 x1821 -x1822 -x1823 x1824 x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 x1832 -x1833 x1834 -x1835 x1836 x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 x1858 x1859 -x1860 x1861 -x1862 x1863 -x1864 x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 x1872 -x1873 x1874 -x1875 x1876 -x1877 -x1878 x1879 -x1880 x1881 -x1882 -x1883 -x1884 -x1885 x1886 x1887 -x1888 -x1889 x1890 -x1891 x1892 x1893 -x1894 x1895 -x1896 -x1897 x1898 x1899 -x1900 x1901 -x1902 -x1903 x1904 x1905 -x1906 x1907 -x1908 -x1909 x1910 -x1911 x1912 -x1913 x1914 -x1915 x1916 x1917 -x1918 x1919 -x1920 -x1921 x1922 -x1923 x1924 x1925 -x1926 x1927 -x1928 -x1929 x1930 x1931 -x1932 -x1933 x1934 -x1935 x1936 -x1937 x1938 -x1939 x1940 -x1941 x1942 x1943 -x1944 -x1945 x1946 x1947 -x1948 -x1949 x1950 x1951 -x1952 -x1953 x1954 -x1955 x1956 x1957 -x1958 -x1959 x1960 x1961 -x1962 -x1963 x1964 x1965 -x1966 x1967 -x1968 -x1969 x1970 -x1971 x1972 -x1973 x1974 x1975 -x1976 -x1977 x1978 x1979 -x1980 -x1981 x1982 x1983 -x1984 x1985 -x1986 x1987 -x1988 -x1989 x1990 -x1991 x1992 -x1993 x1994 x1995 -x1996 x1997 -x1998 x1999 -x2000 -x2001 x2002 -x2003 x2004 -x2005 x2006 x2007 -x2008 x2009 -x2010 -x2011 x2012 x2013 -x2014 -x2015 x2016 -x2017 x2018 -x2019 x2020 x2021 -x2022 -x2023 x2024 x2025 -x2026 -x2027 x2028 -x2029 x2030 -x2031 x2032 x2033 -x2034 x2035 -x2036 -x2037 x2038 -x2039 x2040 -x2041 x2042 -x2043 x2044 -x2045 x2046 -x2047 x2048 -x2049 x2050 -x2051 x2052 -x2053 x2054 x2055 -x2056 -x2057 x2058 -x2059 x2060 x2061 -x2062 x2063 -x2064 x2065 -x2066 x2067 -x2068 -x2069 x2070 -x2071 x2072 -x2073 x2074 -x2075 x2076 -x2077 x2078 -x2079 x2080 -x2081 x2082 -x2083 x2084 x2085 -x2086 -x2087 x2088 -x2089 x2090 -x2091 x2092 -x2093 x2094 x2095 -x2096 x2097 -x2098 x2099 -x2100 -x2101 x2102 -x2103 x2104 x2105 -x2106 -x2107 x2108 x2109 -x2110 x2111 -x2112 -x2113 x2114 -x2115 x2116 -x2117 x2118 -x2119 x2120 -x2121 x2122 -x2123 x2124 x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 x2132 x2133 -x2134 x2135 -x2136 -x2137 x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 x2148 -x2149 x2150 x2151 -x2152 -x2153 x2154 x2155 -x2156 x2157 -x2158 x2159 -x2160 -x2161 x2162 -x2163 x2164 -x2165 x2166 -x2167 x2168 x2169 -x2170 x2171 -x2172 -x2173 x2174 -x2175 x2176 x2177 -x2178 x2179 -x2180 -x2181 x2182 x2183 -x2184 x2185 -x2186 -x2187 x2188 -x2189 x2190 -x2191 x2192 -x2193 x2194 -x2195 x2196 -x2197 x2198 -x2199 x2200 -x2201 x2202 x2203 -x2204 -x2205 x2206 -x2207 x2208 -x2209 x2210 -x2211 x2212 x2213 -x2214 x2215 -x2216 x2217 -x2218 x2219 -x2220 x2221 -x2222 -x2223 x2224 x2225 -x2226 -x2227 x2228 x2229 -x2230 x2231 -x2232 x2233 -x2234 -x2235 x2236 x2237 -x2238 -x2239 x2240 x2241 -x2242 -x2243 x2244 x2245 -x2246 x2247 -x2248 -x2249 x2250 -x2251 x2252 -x2253 x2254 x2255 -x2256 x2257 -x2258 -x2259 x2260 x2261 -x2262 x2263 -x2264 x2265 -x2266 -x2267 x2268 x2269 -x2270 -x2271 x2272 -x2273 x2274 -x2275 x2276 x2277 -x2278 x2279 -x2280 x2281 -x2282 -x2283 x2284 x2285 -x2286 -x2287 x2288 x2289 -x2290 -x2291 x2292 -x2293 x2294 x2295 -x2296 x2297 -x2298 x2299 -x2300 -x2301 x2302 -x2303 x2304 x2305 -x2306 x2307 -x2308 x2309 -x2310 x2311 -x2312 x2313 -x2314 x2315 -x2316 x2317 -x2318 x2319 -x2320 -x2321 x2322 x2323 -x2324 x2325 -x2326 -x2327 x2328 x2329 -x2330 -x2331 x2332 x2333 -x2334 -x2335 x2336 x2337 -x2338 x2339 -x2340 x2341 -x2342 -x2343 x2344 -x2345 x2346 -x2347 x2348 -x2349 x2350 -x2351 x2352 x2353 -x2354 -x2355 x2356 x2357 -x2358 -x2359 x2360 -x2361 x2362 -x2363 x2364 -x2365 x2366 x2367 -x2368 -x2369 x2370 x2371 -x2372 x2373 -x2374 x2375 -x2376 x2377 -x2378 x2379 -x2380 x2381 -x2382 -x2383 x2384 x2385 -x2386 x2387 -x2388 x2389 -x2390 x2391 -x2392 x2393 -x2394 x2395 -x2396 x2397 -x2398 -x2399 x2400 x2401 -x2402 x2403 -x2404 x2405 -x2406 -x2407 x2408 -x2409 x2410 x2411 -x2412 x2413 -x2414 -x2415 x2416 x2417 -x2418 -x2419 x2420 -x2421 x2422 x2423 -x2424 -x2425 x2426 -x2427 x2428 -x2429 x2430 -x2431 x2432 x2433 -x2434 x2435 -x2436 -x2437 x2438 x2439 -x2440 x2441 -x2442 x2443 -x2444 -x2445 x2446 x2447 -x2448 x2449 -x2450 x2451 -x2452 -x2453 x2454 -x2455 x2456 -x2457 x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 x2474 -x2475 x2476 x2477 -x2478 x2479 -x2480 x2481 -x2482 x2483 -x2484 -x2485 x2486 -x2487 x2488 x2489 -x2490 -x2491 x2492 x2493 -x2494 -x2495 x2496 -x2497 x2498 x2499 -x2500 x2501 -x2502 -x2503 x2504 -x2505 x2506 x2507 -x2508 -x2509 x2510 x2511 -x2512 -x2513 x2514 x2515 -x2516 -x2517 x2518 x2519 -x2520 -x2521 x2522 x2523 -x2524 -x2525 x2526 x2527 -x2528 -x2529 x2530 x2531 -x2532 -x2533 x2534 -x2535 x2536 -x2537 x2538 -x2539 x2540 x2541 -x2542 -x2543 x2544 x2545 -x2546 x2547 -x2548 -x2549 x2550 -x2551 x2552 x2553 -x2554 -x2555 x2556 -x2557 x2558 -x2559 x2560 x2561 -x2562 x2563 -x2564 -x2565 x2566 x2567 -x2568 -x2569 x2570 -x2571 x2572 -x2573 x2574 x2575 -x2576 -x2577 x2578 x2579 -x2580 -x2581 x2582 x2583 -x2584 -x2585 x2586 -x2587 x2588 -x2589 x2590 x2591 -x2592 x2593 -x2594 x2595 -x2596 -x2597 x2598 -x2599 x2600 -x2601 x2602 x2603 -x2604 -x2605 x2606 x2607 -x2608 -x2609 x2610 -x2611 x2612 -x2613 x2614 -x2615 x2616 -x2617 x2618 x2619 -x2620 x2621 -x2622 -x2623 x2624 x2625 -x2626 -x2627 x2628 x2629 -x2630 x2631 -x2632 -x2633 x2634 -x2635 x2636 x2637 -x2638 -x2639 x2640 x2641 -x2642 -x2643 x2644 -x2645 x2646 x2647 -x2648 x2649 -x2650 x2651 -x2652 x2653 -x2654 x2655 -x2656 -x2657 x2658 -x2659 x2660 x2661 -x2662 x2663 -x2664 x2665 -x2666 x2667 -x2668 -x2669 x2670 -x2671 x2672 x2673 -x2674 x2675 -x2676 x2677 -x2678 -x2679 x2680 -x2681 x2682 -x2683 x2684 x2685 -x2686 x2687 -x2688 -x2689 x2690 x2691 -x2692 x2693 -x2694 -x2695 x2696 -x2697 x2698 x2699 -x2700 -x2701 x2702 x2703 -x2704 x2705 -x2706 x2707 -x2708 -x2709 x2710 x2711 -x2712 x2713 -x2714 x2715 -x2716 x2717 -x2718 -x2719 x2720 x2721 -x2722 -x2723 x2724 -x2725 x2726 -x2727 x2728 x2729 -x2730 x2731 -x2732 x2733 -x2734 -x2735 x2736 x2737 -x2738 -x2739 x2740 -x2741 x2742 -x2743 x2744 -x2745 x2746 x2747 -x2748 -x2749 x2750 -x2751 x2752 -x2753 x2754 x2755 -x2756 -x2757 x2758 -x2759 x2760 -x2761 x2762 x2763 -x2764 x2765 -x2766 x2767 -x2768 -x2769 x2770 x2771 -x2772 x2773 -x2774 x2775 -x2776 -x2777 x2778 -x2779 x2780 x2781 -x2782 -x2783 x2784 x2785 -x2786 -x2787 x2788 x2789 -x2790 x2791 -x2792 x2793 -x2794 -x2795 x2796 x2797 -x2798 -x2799 x2800 x2801 -x2802 x2803 -x2804 x2805 -x2806 -x2807 x2808 x2809 -x2810 -x2811 x2812 -x2813 x2814 -x2815 x2816 -x2817 x2818 x2819 -x2820 x2821 -x2822 -x2823 x2824 -x2825 x2826 x2827 -x2828 x2829 -x2830 -x2831 x2832 x2833 -x2834 -x2835 x2836 -x2837 x2838 -x2839 x2840 x2841 -x2842 -x2843 x2844 x2845 -x2846 x2847 -x2848 x2849 -x2850 x2851 -x2852 -x2853 x2854 -x2855 x2856 -x2857 x2858 x2859 -x2860 x2861 -x2862 x2863 -x2864 -x2865 x2866 x2867 -x2868 x2869 -x2870 x2871 -x2872 x2873 -x2874 -x2875 x2876 x2877 -x2878 x2879 -x2880 -x2881 x2882 x2883 -x2884 x2885 -x2886 x2887 -x2888 x2889 -x2890 -x2891 x2892 -x2893 x2894 -x2895 x2896 x2897 -x2898 -x2899 x2900 -x2901 x2902 x2903 -x2904 x2905 -x2906 -x2907 x2908 x2909 -x2910 -x2911 x2912 -x2913 x2914 x2915 -x2916 -x2917 x2918 x2919 -x2920 -x2921 x2922 x2923 -x2924 -x2925 x2926 x2927 -x2928 -x2929 x2930 x2931 -x2932 -x2933 x2934 -x2935 x2936 -x2937 x2938 -x2939 x2940 -x2941 x2942 -x2943 x2944 -x2945 x2946 -x2947 x2948 x2949 -x2950 -x2951 x2952 -x2953 x2954 x2955 -x2956 x2957 -x2958 -x2959 x2960 x2961 -x2962 -x2963 x2964 -x2965 x2966 -x2967 x2968 -x2969 x2970 -x2971 x2972 -x2973 x2974 -x2975 x2976 -x2977 x2978 -x2979 x2980 x2981 -x2982 x2983 -x2984 -x2985 x2986 -x2987 x2988 x2989 -x2990 x2991 -x2992 -x2993 x2994 x2995 -x2996 x2997 -x2998 -x2999 x3000 x3001 -x3002
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61545 MiB free)
memory of node 1: 64510 MiB (60098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454257-1721466577/watcher-4454257-1721466577 -o /tmp/evaluation-result-4454257-1721466577/solver-4454257-1721466577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721466587-1045261 --watchdog 3760 pb-oll-rs HOME/instance-4454257-1721466577.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1045305, runsolver pid=1045301
[startup+0.1001 s]*
/proc/loadavg: 3.75 4.06 4.12 3/237 1045324
/proc/meminfo: memFree=124554432/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=45064 memory=11744 CPUtime=0.1 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 1936 0 0 0 8 2 0 0 20 0 1 0 198816849 46145536 2936 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 11266 2936 1279 291 0 2800 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45064 KiB
Current children cumulated memory: 11744 KiB
[startup+0.213327 s]*
/proc/loadavg: 3.75 4.06 4.12 7/237 1045340
/proc/meminfo: memFree=124549936/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=47368 memory=14120 CPUtime=0.21 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 2495 0 0 0 18 3 0 0 20 0 1 0 198816849 48504832 3530 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 11842 3530 1279 291 0 3376 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47368 KiB
Current children cumulated memory: 14120 KiB
[startup+0.313086 s]*
/proc/loadavg: 3.75 4.06 4.12 3/231 1045340
/proc/meminfo: memFree=124543904/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=49028 memory=18644 CPUtime=0.31 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 3116 0 0 0 26 5 0 0 20 0 1 0 198816849 50204672 4661 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 12257 4661 1358 291 0 3791 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49028 KiB
Current children cumulated memory: 18644 KiB
[startup+0.700302 s]
/proc/loadavg: 3.75 4.06 4.12 6/234 1045369
/proc/meminfo: memFree=124535712/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=50584 memory=20228 CPUtime=0.68 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 3469 0 0 0 58 10 0 0 20 0 1 0 198816849 51798016 5057 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 12646 5057 1358 291 0 4180 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50584 KiB
Current children cumulated memory: 20228 KiB
[startup+1.50029 s]
/proc/loadavg: 3.75 4.06 4.12 6/242 1045417
/proc/meminfo: memFree=124518344/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=54096 memory=22764 CPUtime=1.48 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 4128 0 0 0 137 11 0 0 20 0 1 0 198816849 55394304 5691 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 13524 5691 1358 291 0 5058 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54096 KiB
Current children cumulated memory: 22764 KiB
[startup+3.11239 s]
/proc/loadavg: 3.75 4.06 4.12 5/242 1045419
/proc/meminfo: memFree=124491404/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=68400 memory=32304 CPUtime=3.08 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 5987 0 0 0 296 12 0 0 20 0 1 0 198816849 70041600 8076 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 17100 8076 1358 291 0 8634 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68400 KiB
Current children cumulated memory: 32304 KiB
[startup+6.30027 s]
/proc/loadavg: 3.77 4.05 4.12 5/242 1045419
/proc/meminfo: memFree=124478444/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=68740 memory=36684 CPUtime=6.27 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 6483 0 0 0 613 14 0 0 20 0 1 0 198816849 70389760 9171 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 17185 9171 1419 291 0 8719 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68740 KiB
Current children cumulated memory: 36684 KiB
[startup+12.7003 s]
/proc/loadavg: 3.79 4.05 4.12 5/242 1045419
/proc/meminfo: memFree=124466868/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=69040 memory=40012 CPUtime=12.65 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 6838 0 0 0 1248 17 0 0 20 0 1 0 198816849 70696960 10003 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 17260 10003 1419 291 0 8794 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 69040 KiB
Current children cumulated memory: 40012 KiB
[startup+25.5003 s]
/proc/loadavg: 3.90 4.07 4.12 5/242 1045928
/proc/meminfo: memFree=124468016/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=80904 memory=50972 CPUtime=25.41 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 7043 0 0 0 2518 23 0 0 20 0 1 0 198816849 82845696 12743 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 20226 12743 1419 291 0 11760 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 80904 KiB
Current children cumulated memory: 50972 KiB
[startup+51.1129 s]
/proc/loadavg: 3.94 4.06 4.12 5/244 1046027
/proc/meminfo: memFree=124073324/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=100188 memory=57616 CPUtime=50.93 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 7655 0 0 0 5061 32 0 0 20 0 1 0 198816849 102592512 14404 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 25047 14404 1419 291 0 16581 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 100188 KiB
Current children cumulated memory: 57616 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.06 4.12 5/244 1046081
/proc/meminfo: memFree=123950420/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=131348 memory=74704 CPUtime=101.92 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 8365 0 0 0 10143 49 0 0 20 0 1 0 198816849 134500352 18676 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 32837 18676 1419 291 0 24371 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 131348 KiB
Current children cumulated memory: 74704 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.06 4.11 5/244 1046136
/proc/meminfo: memFree=123115964/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=137384 memory=95308 CPUtime=161.7 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 10191 0 0 0 16091 79 0 0 20 0 1 0 198816849 140681216 23827 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 34346 23827 1419 291 0 25880 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 137384 KiB
Current children cumulated memory: 95308 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.08 4.11 5/244 1046147
/proc/meminfo: memFree=122786440/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=140016 memory=110180 CPUtime=221.48 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 11139 0 0 0 22044 104 0 0 20 0 1 0 198816849 143376384 27545 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 35004 27545 1419 291 0 26538 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 140016 KiB
Current children cumulated memory: 110180 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.06 4.10 5/244 1046158
/proc/meminfo: memFree=122636308/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=202212 memory=139500 CPUtime=281.25 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 14589 0 0 0 27996 129 0 0 20 0 1 0 198816849 207065088 34875 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 50553 34875 1419 291 0 42087 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 202212 KiB
Current children cumulated memory: 139500 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.08 4.10 5/243 1046168
/proc/meminfo: memFree=122472168/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=202588 memory=140012 CPUtime=341.02 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 14791 0 0 0 33958 144 0 0 20 0 1 0 198816849 207450112 35003 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 50647 35003 1419 291 0 42181 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 202588 KiB
Current children cumulated memory: 140012 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/241 1046179
/proc/meminfo: memFree=122303464/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=202940 memory=142628 CPUtime=400.8 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 15236 0 0 0 39904 176 0 0 20 0 1 0 198816849 207810560 35657 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 50735 35657 1419 291 0 42269 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 202940 KiB
Current children cumulated memory: 142628 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/242 1046190
/proc/meminfo: memFree=122250772/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=203036 memory=148872 CPUtime=460.57 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 15519 0 0 0 45853 204 0 0 20 0 1 0 198816849 207908864 37218 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 50759 37218 1419 291 0 42293 0
################
# More data... #
################
Current children cumulated memory: 347496 KiB
[startup+2922.3 s]
/proc/loadavg: 4.39 4.20 4.11 6/251 1047791
/proc/meminfo: memFree=120932264/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=462300 memory=347504 CPUtime=2910.83 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 36744 0 0 0 289939 1144 0 0 20 0 1 0 198816849 473395200 86876 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 115575 86876 1419 291 0 107109 0
Current children cumulated CPU time: 2910.83 s
Current children cumulated vsize: 462300 KiB
Current children cumulated memory: 347504 KiB
[startup+2982.3 s]
/proc/loadavg: 4.68 4.33 4.17 5/246 1047811
/proc/meminfo: memFree=120948252/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=462304 memory=347512 CPUtime=2970.64 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 37021 0 0 0 295889 1175 0 0 20 0 1 0 198816849 473399296 86878 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 115576 86878 1419 291 0 107110 0
Current children cumulated CPU time: 2970.64 s
Current children cumulated vsize: 462304 KiB
Current children cumulated memory: 347512 KiB
[startup+3042.3 s]
/proc/loadavg: 4.29 4.28 4.16 5/246 1047823
/proc/meminfo: memFree=120940988/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=462308 memory=349568 CPUtime=3030.45 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 37382 0 0 0 301842 1203 0 0 20 0 1 0 198816849 473403392 87392 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 115577 87392 1419 291 0 107111 0
Current children cumulated CPU time: 3030.45 s
Current children cumulated vsize: 462308 KiB
Current children cumulated memory: 349568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.24 4.16 5/244 1047844
/proc/meminfo: memFree=120899084/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=463848 memory=360900 CPUtime=3090.26 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 37990 0 0 0 307808 1218 0 0 20 0 1 0 198816849 474980352 90225 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 115962 90225 1419 291 0 107496 0
Current children cumulated CPU time: 3090.26 s
Current children cumulated vsize: 463848 KiB
Current children cumulated memory: 360900 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.21 4.15 5/245 1047855
/proc/meminfo: memFree=120897272/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=463848 memory=360900 CPUtime=3150.06 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 38176 0 0 0 313776 1230 0 0 20 0 1 0 198816849 474980352 90225 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 115962 90225 1419 291 0 107496 0
Current children cumulated CPU time: 3150.06 s
Current children cumulated vsize: 463848 KiB
Current children cumulated memory: 360900 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.22 4.16 5/245 1047866
/proc/meminfo: memFree=120892436/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=464448 memory=361436 CPUtime=3209.87 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 38573 0 0 0 319744 1243 0 0 20 0 1 0 198816849 475594752 90359 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 116112 90359 1419 291 0 107646 0
Current children cumulated CPU time: 3209.87 s
Current children cumulated vsize: 464448 KiB
Current children cumulated memory: 361436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.19 4.15 5/243 1047877
/proc/meminfo: memFree=120888768/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=464556 memory=363612 CPUtime=3269.68 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 39028 0 0 0 325698 1270 0 0 20 0 1 0 198816849 475705344 90903 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 116139 90903 1419 291 0 107673 0
Current children cumulated CPU time: 3269.68 s
Current children cumulated vsize: 464556 KiB
Current children cumulated memory: 363612 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.15 4.14 5/243 1047887
/proc/meminfo: memFree=120577396/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=464560 memory=363616 CPUtime=3329.49 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 39301 0 0 0 331651 1298 0 0 20 0 1 0 198816849 475709440 90904 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 116140 90904 1419 291 0 107674 0
Current children cumulated CPU time: 3329.49 s
Current children cumulated vsize: 464560 KiB
Current children cumulated memory: 363616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/242 1047898
/proc/meminfo: memFree=120529196/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=464564 memory=369764 CPUtime=3389.3 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 39671 0 0 0 337602 1328 0 0 20 0 1 0 198816849 475713536 92441 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 116141 92441 1419 291 0 107675 0
Current children cumulated CPU time: 3389.3 s
Current children cumulated vsize: 464564 KiB
Current children cumulated memory: 369764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.13 6/241 1047908
/proc/meminfo: memFree=120482260/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=464568 memory=371816 CPUtime=3449.1 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 39984 0 0 0 343555 1355 0 0 20 0 1 0 198816849 475717632 92954 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 116142 92954 1419 291 0 107676 0
Current children cumulated CPU time: 3449.1 s
Current children cumulated vsize: 464568 KiB
Current children cumulated memory: 371816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/241 1047918
/proc/meminfo: memFree=120408164/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=464208 memory=379648 CPUtime=3508.9 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 40404 0 0 0 349505 1385 0 0 20 0 1 0 198816849 475348992 94912 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 116052 94912 1419 291 0 107586 0
Current children cumulated CPU time: 3508.9 s
Current children cumulated vsize: 464208 KiB
Current children cumulated memory: 379648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/241 1047929
/proc/meminfo: memFree=120329488/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=464208 memory=379648 CPUtime=3568.71 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 40800 0 0 0 355455 1416 0 0 20 0 1 0 198816849 475348992 94912 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 116052 94912 1419 291 0 107586 0
Current children cumulated CPU time: 3568.71 s
Current children cumulated vsize: 464208 KiB
Current children cumulated memory: 379648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.7 s]
/proc/loadavg: 4.12 4.12 4.12 5/241 1047982
/proc/meminfo: memFree=120398328/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=472340 memory=384684 CPUtime=3600.01 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 42414 0 0 0 358573 1428 0 0 20 0 1 0 198816849 483676160 96171 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 118085 96171 1419 291 0 109619 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 472340 KiB
Current children cumulated memory: 384684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.71 s]
# the end of solver process 1045305 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.75 s, system=14.2897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.7 s]
/proc/loadavg: 4.12 4.12 4.12 5/241 1047982
/proc/meminfo: memFree=120398328/131655788 swapFree=131071996/131071996
[pid=1045305] ppid=1045301 vsize=472340 memory=384684 CPUtime=3600.01 cores=0,2
/proc/1045305/stat : 1045305 (pb-oll-rs) R 1045301 1045305 1045251 0 -1 4194304 42414 0 0 0 358573 1428 0 0 20 0 1 0 198816849 483676160 96171 134679101440 4194304 5384485 140720870960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8065024 140720870962197 140720870962274 140720870962274 140720870969291 0
/proc/1045305/statm: 118085 96171 1419 291 0 109619 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 472340 KiB
Current children cumulated memory: 384684 KiB
Child status: 0
Real time (s): 3613.71
CPU time (s): 3600.04
CPU user time (s): 3585.75
CPU system time (s): 14.2897
CPU usage (%): 99.6215
Max. virtual memory (cumulated for all children) (KiB): 472340
Max. memory (cumulated for all children) (KiB): 384684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.75
system time used= 14.2897
maximum resident set size= 384684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42430
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= 88
involuntary context switches= 25206
# summary of solver processes directly reported to runsolver:
# pid: 1045305
# total CPU time (s): 3600.04
# total CPU user time (s): 3585.75
# total CPU system time (s): 14.2897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.0626 second user time and 27.4553 second system time
The end
Begin job on nodeC010 at 2024-07-20 11:09:47
IDJOB=4454257
IDBENCH=147041
IDSOLVER=3082
FILE ID=nodeC010/4454257-1721466577
RUNJOBID= nodeC010-1721466587-1045261
SLURM_JOB_ID= 7545719
Free space on /tmp= 723784 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454257-1721466577/watcher-4454257-1721466577 -o /tmp/evaluation-result-4454257-1721466577/solver-4454257-1721466577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721466587-1045261 --watchdog 3760 pb-oll-rs HOME/instance-4454257-1721466577.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ff080475b28d666f72bcfa1cdcbe696
RANDOM SEED=1726659771
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3426.285
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.176
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.179
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.192
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.171
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.176
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.179
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124567968 kB
MemAvailable: 129843684 kB
Buffers: 547724 kB
Cached: 5514828 kB
SwapCached: 0 kB
Active: 1078096 kB
Inactive: 5325152 kB
Active(anon): 1368 kB
Inactive(anon): 385272 kB
Active(file): 1076728 kB
Inactive(file): 4939880 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6444 kB
Writeback: 0 kB
AnonPages: 340776 kB
Mapped: 107416 kB
Shmem: 45896 kB
KReclaimable: 198280 kB
Slab: 314156 kB
SReclaimable: 198280 kB
SUnreclaim: 115876 kB
KernelStack: 3716 kB
PageTables: 10188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 864204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 225280 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC010 at 2024-07-20 12:10:01