0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.01	c #variables 3625 #constraints 4800
0.09/0.16	c bounds - >= -1684 @ 0.009541
0.09/0.16	c bounds 0 >= -1684 @ 0.081464
0.09/0.16	c bounds 0 >= -1683 @ 0.081975
0.09/0.16	c bounds 0 >= -1682 @ 0.082426
0.09/0.16	c bounds 0 >= -1681 @ 0.082835
0.09/0.16	c bounds 0 >= -1680 @ 0.083265
0.09/0.16	c bounds 0 >= -1679 @ 0.083654
0.09/0.16	c bounds 0 >= -1678 @ 0.084073
0.09/0.16	c bounds 0 >= -1677 @ 0.08451
0.09/0.16	c bounds 0 >= -1676 @ 0.084916
0.09/0.16	c bounds 0 >= -1675 @ 0.085326
0.09/0.16	c bounds 0 >= -1674 @ 0.085745
0.09/0.16	c bounds 0 >= -1673 @ 0.086159
0.09/0.16	c bounds 0 >= -1672 @ 0.086583
0.09/0.16	c bounds 0 >= -1671 @ 0.086998
0.09/0.16	c bounds 0 >= -1670 @ 0.08743
0.09/0.16	c bounds 0 >= -1669 @ 0.08787
0.09/0.16	c bounds 0 >= -1668 @ 0.088315
0.09/0.16	c bounds 0 >= -1667 @ 0.08875
0.09/0.16	c bounds 0 >= -1666 @ 0.088941
0.09/0.16	c bounds 0 >= -1665 @ 0.088941
0.09/0.16	c bounds 0 >= -1664 @ 0.089156
0.09/0.16	c bounds 0 >= -1663 @ 0.089583
0.09/0.16	c bounds 0 >= -1662 @ 0.089971
0.09/0.16	c bounds 0 >= -1661 @ 0.090417
0.09/0.16	c bounds 0 >= -1660 @ 0.090841
0.09/0.16	c bounds 0 >= -1659 @ 0.091305
0.09/0.16	c bounds 0 >= -1658 @ 0.091733
0.09/0.16	c bounds 0 >= -1657 @ 0.092173
0.09/0.16	c bounds 0 >= -1656 @ 0.092614
0.09/0.16	c bounds 0 >= -1655 @ 0.093061
0.09/0.16	c bounds 0 >= -1654 @ 0.093505
0.09/0.16	c bounds 0 >= -1653 @ 0.093927
0.09/0.16	c bounds 0 >= -1652 @ 0.094397
0.09/0.16	c bounds 0 >= -1651 @ 0.094822
0.09/0.16	c bounds 0 >= -1650 @ 0.095287
0.09/0.16	c bounds 0 >= -1649 @ 0.095715
0.09/0.16	c bounds 0 >= -1648 @ 0.095925
0.09/0.16	c bounds 0 >= -1647 @ 0.095925
0.09/0.16	c bounds 0 >= -1646 @ 0.096152
0.09/0.16	c bounds 0 >= -1645 @ 0.096578
0.09/0.16	c bounds 0 >= -1644 @ 0.096978
0.09/0.16	c bounds 0 >= -1643 @ 0.097434
0.09/0.16	c bounds 0 >= -1642 @ 0.097872
0.09/0.16	c bounds 0 >= -1641 @ 0.098315
0.09/0.16	c bounds 0 >= -1640 @ 0.098754
0.09/0.16	c bounds 0 >= -1639 @ 0.099203
0.09/0.16	c bounds 0 >= -1638 @ 0.099656
0.09/0.16	c bounds 0 >= -1637 @ 0.100129
0.09/0.16	c bounds 0 >= -1636 @ 0.100592
0.09/0.16	c bounds 0 >= -1635 @ 0.10104
0.09/0.16	c bounds 0 >= -1634 @ 0.10149
0.09/0.16	c bounds 0 >= -1633 @ 0.10194
0.09/0.16	c bounds 0 >= -1632 @ 0.102398
0.09/0.16	c bounds 0 >= -1631 @ 0.102854
0.09/0.16	c bounds 0 >= -1630 @ 0.103348
0.09/0.16	c bounds 0 >= -1629 @ 0.103799
0.09/0.16	c bounds 0 >= -1628 @ 0.104304
0.09/0.16	c bounds 0 >= -1627 @ 0.104764
0.09/0.16	c bounds 0 >= -1626 @ 0.105262
0.09/0.16	c bounds 0 >= -1625 @ 0.10572
0.09/0.16	c bounds 0 >= -1624 @ 0.105904
0.09/0.16	c bounds 0 >= -1623 @ 0.105904
0.09/0.16	c bounds 0 >= -1622 @ 0.106112
0.09/0.16	c bounds 0 >= -1621 @ 0.106582
0.09/0.16	c bounds 0 >= -1620 @ 0.10705
0.09/0.16	c bounds 0 >= -1619 @ 0.107519
0.09/0.16	c bounds 0 >= -1618 @ 0.107992
0.09/0.16	c bounds 0 >= -1617 @ 0.108466
0.09/0.16	c bounds 0 >= -1616 @ 0.10893
0.09/0.16	c bounds 0 >= -1615 @ 0.1094
0.09/0.16	c bounds 0 >= -1614 @ 0.109871
0.09/0.16	c bounds 0 >= -1613 @ 0.110341
0.09/0.16	c bounds 0 >= -1612 @ 0.110812
0.09/0.16	c bounds 0 >= -1611 @ 0.111322
0.09/0.16	c bounds 0 >= -1610 @ 0.111796
0.09/0.16	c bounds 0 >= -1609 @ 0.11231
0.09/0.16	c bounds 0 >= -1608 @ 0.112787
0.09/0.16	c bounds 0 >= -1607 @ 0.113257
0.09/0.16	c bounds 0 >= -1606 @ 0.113524
0.09/0.16	c bounds 0 >= -1605 @ 0.113644
0.09/0.16	c bounds 0 >= -1604 @ 0.114104
0.09/0.16	c bounds 0 >= -1603 @ 0.114595
0.09/0.16	c bounds 0 >= -1602 @ 0.115098
0.09/0.16	c bounds 0 >= -1601 @ 0.115599
0.09/0.16	c bounds 0 >= -1600 @ 0.116107
0.09/0.16	c bounds 0 >= -1599 @ 0.116606
0.09/0.16	c bounds 0 >= -1598 @ 0.116866
0.09/0.16	c bounds 0 >= -1597 @ 0.116866
0.09/0.16	c bounds 0 >= -1596 @ 0.116879
0.09/0.16	c bounds 0 >= -1595 @ 0.116879
0.09/0.16	c bounds 0 >= -1594 @ 0.116879
0.09/0.16	c bounds -1 >= -1594 @ 0.118157
0.09/0.16	c bounds -1 >= -1593 @ 0.118575
0.09/0.16	c bounds -1 >= -1592 @ 0.119027
0.09/0.16	c bounds -1 >= -1591 @ 0.119527
0.09/0.16	c bounds -1 >= -1590 @ 0.120033
0.09/0.16	c bounds -1 >= -1589 @ 0.120532
0.09/0.16	c bounds -1 >= -1588 @ 0.121057
0.09/0.16	c bounds -1 >= -1587 @ 0.121578
0.09/0.16	c bounds -1 >= -1586 @ 0.121852
0.09/0.16	c bounds -1 >= -1585 @ 0.121852
0.09/0.16	c bounds -1 >= -1584 @ 0.121859
0.09/0.16	c bounds -1 >= -1583 @ 0.121859
0.09/0.16	c bounds -1 >= -1582 @ 0.121859
0.09/0.16	c bounds -1 >= -1581 @ 0.121859
0.09/0.16	c bounds -1 >= -1580 @ 0.12218
0.09/0.16	c bounds -1 >= -1579 @ 0.122681
0.09/0.16	c bounds -1 >= -1578 @ 0.122853
0.09/0.16	c bounds -1 >= -1577 @ 0.122853
0.09/0.16	c bounds -1 >= -1576 @ 0.122853
0.09/0.16	c bounds -1 >= -1575 @ 0.122853
0.09/0.16	c bounds -1 >= -1574 @ 0.123256
0.09/0.16	c bounds -1 >= -1573 @ 0.123763
0.09/0.16	c bounds -1 >= -1572 @ 0.124308
0.09/0.16	c bounds -1 >= -1571 @ 0.12482
0.09/0.16	c bounds -1 >= -1570 @ 0.125373
0.09/0.16	c bounds -1 >= -1569 @ 0.12588
0.09/0.16	c bounds -1 >= -1568 @ 0.126387
0.09/0.16	c bounds -1 >= -1567 @ 0.126899
0.09/0.16	c bounds -1 >= -1566 @ 0.127409
0.09/0.16	c bounds -1 >= -1565 @ 0.12791
0.09/0.16	c bounds -1 >= -1564 @ 0.128418
0.09/0.16	c bounds -1 >= -1563 @ 0.128922
0.09/0.16	c bounds -1 >= -1562 @ 0.129437
0.09/0.16	c bounds -1 >= -1561 @ 0.129951
0.09/0.16	c bounds -1 >= -1560 @ 0.130461
0.09/0.16	c bounds -1 >= -1559 @ 0.130975
0.09/0.16	c bounds -1 >= -1558 @ 0.131485
0.09/0.16	c bounds -1 >= -1557 @ 0.132024
0.09/0.16	c bounds -1 >= -1556 @ 0.132574
0.09/0.16	c bounds -1 >= -1555 @ 0.132828
0.20/0.24	c bounds -1 >= -1554 @ 0.132828
0.20/0.24	c bounds -1 >= -1553 @ 0.133335
0.20/0.24	c bounds -1 >= -1552 @ 0.133753
0.20/0.24	c bounds -1 >= -1551 @ 0.134273
0.20/0.24	c bounds -1 >= -1550 @ 0.134783
0.20/0.24	c bounds -1 >= -1549 @ 0.135338
0.20/0.24	c bounds -1 >= -1548 @ 0.135855
0.20/0.24	c bounds -1 >= -1547 @ 0.136371
0.20/0.24	c bounds -1 >= -1546 @ 0.13688
0.20/0.24	c bounds -1 >= -1545 @ 0.137394
0.20/0.24	c bounds -1 >= -1544 @ 0.137932
0.20/0.24	c bounds -1 >= -1543 @ 0.138464
0.20/0.24	c bounds -1 >= -1542 @ 0.139002
0.20/0.24	c bounds -1 >= -1541 @ 0.139535
0.20/0.24	c bounds -1 >= -1540 @ 0.139813
0.20/0.24	c bounds -1 >= -1539 @ 0.139813
0.20/0.24	c bounds -1 >= -1538 @ 0.139813
0.20/0.24	c bounds -1 >= -1537 @ 0.139813
0.20/0.24	c bounds -1 >= -1536 @ 0.139813
0.20/0.24	c bounds -1 >= -1535 @ 0.139813
0.20/0.24	c bounds -2 >= -1535 @ 0.140356
0.20/0.24	c bounds -2 >= -1534 @ 0.140864
0.20/0.24	c bounds -2 >= -1533 @ 0.141382
0.20/0.24	c bounds -2 >= -1532 @ 0.141921
0.20/0.24	c bounds -2 >= -1531 @ 0.142464
0.20/0.24	c bounds -2 >= -1530 @ 0.143009
0.20/0.24	c bounds -2 >= -1529 @ 0.143541
0.20/0.24	c bounds -2 >= -1528 @ 0.143795
0.20/0.24	c bounds -2 >= -1527 @ 0.143795
0.20/0.24	c bounds -2 >= -1526 @ 0.143795
0.20/0.24	c bounds -2 >= -1525 @ 0.143795
0.20/0.24	c bounds -2 >= -1524 @ 0.143795
0.20/0.24	c bounds -2 >= -1523 @ 0.143795
0.20/0.24	c bounds -2 >= -1522 @ 0.144327
0.20/0.24	c bounds -2 >= -1521 @ 0.144848
0.20/0.24	c bounds -2 >= -1520 @ 0.145381
0.20/0.24	c bounds -2 >= -1519 @ 0.145931
0.20/0.24	c bounds -2 >= -1518 @ 0.146473
0.20/0.24	c bounds -2 >= -1517 @ 0.147021
0.20/0.24	c bounds -2 >= -1516 @ 0.14757
0.20/0.24	c bounds -2 >= -1515 @ 0.147782
0.20/0.24	c bounds -2 >= -1514 @ 0.147782
0.20/0.24	c bounds -2 >= -1513 @ 0.148311
0.20/0.24	c bounds -2 >= -1512 @ 0.148736
0.20/0.24	c bounds -2 >= -1511 @ 0.149263
0.20/0.24	c bounds -2 >= -1510 @ 0.149797
0.20/0.24	c bounds -2 >= -1509 @ 0.150324
0.20/0.24	c bounds -2 >= -1508 @ 0.150842
0.20/0.24	c bounds -2 >= -1507 @ 0.151371
0.20/0.24	c bounds -2 >= -1506 @ 0.151895
0.20/0.24	c bounds -2 >= -1505 @ 0.152421
0.20/0.24	c bounds -2 >= -1504 @ 0.152946
0.20/0.24	c bounds -2 >= -1503 @ 0.153481
0.20/0.24	c bounds -2 >= -1502 @ 0.154026
0.20/0.24	c bounds -2 >= -1501 @ 0.154574
0.20/0.24	c bounds -2 >= -1500 @ 0.154766
0.20/0.24	c bounds -2 >= -1499 @ 0.154766
0.20/0.24	c bounds -2 >= -1498 @ 0.155297
0.20/0.24	c bounds -2 >= -1497 @ 0.155747
0.20/0.24	c bounds -2 >= -1496 @ 0.156273
0.20/0.24	c bounds -2 >= -1495 @ 0.156821
0.20/0.24	c bounds -2 >= -1494 @ 0.157376
0.20/0.24	c bounds -2 >= -1493 @ 0.157903
0.20/0.24	c bounds -2 >= -1492 @ 0.158437
0.20/0.24	c bounds -2 >= -1491 @ 0.158978
0.20/0.24	c bounds -3 >= -1491 @ 0.161455
0.20/0.24	c bounds -3 >= -1490 @ 0.161521
0.20/0.24	c bounds -3 >= -1489 @ 0.16202
0.20/0.24	c bounds -3 >= -1488 @ 0.162574
0.20/0.24	c bounds -3 >= -1487 @ 0.162729
0.20/0.24	c bounds -3 >= -1486 @ 0.162729
0.20/0.24	c bounds -3 >= -1485 @ 0.16328
0.20/0.24	c bounds -3 >= -1484 @ 0.163793
0.20/0.24	c bounds -3 >= -1483 @ 0.164342
0.20/0.24	c bounds -3 >= -1482 @ 0.164891
0.20/0.24	c bounds -3 >= -1481 @ 0.165435
0.20/0.24	c bounds -3 >= -1480 @ 0.165719
0.20/0.24	c bounds -3 >= -1479 @ 0.165719
0.20/0.24	c bounds -3 >= -1478 @ 0.165719
0.20/0.24	c bounds -3 >= -1477 @ 0.165719
0.20/0.24	c bounds -3 >= -1476 @ 0.166293
0.20/0.24	c bounds -3 >= -1475 @ 0.166778
0.20/0.24	c bounds -3 >= -1474 @ 0.167328
0.20/0.24	c bounds -3 >= -1473 @ 0.167885
0.20/0.24	c bounds -3 >= -1472 @ 0.168437
0.20/0.24	c bounds -3 >= -1471 @ 0.168711
0.20/0.24	c bounds -3 >= -1470 @ 0.168711
0.20/0.24	c bounds -3 >= -1469 @ 0.168711
0.20/0.24	c bounds -3 >= -1468 @ 0.168711
0.20/0.24	c bounds -3 >= -1467 @ 0.169282
0.20/0.24	c bounds -3 >= -1466 @ 0.169776
0.20/0.24	c bounds -3 >= -1465 @ 0.170336
0.20/0.24	c bounds -3 >= -1464 @ 0.170888
0.20/0.24	c bounds -3 >= -1463 @ 0.171443
0.20/0.24	c bounds -3 >= -1462 @ 0.171991
0.20/0.24	c bounds -3 >= -1461 @ 0.172537
0.20/0.24	c bounds -3 >= -1460 @ 0.172699
0.20/0.24	c bounds -3 >= -1459 @ 0.172699
0.20/0.24	c bounds -3 >= -1458 @ 0.173273
0.20/0.24	c bounds -3 >= -1457 @ 0.173762
0.20/0.24	c bounds -3 >= -1456 @ 0.174319
0.20/0.24	c bounds -3 >= -1455 @ 0.174875
0.20/0.24	c bounds -3 >= -1454 @ 0.175427
0.20/0.24	c bounds -3 >= -1453 @ 0.175693
0.20/0.24	c bounds -32 >= -1453 @ 0.17878
0.20/0.24	c bounds -32 >= -1452 @ 0.179389
0.20/0.24	c bounds -32 >= -1451 @ 0.179859
0.20/0.24	c bounds -32 >= -1450 @ 0.180392
0.20/0.24	c bounds -32 >= -1449 @ 0.180913
0.20/0.24	c bounds -32 >= -1448 @ 0.181443
0.20/0.24	c bounds -32 >= -1447 @ 0.181674
0.20/0.24	c bounds -32 >= -1446 @ 0.181674
0.20/0.24	c bounds -32 >= -1445 @ 0.181674
0.20/0.24	c bounds -32 >= -1444 @ 0.181674
0.20/0.24	c bounds -32 >= -1443 @ 0.182206
0.20/0.24	c bounds -32 >= -1442 @ 0.18265
0.20/0.24	c bounds -32 >= -1441 @ 0.18319
0.20/0.24	c bounds -32 >= -1440 @ 0.183741
0.20/0.24	c bounds -32 >= -1439 @ 0.184296
0.20/0.24	c bounds -32 >= -1438 @ 0.184831
0.20/0.24	c bounds -32 >= -1437 @ 0.18537
0.20/0.24	c bounds -32 >= -1436 @ 0.185665
0.20/0.24	c bounds -32 >= -1435 @ 0.185665
0.20/0.24	c bounds -32 >= -1434 @ 0.185665
0.20/0.24	c bounds -32 >= -1433 @ 0.185665
0.20/0.24	c bounds -32 >= -1432 @ 0.185665
0.20/0.24	c bounds -32 >= -1431 @ 0.185665
0.30/0.32	c bounds -32 >= -1430 @ 0.185665
0.30/0.32	c bounds -32 >= -1429 @ 0.185886
0.30/0.32	c bounds -32 >= -1428 @ 0.186425
0.30/0.32	c bounds -32 >= -1427 @ 0.186886
0.30/0.32	c bounds -32 >= -1426 @ 0.187428
0.30/0.32	c bounds -32 >= -1425 @ 0.187657
0.30/0.32	c bounds -32 >= -1424 @ 0.187657
0.30/0.32	c bounds -32 >= -1423 @ 0.188197
0.30/0.32	c bounds -32 >= -1422 @ 0.188628
0.30/0.32	c bounds -32 >= -1421 @ 0.189165
0.30/0.32	c bounds -32 >= -1420 @ 0.189707
0.30/0.32	c bounds -32 >= -1419 @ 0.190248
0.30/0.32	c bounds -32 >= -1418 @ 0.190787
0.30/0.32	c bounds -32 >= -1417 @ 0.191329
0.30/0.32	c bounds -32 >= -1416 @ 0.191873
0.30/0.32	c bounds -32 >= -1415 @ 0.192422
0.30/0.32	c bounds -32 >= -1414 @ 0.192648
0.30/0.32	c bounds -32 >= -1413 @ 0.192648
0.30/0.32	c bounds -32 >= -1412 @ 0.193197
0.30/0.32	c bounds -32 >= -1411 @ 0.193713
0.30/0.32	c bounds -32 >= -1410 @ 0.19428
0.30/0.32	c bounds -32 >= -1409 @ 0.194851
0.30/0.32	c bounds -32 >= -1408 @ 0.195414
0.30/0.32	c bounds -32 >= -1407 @ 0.195952
0.30/0.32	c bounds -32 >= -1406 @ 0.196497
0.30/0.32	c bounds -32 >= -1405 @ 0.196637
0.30/0.32	c bounds -32 >= -1404 @ 0.196637
0.30/0.32	c bounds -33 >= -1404 @ 0.199061
0.30/0.32	c bounds -33 >= -1403 @ 0.199651
0.30/0.32	c bounds -33 >= -1402 @ 0.200191
0.30/0.32	c bounds -33 >= -1401 @ 0.200734
0.30/0.32	c bounds -33 >= -1400 @ 0.201272
0.30/0.32	c bounds -33 >= -1399 @ 0.201809
0.30/0.32	c bounds -33 >= -1398 @ 0.202347
0.30/0.32	c bounds -33 >= -1397 @ 0.202622
0.30/0.32	c bounds -33 >= -1396 @ 0.202622
0.30/0.32	c bounds -33 >= -1395 @ 0.202622
0.30/0.32	c bounds -33 >= -1394 @ 0.202622
0.30/0.32	c bounds -33 >= -1393 @ 0.202622
0.30/0.32	c bounds -33 >= -1392 @ 0.202622
0.30/0.32	c bounds -33 >= -1391 @ 0.203158
0.30/0.32	c bounds -33 >= -1390 @ 0.203676
0.30/0.32	c bounds -33 >= -1389 @ 0.204233
0.30/0.32	c bounds -33 >= -1388 @ 0.204772
0.30/0.32	c bounds -33 >= -1387 @ 0.205308
0.30/0.32	c bounds -33 >= -1386 @ 0.205612
0.30/0.32	c bounds -33 >= -1385 @ 0.205612
0.30/0.32	c bounds -33 >= -1384 @ 0.205925
0.30/0.32	c bounds -33 >= -1383 @ 0.206468
0.30/0.32	c bounds -33 >= -1382 @ 0.206609
0.30/0.32	c bounds -33 >= -1381 @ 0.206609
0.30/0.32	c bounds -33 >= -1380 @ 0.207156
0.30/0.32	c bounds -33 >= -1379 @ 0.207676
0.30/0.32	c bounds -33 >= -1378 @ 0.208217
0.30/0.32	c bounds -33 >= -1377 @ 0.208758
0.30/0.32	c bounds -33 >= -1376 @ 0.209298
0.30/0.32	c bounds -33 >= -1375 @ 0.209862
0.30/0.32	c bounds -33 >= -1374 @ 0.210419
0.30/0.32	c bounds -33 >= -1373 @ 0.210963
0.30/0.32	c bounds -33 >= -1372 @ 0.211508
0.30/0.32	c bounds -33 >= -1371 @ 0.212058
0.30/0.32	c bounds -33 >= -1370 @ 0.2126
0.30/0.32	c bounds -33 >= -1369 @ 0.21314
0.30/0.32	c bounds -34 >= -1369 @ 0.216141
0.30/0.32	c bounds -34 >= -1368 @ 0.216615
0.30/0.32	c bounds -34 >= -1367 @ 0.217155
0.30/0.32	c bounds -34 >= -1366 @ 0.217473
0.30/0.32	c bounds -34 >= -1365 @ 0.217473
0.30/0.32	c bounds -34 >= -1364 @ 0.217766
0.30/0.32	c bounds -34 >= -1363 @ 0.218307
0.30/0.32	c bounds -34 >= -1362 @ 0.218584
0.30/0.32	c bounds -34 >= -1361 @ 0.218584
0.30/0.32	c bounds -34 >= -1360 @ 0.21896
0.30/0.32	c bounds -34 >= -1359 @ 0.219508
0.30/0.32	c bounds -34 >= -1358 @ 0.220052
0.30/0.32	c bounds -34 >= -1357 @ 0.22038
0.30/0.32	c bounds -34 >= -1356 @ 0.220538
0.30/0.32	c bounds -34 >= -1355 @ 0.221115
0.30/0.32	c bounds -34 >= -1354 @ 0.221643
0.30/0.32	c bounds -34 >= -1353 @ 0.222177
0.30/0.32	c bounds -34 >= -1352 @ 0.222716
0.30/0.32	c bounds -34 >= -1351 @ 0.223256
0.30/0.32	c bounds -34 >= -1350 @ 0.223572
0.30/0.32	c bounds -34 >= -1349 @ 0.223572
0.30/0.32	c bounds -34 >= -1348 @ 0.223852
0.30/0.32	c bounds -34 >= -1347 @ 0.224379
0.30/0.32	c bounds -34 >= -1346 @ 0.22457
0.30/0.32	c bounds -34 >= -1345 @ 0.22457
0.30/0.32	c bounds -34 >= -1344 @ 0.22457
0.30/0.32	c bounds -34 >= -1343 @ 0.22457
0.30/0.32	c bounds -34 >= -1342 @ 0.225125
0.30/0.32	c bounds -34 >= -1341 @ 0.22561
0.30/0.32	c bounds -34 >= -1340 @ 0.226159
0.30/0.32	c bounds -34 >= -1339 @ 0.226704
0.30/0.32	c bounds -34 >= -1338 @ 0.227251
0.30/0.32	c bounds -34 >= -1337 @ 0.227787
0.30/0.32	c bounds -34 >= -1336 @ 0.228329
0.30/0.32	c bounds -35 >= -1336 @ 0.228559
0.30/0.32	c bounds -35 >= -1335 @ 0.229205
0.30/0.32	c bounds -35 >= -1334 @ 0.229761
0.30/0.32	c bounds -35 >= -1333 @ 0.230307
0.30/0.32	c bounds -35 >= -1332 @ 0.230549
0.30/0.32	c bounds -35 >= -1331 @ 0.230549
0.30/0.32	c bounds -35 >= -1330 @ 0.230973
0.30/0.32	c bounds -35 >= -1329 @ 0.231505
0.30/0.32	c bounds -35 >= -1328 @ 0.232081
0.30/0.32	c bounds -35 >= -1327 @ 0.23263
0.30/0.32	c bounds -35 >= -1326 @ 0.23318
0.30/0.32	c bounds -35 >= -1325 @ 0.233728
0.30/0.32	c bounds -35 >= -1324 @ 0.234284
0.30/0.32	c bounds -35 >= -1323 @ 0.234853
0.30/0.32	c bounds -35 >= -1322 @ 0.235385
0.30/0.32	c bounds -35 >= -1321 @ 0.235953
0.30/0.32	c bounds -35 >= -1320 @ 0.236483
0.30/0.32	c bounds -35 >= -1319 @ 0.237058
0.30/0.32	c bounds -35 >= -1318 @ 0.237605
0.30/0.32	c bounds -35 >= -1317 @ 0.238151
0.30/0.32	c bounds -35 >= -1316 @ 0.238698
0.30/0.32	c bounds -35 >= -1315 @ 0.239244
0.30/0.32	c bounds -35 >= -1314 @ 0.239529
0.30/0.32	c bounds -35 >= -1313 @ 0.239529
0.30/0.32	c bounds -35 >= -1312 @ 0.23953
0.30/0.32	c bounds -35 >= -1311 @ 0.23953
0.30/0.32	c bounds -35 >= -1310 @ 0.239918
0.30/0.32	c bounds -35 >= -1309 @ 0.240462
0.39/0.42	c bounds -35 >= -1308 @ 0.24102
0.39/0.42	c bounds -35 >= -1307 @ 0.241581
0.39/0.42	c bounds -35 >= -1306 @ 0.242126
0.39/0.42	c bounds -35 >= -1305 @ 0.242655
0.39/0.42	c bounds -35 >= -1304 @ 0.24319
0.39/0.42	c bounds -35 >= -1303 @ 0.243718
0.39/0.42	c bounds -35 >= -1302 @ 0.244242
0.39/0.42	c bounds -35 >= -1301 @ 0.24452
0.39/0.42	c bounds -53 >= -1301 @ 0.24851
0.39/0.42	c bounds -53 >= -1300 @ 0.249143
0.39/0.42	c bounds -53 >= -1299 @ 0.249665
0.39/0.42	c bounds -53 >= -1298 @ 0.250191
0.39/0.42	c bounds -53 >= -1297 @ 0.250722
0.39/0.42	c bounds -53 >= -1296 @ 0.251262
0.39/0.42	c bounds -53 >= -1295 @ 0.251778
0.39/0.42	c bounds -53 >= -1294 @ 0.2523
0.39/0.42	c bounds -53 >= -1293 @ 0.252503
0.39/0.42	c bounds -53 >= -1292 @ 0.252503
0.39/0.42	c bounds -53 >= -1291 @ 0.252503
0.39/0.42	c bounds -53 >= -1290 @ 0.252503
0.39/0.42	c bounds -53 >= -1289 @ 0.252503
0.39/0.42	c bounds -53 >= -1288 @ 0.252503
0.39/0.42	c bounds -53 >= -1287 @ 0.253021
0.39/0.42	c bounds -53 >= -1286 @ 0.253472
0.39/0.42	c bounds -53 >= -1285 @ 0.253991
0.39/0.42	c bounds -53 >= -1284 @ 0.25451
0.39/0.42	c bounds -53 >= -1283 @ 0.255032
0.39/0.42	c bounds -53 >= -1282 @ 0.25556
0.39/0.42	c bounds -53 >= -1281 @ 0.256096
0.39/0.42	c bounds -53 >= -1280 @ 0.256613
0.39/0.42	c bounds -53 >= -1279 @ 0.257129
0.39/0.42	c bounds -53 >= -1278 @ 0.257664
0.39/0.42	c bounds -53 >= -1277 @ 0.258197
0.39/0.42	c bounds -53 >= -1276 @ 0.258712
0.39/0.42	c bounds -53 >= -1275 @ 0.259239
0.39/0.42	c bounds -53 >= -1274 @ 0.259801
0.39/0.42	c bounds -53 >= -1273 @ 0.260334
0.39/0.42	c bounds -53 >= -1272 @ 0.260484
0.39/0.42	c bounds -53 >= -1271 @ 0.260484
0.39/0.42	c bounds -53 >= -1270 @ 0.261016
0.39/0.42	c bounds -53 >= -1269 @ 0.261466
0.39/0.42	c bounds -53 >= -1268 @ 0.261999
0.39/0.42	c bounds -53 >= -1267 @ 0.262554
0.39/0.42	c bounds -53 >= -1266 @ 0.263112
0.39/0.42	c bounds -53 >= -1265 @ 0.263644
0.39/0.42	c bounds -53 >= -1264 @ 0.264187
0.39/0.42	c bounds -53 >= -1263 @ 0.264715
0.39/0.42	c bounds -53 >= -1262 @ 0.265252
0.39/0.42	c bounds -53 >= -1261 @ 0.265473
0.39/0.42	c bounds -53 >= -1260 @ 0.265473
0.39/0.42	c bounds -53 >= -1259 @ 0.265473
0.39/0.42	c bounds -53 >= -1258 @ 0.265473
0.39/0.42	c bounds -53 >= -1257 @ 0.266007
0.39/0.42	c bounds -54 >= -1257 @ 0.26946
0.39/0.42	c bounds -54 >= -1256 @ 0.270032
0.39/0.42	c bounds -54 >= -1255 @ 0.270585
0.39/0.42	c bounds -54 >= -1254 @ 0.271137
0.39/0.42	c bounds -54 >= -1253 @ 0.271667
0.39/0.42	c bounds -54 >= -1252 @ 0.272196
0.39/0.42	c bounds -54 >= -1251 @ 0.272455
0.39/0.42	c bounds -54 >= -1250 @ 0.272455
0.39/0.42	c bounds -54 >= -1249 @ 0.272455
0.39/0.42	c bounds -54 >= -1248 @ 0.272455
0.39/0.42	c bounds -54 >= -1247 @ 0.272998
0.39/0.42	c bounds -54 >= -1246 @ 0.273439
0.39/0.42	c bounds -54 >= -1245 @ 0.273975
0.39/0.42	c bounds -54 >= -1244 @ 0.274527
0.39/0.42	c bounds -54 >= -1243 @ 0.275089
0.39/0.42	c bounds -54 >= -1242 @ 0.275626
0.39/0.42	c bounds -54 >= -1241 @ 0.276162
0.39/0.42	c bounds -54 >= -1240 @ 0.27669
0.39/0.42	c bounds -54 >= -1239 @ 0.277223
0.39/0.42	c bounds -54 >= -1238 @ 0.277444
0.39/0.42	c bounds -54 >= -1237 @ 0.277444
0.39/0.42	c bounds -54 >= -1236 @ 0.277444
0.39/0.42	c bounds -54 >= -1235 @ 0.277444
0.39/0.42	c bounds -54 >= -1234 @ 0.277976
0.39/0.42	c bounds -54 >= -1233 @ 0.27843
0.39/0.42	c bounds -54 >= -1232 @ 0.278963
0.39/0.42	c bounds -54 >= -1231 @ 0.279494
0.39/0.42	c bounds -54 >= -1230 @ 0.280024
0.39/0.42	c bounds -54 >= -1229 @ 0.280579
0.39/0.42	c bounds -54 >= -1228 @ 0.281125
0.39/0.42	c bounds -54 >= -1227 @ 0.281651
0.39/0.42	c bounds -73 >= -1227 @ 0.287327
0.39/0.42	c bounds -73 >= -1226 @ 0.287969
0.39/0.42	c bounds -73 >= -1225 @ 0.288277
0.39/0.42	c bounds -73 >= -1224 @ 0.288277
0.39/0.42	c bounds -73 >= -1223 @ 0.2886
0.39/0.42	c bounds -73 >= -1222 @ 0.28913
0.39/0.42	c bounds -73 >= -1221 @ 0.289644
0.39/0.42	c bounds -73 >= -1220 @ 0.290183
0.39/0.42	c bounds -73 >= -1219 @ 0.290417
0.39/0.42	c bounds -73 >= -1218 @ 0.290417
0.39/0.42	c bounds -73 >= -1217 @ 0.290417
0.39/0.42	c bounds -73 >= -1216 @ 0.290417
0.39/0.42	c bounds -73 >= -1215 @ 0.290902
0.39/0.42	c bounds -73 >= -1214 @ 0.291781
0.39/0.42	c bounds -73 >= -1213 @ 0.293392
0.39/0.42	c bounds -73 >= -1212 @ 0.294068
0.39/0.42	c bounds -73 >= -1211 @ 0.294621
0.39/0.42	c bounds -73 >= -1210 @ 0.295172
0.39/0.42	c bounds -73 >= -1209 @ 0.295404
0.39/0.42	c bounds -73 >= -1208 @ 0.295404
0.39/0.42	c bounds -73 >= -1207 @ 0.295404
0.39/0.42	c bounds -73 >= -1206 @ 0.295404
0.39/0.42	c bounds -73 >= -1205 @ 0.29595
0.39/0.42	c bounds -73 >= -1204 @ 0.296497
0.39/0.42	c bounds -73 >= -1203 @ 0.297044
0.39/0.42	c bounds -73 >= -1202 @ 0.297591
0.39/0.42	c bounds -73 >= -1201 @ 0.298133
0.39/0.42	c bounds -73 >= -1200 @ 0.298666
0.39/0.42	c bounds -73 >= -1199 @ 0.299214
0.39/0.42	c bounds -73 >= -1198 @ 0.299395
0.39/0.42	c bounds -74 >= -1198 @ 0.30095
0.39/0.42	c bounds -74 >= -1197 @ 0.301454
0.39/0.42	c bounds -74 >= -1196 @ 0.302383
0.39/0.42	c bounds -74 >= -1195 @ 0.302948
0.39/0.42	c bounds -74 >= -1194 @ 0.303487
0.39/0.42	c bounds -74 >= -1193 @ 0.304023
0.39/0.42	c bounds -74 >= -1192 @ 0.304564
0.39/0.42	c bounds -74 >= -1191 @ 0.305096
0.39/0.42	c bounds -74 >= -1190 @ 0.305645
0.39/0.42	c bounds -74 >= -1189 @ 0.306188
0.39/0.42	c bounds -74 >= -1188 @ 0.306777
0.50/0.52	c bounds -74 >= -1187 @ 0.307347
0.50/0.52	c bounds -74 >= -1186 @ 0.307901
0.50/0.52	c bounds -74 >= -1185 @ 0.308444
0.50/0.52	c bounds -74 >= -1184 @ 0.308981
0.50/0.52	c bounds -74 >= -1183 @ 0.309526
0.50/0.52	c bounds -74 >= -1182 @ 0.310075
0.50/0.52	c bounds -74 >= -1181 @ 0.310369
0.50/0.52	c bounds -74 >= -1180 @ 0.310369
0.50/0.52	c bounds -74 >= -1179 @ 0.310369
0.50/0.52	c bounds -74 >= -1178 @ 0.310369
0.50/0.52	c bounds -74 >= -1177 @ 0.310369
0.50/0.52	c bounds -74 >= -1176 @ 0.310585
0.50/0.52	c bounds -74 >= -1175 @ 0.311154
0.50/0.52	c bounds -74 >= -1174 @ 0.311366
0.50/0.52	c bounds -74 >= -1173 @ 0.311366
0.50/0.52	c bounds -74 >= -1172 @ 0.311366
0.50/0.52	c bounds -74 >= -1171 @ 0.311435
0.50/0.52	c bounds -74 >= -1170 @ 0.312023
0.50/0.52	c bounds -74 >= -1169 @ 0.312355
0.50/0.52	c bounds -75 >= -1169 @ 0.314358
0.50/0.52	c bounds -75 >= -1168 @ 0.314358
0.50/0.52	c bounds -75 >= -1167 @ 0.314669
0.50/0.52	c bounds -75 >= -1166 @ 0.315262
0.50/0.52	c bounds -75 >= -1165 @ 0.315863
0.50/0.52	c bounds -75 >= -1164 @ 0.31646
0.50/0.52	c bounds -75 >= -1163 @ 0.317057
0.50/0.52	c bounds -75 >= -1162 @ 0.317351
0.50/0.52	c bounds -75 >= -1161 @ 0.317351
0.50/0.52	c bounds -75 >= -1160 @ 0.317949
0.50/0.52	c bounds -75 >= -1159 @ 0.318525
0.50/0.52	c bounds -75 >= -1158 @ 0.31913
0.50/0.53	c bounds -75 >= -1157 @ 0.319346
0.50/0.53	c bounds -75 >= -1156 @ 0.319346
0.50/0.53	c bounds -75 >= -1155 @ 0.31996
0.50/0.53	c bounds -75 >= -1154 @ 0.320344
0.50/0.53	c bounds -75 >= -1153 @ 0.320344
0.50/0.53	c bounds -75 >= -1152 @ 0.320344
0.50/0.53	c bounds -75 >= -1151 @ 0.32056
0.50/0.53	c bounds -76 >= -1151 @ 0.322339
0.50/0.53	c bounds -76 >= -1150 @ 0.322339
0.50/0.53	c bounds -76 >= -1149 @ 0.322339
0.50/0.53	c bounds -76 >= -1148 @ 0.322952
0.50/0.53	c bounds -76 >= -1147 @ 0.323517
0.50/0.53	c bounds -76 >= -1146 @ 0.324135
0.50/0.53	c bounds -76 >= -1145 @ 0.324334
0.50/0.53	c bounds -76 >= -1144 @ 0.324422
0.50/0.53	c bounds -76 >= -1143 @ 0.325058
0.50/0.53	c bounds -76 >= -1142 @ 0.325622
0.50/0.53	c bounds -76 >= -1141 @ 0.326245
0.50/0.53	c bounds -76 >= -1140 @ 0.32633
0.50/0.53	c bounds -76 >= -1139 @ 0.326547
0.50/0.53	c bounds -76 >= -1138 @ 0.327174
0.50/0.53	c bounds -76 >= -1137 @ 0.327792
0.50/0.53	c bounds -76 >= -1136 @ 0.328423
0.50/0.53	c bounds -76 >= -1135 @ 0.329056
0.50/0.53	c bounds -76 >= -1134 @ 0.329323
0.50/0.53	c bounds -77 >= -1134 @ 0.333411
0.50/0.53	c bounds -77 >= -1133 @ 0.334135
0.50/0.53	c bounds -77 >= -1132 @ 0.334827
0.50/0.53	c bounds -77 >= -1131 @ 0.335487
0.50/0.53	c bounds -77 >= -1130 @ 0.336153
0.50/0.53	c bounds -77 >= -1129 @ 0.336308
0.50/0.53	c bounds -77 >= -1128 @ 0.336605
0.50/0.53	c bounds -77 >= -1127 @ 0.337256
0.50/0.53	c bounds -77 >= -1126 @ 0.337941
0.50/0.53	c bounds -77 >= -1125 @ 0.338304
0.50/0.53	c bounds -77 >= -1124 @ 0.338304
0.50/0.53	c bounds -77 >= -1123 @ 0.338954
0.50/0.53	c bounds -77 >= -1122 @ 0.339572
0.50/0.53	c bounds -77 >= -1121 @ 0.340233
0.50/0.53	c bounds -77 >= -1120 @ 0.340936
0.50/0.53	c bounds -77 >= -1119 @ 0.341298
0.50/0.53	c bounds -77 >= -1118 @ 0.341298
0.50/0.53	c bounds -78 >= -1118 @ 0.343293
0.50/0.53	c bounds -78 >= -1117 @ 0.343293
0.50/0.53	c bounds -78 >= -1116 @ 0.343293
0.50/0.53	c bounds -78 >= -1115 @ 0.343293
0.50/0.53	c bounds -78 >= -1114 @ 0.343532
0.50/0.53	c bounds -78 >= -1113 @ 0.344224
0.50/0.53	c bounds -78 >= -1112 @ 0.344897
0.50/0.53	c bounds -78 >= -1111 @ 0.345284
0.50/0.53	c bounds -78 >= -1110 @ 0.345284
0.50/0.53	c bounds -78 >= -1109 @ 0.346016
0.50/0.53	c bounds -78 >= -1108 @ 0.346281
0.50/0.53	c bounds -78 >= -1107 @ 0.346499
0.50/0.53	c bounds -78 >= -1106 @ 0.347125
0.50/0.53	c bounds -78 >= -1105 @ 0.347278
0.50/0.53	c bounds -78 >= -1104 @ 0.347497
0.50/0.53	c bounds -78 >= -1103 @ 0.34818
0.50/0.53	c bounds -78 >= -1102 @ 0.348834
0.50/0.53	c bounds -79 >= -1102 @ 0.352684
0.50/0.53	c bounds -79 >= -1101 @ 0.353494
0.50/0.53	c bounds -79 >= -1100 @ 0.354209
0.50/0.53	c bounds -79 >= -1099 @ 0.354943
0.50/0.53	c bounds -79 >= -1098 @ 0.355261
0.50/0.53	c bounds -79 >= -1097 @ 0.355497
0.50/0.53	c bounds -79 >= -1096 @ 0.356155
0.50/0.53	c bounds -79 >= -1095 @ 0.356846
0.50/0.53	c bounds -79 >= -1094 @ 0.357585
0.50/0.53	c bounds -79 >= -1093 @ 0.358308
0.50/0.53	c bounds -79 >= -1092 @ 0.359036
0.50/0.53	c bounds -79 >= -1091 @ 0.359776
0.50/0.53	c bounds -79 >= -1090 @ 0.360252
0.50/0.53	c bounds -79 >= -1089 @ 0.360324
0.50/0.53	c bounds -79 >= -1088 @ 0.36107
0.50/0.53	c bounds -79 >= -1087 @ 0.361249
0.50/0.53	c bounds -79 >= -1086 @ 0.361516
0.50/0.53	c bounds -79 >= -1085 @ 0.362258
0.50/0.53	c bounds -80 >= -1085 @ 0.365766
0.50/0.53	c bounds -80 >= -1084 @ 0.366235
0.50/0.53	c bounds -80 >= -1083 @ 0.366473
0.50/0.53	c bounds -80 >= -1082 @ 0.367154
0.50/0.53	c bounds -80 >= -1081 @ 0.367232
0.50/0.53	c bounds -80 >= -1080 @ 0.367232
0.50/0.53	c bounds -80 >= -1079 @ 0.367472
0.50/0.53	c bounds -80 >= -1078 @ 0.368199
0.50/0.53	c bounds -80 >= -1077 @ 0.368982
0.50/0.53	c bounds -80 >= -1076 @ 0.369228
0.50/0.53	c bounds -80 >= -1075 @ 0.369228
0.50/0.53	c bounds -80 >= -1074 @ 0.369298
0.50/0.53	c bounds -80 >= -1073 @ 0.370065
0.50/0.53	c bounds -80 >= -1072 @ 0.37078
0.50/0.53	c bounds -80 >= -1071 @ 0.371544
0.50/0.53	c bounds -80 >= -1070 @ 0.372349
0.59/0.68	c bounds -80 >= -1069 @ 0.373154
0.59/0.68	c bounds -80 >= -1068 @ 0.373924
0.59/0.68	c bounds -80 >= -1067 @ 0.374216
0.59/0.68	c bounds -80 >= -1066 @ 0.374517
0.59/0.68	c bounds -81 >= -1066 @ 0.376212
0.59/0.68	c bounds -81 >= -1065 @ 0.376212
0.59/0.68	c bounds -81 >= -1064 @ 0.376212
0.59/0.68	c bounds -81 >= -1063 @ 0.376432
0.59/0.68	c bounds -81 >= -1062 @ 0.377207
0.59/0.68	c bounds -81 >= -1061 @ 0.377987
0.59/0.68	c bounds -81 >= -1060 @ 0.378206
0.59/0.68	c bounds -81 >= -1059 @ 0.378206
0.59/0.68	c bounds -81 >= -1058 @ 0.378426
0.59/0.68	c bounds -81 >= -1057 @ 0.379155
0.59/0.68	c bounds -81 >= -1056 @ 0.37994
0.59/0.68	c bounds -81 >= -1055 @ 0.3802
0.59/0.68	c bounds -81 >= -1054 @ 0.380553
0.59/0.68	c bounds -81 >= -1053 @ 0.381367
0.59/0.68	c bounds -81 >= -1052 @ 0.382156
0.59/0.68	c bounds -81 >= -1051 @ 0.382984
0.59/0.68	c bounds -82 >= -1051 @ 0.386413
0.59/0.68	c bounds -82 >= -1050 @ 0.38729
0.59/0.68	c bounds -82 >= -1049 @ 0.388109
0.59/0.68	c bounds -82 >= -1048 @ 0.388919
0.59/0.68	c bounds -82 >= -1047 @ 0.389183
0.59/0.68	c bounds -82 >= -1046 @ 0.389183
0.59/0.68	c bounds -82 >= -1045 @ 0.389404
0.59/0.68	c bounds -82 >= -1044 @ 0.390205
0.59/0.68	c bounds -82 >= -1043 @ 0.391018
0.59/0.68	c bounds -82 >= -1042 @ 0.391179
0.59/0.68	c bounds -82 >= -1041 @ 0.391179
0.59/0.68	c bounds -82 >= -1040 @ 0.391179
0.59/0.68	c bounds -82 >= -1039 @ 0.391411
0.59/0.68	c bounds -82 >= -1038 @ 0.392227
0.59/0.68	c bounds -82 >= -1037 @ 0.393079
0.59/0.68	c bounds -83 >= -1037 @ 0.395168
0.59/0.68	c bounds -83 >= -1036 @ 0.395423
0.59/0.68	c bounds -83 >= -1035 @ 0.396208
0.59/0.68	c bounds -83 >= -1034 @ 0.397038
0.59/0.68	c bounds -83 >= -1033 @ 0.397163
0.59/0.68	c bounds -83 >= -1032 @ 0.397688
0.59/0.68	c bounds -83 >= -1031 @ 0.398161
0.59/0.68	c bounds -83 >= -1030 @ 0.398391
0.59/0.68	c bounds -83 >= -1029 @ 0.399226
0.59/0.68	c bounds -83 >= -1028 @ 0.400083
0.59/0.68	c bounds -83 >= -1027 @ 0.400978
0.59/0.68	c bounds -83 >= -1026 @ 0.401153
0.59/0.68	c bounds -83 >= -1025 @ 0.401695
0.59/0.68	c bounds -83 >= -1024 @ 0.402597
0.59/0.68	c bounds -83 >= -1023 @ 0.403149
0.59/0.68	c bounds -84 >= -1023 @ 0.404146
0.59/0.68	c bounds -84 >= -1022 @ 0.404146
0.59/0.68	c bounds -84 >= -1021 @ 0.404146
0.59/0.68	c bounds -84 >= -1020 @ 0.404146
0.59/0.68	c bounds -84 >= -1019 @ 0.404146
0.59/0.68	c bounds -84 >= -1018 @ 0.404379
0.59/0.68	c bounds -84 >= -1017 @ 0.405017
0.59/0.68	c bounds -84 >= -1016 @ 0.405125
0.59/0.68	c bounds -84 >= -1015 @ 0.405989
0.59/0.68	c bounds -84 >= -1014 @ 0.406141
0.59/0.68	c bounds -84 >= -1013 @ 0.406141
0.59/0.68	c bounds -84 >= -1012 @ 0.406679
0.59/0.68	c bounds -84 >= -1011 @ 0.407611
0.59/0.68	c bounds -84 >= -1010 @ 0.40856
0.59/0.68	c bounds -85 >= -1010 @ 0.411133
0.59/0.68	c bounds -85 >= -1009 @ 0.412163
0.59/0.68	c bounds -85 >= -1008 @ 0.413087
0.59/0.68	c bounds -85 >= -1007 @ 0.414064
0.59/0.68	c bounds -85 >= -1006 @ 0.415013
0.59/0.68	c bounds -85 >= -1005 @ 0.41512
0.59/0.68	c bounds -85 >= -1004 @ 0.415942
0.59/0.68	c bounds -85 >= -1003 @ 0.416117
0.59/0.68	c bounds -85 >= -1002 @ 0.416117
0.59/0.68	c bounds -85 >= -1001 @ 0.416117
0.59/0.68	c bounds -85 >= -1000 @ 0.416117
0.59/0.68	c bounds -85 >= -999 @ 0.416117
0.59/0.68	c bounds -86 >= -999 @ 0.419354
0.59/0.68	c bounds -86 >= -998 @ 0.42041
0.59/0.68	c bounds -86 >= -997 @ 0.421368
0.59/0.68	c bounds -86 >= -996 @ 0.422359
0.59/0.68	c bounds -86 >= -995 @ 0.423352
0.59/0.68	c bounds -86 >= -994 @ 0.424339
0.59/0.68	c bounds -86 >= -993 @ 0.425309
0.59/0.68	c bounds -86 >= -992 @ 0.426272
0.59/0.68	c bounds -86 >= -991 @ 0.42728
0.59/0.68	c bounds -86 >= -990 @ 0.428268
0.59/0.68	c bounds -86 >= -989 @ 0.429241
0.59/0.68	c bounds -87 >= -989 @ 0.431741
0.59/0.68	c bounds -87 >= -988 @ 0.432085
0.59/0.68	c bounds -87 >= -987 @ 0.432085
0.59/0.68	c bounds -87 >= -986 @ 0.432085
0.59/0.68	c bounds -87 >= -985 @ 0.432651
0.59/0.68	c bounds -87 >= -984 @ 0.433082
0.59/0.68	c bounds -87 >= -983 @ 0.433082
0.59/0.68	c bounds -87 >= -982 @ 0.433082
0.59/0.68	c bounds -87 >= -981 @ 0.433082
0.59/0.68	c bounds -87 >= -980 @ 0.433082
0.59/0.68	c bounds -87 >= -979 @ 0.433082
0.59/0.68	c bounds -88 >= -979 @ 0.43589
0.59/0.68	c bounds -88 >= -978 @ 0.436076
0.59/0.68	c bounds -88 >= -977 @ 0.436883
0.59/0.68	c bounds -88 >= -976 @ 0.437074
0.59/0.68	c bounds -88 >= -975 @ 0.437074
0.59/0.68	c bounds -88 >= -974 @ 0.437074
0.59/0.68	c bounds -88 >= -973 @ 0.437074
0.59/0.68	c bounds -88 >= -972 @ 0.437074
0.59/0.68	c bounds -88 >= -971 @ 0.437074
0.59/0.68	c bounds -88 >= -970 @ 0.437879
0.59/0.68	c bounds -88 >= -969 @ 0.43807
0.59/0.68	c bounds -89 >= -969 @ 0.43957
0.59/0.68	c bounds -89 >= -968 @ 0.440064
0.59/0.68	c bounds -89 >= -967 @ 0.440554
0.59/0.68	c bounds -89 >= -966 @ 0.441697
0.59/0.68	c bounds -89 >= -965 @ 0.44206
0.59/0.68	c bounds -89 >= -964 @ 0.44206
0.59/0.68	c bounds -89 >= -963 @ 0.44285
0.59/0.68	c bounds -89 >= -962 @ 0.443057
0.59/0.68	c bounds -89 >= -961 @ 0.443057
0.59/0.68	c bounds -89 >= -960 @ 0.443057
0.59/0.68	c bounds -90 >= -960 @ 0.445702
0.59/0.68	c bounds -90 >= -959 @ 0.446048
0.59/0.68	c bounds -90 >= -958 @ 0.446048
0.59/0.68	c bounds -90 >= -957 @ 0.446048
0.59/0.68	c bounds -90 >= -956 @ 0.446048
0.59/0.68	c bounds -90 >= -955 @ 0.446048
0.59/0.68	c bounds -90 >= -954 @ 0.446048
0.78/0.88	c bounds -90 >= -953 @ 0.447107
0.78/0.88	c bounds -90 >= -952 @ 0.448177
0.78/0.88	c bounds -90 >= -951 @ 0.449238
0.78/0.88	c bounds -91 >= -951 @ 0.452616
0.78/0.88	c bounds -91 >= -950 @ 0.453032
0.78/0.88	c bounds -91 >= -949 @ 0.453032
0.78/0.88	c bounds -91 >= -948 @ 0.45399
0.78/0.88	c bounds -91 >= -947 @ 0.45511
0.78/0.88	c bounds -91 >= -946 @ 0.456199
0.78/0.88	c bounds -91 >= -945 @ 0.457287
0.78/0.88	c bounds -91 >= -944 @ 0.458021
0.78/0.88	c bounds -91 >= -943 @ 0.458518
0.78/0.88	c bounds -91 >= -942 @ 0.459019
0.78/0.88	c bounds -92 >= -942 @ 0.460464
0.78/0.88	c bounds -92 >= -941 @ 0.460999
0.78/0.88	c bounds -92 >= -940 @ 0.461643
0.78/0.88	c bounds -92 >= -939 @ 0.462779
0.78/0.88	c bounds -92 >= -938 @ 0.463933
0.78/0.88	c bounds -92 >= -937 @ 0.465096
0.78/0.88	c bounds -92 >= -936 @ 0.466207
0.78/0.88	c bounds -92 >= -935 @ 0.466985
0.78/0.88	c bounds -92 >= -934 @ 0.467438
0.78/0.88	c bounds -93 >= -934 @ 0.46998
0.78/0.88	c bounds -93 >= -933 @ 0.471119
0.78/0.88	c bounds -93 >= -932 @ 0.472239
0.78/0.88	c bounds -93 >= -931 @ 0.472974
0.78/0.88	c bounds -93 >= -930 @ 0.472975
0.78/0.88	c bounds -93 >= -929 @ 0.472975
0.78/0.88	c bounds -93 >= -928 @ 0.472975
0.78/0.88	c bounds -93 >= -927 @ 0.474028
0.78/0.88	c bounds -93 >= -926 @ 0.47516
0.78/0.88	c bounds -94 >= -926 @ 0.478556
0.78/0.88	c bounds -94 >= -925 @ 0.479704
0.78/0.88	c bounds -94 >= -924 @ 0.480852
0.78/0.88	c bounds -94 >= -923 @ 0.481027
0.78/0.88	c bounds -94 >= -922 @ 0.482155
0.78/0.88	c bounds -94 >= -921 @ 0.482954
0.78/0.88	c bounds -94 >= -920 @ 0.482954
0.78/0.88	c bounds -94 >= -919 @ 0.482954
0.78/0.88	c bounds -94 >= -918 @ 0.482954
0.78/0.88	c bounds -95 >= -918 @ 0.48541
0.78/0.88	c bounds -95 >= -917 @ 0.485945
0.78/0.88	c bounds -95 >= -916 @ 0.485946
0.78/0.88	c bounds -95 >= -915 @ 0.485946
0.78/0.88	c bounds -95 >= -914 @ 0.486977
0.78/0.88	c bounds -95 >= -913 @ 0.488128
0.78/0.88	c bounds -95 >= -912 @ 0.488938
0.78/0.88	c bounds -95 >= -911 @ 0.489445
0.78/0.88	c bounds -96 >= -911 @ 0.491025
0.78/0.88	c bounds -96 >= -910 @ 0.492255
0.78/0.88	c bounds -96 >= -909 @ 0.492932
0.78/0.88	c bounds -96 >= -908 @ 0.493588
0.78/0.88	c bounds -96 >= -907 @ 0.493929
0.78/0.88	c bounds -96 >= -906 @ 0.493999
0.78/0.88	c bounds -96 >= -905 @ 0.495162
0.78/0.88	c bounds -96 >= -904 @ 0.496339
0.78/0.88	c bounds -96 >= -903 @ 0.497521
0.78/0.88	c bounds -97 >= -903 @ 0.499589
0.78/0.88	c bounds -97 >= -902 @ 0.499914
0.78/0.88	c bounds -97 >= -901 @ 0.499914
0.78/0.88	c bounds -97 >= -900 @ 0.501101
0.78/0.88	c bounds -97 >= -899 @ 0.501909
0.78/0.88	c bounds -97 >= -898 @ 0.50191
0.78/0.88	c bounds -97 >= -897 @ 0.50191
0.78/0.88	c bounds -97 >= -896 @ 0.50191
0.78/0.88	c bounds -98 >= -896 @ 0.504301
0.78/0.88	c bounds -98 >= -895 @ 0.504902
0.78/0.88	c bounds -98 >= -894 @ 0.504902
0.78/0.88	c bounds -98 >= -893 @ 0.505146
0.78/0.88	c bounds -98 >= -892 @ 0.505899
0.78/0.88	c bounds -98 >= -891 @ 0.505899
0.78/0.88	c bounds -98 >= -890 @ 0.505899
0.78/0.88	c bounds -98 >= -889 @ 0.505899
0.78/0.88	c bounds -98 >= -888 @ 0.507108
0.78/0.88	c bounds -99 >= -888 @ 0.508551
0.78/0.88	c bounds -99 >= -887 @ 0.508891
0.78/0.88	c bounds -99 >= -886 @ 0.510096
0.78/0.88	c bounds -99 >= -885 @ 0.510888
0.78/0.88	c bounds -99 >= -884 @ 0.510888
0.78/0.88	c bounds -99 >= -883 @ 0.510888
0.78/0.88	c bounds -99 >= -882 @ 0.512143
0.78/0.88	c bounds -99 >= -881 @ 0.51288
0.78/0.88	c bounds -100 >= -881 @ 0.513324
0.78/0.88	c bounds -100 >= -880 @ 0.513877
0.78/0.88	c bounds -100 >= -879 @ 0.513878
0.78/0.88	c bounds -100 >= -878 @ 0.513878
0.78/0.88	c bounds -100 >= -877 @ 0.514128
0.78/0.88	c bounds -100 >= -876 @ 0.514875
0.78/0.88	c bounds -100 >= -875 @ 0.514876
0.78/0.88	c bounds -100 >= -874 @ 0.514944
0.78/0.88	c bounds -101 >= -874 @ 0.518332
0.78/0.88	c bounds -101 >= -873 @ 0.519587
0.78/0.88	c bounds -101 >= -872 @ 0.519865
0.78/0.88	c bounds -101 >= -871 @ 0.521079
0.78/0.88	c bounds -101 >= -870 @ 0.522321
0.78/0.88	c bounds -101 >= -869 @ 0.523569
0.78/0.88	c bounds -101 >= -868 @ 0.524827
0.78/0.88	c bounds -101 >= -867 @ 0.526135
0.78/0.88	c bounds -102 >= -867 @ 0.52785
0.78/0.88	c bounds -102 >= -866 @ 0.527929
0.78/0.88	c bounds -102 >= -865 @ 0.528847
0.78/0.88	c bounds -102 >= -864 @ 0.528847
0.78/0.88	c bounds -102 >= -863 @ 0.528847
0.78/0.88	c bounds -102 >= -862 @ 0.529084
0.78/0.88	c bounds -102 >= -861 @ 0.529845
0.78/0.88	c bounds -102 >= -860 @ 0.530511
0.78/0.88	c bounds -103 >= -860 @ 0.533968
0.78/0.88	c bounds -103 >= -859 @ 0.534836
0.78/0.88	c bounds -103 >= -858 @ 0.534837
0.78/0.88	c bounds -103 >= -857 @ 0.534909
0.78/0.88	c bounds -103 >= -856 @ 0.536207
0.78/0.88	c bounds -103 >= -855 @ 0.536833
0.78/0.88	c bounds -103 >= -854 @ 0.536833
0.78/0.88	c bounds -103 >= -853 @ 0.538059
0.78/0.88	c bounds -104 >= -853 @ 0.54182
0.78/0.88	c bounds -104 >= -852 @ 0.542119
0.78/0.88	c bounds -104 >= -851 @ 0.543406
0.78/0.88	c bounds -104 >= -850 @ 0.543816
0.78/0.88	c bounds -104 >= -849 @ 0.544046
0.78/0.88	c bounds -104 >= -848 @ 0.544813
0.78/0.88	c bounds -104 >= -847 @ 0.545628
0.78/0.88	c bounds -104 >= -846 @ 0.546944
0.78/0.88	c bounds -104 >= -845 @ 0.547806
0.78/0.88	c bounds -104 >= -844 @ 0.548557
0.78/0.88	c bounds -104 >= -843 @ 0.548873
0.78/0.88	c bounds -105 >= -843 @ 0.552382
0.78/0.88	c bounds -105 >= -842 @ 0.552795
1.10/1.14	c bounds -105 >= -841 @ 0.55413
1.10/1.14	c bounds -105 >= -840 @ 0.555429
1.10/1.14	c bounds -105 >= -839 @ 0.555789
1.10/1.14	c bounds -105 >= -838 @ 0.55711
1.10/1.14	c bounds -105 >= -837 @ 0.557784
1.10/1.14	c bounds -105 >= -836 @ 0.558723
1.10/1.14	c bounds -106 >= -836 @ 0.561285
1.10/1.14	c bounds -106 >= -835 @ 0.561776
1.10/1.14	c bounds -106 >= -834 @ 0.562019
1.10/1.14	c bounds -106 >= -833 @ 0.562772
1.10/1.14	c bounds -106 >= -832 @ 0.562772
1.10/1.14	c bounds -106 >= -831 @ 0.563402
1.10/1.14	c bounds -106 >= -830 @ 0.563769
1.10/1.14	c bounds -106 >= -829 @ 0.564768
1.10/1.14	c bounds -107 >= -829 @ 0.56526
1.10/1.14	c bounds -107 >= -828 @ 0.565764
1.10/1.14	c bounds -107 >= -827 @ 0.565852
1.10/1.14	c bounds -107 >= -826 @ 0.566762
1.10/1.14	c bounds -107 >= -825 @ 0.567647
1.10/1.14	c bounds -107 >= -824 @ 0.567989
1.10/1.14	c bounds -107 >= -823 @ 0.568758
1.10/1.14	c bounds -108 >= -823 @ 0.571874
1.10/1.14	c bounds -108 >= -822 @ 0.572748
1.10/1.14	c bounds -108 >= -821 @ 0.573637
1.10/1.14	c bounds -108 >= -820 @ 0.574041
1.10/1.14	c bounds -108 >= -819 @ 0.574744
1.10/1.14	c bounds -108 >= -818 @ 0.57566
1.10/1.14	c bounds -108 >= -817 @ 0.576961
1.10/1.14	c bounds -109 >= -817 @ 0.57945
1.10/1.14	c bounds -109 >= -816 @ 0.580832
1.10/1.14	c bounds -109 >= -815 @ 0.581729
1.10/1.14	c bounds -109 >= -814 @ 0.582518
1.10/1.14	c bounds -109 >= -813 @ 0.582954
1.10/1.14	c bounds -109 >= -812 @ 0.583725
1.10/1.14	c bounds -109 >= -811 @ 0.583726
1.10/1.14	c bounds -110 >= -811 @ 0.586916
1.10/1.14	c bounds -110 >= -810 @ 0.588282
1.10/1.14	c bounds -110 >= -809 @ 0.589637
1.10/1.14	c bounds -110 >= -808 @ 0.589942
1.10/1.14	c bounds -110 >= -807 @ 0.591244
1.10/1.14	c bounds -110 >= -806 @ 0.592591
1.10/1.14	c bounds -110 >= -805 @ 0.59294
1.10/1.14	c bounds -111 >= -805 @ 0.59635
1.10/1.14	c bounds -111 >= -804 @ 0.596797
1.10/1.14	c bounds -111 >= -803 @ 0.598147
1.10/1.14	c bounds -111 >= -802 @ 0.599435
1.10/1.14	c bounds -111 >= -801 @ 0.599782
1.10/1.14	c bounds -111 >= -800 @ 0.60069
1.10/1.14	c bounds -111 >= -799 @ 0.60069
1.10/1.14	c bounds -111 >= -798 @ 0.600759
1.10/1.14	c bounds -112 >= -798 @ 0.604377
1.10/1.14	c bounds -112 >= -797 @ 0.605598
1.10/1.14	c bounds -112 >= -796 @ 0.606923
1.10/1.14	c bounds -112 >= -795 @ 0.607668
1.10/1.14	c bounds -112 >= -794 @ 0.608595
1.10/1.14	c bounds -112 >= -793 @ 0.608922
1.10/1.14	c bounds -112 >= -792 @ 0.610263
1.10/1.14	c bounds -113 >= -792 @ 0.612745
1.10/1.14	c bounds -113 >= -791 @ 0.614075
1.10/1.14	c bounds -113 >= -790 @ 0.614654
1.10/1.14	c bounds -113 >= -789 @ 0.615775
1.10/1.14	c bounds -113 >= -788 @ 0.617117
1.10/1.14	c bounds -113 >= -787 @ 0.618489
1.10/1.14	c bounds -113 >= -786 @ 0.61889
1.10/1.14	c bounds -114 >= -786 @ 0.620637
1.10/1.14	c bounds -114 >= -785 @ 0.620939
1.10/1.14	c bounds -114 >= -784 @ 0.621638
1.10/1.14	c bounds -114 >= -783 @ 0.621723
1.10/1.14	c bounds -114 >= -782 @ 0.623104
1.10/1.14	c bounds -114 >= -781 @ 0.624454
1.10/1.14	c bounds -114 >= -780 @ 0.624879
1.10/1.14	c bounds -115 >= -780 @ 0.627625
1.10/1.14	c bounds -115 >= -779 @ 0.627914
1.10/1.14	c bounds -115 >= -778 @ 0.629291
1.10/1.14	c bounds -115 >= -777 @ 0.629689
1.10/1.14	c bounds -115 >= -776 @ 0.630617
1.10/1.14	c bounds -115 >= -775 @ 0.630618
1.10/1.14	c bounds -115 >= -774 @ 0.630618
1.10/1.14	c bounds -116 >= -774 @ 0.632594
1.10/1.14	c bounds -116 >= -773 @ 0.63361
1.10/1.14	c bounds -116 >= -772 @ 0.63361
1.10/1.14	c bounds -116 >= -771 @ 0.63386
1.10/1.14	c bounds -116 >= -770 @ 0.635211
1.10/1.14	c bounds -116 >= -769 @ 0.636585
1.10/1.14	c bounds -116 >= -768 @ 0.637939
1.10/1.14	c bounds -116 >= -767 @ 0.6386
1.10/1.14	c bounds -117 >= -767 @ 0.639916
1.10/1.14	c bounds -117 >= -766 @ 0.640595
1.10/1.14	c bounds -117 >= -765 @ 0.641813
1.10/1.14	c bounds -117 >= -764 @ 0.643193
1.10/1.14	c bounds -117 >= -763 @ 0.643676
1.10/1.14	c bounds -117 >= -762 @ 0.644586
1.10/1.14	c bounds -117 >= -761 @ 0.644586
1.10/1.14	c bounds -117 >= -760 @ 0.644586
1.10/1.14	c bounds -118 >= -760 @ 0.645966
1.10/1.14	c bounds -118 >= -759 @ 0.647284
1.10/1.14	c bounds -118 >= -758 @ 0.647579
1.10/1.14	c bounds -118 >= -757 @ 0.647828
1.10/1.14	c bounds -118 >= -756 @ 0.648576
1.10/1.14	c bounds -118 >= -755 @ 0.648576
1.10/1.14	c bounds -118 >= -754 @ 0.649402
1.10/1.14	c bounds -118 >= -753 @ 0.649573
1.10/1.14	c bounds -119 >= -753 @ 0.651391
1.10/1.14	c bounds -119 >= -752 @ 0.651566
1.10/1.14	c bounds -119 >= -751 @ 0.651566
1.10/1.14	c bounds -119 >= -750 @ 0.652561
1.10/1.14	c bounds -119 >= -749 @ 0.652799
1.10/1.14	c bounds -119 >= -748 @ 0.654406
1.10/1.14	c bounds -119 >= -747 @ 0.655556
1.10/1.14	c bounds -119 >= -746 @ 0.655556
1.10/1.14	c bounds -123 >= -746 @ 0.65833
1.10/1.14	c bounds -123 >= -745 @ 0.660664
1.10/1.14	c bounds -123 >= -744 @ 0.662541
1.10/1.14	c bounds -123 >= -743 @ 0.66538
1.10/1.14	c bounds -123 >= -742 @ 0.665533
1.10/1.14	c bounds -124 >= -742 @ 0.668215
1.10/1.14	c bounds -124 >= -741 @ 0.669511
1.10/1.14	c bounds -124 >= -740 @ 0.672666
1.10/1.14	c bounds -124 >= -739 @ 0.675984
1.10/1.14	c bounds -131 >= -739 @ 0.679502
1.10/1.14	c bounds -131 >= -738 @ 0.680501
1.10/1.14	c bounds -131 >= -737 @ 0.682744
1.10/1.14	c bounds -131 >= -736 @ 0.684993
1.10/1.14	c bounds -131 >= -735 @ 0.685492
1.10/1.14	c bounds -132 >= -735 @ 0.688593
2.39/2.48	c bounds -132 >= -734 @ 0.68992
2.39/2.48	c bounds -132 >= -733 @ 0.690482
2.39/2.48	c bounds -132 >= -732 @ 0.691583
2.39/2.48	c bounds -132 >= -731 @ 0.69276
2.39/2.48	c bounds -132 >= -730 @ 0.693935
2.39/2.48	c bounds -132 >= -729 @ 0.694564
2.39/2.48	c bounds -132 >= -728 @ 0.69584
2.39/2.48	c bounds -133 >= -728 @ 0.698926
2.39/2.48	c bounds -133 >= -727 @ 0.70046
2.39/2.48	c bounds -133 >= -726 @ 0.700542
2.39/2.48	c bounds -133 >= -725 @ 0.701814
2.39/2.48	c bounds -133 >= -724 @ 0.703061
2.39/2.48	c bounds -133 >= -723 @ 0.70445
2.39/2.48	c bounds -133 >= -722 @ 0.70445
2.39/2.48	c bounds -134 >= -722 @ 0.708066
2.39/2.48	c bounds -134 >= -721 @ 0.709304
2.39/2.48	c bounds -134 >= -720 @ 0.709436
2.39/2.48	c bounds -134 >= -719 @ 0.709436
2.39/2.48	c bounds -134 >= -718 @ 0.70969
2.39/2.48	c bounds -134 >= -717 @ 0.710866
2.39/2.48	c bounds -134 >= -716 @ 0.712412
2.39/2.48	c bounds -135 >= -716 @ 0.714376
2.39/2.48	c bounds -135 >= -715 @ 0.714657
2.39/2.48	c bounds -135 >= -714 @ 0.715405
2.39/2.48	c bounds -135 >= -713 @ 0.715405
2.39/2.48	c bounds -135 >= -712 @ 0.715405
2.39/2.48	c bounds -135 >= -711 @ 0.71615
2.39/2.48	c bounds -135 >= -710 @ 0.716402
2.39/2.48	c bounds -135 >= -709 @ 0.716402
2.39/2.48	c bounds -136 >= -709 @ 0.717864
2.39/2.48	c bounds -136 >= -708 @ 0.719893
2.39/2.48	c bounds -136 >= -707 @ 0.720983
2.39/2.48	c bounds -136 >= -706 @ 0.721388
2.39/2.48	c bounds -136 >= -705 @ 0.723954
2.39/2.48	c bounds -137 >= -705 @ 0.728351
2.39/2.48	c bounds -137 >= -704 @ 0.730524
2.39/2.48	c bounds -137 >= -703 @ 0.734749
2.39/2.48	c bounds -137 >= -702 @ 0.736733
2.39/2.48	c bounds -137 >= -701 @ 0.741345
2.39/2.48	c bounds -138 >= -701 @ 0.745501
2.39/2.48	c bounds -139 >= -701 @ 0.746706
2.39/2.48	c bounds -139 >= -700 @ 0.74733
2.39/2.48	c bounds -139 >= -699 @ 0.751321
2.39/2.48	c bounds -140 >= -699 @ 0.752761
2.39/2.48	c bounds -141 >= -699 @ 0.755755
2.39/2.48	c bounds -141 >= -698 @ 0.760698
2.39/2.48	c bounds -142 >= -698 @ 0.76466
2.39/2.48	c bounds -143 >= -698 @ 0.767106
2.39/2.48	c bounds -143 >= -697 @ 0.775267
2.39/2.48	c bounds -144 >= -697 @ 0.779496
2.39/2.48	c bounds -145 >= -697 @ 0.780615
2.39/2.48	c bounds -145 >= -696 @ 0.786701
2.39/2.48	c bounds -146 >= -696 @ 0.788693
2.39/2.48	c bounds -146 >= -695 @ 0.796223
2.39/2.48	c bounds -147 >= -695 @ 0.799732
2.39/2.48	c bounds -148 >= -695 @ 0.801841
2.39/2.48	c bounds -149 >= -695 @ 0.80488
2.39/2.48	c bounds -149 >= -694 @ 0.808541
2.39/2.48	c bounds -150 >= -694 @ 0.811139
2.39/2.48	c bounds -151 >= -694 @ 0.81315
2.39/2.48	c bounds -152 >= -694 @ 0.815261
2.39/2.48	c bounds -152 >= -693 @ 0.839627
2.39/2.48	c bounds -153 >= -693 @ 0.844417
2.39/2.48	c bounds -154 >= -693 @ 0.849033
2.39/2.48	c bounds -155 >= -693 @ 0.85178
2.39/2.48	c bounds -156 >= -693 @ 0.853967
2.39/2.48	c bounds -157 >= -693 @ 0.858265
2.39/2.48	c bounds -158 >= -693 @ 0.86012
2.39/2.48	c bounds -159 >= -693 @ 0.863779
2.39/2.48	c bounds -160 >= -693 @ 0.865752
2.39/2.48	c bounds -161 >= -693 @ 0.868402
2.39/2.48	c bounds -163 >= -693 @ 0.872143
2.39/2.48	c bounds -164 >= -693 @ 0.877335
2.39/2.48	c #Conflicts:       1000 | #Constraints:      11449
2.39/2.48	c bounds -164 >= -692 @ 0.918499
2.39/2.48	c bounds -165 >= -692 @ 0.921889
2.39/2.48	c bounds -166 >= -692 @ 0.924193
2.39/2.48	c bounds -167 >= -692 @ 0.935245
2.39/2.48	c bounds -168 >= -692 @ 0.948001
2.39/2.48	c bounds -169 >= -692 @ 0.966829
2.39/2.48	c bounds -170 >= -692 @ 0.986221
2.39/2.48	c bounds -171 >= -692 @ 1.00216
2.39/2.48	c bounds -172 >= -692 @ 1.00913
2.39/2.48	c bounds -172 >= -691 @ 1.01554
2.39/2.48	c bounds -172 >= -690 @ 1.01773
2.39/2.48	c bounds -173 >= -690 @ 1.03665
2.39/2.48	c bounds -173 >= -689 @ 1.05373
2.39/2.48	c bounds -174 >= -689 @ 1.09164
2.39/2.48	c bounds -174 >= -688 @ 1.14225
2.39/2.48	c bounds -175 >= -688 @ 1.16964
2.39/2.48	c bounds -176 >= -688 @ 1.18211
2.39/2.48	c bounds -177 >= -688 @ 1.19519
2.39/2.48	c bounds -178 >= -688 @ 1.20713
2.39/2.48	c bounds -180 >= -688 @ 1.22094
2.39/2.48	c #Conflicts:       2000 | #Constraints:      12662
2.39/2.48	c INPROCESSING
2.39/2.48	c GARBAGE COLLECT
2.39/2.48	c rational objective -688
3.78/3.83	c bounds -181 >= -688 @ 1.80519
3.78/3.83	c bounds -182 >= -688 @ 1.80903
3.78/3.83	c bounds -183 >= -688 @ 1.81432
3.78/3.83	c bounds -184 >= -688 @ 1.81767
3.78/3.83	c bounds -185 >= -688 @ 1.82197
3.78/3.83	c bounds -185 >= -687 @ 1.85204
3.78/3.83	c bounds -187 >= -687 @ 1.85658
3.78/3.83	c bounds -188 >= -687 @ 1.86098
3.78/3.83	c bounds -189 >= -687 @ 1.86564
3.78/3.83	c bounds -190 >= -687 @ 1.87069
3.78/3.83	c bounds -191 >= -687 @ 1.87412
3.78/3.83	c bounds -192 >= -687 @ 1.87693
3.78/3.83	c bounds -193 >= -687 @ 1.88044
3.78/3.83	c bounds -194 >= -687 @ 1.88468
3.78/3.83	c bounds -195 >= -687 @ 1.88839
3.78/3.83	c bounds -196 >= -687 @ 1.89208
3.78/3.83	c bounds -197 >= -687 @ 1.897
3.78/3.83	c bounds -197 >= -686 @ 1.92089
3.78/3.83	c bounds -198 >= -686 @ 1.92327
3.78/3.83	c bounds -199 >= -686 @ 1.92763
3.78/3.83	c bounds -201 >= -686 @ 1.93018
3.78/3.83	c bounds -203 >= -686 @ 1.93316
3.78/3.83	c bounds -204 >= -686 @ 1.93509
3.78/3.83	c bounds -205 >= -686 @ 1.93953
3.78/3.83	c bounds -206 >= -686 @ 1.9432
3.78/3.83	c bounds -207 >= -686 @ 1.94668
3.78/3.83	c bounds -208 >= -686 @ 1.95039
3.78/3.83	c bounds -209 >= -686 @ 1.95528
3.78/3.83	c bounds -210 >= -686 @ 1.96024
3.78/3.83	c bounds -212 >= -686 @ 1.96137
3.78/3.83	c #Conflicts:       3000 | #Constraints:      11519
3.78/3.83	c #Conflicts:       4000 | #Constraints:      12519
3.78/3.83	c bounds -212 >= -685 @ 2.2486
3.78/3.83	c bounds -213 >= -685 @ 2.25248
3.78/3.83	c bounds -214 >= -685 @ 2.25663
3.78/3.83	c bounds -215 >= -685 @ 2.26152
3.78/3.83	c bounds -216 >= -685 @ 2.27477
3.78/3.83	c bounds -218 >= -685 @ 2.28465
3.78/3.83	c bounds -219 >= -685 @ 2.29689
3.78/3.83	c bounds -220 >= -685 @ 2.31414
3.78/3.83	c bounds -221 >= -685 @ 2.33787
3.78/3.83	c bounds -223 >= -685 @ 2.35259
3.78/3.83	c bounds -224 >= -685 @ 2.36707
3.78/3.83	c bounds -226 >= -685 @ 2.37674
3.78/3.83	c INPROCESSING
3.78/3.83	c GARBAGE COLLECT
3.78/3.83	c rational objective -685
10.56/10.67	c bounds -227 >= -685 @ 3.00557
10.56/10.67	c bounds -229 >= -685 @ 3.0103
10.56/10.67	c bounds -230 >= -685 @ 3.01594
10.56/10.67	c bounds -231 >= -685 @ 3.01778
10.56/10.67	c bounds -233 >= -685 @ 3.02319
10.56/10.67	c bounds -234 >= -685 @ 3.09709
10.56/10.67	c bounds -235 >= -685 @ 3.12403
10.56/10.67	c bounds -236 >= -685 @ 3.14383
10.56/10.67	c bounds -237 >= -685 @ 3.17053
10.56/10.67	c bounds -238 >= -685 @ 3.19337
10.56/10.67	c bounds -239 >= -685 @ 3.22184
10.56/10.67	c bounds -240 >= -685 @ 3.23586
10.56/10.67	c bounds -241 >= -685 @ 3.24379
10.56/10.67	c bounds -242 >= -685 @ 3.25332
10.56/10.67	c bounds -243 >= -685 @ 3.26476
10.56/10.67	c bounds -244 >= -685 @ 3.27798
10.56/10.67	c bounds -245 >= -685 @ 3.29785
10.56/10.67	c bounds -246 >= -685 @ 3.31691
10.56/10.67	c bounds -247 >= -685 @ 3.34252
10.56/10.67	c bounds -248 >= -685 @ 3.38262
10.56/10.67	c bounds -249 >= -685 @ 3.40435
10.56/10.67	c bounds -250 >= -685 @ 3.42428
10.56/10.67	c bounds -251 >= -685 @ 3.44074
10.56/10.67	c bounds -252 >= -685 @ 3.45558
10.56/10.67	c bounds -254 >= -685 @ 3.46891
10.56/10.67	c bounds -255 >= -685 @ 3.48327
10.56/10.67	c bounds -256 >= -685 @ 3.50061
10.56/10.67	c bounds -258 >= -685 @ 3.51579
10.56/10.67	c bounds -259 >= -685 @ 3.54273
10.56/10.67	c bounds -260 >= -685 @ 3.56534
10.56/10.67	c #Conflicts:       5000 | #Constraints:      11912
10.56/10.67	c bounds -260 >= -684 @ 3.68902
10.56/10.67	c bounds -261 >= -684 @ 3.71183
10.56/10.67	c bounds -262 >= -684 @ 3.74943
10.56/10.67	c bounds -263 >= -684 @ 3.77303
10.56/10.67	c bounds -264 >= -684 @ 3.79611
10.56/10.67	c bounds -265 >= -684 @ 3.83338
10.56/10.67	c bounds -266 >= -684 @ 3.87879
10.56/10.67	c bounds -267 >= -684 @ 3.94061
10.56/10.67	c #Conflicts:       6000 | #Constraints:      12970
10.56/10.67	c #Conflicts:       7000 | #Constraints:      13970
10.56/10.67	c bounds -267 >= -683 @ 5.69075
10.56/10.67	c bounds -268 >= -683 @ 5.72898
10.56/10.67	c bounds -269 >= -683 @ 5.759
10.56/10.67	c bounds -270 >= -683 @ 5.78663
10.56/10.67	c bounds -271 >= -683 @ 5.82443
10.56/10.67	c bounds -272 >= -683 @ 5.86165
10.56/10.67	c bounds -273 >= -683 @ 5.89923
10.56/10.67	c bounds -274 >= -683 @ 5.93693
10.56/10.67	c bounds -275 >= -683 @ 6.01158
10.56/10.67	c bounds -276 >= -683 @ 6.05316
10.56/10.67	c bounds -277 >= -683 @ 6.08599
10.56/10.67	c bounds -278 >= -683 @ 6.11152
10.56/10.67	c bounds -279 >= -683 @ 6.14368
10.56/10.67	c bounds -281 >= -683 @ 6.17707
10.56/10.67	c bounds -282 >= -683 @ 6.2125
10.56/10.67	c bounds -283 >= -683 @ 6.24944
10.56/10.67	c bounds -284 >= -683 @ 6.28594
10.56/10.67	c bounds -285 >= -683 @ 6.32389
10.56/10.67	c #Conflicts:       8000 | #Constraints:      15038
10.56/10.67	c bounds -286 >= -683 @ 6.35651
10.56/10.67	c bounds -287 >= -683 @ 6.39059
10.56/10.67	c bounds -288 >= -683 @ 6.45573
10.56/10.67	c bounds -289 >= -683 @ 6.4878
10.56/10.67	c bounds -290 >= -683 @ 6.52092
10.56/10.67	c bounds -291 >= -683 @ 6.55637
10.56/10.67	c bounds -292 >= -683 @ 6.58861
10.56/10.67	c bounds -293 >= -683 @ 6.62516
10.56/10.67	c bounds -294 >= -683 @ 6.65736
10.56/10.67	c bounds -295 >= -683 @ 6.689
10.56/10.67	c bounds -296 >= -683 @ 6.72499
10.56/10.67	c bounds -298 >= -683 @ 6.75907
10.56/10.67	c bounds -300 >= -683 @ 6.79168
10.56/10.67	c bounds -302 >= -683 @ 6.82495
10.56/10.67	c bounds -303 >= -683 @ 6.85786
10.56/10.67	c bounds -304 >= -683 @ 6.8923
10.56/10.67	c bounds -306 >= -683 @ 6.927
10.56/10.67	c bounds -307 >= -683 @ 6.96197
10.56/10.67	c bounds -308 >= -683 @ 7.01189
10.56/10.67	c bounds -309 >= -683 @ 7.13837
10.56/10.67	c bounds -310 >= -683 @ 7.40039
10.56/10.67	c bounds -311 >= -683 @ 7.75022
10.56/10.67	c bounds -312 >= -683 @ 7.98751
10.56/10.67	c #Conflicts:       9000 | #Constraints:      16061
10.56/10.67	c bounds -313 >= -683 @ 8.76654
10.56/10.67	c INPROCESSING
10.56/10.67	c GARBAGE COLLECT
10.56/10.67	c rational objective -683
12.65/12.76	c bounds -313 >= -682 @ 9.5429
12.65/12.76	c bounds -313 >= -681 @ 9.59546
12.65/12.76	c #Conflicts:      10000 | #Constraints:      13717
12.65/12.76	c bounds -313 >= -680 @ 10.3439
12.65/12.76	c #Conflicts:      11000 | #Constraints:      14741
12.65/12.76	c #Conflicts:      12000 | #Constraints:      15741
12.65/12.76	c bounds -313 >= -679 @ 10.8705
12.65/12.76	c bounds -317 >= -679 @ 10.8807
12.65/12.76	c INPROCESSING
12.65/12.76	c GARBAGE COLLECT
12.65/12.76	c rational objective -679
24.73/24.81	c bounds -318 >= -679 @ 11.4798
24.73/24.81	c bounds -319 >= -679 @ 11.5175
24.73/24.81	c bounds -320 >= -679 @ 11.5426
24.73/24.81	c bounds -321 >= -679 @ 11.5745
24.73/24.81	c bounds -322 >= -679 @ 11.6059
24.73/24.81	c bounds -323 >= -679 @ 11.6363
24.73/24.81	c #Conflicts:      13000 | #Constraints:      13356
24.73/24.81	c bounds -325 >= -679 @ 11.6679
24.73/24.81	c bounds -326 >= -679 @ 11.7093
24.73/24.81	c bounds -327 >= -679 @ 11.7463
24.73/24.81	c bounds -328 >= -679 @ 11.8288
24.73/24.81	c bounds -329 >= -679 @ 11.9184
24.73/24.81	c bounds -330 >= -679 @ 12.0131
24.73/24.81	c bounds -331 >= -679 @ 12.1179
24.73/24.81	c bounds -332 >= -679 @ 12.2376
24.73/24.81	c bounds -333 >= -679 @ 12.3771
24.73/24.81	c #Conflicts:      14000 | #Constraints:      14365
24.73/24.81	c #Conflicts:      15000 | #Constraints:      15365
24.73/24.81	c #Conflicts:      16000 | #Constraints:      16365
24.73/24.81	c #Conflicts:      17000 | #Constraints:      17365
24.73/24.81	c bounds -333 >= -678 @ 16.2384
24.73/24.81	c #Conflicts:      18000 | #Constraints:      18437
24.73/24.81	c bounds -334 >= -678 @ 16.6735
24.73/24.81	c bounds -335 >= -678 @ 16.8002
24.73/24.81	c bounds -336 >= -678 @ 17.0341
24.73/24.81	c bounds -337 >= -678 @ 17.211
24.73/24.81	c bounds -338 >= -678 @ 17.737
24.73/24.81	c #Conflicts:      19000 | #Constraints:      19442
24.73/24.81	c bounds -339 >= -678 @ 18.2834
24.73/24.81	c bounds -340 >= -678 @ 18.5096
24.73/24.81	c bounds -341 >= -678 @ 18.6458
24.73/24.81	c bounds -342 >= -678 @ 18.7775
24.73/24.81	c bounds -344 >= -678 @ 18.9087
24.73/24.81	c bounds -346 >= -678 @ 19.1344
24.73/24.81	c bounds -347 >= -678 @ 19.6414
24.73/24.81	c bounds -348 >= -678 @ 20.1346
24.73/24.81	c #Conflicts:      20000 | #Constraints:      20450
24.73/24.81	c bounds -349 >= -678 @ 20.4421
24.73/24.81	c bounds -350 >= -678 @ 21.3669
24.73/24.81	c bounds -351 >= -678 @ 21.6861
24.73/24.81	c bounds -352 >= -678 @ 21.8976
24.73/24.81	c bounds -353 >= -678 @ 22.2702
24.73/24.81	c bounds -354 >= -678 @ 22.6422
24.73/24.81	c #Conflicts:      21000 | #Constraints:      21456
24.73/24.81	c INPROCESSING
24.73/24.81	c GARBAGE COLLECT
24.73/24.81	c rational objective -678
28.62/28.75	c bounds -355 >= -678 @ 23.1517
28.62/28.75	c bounds -356 >= -678 @ 23.1941
28.62/28.75	c bounds -357 >= -678 @ 23.2351
28.62/28.75	c bounds -358 >= -678 @ 23.275
28.62/28.75	c bounds -360 >= -678 @ 23.3049
28.62/28.75	c bounds -361 >= -678 @ 23.3588
28.62/28.75	c #Conflicts:      22000 | #Constraints:      16652
28.62/28.75	c bounds -361 >= -677 @ 23.5594
28.62/28.75	c bounds -362 >= -677 @ 23.5937
28.62/28.75	c bounds -363 >= -677 @ 23.628
28.62/28.75	c bounds -364 >= -677 @ 23.7107
28.62/28.75	c bounds -365 >= -677 @ 23.8024
28.62/28.75	c bounds -366 >= -677 @ 23.9336
28.62/28.75	c bounds -367 >= -677 @ 24.0418
28.62/28.75	c #Conflicts:      23000 | #Constraints:      17700
28.62/28.75	c #Conflicts:      24000 | #Constraints:      18700
28.62/28.75	c #Conflicts:      25000 | #Constraints:      19700
28.62/28.75	c INPROCESSING
28.62/28.75	c GARBAGE COLLECT
28.62/28.75	c rational objective -677
58.33/58.57	c bounds -368 >= -677 @ 26.8781
58.33/58.57	c bounds -369 >= -677 @ 26.9295
58.33/58.57	c #Conflicts:      26000 | #Constraints:      15469
58.33/58.57	c bounds -370 >= -677 @ 27.0308
58.33/58.57	c bounds -371 >= -677 @ 27.1107
58.33/58.57	c bounds -372 >= -677 @ 27.2223
58.33/58.57	c bounds -373 >= -677 @ 27.4801
58.33/58.57	c bounds -374 >= -677 @ 27.815
58.33/58.57	c #Conflicts:      27000 | #Constraints:      16474
58.33/58.57	c bounds -376 >= -677 @ 28.2039
58.33/58.57	c bounds -377 >= -677 @ 28.391
58.33/58.57	c bounds -378 >= -677 @ 28.5812
58.33/58.57	c bounds -379 >= -677 @ 28.8384
58.33/58.57	c bounds -380 >= -677 @ 29.5947
58.33/58.57	c #Conflicts:      28000 | #Constraints:      17479
58.33/58.57	c bounds -381 >= -677 @ 30.5312
58.33/58.57	c bounds -382 >= -677 @ 30.8581
58.33/58.57	c bounds -383 >= -677 @ 31.1688
58.33/58.57	c bounds -384 >= -677 @ 31.6157
58.33/58.57	c #Conflicts:      29000 | #Constraints:      18483
58.33/58.57	c bounds -385 >= -677 @ 31.7771
58.33/58.57	c #Conflicts:      30000 | #Constraints:      19484
58.33/58.57	c #Conflicts:      31000 | #Constraints:      20484
58.33/58.57	c #Conflicts:      32000 | #Constraints:      21484
58.33/58.57	c bounds -385 >= -676 @ 38.1505
58.33/58.57	c bounds -386 >= -676 @ 38.4716
58.33/58.57	c bounds -387 >= -676 @ 38.6335
58.33/58.57	c bounds -388 >= -676 @ 38.7892
58.33/58.57	c bounds -389 >= -676 @ 39.0572
58.33/58.57	c bounds -390 >= -676 @ 39.2092
58.33/58.57	c bounds -392 >= -676 @ 39.4172
58.33/58.57	c bounds -393 >= -676 @ 40.1665
58.33/58.57	c #Conflicts:      33000 | #Constraints:      22539
58.33/58.57	c bounds -394 >= -676 @ 40.8634
58.33/58.57	c bounds -395 >= -676 @ 41.3737
58.33/58.57	c bounds -396 >= -676 @ 42.1859
58.33/58.57	c #Conflicts:      34000 | #Constraints:      23542
58.33/58.57	c bounds -397 >= -676 @ 43.4366
58.33/58.57	c #Conflicts:      35000 | #Constraints:      24543
58.33/58.57	c bounds -398 >= -676 @ 44.4393
58.33/58.57	c #Conflicts:      36000 | #Constraints:      25544
58.33/58.57	c #Conflicts:      37000 | #Constraints:      26544
58.33/58.57	c INPROCESSING
58.33/58.57	c GARBAGE COLLECT
58.33/58.57	c rational objective -676
70.60/70.82	c bounds -399 >= -676 @ 56.3394
70.60/70.82	c bounds -400 >= -676 @ 56.4886
70.60/70.82	c bounds -401 >= -676 @ 56.559
70.60/70.82	c bounds -402 >= -676 @ 56.6422
70.60/70.82	c bounds -403 >= -676 @ 56.8152
70.60/70.82	c bounds -405 >= -676 @ 56.9572
70.60/70.82	c bounds -406 >= -676 @ 57.1358
70.60/70.82	c #Conflicts:      38000 | #Constraints:      19284
70.60/70.82	c bounds -407 >= -676 @ 57.3632
70.60/70.82	c bounds -408 >= -676 @ 57.5911
70.60/70.82	c bounds -409 >= -676 @ 58.1626
70.60/70.82	c #Conflicts:      39000 | #Constraints:      20287
70.60/70.82	c bounds -410 >= -676 @ 58.6317
70.60/70.82	c #Conflicts:      40000 | #Constraints:      21288
70.60/70.82	c bounds -411 >= -676 @ 60.5942
70.60/70.82	c #Conflicts:      41000 | #Constraints:      22289
70.60/70.82	c bounds -412 >= -676 @ 64.2515
70.60/70.82	c #Conflicts:      42000 | #Constraints:      23290
70.60/70.82	c #Conflicts:      43000 | #Constraints:      24290
70.60/70.82	c INPROCESSING
70.60/70.82	c GARBAGE COLLECT
70.60/70.82	c rational objective -676
92.75/93.09	c #Conflicts:      44000 | #Constraints:      18143
92.75/93.09	c #Conflicts:      45000 | #Constraints:      19143
92.75/93.09	c #Conflicts:      46000 | #Constraints:      20143
92.75/93.09	c #Conflicts:      47000 | #Constraints:      21143
92.75/93.09	c #Conflicts:      48000 | #Constraints:      22143
92.75/93.09	c bounds -412 >= -675 @ 70.5911
92.75/93.09	c bounds -413 >= -675 @ 70.6672
92.75/93.09	c bounds -414 >= -675 @ 70.7465
92.75/93.09	c #Conflicts:      49000 | #Constraints:      23178
92.75/93.09	c bounds -415 >= -675 @ 71.2316
92.75/93.09	c #Conflicts:      50000 | #Constraints:      24179
92.75/93.09	c bounds -416 >= -675 @ 72.8942
92.75/93.09	c #Conflicts:      51000 | #Constraints:      25180
92.75/93.09	c #Conflicts:      52000 | #Constraints:      26180
92.75/93.09	c bounds -417 >= -675 @ 76.9822
92.75/93.09	c #Conflicts:      53000 | #Constraints:      27181
92.75/93.09	c #Conflicts:      54000 | #Constraints:      28181
92.75/93.09	c #Conflicts:      55000 | #Constraints:      29181
92.75/93.09	c #Conflicts:      56000 | #Constraints:      30181
92.75/93.09	c #Conflicts:      57000 | #Constraints:      31181
92.75/93.09	c INPROCESSING
92.75/93.09	c GARBAGE COLLECT
92.75/93.09	c rational objective -675
166.14/166.67	c #Conflicts:      58000 | #Constraints:      21401
166.14/166.67	c bounds -418 >= -675 @ 90.5174
166.14/166.67	c #Conflicts:      59000 | #Constraints:      22402
166.14/166.67	c bounds -419 >= -675 @ 92.1574
166.14/166.67	c #Conflicts:      60000 | #Constraints:      23403
166.14/166.67	c bounds -420 >= -675 @ 95.4117
166.14/166.67	c bounds -421 >= -675 @ 95.6129
166.14/166.67	c #Conflicts:      61000 | #Constraints:      24405
166.14/166.67	c bounds -422 >= -675 @ 95.8267
166.14/166.67	c #Conflicts:      62000 | #Constraints:      25406
166.14/166.67	c #Conflicts:      63000 | #Constraints:      26406
166.14/166.67	c #Conflicts:      64000 | #Constraints:      27406
166.14/166.67	c bounds -423 >= -675 @ 105.522
166.14/166.67	c #Conflicts:      65000 | #Constraints:      28407
166.14/166.67	c #Conflicts:      66000 | #Constraints:      29407
166.14/166.67	c #Conflicts:      67000 | #Constraints:      30407
166.14/166.67	c #Conflicts:      68000 | #Constraints:      31407
166.14/166.67	c #Conflicts:      69000 | #Constraints:      32407
166.14/166.67	c #Conflicts:      70000 | #Constraints:      33407
166.14/166.67	c #Conflicts:      71000 | #Constraints:      34407
166.14/166.67	c #Conflicts:      72000 | #Constraints:      35407
166.14/166.67	c bounds -423 >= -674 @ 153.848
166.14/166.67	c bounds -424 >= -674 @ 154.829
166.14/166.67	c #Conflicts:      73000 | #Constraints:      36504
166.14/166.67	c #Conflicts:      74000 | #Constraints:      37504
166.14/166.67	c INPROCESSING
166.14/166.67	c GARBAGE COLLECT
166.14/166.67	c rational objective -674
190.77/191.32	c bounds -425 >= -674 @ 163.487
190.77/191.32	c bounds -426 >= -674 @ 163.747
190.77/191.32	c bounds -427 >= -674 @ 163.989
190.77/191.32	c #Conflicts:      75000 | #Constraints:      24780
190.77/191.32	c #Conflicts:      76000 | #Constraints:      25780
190.77/191.32	c bounds -428 >= -674 @ 167.873
190.77/191.32	c #Conflicts:      77000 | #Constraints:      26781
190.77/191.32	c #Conflicts:      78000 | #Constraints:      27781
190.77/191.32	c #Conflicts:      79000 | #Constraints:      28781
190.77/191.32	c #Conflicts:      80000 | #Constraints:      29781
190.77/191.32	c bounds -429 >= -674 @ 179.898
190.77/191.32	c #Conflicts:      81000 | #Constraints:      30782
190.77/191.32	c #Conflicts:      82000 | #Constraints:      31782
190.77/191.32	c INPROCESSING
190.77/191.32	c GARBAGE COLLECT
190.77/191.32	c rational objective -674
214.01/214.60	c #Conflicts:      83000 | #Constraints:      22935
214.01/214.60	c bounds -429 >= -673 @ 187.917
214.01/214.60	c #Conflicts:      84000 | #Constraints:      23965
214.01/214.60	c #Conflicts:      85000 | #Constraints:      24965
214.01/214.60	c #Conflicts:      86000 | #Constraints:      25965
214.01/214.60	c #Conflicts:      87000 | #Constraints:      26965
214.01/214.60	c #Conflicts:      88000 | #Constraints:      27965
214.01/214.60	c #Conflicts:      89000 | #Constraints:      28965
214.01/214.60	c bounds -429 >= -672 @ 191.298
214.01/214.60	c #Conflicts:      90000 | #Constraints:      30004
214.01/214.60	c #Conflicts:      91000 | #Constraints:      31004
214.01/214.60	c #Conflicts:      92000 | #Constraints:      32004
214.01/214.60	c #Conflicts:      93000 | #Constraints:      33004
214.01/214.60	c #Conflicts:      94000 | #Constraints:      34004
214.01/214.60	c #Conflicts:      95000 | #Constraints:      35004
214.01/214.60	c #Conflicts:      96000 | #Constraints:      36004
214.01/214.60	c #Conflicts:      97000 | #Constraints:      37004
214.01/214.60	c #Conflicts:      98000 | #Constraints:      38004
214.01/214.60	c #Conflicts:      99000 | #Constraints:      39004
214.01/214.60	c #Conflicts:     100000 | #Constraints:      40004
214.01/214.60	c #Conflicts:     101000 | #Constraints:      41004
214.01/214.60	c #Conflicts:     102000 | #Constraints:      42004
214.01/214.60	c INPROCESSING
214.01/214.60	c GARBAGE COLLECT
214.01/214.60	c rational objective -672
331.10/332.06	c #Conflicts:     103000 | #Constraints:      27182
331.10/332.06	c bounds -430 >= -672 @ 212.108
331.10/332.06	c #Conflicts:     104000 | #Constraints:      28183
331.10/332.06	c bounds -431 >= -672 @ 214.196
331.10/332.06	c #Conflicts:     105000 | #Constraints:      29184
331.10/332.06	c bounds -432 >= -672 @ 216.239
331.10/332.06	c #Conflicts:     106000 | #Constraints:      30185
331.10/332.06	c bounds -433 >= -672 @ 217.494
331.10/332.06	c bounds -434 >= -672 @ 218.036
331.10/332.06	c bounds -435 >= -672 @ 218.508
331.10/332.06	c bounds -436 >= -672 @ 219.165
331.10/332.06	c #Conflicts:     107000 | #Constraints:      31189
331.10/332.06	c #Conflicts:     108000 | #Constraints:      32189
331.10/332.06	c #Conflicts:     109000 | #Constraints:      33189
331.10/332.06	c #Conflicts:     110000 | #Constraints:      34189
331.10/332.06	c #Conflicts:     111000 | #Constraints:      35189
331.10/332.06	c bounds -437 >= -672 @ 236.084
331.10/332.06	c #Conflicts:     112000 | #Constraints:      36190
331.10/332.06	c #Conflicts:     113000 | #Constraints:      37190
331.10/332.06	c #Conflicts:     114000 | #Constraints:      38190
331.10/332.06	c #Conflicts:     115000 | #Constraints:      39190
331.10/332.06	c #Conflicts:     116000 | #Constraints:      40190
331.10/332.06	c #Conflicts:     117000 | #Constraints:      41190
331.10/332.06	c #Conflicts:     118000 | #Constraints:      42190
331.10/332.06	c #Conflicts:     119000 | #Constraints:      43190
331.10/332.06	c #Conflicts:     120000 | #Constraints:      44190
331.10/332.06	c #Conflicts:     121000 | #Constraints:      45190
331.10/332.06	c #Conflicts:     122000 | #Constraints:      46190
331.10/332.06	c #Conflicts:     123000 | #Constraints:      47190
331.10/332.06	c INPROCESSING
331.10/332.06	c GARBAGE COLLECT
331.10/332.06	c rational objective -672
358.22/359.23	c #Conflicts:     124000 | #Constraints:      29432
358.22/359.23	c #Conflicts:     125000 | #Constraints:      30432
358.22/359.23	c #Conflicts:     126000 | #Constraints:      31432
358.22/359.23	c #Conflicts:     127000 | #Constraints:      32432
358.22/359.23	c #Conflicts:     128000 | #Constraints:      33432
358.22/359.23	c #Conflicts:     129000 | #Constraints:      34432
358.22/359.23	c #Conflicts:     130000 | #Constraints:      35432
358.22/359.23	c #Conflicts:     131000 | #Constraints:      36432
358.22/359.23	c #Conflicts:     132000 | #Constraints:      37432
358.22/359.23	c #Conflicts:     133000 | #Constraints:      38432
358.22/359.23	c #Conflicts:     134000 | #Constraints:      39432
358.22/359.23	c INPROCESSING
358.22/359.23	c GARBAGE COLLECT
358.22/359.23	c rational objective -672
408.68/409.84	c #Conflicts:     135000 | #Constraints:      27732
408.68/409.84	c #Conflicts:     136000 | #Constraints:      28732
408.68/409.84	c bounds -437 >= -671 @ 355.202
408.68/409.84	c #Conflicts:     137000 | #Constraints:      29780
408.68/409.84	c #Conflicts:     138000 | #Constraints:      30780
408.68/409.84	c #Conflicts:     139000 | #Constraints:      31780
408.68/409.84	c #Conflicts:     140000 | #Constraints:      32780
408.68/409.84	c #Conflicts:     141000 | #Constraints:      33780
408.68/409.84	c #Conflicts:     142000 | #Constraints:      34780
408.68/409.84	c #Conflicts:     143000 | #Constraints:      35780
408.68/409.84	c #Conflicts:     144000 | #Constraints:      36780
408.68/409.84	c #Conflicts:     145000 | #Constraints:      37780
408.68/409.84	c #Conflicts:     146000 | #Constraints:      38780
408.68/409.84	c #Conflicts:     147000 | #Constraints:      39780
408.68/409.84	c #Conflicts:     148000 | #Constraints:      40780
408.68/409.84	c #Conflicts:     149000 | #Constraints:      41780
408.68/409.84	c #Conflicts:     150000 | #Constraints:      42780
408.68/409.84	c #Conflicts:     151000 | #Constraints:      43780
408.68/409.84	c #Conflicts:     152000 | #Constraints:      44780
408.68/409.84	c #Conflicts:     153000 | #Constraints:      45780
408.68/409.84	c #Conflicts:     154000 | #Constraints:      46780
408.68/409.84	c #Conflicts:     155000 | #Constraints:      47780
408.68/409.84	c #Conflicts:     156000 | #Constraints:      48780
408.68/409.84	c #Conflicts:     157000 | #Constraints:      49780
408.68/409.84	c #Conflicts:     158000 | #Constraints:      50780
408.68/409.84	c #Conflicts:     159000 | #Constraints:      51780
408.68/409.84	c INPROCESSING
408.68/409.84	c GARBAGE COLLECT
408.68/409.84	c rational objective -671
480.58/481.98	c #Conflicts:     160000 | #Constraints:      32202
480.58/481.98	c #Conflicts:     161000 | #Constraints:      33202
480.58/481.98	c #Conflicts:     162000 | #Constraints:      34202
480.58/481.98	c #Conflicts:     163000 | #Constraints:      35202
480.58/481.98	c #Conflicts:     164000 | #Constraints:      36202
480.58/481.98	c #Conflicts:     165000 | #Constraints:      37202
480.58/481.98	c #Conflicts:     166000 | #Constraints:      38202
480.58/481.98	c #Conflicts:     167000 | #Constraints:      39202
480.58/481.98	c #Conflicts:     168000 | #Constraints:      40202
480.58/481.98	c #Conflicts:     169000 | #Constraints:      41202
480.58/481.98	c #Conflicts:     170000 | #Constraints:      42202
480.58/481.98	c #Conflicts:     171000 | #Constraints:      43202
480.58/481.98	c #Conflicts:     172000 | #Constraints:      44202
480.58/481.98	c #Conflicts:     173000 | #Constraints:      45202
480.58/481.98	c #Conflicts:     174000 | #Constraints:      46202
480.58/481.98	c #Conflicts:     175000 | #Constraints:      47202
480.58/481.98	c #Conflicts:     176000 | #Constraints:      48202
480.58/481.98	c #Conflicts:     177000 | #Constraints:      49202
480.58/481.98	c #Conflicts:     178000 | #Constraints:      50202
480.58/481.98	c #Conflicts:     179000 | #Constraints:      51202
480.58/481.98	c #Conflicts:     180000 | #Constraints:      52202
480.58/481.98	c #Conflicts:     181000 | #Constraints:      53202
480.58/481.98	c #Conflicts:     182000 | #Constraints:      54202
480.58/481.98	c #Conflicts:     183000 | #Constraints:      55202
480.58/481.98	c #Conflicts:     184000 | #Constraints:      56202
480.58/481.98	c #Conflicts:     185000 | #Constraints:      57202
480.58/481.98	c INPROCESSING
480.58/481.98	c GARBAGE COLLECT
480.58/481.98	c rational objective -671
576.53/578.12	c #Conflicts:     186000 | #Constraints:      34625
576.53/578.12	c #Conflicts:     187000 | #Constraints:      35625
576.53/578.12	c #Conflicts:     188000 | #Constraints:      36625
576.53/578.12	c #Conflicts:     189000 | #Constraints:      37625
576.53/578.12	c #Conflicts:     190000 | #Constraints:      38625
576.53/578.12	c #Conflicts:     191000 | #Constraints:      39625
576.53/578.12	c #Conflicts:     192000 | #Constraints:      40625
576.53/578.12	c #Conflicts:     193000 | #Constraints:      41625
576.53/578.12	c #Conflicts:     194000 | #Constraints:      42625
576.53/578.12	c #Conflicts:     195000 | #Constraints:      43625
576.53/578.12	c #Conflicts:     196000 | #Constraints:      44625
576.53/578.12	c #Conflicts:     197000 | #Constraints:      45625
576.53/578.12	c #Conflicts:     198000 | #Constraints:      46625
576.53/578.12	c #Conflicts:     199000 | #Constraints:      47625
576.53/578.12	c #Conflicts:     200000 | #Constraints:      48625
576.53/578.12	c #Conflicts:     201000 | #Constraints:      49625
576.53/578.12	c #Conflicts:     202000 | #Constraints:      50625
576.53/578.12	c #Conflicts:     203000 | #Constraints:      51625
576.53/578.12	c #Conflicts:     204000 | #Constraints:      52625
576.53/578.12	c #Conflicts:     205000 | #Constraints:      53625
576.53/578.12	c #Conflicts:     206000 | #Constraints:      54625
576.53/578.12	c #Conflicts:     207000 | #Constraints:      55625
576.53/578.12	c #Conflicts:     208000 | #Constraints:      56625
576.53/578.12	c #Conflicts:     209000 | #Constraints:      57625
576.53/578.12	c #Conflicts:     210000 | #Constraints:      58625
576.53/578.12	c #Conflicts:     211000 | #Constraints:      59625
576.53/578.12	c #Conflicts:     212000 | #Constraints:      60625
576.53/578.12	c #Conflicts:     213000 | #Constraints:      61625
576.53/578.12	c #Conflicts:     214000 | #Constraints:      62625
576.53/578.12	c INPROCESSING
576.53/578.12	c GARBAGE COLLECT
576.53/578.12	c rational objective -671
857.44/859.86	c bounds -442 >= -671 @ 569.936
857.44/859.86	c bounds -443 >= -671 @ 569.959
857.44/859.86	c bounds -444 >= -671 @ 570.007
857.44/859.86	c bounds -445 >= -671 @ 570.041
857.44/859.86	c bounds -447 >= -671 @ 570.109
857.44/859.86	c #Conflicts:     215000 | #Constraints:      37545
857.44/859.86	c #Conflicts:     216000 | #Constraints:      38545
857.44/859.86	c #Conflicts:     217000 | #Constraints:      39545
857.44/859.86	c bounds -448 >= -671 @ 576.303
857.44/859.86	c #Conflicts:     218000 | #Constraints:      40546
857.44/859.86	c #Conflicts:     219000 | #Constraints:      41546
857.44/859.86	c #Conflicts:     220000 | #Constraints:      42546
857.44/859.86	c #Conflicts:     221000 | #Constraints:      43546
857.44/859.86	c #Conflicts:     222000 | #Constraints:      44546
857.44/859.86	c #Conflicts:     223000 | #Constraints:      45546
857.44/859.86	c #Conflicts:     224000 | #Constraints:      46546
857.44/859.86	c #Conflicts:     225000 | #Constraints:      47546
857.44/859.86	c #Conflicts:     226000 | #Constraints:      48546
857.44/859.86	c #Conflicts:     227000 | #Constraints:      49546
857.44/859.86	c #Conflicts:     228000 | #Constraints:      50546
857.44/859.86	c #Conflicts:     229000 | #Constraints:      51546
857.44/859.86	c #Conflicts:     230000 | #Constraints:      52546
857.44/859.86	c #Conflicts:     231000 | #Constraints:      53546
857.44/859.86	c #Conflicts:     232000 | #Constraints:      54546
857.44/859.86	c #Conflicts:     233000 | #Constraints:      55546
857.44/859.86	c #Conflicts:     234000 | #Constraints:      56546
857.44/859.86	c #Conflicts:     235000 | #Constraints:      57546
857.44/859.86	c bounds -449 >= -671 @ 751.882
857.44/859.86	c #Conflicts:     236000 | #Constraints:      58547
857.44/859.86	c #Conflicts:     237000 | #Constraints:      59547
857.44/859.86	c #Conflicts:     238000 | #Constraints:      60547
857.44/859.86	c #Conflicts:     239000 | #Constraints:      61547
857.44/859.86	c #Conflicts:     240000 | #Constraints:      62547
857.44/859.86	c #Conflicts:     241000 | #Constraints:      63547
857.44/859.86	c #Conflicts:     242000 | #Constraints:      64547
857.44/859.86	c #Conflicts:     243000 | #Constraints:      65547
857.44/859.86	c #Conflicts:     244000 | #Constraints:      66547
857.44/859.86	c INPROCESSING
857.44/859.86	c GARBAGE COLLECT
857.44/859.86	c rational objective -671
960.86/963.52	c #Conflicts:     245000 | #Constraints:      39153
960.86/963.52	c #Conflicts:     246000 | #Constraints:      40153
960.86/963.52	c #Conflicts:     247000 | #Constraints:      41153
960.86/963.52	c #Conflicts:     248000 | #Constraints:      42153
960.86/963.52	c #Conflicts:     249000 | #Constraints:      43153
960.86/963.52	c #Conflicts:     250000 | #Constraints:      44153
960.86/963.52	c #Conflicts:     251000 | #Constraints:      45153
960.86/963.52	c #Conflicts:     252000 | #Constraints:      46153
960.86/963.52	c #Conflicts:     253000 | #Constraints:      47153
960.86/963.52	c #Conflicts:     254000 | #Constraints:      48154
960.86/963.52	c #Conflicts:     255000 | #Constraints:      49154
960.86/963.52	c #Conflicts:     256000 | #Constraints:      50154
960.86/963.52	c #Conflicts:     257000 | #Constraints:      51154
960.86/963.52	c #Conflicts:     258000 | #Constraints:      52154
960.86/963.52	c #Conflicts:     259000 | #Constraints:      53154
960.86/963.52	c #Conflicts:     260000 | #Constraints:      54154
960.86/963.52	c #Conflicts:     261000 | #Constraints:      55154
960.86/963.52	c #Conflicts:     262000 | #Constraints:      56154
960.86/963.52	c #Conflicts:     263000 | #Constraints:      57155
960.86/963.52	c #Conflicts:     264000 | #Constraints:      58155
960.86/963.52	c #Conflicts:     265000 | #Constraints:      59155
960.86/963.52	c #Conflicts:     266000 | #Constraints:      60155
960.86/963.52	c #Conflicts:     267000 | #Constraints:      61155
960.86/963.52	c #Conflicts:     268000 | #Constraints:      62155
960.86/963.52	c #Conflicts:     269000 | #Constraints:      63155
960.86/963.52	c #Conflicts:     270000 | #Constraints:      64155
960.86/963.52	c #Conflicts:     271000 | #Constraints:      65155
960.86/963.52	c bounds -449 >= -670 @ 932.714
960.86/963.52	c #Conflicts:     272000 | #Constraints:      66224
960.86/963.52	c #Conflicts:     273000 | #Constraints:      67224
960.86/963.52	c #Conflicts:     274000 | #Constraints:      68224
960.86/963.52	c #Conflicts:     275000 | #Constraints:      69224
960.86/963.52	c #Conflicts:     276000 | #Constraints:      70224
960.86/963.52	c #Conflicts:     277000 | #Constraints:      71224
960.86/963.52	c INPROCESSING
960.86/963.52	c GARBAGE COLLECT
960.86/963.52	c rational objective -670
1066.19/1069.11	c #Conflicts:     278000 | #Constraints:      42214
1066.19/1069.11	c #Conflicts:     279000 | #Constraints:      43214
1066.19/1069.11	c #Conflicts:     280000 | #Constraints:      44214
1066.19/1069.11	c #Conflicts:     281000 | #Constraints:      45214
1066.19/1069.11	c #Conflicts:     282000 | #Constraints:      46214
1066.19/1069.11	c #Conflicts:     283000 | #Constraints:      47214
1066.19/1069.11	c #Conflicts:     284000 | #Constraints:      48214
1066.19/1069.11	c #Conflicts:     285000 | #Constraints:      49214
1066.19/1069.11	c #Conflicts:     286000 | #Constraints:      50214
1066.19/1069.11	c #Conflicts:     287000 | #Constraints:      51214
1066.19/1069.11	c #Conflicts:     288000 | #Constraints:      52214
1066.19/1069.11	c #Conflicts:     289000 | #Constraints:      53215
1066.19/1069.11	c #Conflicts:     290000 | #Constraints:      54215
1066.19/1069.11	c #Conflicts:     291000 | #Constraints:      55216
1066.19/1069.11	c #Conflicts:     292000 | #Constraints:      56216
1066.19/1069.11	c #Conflicts:     293000 | #Constraints:      57216
1066.19/1069.11	c #Conflicts:     294000 | #Constraints:      58216
1066.19/1069.11	c #Conflicts:     295000 | #Constraints:      59216
1066.19/1069.11	c #Conflicts:     296000 | #Constraints:      60216
1066.19/1069.11	c #Conflicts:     297000 | #Constraints:      61216
1066.19/1069.11	c #Conflicts:     298000 | #Constraints:      62216
1066.19/1069.11	c #Conflicts:     299000 | #Constraints:      63216
1066.19/1069.11	c #Conflicts:     300000 | #Constraints:      64216
1066.19/1069.11	c #Conflicts:     301000 | #Constraints:      65216
1066.19/1069.11	c #Conflicts:     302000 | #Constraints:      66216
1066.19/1069.11	c #Conflicts:     303000 | #Constraints:      67216
1066.19/1069.11	c #Conflicts:     304000 | #Constraints:      68216
1066.19/1069.11	c #Conflicts:     305000 | #Constraints:      69216
1066.19/1069.11	c #Conflicts:     306000 | #Constraints:      70216
1066.19/1069.11	c #Conflicts:     307000 | #Constraints:      71216
1066.19/1069.11	c #Conflicts:     308000 | #Constraints:      72216
1066.19/1069.11	c #Conflicts:     309000 | #Constraints:      73216
1066.19/1069.11	c #Conflicts:     310000 | #Constraints:      74216
1066.19/1069.11	c #Conflicts:     311000 | #Constraints:      75216
1066.19/1069.11	c #Conflicts:     312000 | #Constraints:      76216
1066.19/1069.11	c INPROCESSING
1066.19/1069.11	c GARBAGE COLLECT
1066.19/1069.11	c rational objective -670
1207.48/1210.84	c #Conflicts:     313000 | #Constraints:      47842
1207.48/1210.84	c #Conflicts:     314000 | #Constraints:      48842
1207.48/1210.84	c #Conflicts:     315000 | #Constraints:      49842
1207.48/1210.84	c #Conflicts:     316000 | #Constraints:      50842
1207.48/1210.84	c #Conflicts:     317000 | #Constraints:      51842
1207.48/1210.84	c #Conflicts:     318000 | #Constraints:      52842
1207.48/1210.84	c #Conflicts:     319000 | #Constraints:      53842
1207.48/1210.84	c #Conflicts:     320000 | #Constraints:      54842
1207.48/1210.84	c #Conflicts:     321000 | #Constraints:      55842
1207.48/1210.84	c #Conflicts:     322000 | #Constraints:      56842
1207.48/1210.84	c #Conflicts:     323000 | #Constraints:      57842
1207.48/1210.84	c #Conflicts:     324000 | #Constraints:      58842
1207.48/1210.84	c #Conflicts:     325000 | #Constraints:      59842
1207.48/1210.84	c #Conflicts:     326000 | #Constraints:      60842
1207.48/1210.84	c #Conflicts:     327000 | #Constraints:      61842
1207.48/1210.84	c #Conflicts:     328000 | #Constraints:      62842
1207.48/1210.84	c #Conflicts:     329000 | #Constraints:      63842
1207.48/1210.84	c #Conflicts:     330000 | #Constraints:      64842
1207.48/1210.84	c #Conflicts:     331000 | #Constraints:      65842
1207.48/1210.84	c #Conflicts:     332000 | #Constraints:      66842
1207.48/1210.84	c bounds -449 >= -669 @ 1114.25
1207.48/1210.84	c #Conflicts:     333000 | #Constraints:      67887
1207.48/1210.84	c #Conflicts:     334000 | #Constraints:      68887
1207.48/1210.84	c #Conflicts:     335000 | #Constraints:      69887
1207.48/1210.84	c #Conflicts:     336000 | #Constraints:      70887
1207.48/1210.84	c #Conflicts:     337000 | #Constraints:      71887
1207.48/1210.84	c #Conflicts:     338000 | #Constraints:      72887
1207.48/1210.84	c #Conflicts:     339000 | #Constraints:      73887
1207.48/1210.84	c #Conflicts:     340000 | #Constraints:      74887
1207.48/1210.84	c #Conflicts:     341000 | #Constraints:      75887
1207.48/1210.84	c #Conflicts:     342000 | #Constraints:      76887
1207.48/1210.84	c #Conflicts:     343000 | #Constraints:      77887
1207.48/1210.84	c #Conflicts:     344000 | #Constraints:      78887
1207.48/1210.84	c #Conflicts:     345000 | #Constraints:      79887
1207.48/1210.84	c #Conflicts:     346000 | #Constraints:      80887
1207.48/1210.84	c #Conflicts:     347000 | #Constraints:      81887
1207.48/1210.84	c #Conflicts:     348000 | #Constraints:      82887
1207.48/1210.84	c INPROCESSING
1207.48/1210.84	c GARBAGE COLLECT
1207.48/1210.84	c rational objective -669
1375.79/1379.65	c #Conflicts:     349000 | #Constraints:      52346
1375.79/1379.65	c #Conflicts:     350000 | #Constraints:      53346
1375.79/1379.65	c #Conflicts:     351000 | #Constraints:      54346
1375.79/1379.65	c #Conflicts:     352000 | #Constraints:      55346
1375.79/1379.65	c #Conflicts:     353000 | #Constraints:      56346
1375.79/1379.65	c #Conflicts:     354000 | #Constraints:      57346
1375.79/1379.65	c #Conflicts:     355000 | #Constraints:      58346
1375.79/1379.65	c #Conflicts:     356000 | #Constraints:      59346
1375.79/1379.65	c #Conflicts:     357000 | #Constraints:      60346
1375.79/1379.65	c #Conflicts:     358000 | #Constraints:      61346
1375.79/1379.65	c #Conflicts:     359000 | #Constraints:      62346
1375.79/1379.65	c #Conflicts:     360000 | #Constraints:      63346
1375.79/1379.65	c #Conflicts:     361000 | #Constraints:      64346
1375.79/1379.65	c #Conflicts:     362000 | #Constraints:      65346
1375.79/1379.65	c #Conflicts:     363000 | #Constraints:      66346
1375.79/1379.65	c #Conflicts:     364000 | #Constraints:      67346
1375.79/1379.65	c #Conflicts:     365000 | #Constraints:      68346
1375.79/1379.65	c #Conflicts:     366000 | #Constraints:      69346
1375.79/1379.65	c #Conflicts:     367000 | #Constraints:      70346
1375.79/1379.65	c #Conflicts:     368000 | #Constraints:      71346
1375.79/1379.65	c #Conflicts:     369000 | #Constraints:      72346
1375.79/1379.65	c #Conflicts:     370000 | #Constraints:      73346
1375.79/1379.65	c #Conflicts:     371000 | #Constraints:      74346
1375.79/1379.65	c #Conflicts:     372000 | #Constraints:      75346
1375.79/1379.65	c #Conflicts:     373000 | #Constraints:      76346
1375.79/1379.65	c #Conflicts:     374000 | #Constraints:      77346
1375.79/1379.65	c #Conflicts:     375000 | #Constraints:      78346
1375.79/1379.65	c #Conflicts:     376000 | #Constraints:      79346
1375.79/1379.65	c #Conflicts:     377000 | #Constraints:      80346
1375.79/1379.65	c #Conflicts:     378000 | #Constraints:      81346
1375.79/1379.65	c #Conflicts:     379000 | #Constraints:      82346
1375.79/1379.65	c #Conflicts:     380000 | #Constraints:      83346
1375.79/1379.65	c #Conflicts:     381000 | #Constraints:      84346
1375.79/1379.65	c #Conflicts:     382000 | #Constraints:      85346
1375.79/1379.65	c #Conflicts:     383000 | #Constraints:      86346
1375.79/1379.65	c #Conflicts:     384000 | #Constraints:      87346
1375.79/1379.65	c #Conflicts:     385000 | #Constraints:      88346
1375.79/1379.65	c #Conflicts:     386000 | #Constraints:      89346
1375.79/1379.65	c #Conflicts:     387000 | #Constraints:      90346
1375.79/1379.65	c INPROCESSING
1375.79/1379.65	c GARBAGE COLLECT
1375.79/1379.65	c rational objective -669
1574.73/1579.19	c bounds -450 >= -669 @ 1363.95
1574.73/1579.19	c bounds -451 >= -669 @ 1364.11
1574.73/1579.19	c bounds -452 >= -669 @ 1364.29
1574.73/1579.19	c bounds -453 >= -669 @ 1364.47
1574.73/1579.19	c #Conflicts:     388000 | #Constraints:      57908
1574.73/1579.19	c bounds -454 >= -669 @ 1365.7
1574.73/1579.19	c #Conflicts:     389000 | #Constraints:      58909
1574.73/1579.19	c #Conflicts:     390000 | #Constraints:      59909
1574.73/1579.19	c bounds -455 >= -669 @ 1374.4
1574.73/1579.19	c #Conflicts:     391000 | #Constraints:      60910
1574.73/1579.19	c #Conflicts:     392000 | #Constraints:      61910
1574.73/1579.19	c #Conflicts:     393000 | #Constraints:      62910
1574.73/1579.19	c #Conflicts:     394000 | #Constraints:      63910
1574.73/1579.19	c #Conflicts:     395000 | #Constraints:      64910
1574.73/1579.19	c #Conflicts:     396000 | #Constraints:      65910
1574.73/1579.19	c #Conflicts:     397000 | #Constraints:      66910
1574.73/1579.19	c #Conflicts:     398000 | #Constraints:      67910
1574.73/1579.19	c bounds -456 >= -669 @ 1443.51
1574.73/1579.19	c #Conflicts:     399000 | #Constraints:      68911
1574.73/1579.19	c #Conflicts:     400000 | #Constraints:      69911
1574.73/1579.19	c #Conflicts:     401000 | #Constraints:      70911
1574.73/1579.19	c bounds -456 >= -668 @ 1450.92
1574.73/1579.19	c #Conflicts:     402000 | #Constraints:      71947
1574.73/1579.19	c #Conflicts:     403000 | #Constraints:      72947
1574.73/1579.19	c #Conflicts:     404000 | #Constraints:      73947
1574.73/1579.19	c #Conflicts:     405000 | #Constraints:      74947
1574.73/1579.19	c #Conflicts:     406000 | #Constraints:      75947
1574.73/1579.19	c #Conflicts:     407000 | #Constraints:      76947
1574.73/1579.19	c #Conflicts:     408000 | #Constraints:      77947
1574.73/1579.19	c #Conflicts:     409000 | #Constraints:      78947
1574.73/1579.19	c #Conflicts:     410000 | #Constraints:      79947
1574.73/1579.19	c #Conflicts:     411000 | #Constraints:      80947
1574.73/1579.19	c bounds -456 >= -667 @ 1479.89
1574.73/1579.19	c #Conflicts:     412000 | #Constraints:      81986
1574.73/1579.19	c #Conflicts:     413000 | #Constraints:      82986
1574.73/1579.19	c #Conflicts:     414000 | #Constraints:      83986
1574.73/1579.19	c #Conflicts:     415000 | #Constraints:      84986
1574.73/1579.19	c #Conflicts:     416000 | #Constraints:      85986
1574.73/1579.19	c #Conflicts:     417000 | #Constraints:      86986
1574.73/1579.19	c #Conflicts:     418000 | #Constraints:      87986
1574.73/1579.19	c #Conflicts:     419000 | #Constraints:      88986
1574.73/1579.19	c #Conflicts:     420000 | #Constraints:      89986
1574.73/1579.19	c #Conflicts:     421000 | #Constraints:      90986
1574.73/1579.19	c #Conflicts:     422000 | #Constraints:      91986
1574.73/1579.19	c #Conflicts:     423000 | #Constraints:      92986
1574.73/1579.19	c #Conflicts:     424000 | #Constraints:      93986
1574.73/1579.19	c #Conflicts:     425000 | #Constraints:      94986
1574.73/1579.19	c #Conflicts:     426000 | #Constraints:      95986
1574.73/1579.19	c #Conflicts:     427000 | #Constraints:      96986
1574.73/1579.19	c INPROCESSING
1574.73/1579.19	c GARBAGE COLLECT
1574.73/1579.19	c rational objective -667
1866.96/1872.13	c #Conflicts:     428000 | #Constraints:      61133
1866.96/1872.13	c #Conflicts:     429000 | #Constraints:      62133
1866.96/1872.13	c #Conflicts:     430000 | #Constraints:      63133
1866.96/1872.13	c #Conflicts:     431000 | #Constraints:      64133
1866.96/1872.13	c #Conflicts:     432000 | #Constraints:      65133
1866.96/1872.13	c #Conflicts:     433000 | #Constraints:      66133
1866.96/1872.13	c #Conflicts:     434000 | #Constraints:      67133
1866.96/1872.13	c #Conflicts:     435000 | #Constraints:      68133
1866.96/1872.13	c bounds -457 >= -667 @ 1573.89
1866.96/1872.13	c #Conflicts:     436000 | #Constraints:      69134
1866.96/1872.13	c #Conflicts:     437000 | #Constraints:      70134
1866.96/1872.13	c #Conflicts:     438000 | #Constraints:      71134
1866.96/1872.13	c #Conflicts:     439000 | #Constraints:      72134
1866.96/1872.13	c #Conflicts:     440000 | #Constraints:      73134
1866.96/1872.13	c #Conflicts:     441000 | #Constraints:      74134
1866.96/1872.13	c #Conflicts:     442000 | #Constraints:      75134
1866.96/1872.13	c #Conflicts:     443000 | #Constraints:      76134
1866.96/1872.13	c #Conflicts:     444000 | #Constraints:      77134
1866.96/1872.13	c #Conflicts:     445000 | #Constraints:      78134
1866.96/1872.13	c #Conflicts:     446000 | #Constraints:      79134
1866.96/1872.13	c #Conflicts:     447000 | #Constraints:      80134
1866.96/1872.13	c #Conflicts:     448000 | #Constraints:      81134
1866.96/1872.13	c #Conflicts:     449000 | #Constraints:      82134
1866.96/1872.13	c #Conflicts:     450000 | #Constraints:      83134
1866.96/1872.13	c #Conflicts:     451000 | #Constraints:      84134
1866.96/1872.13	c #Conflicts:     452000 | #Constraints:      85134
1866.96/1872.13	c #Conflicts:     453000 | #Constraints:      86134
1866.96/1872.13	c #Conflicts:     454000 | #Constraints:      87134
1866.96/1872.13	c #Conflicts:     455000 | #Constraints:      88134
1866.96/1872.13	c #Conflicts:     456000 | #Constraints:      89134
1866.96/1872.13	c #Conflicts:     457000 | #Constraints:      90134
1866.96/1872.13	c #Conflicts:     458000 | #Constraints:      91134
1866.96/1872.13	c #Conflicts:     459000 | #Constraints:      92134
1866.96/1872.13	c #Conflicts:     460000 | #Constraints:      93134
1866.96/1872.13	c #Conflicts:     461000 | #Constraints:      94134
1866.96/1872.13	c #Conflicts:     462000 | #Constraints:      95134
1866.96/1872.13	c #Conflicts:     463000 | #Constraints:      96134
1866.96/1872.13	c #Conflicts:     464000 | #Constraints:      97134
1866.96/1872.13	c #Conflicts:     465000 | #Constraints:      98134
1866.96/1872.13	c #Conflicts:     466000 | #Constraints:      99134
1866.96/1872.13	c #Conflicts:     467000 | #Constraints:     100134
1866.96/1872.13	c #Conflicts:     468000 | #Constraints:     101134
1866.96/1872.13	c #Conflicts:     469000 | #Constraints:     102134
1866.96/1872.13	c #Conflicts:     470000 | #Constraints:     103134
1866.96/1872.13	c INPROCESSING
1866.96/1872.13	c GARBAGE COLLECT
1866.96/1872.13	c rational objective -667
2349.55/2356.03	c bounds -458 >= -667 @ 1853
2349.55/2356.03	c #Conflicts:     471000 | #Constraints:      65928
2349.55/2356.03	c #Conflicts:     472000 | #Constraints:      66928
2349.55/2356.03	c #Conflicts:     473000 | #Constraints:      67928
2349.55/2356.03	c #Conflicts:     474000 | #Constraints:      68928
2349.55/2356.03	c #Conflicts:     475000 | #Constraints:      69928
2349.55/2356.03	c #Conflicts:     476000 | #Constraints:      70928
2349.55/2356.03	c #Conflicts:     477000 | #Constraints:      71928
2349.55/2356.03	c #Conflicts:     478000 | #Constraints:      72928
2349.55/2356.03	c #Conflicts:     479000 | #Constraints:      73928
2349.55/2356.03	c #Conflicts:     480000 | #Constraints:      74928
2349.55/2356.03	c #Conflicts:     481000 | #Constraints:      75928
2349.55/2356.03	c #Conflicts:     482000 | #Constraints:      76928
2349.55/2356.03	c #Conflicts:     483000 | #Constraints:      77928
2349.55/2356.03	c #Conflicts:     484000 | #Constraints:      78928
2349.55/2356.03	c #Conflicts:     485000 | #Constraints:      79928
2349.55/2356.03	c #Conflicts:     486000 | #Constraints:      80928
2349.55/2356.03	c #Conflicts:     487000 | #Constraints:      81928
2349.55/2356.03	c #Conflicts:     488000 | #Constraints:      82928
2349.55/2356.03	c #Conflicts:     489000 | #Constraints:      83928
2349.55/2356.03	c #Conflicts:     490000 | #Constraints:      84928
2349.55/2356.03	c #Conflicts:     491000 | #Constraints:      85928
2349.55/2356.03	c #Conflicts:     492000 | #Constraints:      86928
2349.55/2356.03	c #Conflicts:     493000 | #Constraints:      87928
2349.55/2356.03	c #Conflicts:     494000 | #Constraints:      88928
2349.55/2356.03	c #Conflicts:     495000 | #Constraints:      89928
2349.55/2356.03	c #Conflicts:     496000 | #Constraints:      90928
2349.55/2356.03	c #Conflicts:     497000 | #Constraints:      91928
2349.55/2356.03	c #Conflicts:     498000 | #Constraints:      92928
2349.55/2356.03	c #Conflicts:     499000 | #Constraints:      93928
2349.55/2356.03	c #Conflicts:     500000 | #Constraints:      94928
2349.55/2356.03	c #Conflicts:     501000 | #Constraints:      95928
2349.55/2356.03	c #Conflicts:     502000 | #Constraints:      96928
2349.55/2356.03	c #Conflicts:     503000 | #Constraints:      97928
2349.55/2356.03	c #Conflicts:     504000 | #Constraints:      98928
2349.55/2356.03	c #Conflicts:     505000 | #Constraints:      99928
2349.55/2356.03	c bounds -459 >= -667 @ 2078.13
2349.55/2356.03	c #Conflicts:     506000 | #Constraints:     100929
2349.55/2356.03	c #Conflicts:     507000 | #Constraints:     101929
2349.55/2356.03	c #Conflicts:     508000 | #Constraints:     102929
2349.55/2356.03	c #Conflicts:     509000 | #Constraints:     103929
2349.55/2356.03	c #Conflicts:     510000 | #Constraints:     104929
2349.55/2356.03	c #Conflicts:     511000 | #Constraints:     105929
2349.55/2356.03	c #Conflicts:     512000 | #Constraints:     106929
2349.55/2356.03	c #Conflicts:     513000 | #Constraints:     107929
2349.55/2356.03	c #Conflicts:     514000 | #Constraints:     108929
2349.55/2356.03	c #Conflicts:     515000 | #Constraints:     109929
2349.55/2356.03	c INPROCESSING
2349.55/2356.03	c GARBAGE COLLECT
2349.55/2356.03	c rational objective -667
2636.12/2643.32	c #Conflicts:     516000 | #Constraints:      67872
2636.12/2643.32	c #Conflicts:     517000 | #Constraints:      68872
2636.12/2643.32	c #Conflicts:     518000 | #Constraints:      69872
2636.12/2643.32	c #Conflicts:     519000 | #Constraints:      70872
2636.12/2643.32	c #Conflicts:     520000 | #Constraints:      71872
2636.12/2643.32	c #Conflicts:     521000 | #Constraints:      72872
2636.12/2643.32	c #Conflicts:     522000 | #Constraints:      73872
2636.12/2643.32	c #Conflicts:     523000 | #Constraints:      74872
2636.12/2643.32	c #Conflicts:     524000 | #Constraints:      75872
2636.12/2643.32	c #Conflicts:     525000 | #Constraints:      76872
2636.12/2643.32	c #Conflicts:     526000 | #Constraints:      77872
2636.12/2643.32	c #Conflicts:     527000 | #Constraints:      78872
2636.12/2643.32	c #Conflicts:     528000 | #Constraints:      79872
2636.12/2643.32	c #Conflicts:     529000 | #Constraints:      80872
2636.12/2643.32	c #Conflicts:     530000 | #Constraints:      81872
2636.12/2643.32	c #Conflicts:     531000 | #Constraints:      82872
2636.12/2643.32	c #Conflicts:     532000 | #Constraints:      83872
2636.12/2643.32	c #Conflicts:     533000 | #Constraints:      84872
2636.12/2643.32	c #Conflicts:     534000 | #Constraints:      85872
2636.12/2643.32	c #Conflicts:     535000 | #Constraints:      86872
2636.12/2643.32	c #Conflicts:     536000 | #Constraints:      87872
2636.12/2643.32	c #Conflicts:     537000 | #Constraints:      88872
2636.12/2643.32	c #Conflicts:     538000 | #Constraints:      89872
2636.12/2643.32	c #Conflicts:     539000 | #Constraints:      90872
2636.12/2643.32	c #Conflicts:     540000 | #Constraints:      91872
2636.12/2643.32	c #Conflicts:     541000 | #Constraints:      92872
2636.12/2643.32	c #Conflicts:     542000 | #Constraints:      93872
2636.12/2643.32	c #Conflicts:     543000 | #Constraints:      94872
2636.12/2643.32	c #Conflicts:     544000 | #Constraints:      95872
2636.12/2643.32	c #Conflicts:     545000 | #Constraints:      96872
2636.12/2643.32	c #Conflicts:     546000 | #Constraints:      97872
2636.12/2643.32	c #Conflicts:     547000 | #Constraints:      98872
2636.12/2643.32	c #Conflicts:     548000 | #Constraints:      99872
2636.12/2643.32	c #Conflicts:     549000 | #Constraints:     100872
2636.12/2643.32	c #Conflicts:     550000 | #Constraints:     101872
2636.12/2643.32	c #Conflicts:     551000 | #Constraints:     102872
2636.12/2643.32	c #Conflicts:     552000 | #Constraints:     103872
2636.12/2643.32	c #Conflicts:     553000 | #Constraints:     104872
2636.12/2643.32	c #Conflicts:     554000 | #Constraints:     105872
2636.12/2643.32	c #Conflicts:     555000 | #Constraints:     106872
2636.12/2643.32	c #Conflicts:     556000 | #Constraints:     107872
2636.12/2643.32	c #Conflicts:     557000 | #Constraints:     108872
2636.12/2643.32	c #Conflicts:     558000 | #Constraints:     109872
2636.12/2643.32	c #Conflicts:     559000 | #Constraints:     110872
2636.12/2643.32	c #Conflicts:     560000 | #Constraints:     111872
2636.12/2643.32	c #Conflicts:     561000 | #Constraints:     112872
2636.12/2643.32	c INPROCESSING
2636.12/2643.32	c GARBAGE COLLECT
2636.12/2643.32	c rational objective -667
3252.19/3261.03	c bounds -460 >= -667 @ 2619.59
3252.19/3261.03	c #Conflicts:     562000 | #Constraints:      71925
3252.19/3261.03	c #Conflicts:     563000 | #Constraints:      72925
3252.19/3261.03	c #Conflicts:     564000 | #Constraints:      73925
3252.19/3261.03	c bounds -461 >= -667 @ 2630.16
3252.19/3261.03	c #Conflicts:     565000 | #Constraints:      74926
3252.19/3261.03	c #Conflicts:     566000 | #Constraints:      75926
3252.19/3261.03	c #Conflicts:     567000 | #Constraints:      76926
3252.19/3261.03	c #Conflicts:     568000 | #Constraints:      77926
3252.19/3261.03	c #Conflicts:     569000 | #Constraints:      78926
3252.19/3261.03	c #Conflicts:     570000 | #Constraints:      79926
3252.19/3261.03	c #Conflicts:     571000 | #Constraints:      80926
3252.19/3261.03	c #Conflicts:     572000 | #Constraints:      81926
3252.19/3261.03	c #Conflicts:     573000 | #Constraints:      82926
3252.19/3261.03	c #Conflicts:     574000 | #Constraints:      83926
3252.19/3261.03	c #Conflicts:     575000 | #Constraints:      84926
3252.19/3261.03	c #Conflicts:     576000 | #Constraints:      85926
3252.19/3261.03	c #Conflicts:     577000 | #Constraints:      86926
3252.19/3261.03	c #Conflicts:     578000 | #Constraints:      87926
3252.19/3261.03	c #Conflicts:     579000 | #Constraints:      88926
3252.19/3261.03	c #Conflicts:     580000 | #Constraints:      89926
3252.19/3261.03	c #Conflicts:     581000 | #Constraints:      90926
3252.19/3261.03	c #Conflicts:     582000 | #Constraints:      91926
3252.19/3261.03	c #Conflicts:     583000 | #Constraints:      92926
3252.19/3261.03	c #Conflicts:     584000 | #Constraints:      93926
3252.19/3261.03	c #Conflicts:     585000 | #Constraints:      94926
3252.19/3261.03	c #Conflicts:     586000 | #Constraints:      95926
3252.19/3261.03	c bounds -462 >= -667 @ 2773.53
3252.19/3261.03	c #Conflicts:     587000 | #Constraints:      96927
3252.19/3261.03	c #Conflicts:     588000 | #Constraints:      97927
3252.19/3261.03	c #Conflicts:     589000 | #Constraints:      98927
3252.19/3261.03	c #Conflicts:     590000 | #Constraints:      99927
3252.19/3261.03	c #Conflicts:     591000 | #Constraints:     100927
3252.19/3261.03	c #Conflicts:     592000 | #Constraints:     101927
3252.19/3261.03	c #Conflicts:     593000 | #Constraints:     102927
3252.19/3261.03	c #Conflicts:     594000 | #Constraints:     103927
3252.19/3261.03	c #Conflicts:     595000 | #Constraints:     104927
3252.19/3261.03	c #Conflicts:     596000 | #Constraints:     105927
3252.19/3261.03	c #Conflicts:     597000 | #Constraints:     106927
3252.19/3261.03	c #Conflicts:     598000 | #Constraints:     107927
3252.19/3261.03	c #Conflicts:     599000 | #Constraints:     108927
3252.19/3261.03	c #Conflicts:     600000 | #Constraints:     109927
3252.19/3261.03	c #Conflicts:     601000 | #Constraints:     110927
3252.19/3261.03	c #Conflicts:     602000 | #Constraints:     111927
3252.19/3261.03	c #Conflicts:     603000 | #Constraints:     112927
3252.19/3261.03	c #Conflicts:     604000 | #Constraints:     113927
3252.19/3261.03	c #Conflicts:     605000 | #Constraints:     114927
3252.19/3261.03	c #Conflicts:     606000 | #Constraints:     115927
3252.19/3261.03	c #Conflicts:     607000 | #Constraints:     116927
3252.19/3261.03	c #Conflicts:     608000 | #Constraints:     117927
3252.19/3261.03	c #Conflicts:     609000 | #Constraints:     118927
3252.19/3261.03	c #Conflicts:     610000 | #Constraints:     119927
3252.19/3261.03	c INPROCESSING
3252.19/3261.03	c GARBAGE COLLECT
3252.19/3261.03	c rational objective -667
3600.07/3609.71	c #Conflicts:     611000 | #Constraints:      74931
3600.07/3609.71	c #Conflicts:     612000 | #Constraints:      75931
3600.07/3609.71	c #Conflicts:     613000 | #Constraints:      76931
3600.07/3609.71	c #Conflicts:     614000 | #Constraints:      77931
3600.07/3609.71	c #Conflicts:     615000 | #Constraints:      78931
3600.07/3609.71	c #Conflicts:     616000 | #Constraints:      79931
3600.07/3609.71	c #Conflicts:     617000 | #Constraints:      80931
3600.07/3609.71	c #Conflicts:     618000 | #Constraints:      81931
3600.07/3609.71	c #Conflicts:     619000 | #Constraints:      82931
3600.07/3609.71	c #Conflicts:     620000 | #Constraints:      83931
3600.07/3609.71	c #Conflicts:     621000 | #Constraints:      84931
3600.07/3609.71	c #Conflicts:     622000 | #Constraints:      85931
3600.07/3609.71	c #Conflicts:     623000 | #Constraints:      86931
3600.07/3609.71	c #Conflicts:     624000 | #Constraints:      87931
3600.07/3609.71	c #Conflicts:     625000 | #Constraints:      88931
3600.07/3609.71	c #Conflicts:     626000 | #Constraints:      89931
3600.07/3609.71	c #Conflicts:     627000 | #Constraints:      90931
3600.07/3609.71	c #Conflicts:     628000 | #Constraints:      91931
3600.07/3609.71	c #Conflicts:     629000 | #Constraints:      92931
3600.07/3609.71	c #Conflicts:     630000 | #Constraints:      93931
3600.07/3609.71	c #Conflicts:     631000 | #Constraints:      94931
3600.07/3609.71	c #Conflicts:     632000 | #Constraints:      95931
3600.07/3609.71	c #Conflicts:     633000 | #Constraints:      96931
3600.07/3609.71	c #Conflicts:     634000 | #Constraints:      97931
3600.07/3609.71	c #Conflicts:     635000 | #Constraints:      98931
3600.07/3609.71	c #Conflicts:     636000 | #Constraints:      99931
3600.07/3609.71	c #Conflicts:     637000 | #Constraints:     100931
3600.07/3609.71	c #Conflicts:     638000 | #Constraints:     101931
3600.07/3609.71	c bounds -463 >= -667 @ 3423.3
3600.07/3609.71	c #Conflicts:     639000 | #Constraints:     102932
3600.07/3609.71	c #Conflicts:     640000 | #Constraints:     103932
3600.07/3609.71	c #Conflicts:     641000 | #Constraints:     104932
3600.07/3609.71	c #Conflicts:     642000 | #Constraints:     105932
3600.07/3609.71	c #Conflicts:     643000 | #Constraints:     106932
3600.07/3609.71	c #Conflicts:     644000 | #Constraints:     107932
3600.07/3609.71	c #Conflicts:     645000 | #Constraints:     108932
3600.07/3609.71	c #Conflicts:     646000 | #Constraints:     109932
3600.07/3609.71	c Program interrupted by user.
3600.07/3609.71	c cpu time 3581.05 s
3600.07/3609.71	c deterministic time 450950013369 4.51e+11
3600.07/3609.71	c optimization time 158.159 s
3600.07/3609.71	c total solve time 3422.89 s
3600.07/3609.71	c core-guided solve time 2383.03 s
3600.07/3609.71	c propagation time 2988.81 s
3600.07/3609.71	c conflict analysis time 522.612 s
3600.07/3609.71	c propagations 176075515
3600.07/3609.71	c resolve steps 9127866
3600.07/3609.71	c decisions 10060407
3600.07/3609.71	c conflicts 646303
3600.07/3609.71	c restarts 1395
3600.07/3609.71	c inprocessing phases 27
3600.07/3609.71	c input clauses 4335
3600.07/3609.71	c input cardinalities 1017
3600.07/3609.71	c input general constraints 6176
3600.07/3609.71	c input average constraint length 377.74
3600.07/3609.71	c input average constraint degree 107.60
3600.07/3609.71	c learned clauses 159330
3600.07/3609.71	c learned cardinalities 678
3600.07/3609.71	c learned general constraints 487451
3600.07/3609.71	c learned average constraint length 717.79
3600.07/3609.71	c learned average constraint degree 21557773.47
3600.07/3609.71	c watched constraints 358258
3600.07/3609.71	c counting constraints 135369
3600.07/3609.71	c gcd simplifications 24443
3600.07/3609.71	c detected cardinalities 171
3600.07/3609.71	c weakened non-implied lits 115275263
3600.07/3609.71	c weakened non-implying lits 35083
3600.07/3609.71	c original variables 3625
3600.07/3609.71	c clausal propagations 23305457
3600.07/3609.71	c cardinality propagations 11444814
3600.07/3609.71	c watched propagations 19358919
3600.07/3609.71	c counting propagations 120115545
3600.07/3609.71	c watch lookups 58898964412
3600.07/3609.71	c watch backjump lookups 54621037716
3600.07/3609.71	c watch checks 290643524081
3600.07/3609.71	c propagation checks 44887070229
3600.07/3609.71	c constraint additions 1525835967
3600.07/3609.71	c trail pops 186780914
3600.07/3609.71	c formula constraints 4800
3600.07/3609.71	c learned constraints 646745
3600.07/3609.71	c bound constraints 1376
3600.07/3609.71	c core-guided constraints 5352
3600.07/3609.71	c encountered formula constraints 2981150
3600.07/3609.71	c encountered learned constraints 5479042
3600.07/3609.71	c encountered bound constraints 594
3600.07/3609.71	c encountered core-guided constraints 1280652
3600.07/3609.71	c LP total time 220.056 s
3600.07/3609.71	c LP solve time 207.27 s
3600.07/3609.71	c LP constraints added 5783
3600.07/3609.71	c LP constraints removed 957
3600.07/3609.71	c LP pivots internal 646515
3600.07/3609.71	c LP pivots root 17612
3600.07/3609.71	c LP calls 94827
3600.07/3609.71	c LP optimalities 94783
3600.07/3609.71	c LP no pivot count 55084
3600.07/3609.71	c LP infeasibilities 5
3600.07/3609.71	c LP valid Farkas constraints 4
3600.07/3609.71	c LP learned Farkas constraints 0
3600.07/3609.71	c LP basis resets 36
3600.07/3609.71	c LP cycling count 35
3600.07/3609.71	c LP singular count 0
3600.07/3609.71	c LP no primal count 0
3600.07/3609.71	c LP no farkas count 1
3600.07/3609.71	c LP other issue count 0
3600.07/3609.71	c LP Gomory cuts 710
3600.07/3609.71	c LP learned cuts 273
3600.07/3609.71	c LP deleted cuts 957
3600.07/3609.71	c LP encountered Gomory constraints 32731
3600.07/3609.71	c LP encountered Farkas constraints 0
3600.07/3609.71	c LP encountered learned Farkas constraints 0
3600.07/3609.71	c CG auxiliary variables introduced 2123
3600.07/3609.71	c CG solutions found 359
3600.07/3609.71	c CG cores constructed 1017
3600.07/3609.71	c CG core cardinality constraints returned 0
3600.07/3609.71	c CG unit cores 0
3600.07/3609.71	c CG single cores 1017
3600.07/3609.71	c CG blocks removed during cardinality reduction 0
3600.07/3609.71	c CG first core best 0
3600.07/3609.71	c CG decision core best 0
3600.07/3609.71	c CG core reduction tie 0
3600.07/3609.71	c CG core degree average 1.00
3600.07/3609.71	c CG core slack average 3.62
3600.07/3609.71	s SATISFIABLE
3600.07/3609.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 x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 x3076 -x3077 x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 x3159 x3160 x3161 x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 x3189 x3190 x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 x3198 x3199 x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 x3240 -x3241 x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 x3252 -x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 x3273 x3274 -x3275 -x3276 x3277 x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 x3291 x3292 -x3293 -x3294 -x3295 -x3296 x3297 -x3298 -x3299 -x3300 -x3301 x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 x3328 -x3329 -x3330 x3331 -x3332 -x3333 x3334 -x3335 x3336 -x3337 x3338 x3339 x3340 x3341 x3342 x3343 x3344 x3345 x3346 x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 x3365 -x3366 -x3367 x3368 x3369 x3370 x3371 -x3372 -x3373 -x3374 x3375 -x3376 -x3377 x3378 x3379 -x3380 x3381 -x3382 -x3383 -x3384 -x3385 x3386 x3387 x3388 -x3389 -x3390 x3391 -x3392 -x3393 -x3394 x3395 -x3396 x3397 -x3398 x3399 x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 x3407 x3408 -x3409 x3410 -x3411 -x3412 -x3413 -x3414 x3415 x3416 x3417 x3418 x3419 x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 x3427 -x3428 x3429 -x3430 x3431 x3432 x3433 x3434 -x3435 x3436 -x3437 x3438 -x3439 -x3440 x3441 -x3442 -x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 -x3452 x3453 x3454 x3455 x3456 x3457 -x3458 -x3459 -x3460 x3461 x3462 -x3463 -x3464 x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 x3479 -x3480 -x3481 -x3482 -x3483 -x3484 x3485 -x3486 -x3487 x3488 -x3489 x3490 x3491 -x3492 -x3493 x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 x3503 x3504 -x3505 -x3506 -x3507 -x3508 x3509 x3510 x3511 x3512 -x3513 -x3514 -x3515 -x3516 -x3517 x3518 x3519 x3520 x3521 x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 x3530 x3531 x3532 -x3533 -x3534 x3535 -x3536 x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 x3555 -x3556 x3557 -x3558 -x3559 -x3560 x3561 -x3562 x3563 x3564 -x3565 -x3566 -x3567 -x3568 -x3569 x3570 -x3571 -x3572 x3573 x3574 x3575 -x3576 -x3577 x3578 x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 x3595 x3596 -x3597 -x3598 -x3599 x3600 -x3601 x3602 x3603 -x3604 -x3605 -x3606 -x3607 x3608 x3609 x3610 -x3611 x3612 -x3613 x3614 -x3615 x3616 -x3617 x3618 x3619 x3620 x3621 -x3622 -x3623 x3624 x3625

OK	-463

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: 63931 MiB (56869 MiB free)
  memory of node 1: 64510 MiB (40971 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455423-1721465471/watcher-4455423-1721465471 -o /tmp/evaluation-result-4455423-1721465471/solver-4455423-1721465471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069360 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455423-1721465471.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=1075175, runsolver pid=1075172
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.18 4.13 4.10 5/258 1075176
/proc/meminfo: memFree=100178496/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=43604 memory=15696 CPUtime=0.09 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 2258 0 0 0 8 1 0 0 20 0 1 0 198715374 44650496 3924 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 10901 3924 1761 922 0 2853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43604 KiB
Current children cumulated memory: 15696 KiB

[startup+0.205567 s]*
/proc/loadavg: 4.18 4.13 4.10 5/258 1075176
/proc/meminfo: memFree=100174912/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=46612 memory=19284 CPUtime=0.2 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 2602 0 0 0 16 4 0 0 20 0 1 0 198715374 47730688 4821 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 11653 4821 1793 922 0 3605 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 19284 KiB

[startup+0.305379 s]*
/proc/loadavg: 4.18 4.13 4.10 5/258 1075176
/proc/meminfo: memFree=100168712/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=51164 memory=24808 CPUtime=0.3 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 3433 0 0 0 22 8 0 0 20 0 1 0 198715374 52391936 6202 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 12791 6202 1793 922 0 4743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51164 KiB
Current children cumulated memory: 24808 KiB

[startup+0.700205 s]
/proc/loadavg: 4.18 4.13 4.10 5/258 1075176
/proc/meminfo: memFree=100144664/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=72888 memory=36496 CPUtime=0.68 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 5376 0 0 0 45 23 0 0 20 0 1 0 198715374 74637312 9124 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 18222 9124 1793 922 0 10174 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72888 KiB
Current children cumulated memory: 36496 KiB

[startup+1.50018 s]
/proc/loadavg: 4.18 4.13 4.10 5/258 1075176
/proc/meminfo: memFree=100128356/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=76524 memory=49000 CPUtime=1.49 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 6556 0 0 0 88 61 0 0 20 0 1 0 198715374 78360576 12250 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 19131 12250 1793 922 0 11083 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 76524 KiB
Current children cumulated memory: 49000 KiB

[startup+3.10549 s]
/proc/loadavg: 4.18 4.13 4.10 5/258 1075176
/proc/meminfo: memFree=100076064/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=103556 memory=63696 CPUtime=3.08 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 9112 0 0 0 226 82 0 0 20 0 1 0 198715374 106041344 15924 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 25889 15924 1883 922 0 17841 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 103556 KiB
Current children cumulated memory: 63696 KiB

[startup+6.30017 s]
/proc/loadavg: 4.16 4.12 4.10 5/258 1075178
/proc/meminfo: memFree=99972848/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=117872 memory=77336 CPUtime=6.27 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 12597 0 0 0 524 103 0 0 20 0 1 0 198715374 120700928 19334 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 29468 19334 1883 922 0 21420 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117872 KiB
Current children cumulated memory: 77336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 1075178
/proc/meminfo: memFree=99792016/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=163000 memory=129688 CPUtime=12.65 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 22614 0 0 0 1137 128 0 0 20 0 1 0 198715374 166912000 32422 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 40750 32422 1883 922 0 32702 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 163000 KiB
Current children cumulated memory: 129688 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 1075180
/proc/meminfo: memFree=99522904/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=285756 memory=205644 CPUtime=25.42 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 32947 0 0 0 2368 174 0 0 20 0 1 0 198715374 292614144 51411 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 71439 51411 1883 922 0 63391 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 285756 KiB
Current children cumulated memory: 205644 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1075184
/proc/meminfo: memFree=99068696/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=352852 memory=304148 CPUtime=50.96 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 46835 0 0 0 4880 216 0 0 20 0 1 0 198715374 361320448 76037 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 88213 76037 1883 922 0 80165 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 352852 KiB
Current children cumulated memory: 304148 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/257 1075194
/proc/meminfo: memFree=98828312/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=354464 memory=307932 CPUtime=102.02 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 47382 0 0 0 9907 295 0 0 20 0 1 0 198715374 362971136 76983 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 88616 76983 1883 922 0 80568 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 354464 KiB
Current children cumulated memory: 307932 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 1075204
/proc/meminfo: memFree=98477840/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=476212 memory=379956 CPUtime=161.86 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 57285 0 0 0 15850 336 0 0 20 0 1 0 198715374 487641088 94989 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 119053 94989 1883 922 0 111005 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 476212 KiB
Current children cumulated memory: 379956 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1075215
/proc/meminfo: memFree=98330824/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=487168 memory=398624 CPUtime=221.69 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 59400 0 0 0 21767 402 0 0 20 0 1 0 198715374 498860032 99656 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 121792 99656 1883 922 0 113744 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 487168 KiB
Current children cumulated memory: 398624 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1075611
/proc/meminfo: memFree=98075180/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=715368 memory=587644 CPUtime=281.53 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 82225 0 0 0 27709 444 0 0 20 0 1 0 198715374 732536832 146911 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 178842 146911 1883 922 0 170794 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 715368 KiB
Current children cumulated memory: 587644 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 1075621
/proc/meminfo: memFree=96525612/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1079772 memory=771816 CPUtime=341.36 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 108879 0 0 0 33654 482 0 0 20 0 1 0 198715374 1105686528 192954 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 269943 192954 1883 922 0 261895 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1079772 KiB
Current children cumulated memory: 771816 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1075633
/proc/meminfo: memFree=95488820/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1079772 memory=771816 CPUtime=401.2 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 108884 0 0 0 39579 541 0 0 20 0 1 0 198715374 1105686528 192954 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 269943 192954 1883 922 0 261895 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1079772 KiB
Current children cumulated memory: 771816 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 1075813
/proc/meminfo: memFree=95468836/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1079772 memory=771816 CPUtime=461.04 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 108885 0 0 0 45506 598 0 0 20 0 1 0 198715374 1105686528 192954 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 269943 192954 1883 922 0 261895 0

################
# More data... #
################

Current children cumulated memory: 1439548 KiB

[startup+2922.3 s]
/proc/loadavg: 1.08 1.12 1.61 2/235 1076984
/proc/meminfo: memFree=121610168/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1753380 memory=1439812 CPUtime=2914.36 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 184670 0 0 0 289666 1770 0 0 20 0 1 0 198715374 1795461120 359953 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 438345 359953 1883 922 0 430297 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 1753380 KiB
Current children cumulated memory: 1439812 KiB

[startup+2982.3 s]
/proc/loadavg: 1.12 1.12 1.58 2/238 1077001
/proc/meminfo: memFree=121609388/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1753624 memory=1440056 CPUtime=2974.2 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 185389 0 0 0 295642 1778 0 0 20 0 1 0 198715374 1795710976 360014 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 438406 360014 1883 922 0 430358 0
Current children cumulated CPU time: 2974.2 s
Current children cumulated vsize: 1753624 KiB
Current children cumulated memory: 1440056 KiB

[startup+3042.3 s]
/proc/loadavg: 1.09 1.11 1.54 2/237 1077012
/proc/meminfo: memFree=121608656/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1753624 memory=1440056 CPUtime=3034.03 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 185972 0 0 0 301615 1788 0 0 20 0 1 0 198715374 1795710976 360014 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 438406 360014 1883 922 0 430358 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 1753624 KiB
Current children cumulated memory: 1440056 KiB

[startup+3102.3 s]
/proc/loadavg: 1.14 1.12 1.52 2/238 1077024
/proc/meminfo: memFree=121607920/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1753880 memory=1440192 CPUtime=3093.86 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 186615 0 0 0 307589 1797 0 0 20 0 1 0 198715374 1795973120 360048 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 438470 360048 1883 922 0 430422 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 1753880 KiB
Current children cumulated memory: 1440192 KiB

[startup+3162.3 s]
/proc/loadavg: 1.11 1.11 1.49 2/238 1077034
/proc/meminfo: memFree=121607760/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1753880 memory=1440192 CPUtime=3153.72 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 187091 0 0 0 313566 1806 0 0 20 0 1 0 198715374 1795973120 360048 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 438470 360048 1883 922 0 430422 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 1753880 KiB
Current children cumulated memory: 1440192 KiB

[startup+3222.3 s]
/proc/loadavg: 1.12 1.11 1.46 2/238 1077047
/proc/meminfo: memFree=121607240/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1753880 memory=1440196 CPUtime=3213.59 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 187583 0 0 0 319544 1815 0 0 20 0 1 0 198715374 1795973120 360049 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 438470 360049 1883 922 0 430422 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 1753880 KiB
Current children cumulated memory: 1440196 KiB

[startup+3282.3 s]
/proc/loadavg: 1.10 1.10 1.44 2/235 1077057
/proc/meminfo: memFree=121604596/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1755672 memory=1442192 CPUtime=3273.45 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 189022 0 0 0 325512 1833 0 0 20 0 1 0 198715374 1797808128 360548 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 438918 360548 1965 922 0 430870 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 1755672 KiB
Current children cumulated memory: 1442192 KiB

[startup+3342.3 s]
/proc/loadavg: 1.14 1.11 1.42 2/235 1077067
/proc/meminfo: memFree=121604000/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1755672 memory=1442192 CPUtime=3333.31 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 189573 0 0 0 331478 1853 0 0 20 0 1 0 198715374 1797808128 360548 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 438918 360548 1965 922 0 430870 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 1755672 KiB
Current children cumulated memory: 1442192 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.10 1.39 2/235 1077078
/proc/meminfo: memFree=121602548/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1756440 memory=1442780 CPUtime=3393.16 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 190393 0 0 0 337444 1872 0 0 20 0 1 0 198715374 1798594560 360695 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 439110 360695 1965 922 0 431062 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 1756440 KiB
Current children cumulated memory: 1442780 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.10 1.37 2/234 1077088
/proc/meminfo: memFree=121595792/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1763644 memory=1449080 CPUtime=3453.02 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 192573 0 0 0 343418 1884 0 0 20 0 1 0 198715374 1805971456 362270 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 440911 362270 1965 922 0 432863 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 1763644 KiB
Current children cumulated memory: 1449080 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.09 1.35 2/234 1077099
/proc/meminfo: memFree=121594784/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1763644 memory=1449100 CPUtime=3512.87 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 193089 0 0 0 349395 1892 0 0 20 0 1 0 198715374 1805971456 362275 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 440911 362275 1965 922 0 432863 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 1763644 KiB
Current children cumulated memory: 1449100 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.10 1.34 2/237 1077116
/proc/meminfo: memFree=121594188/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1763644 memory=1449100 CPUtime=3572.73 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 193599 0 0 0 355373 1900 0 0 20 0 1 0 198715374 1805971456 362275 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 440911 362275 1965 922 0 432863 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 1763644 KiB
Current children cumulated memory: 1449100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 1.08 1.09 1.33 2/237 1077121
/proc/meminfo: memFree=121593596/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1763644 memory=1449100 CPUtime=3600.07 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 193977 0 0 0 358103 1904 0 0 20 0 1 0 198715374 1805971456 362275 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 440911 362275 1965 922 0 432863 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1763644 KiB
Current children cumulated memory: 1449100 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.72 s]
# the end of solver process 1075175 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3581.05 s, system=19.0462 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.7 s]
/proc/loadavg: 1.08 1.09 1.33 2/237 1077121
/proc/meminfo: memFree=121593596/131524600 swapFree=131071996/131071996
[pid=1075175] ppid=1075172 vsize=1763644 memory=1449100 CPUtime=3600.07 cores=4,6
/proc/1075175/stat : 1075175 (roundingsat) R 1075172 1075175 1069349 0 -1 4194304 193977 0 0 0 358103 1904 0 0 20 0 1 0 198715374 1805971456 362275 134679101440 4194304 7968373 140732456239280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19755008 140732456244156 140732456244320 140732456244320 140732456251337 0
/proc/1075175/statm: 440911 362275 1965 922 0 432863 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1763644 KiB
Current children cumulated memory: 1449100 KiB

Child status: 0

Real time (s): 3609.72
CPU time (s): 3600.1
CPU user time (s): 3581.05
CPU system time (s): 19.0462
CPU usage (%): 99.7335
Max. virtual memory (cumulated for all children) (KiB): 1763644
Max. memory (cumulated for all children) (KiB): 1449100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.05
system time used= 19.0462
maximum resident set size= 1449100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193995
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= 421
involuntary context switches= 3692


# summary of solver processes directly reported to runsolver:
#   pid: 1075175
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3581.05
#   total CPU system time (s): 19.0462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30622 second user time and 15.4706 second system time

The end

Begin job on nodeC031 at 2024-07-20 10:51:24
IDJOB=4455423
IDBENCH=158503
IDSOLVER=3084
FILE ID=nodeC031/4455423-1721465471
RUNJOBID= nodeC031-1721455786-1069360
SLURM_JOB_ID= 7545688
Free space on /tmp= 889920 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455423-1721465471/watcher-4455423-1721465471 -o /tmp/evaluation-result-4455423-1721465471/solver-4455423-1721465471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069360 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455423-1721465471.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 16979d2f8203ffed07f73a3588d8874c
RANDOM SEED=1504444755

nodeC031.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	: 0xb00002a
cpu MHz		: 3670.434
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.969
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3623.558
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.965
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.379
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3635.677
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.787
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        100189092 kB
MemAvailable:   106862436 kB
Buffers:          540492 kB
Cached:          6897796 kB
SwapCached:            0 kB
Active:          1236104 kB
Inactive:       29259780 kB
Active(anon):       1552 kB
Inactive(anon): 23102008 kB
Active(file):    1234552 kB
Inactive(file):  6157772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5676 kB
Writeback:             0 kB
AnonPages:      23047304 kB
Mapped:           117100 kB
Shmem:             45912 kB
KReclaimable:     241336 kB
Slab:             371728 kB
SReclaimable:     241336 kB
SUnreclaim:       130392 kB
KernelStack:        4176 kB
PageTables:        56984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   25839328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            74080 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8558592 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:      254676 kB
DirectMap2M:    39364608 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC031 at 2024-07-20 11:51:34