| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | -465 | 3600.06 | 3610.05 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament50.lin.opb |
| MD5SUM | 16979d2f8203ffed07f73a3588d8874c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -599 |
| Best CPU time to get the best result obtained on this benchmark | 72000.6 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3625 |
| Total number of constraints | 4800 |
| Number of constraints which are clauses | 2400 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2400 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 3130 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 3368 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3368 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.04 c #variables 3625 #constraints 4800 0.68/0.71 c bounds - >= -1684 @ 0.034411 0.68/0.71 c bounds 0 >= -1684 @ 0.211112 0.68/0.71 c bounds 0 >= -1683 @ 0.214349 0.68/0.71 c bounds 0 >= -1682 @ 0.217962 0.68/0.71 c bounds 0 >= -1681 @ 0.22168 0.68/0.71 c bounds 0 >= -1680 @ 0.224416 0.68/0.71 c bounds 0 >= -1679 @ 0.228044 0.68/0.71 c bounds 0 >= -1678 @ 0.23172 0.68/0.71 c bounds 0 >= -1677 @ 0.2354 0.68/0.71 c bounds 0 >= -1676 @ 0.238177 0.68/0.71 c bounds 0 >= -1675 @ 0.241779 0.68/0.71 c bounds 0 >= -1674 @ 0.245713 0.68/0.71 c bounds 0 >= -1673 @ 0.249666 0.68/0.71 c bounds 0 >= -1672 @ 0.25362 0.68/0.71 c bounds 0 >= -1671 @ 0.257567 0.68/0.71 c bounds 0 >= -1670 @ 0.261535 0.68/0.71 c bounds 0 >= -1669 @ 0.265542 0.68/0.71 c bounds 0 >= -1668 @ 0.26958 0.68/0.71 c bounds 0 >= -1667 @ 0.273575 0.68/0.71 c bounds 0 >= -1666 @ 0.277587 0.68/0.71 c bounds 0 >= -1665 @ 0.281571 0.68/0.71 c bounds 0 >= -1664 @ 0.284608 0.68/0.71 c bounds 0 >= -1663 @ 0.288598 0.68/0.71 c bounds 0 >= -1662 @ 0.292578 0.68/0.71 c bounds 0 >= -1661 @ 0.296588 0.68/0.71 c bounds 0 >= -1660 @ 0.300576 0.68/0.71 c bounds 0 >= -1659 @ 0.304581 0.68/0.71 c bounds 0 >= -1658 @ 0.308578 0.68/0.71 c bounds 0 >= -1657 @ 0.312584 0.68/0.71 c bounds 0 >= -1656 @ 0.316574 0.68/0.71 c bounds 0 >= -1655 @ 0.319563 0.68/0.71 c bounds 0 >= -1654 @ 0.323564 0.68/0.71 c bounds 0 >= -1653 @ 0.327559 0.68/0.71 c bounds 0 >= -1652 @ 0.33066 0.68/0.71 c bounds 0 >= -1651 @ 0.334622 0.68/0.71 c bounds 0 >= -1650 @ 0.338636 0.68/0.71 c bounds 0 >= -1649 @ 0.342635 0.68/0.71 c bounds 0 >= -1648 @ 0.346466 0.68/0.71 c bounds 0 >= -1647 @ 0.350272 0.68/0.71 c bounds 0 >= -1646 @ 0.354057 0.68/0.71 c bounds 0 >= -1645 @ 0.357864 0.68/0.71 c bounds 0 >= -1644 @ 0.361671 0.68/0.71 c bounds 0 >= -1643 @ 0.36455 0.68/0.71 c bounds 0 >= -1642 @ 0.368306 0.68/0.71 c bounds 0 >= -1641 @ 0.37214 0.68/0.71 c bounds 0 >= -1640 @ 0.375959 0.68/0.71 c bounds 0 >= -1639 @ 0.379797 0.68/0.71 c bounds 0 >= -1638 @ 0.383646 0.68/0.71 c bounds 0 >= -1637 @ 0.387493 0.68/0.71 c bounds 0 >= -1636 @ 0.39041 0.68/0.71 c bounds 0 >= -1635 @ 0.394194 0.68/0.71 c bounds 0 >= -1634 @ 0.398053 0.68/0.71 c bounds 0 >= -1633 @ 0.401905 0.68/0.71 c bounds 0 >= -1632 @ 0.405771 0.68/0.71 c bounds 0 >= -1631 @ 0.409622 0.68/0.71 c bounds 0 >= -1630 @ 0.413511 0.68/0.71 c bounds 0 >= -1629 @ 0.417371 0.68/0.71 c bounds 0 >= -1628 @ 0.421263 0.68/0.71 c bounds 0 >= -1627 @ 0.424423 0.68/0.71 c bounds 0 >= -1626 @ 0.427529 0.68/0.71 c bounds 0 >= -1625 @ 0.431627 0.68/0.71 c bounds 0 >= -1624 @ 0.435731 0.68/0.71 c bounds 0 >= -1623 @ 0.439859 0.68/0.71 c bounds 0 >= -1622 @ 0.444015 0.68/0.71 c bounds 0 >= -1621 @ 0.44649 0.68/0.71 c bounds 0 >= -1620 @ 0.448451 0.68/0.71 c bounds 0 >= -1619 @ 0.450419 0.68/0.71 c bounds 0 >= -1618 @ 0.452385 0.68/0.71 c bounds 0 >= -1617 @ 0.454359 0.68/0.71 c bounds 0 >= -1616 @ 0.45633 0.68/0.71 c bounds 0 >= -1615 @ 0.459245 0.68/0.71 c bounds 0 >= -1614 @ 0.461274 0.68/0.71 c bounds 0 >= -1613 @ 0.46417 0.68/0.71 c bounds 0 >= -1612 @ 0.467121 0.68/0.71 c bounds 0 >= -1611 @ 0.470559 0.68/0.71 c bounds 0 >= -1610 @ 0.473528 0.68/0.71 c bounds 0 >= -1609 @ 0.476503 0.68/0.71 c bounds 0 >= -1608 @ 0.479489 0.68/0.71 c bounds 0 >= -1607 @ 0.482473 0.68/0.71 c bounds 0 >= -1606 @ 0.485458 0.68/0.71 c bounds 0 >= -1605 @ 0.488445 0.68/0.71 c bounds 0 >= -1604 @ 0.491418 0.68/0.71 c bounds 0 >= -1603 @ 0.494417 0.68/0.71 c bounds 0 >= -1602 @ 0.497406 0.68/0.71 c bounds 0 >= -1601 @ 0.500395 0.68/0.71 c bounds 0 >= -1600 @ 0.50339 0.68/0.71 c bounds 0 >= -1599 @ 0.506377 0.68/0.71 c bounds 0 >= -1598 @ 0.509371 0.68/0.71 c bounds 0 >= -1597 @ 0.512357 0.68/0.71 c bounds 0 >= -1596 @ 0.515375 0.68/0.71 c bounds 0 >= -1595 @ 0.518365 0.68/0.71 c bounds 0 >= -1594 @ 0.520418 0.68/0.71 c bounds -1 >= -1594 @ 0.52294 0.68/0.71 c bounds -1 >= -1593 @ 0.525935 0.68/0.71 c bounds -1 >= -1592 @ 0.528055 0.68/0.71 c bounds -1 >= -1591 @ 0.530095 0.68/0.71 c bounds -1 >= -1590 @ 0.533113 0.68/0.71 c bounds -1 >= -1589 @ 0.535191 0.68/0.71 c bounds -1 >= -1588 @ 0.537388 0.68/0.71 c bounds -1 >= -1587 @ 0.540611 0.68/0.71 c bounds -1 >= -1586 @ 0.543823 0.68/0.71 c bounds -1 >= -1585 @ 0.547026 0.68/0.71 c bounds -1 >= -1584 @ 0.550236 0.68/0.71 c bounds -1 >= -1583 @ 0.553473 0.68/0.71 c bounds -1 >= -1582 @ 0.556723 0.68/0.71 c bounds -1 >= -1581 @ 0.559921 0.68/0.71 c bounds -1 >= -1580 @ 0.562169 0.68/0.71 c bounds -1 >= -1579 @ 0.565344 0.68/0.71 c bounds -1 >= -1578 @ 0.56856 0.68/0.71 c bounds -1 >= -1577 @ 0.571791 0.68/0.71 c bounds -1 >= -1576 @ 0.575002 0.68/0.71 c bounds -1 >= -1575 @ 0.577242 0.68/0.71 c bounds -1 >= -1574 @ 0.580479 0.68/0.71 c bounds -1 >= -1573 @ 0.583728 0.68/0.71 c bounds -1 >= -1572 @ 0.585997 0.68/0.71 c bounds -1 >= -1571 @ 0.588224 0.68/0.71 c bounds -1 >= -1570 @ 0.591496 0.68/0.71 c bounds -1 >= -1569 @ 0.59473 0.68/0.71 c bounds -1 >= -1568 @ 0.596985 0.68/0.71 c bounds -1 >= -1567 @ 0.600222 0.68/0.71 c bounds -1 >= -1566 @ 0.603489 0.68/0.71 c bounds -1 >= -1565 @ 0.60671 0.68/0.71 c bounds -1 >= -1564 @ 0.608969 0.68/0.71 c bounds -1 >= -1563 @ 0.612168 0.68/0.71 c bounds -1 >= -1562 @ 0.615438 0.68/0.71 c bounds -1 >= -1561 @ 0.618675 0.68/0.71 c bounds -1 >= -1560 @ 0.620953 0.68/0.71 c bounds -1 >= -1559 @ 0.623199 0.68/0.71 c bounds -1 >= -1558 @ 0.626452 0.68/0.71 c bounds -1 >= -1557 @ 0.629695 0.68/0.71 c bounds -1 >= -1556 @ 0.630981 0.68/0.71 c bounds -1 >= -1555 @ 0.634234 0.99/1.10 c bounds -1 >= -1554 @ 0.637479 0.99/1.10 c bounds -1 >= -1553 @ 0.63978 0.99/1.10 c bounds -1 >= -1552 @ 0.641996 0.99/1.10 c bounds -1 >= -1551 @ 0.645272 0.99/1.10 c bounds -1 >= -1550 @ 0.648526 0.99/1.10 c bounds -1 >= -1549 @ 0.650819 0.99/1.10 c bounds -1 >= -1548 @ 0.654073 0.99/1.10 c bounds -1 >= -1547 @ 0.657315 0.99/1.10 c bounds -1 >= -1546 @ 0.660557 0.99/1.10 c bounds -1 >= -1545 @ 0.66282 0.99/1.10 c bounds -1 >= -1544 @ 0.666075 0.99/1.10 c bounds -1 >= -1543 @ 0.669325 0.99/1.10 c bounds -1 >= -1542 @ 0.672571 0.99/1.10 c bounds -1 >= -1541 @ 0.67483 0.99/1.10 c bounds -1 >= -1540 @ 0.6781 0.99/1.10 c bounds -1 >= -1539 @ 0.681366 0.99/1.10 c bounds -1 >= -1538 @ 0.684478 0.99/1.10 c bounds -1 >= -1537 @ 0.686605 0.99/1.10 c bounds -1 >= -1536 @ 0.688692 0.99/1.10 c bounds -1 >= -1535 @ 0.690766 0.99/1.10 c bounds -2 >= -1535 @ 0.691917 0.99/1.10 c bounds -2 >= -1534 @ 0.694823 0.99/1.10 c bounds -2 >= -1533 @ 0.69789 0.99/1.10 c bounds -2 >= -1532 @ 0.700977 0.99/1.10 c bounds -2 >= -1531 @ 0.70408 0.99/1.10 c bounds -2 >= -1530 @ 0.706287 0.99/1.10 c bounds -2 >= -1529 @ 0.708383 0.99/1.10 c bounds -2 >= -1528 @ 0.710468 0.99/1.10 c bounds -2 >= -1527 @ 0.712595 0.99/1.10 c bounds -2 >= -1526 @ 0.715713 0.99/1.10 c bounds -2 >= -1525 @ 0.718872 0.99/1.10 c bounds -2 >= -1524 @ 0.721997 0.99/1.10 c bounds -2 >= -1523 @ 0.725113 0.99/1.10 c bounds -2 >= -1522 @ 0.728233 0.99/1.10 c bounds -2 >= -1521 @ 0.730499 0.99/1.10 c bounds -2 >= -1520 @ 0.733589 0.99/1.10 c bounds -2 >= -1519 @ 0.736721 0.99/1.10 c bounds -2 >= -1518 @ 0.740001 0.99/1.10 c bounds -2 >= -1517 @ 0.743125 0.99/1.10 c bounds -2 >= -1516 @ 0.745304 0.99/1.10 c bounds -2 >= -1515 @ 0.747423 0.99/1.10 c bounds -2 >= -1514 @ 0.750525 0.99/1.10 c bounds -2 >= -1513 @ 0.752917 0.99/1.10 c bounds -2 >= -1512 @ 0.755988 0.99/1.10 c bounds -2 >= -1511 @ 0.759124 0.99/1.10 c bounds -2 >= -1510 @ 0.761301 0.99/1.10 c bounds -2 >= -1509 @ 0.763444 0.99/1.10 c bounds -2 >= -1508 @ 0.766568 0.99/1.10 c bounds -2 >= -1507 @ 0.769714 0.99/1.10 c bounds -2 >= -1506 @ 0.772847 0.99/1.10 c bounds -2 >= -1505 @ 0.77597 0.99/1.10 c bounds -2 >= -1504 @ 0.779096 0.99/1.10 c bounds -2 >= -1503 @ 0.782217 0.99/1.10 c bounds -2 >= -1502 @ 0.785343 0.99/1.10 c bounds -2 >= -1501 @ 0.788488 0.99/1.10 c bounds -2 >= -1500 @ 0.791646 0.99/1.10 c bounds -2 >= -1499 @ 0.79479 0.99/1.10 c bounds -2 >= -1498 @ 0.798095 0.99/1.10 c bounds -2 >= -1497 @ 0.800266 0.99/1.10 c bounds -2 >= -1496 @ 0.802402 0.99/1.10 c bounds -2 >= -1495 @ 0.805549 0.99/1.10 c bounds -2 >= -1494 @ 0.808709 0.99/1.10 c bounds -2 >= -1493 @ 0.811858 0.99/1.10 c bounds -2 >= -1492 @ 0.813043 0.99/1.10 c bounds -2 >= -1491 @ 0.815181 0.99/1.10 c bounds -3 >= -1491 @ 0.820819 0.99/1.10 c bounds -3 >= -1490 @ 0.823119 0.99/1.10 c bounds -3 >= -1489 @ 0.826444 0.99/1.10 c bounds -3 >= -1488 @ 0.82959 0.99/1.10 c bounds -3 >= -1487 @ 0.832771 0.99/1.10 c bounds -3 >= -1486 @ 0.834952 0.99/1.10 c bounds -3 >= -1485 @ 0.838077 0.99/1.10 c bounds -3 >= -1484 @ 0.841241 0.99/1.10 c bounds -3 >= -1483 @ 0.844402 0.99/1.10 c bounds -3 >= -1482 @ 0.847559 0.99/1.10 c bounds -3 >= -1481 @ 0.850697 0.99/1.10 c bounds -3 >= -1480 @ 0.853865 0.99/1.10 c bounds -3 >= -1479 @ 0.856992 0.99/1.10 c bounds -3 >= -1478 @ 0.86013 0.99/1.10 c bounds -3 >= -1477 @ 0.863283 0.99/1.10 c bounds -3 >= -1476 @ 0.86644 0.99/1.10 c bounds -3 >= -1475 @ 0.869603 0.99/1.10 c bounds -3 >= -1474 @ 0.871776 0.99/1.10 c bounds -3 >= -1473 @ 0.874879 0.99/1.10 c bounds -3 >= -1472 @ 0.877053 0.99/1.10 c bounds -3 >= -1471 @ 0.880454 0.99/1.10 c bounds -3 >= -1470 @ 0.882767 0.99/1.10 c bounds -3 >= -1469 @ 0.884061 0.99/1.10 c bounds -3 >= -1468 @ 0.886359 0.99/1.10 c bounds -3 >= -1467 @ 0.88866 0.99/1.10 c bounds -3 >= -1466 @ 0.890963 0.99/1.10 c bounds -3 >= -1465 @ 0.893271 0.99/1.10 c bounds -3 >= -1464 @ 0.895574 0.99/1.10 c bounds -3 >= -1463 @ 0.897866 0.99/1.10 c bounds -3 >= -1462 @ 0.900179 0.99/1.10 c bounds -3 >= -1461 @ 0.902465 0.99/1.10 c bounds -3 >= -1460 @ 0.904749 0.99/1.10 c bounds -3 >= -1459 @ 0.906045 0.99/1.10 c bounds -3 >= -1458 @ 0.908337 0.99/1.10 c bounds -3 >= -1457 @ 0.910619 0.99/1.10 c bounds -3 >= -1456 @ 0.911924 0.99/1.10 c bounds -3 >= -1455 @ 0.913305 0.99/1.10 c bounds -3 >= -1454 @ 0.915541 0.99/1.10 c bounds -3 >= -1453 @ 0.91781 0.99/1.10 c bounds -32 >= -1453 @ 0.92701 0.99/1.10 c bounds -32 >= -1452 @ 0.928499 0.99/1.10 c bounds -32 >= -1451 @ 0.93074 0.99/1.10 c bounds -32 >= -1450 @ 0.932069 0.99/1.10 c bounds -32 >= -1449 @ 0.933426 0.99/1.10 c bounds -32 >= -1448 @ 0.935669 0.99/1.10 c bounds -32 >= -1447 @ 0.936965 0.99/1.10 c bounds -32 >= -1446 @ 0.939286 0.99/1.10 c bounds -32 >= -1445 @ 0.941579 0.99/1.10 c bounds -32 >= -1444 @ 0.94288 0.99/1.10 c bounds -32 >= -1443 @ 0.945162 0.99/1.10 c bounds -32 >= -1442 @ 0.947468 0.99/1.10 c bounds -32 >= -1441 @ 0.949752 0.99/1.10 c bounds -32 >= -1440 @ 0.951046 0.99/1.10 c bounds -32 >= -1439 @ 0.953349 0.99/1.10 c bounds -32 >= -1438 @ 0.955646 0.99/1.10 c bounds -32 >= -1437 @ 0.956951 0.99/1.10 c bounds -32 >= -1436 @ 0.959259 0.99/1.10 c bounds -32 >= -1435 @ 0.961571 0.99/1.10 c bounds -32 >= -1434 @ 0.962894 0.99/1.10 c bounds -32 >= -1433 @ 0.964285 0.99/1.10 c bounds -32 >= -1432 @ 0.966524 0.99/1.10 c bounds -32 >= -1431 @ 0.968811 0.99/1.10 c bounds -32 >= -1430 @ 0.97113 1.38/1.42 c bounds -32 >= -1429 @ 0.973449 1.38/1.42 c bounds -32 >= -1428 @ 0.975761 1.38/1.42 c bounds -32 >= -1427 @ 0.978066 1.38/1.42 c bounds -32 >= -1426 @ 0.980368 1.38/1.42 c bounds -32 >= -1425 @ 0.982665 1.38/1.42 c bounds -32 >= -1424 @ 0.983087 1.38/1.42 c bounds -32 >= -1423 @ 0.984366 1.38/1.42 c bounds -32 >= -1422 @ 0.986617 1.38/1.42 c bounds -32 >= -1421 @ 0.988931 1.38/1.42 c bounds -32 >= -1420 @ 0.991257 1.38/1.42 c bounds -32 >= -1419 @ 0.992613 1.38/1.42 c bounds -32 >= -1418 @ 0.9939 1.38/1.42 c bounds -32 >= -1417 @ 0.996202 1.38/1.42 c bounds -32 >= -1416 @ 0.998505 1.38/1.42 c bounds -32 >= -1415 @ 1.00081 1.38/1.42 c bounds -32 >= -1414 @ 1.00316 1.38/1.42 c bounds -32 >= -1413 @ 1.00557 1.38/1.42 c bounds -32 >= -1412 @ 1.0079 1.38/1.42 c bounds -32 >= -1411 @ 1.01022 1.38/1.42 c bounds -32 >= -1410 @ 1.01253 1.38/1.42 c bounds -32 >= -1409 @ 1.01485 1.38/1.42 c bounds -32 >= -1408 @ 1.01716 1.38/1.42 c bounds -32 >= -1407 @ 1.01948 1.38/1.42 c bounds -32 >= -1406 @ 1.0218 1.38/1.42 c bounds -32 >= -1405 @ 1.02412 1.38/1.42 c bounds -32 >= -1404 @ 1.02643 1.38/1.42 c bounds -33 >= -1404 @ 1.03 1.38/1.42 c bounds -33 >= -1403 @ 1.03241 1.38/1.42 c bounds -33 >= -1402 @ 1.0337 1.38/1.42 c bounds -33 >= -1401 @ 1.036 1.38/1.42 c bounds -33 >= -1400 @ 1.0383 1.38/1.42 c bounds -33 >= -1399 @ 1.03961 1.38/1.42 c bounds -33 >= -1398 @ 1.04198 1.38/1.42 c bounds -33 >= -1397 @ 1.04428 1.38/1.42 c bounds -33 >= -1396 @ 1.04656 1.38/1.42 c bounds -33 >= -1395 @ 1.04887 1.38/1.42 c bounds -33 >= -1394 @ 1.05116 1.38/1.42 c bounds -33 >= -1393 @ 1.05356 1.38/1.42 c bounds -33 >= -1392 @ 1.05586 1.38/1.42 c bounds -33 >= -1391 @ 1.05818 1.38/1.42 c bounds -33 >= -1390 @ 1.05952 1.38/1.42 c bounds -33 >= -1389 @ 1.06182 1.38/1.42 c bounds -33 >= -1388 @ 1.06412 1.38/1.42 c bounds -33 >= -1387 @ 1.06543 1.38/1.42 c bounds -33 >= -1386 @ 1.06769 1.38/1.42 c bounds -33 >= -1385 @ 1.07001 1.38/1.42 c bounds -33 >= -1384 @ 1.07232 1.38/1.42 c bounds -33 >= -1383 @ 1.07364 1.38/1.42 c bounds -33 >= -1382 @ 1.07595 1.38/1.42 c bounds -33 >= -1381 @ 1.07827 1.38/1.42 c bounds -33 >= -1380 @ 1.07956 1.38/1.42 c bounds -33 >= -1379 @ 1.08197 1.38/1.42 c bounds -33 >= -1378 @ 1.08427 1.38/1.42 c bounds -33 >= -1377 @ 1.0856 1.38/1.42 c bounds -33 >= -1376 @ 1.08807 1.38/1.42 c bounds -33 >= -1375 @ 1.09038 1.38/1.42 c bounds -33 >= -1374 @ 1.09271 1.38/1.42 c bounds -33 >= -1373 @ 1.09501 1.38/1.42 c bounds -33 >= -1372 @ 1.09731 1.38/1.42 c bounds -33 >= -1371 @ 1.09774 1.38/1.42 c bounds -33 >= -1370 @ 1.09998 1.38/1.42 c bounds -33 >= -1369 @ 1.10227 1.38/1.42 c bounds -34 >= -1369 @ 1.10543 1.38/1.42 c bounds -34 >= -1368 @ 1.10694 1.38/1.42 c bounds -34 >= -1367 @ 1.10918 1.38/1.42 c bounds -34 >= -1366 @ 1.11151 1.38/1.42 c bounds -34 >= -1365 @ 1.11379 1.38/1.42 c bounds -34 >= -1364 @ 1.11609 1.38/1.42 c bounds -34 >= -1363 @ 1.11741 1.38/1.42 c bounds -34 >= -1362 @ 1.12014 1.38/1.42 c bounds -34 >= -1361 @ 1.12166 1.38/1.42 c bounds -34 >= -1360 @ 1.12403 1.38/1.42 c bounds -34 >= -1359 @ 1.12642 1.38/1.42 c bounds -34 >= -1358 @ 1.12889 1.38/1.42 c bounds -34 >= -1357 @ 1.13134 1.38/1.42 c bounds -34 >= -1356 @ 1.13376 1.38/1.42 c bounds -34 >= -1355 @ 1.13619 1.38/1.42 c bounds -34 >= -1354 @ 1.13762 1.38/1.42 c bounds -34 >= -1353 @ 1.13986 1.38/1.42 c bounds -34 >= -1352 @ 1.14215 1.38/1.42 c bounds -34 >= -1351 @ 1.14346 1.38/1.42 c bounds -34 >= -1350 @ 1.14581 1.38/1.42 c bounds -34 >= -1349 @ 1.14813 1.38/1.42 c bounds -34 >= -1348 @ 1.14944 1.38/1.42 c bounds -34 >= -1347 @ 1.15174 1.38/1.42 c bounds -34 >= -1346 @ 1.15403 1.38/1.42 c bounds -34 >= -1345 @ 1.15533 1.38/1.42 c bounds -34 >= -1344 @ 1.15763 1.38/1.42 c bounds -34 >= -1343 @ 1.16003 1.38/1.42 c bounds -34 >= -1342 @ 1.16234 1.38/1.42 c bounds -34 >= -1341 @ 1.16464 1.38/1.42 c bounds -34 >= -1340 @ 1.16696 1.38/1.42 c bounds -34 >= -1339 @ 1.16827 1.38/1.42 c bounds -34 >= -1338 @ 1.17057 1.38/1.42 c bounds -34 >= -1337 @ 1.17287 1.38/1.42 c bounds -34 >= -1336 @ 1.17524 1.38/1.42 c bounds -35 >= -1336 @ 1.18175 1.38/1.42 c bounds -35 >= -1335 @ 1.18331 1.38/1.42 c bounds -35 >= -1334 @ 1.18561 1.38/1.42 c bounds -35 >= -1333 @ 1.18807 1.38/1.42 c bounds -35 >= -1332 @ 1.18957 1.38/1.42 c bounds -35 >= -1331 @ 1.19194 1.38/1.42 c bounds -35 >= -1330 @ 1.19347 1.38/1.42 c bounds -35 >= -1329 @ 1.19586 1.38/1.42 c bounds -35 >= -1328 @ 1.19729 1.38/1.42 c bounds -35 >= -1327 @ 1.19972 1.38/1.42 c bounds -35 >= -1326 @ 1.20216 1.38/1.42 c bounds -35 >= -1325 @ 1.20461 1.38/1.42 c bounds -35 >= -1324 @ 1.20708 1.38/1.42 c bounds -35 >= -1323 @ 1.2086 1.38/1.42 c bounds -35 >= -1322 @ 1.21096 1.38/1.42 c bounds -35 >= -1321 @ 1.21247 1.38/1.42 c bounds -35 >= -1320 @ 1.21482 1.38/1.42 c bounds -35 >= -1319 @ 1.21624 1.38/1.42 c bounds -35 >= -1318 @ 1.21866 1.38/1.42 c bounds -35 >= -1317 @ 1.2211 1.38/1.42 c bounds -35 >= -1316 @ 1.22353 1.38/1.42 c bounds -35 >= -1315 @ 1.22597 1.38/1.42 c bounds -35 >= -1314 @ 1.2284 1.38/1.42 c bounds -35 >= -1313 @ 1.23084 1.38/1.42 c bounds -35 >= -1312 @ 1.23236 1.38/1.42 c bounds -35 >= -1311 @ 1.23471 1.38/1.42 c bounds -35 >= -1310 @ 1.23608 1.38/1.42 c bounds -35 >= -1309 @ 1.23837 1.38/1.42 c bounds -35 >= -1308 @ 1.24065 1.38/1.42 c bounds -35 >= -1307 @ 1.24195 1.38/1.42 c bounds -35 >= -1306 @ 1.24424 1.38/1.42 c bounds -35 >= -1305 @ 1.24654 1.68/1.70 c bounds -35 >= -1304 @ 1.24882 1.68/1.70 c bounds -35 >= -1303 @ 1.2511 1.68/1.70 c bounds -35 >= -1302 @ 1.25338 1.68/1.70 c bounds -35 >= -1301 @ 1.25568 1.68/1.70 c bounds -53 >= -1301 @ 1.26145 1.68/1.70 c bounds -53 >= -1300 @ 1.26284 1.68/1.70 c bounds -53 >= -1299 @ 1.26425 1.68/1.70 c bounds -53 >= -1298 @ 1.26647 1.68/1.70 c bounds -53 >= -1297 @ 1.26873 1.68/1.70 c bounds -53 >= -1296 @ 1.27103 1.68/1.70 c bounds -53 >= -1295 @ 1.27332 1.68/1.70 c bounds -53 >= -1294 @ 1.27561 1.68/1.70 c bounds -53 >= -1293 @ 1.27691 1.68/1.70 c bounds -53 >= -1292 @ 1.27922 1.68/1.70 c bounds -53 >= -1291 @ 1.28149 1.68/1.70 c bounds -53 >= -1290 @ 1.28375 1.68/1.70 c bounds -53 >= -1289 @ 1.28503 1.68/1.70 c bounds -53 >= -1288 @ 1.28731 1.68/1.70 c bounds -53 >= -1287 @ 1.28863 1.68/1.70 c bounds -53 >= -1286 @ 1.28986 1.68/1.70 c bounds -53 >= -1285 @ 1.29214 1.68/1.70 c bounds -53 >= -1284 @ 1.29441 1.68/1.70 c bounds -53 >= -1283 @ 1.29668 1.68/1.70 c bounds -53 >= -1282 @ 1.29798 1.68/1.70 c bounds -53 >= -1281 @ 1.2998 1.68/1.70 c bounds -53 >= -1280 @ 1.3016 1.68/1.70 c bounds -53 >= -1279 @ 1.3034 1.68/1.70 c bounds -53 >= -1278 @ 1.3052 1.68/1.70 c bounds -53 >= -1277 @ 1.30701 1.68/1.70 c bounds -53 >= -1276 @ 1.30882 1.68/1.70 c bounds -53 >= -1275 @ 1.31063 1.68/1.70 c bounds -53 >= -1274 @ 1.31245 1.68/1.70 c bounds -53 >= -1273 @ 1.31435 1.68/1.70 c bounds -53 >= -1272 @ 1.31619 1.68/1.70 c bounds -53 >= -1271 @ 1.31802 1.68/1.70 c bounds -53 >= -1270 @ 1.31984 1.68/1.70 c bounds -53 >= -1269 @ 1.32166 1.68/1.70 c bounds -53 >= -1268 @ 1.32251 1.68/1.70 c bounds -53 >= -1267 @ 1.32335 1.68/1.70 c bounds -53 >= -1266 @ 1.32511 1.68/1.70 c bounds -53 >= -1265 @ 1.32591 1.68/1.70 c bounds -53 >= -1264 @ 1.32775 1.68/1.70 c bounds -53 >= -1263 @ 1.32956 1.68/1.70 c bounds -53 >= -1262 @ 1.33044 1.68/1.70 c bounds -53 >= -1261 @ 1.3322 1.68/1.70 c bounds -53 >= -1260 @ 1.33403 1.68/1.70 c bounds -53 >= -1259 @ 1.33585 1.68/1.70 c bounds -53 >= -1258 @ 1.33766 1.68/1.70 c bounds -53 >= -1257 @ 1.33851 1.68/1.70 c bounds -54 >= -1257 @ 1.34328 1.68/1.70 c bounds -54 >= -1256 @ 1.34532 1.68/1.70 c bounds -54 >= -1255 @ 1.34713 1.68/1.70 c bounds -54 >= -1254 @ 1.34894 1.68/1.70 c bounds -54 >= -1253 @ 1.35076 1.68/1.70 c bounds -54 >= -1252 @ 1.35257 1.68/1.70 c bounds -54 >= -1251 @ 1.35438 1.68/1.70 c bounds -54 >= -1250 @ 1.35528 1.68/1.70 c bounds -54 >= -1249 @ 1.35705 1.68/1.70 c bounds -54 >= -1248 @ 1.35887 1.68/1.70 c bounds -54 >= -1247 @ 1.36068 1.68/1.70 c bounds -54 >= -1246 @ 1.3625 1.68/1.70 c bounds -54 >= -1245 @ 1.36336 1.68/1.70 c bounds -54 >= -1244 @ 1.36514 1.68/1.70 c bounds -54 >= -1243 @ 1.36695 1.68/1.70 c bounds -54 >= -1242 @ 1.36879 1.68/1.70 c bounds -54 >= -1241 @ 1.3706 1.68/1.70 c bounds -54 >= -1240 @ 1.3724 1.68/1.70 c bounds -54 >= -1239 @ 1.37421 1.68/1.70 c bounds -54 >= -1238 @ 1.37602 1.68/1.70 c bounds -54 >= -1237 @ 1.37784 1.68/1.70 c bounds -54 >= -1236 @ 1.37867 1.68/1.70 c bounds -54 >= -1235 @ 1.38048 1.68/1.70 c bounds -54 >= -1234 @ 1.38229 1.68/1.70 c bounds -54 >= -1233 @ 1.38409 1.68/1.70 c bounds -54 >= -1232 @ 1.38591 1.68/1.70 c bounds -54 >= -1231 @ 1.38773 1.68/1.70 c bounds -54 >= -1230 @ 1.38956 1.68/1.70 c bounds -54 >= -1229 @ 1.39136 1.68/1.70 c bounds -54 >= -1228 @ 1.39223 1.68/1.70 c bounds -54 >= -1227 @ 1.39397 1.68/1.70 c bounds -73 >= -1227 @ 1.39902 1.68/1.70 c bounds -73 >= -1226 @ 1.40101 1.68/1.70 c bounds -73 >= -1225 @ 1.40284 1.68/1.70 c bounds -73 >= -1224 @ 1.40467 1.68/1.70 c bounds -73 >= -1223 @ 1.4065 1.68/1.70 c bounds -73 >= -1222 @ 1.40833 1.68/1.70 c bounds -73 >= -1221 @ 1.4092 1.68/1.70 c bounds -73 >= -1220 @ 1.41096 1.68/1.70 c bounds -73 >= -1219 @ 1.41278 1.68/1.70 c bounds -73 >= -1218 @ 1.41461 1.68/1.70 c bounds -73 >= -1217 @ 1.41643 1.68/1.70 c bounds -73 >= -1216 @ 1.41728 1.68/1.70 c bounds -73 >= -1215 @ 1.41821 1.68/1.70 c bounds -73 >= -1214 @ 1.4204 1.68/1.70 c bounds -73 >= -1213 @ 1.42149 1.68/1.70 c bounds -73 >= -1212 @ 1.42347 1.68/1.70 c bounds -73 >= -1211 @ 1.42531 1.68/1.70 c bounds -73 >= -1210 @ 1.42617 1.68/1.70 c bounds -73 >= -1209 @ 1.42702 1.68/1.70 c bounds -73 >= -1208 @ 1.42879 1.68/1.70 c bounds -73 >= -1207 @ 1.43059 1.68/1.70 c bounds -73 >= -1206 @ 1.4324 1.68/1.70 c bounds -73 >= -1205 @ 1.43325 1.68/1.70 c bounds -73 >= -1204 @ 1.43501 1.68/1.70 c bounds -73 >= -1203 @ 1.43681 1.68/1.70 c bounds -73 >= -1202 @ 1.43865 1.68/1.70 c bounds -73 >= -1201 @ 1.44047 1.68/1.70 c bounds -73 >= -1200 @ 1.4418 1.68/1.70 c bounds -73 >= -1199 @ 1.44351 1.68/1.70 c bounds -73 >= -1198 @ 1.44532 1.68/1.70 c bounds -74 >= -1198 @ 1.44893 1.68/1.70 c bounds -74 >= -1197 @ 1.45092 1.68/1.70 c bounds -74 >= -1196 @ 1.45274 1.68/1.70 c bounds -74 >= -1195 @ 1.45455 1.68/1.70 c bounds -74 >= -1194 @ 1.45635 1.68/1.70 c bounds -74 >= -1193 @ 1.45718 1.68/1.70 c bounds -74 >= -1192 @ 1.45893 1.68/1.70 c bounds -74 >= -1191 @ 1.46072 1.68/1.70 c bounds -74 >= -1190 @ 1.46254 1.68/1.70 c bounds -74 >= -1189 @ 1.46434 1.68/1.70 c bounds -74 >= -1188 @ 1.4652 1.68/1.70 c bounds -74 >= -1187 @ 1.46606 1.68/1.70 c bounds -74 >= -1186 @ 1.46781 1.68/1.70 c bounds -74 >= -1185 @ 1.46964 1.68/1.70 c bounds -74 >= -1184 @ 1.47148 1.68/1.70 c bounds -74 >= -1183 @ 1.47331 1.68/1.70 c bounds -74 >= -1182 @ 1.47421 1.68/1.70 c bounds -74 >= -1181 @ 1.47508 1.87/1.99 c bounds -74 >= -1180 @ 1.47599 1.87/1.99 c bounds -74 >= -1179 @ 1.47688 1.87/1.99 c bounds -74 >= -1178 @ 1.47869 1.87/1.99 c bounds -74 >= -1177 @ 1.48055 1.87/1.99 c bounds -74 >= -1176 @ 1.48239 1.87/1.99 c bounds -74 >= -1175 @ 1.48426 1.87/1.99 c bounds -74 >= -1174 @ 1.48517 1.87/1.99 c bounds -74 >= -1173 @ 1.48703 1.87/1.99 c bounds -74 >= -1172 @ 1.48797 1.87/1.99 c bounds -74 >= -1171 @ 1.48982 1.87/1.99 c bounds -74 >= -1170 @ 1.49171 1.87/1.99 c bounds -74 >= -1169 @ 1.4927 1.87/1.99 c bounds -75 >= -1169 @ 1.49702 1.87/1.99 c bounds -75 >= -1168 @ 1.49809 1.87/1.99 c bounds -75 >= -1167 @ 1.49902 1.87/1.99 c bounds -75 >= -1166 @ 1.49994 1.87/1.99 c bounds -75 >= -1165 @ 1.5018 1.87/1.99 c bounds -75 >= -1164 @ 1.50371 1.87/1.99 c bounds -75 >= -1163 @ 1.50561 1.87/1.99 c bounds -75 >= -1162 @ 1.5075 1.87/1.99 c bounds -75 >= -1161 @ 1.50943 1.87/1.99 c bounds -75 >= -1160 @ 1.51033 1.87/1.99 c bounds -75 >= -1159 @ 1.51126 1.87/1.99 c bounds -75 >= -1158 @ 1.51315 1.87/1.99 c bounds -75 >= -1157 @ 1.51503 1.87/1.99 c bounds -75 >= -1156 @ 1.51695 1.87/1.99 c bounds -75 >= -1155 @ 1.51732 1.87/1.99 c bounds -75 >= -1154 @ 1.51876 1.87/1.99 c bounds -75 >= -1153 @ 1.52074 1.87/1.99 c bounds -75 >= -1152 @ 1.52281 1.87/1.99 c bounds -75 >= -1151 @ 1.52482 1.87/1.99 c bounds -76 >= -1151 @ 1.52893 1.87/1.99 c bounds -76 >= -1150 @ 1.53007 1.87/1.99 c bounds -76 >= -1149 @ 1.53206 1.87/1.99 c bounds -76 >= -1148 @ 1.53409 1.87/1.99 c bounds -76 >= -1147 @ 1.53603 1.87/1.99 c bounds -76 >= -1146 @ 1.53701 1.87/1.99 c bounds -76 >= -1145 @ 1.53795 1.87/1.99 c bounds -76 >= -1144 @ 1.53887 1.87/1.99 c bounds -76 >= -1143 @ 1.5398 1.87/1.99 c bounds -76 >= -1142 @ 1.54164 1.87/1.99 c bounds -76 >= -1141 @ 1.54357 1.87/1.99 c bounds -76 >= -1140 @ 1.54552 1.87/1.99 c bounds -76 >= -1139 @ 1.54745 1.87/1.99 c bounds -76 >= -1138 @ 1.54939 1.87/1.99 c bounds -76 >= -1137 @ 1.55145 1.87/1.99 c bounds -76 >= -1136 @ 1.55352 1.87/1.99 c bounds -76 >= -1135 @ 1.55559 1.87/1.99 c bounds -76 >= -1134 @ 1.55765 1.87/1.99 c bounds -77 >= -1134 @ 1.56201 1.87/1.99 c bounds -77 >= -1133 @ 1.56327 1.87/1.99 c bounds -77 >= -1132 @ 1.56537 1.87/1.99 c bounds -77 >= -1131 @ 1.56744 1.87/1.99 c bounds -77 >= -1130 @ 1.56953 1.87/1.99 c bounds -77 >= -1129 @ 1.57161 1.87/1.99 c bounds -77 >= -1128 @ 1.57375 1.87/1.99 c bounds -77 >= -1127 @ 1.57581 1.87/1.99 c bounds -77 >= -1126 @ 1.57788 1.87/1.99 c bounds -77 >= -1125 @ 1.57891 1.87/1.99 c bounds -77 >= -1124 @ 1.5799 1.87/1.99 c bounds -77 >= -1123 @ 1.58087 1.87/1.99 c bounds -77 >= -1122 @ 1.58187 1.87/1.99 c bounds -77 >= -1121 @ 1.58337 1.87/1.99 c bounds -77 >= -1120 @ 1.58532 1.87/1.99 c bounds -77 >= -1119 @ 1.58733 1.87/1.99 c bounds -77 >= -1118 @ 1.58933 1.87/1.99 c bounds -78 >= -1118 @ 1.59543 1.87/1.99 c bounds -78 >= -1117 @ 1.59758 1.87/1.99 c bounds -78 >= -1116 @ 1.59958 1.87/1.99 c bounds -78 >= -1115 @ 1.60011 1.87/1.99 c bounds -78 >= -1114 @ 1.60162 1.87/1.99 c bounds -78 >= -1113 @ 1.6027 1.87/1.99 c bounds -78 >= -1112 @ 1.60372 1.87/1.99 c bounds -78 >= -1111 @ 1.60474 1.87/1.99 c bounds -78 >= -1110 @ 1.60576 1.87/1.99 c bounds -78 >= -1109 @ 1.60679 1.87/1.99 c bounds -78 >= -1108 @ 1.60782 1.87/1.99 c bounds -78 >= -1107 @ 1.60885 1.87/1.99 c bounds -78 >= -1106 @ 1.61087 1.87/1.99 c bounds -78 >= -1105 @ 1.61194 1.87/1.99 c bounds -78 >= -1104 @ 1.61396 1.87/1.99 c bounds -78 >= -1103 @ 1.615 1.87/1.99 c bounds -78 >= -1102 @ 1.61701 1.87/1.99 c bounds -79 >= -1102 @ 1.62038 1.87/1.99 c bounds -79 >= -1101 @ 1.62255 1.87/1.99 c bounds -79 >= -1100 @ 1.62365 1.87/1.99 c bounds -79 >= -1099 @ 1.6247 1.87/1.99 c bounds -79 >= -1098 @ 1.6267 1.87/1.99 c bounds -79 >= -1097 @ 1.62778 1.87/1.99 c bounds -79 >= -1096 @ 1.62882 1.87/1.99 c bounds -79 >= -1095 @ 1.62987 1.87/1.99 c bounds -79 >= -1094 @ 1.63189 1.87/1.99 c bounds -79 >= -1093 @ 1.63393 1.87/1.99 c bounds -79 >= -1092 @ 1.636 1.87/1.99 c bounds -79 >= -1091 @ 1.63809 1.87/1.99 c bounds -79 >= -1090 @ 1.64019 1.87/1.99 c bounds -79 >= -1089 @ 1.64228 1.87/1.99 c bounds -79 >= -1088 @ 1.64438 1.87/1.99 c bounds -79 >= -1087 @ 1.64552 1.87/1.99 c bounds -79 >= -1086 @ 1.64659 1.87/1.99 c bounds -79 >= -1085 @ 1.64767 1.87/1.99 c bounds -80 >= -1085 @ 1.6517 1.87/1.99 c bounds -80 >= -1084 @ 1.65392 1.87/1.99 c bounds -80 >= -1083 @ 1.65603 1.87/1.99 c bounds -80 >= -1082 @ 1.65725 1.87/1.99 c bounds -80 >= -1081 @ 1.65923 1.87/1.99 c bounds -80 >= -1080 @ 1.66132 1.87/1.99 c bounds -80 >= -1079 @ 1.66341 1.87/1.99 c bounds -80 >= -1078 @ 1.66457 1.87/1.99 c bounds -80 >= -1077 @ 1.66662 1.87/1.99 c bounds -80 >= -1076 @ 1.66775 1.87/1.99 c bounds -80 >= -1075 @ 1.66983 1.87/1.99 c bounds -80 >= -1074 @ 1.67194 1.87/1.99 c bounds -80 >= -1073 @ 1.67409 1.87/1.99 c bounds -80 >= -1072 @ 1.67623 1.87/1.99 c bounds -80 >= -1071 @ 1.67837 1.87/1.99 c bounds -80 >= -1070 @ 1.67959 1.87/1.99 c bounds -80 >= -1069 @ 1.68071 1.87/1.99 c bounds -80 >= -1068 @ 1.68183 1.87/1.99 c bounds -80 >= -1067 @ 1.68397 1.87/1.99 c bounds -80 >= -1066 @ 1.68613 1.87/1.99 c bounds -81 >= -1066 @ 1.68903 1.87/1.99 c bounds -81 >= -1065 @ 1.69134 1.87/1.99 c bounds -81 >= -1064 @ 1.69257 1.87/1.99 c bounds -81 >= -1063 @ 1.69372 1.87/1.99 c bounds -81 >= -1062 @ 1.69586 1.87/1.99 c bounds -81 >= -1061 @ 1.69802 1.87/1.99 c bounds -81 >= -1060 @ 1.70022 1.87/1.99 c bounds -81 >= -1059 @ 1.70145 2.17/2.28 c bounds -81 >= -1058 @ 1.70227 2.17/2.28 c bounds -81 >= -1057 @ 1.70396 2.17/2.28 c bounds -81 >= -1056 @ 1.70575 2.17/2.28 c bounds -81 >= -1055 @ 1.70756 2.17/2.28 c bounds -81 >= -1054 @ 1.70845 2.17/2.28 c bounds -81 >= -1053 @ 1.70932 2.17/2.28 c bounds -81 >= -1052 @ 1.71014 2.17/2.28 c bounds -81 >= -1051 @ 1.71183 2.17/2.28 c bounds -82 >= -1051 @ 1.71408 2.17/2.28 c bounds -82 >= -1050 @ 1.71602 2.17/2.28 c bounds -82 >= -1049 @ 1.71784 2.17/2.28 c bounds -82 >= -1048 @ 1.71973 2.17/2.28 c bounds -82 >= -1047 @ 1.72157 2.17/2.28 c bounds -82 >= -1046 @ 1.72249 2.17/2.28 c bounds -82 >= -1045 @ 1.72341 2.17/2.28 c bounds -82 >= -1044 @ 1.72565 2.17/2.28 c bounds -82 >= -1043 @ 1.72655 2.17/2.28 c bounds -82 >= -1042 @ 1.72741 2.17/2.28 c bounds -82 >= -1041 @ 1.72919 2.17/2.28 c bounds -82 >= -1040 @ 1.73012 2.17/2.28 c bounds -82 >= -1039 @ 1.73186 2.17/2.28 c bounds -82 >= -1038 @ 1.73371 2.17/2.28 c bounds -82 >= -1037 @ 1.73553 2.17/2.28 c bounds -83 >= -1037 @ 1.7375 2.17/2.28 c bounds -83 >= -1036 @ 1.73944 2.17/2.28 c bounds -83 >= -1035 @ 1.74033 2.17/2.28 c bounds -83 >= -1034 @ 1.74119 2.17/2.28 c bounds -83 >= -1033 @ 1.74294 2.17/2.28 c bounds -83 >= -1032 @ 1.74478 2.17/2.28 c bounds -83 >= -1031 @ 1.74661 2.17/2.28 c bounds -83 >= -1030 @ 1.74749 2.17/2.28 c bounds -83 >= -1029 @ 1.74836 2.17/2.28 c bounds -83 >= -1028 @ 1.74923 2.17/2.28 c bounds -83 >= -1027 @ 1.7501 2.17/2.28 c bounds -83 >= -1026 @ 1.75182 2.17/2.28 c bounds -83 >= -1025 @ 1.75368 2.17/2.28 c bounds -83 >= -1024 @ 1.75552 2.17/2.28 c bounds -83 >= -1023 @ 1.75642 2.17/2.28 c bounds -84 >= -1023 @ 1.75844 2.17/2.28 c bounds -84 >= -1022 @ 1.75945 2.17/2.28 c bounds -84 >= -1021 @ 1.76033 2.17/2.28 c bounds -84 >= -1020 @ 1.7612 2.17/2.28 c bounds -84 >= -1019 @ 1.76207 2.17/2.28 c bounds -84 >= -1018 @ 1.76387 2.17/2.28 c bounds -84 >= -1017 @ 1.76573 2.17/2.28 c bounds -84 >= -1016 @ 1.76763 2.17/2.28 c bounds -84 >= -1015 @ 1.76958 2.17/2.28 c bounds -84 >= -1014 @ 1.77154 2.17/2.28 c bounds -84 >= -1013 @ 1.77351 2.17/2.28 c bounds -84 >= -1012 @ 1.77444 2.17/2.28 c bounds -84 >= -1011 @ 1.77535 2.17/2.28 c bounds -84 >= -1010 @ 1.77627 2.17/2.28 c bounds -85 >= -1010 @ 1.77931 2.17/2.28 c bounds -85 >= -1009 @ 1.78043 2.17/2.28 c bounds -85 >= -1008 @ 1.78138 2.17/2.28 c bounds -85 >= -1007 @ 1.78327 2.17/2.28 c bounds -85 >= -1006 @ 1.78426 2.17/2.28 c bounds -85 >= -1005 @ 1.78612 2.17/2.28 c bounds -85 >= -1004 @ 1.78715 2.17/2.28 c bounds -85 >= -1003 @ 1.78811 2.17/2.28 c bounds -85 >= -1002 @ 1.78907 2.17/2.28 c bounds -85 >= -1001 @ 1.79 2.17/2.28 c bounds -85 >= -1000 @ 1.79094 2.17/2.28 c bounds -85 >= -999 @ 1.79278 2.17/2.28 c bounds -86 >= -999 @ 1.79487 2.17/2.28 c bounds -86 >= -998 @ 1.79678 2.17/2.28 c bounds -86 >= -997 @ 1.79876 2.17/2.28 c bounds -86 >= -996 @ 1.80071 2.17/2.28 c bounds -86 >= -995 @ 1.80268 2.17/2.28 c bounds -86 >= -994 @ 1.80463 2.17/2.28 c bounds -86 >= -993 @ 1.80658 2.17/2.28 c bounds -86 >= -992 @ 1.80854 2.17/2.28 c bounds -86 >= -991 @ 1.81053 2.17/2.28 c bounds -86 >= -990 @ 1.81248 2.17/2.28 c bounds -86 >= -989 @ 1.81347 2.17/2.28 c bounds -87 >= -989 @ 1.81455 2.17/2.28 c bounds -87 >= -988 @ 1.81557 2.17/2.28 c bounds -87 >= -987 @ 1.81758 2.17/2.28 c bounds -87 >= -986 @ 1.81953 2.17/2.28 c bounds -87 >= -985 @ 1.82051 2.17/2.28 c bounds -87 >= -984 @ 1.82249 2.17/2.28 c bounds -87 >= -983 @ 1.8245 2.17/2.28 c bounds -87 >= -982 @ 1.82657 2.17/2.28 c bounds -87 >= -981 @ 1.82856 2.17/2.28 c bounds -87 >= -980 @ 1.83061 2.17/2.28 c bounds -87 >= -979 @ 1.83268 2.17/2.28 c bounds -88 >= -979 @ 1.83576 2.17/2.28 c bounds -88 >= -978 @ 1.83773 2.17/2.28 c bounds -88 >= -977 @ 1.83894 2.17/2.28 c bounds -88 >= -976 @ 1.84001 2.17/2.28 c bounds -88 >= -975 @ 1.84049 2.17/2.28 c bounds -88 >= -974 @ 1.84213 2.17/2.28 c bounds -88 >= -973 @ 1.84422 2.17/2.28 c bounds -88 >= -972 @ 1.84535 2.17/2.28 c bounds -88 >= -971 @ 1.84637 2.17/2.28 c bounds -88 >= -970 @ 1.84739 2.17/2.28 c bounds -88 >= -969 @ 1.84842 2.17/2.28 c bounds -89 >= -969 @ 1.85055 2.17/2.28 c bounds -89 >= -968 @ 1.85271 2.17/2.28 c bounds -89 >= -967 @ 1.85386 2.17/2.28 c bounds -89 >= -966 @ 1.85594 2.17/2.28 c bounds -89 >= -965 @ 1.85707 2.17/2.28 c bounds -89 >= -964 @ 1.85811 2.17/2.28 c bounds -89 >= -963 @ 1.85844 2.17/2.28 c bounds -89 >= -962 @ 1.85928 2.17/2.28 c bounds -89 >= -961 @ 1.86033 2.17/2.28 c bounds -89 >= -960 @ 1.86239 2.17/2.28 c bounds -90 >= -960 @ 1.8647 2.17/2.28 c bounds -90 >= -959 @ 1.86592 2.17/2.28 c bounds -90 >= -958 @ 1.86792 2.17/2.28 c bounds -90 >= -957 @ 1.87001 2.17/2.28 c bounds -90 >= -956 @ 1.87114 2.17/2.28 c bounds -90 >= -955 @ 1.87222 2.17/2.28 c bounds -90 >= -954 @ 1.87427 2.17/2.28 c bounds -90 >= -953 @ 1.87538 2.17/2.28 c bounds -90 >= -952 @ 1.87747 2.17/2.28 c bounds -90 >= -951 @ 1.87955 2.17/2.28 c bounds -91 >= -951 @ 1.88461 2.17/2.28 c bounds -91 >= -950 @ 1.88594 2.17/2.28 c bounds -91 >= -949 @ 1.8871 2.17/2.28 c bounds -91 >= -948 @ 1.88823 2.17/2.28 c bounds -91 >= -947 @ 1.89032 2.17/2.28 c bounds -91 >= -946 @ 1.89246 2.17/2.28 c bounds -91 >= -945 @ 1.89459 2.17/2.28 c bounds -91 >= -944 @ 1.89586 2.17/2.28 c bounds -91 >= -943 @ 1.89698 2.17/2.28 c bounds -91 >= -942 @ 1.89809 2.17/2.28 c bounds -92 >= -942 @ 1.90009 2.17/2.28 c bounds -92 >= -941 @ 1.90136 2.17/2.28 c bounds -92 >= -940 @ 1.90356 2.57/2.62 c bounds -92 >= -939 @ 1.90481 2.57/2.62 c bounds -92 >= -938 @ 1.90595 2.57/2.62 c bounds -92 >= -937 @ 1.90802 2.57/2.62 c bounds -92 >= -936 @ 1.91016 2.57/2.62 c bounds -92 >= -935 @ 1.91131 2.57/2.62 c bounds -92 >= -934 @ 1.91349 2.57/2.62 c bounds -93 >= -934 @ 1.91663 2.57/2.62 c bounds -93 >= -933 @ 1.91801 2.57/2.62 c bounds -93 >= -932 @ 1.91916 2.57/2.62 c bounds -93 >= -931 @ 1.92139 2.57/2.62 c bounds -93 >= -930 @ 1.92268 2.57/2.62 c bounds -93 >= -929 @ 1.92381 2.57/2.62 c bounds -93 >= -928 @ 1.9259 2.57/2.62 c bounds -93 >= -927 @ 1.92811 2.57/2.62 c bounds -93 >= -926 @ 1.92929 2.57/2.62 c bounds -94 >= -926 @ 1.9334 2.57/2.62 c bounds -94 >= -925 @ 1.93483 2.57/2.62 c bounds -94 >= -924 @ 1.93698 2.57/2.62 c bounds -94 >= -923 @ 1.93822 2.57/2.62 c bounds -94 >= -922 @ 1.94042 2.57/2.62 c bounds -94 >= -921 @ 1.94174 2.57/2.62 c bounds -94 >= -920 @ 1.94291 2.57/2.62 c bounds -94 >= -919 @ 1.94406 2.57/2.62 c bounds -94 >= -918 @ 1.94422 2.57/2.62 c bounds -95 >= -918 @ 1.94728 2.57/2.62 c bounds -95 >= -917 @ 1.94869 2.57/2.62 c bounds -95 >= -916 @ 1.95084 2.57/2.62 c bounds -95 >= -915 @ 1.95206 2.57/2.62 c bounds -95 >= -914 @ 1.95326 2.57/2.62 c bounds -95 >= -913 @ 1.95458 2.57/2.62 c bounds -95 >= -912 @ 1.95666 2.57/2.62 c bounds -95 >= -911 @ 1.95792 2.57/2.62 c bounds -96 >= -911 @ 1.96202 2.57/2.62 c bounds -96 >= -910 @ 1.96437 2.57/2.62 c bounds -96 >= -909 @ 1.9657 2.57/2.62 c bounds -96 >= -908 @ 1.96821 2.57/2.62 c bounds -96 >= -907 @ 1.96916 2.57/2.62 c bounds -96 >= -906 @ 1.97067 2.57/2.62 c bounds -96 >= -905 @ 1.97194 2.57/2.62 c bounds -96 >= -904 @ 1.97409 2.57/2.62 c bounds -96 >= -903 @ 1.97628 2.57/2.62 c bounds -97 >= -903 @ 1.9803 2.57/2.62 c bounds -97 >= -902 @ 1.98171 2.57/2.62 c bounds -97 >= -901 @ 1.98294 2.57/2.62 c bounds -97 >= -900 @ 1.98418 2.57/2.62 c bounds -97 >= -899 @ 1.98643 2.57/2.62 c bounds -97 >= -898 @ 1.98711 2.57/2.62 c bounds -97 >= -897 @ 1.98792 2.57/2.62 c bounds -97 >= -896 @ 1.98914 2.57/2.62 c bounds -98 >= -896 @ 1.99223 2.57/2.62 c bounds -98 >= -895 @ 1.99371 2.57/2.62 c bounds -98 >= -894 @ 1.99496 2.57/2.62 c bounds -98 >= -893 @ 1.99721 2.57/2.62 c bounds -98 >= -892 @ 1.99857 2.57/2.62 c bounds -98 >= -891 @ 1.99977 2.57/2.62 c bounds -98 >= -890 @ 2.00198 2.57/2.62 c bounds -98 >= -889 @ 2.00322 2.57/2.62 c bounds -98 >= -888 @ 2.00455 2.57/2.62 c bounds -99 >= -888 @ 2.00753 2.57/2.62 c bounds -99 >= -887 @ 2.00894 2.57/2.62 c bounds -99 >= -886 @ 2.0113 2.57/2.62 c bounds -99 >= -885 @ 2.01275 2.57/2.62 c bounds -99 >= -884 @ 2.01404 2.57/2.62 c bounds -99 >= -883 @ 2.0153 2.57/2.62 c bounds -99 >= -882 @ 2.01665 2.57/2.62 c bounds -99 >= -881 @ 2.01885 2.57/2.62 c bounds -100 >= -881 @ 2.02092 2.57/2.62 c bounds -100 >= -880 @ 2.02236 2.57/2.62 c bounds -100 >= -879 @ 2.02372 2.57/2.62 c bounds -100 >= -878 @ 2.02592 2.57/2.62 c bounds -100 >= -877 @ 2.02722 2.57/2.62 c bounds -100 >= -876 @ 2.02856 2.57/2.62 c bounds -100 >= -875 @ 2.03072 2.57/2.62 c bounds -100 >= -874 @ 2.03201 2.57/2.62 c bounds -101 >= -874 @ 2.03704 2.57/2.62 c bounds -101 >= -873 @ 2.03859 2.57/2.62 c bounds -101 >= -872 @ 2.0399 2.57/2.62 c bounds -101 >= -871 @ 2.0412 2.57/2.62 c bounds -101 >= -870 @ 2.04257 2.57/2.62 c bounds -101 >= -869 @ 2.04403 2.57/2.62 c bounds -101 >= -868 @ 2.04542 2.57/2.62 c bounds -101 >= -867 @ 2.04664 2.57/2.62 c bounds -102 >= -867 @ 2.04962 2.57/2.62 c bounds -102 >= -866 @ 2.05096 2.57/2.62 c bounds -102 >= -865 @ 2.05326 2.57/2.62 c bounds -102 >= -864 @ 2.05463 2.57/2.62 c bounds -102 >= -863 @ 2.05586 2.57/2.62 c bounds -102 >= -862 @ 2.05711 2.57/2.62 c bounds -102 >= -861 @ 2.05843 2.57/2.62 c bounds -102 >= -860 @ 2.05961 2.57/2.62 c bounds -103 >= -860 @ 2.06247 2.57/2.62 c bounds -103 >= -859 @ 2.06295 2.57/2.62 c bounds -103 >= -858 @ 2.06433 2.57/2.62 c bounds -103 >= -857 @ 2.06563 2.57/2.62 c bounds -103 >= -856 @ 2.0669 2.57/2.62 c bounds -103 >= -855 @ 2.06919 2.57/2.62 c bounds -103 >= -854 @ 2.07144 2.57/2.62 c bounds -103 >= -853 @ 2.07275 2.57/2.62 c bounds -104 >= -853 @ 2.07525 2.57/2.62 c bounds -104 >= -852 @ 2.0776 2.57/2.62 c bounds -104 >= -851 @ 2.07889 2.57/2.62 c bounds -104 >= -850 @ 2.08031 2.57/2.62 c bounds -104 >= -849 @ 2.08154 2.57/2.62 c bounds -104 >= -848 @ 2.08278 2.57/2.62 c bounds -104 >= -847 @ 2.08404 2.57/2.62 c bounds -104 >= -846 @ 2.08545 2.57/2.62 c bounds -104 >= -845 @ 2.08589 2.57/2.62 c bounds -104 >= -844 @ 2.08692 2.57/2.62 c bounds -104 >= -843 @ 2.08922 2.57/2.62 c bounds -105 >= -843 @ 2.09132 2.57/2.62 c bounds -105 >= -842 @ 2.09267 2.57/2.62 c bounds -105 >= -841 @ 2.09495 2.57/2.62 c bounds -105 >= -840 @ 2.09728 2.57/2.62 c bounds -105 >= -839 @ 2.09862 2.57/2.62 c bounds -105 >= -838 @ 2.10087 2.57/2.62 c bounds -105 >= -837 @ 2.10233 2.57/2.62 c bounds -105 >= -836 @ 2.10409 2.57/2.62 c bounds -106 >= -836 @ 2.10693 2.57/2.62 c bounds -106 >= -835 @ 2.10844 2.57/2.62 c bounds -106 >= -834 @ 2.10971 2.57/2.62 c bounds -106 >= -833 @ 2.11104 2.57/2.62 c bounds -106 >= -832 @ 2.11241 2.57/2.62 c bounds -106 >= -831 @ 2.11462 2.57/2.62 c bounds -106 >= -830 @ 2.11595 2.57/2.62 c bounds -106 >= -829 @ 2.1174 2.57/2.62 c bounds -107 >= -829 @ 2.1215 2.57/2.62 c bounds -107 >= -828 @ 2.12391 2.57/2.62 c bounds -107 >= -827 @ 2.12538 2.57/2.62 c bounds -107 >= -826 @ 2.12667 2.57/2.62 c bounds -107 >= -825 @ 2.12805 2.98/3.04 c bounds -107 >= -824 @ 2.1304 2.98/3.04 c bounds -107 >= -823 @ 2.13173 2.98/3.04 c bounds -108 >= -823 @ 2.13565 2.98/3.04 c bounds -108 >= -822 @ 2.13713 2.98/3.04 c bounds -108 >= -821 @ 2.13948 2.98/3.04 c bounds -108 >= -820 @ 2.14094 2.98/3.04 c bounds -108 >= -819 @ 2.14322 2.98/3.04 c bounds -108 >= -818 @ 2.14458 2.98/3.04 c bounds -108 >= -817 @ 2.14684 2.98/3.04 c bounds -109 >= -817 @ 2.14881 2.98/3.04 c bounds -109 >= -816 @ 2.15026 2.98/3.04 c bounds -109 >= -815 @ 2.15256 2.98/3.04 c bounds -109 >= -814 @ 2.1539 2.98/3.04 c bounds -109 >= -813 @ 2.15526 2.98/3.04 c bounds -109 >= -812 @ 2.15746 2.98/3.04 c bounds -109 >= -811 @ 2.15883 2.98/3.04 c bounds -110 >= -811 @ 2.16371 2.98/3.04 c bounds -110 >= -810 @ 2.16528 2.98/3.04 c bounds -110 >= -809 @ 2.16569 2.98/3.04 c bounds -110 >= -808 @ 2.16686 2.98/3.04 c bounds -110 >= -807 @ 2.16828 2.98/3.04 c bounds -110 >= -806 @ 2.16953 2.98/3.04 c bounds -110 >= -805 @ 2.17081 2.98/3.04 c bounds -111 >= -805 @ 2.17375 2.98/3.04 c bounds -111 >= -804 @ 2.17529 2.98/3.04 c bounds -111 >= -803 @ 2.17653 2.98/3.04 c bounds -111 >= -802 @ 2.17778 2.98/3.04 c bounds -111 >= -801 @ 2.17866 2.98/3.04 c bounds -111 >= -800 @ 2.17942 2.98/3.04 c bounds -111 >= -799 @ 2.18069 2.98/3.04 c bounds -111 >= -798 @ 2.18214 2.98/3.04 c bounds -112 >= -798 @ 2.18413 2.98/3.04 c bounds -112 >= -797 @ 2.18549 2.98/3.04 c bounds -112 >= -796 @ 2.1877 2.98/3.04 c bounds -112 >= -795 @ 2.18994 2.98/3.04 c bounds -112 >= -794 @ 2.19219 2.98/3.04 c bounds -112 >= -793 @ 2.19353 2.98/3.04 c bounds -112 >= -792 @ 2.19581 2.98/3.04 c bounds -113 >= -792 @ 2.19794 2.98/3.04 c bounds -113 >= -791 @ 2.19932 2.98/3.04 c bounds -113 >= -790 @ 2.20055 2.98/3.04 c bounds -113 >= -789 @ 2.20188 2.98/3.04 c bounds -113 >= -788 @ 2.20419 2.98/3.04 c bounds -113 >= -787 @ 2.20552 2.98/3.04 c bounds -113 >= -786 @ 2.20696 2.98/3.04 c bounds -114 >= -786 @ 2.21171 2.98/3.04 c bounds -114 >= -785 @ 2.21417 2.98/3.04 c bounds -114 >= -784 @ 2.21652 2.98/3.04 c bounds -114 >= -783 @ 2.21886 2.98/3.04 c bounds -114 >= -782 @ 2.22028 2.98/3.04 c bounds -114 >= -781 @ 2.2215 2.98/3.04 c bounds -114 >= -780 @ 2.22279 2.98/3.04 c bounds -115 >= -780 @ 2.22486 2.98/3.04 c bounds -115 >= -779 @ 2.22625 2.98/3.04 c bounds -115 >= -778 @ 2.22853 2.98/3.04 c bounds -115 >= -777 @ 2.23087 2.98/3.04 c bounds -115 >= -776 @ 2.23228 2.98/3.04 c bounds -115 >= -775 @ 2.23455 2.98/3.04 c bounds -115 >= -774 @ 2.23686 2.98/3.04 c bounds -116 >= -774 @ 2.23952 2.98/3.04 c bounds -116 >= -773 @ 2.24077 2.98/3.04 c bounds -116 >= -772 @ 2.24222 2.98/3.04 c bounds -116 >= -771 @ 2.24355 2.98/3.04 c bounds -116 >= -770 @ 2.24502 2.98/3.04 c bounds -116 >= -769 @ 2.24724 2.98/3.04 c bounds -116 >= -768 @ 2.24863 2.98/3.04 c bounds -116 >= -767 @ 2.2501 2.98/3.04 c bounds -117 >= -767 @ 2.25313 2.98/3.04 c bounds -117 >= -766 @ 2.25407 2.98/3.04 c bounds -117 >= -765 @ 2.25542 2.98/3.04 c bounds -117 >= -764 @ 2.25678 2.98/3.04 c bounds -117 >= -763 @ 2.25828 2.98/3.04 c bounds -117 >= -762 @ 2.25965 2.98/3.04 c bounds -117 >= -761 @ 2.26114 2.98/3.04 c bounds -117 >= -760 @ 2.26249 2.98/3.04 c bounds -118 >= -760 @ 2.26627 2.98/3.04 c bounds -118 >= -759 @ 2.267 2.98/3.04 c bounds -118 >= -758 @ 2.26861 2.98/3.04 c bounds -118 >= -757 @ 2.2704 2.98/3.04 c bounds -118 >= -756 @ 2.27124 2.98/3.04 c bounds -118 >= -755 @ 2.27318 2.98/3.04 c bounds -118 >= -754 @ 2.27417 2.98/3.04 c bounds -118 >= -753 @ 2.27512 2.98/3.04 c bounds -119 >= -753 @ 2.27852 2.98/3.04 c bounds -119 >= -752 @ 2.28168 2.98/3.04 c bounds -119 >= -751 @ 2.28462 2.98/3.04 c bounds -119 >= -750 @ 2.28783 2.98/3.04 c bounds -119 >= -749 @ 2.29129 2.98/3.04 c bounds -119 >= -748 @ 2.2931 2.98/3.04 c bounds -119 >= -747 @ 2.29482 2.98/3.04 c bounds -119 >= -746 @ 2.29739 2.98/3.04 c bounds -123 >= -746 @ 2.30065 2.98/3.04 c bounds -123 >= -745 @ 2.30299 2.98/3.04 c bounds -123 >= -744 @ 2.30499 2.98/3.04 c bounds -123 >= -743 @ 2.30808 2.98/3.04 c bounds -123 >= -742 @ 2.31025 2.98/3.04 c bounds -124 >= -742 @ 2.31335 2.98/3.04 c bounds -124 >= -741 @ 2.31611 2.98/3.04 c bounds -124 >= -740 @ 2.31739 2.98/3.04 c bounds -124 >= -739 @ 2.32031 2.98/3.04 c bounds -131 >= -739 @ 2.32192 2.98/3.04 c bounds -131 >= -738 @ 2.32272 2.98/3.04 c bounds -131 >= -737 @ 2.3241 2.98/3.04 c bounds -131 >= -736 @ 2.32638 2.98/3.04 c bounds -131 >= -735 @ 2.32877 2.98/3.04 c bounds -132 >= -735 @ 2.33265 2.98/3.04 c bounds -132 >= -734 @ 2.33398 2.98/3.04 c bounds -132 >= -733 @ 2.33526 2.98/3.04 c bounds -132 >= -732 @ 2.33774 2.98/3.04 c bounds -132 >= -731 @ 2.33895 2.98/3.04 c bounds -132 >= -730 @ 2.34006 2.98/3.04 c bounds -132 >= -729 @ 2.34179 2.98/3.04 c bounds -132 >= -728 @ 2.34403 2.98/3.04 c bounds -133 >= -728 @ 2.34923 2.98/3.04 c bounds -133 >= -727 @ 2.35172 2.98/3.04 c bounds -133 >= -726 @ 2.3548 2.98/3.04 c bounds -133 >= -725 @ 2.35631 2.98/3.04 c bounds -133 >= -724 @ 2.35966 2.98/3.04 c bounds -133 >= -723 @ 2.36099 2.98/3.04 c bounds -133 >= -722 @ 2.36123 2.98/3.04 c bounds -134 >= -722 @ 2.36428 2.98/3.04 c bounds -134 >= -721 @ 2.36662 2.98/3.04 c bounds -134 >= -720 @ 2.36931 2.98/3.04 c bounds -134 >= -719 @ 2.37173 2.98/3.04 c bounds -134 >= -718 @ 2.37418 2.98/3.04 c bounds -134 >= -717 @ 2.37651 2.98/3.04 c bounds -134 >= -716 @ 2.37769 2.98/3.04 c bounds -135 >= -716 @ 2.38161 2.98/3.04 c bounds -135 >= -715 @ 2.38476 4.27/4.35 c bounds -135 >= -714 @ 2.38716 4.27/4.35 c bounds -135 >= -713 @ 2.38928 4.27/4.35 c bounds -135 >= -712 @ 2.39046 4.27/4.35 c bounds -135 >= -711 @ 2.39226 4.27/4.35 c bounds -135 >= -710 @ 2.39526 4.27/4.35 c bounds -135 >= -709 @ 2.39695 4.27/4.35 c bounds -136 >= -709 @ 2.40092 4.27/4.35 c bounds -136 >= -708 @ 2.40296 4.27/4.35 c bounds -136 >= -707 @ 2.40398 4.27/4.35 c bounds -136 >= -706 @ 2.40489 4.27/4.35 c bounds -136 >= -705 @ 2.40725 4.27/4.35 c bounds -137 >= -705 @ 2.41068 4.27/4.35 c bounds -137 >= -704 @ 2.41187 4.27/4.35 c bounds -137 >= -703 @ 2.41524 4.27/4.35 c bounds -137 >= -702 @ 2.41723 4.27/4.35 c bounds -137 >= -701 @ 2.42673 4.27/4.35 c bounds -138 >= -701 @ 2.42933 4.27/4.35 c bounds -139 >= -701 @ 2.43176 4.27/4.35 c bounds -139 >= -700 @ 2.43502 4.27/4.35 c bounds -139 >= -699 @ 2.44188 4.27/4.35 c bounds -140 >= -699 @ 2.44529 4.27/4.35 c bounds -141 >= -699 @ 2.44692 4.27/4.35 c bounds -141 >= -698 @ 2.45178 4.27/4.35 c bounds -142 >= -698 @ 2.4551 4.27/4.35 c bounds -143 >= -698 @ 2.45878 4.27/4.35 c bounds -143 >= -697 @ 2.46596 4.27/4.35 c bounds -144 >= -697 @ 2.4711 4.27/4.35 c bounds -145 >= -697 @ 2.47462 4.27/4.35 c bounds -145 >= -696 @ 2.47866 4.27/4.35 c bounds -146 >= -696 @ 2.4809 4.27/4.35 c bounds -146 >= -695 @ 2.49015 4.27/4.35 c bounds -147 >= -695 @ 2.49348 4.27/4.35 c bounds -148 >= -695 @ 2.49591 4.27/4.35 c bounds -149 >= -695 @ 2.49752 4.27/4.35 c bounds -149 >= -694 @ 2.50718 4.27/4.35 c bounds -150 >= -694 @ 2.51153 4.27/4.35 c bounds -151 >= -694 @ 2.51434 4.27/4.35 c bounds -152 >= -694 @ 2.51615 4.27/4.35 c bounds -152 >= -693 @ 2.54633 4.27/4.35 c bounds -153 >= -693 @ 2.55068 4.27/4.35 c bounds -154 >= -693 @ 2.55593 4.27/4.35 c bounds -155 >= -693 @ 2.55816 4.27/4.35 c bounds -156 >= -693 @ 2.56311 4.27/4.35 c bounds -157 >= -693 @ 2.56799 4.27/4.35 c bounds -158 >= -693 @ 2.57143 4.27/4.35 c bounds -159 >= -693 @ 2.57483 4.27/4.35 c bounds -160 >= -693 @ 2.57708 4.27/4.35 c bounds -161 >= -693 @ 2.57958 4.27/4.35 c bounds -163 >= -693 @ 2.58297 4.27/4.35 c bounds -164 >= -693 @ 2.58726 4.27/4.35 c #Conflicts: 1000 | #Constraints: 11449 4.27/4.35 c bounds -164 >= -692 @ 2.64084 4.27/4.35 c bounds -165 >= -692 @ 2.64603 4.27/4.35 c bounds -166 >= -692 @ 2.6498 4.27/4.35 c bounds -167 >= -692 @ 2.66015 4.27/4.35 c bounds -168 >= -692 @ 2.67643 4.27/4.35 c bounds -169 >= -692 @ 2.70254 4.27/4.35 c bounds -170 >= -692 @ 2.72469 4.27/4.35 c bounds -171 >= -692 @ 2.7451 4.27/4.35 c bounds -172 >= -692 @ 2.75313 4.27/4.35 c bounds -172 >= -691 @ 2.75522 4.27/4.35 c bounds -173 >= -691 @ 2.77285 4.27/4.35 c bounds -173 >= -690 @ 2.78001 4.27/4.35 c bounds -173 >= -689 @ 2.78858 4.27/4.35 c bounds -174 >= -689 @ 2.80367 4.27/4.35 c bounds -174 >= -688 @ 2.83177 4.27/4.35 c bounds -175 >= -688 @ 2.85003 4.27/4.35 c bounds -176 >= -688 @ 2.86163 4.27/4.35 c bounds -177 >= -688 @ 2.86986 4.27/4.35 c bounds -177 >= -687 @ 2.90627 4.27/4.35 c bounds -178 >= -687 @ 2.91416 4.27/4.35 c bounds -180 >= -687 @ 2.92012 4.27/4.35 c bounds -181 >= -687 @ 2.92841 4.27/4.35 c bounds -182 >= -687 @ 2.93457 4.27/4.35 c bounds -183 >= -687 @ 2.94322 4.27/4.35 c bounds -184 >= -687 @ 2.97433 4.27/4.35 c #Conflicts: 2000 | #Constraints: 12687 4.27/4.35 c INPROCESSING 4.27/4.35 c GARBAGE COLLECT 4.27/4.35 c rational objective -687 12.15/12.25 c bounds -186 >= -687 @ 3.47829 12.15/12.25 c bounds -187 >= -687 @ 3.49684 12.15/12.25 c bounds -188 >= -687 @ 3.50538 12.15/12.25 c bounds -189 >= -687 @ 3.51419 12.15/12.25 c bounds -190 >= -687 @ 3.52275 12.15/12.25 c #Conflicts: 3000 | #Constraints: 11415 12.15/12.25 c bounds -190 >= -686 @ 3.687 12.15/12.25 c bounds -191 >= -686 @ 3.69574 12.15/12.25 c bounds -192 >= -686 @ 3.70213 12.15/12.25 c bounds -193 >= -686 @ 3.70773 12.15/12.25 c bounds -194 >= -686 @ 3.71335 12.15/12.25 c bounds -195 >= -686 @ 3.71983 12.15/12.25 c bounds -196 >= -686 @ 3.72294 12.15/12.25 c bounds -197 >= -686 @ 3.72621 12.15/12.25 c bounds -199 >= -686 @ 3.73137 12.15/12.25 c bounds -201 >= -686 @ 3.73745 12.15/12.25 c bounds -202 >= -686 @ 3.7433 12.15/12.25 c bounds -203 >= -686 @ 3.74838 12.15/12.25 c bounds -204 >= -686 @ 3.75423 12.15/12.25 c bounds -205 >= -686 @ 3.76811 12.15/12.25 c bounds -206 >= -686 @ 3.78405 12.15/12.25 c bounds -207 >= -686 @ 3.80064 12.15/12.25 c bounds -208 >= -686 @ 3.83125 12.15/12.25 c bounds -209 >= -686 @ 3.86578 12.15/12.25 c bounds -210 >= -686 @ 3.88572 12.15/12.25 c bounds -211 >= -686 @ 3.91428 12.15/12.25 c bounds -212 >= -686 @ 3.9477 12.15/12.25 c bounds -213 >= -686 @ 3.97831 12.15/12.25 c bounds -214 >= -686 @ 4.01903 12.15/12.25 c bounds -215 >= -686 @ 4.07588 12.15/12.25 c bounds -215 >= -685 @ 4.13452 12.15/12.25 c bounds -216 >= -685 @ 4.15836 12.15/12.25 c bounds -217 >= -685 @ 4.17969 12.15/12.25 c #Conflicts: 4000 | #Constraints: 12584 12.15/12.25 c bounds -217 >= -684 @ 4.2856 12.15/12.25 c bounds -218 >= -684 @ 4.30432 12.15/12.25 c bounds -219 >= -684 @ 4.32287 12.15/12.25 c bounds -220 >= -684 @ 4.34877 12.15/12.25 c bounds -221 >= -684 @ 4.36988 12.15/12.25 c bounds -222 >= -684 @ 4.38974 12.15/12.25 c bounds -223 >= -684 @ 4.41241 12.15/12.25 c bounds -224 >= -684 @ 4.43819 12.15/12.25 c bounds -225 >= -684 @ 4.46047 12.15/12.25 c bounds -226 >= -684 @ 4.47953 12.15/12.25 c INPROCESSING 12.15/12.25 c GARBAGE COLLECT 12.15/12.25 c bounds -227 >= -684 @ 4.98786 12.15/12.25 c bounds -228 >= -684 @ 4.99112 12.15/12.25 c bounds -229 >= -684 @ 4.99567 12.15/12.25 c bounds -230 >= -684 @ 5.00125 12.15/12.25 c bounds -231 >= -684 @ 5.00773 12.15/12.25 c bounds -232 >= -684 @ 5.01154 12.15/12.25 c bounds -233 >= -684 @ 5.01531 12.15/12.25 c bounds -234 >= -684 @ 5.01617 12.15/12.25 c bounds -235 >= -684 @ 5.02097 12.15/12.25 c bounds -236 >= -684 @ 5.02637 12.15/12.25 c bounds -237 >= -684 @ 5.02919 12.15/12.25 c bounds -238 >= -684 @ 5.0331 12.15/12.25 c bounds -239 >= -684 @ 5.03627 12.15/12.25 c bounds -240 >= -684 @ 5.04014 12.15/12.25 c bounds -241 >= -684 @ 5.04471 12.15/12.25 c bounds -242 >= -684 @ 5.07025 12.15/12.25 c bounds -243 >= -684 @ 5.07788 12.15/12.25 c bounds -244 >= -684 @ 5.08526 12.15/12.25 c bounds -245 >= -684 @ 5.08988 12.15/12.25 c bounds -247 >= -684 @ 5.09619 12.15/12.25 c bounds -249 >= -684 @ 5.10267 12.15/12.25 c #Conflicts: 5000 | #Constraints: 11942 12.15/12.25 c bounds -249 >= -683 @ 5.34559 12.15/12.25 c bounds -251 >= -683 @ 5.35184 12.15/12.25 c bounds -252 >= -683 @ 5.35947 12.15/12.25 c bounds -253 >= -683 @ 5.36728 12.15/12.25 c bounds -255 >= -683 @ 5.38267 12.15/12.25 c bounds -256 >= -683 @ 5.39292 12.15/12.25 c bounds -257 >= -683 @ 5.40598 12.15/12.25 c bounds -259 >= -683 @ 5.42246 12.15/12.25 c bounds -261 >= -683 @ 5.43956 12.15/12.25 c bounds -262 >= -683 @ 5.47198 12.15/12.25 c bounds -264 >= -683 @ 5.49545 12.15/12.25 c bounds -265 >= -683 @ 5.55356 12.15/12.25 c bounds -266 >= -683 @ 5.60689 12.15/12.25 c bounds -267 >= -683 @ 5.6651 12.15/12.25 c bounds -268 >= -683 @ 5.81435 12.15/12.25 c #Conflicts: 6000 | #Constraints: 13001 12.15/12.25 c bounds -269 >= -683 @ 6.01518 12.15/12.25 c bounds -269 >= -682 @ 6.28953 12.15/12.25 c bounds -270 >= -682 @ 6.42406 12.15/12.25 c bounds -271 >= -682 @ 6.50877 12.15/12.25 c bounds -272 >= -682 @ 6.59925 12.15/12.25 c bounds -274 >= -682 @ 6.6658 12.15/12.25 c bounds -275 >= -682 @ 6.78011 12.15/12.25 c #Conflicts: 7000 | #Constraints: 14100 12.15/12.25 c bounds -275 >= -681 @ 7.35711 12.15/12.25 c bounds -276 >= -681 @ 7.43819 12.15/12.25 c bounds -277 >= -681 @ 7.50454 12.15/12.25 c #Conflicts: 8000 | #Constraints: 15129 12.15/12.25 c bounds -278 >= -681 @ 7.61484 12.15/12.25 c bounds -279 >= -681 @ 7.68183 12.15/12.25 c bounds -280 >= -681 @ 7.75214 12.15/12.25 c bounds -281 >= -681 @ 7.88528 12.15/12.25 c bounds -282 >= -681 @ 7.96936 12.15/12.25 c bounds -283 >= -681 @ 8.05084 12.15/12.25 c bounds -284 >= -681 @ 8.12807 12.15/12.25 c bounds -285 >= -681 @ 8.24431 12.15/12.25 c bounds -286 >= -681 @ 8.39863 12.15/12.25 c bounds -287 >= -681 @ 8.49968 12.15/12.25 c bounds -289 >= -681 @ 8.65658 12.15/12.25 c #Conflicts: 9000 | #Constraints: 16140 12.15/12.25 c bounds -289 >= -680 @ 9.89218 12.15/12.25 c bounds -290 >= -680 @ 9.9796 12.15/12.25 c bounds -291 >= -680 @ 10.0522 12.15/12.25 c bounds -292 >= -680 @ 10.1248 12.15/12.25 c bounds -294 >= -680 @ 10.2005 12.15/12.25 c bounds -295 >= -680 @ 10.2787 12.15/12.25 c INPROCESSING 12.15/12.25 c GARBAGE COLLECT 12.15/12.25 c rational objective -680 15.45/15.58 c bounds -296 >= -680 @ 10.8319 15.45/15.58 c bounds -297 >= -680 @ 10.8675 15.45/15.58 c bounds -298 >= -680 @ 10.9642 15.45/15.58 c bounds -299 >= -680 @ 11.0229 15.45/15.58 c bounds -301 >= -680 @ 11.0927 15.45/15.58 c bounds -302 >= -680 @ 11.1546 15.45/15.58 c bounds -303 >= -680 @ 11.1972 15.45/15.58 c bounds -305 >= -680 @ 11.2506 15.45/15.58 c bounds -307 >= -680 @ 11.3137 15.45/15.58 c bounds -308 >= -680 @ 11.41 15.45/15.58 c #Conflicts: 10000 | #Constraints: 13708 15.45/15.58 c bounds -310 >= -680 @ 11.4708 15.45/15.58 c bounds -311 >= -680 @ 11.543 15.45/15.58 c bounds -312 >= -680 @ 11.5985 15.45/15.58 c bounds -313 >= -680 @ 11.7025 15.45/15.58 c bounds -314 >= -680 @ 11.7736 15.45/15.58 c bounds -315 >= -680 @ 11.8957 15.45/15.58 c #Conflicts: 11000 | #Constraints: 14714 15.45/15.58 c #Conflicts: 12000 | #Constraints: 15714 15.45/15.58 c bounds -315 >= -679 @ 13.2744 15.45/15.58 c bounds -316 >= -679 @ 13.3364 15.45/15.58 c bounds -317 >= -679 @ 13.4455 15.45/15.58 c bounds -318 >= -679 @ 13.5107 15.45/15.58 c bounds -320 >= -679 @ 13.5714 15.45/15.58 c bounds -321 >= -679 @ 13.6471 15.45/15.58 c INPROCESSING 15.45/15.58 c GARBAGE COLLECT 15.45/15.58 c rational objective -679 35.19/35.36 c bounds -322 >= -679 @ 14.1832 35.19/35.36 c #Conflicts: 13000 | #Constraints: 13274 35.19/35.36 c bounds -323 >= -679 @ 14.2893 35.19/35.36 c bounds -324 >= -679 @ 14.3572 35.19/35.36 c bounds -325 >= -679 @ 14.475 35.19/35.36 c bounds -327 >= -679 @ 14.6395 35.19/35.36 c bounds -328 >= -679 @ 14.8241 35.19/35.36 c bounds -329 >= -679 @ 14.9234 35.19/35.36 c bounds -330 >= -679 @ 14.9936 35.19/35.36 c bounds -331 >= -679 @ 15.0522 35.19/35.36 c bounds -332 >= -679 @ 15.1087 35.19/35.36 c bounds -333 >= -679 @ 15.1622 35.19/35.36 c bounds -334 >= -679 @ 15.2414 35.19/35.36 c bounds -335 >= -679 @ 15.299 35.19/35.36 c bounds -336 >= -679 @ 15.3537 35.19/35.36 c bounds -337 >= -679 @ 15.3992 35.19/35.36 c bounds -338 >= -679 @ 15.4501 35.19/35.36 c bounds -339 >= -679 @ 15.5004 35.19/35.36 c bounds -340 >= -679 @ 15.5513 35.19/35.36 c bounds -341 >= -679 @ 15.6148 35.19/35.36 c bounds -342 >= -679 @ 15.7018 35.19/35.36 c #Conflicts: 14000 | #Constraints: 14293 35.19/35.36 c bounds -343 >= -679 @ 15.7846 35.19/35.36 c bounds -344 >= -679 @ 15.8626 35.19/35.36 c bounds -345 >= -679 @ 15.9547 35.19/35.36 c bounds -347 >= -679 @ 16.1053 35.19/35.36 c bounds -349 >= -679 @ 16.2394 35.19/35.36 c bounds -350 >= -679 @ 16.586 35.19/35.36 c #Conflicts: 15000 | #Constraints: 15299 35.19/35.36 c #Conflicts: 16000 | #Constraints: 16299 35.19/35.36 c bounds -351 >= -679 @ 21.7349 35.19/35.36 c #Conflicts: 17000 | #Constraints: 17300 35.19/35.36 c #Conflicts: 18000 | #Constraints: 18300 35.19/35.36 c #Conflicts: 19000 | #Constraints: 19300 35.19/35.36 c bounds -351 >= -678 @ 28.5064 35.19/35.36 c #Conflicts: 20000 | #Constraints: 20345 35.19/35.36 c #Conflicts: 21000 | #Constraints: 21345 35.19/35.36 c INPROCESSING 35.19/35.36 c GARBAGE COLLECT 35.19/35.36 c rational objective -678 41.77/42.00 c bounds -352 >= -678 @ 33.7599 41.77/42.00 c bounds -353 >= -678 @ 33.932 41.77/42.00 c bounds -354 >= -678 @ 34.1688 41.77/42.00 c #Conflicts: 22000 | #Constraints: 16574 41.77/42.00 c bounds -356 >= -678 @ 34.7222 41.77/42.00 c #Conflicts: 23000 | #Constraints: 17575 41.77/42.00 c #Conflicts: 24000 | #Constraints: 18575 41.77/42.00 c bounds -356 >= -677 @ 37.5262 41.77/42.00 c bounds -357 >= -677 @ 37.7343 41.77/42.00 c bounds -358 >= -677 @ 37.8917 41.77/42.00 c #Conflicts: 25000 | #Constraints: 19628 41.77/42.00 c bounds -359 >= -677 @ 39.0754 41.77/42.00 c INPROCESSING 41.77/42.00 c GARBAGE COLLECT 41.77/42.00 c rational objective -677 59.22/59.40 c #Conflicts: 26000 | #Constraints: 15287 59.22/59.40 c #Conflicts: 27000 | #Constraints: 16287 59.22/59.40 c bounds -360 >= -677 @ 42.546 59.22/59.40 c #Conflicts: 28000 | #Constraints: 17288 59.22/59.40 c #Conflicts: 29000 | #Constraints: 18288 59.22/59.40 c #Conflicts: 30000 | #Constraints: 19288 59.22/59.40 c #Conflicts: 31000 | #Constraints: 20288 59.22/59.40 c #Conflicts: 32000 | #Constraints: 21288 59.22/59.40 c bounds -360 >= -676 @ 47.1376 59.22/59.40 c bounds -361 >= -676 @ 47.7298 59.22/59.40 c bounds -362 >= -676 @ 48.0874 59.22/59.40 c bounds -363 >= -676 @ 48.374 59.22/59.40 c bounds -364 >= -676 @ 48.4997 59.22/59.40 c #Conflicts: 33000 | #Constraints: 22334 59.22/59.40 c bounds -365 >= -676 @ 49.9877 59.22/59.40 c #Conflicts: 34000 | #Constraints: 23335 59.22/59.40 c #Conflicts: 35000 | #Constraints: 24335 59.22/59.40 c #Conflicts: 36000 | #Constraints: 25335 59.22/59.40 c #Conflicts: 37000 | #Constraints: 26335 59.22/59.40 c INPROCESSING 59.22/59.40 c GARBAGE COLLECT 59.22/59.40 c rational objective -676 72.29/72.60 c bounds -366 >= -676 @ 56.986 72.29/72.60 c #Conflicts: 38000 | #Constraints: 19091 72.29/72.60 c bounds -367 >= -676 @ 58.4593 72.29/72.60 c bounds -368 >= -676 @ 59.2397 72.29/72.60 c #Conflicts: 39000 | #Constraints: 20093 72.29/72.60 c bounds -369 >= -676 @ 60.5614 72.29/72.60 c #Conflicts: 40000 | #Constraints: 21094 72.29/72.60 c #Conflicts: 41000 | #Constraints: 22094 72.29/72.60 c #Conflicts: 42000 | #Constraints: 23094 72.29/72.60 c #Conflicts: 43000 | #Constraints: 24094 72.29/72.60 c INPROCESSING 72.29/72.60 c GARBAGE COLLECT 72.29/72.60 c rational objective -676 87.86/88.19 c #Conflicts: 44000 | #Constraints: 17867 87.86/88.19 c #Conflicts: 45000 | #Constraints: 18867 87.86/88.19 c #Conflicts: 46000 | #Constraints: 19867 87.86/88.19 c #Conflicts: 47000 | #Constraints: 20867 87.86/88.19 c #Conflicts: 48000 | #Constraints: 21867 87.86/88.19 c #Conflicts: 49000 | #Constraints: 22867 87.86/88.19 c #Conflicts: 50000 | #Constraints: 23867 87.86/88.19 c bounds -369 >= -675 @ 75.9319 87.86/88.19 c #Conflicts: 51000 | #Constraints: 24957 87.86/88.19 c #Conflicts: 52000 | #Constraints: 25957 87.86/88.19 c #Conflicts: 53000 | #Constraints: 26957 87.86/88.19 c #Conflicts: 54000 | #Constraints: 27957 87.86/88.19 c #Conflicts: 55000 | #Constraints: 28957 87.86/88.19 c #Conflicts: 56000 | #Constraints: 29957 87.86/88.19 c #Conflicts: 57000 | #Constraints: 30957 87.86/88.19 c INPROCESSING 87.86/88.19 c GARBAGE COLLECT 87.86/88.19 c rational objective -675 129.63/130.10 c bounds -371 >= -675 @ 84.8948 129.63/130.10 c bounds -372 >= -675 @ 84.9423 129.63/130.10 c bounds -373 >= -675 @ 85.0194 129.63/130.10 c bounds -374 >= -675 @ 85.2883 129.63/130.10 c #Conflicts: 58000 | #Constraints: 21261 129.63/130.10 c bounds -375 >= -675 @ 85.4066 129.63/130.10 c bounds -376 >= -675 @ 85.9743 129.63/130.10 c #Conflicts: 59000 | #Constraints: 22263 129.63/130.10 c bounds -377 >= -675 @ 87.6737 129.63/130.10 c #Conflicts: 60000 | #Constraints: 23264 129.63/130.10 c bounds -378 >= -675 @ 92.3285 129.63/130.10 c #Conflicts: 61000 | #Constraints: 24265 129.63/130.10 c #Conflicts: 62000 | #Constraints: 25265 129.63/130.10 c #Conflicts: 63000 | #Constraints: 26265 129.63/130.10 c #Conflicts: 64000 | #Constraints: 27265 129.63/130.10 c #Conflicts: 65000 | #Constraints: 28265 129.63/130.10 c #Conflicts: 66000 | #Constraints: 29265 129.63/130.10 c #Conflicts: 67000 | #Constraints: 30265 129.63/130.10 c #Conflicts: 68000 | #Constraints: 31265 129.63/130.10 c #Conflicts: 69000 | #Constraints: 32265 129.63/130.10 c #Conflicts: 70000 | #Constraints: 33265 129.63/130.10 c #Conflicts: 71000 | #Constraints: 34265 129.63/130.10 c #Conflicts: 72000 | #Constraints: 35265 129.63/130.10 c #Conflicts: 73000 | #Constraints: 36265 129.63/130.10 c #Conflicts: 74000 | #Constraints: 37265 129.63/130.10 c INPROCESSING 129.63/130.10 c GARBAGE COLLECT 129.63/130.10 c rational objective -675 158.93/159.44 c bounds -379 >= -675 @ 126.32 158.93/159.44 c bounds -380 >= -675 @ 127.022 158.93/159.44 c #Conflicts: 75000 | #Constraints: 24700 158.93/159.44 c bounds -381 >= -675 @ 127.573 158.93/159.44 c bounds -382 >= -675 @ 128.167 158.93/159.44 c #Conflicts: 76000 | #Constraints: 25702 158.93/159.44 c #Conflicts: 77000 | #Constraints: 26702 158.93/159.44 c bounds -383 >= -675 @ 132.28 158.93/159.44 c #Conflicts: 78000 | #Constraints: 27703 158.93/159.44 c #Conflicts: 79000 | #Constraints: 28703 158.93/159.44 c #Conflicts: 80000 | #Constraints: 29703 158.93/159.44 c #Conflicts: 81000 | #Constraints: 30703 158.93/159.44 c bounds -384 >= -675 @ 150.924 158.93/159.44 c #Conflicts: 82000 | #Constraints: 31704 158.93/159.44 c INPROCESSING 158.93/159.44 c GARBAGE COLLECT 158.93/159.44 c rational objective -675 198.80/199.43 c #Conflicts: 83000 | #Constraints: 22070 198.80/199.43 c #Conflicts: 84000 | #Constraints: 23070 198.80/199.43 c #Conflicts: 85000 | #Constraints: 24070 198.80/199.43 c #Conflicts: 86000 | #Constraints: 25070 198.80/199.43 c #Conflicts: 87000 | #Constraints: 26070 198.80/199.43 c #Conflicts: 88000 | #Constraints: 27070 198.80/199.43 c #Conflicts: 89000 | #Constraints: 28070 198.80/199.43 c #Conflicts: 90000 | #Constraints: 29070 198.80/199.43 c #Conflicts: 91000 | #Constraints: 30070 198.80/199.43 c #Conflicts: 92000 | #Constraints: 31070 198.80/199.43 c #Conflicts: 93000 | #Constraints: 32070 198.80/199.43 c #Conflicts: 94000 | #Constraints: 33070 198.80/199.43 c #Conflicts: 95000 | #Constraints: 34070 198.80/199.43 c #Conflicts: 96000 | #Constraints: 35070 198.80/199.43 c bounds -384 >= -674 @ 178.967 198.80/199.43 c bounds -385 >= -674 @ 179.515 198.80/199.43 c bounds -386 >= -674 @ 179.567 198.80/199.43 c bounds -388 >= -674 @ 179.624 198.80/199.43 c #Conflicts: 97000 | #Constraints: 36118 198.80/199.43 c bounds -390 >= -674 @ 180.139 198.80/199.43 c #Conflicts: 98000 | #Constraints: 37119 198.80/199.43 c bounds -391 >= -674 @ 181.98 198.80/199.43 c #Conflicts: 99000 | #Constraints: 38120 198.80/199.43 c #Conflicts: 100000 | #Constraints: 39120 198.80/199.43 c bounds -392 >= -674 @ 187.13 198.80/199.43 c #Conflicts: 101000 | #Constraints: 40121 198.80/199.43 c #Conflicts: 102000 | #Constraints: 41121 198.80/199.43 c INPROCESSING 198.80/199.43 c GARBAGE COLLECT 198.80/199.43 c rational objective -674 215.85/216.51 c #Conflicts: 103000 | #Constraints: 26630 215.85/216.51 c #Conflicts: 104000 | #Constraints: 27630 215.85/216.51 c #Conflicts: 105000 | #Constraints: 28630 215.85/216.51 c #Conflicts: 106000 | #Constraints: 29630 215.85/216.51 c #Conflicts: 107000 | #Constraints: 30630 215.85/216.51 c #Conflicts: 108000 | #Constraints: 31630 215.85/216.51 c #Conflicts: 109000 | #Constraints: 32630 215.85/216.51 c #Conflicts: 110000 | #Constraints: 33630 215.85/216.51 c #Conflicts: 111000 | #Constraints: 34630 215.85/216.51 c INPROCESSING 215.85/216.51 c GARBAGE COLLECT 215.85/216.51 c rational objective -674 384.84/386.06 c #Conflicts: 112000 | #Constraints: 24416 384.84/386.06 c bounds -393 >= -674 @ 211.307 384.84/386.06 c bounds -394 >= -674 @ 211.965 384.84/386.06 c #Conflicts: 113000 | #Constraints: 25418 384.84/386.06 c #Conflicts: 114000 | #Constraints: 26418 384.84/386.06 c bounds -395 >= -674 @ 214.303 384.84/386.06 c #Conflicts: 115000 | #Constraints: 27419 384.84/386.06 c #Conflicts: 116000 | #Constraints: 28419 384.84/386.06 c #Conflicts: 117000 | #Constraints: 29419 384.84/386.06 c #Conflicts: 118000 | #Constraints: 30419 384.84/386.06 c #Conflicts: 119000 | #Constraints: 31419 384.84/386.06 c #Conflicts: 120000 | #Constraints: 32419 384.84/386.06 c #Conflicts: 121000 | #Constraints: 33419 384.84/386.06 c #Conflicts: 122000 | #Constraints: 34419 384.84/386.06 c #Conflicts: 123000 | #Constraints: 35419 384.84/386.06 c #Conflicts: 124000 | #Constraints: 36419 384.84/386.06 c #Conflicts: 125000 | #Constraints: 37419 384.84/386.06 c #Conflicts: 126000 | #Constraints: 38419 384.84/386.06 c #Conflicts: 127000 | #Constraints: 39419 384.84/386.06 c #Conflicts: 128000 | #Constraints: 40419 384.84/386.06 c #Conflicts: 129000 | #Constraints: 41419 384.84/386.06 c #Conflicts: 130000 | #Constraints: 42419 384.84/386.06 c #Conflicts: 131000 | #Constraints: 43419 384.84/386.06 c bounds -396 >= -674 @ 336.75 384.84/386.06 c #Conflicts: 132000 | #Constraints: 44420 384.84/386.06 c #Conflicts: 133000 | #Constraints: 45420 384.84/386.06 c #Conflicts: 134000 | #Constraints: 46420 384.84/386.06 c INPROCESSING 384.84/386.06 c GARBAGE COLLECT 384.84/386.06 c rational objective -674 411.93/413.22 c #Conflicts: 135000 | #Constraints: 29100 411.93/413.22 c bounds -396 >= -673 @ 382.264 411.93/413.22 c #Conflicts: 136000 | #Constraints: 30136 411.93/413.22 c #Conflicts: 137000 | #Constraints: 31136 411.93/413.22 c #Conflicts: 138000 | #Constraints: 32136 411.93/413.22 c #Conflicts: 139000 | #Constraints: 33136 411.93/413.22 c #Conflicts: 140000 | #Constraints: 34136 411.93/413.22 c #Conflicts: 141000 | #Constraints: 35136 411.93/413.22 c #Conflicts: 142000 | #Constraints: 36136 411.93/413.22 c #Conflicts: 143000 | #Constraints: 37136 411.93/413.22 c #Conflicts: 144000 | #Constraints: 38136 411.93/413.22 c #Conflicts: 145000 | #Constraints: 39136 411.93/413.22 c INPROCESSING 411.93/413.22 c GARBAGE COLLECT 411.93/413.22 c rational objective -673 481.91/483.46 c #Conflicts: 146000 | #Constraints: 27536 481.91/483.46 c #Conflicts: 147000 | #Constraints: 28536 481.91/483.46 c #Conflicts: 148000 | #Constraints: 29536 481.91/483.46 c #Conflicts: 149000 | #Constraints: 30536 481.91/483.46 c #Conflicts: 150000 | #Constraints: 31536 481.91/483.46 c #Conflicts: 151000 | #Constraints: 32536 481.91/483.46 c #Conflicts: 152000 | #Constraints: 33536 481.91/483.46 c #Conflicts: 153000 | #Constraints: 34536 481.91/483.46 c #Conflicts: 154000 | #Constraints: 35536 481.91/483.46 c #Conflicts: 155000 | #Constraints: 36536 481.91/483.46 c #Conflicts: 156000 | #Constraints: 37536 481.91/483.46 c #Conflicts: 157000 | #Constraints: 38536 481.91/483.46 c #Conflicts: 158000 | #Constraints: 39536 481.91/483.46 c #Conflicts: 159000 | #Constraints: 40536 481.91/483.46 c #Conflicts: 160000 | #Constraints: 41536 481.91/483.46 c #Conflicts: 161000 | #Constraints: 42536 481.91/483.46 c #Conflicts: 162000 | #Constraints: 43536 481.91/483.46 c #Conflicts: 163000 | #Constraints: 44536 481.91/483.46 c #Conflicts: 164000 | #Constraints: 45536 481.91/483.46 c #Conflicts: 165000 | #Constraints: 46536 481.91/483.46 c #Conflicts: 166000 | #Constraints: 47536 481.91/483.46 c #Conflicts: 167000 | #Constraints: 48536 481.91/483.46 c #Conflicts: 168000 | #Constraints: 49536 481.91/483.46 c #Conflicts: 169000 | #Constraints: 50536 481.91/483.46 c #Conflicts: 170000 | #Constraints: 51536 481.91/483.46 c #Conflicts: 171000 | #Constraints: 52536 481.91/483.46 c INPROCESSING 481.91/483.46 c GARBAGE COLLECT 481.91/483.46 c rational objective -673 513.43/515.04 c #Conflicts: 172000 | #Constraints: 32303 513.43/515.04 c #Conflicts: 173000 | #Constraints: 33303 513.43/515.04 c #Conflicts: 174000 | #Constraints: 34303 513.43/515.04 c #Conflicts: 175000 | #Constraints: 35303 513.43/515.04 c #Conflicts: 176000 | #Constraints: 36303 513.43/515.04 c #Conflicts: 177000 | #Constraints: 37303 513.43/515.04 c #Conflicts: 178000 | #Constraints: 38303 513.43/515.04 c #Conflicts: 179000 | #Constraints: 39303 513.43/515.04 c #Conflicts: 180000 | #Constraints: 40303 513.43/515.04 c #Conflicts: 181000 | #Constraints: 41303 513.43/515.04 c #Conflicts: 182000 | #Constraints: 42303 513.43/515.04 c #Conflicts: 183000 | #Constraints: 43303 513.43/515.04 c INPROCESSING 513.43/515.04 c GARBAGE COLLECT 513.43/515.04 c rational objective -673 633.33/635.30 c #Conflicts: 184000 | #Constraints: 31736 633.33/635.30 c #Conflicts: 185000 | #Constraints: 32736 633.33/635.30 c #Conflicts: 186000 | #Constraints: 33736 633.33/635.30 c #Conflicts: 187000 | #Constraints: 34736 633.33/635.30 c #Conflicts: 188000 | #Constraints: 35736 633.33/635.30 c #Conflicts: 189000 | #Constraints: 36736 633.33/635.30 c #Conflicts: 190000 | #Constraints: 37736 633.33/635.30 c #Conflicts: 191000 | #Constraints: 38736 633.33/635.30 c #Conflicts: 192000 | #Constraints: 39736 633.33/635.30 c #Conflicts: 193000 | #Constraints: 40736 633.33/635.30 c #Conflicts: 194000 | #Constraints: 41736 633.33/635.30 c #Conflicts: 195000 | #Constraints: 42736 633.33/635.30 c #Conflicts: 196000 | #Constraints: 43736 633.33/635.30 c #Conflicts: 197000 | #Constraints: 44736 633.33/635.30 c #Conflicts: 198000 | #Constraints: 45736 633.33/635.30 c #Conflicts: 199000 | #Constraints: 46736 633.33/635.30 c #Conflicts: 200000 | #Constraints: 47736 633.33/635.30 c #Conflicts: 201000 | #Constraints: 48736 633.33/635.30 c #Conflicts: 202000 | #Constraints: 49736 633.33/635.30 c #Conflicts: 203000 | #Constraints: 50736 633.33/635.30 c #Conflicts: 204000 | #Constraints: 51736 633.33/635.30 c bounds -396 >= -672 @ 576.467 633.33/635.30 c #Conflicts: 205000 | #Constraints: 52778 633.33/635.30 c #Conflicts: 206000 | #Constraints: 53778 633.33/635.30 c #Conflicts: 207000 | #Constraints: 54778 633.33/635.30 c #Conflicts: 208000 | #Constraints: 55778 633.33/635.30 c #Conflicts: 209000 | #Constraints: 56778 633.33/635.30 c #Conflicts: 210000 | #Constraints: 57778 633.33/635.30 c #Conflicts: 211000 | #Constraints: 58778 633.33/635.30 c #Conflicts: 212000 | #Constraints: 59778 633.33/635.30 c INPROCESSING 633.33/635.30 c GARBAGE COLLECT 633.33/635.30 c rational objective -672 803.58/806.13 c bounds -397 >= -672 @ 624.898 803.58/806.13 c #Conflicts: 213000 | #Constraints: 35872 803.58/806.13 c #Conflicts: 214000 | #Constraints: 36872 803.58/806.13 c bounds -398 >= -672 @ 628.342 803.58/806.13 c #Conflicts: 215000 | #Constraints: 37873 803.58/806.13 c bounds -399 >= -672 @ 632.404 803.58/806.13 c #Conflicts: 216000 | #Constraints: 38874 803.58/806.13 c #Conflicts: 217000 | #Constraints: 39874 803.58/806.13 c #Conflicts: 218000 | #Constraints: 40874 803.58/806.13 c #Conflicts: 219000 | #Constraints: 41874 803.58/806.13 c #Conflicts: 220000 | #Constraints: 42874 803.58/806.13 c bounds -400 >= -672 @ 655.826 803.58/806.13 c #Conflicts: 221000 | #Constraints: 43875 803.58/806.13 c #Conflicts: 222000 | #Constraints: 44875 803.58/806.13 c #Conflicts: 223000 | #Constraints: 45875 803.58/806.13 c #Conflicts: 224000 | #Constraints: 46875 803.58/806.13 c #Conflicts: 225000 | #Constraints: 47875 803.58/806.13 c #Conflicts: 226000 | #Constraints: 48875 803.58/806.13 c #Conflicts: 227000 | #Constraints: 49875 803.58/806.13 c #Conflicts: 228000 | #Constraints: 50875 803.58/806.13 c #Conflicts: 229000 | #Constraints: 51875 803.58/806.13 c #Conflicts: 230000 | #Constraints: 52875 803.58/806.13 c #Conflicts: 231000 | #Constraints: 53875 803.58/806.13 c #Conflicts: 232000 | #Constraints: 54875 803.58/806.13 c #Conflicts: 233000 | #Constraints: 55875 803.58/806.13 c #Conflicts: 234000 | #Constraints: 56875 803.58/806.13 c #Conflicts: 235000 | #Constraints: 57875 803.58/806.13 c #Conflicts: 236000 | #Constraints: 58875 803.58/806.13 c #Conflicts: 237000 | #Constraints: 59875 803.58/806.13 c #Conflicts: 238000 | #Constraints: 60875 803.58/806.13 c #Conflicts: 239000 | #Constraints: 61875 803.58/806.13 c #Conflicts: 240000 | #Constraints: 62875 803.58/806.13 c #Conflicts: 241000 | #Constraints: 63875 803.58/806.13 c #Conflicts: 242000 | #Constraints: 64875 803.58/806.13 c #Conflicts: 243000 | #Constraints: 65875 803.58/806.13 c INPROCESSING 803.58/806.13 c GARBAGE COLLECT 803.58/806.13 c rational objective -672 862.49/865.29 c bounds -401 >= -672 @ 793.925 862.49/865.29 c bounds -403 >= -672 @ 794.045 862.49/865.29 c bounds -404 >= -672 @ 794.322 862.49/865.29 c bounds -405 >= -672 @ 794.505 862.49/865.29 c #Conflicts: 244000 | #Constraints: 39004 862.49/865.29 c bounds -406 >= -672 @ 795.41 862.49/865.29 c bounds -407 >= -672 @ 796.654 862.49/865.29 c #Conflicts: 245000 | #Constraints: 40006 862.49/865.29 c #Conflicts: 246000 | #Constraints: 41006 862.49/865.29 c bounds -408 >= -672 @ 802.788 862.49/865.29 c #Conflicts: 247000 | #Constraints: 42007 862.49/865.29 c #Conflicts: 248000 | #Constraints: 43007 862.49/865.29 c #Conflicts: 249000 | #Constraints: 44007 862.49/865.29 c #Conflicts: 250000 | #Constraints: 45007 862.49/865.29 c #Conflicts: 251000 | #Constraints: 46007 862.49/865.29 c #Conflicts: 252000 | #Constraints: 47007 862.49/865.29 c #Conflicts: 253000 | #Constraints: 48007 862.49/865.29 c #Conflicts: 254000 | #Constraints: 49007 862.49/865.29 c bounds -409 >= -672 @ 832.414 862.49/865.29 c #Conflicts: 255000 | #Constraints: 50008 862.49/865.29 c bounds -410 >= -672 @ 837.9 862.49/865.29 c #Conflicts: 256000 | #Constraints: 51009 862.49/865.29 c #Conflicts: 257000 | #Constraints: 52009 862.49/865.29 c #Conflicts: 258000 | #Constraints: 53009 862.49/865.29 c INPROCESSING 862.49/865.29 c GARBAGE COLLECT 862.49/865.29 c rational objective -672 1064.82/1068.19 c #Conflicts: 259000 | #Constraints: 37809 1064.82/1068.19 c #Conflicts: 260000 | #Constraints: 38809 1064.82/1068.19 c bounds -410 >= -671 @ 854.127 1064.82/1068.19 c #Conflicts: 261000 | #Constraints: 39848 1064.82/1068.19 c #Conflicts: 262000 | #Constraints: 40848 1064.82/1068.19 c #Conflicts: 263000 | #Constraints: 41848 1064.82/1068.19 c #Conflicts: 264000 | #Constraints: 42848 1064.82/1068.19 c #Conflicts: 265000 | #Constraints: 43848 1064.82/1068.19 c #Conflicts: 266000 | #Constraints: 44848 1064.82/1068.19 c bounds -411 >= -671 @ 875.045 1064.82/1068.19 c #Conflicts: 267000 | #Constraints: 45849 1064.82/1068.19 c #Conflicts: 268000 | #Constraints: 46849 1064.82/1068.19 c #Conflicts: 269000 | #Constraints: 47849 1064.82/1068.19 c #Conflicts: 270000 | #Constraints: 48849 1064.82/1068.19 c #Conflicts: 271000 | #Constraints: 49849 1064.82/1068.19 c #Conflicts: 272000 | #Constraints: 50849 1064.82/1068.19 c #Conflicts: 273000 | #Constraints: 51849 1064.82/1068.19 c #Conflicts: 274000 | #Constraints: 52849 1064.82/1068.19 c #Conflicts: 275000 | #Constraints: 53849 1064.82/1068.19 c #Conflicts: 276000 | #Constraints: 54849 1064.82/1068.19 c #Conflicts: 277000 | #Constraints: 55849 1064.82/1068.19 c #Conflicts: 278000 | #Constraints: 56849 1064.82/1068.19 c #Conflicts: 279000 | #Constraints: 57849 1064.82/1068.19 c #Conflicts: 280000 | #Constraints: 58849 1064.82/1068.19 c #Conflicts: 281000 | #Constraints: 59849 1064.82/1068.19 c #Conflicts: 282000 | #Constraints: 60849 1064.82/1068.19 c #Conflicts: 283000 | #Constraints: 61849 1064.82/1068.19 c #Conflicts: 284000 | #Constraints: 62849 1064.82/1068.19 c #Conflicts: 285000 | #Constraints: 63849 1064.82/1068.19 c #Conflicts: 286000 | #Constraints: 64849 1064.82/1068.19 c #Conflicts: 287000 | #Constraints: 65849 1064.82/1068.19 c #Conflicts: 288000 | #Constraints: 66849 1064.82/1068.19 c #Conflicts: 289000 | #Constraints: 67849 1064.82/1068.19 c #Conflicts: 290000 | #Constraints: 68849 1064.82/1068.19 c #Conflicts: 291000 | #Constraints: 69849 1064.82/1068.19 c INPROCESSING 1064.82/1068.19 c GARBAGE COLLECT 1064.82/1068.19 c rational objective -671 1369.99/1374.21 c #Conflicts: 292000 | #Constraints: 41131 1369.99/1374.21 c #Conflicts: 293000 | #Constraints: 42131 1369.99/1374.21 c #Conflicts: 294000 | #Constraints: 43131 1369.99/1374.21 c #Conflicts: 295000 | #Constraints: 44131 1369.99/1374.21 c #Conflicts: 296000 | #Constraints: 45131 1369.99/1374.21 c #Conflicts: 297000 | #Constraints: 46131 1369.99/1374.21 c bounds -412 >= -671 @ 1074.05 1369.99/1374.21 c #Conflicts: 298000 | #Constraints: 47132 1369.99/1374.21 c bounds -413 >= -671 @ 1075.95 1369.99/1374.21 c #Conflicts: 299000 | #Constraints: 48133 1369.99/1374.21 c #Conflicts: 300000 | #Constraints: 49133 1369.99/1374.21 c #Conflicts: 301000 | #Constraints: 50133 1369.99/1374.21 c #Conflicts: 302000 | #Constraints: 51133 1369.99/1374.21 c #Conflicts: 303000 | #Constraints: 52133 1369.99/1374.21 c #Conflicts: 304000 | #Constraints: 53133 1369.99/1374.21 c #Conflicts: 305000 | #Constraints: 54133 1369.99/1374.21 c #Conflicts: 306000 | #Constraints: 55133 1369.99/1374.21 c #Conflicts: 307000 | #Constraints: 56133 1369.99/1374.21 c #Conflicts: 308000 | #Constraints: 57133 1369.99/1374.21 c #Conflicts: 309000 | #Constraints: 58133 1369.99/1374.21 c #Conflicts: 310000 | #Constraints: 59133 1369.99/1374.21 c #Conflicts: 311000 | #Constraints: 60133 1369.99/1374.21 c #Conflicts: 312000 | #Constraints: 61133 1369.99/1374.21 c #Conflicts: 313000 | #Constraints: 62133 1369.99/1374.21 c #Conflicts: 314000 | #Constraints: 63133 1369.99/1374.21 c #Conflicts: 315000 | #Constraints: 64133 1369.99/1374.21 c #Conflicts: 316000 | #Constraints: 65133 1369.99/1374.21 c #Conflicts: 317000 | #Constraints: 66133 1369.99/1374.21 c #Conflicts: 318000 | #Constraints: 67133 1369.99/1374.21 c #Conflicts: 319000 | #Constraints: 68133 1369.99/1374.21 c #Conflicts: 320000 | #Constraints: 69133 1369.99/1374.21 c #Conflicts: 321000 | #Constraints: 70133 1369.99/1374.21 c #Conflicts: 322000 | #Constraints: 71133 1369.99/1374.21 c #Conflicts: 323000 | #Constraints: 72133 1369.99/1374.21 c #Conflicts: 324000 | #Constraints: 73133 1369.99/1374.21 c #Conflicts: 325000 | #Constraints: 74133 1369.99/1374.21 c #Conflicts: 326000 | #Constraints: 75133 1369.99/1374.21 c #Conflicts: 327000 | #Constraints: 76133 1369.99/1374.21 c INPROCESSING 1369.99/1374.21 c GARBAGE COLLECT 1369.99/1374.21 c rational objective -671 1404.21/1408.59 c #Conflicts: 328000 | #Constraints: 43733 1404.21/1408.59 c #Conflicts: 329000 | #Constraints: 44733 1404.21/1408.59 c #Conflicts: 330000 | #Constraints: 45733 1404.21/1408.59 c #Conflicts: 331000 | #Constraints: 46733 1404.21/1408.59 c #Conflicts: 332000 | #Constraints: 47733 1404.21/1408.59 c #Conflicts: 333000 | #Constraints: 48733 1404.21/1408.59 c #Conflicts: 334000 | #Constraints: 49733 1404.21/1408.59 c #Conflicts: 335000 | #Constraints: 50733 1404.21/1408.59 c bounds -413 >= -670 @ 1370.87 1404.21/1408.59 c #Conflicts: 336000 | #Constraints: 51760 1404.21/1408.59 c #Conflicts: 337000 | #Constraints: 52760 1404.21/1408.59 c #Conflicts: 338000 | #Constraints: 53760 1404.21/1408.59 c #Conflicts: 339000 | #Constraints: 54760 1404.21/1408.59 c #Conflicts: 340000 | #Constraints: 55760 1404.21/1408.59 c #Conflicts: 341000 | #Constraints: 56760 1404.21/1408.59 c bounds -413 >= -669 @ 1381.98 1404.21/1408.59 c #Conflicts: 342000 | #Constraints: 57793 1404.21/1408.59 c #Conflicts: 343000 | #Constraints: 58793 1404.21/1408.59 c #Conflicts: 344000 | #Constraints: 59793 1404.21/1408.59 c #Conflicts: 345000 | #Constraints: 60793 1404.21/1408.59 c INPROCESSING 1404.21/1408.59 c GARBAGE COLLECT 1404.21/1408.59 c rational objective -669 1507.14/1511.75 c #Conflicts: 346000 | #Constraints: 45747 1507.14/1511.75 c #Conflicts: 347000 | #Constraints: 46747 1507.14/1511.75 c #Conflicts: 348000 | #Constraints: 47747 1507.14/1511.75 c #Conflicts: 349000 | #Constraints: 48747 1507.14/1511.75 c #Conflicts: 350000 | #Constraints: 49747 1507.14/1511.75 c #Conflicts: 351000 | #Constraints: 50747 1507.14/1511.75 c #Conflicts: 352000 | #Constraints: 51747 1507.14/1511.75 c #Conflicts: 353000 | #Constraints: 52747 1507.14/1511.75 c #Conflicts: 354000 | #Constraints: 53747 1507.14/1511.75 c #Conflicts: 355000 | #Constraints: 54747 1507.14/1511.75 c #Conflicts: 356000 | #Constraints: 55747 1507.14/1511.75 c #Conflicts: 357000 | #Constraints: 56747 1507.14/1511.75 c #Conflicts: 358000 | #Constraints: 57747 1507.14/1511.75 c #Conflicts: 359000 | #Constraints: 58747 1507.14/1511.75 c #Conflicts: 360000 | #Constraints: 59747 1507.14/1511.75 c #Conflicts: 361000 | #Constraints: 60747 1507.14/1511.75 c #Conflicts: 362000 | #Constraints: 61747 1507.14/1511.75 c #Conflicts: 363000 | #Constraints: 62747 1507.14/1511.75 c bounds -413 >= -668 @ 1414.03 1507.14/1511.75 c #Conflicts: 364000 | #Constraints: 63813 1507.14/1511.75 c #Conflicts: 365000 | #Constraints: 64813 1507.14/1511.75 c #Conflicts: 366000 | #Constraints: 65813 1507.14/1511.75 c #Conflicts: 367000 | #Constraints: 66813 1507.14/1511.75 c #Conflicts: 368000 | #Constraints: 67813 1507.14/1511.75 c #Conflicts: 369000 | #Constraints: 68813 1507.14/1511.75 c #Conflicts: 370000 | #Constraints: 69813 1507.14/1511.75 c #Conflicts: 371000 | #Constraints: 70813 1507.14/1511.75 c #Conflicts: 372000 | #Constraints: 71813 1507.14/1511.75 c #Conflicts: 373000 | #Constraints: 72813 1507.14/1511.75 c #Conflicts: 374000 | #Constraints: 73813 1507.14/1511.75 c #Conflicts: 375000 | #Constraints: 74813 1507.14/1511.75 c #Conflicts: 376000 | #Constraints: 75813 1507.14/1511.75 c #Conflicts: 377000 | #Constraints: 76813 1507.14/1511.75 c #Conflicts: 378000 | #Constraints: 77813 1507.14/1511.75 c #Conflicts: 379000 | #Constraints: 78813 1507.14/1511.75 c #Conflicts: 380000 | #Constraints: 79813 1507.14/1511.75 c #Conflicts: 381000 | #Constraints: 80813 1507.14/1511.75 c #Conflicts: 382000 | #Constraints: 81813 1507.14/1511.75 c #Conflicts: 383000 | #Constraints: 82813 1507.14/1511.75 c #Conflicts: 384000 | #Constraints: 83813 1507.14/1511.75 c INPROCESSING 1507.14/1511.75 c GARBAGE COLLECT 1507.14/1511.75 c rational objective -668 1652.75/1657.75 c #Conflicts: 385000 | #Constraints: 50479 1652.75/1657.75 c #Conflicts: 386000 | #Constraints: 51479 1652.75/1657.75 c #Conflicts: 387000 | #Constraints: 52479 1652.75/1657.75 c #Conflicts: 388000 | #Constraints: 53479 1652.75/1657.75 c #Conflicts: 389000 | #Constraints: 54479 1652.75/1657.75 c #Conflicts: 390000 | #Constraints: 55479 1652.75/1657.75 c #Conflicts: 391000 | #Constraints: 56479 1652.75/1657.75 c #Conflicts: 392000 | #Constraints: 57479 1652.75/1657.75 c #Conflicts: 393000 | #Constraints: 58479 1652.75/1657.75 c #Conflicts: 394000 | #Constraints: 59479 1652.75/1657.75 c #Conflicts: 395000 | #Constraints: 60479 1652.75/1657.75 c #Conflicts: 396000 | #Constraints: 61479 1652.75/1657.75 c #Conflicts: 397000 | #Constraints: 62479 1652.75/1657.75 c #Conflicts: 398000 | #Constraints: 63479 1652.75/1657.75 c #Conflicts: 399000 | #Constraints: 64479 1652.75/1657.75 c #Conflicts: 400000 | #Constraints: 65479 1652.75/1657.75 c #Conflicts: 401000 | #Constraints: 66479 1652.75/1657.75 c #Conflicts: 402000 | #Constraints: 67479 1652.75/1657.75 c #Conflicts: 403000 | #Constraints: 68479 1652.75/1657.75 c #Conflicts: 404000 | #Constraints: 69479 1652.75/1657.75 c #Conflicts: 405000 | #Constraints: 70479 1652.75/1657.75 c #Conflicts: 406000 | #Constraints: 71479 1652.75/1657.75 c #Conflicts: 407000 | #Constraints: 72479 1652.75/1657.75 c #Conflicts: 408000 | #Constraints: 73479 1652.75/1657.75 c #Conflicts: 409000 | #Constraints: 74479 1652.75/1657.75 c #Conflicts: 410000 | #Constraints: 75479 1652.75/1657.75 c #Conflicts: 411000 | #Constraints: 76479 1652.75/1657.75 c #Conflicts: 412000 | #Constraints: 77479 1652.75/1657.75 c #Conflicts: 413000 | #Constraints: 78479 1652.75/1657.75 c #Conflicts: 414000 | #Constraints: 79479 1652.75/1657.75 c #Conflicts: 415000 | #Constraints: 80479 1652.75/1657.75 c #Conflicts: 416000 | #Constraints: 81479 1652.75/1657.75 c #Conflicts: 417000 | #Constraints: 82479 1652.75/1657.75 c #Conflicts: 418000 | #Constraints: 83479 1652.75/1657.75 c #Conflicts: 419000 | #Constraints: 84479 1652.75/1657.75 c #Conflicts: 420000 | #Constraints: 85479 1652.75/1657.75 c #Conflicts: 421000 | #Constraints: 86479 1652.75/1657.75 c #Conflicts: 422000 | #Constraints: 87479 1652.75/1657.75 c #Conflicts: 423000 | #Constraints: 88479 1652.75/1657.75 c #Conflicts: 424000 | #Constraints: 89479 1652.75/1657.75 c #Conflicts: 425000 | #Constraints: 90479 1652.75/1657.75 c INPROCESSING 1652.75/1657.75 c GARBAGE COLLECT 1652.75/1657.75 c rational objective -668 1806.25/1811.64 c #Conflicts: 426000 | #Constraints: 53197 1806.25/1811.64 c #Conflicts: 427000 | #Constraints: 54197 1806.25/1811.64 c #Conflicts: 428000 | #Constraints: 55197 1806.25/1811.64 c #Conflicts: 429000 | #Constraints: 56197 1806.25/1811.64 c #Conflicts: 430000 | #Constraints: 57197 1806.25/1811.64 c #Conflicts: 431000 | #Constraints: 58197 1806.25/1811.64 c #Conflicts: 432000 | #Constraints: 59197 1806.25/1811.64 c #Conflicts: 433000 | #Constraints: 60197 1806.25/1811.64 c bounds -413 >= -667 @ 1647.99 1806.25/1811.64 c #Conflicts: 434000 | #Constraints: 61251 1806.25/1811.64 c #Conflicts: 435000 | #Constraints: 62251 1806.25/1811.64 c #Conflicts: 436000 | #Constraints: 63251 1806.25/1811.64 c #Conflicts: 437000 | #Constraints: 64251 1806.25/1811.64 c #Conflicts: 438000 | #Constraints: 65251 1806.25/1811.64 c #Conflicts: 439000 | #Constraints: 66251 1806.25/1811.64 c #Conflicts: 440000 | #Constraints: 67251 1806.25/1811.64 c #Conflicts: 441000 | #Constraints: 68251 1806.25/1811.64 c #Conflicts: 442000 | #Constraints: 69251 1806.25/1811.64 c #Conflicts: 443000 | #Constraints: 70251 1806.25/1811.64 c #Conflicts: 444000 | #Constraints: 71251 1806.25/1811.64 c #Conflicts: 445000 | #Constraints: 72251 1806.25/1811.64 c #Conflicts: 446000 | #Constraints: 73251 1806.25/1811.64 c #Conflicts: 447000 | #Constraints: 74251 1806.25/1811.64 c #Conflicts: 448000 | #Constraints: 75251 1806.25/1811.64 c #Conflicts: 449000 | #Constraints: 76251 1806.25/1811.64 c #Conflicts: 450000 | #Constraints: 77251 1806.25/1811.64 c #Conflicts: 451000 | #Constraints: 78251 1806.25/1811.64 c #Conflicts: 452000 | #Constraints: 79251 1806.25/1811.64 c #Conflicts: 453000 | #Constraints: 80251 1806.25/1811.64 c #Conflicts: 454000 | #Constraints: 81251 1806.25/1811.64 c #Conflicts: 455000 | #Constraints: 82251 1806.25/1811.64 c #Conflicts: 456000 | #Constraints: 83251 1806.25/1811.64 c #Conflicts: 457000 | #Constraints: 84251 1806.25/1811.64 c #Conflicts: 458000 | #Constraints: 85251 1806.25/1811.64 c #Conflicts: 459000 | #Constraints: 86251 1806.25/1811.64 c #Conflicts: 460000 | #Constraints: 87251 1806.25/1811.64 c #Conflicts: 461000 | #Constraints: 88251 1806.25/1811.64 c #Conflicts: 462000 | #Constraints: 89251 1806.25/1811.64 c #Conflicts: 463000 | #Constraints: 90251 1806.25/1811.64 c #Conflicts: 464000 | #Constraints: 91251 1806.25/1811.64 c #Conflicts: 465000 | #Constraints: 92251 1806.25/1811.64 c #Conflicts: 466000 | #Constraints: 93251 1806.25/1811.64 c #Conflicts: 467000 | #Constraints: 94251 1806.25/1811.64 c #Conflicts: 468000 | #Constraints: 95251 1806.25/1811.64 c INPROCESSING 1806.25/1811.64 c GARBAGE COLLECT 1806.25/1811.64 c rational objective -667 2076.96/2083.07 c #Conflicts: 469000 | #Constraints: 58627 2076.96/2083.07 c #Conflicts: 470000 | #Constraints: 59627 2076.96/2083.07 c #Conflicts: 471000 | #Constraints: 60627 2076.96/2083.07 c #Conflicts: 472000 | #Constraints: 61627 2076.96/2083.07 c #Conflicts: 473000 | #Constraints: 62627 2076.96/2083.07 c #Conflicts: 474000 | #Constraints: 63627 2076.96/2083.07 c #Conflicts: 475000 | #Constraints: 64627 2076.96/2083.07 c #Conflicts: 476000 | #Constraints: 65627 2076.96/2083.07 c #Conflicts: 477000 | #Constraints: 66627 2076.96/2083.07 c #Conflicts: 478000 | #Constraints: 67627 2076.96/2083.07 c #Conflicts: 479000 | #Constraints: 68627 2076.96/2083.07 c #Conflicts: 480000 | #Constraints: 69627 2076.96/2083.07 c #Conflicts: 481000 | #Constraints: 70627 2076.96/2083.07 c #Conflicts: 482000 | #Constraints: 71627 2076.96/2083.07 c #Conflicts: 483000 | #Constraints: 72627 2076.96/2083.07 c #Conflicts: 484000 | #Constraints: 73627 2076.96/2083.07 c #Conflicts: 485000 | #Constraints: 74627 2076.96/2083.07 c #Conflicts: 486000 | #Constraints: 75627 2076.96/2083.07 c #Conflicts: 487000 | #Constraints: 76627 2076.96/2083.07 c #Conflicts: 488000 | #Constraints: 77627 2076.96/2083.07 c #Conflicts: 489000 | #Constraints: 78627 2076.96/2083.07 c #Conflicts: 490000 | #Constraints: 79627 2076.96/2083.07 c #Conflicts: 491000 | #Constraints: 80627 2076.96/2083.07 c #Conflicts: 492000 | #Constraints: 81627 2076.96/2083.07 c #Conflicts: 493000 | #Constraints: 82627 2076.96/2083.07 c #Conflicts: 494000 | #Constraints: 83627 2076.96/2083.07 c #Conflicts: 495000 | #Constraints: 84627 2076.96/2083.07 c #Conflicts: 496000 | #Constraints: 85627 2076.96/2083.07 c #Conflicts: 497000 | #Constraints: 86627 2076.96/2083.07 c #Conflicts: 498000 | #Constraints: 87627 2076.96/2083.07 c #Conflicts: 499000 | #Constraints: 88627 2076.96/2083.07 c #Conflicts: 500000 | #Constraints: 89627 2076.96/2083.07 c #Conflicts: 501000 | #Constraints: 90627 2076.96/2083.07 c #Conflicts: 502000 | #Constraints: 91627 2076.96/2083.07 c #Conflicts: 503000 | #Constraints: 92627 2076.96/2083.07 c #Conflicts: 504000 | #Constraints: 93627 2076.96/2083.07 c #Conflicts: 505000 | #Constraints: 94627 2076.96/2083.07 c #Conflicts: 506000 | #Constraints: 95627 2076.96/2083.07 c #Conflicts: 507000 | #Constraints: 96627 2076.96/2083.07 c #Conflicts: 508000 | #Constraints: 97627 2076.96/2083.07 c #Conflicts: 509000 | #Constraints: 98627 2076.96/2083.07 c #Conflicts: 510000 | #Constraints: 99627 2076.96/2083.07 c #Conflicts: 511000 | #Constraints: 100627 2076.96/2083.07 c #Conflicts: 512000 | #Constraints: 101627 2076.96/2083.07 c #Conflicts: 513000 | #Constraints: 102627 2076.96/2083.07 c INPROCESSING 2076.96/2083.07 c GARBAGE COLLECT 2076.96/2083.07 c rational objective -667 2554.80/2562.21 c bounds -418 >= -667 @ 2057.06 2554.80/2562.21 c bounds -419 >= -667 @ 2057.3 2554.80/2562.21 c bounds -421 >= -667 @ 2057.35 2554.80/2562.21 c bounds -422 >= -667 @ 2057.4 2554.80/2562.21 c bounds -424 >= -667 @ 2057.44 2554.80/2562.21 c bounds -425 >= -667 @ 2057.48 2554.80/2562.21 c bounds -426 >= -667 @ 2057.52 2554.80/2562.21 c bounds -427 >= -667 @ 2057.56 2554.80/2562.21 c bounds -429 >= -667 @ 2057.6 2554.80/2562.21 c bounds -430 >= -667 @ 2057.64 2554.80/2562.21 c bounds -432 >= -667 @ 2057.68 2554.80/2562.21 c bounds -434 >= -667 @ 2057.72 2554.80/2562.21 c bounds -435 >= -667 @ 2057.76 2554.80/2562.21 c bounds -437 >= -667 @ 2057.8 2554.80/2562.21 c bounds -439 >= -667 @ 2057.84 2554.80/2562.21 c bounds -441 >= -667 @ 2057.88 2554.80/2562.21 c bounds -443 >= -667 @ 2057.92 2554.80/2562.21 c bounds -444 >= -667 @ 2057.96 2554.80/2562.21 c bounds -445 >= -667 @ 2059.4 2554.80/2562.21 c #Conflicts: 514000 | #Constraints: 61172 2554.80/2562.21 c bounds -446 >= -667 @ 2061.12 2554.80/2562.21 c #Conflicts: 515000 | #Constraints: 62173 2554.80/2562.21 c #Conflicts: 516000 | #Constraints: 63173 2554.80/2562.21 c bounds -447 >= -667 @ 2069.48 2554.80/2562.21 c #Conflicts: 517000 | #Constraints: 64174 2554.80/2562.21 c bounds -449 >= -667 @ 2073.96 2554.80/2562.21 c bounds -451 >= -667 @ 2074.41 2554.80/2562.21 c bounds -453 >= -667 @ 2074.79 2554.80/2562.21 c bounds -454 >= -667 @ 2075.01 2554.80/2562.21 c #Conflicts: 518000 | #Constraints: 65178 2554.80/2562.21 c #Conflicts: 519000 | #Constraints: 66178 2554.80/2562.21 c #Conflicts: 520000 | #Constraints: 67178 2554.80/2562.21 c bounds -455 >= -667 @ 2088.39 2554.80/2562.21 c #Conflicts: 521000 | #Constraints: 68179 2554.80/2562.21 c bounds -456 >= -667 @ 2089.93 2554.80/2562.21 c #Conflicts: 522000 | #Constraints: 69180 2554.80/2562.21 c bounds -457 >= -667 @ 2095.21 2554.80/2562.21 c #Conflicts: 523000 | #Constraints: 70181 2554.80/2562.21 c #Conflicts: 524000 | #Constraints: 71181 2554.80/2562.21 c #Conflicts: 525000 | #Constraints: 72181 2554.80/2562.21 c #Conflicts: 526000 | #Constraints: 73181 2554.80/2562.21 c #Conflicts: 527000 | #Constraints: 74181 2554.80/2562.21 c #Conflicts: 528000 | #Constraints: 75181 2554.80/2562.21 c #Conflicts: 529000 | #Constraints: 76181 2554.80/2562.21 c #Conflicts: 530000 | #Constraints: 77181 2554.80/2562.21 c #Conflicts: 531000 | #Constraints: 78181 2554.80/2562.21 c #Conflicts: 532000 | #Constraints: 79181 2554.80/2562.21 c #Conflicts: 533000 | #Constraints: 80181 2554.80/2562.21 c #Conflicts: 534000 | #Constraints: 81181 2554.80/2562.21 c #Conflicts: 535000 | #Constraints: 82181 2554.80/2562.21 c bounds -458 >= -667 @ 2205.87 2554.80/2562.21 c #Conflicts: 536000 | #Constraints: 83182 2554.80/2562.21 c #Conflicts: 537000 | #Constraints: 84182 2554.80/2562.21 c #Conflicts: 538000 | #Constraints: 85182 2554.80/2562.21 c #Conflicts: 539000 | #Constraints: 86182 2554.80/2562.21 c #Conflicts: 540000 | #Constraints: 87182 2554.80/2562.21 c #Conflicts: 541000 | #Constraints: 88182 2554.80/2562.21 c #Conflicts: 542000 | #Constraints: 89182 2554.80/2562.21 c #Conflicts: 543000 | #Constraints: 90182 2554.80/2562.21 c #Conflicts: 544000 | #Constraints: 91182 2554.80/2562.21 c #Conflicts: 545000 | #Constraints: 92182 2554.80/2562.21 c #Conflicts: 546000 | #Constraints: 93182 2554.80/2562.21 c #Conflicts: 547000 | #Constraints: 94182 2554.80/2562.21 c #Conflicts: 548000 | #Constraints: 95182 2554.80/2562.21 c #Conflicts: 549000 | #Constraints: 96182 2554.80/2562.21 c #Conflicts: 550000 | #Constraints: 97182 2554.80/2562.21 c #Conflicts: 551000 | #Constraints: 98182 2554.80/2562.21 c #Conflicts: 552000 | #Constraints: 99182 2554.80/2562.21 c #Conflicts: 553000 | #Constraints: 100182 2554.80/2562.21 c #Conflicts: 554000 | #Constraints: 101182 2554.80/2562.21 c #Conflicts: 555000 | #Constraints: 102182 2554.80/2562.21 c #Conflicts: 556000 | #Constraints: 103182 2554.80/2562.21 c #Conflicts: 557000 | #Constraints: 104182 2554.80/2562.21 c #Conflicts: 558000 | #Constraints: 105182 2554.80/2562.21 c #Conflicts: 559000 | #Constraints: 106182 2554.80/2562.21 c #Conflicts: 560000 | #Constraints: 107182 2554.80/2562.21 c INPROCESSING 2554.80/2562.21 c GARBAGE COLLECT 2554.80/2562.21 c rational objective -667 2944.15/2952.53 c bounds -459 >= -667 @ 2534.76 2944.15/2952.53 c #Conflicts: 561000 | #Constraints: 62455 2944.15/2952.53 c #Conflicts: 562000 | #Constraints: 63455 2944.15/2952.53 c #Conflicts: 563000 | #Constraints: 64455 2944.15/2952.53 c #Conflicts: 564000 | #Constraints: 65455 2944.15/2952.53 c bounds -460 >= -667 @ 2549.92 2944.15/2952.53 c #Conflicts: 565000 | #Constraints: 66456 2944.15/2952.53 c bounds -461 >= -667 @ 2552.69 2944.15/2952.53 c #Conflicts: 566000 | #Constraints: 67457 2944.15/2952.53 c #Conflicts: 567000 | #Constraints: 68457 2944.15/2952.53 c #Conflicts: 568000 | #Constraints: 69457 2944.15/2952.53 c #Conflicts: 569000 | #Constraints: 70457 2944.15/2952.53 c #Conflicts: 570000 | #Constraints: 71457 2944.15/2952.53 c #Conflicts: 571000 | #Constraints: 72457 2944.15/2952.53 c #Conflicts: 572000 | #Constraints: 73457 2944.15/2952.53 c #Conflicts: 573000 | #Constraints: 74457 2944.15/2952.53 c #Conflicts: 574000 | #Constraints: 75457 2944.15/2952.53 c #Conflicts: 575000 | #Constraints: 76457 2944.15/2952.53 c #Conflicts: 576000 | #Constraints: 77457 2944.15/2952.53 c #Conflicts: 577000 | #Constraints: 78457 2944.15/2952.53 c #Conflicts: 578000 | #Constraints: 79457 2944.15/2952.53 c bounds -462 >= -667 @ 2637.92 2944.15/2952.53 c #Conflicts: 579000 | #Constraints: 80458 2944.15/2952.53 c #Conflicts: 580000 | #Constraints: 81458 2944.15/2952.53 c #Conflicts: 581000 | #Constraints: 82458 2944.15/2952.53 c #Conflicts: 582000 | #Constraints: 83458 2944.15/2952.53 c #Conflicts: 583000 | #Constraints: 84458 2944.15/2952.53 c #Conflicts: 584000 | #Constraints: 85458 2944.15/2952.53 c #Conflicts: 585000 | #Constraints: 86458 2944.15/2952.53 c #Conflicts: 586000 | #Constraints: 87458 2944.15/2952.53 c #Conflicts: 587000 | #Constraints: 88458 2944.15/2952.53 c #Conflicts: 588000 | #Constraints: 89458 2944.15/2952.53 c #Conflicts: 589000 | #Constraints: 90458 2944.15/2952.53 c #Conflicts: 590000 | #Constraints: 91458 2944.15/2952.53 c #Conflicts: 591000 | #Constraints: 92458 2944.15/2952.53 c #Conflicts: 592000 | #Constraints: 93458 2944.15/2952.53 c #Conflicts: 593000 | #Constraints: 94458 2944.15/2952.53 c #Conflicts: 594000 | #Constraints: 95458 2944.15/2952.53 c #Conflicts: 595000 | #Constraints: 96458 2944.15/2952.53 c #Conflicts: 596000 | #Constraints: 97458 2944.15/2952.53 c #Conflicts: 597000 | #Constraints: 98458 2944.15/2952.53 c #Conflicts: 598000 | #Constraints: 99458 2944.15/2952.53 c #Conflicts: 599000 | #Constraints: 100458 2944.15/2952.53 c #Conflicts: 600000 | #Constraints: 101458 2944.15/2952.53 c #Conflicts: 601000 | #Constraints: 102458 2944.15/2952.53 c #Conflicts: 602000 | #Constraints: 103458 2944.15/2952.53 c #Conflicts: 603000 | #Constraints: 104458 2944.15/2952.53 c #Conflicts: 604000 | #Constraints: 105458 2944.15/2952.53 c #Conflicts: 605000 | #Constraints: 106458 2944.15/2952.53 c bounds -462 >= -666 @ 2896.78 2944.15/2952.53 c #Conflicts: 606000 | #Constraints: 107539 2944.15/2952.53 c bounds -463 >= -666 @ 2903.02 2944.15/2952.53 c #Conflicts: 607000 | #Constraints: 108540 2944.15/2952.53 c #Conflicts: 608000 | #Constraints: 109540 2944.15/2952.53 c #Conflicts: 609000 | #Constraints: 110540 2944.15/2952.53 c INPROCESSING 2944.15/2952.53 c GARBAGE COLLECT 2944.15/2952.53 c rational objective -666 3495.69/3505.45 c #Conflicts: 610000 | #Constraints: 63406 3495.69/3505.45 c #Conflicts: 611000 | #Constraints: 64406 3495.69/3505.45 c #Conflicts: 612000 | #Constraints: 65406 3495.69/3505.45 c #Conflicts: 613000 | #Constraints: 66406 3495.69/3505.45 c #Conflicts: 614000 | #Constraints: 67406 3495.69/3505.45 c #Conflicts: 615000 | #Constraints: 68406 3495.69/3505.45 c bounds -464 >= -666 @ 2953.64 3495.69/3505.45 c #Conflicts: 616000 | #Constraints: 69407 3495.69/3505.45 c #Conflicts: 617000 | #Constraints: 70407 3495.69/3505.45 c #Conflicts: 618000 | #Constraints: 71407 3495.69/3505.45 c #Conflicts: 619000 | #Constraints: 72407 3495.69/3505.45 c #Conflicts: 620000 | #Constraints: 73407 3495.69/3505.45 c #Conflicts: 621000 | #Constraints: 74407 3495.69/3505.45 c #Conflicts: 622000 | #Constraints: 75407 3495.69/3505.45 c #Conflicts: 623000 | #Constraints: 76407 3495.69/3505.45 c #Conflicts: 624000 | #Constraints: 77407 3495.69/3505.45 c #Conflicts: 625000 | #Constraints: 78407 3495.69/3505.45 c #Conflicts: 626000 | #Constraints: 79407 3495.69/3505.45 c #Conflicts: 627000 | #Constraints: 80407 3495.69/3505.45 c #Conflicts: 628000 | #Constraints: 81407 3495.69/3505.45 c #Conflicts: 629000 | #Constraints: 82407 3495.69/3505.45 c #Conflicts: 630000 | #Constraints: 83407 3495.69/3505.45 c #Conflicts: 631000 | #Constraints: 84407 3495.69/3505.45 c #Conflicts: 632000 | #Constraints: 85407 3495.69/3505.45 c #Conflicts: 633000 | #Constraints: 86407 3495.69/3505.45 c #Conflicts: 634000 | #Constraints: 87407 3495.69/3505.45 c #Conflicts: 635000 | #Constraints: 88407 3495.69/3505.45 c #Conflicts: 636000 | #Constraints: 89407 3495.69/3505.45 c #Conflicts: 637000 | #Constraints: 90407 3495.69/3505.45 c #Conflicts: 638000 | #Constraints: 91407 3495.69/3505.45 c #Conflicts: 639000 | #Constraints: 92407 3495.69/3505.45 c #Conflicts: 640000 | #Constraints: 93407 3495.69/3505.45 c bounds -465 >= -666 @ 3147.46 3495.69/3505.45 c #Conflicts: 641000 | #Constraints: 94408 3495.69/3505.45 c #Conflicts: 642000 | #Constraints: 95408 3495.69/3505.45 c #Conflicts: 643000 | #Constraints: 96408 3495.69/3505.45 c #Conflicts: 644000 | #Constraints: 97408 3495.69/3505.45 c #Conflicts: 645000 | #Constraints: 98408 3495.69/3505.45 c #Conflicts: 646000 | #Constraints: 99408 3495.69/3505.45 c #Conflicts: 647000 | #Constraints: 100408 3495.69/3505.45 c #Conflicts: 648000 | #Constraints: 101408 3495.69/3505.45 c #Conflicts: 649000 | #Constraints: 102408 3495.69/3505.45 c #Conflicts: 650000 | #Constraints: 103408 3495.69/3505.45 c #Conflicts: 651000 | #Constraints: 104408 3495.69/3505.45 c #Conflicts: 652000 | #Constraints: 105408 3495.69/3505.45 c #Conflicts: 653000 | #Constraints: 106408 3495.69/3505.45 c #Conflicts: 654000 | #Constraints: 107408 3495.69/3505.45 c #Conflicts: 655000 | #Constraints: 108408 3495.69/3505.45 c #Conflicts: 656000 | #Constraints: 109408 3495.69/3505.45 c #Conflicts: 657000 | #Constraints: 110408 3495.69/3505.45 c #Conflicts: 658000 | #Constraints: 111408 3495.69/3505.45 c #Conflicts: 659000 | #Constraints: 112408 3495.69/3505.45 c #Conflicts: 660000 | #Constraints: 113408 3495.69/3505.45 c INPROCESSING 3495.69/3505.45 c GARBAGE COLLECT 3495.69/3505.45 c rational objective -666 3600.04/3610.01 c #Conflicts: 661000 | #Constraints: 66103 3600.04/3610.01 c #Conflicts: 662000 | #Constraints: 67103 3600.04/3610.01 c #Conflicts: 663000 | #Constraints: 68103 3600.04/3610.01 c #Conflicts: 664000 | #Constraints: 69103 3600.04/3610.01 c #Conflicts: 665000 | #Constraints: 70103 3600.04/3610.01 c #Conflicts: 666000 | #Constraints: 71103 3600.04/3610.01 c #Conflicts: 667000 | #Constraints: 72103 3600.04/3610.01 c #Conflicts: 668000 | #Constraints: 73103 3600.04/3610.01 c #Conflicts: 669000 | #Constraints: 74103 3600.04/3610.01 c #Conflicts: 670000 | #Constraints: 75103 3600.04/3610.01 c #Conflicts: 671000 | #Constraints: 76103 3600.04/3610.01 c #Conflicts: 672000 | #Constraints: 77103 3600.04/3610.01 c #Conflicts: 673000 | #Constraints: 78103 3600.04/3610.01 c #Conflicts: 674000 | #Constraints: 79103 3600.04/3610.01 c #Conflicts: 675000 | #Constraints: 80103 3600.04/3610.01 c #Conflicts: 676000 | #Constraints: 81103 3600.04/3610.01 c #Conflicts: 677000 | #Constraints: 82103 3600.04/3610.01 c #Conflicts: 678000 | #Constraints: 83103 3600.04/3610.01 c #Conflicts: 679000 | #Constraints: 84103 3600.04/3610.01 c #Conflicts: 680000 | #Constraints: 85103 3600.04/3610.01 c #Conflicts: 681000 | #Constraints: 86103 3600.04/3610.01 c Program interrupted by user. 3600.04/3610.01 c cpu time 3571.91 s 3600.04/3610.01 c deterministic time 397313178377 3.97e+11 3600.04/3610.01 c optimization time 105.355 s 3600.04/3610.01 c total solve time 3466.52 s 3600.04/3610.01 c core-guided solve time 2344.56 s 3600.04/3610.01 c propagation time 2966.54 s 3600.04/3610.01 c conflict analysis time 528.353 s 3600.04/3610.01 c propagations 184876170 3600.04/3610.01 c resolve steps 8896029 3600.04/3610.01 c decisions 10949370 3600.04/3610.01 c conflicts 681504 3600.04/3610.01 c restarts 1482 3600.04/3610.01 c inprocessing phases 30 3600.04/3610.01 c input clauses 4346 3600.04/3610.01 c input cardinalities 1018 3600.04/3610.01 c input general constraints 6188 3600.04/3610.01 c input average constraint length 374.79 3600.04/3610.01 c input average constraint degree 105.80 3600.04/3610.01 c learned clauses 174258 3600.04/3610.01 c learned cardinalities 186 3600.04/3610.01 c learned general constraints 507503 3600.04/3610.01 c learned average constraint length 698.42 3600.04/3610.01 c learned average constraint degree 17745303.10 3600.04/3610.01 c watched constraints 384457 3600.04/3610.01 c counting constraints 129234 3600.04/3610.01 c gcd simplifications 26994 3600.04/3610.01 c detected cardinalities 29 3600.04/3610.01 c weakened non-implied lits 122887604 3600.04/3610.01 c weakened non-implying lits 37322 3600.04/3610.01 c original variables 3625 3600.04/3610.01 c clausal propagations 21593761 3600.04/3610.01 c cardinality propagations 14956551 3600.04/3610.01 c watched propagations 22642312 3600.04/3610.01 c counting propagations 123506129 3600.04/3610.01 c watch lookups 50790999071 3600.04/3610.01 c watch backjump lookups 46680858550 3600.04/3610.01 c watch checks 248549128589 3600.04/3610.01 c propagation checks 49366964811 3600.04/3610.01 c constraint additions 1532193431 3600.04/3610.01 c trail pops 196505690 3600.04/3610.01 c formula constraints 4800 3600.04/3610.01 c learned constraints 681945 3600.04/3610.01 c bound constraints 1368 3600.04/3610.01 c core-guided constraints 5384 3600.04/3610.01 c encountered formula constraints 2883526 3600.04/3610.01 c encountered learned constraints 5485694 3600.04/3610.01 c encountered bound constraints 545 3600.04/3610.01 c encountered core-guided constraints 1207767 3600.04/3610.01 c LP total time 330.854 s 3600.04/3610.01 c LP solve time 309.07 s 3600.04/3610.01 c LP constraints added 4800 3600.04/3610.01 c LP constraints removed 0 3600.04/3610.01 c LP pivots internal 681504 3600.04/3610.01 c LP pivots root 21190 3600.04/3610.01 c LP calls 162769 3600.04/3610.01 c LP optimalities 162765 3600.04/3610.01 c LP no pivot count 107921 3600.04/3610.01 c LP infeasibilities 1 3600.04/3610.01 c LP valid Farkas constraints 1 3600.04/3610.01 c LP learned Farkas constraints 1 3600.04/3610.01 c LP basis resets 0 3600.04/3610.01 c LP cycling count 0 3600.04/3610.01 c LP singular count 0 3600.04/3610.01 c LP no primal count 0 3600.04/3610.01 c LP no farkas count 0 3600.04/3610.01 c LP other issue count 0 3600.04/3610.01 c LP Gomory cuts 0 3600.04/3610.01 c LP learned cuts 0 3600.04/3610.01 c LP deleted cuts 0 3600.04/3610.01 c LP encountered Gomory constraints 0 3600.04/3610.01 c LP encountered Farkas constraints 0 3600.04/3610.01 c LP encountered learned Farkas constraints 0 3600.04/3610.01 c CG auxiliary variables introduced 2134 3600.04/3610.01 c CG solutions found 350 3600.04/3610.01 c CG cores constructed 1018 3600.04/3610.01 c CG core cardinality constraints returned 0 3600.04/3610.01 c CG unit cores 0 3600.04/3610.01 c CG single cores 1018 3600.04/3610.01 c CG blocks removed during cardinality reduction 0 3600.04/3610.01 c CG first core best 0 3600.04/3610.01 c CG decision core best 0 3600.04/3610.01 c CG core reduction tie 0 3600.04/3610.01 c CG core degree average 1.00 3600.04/3610.01 c CG core slack average 3.63 3600.04/3610.01 s SATISFIABLE 3600.04/3610.01 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 -465
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (57632 MiB free)
memory of node 1: 64510 MiB (58395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460467-1722071490/watcher-4460467-1722071490 -o /tmp/evaluation-result-4460467-1722071490/solver-4460467-1722071490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722064837-362350 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460467-1722071490 --lp-cut-gomory=0 HOME/instance-4460467-1722071490.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=366963, runsolver pid=366960
[startup+0.100497 s]*
/proc/loadavg: 4.11 4.16 4.18 5/248 366964
/proc/meminfo: memFree=118802984/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=43288 memory=15168 CPUtime=0.09 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 2055 0 0 0 8 1 0 0 20 0 1 0 43138380 44326912 3792 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 10822 3792 1784 992 0 2680 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43288 KiB
Current children cumulated memory: 15168 KiB
[startup+0.210184 s]*
/proc/loadavg: 4.11 4.16 4.18 5/248 366964
/proc/meminfo: memFree=118801804/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=43992 memory=15696 CPUtime=0.2 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 2203 0 0 0 18 2 0 0 20 0 1 0 43138380 45047808 3924 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 10998 3924 1784 992 0 2856 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 15696 KiB
[startup+0.309999 s]*
/proc/loadavg: 4.11 4.16 4.18 5/248 366964
/proc/meminfo: memFree=118800320/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=44132 memory=16140 CPUtime=0.3 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 2262 0 0 0 27 3 0 0 20 0 1 0 43138380 45191168 4035 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 11033 4035 1832 992 0 2891 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44132 KiB
Current children cumulated memory: 16140 KiB
[startup+0.700272 s]
/proc/loadavg: 4.11 4.16 4.18 5/248 366964
/proc/meminfo: memFree=118796820/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=44284 memory=18188 CPUtime=0.68 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 2284 0 0 0 62 6 0 0 20 0 1 0 43138380 45346816 4547 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 11071 4547 1832 992 0 2929 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 18188 KiB
[startup+1.50028 s]
/proc/loadavg: 4.11 4.16 4.18 6/248 366964
/proc/meminfo: memFree=118782336/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=52008 memory=25192 CPUtime=1.48 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 3536 0 0 0 130 18 0 0 20 0 1 0 43138380 53256192 6298 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 13002 6298 1832 992 0 4860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52008 KiB
Current children cumulated memory: 25192 KiB
[startup+3.11243 s]
/proc/loadavg: 4.10 4.16 4.18 6/248 366965
/proc/meminfo: memFree=118707684/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=76016 memory=48096 CPUtime=3.08 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 5793 0 0 0 242 66 0 0 20 0 1 0 43138380 77840384 12024 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 19004 12024 1832 992 0 10862 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 76016 KiB
Current children cumulated memory: 48096 KiB
[startup+6.30026 s]
/proc/loadavg: 4.10 4.16 4.18 7/248 366965
/proc/meminfo: memFree=118663648/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=112308 memory=69680 CPUtime=6.26 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 10617 0 0 0 518 108 0 0 20 0 1 0 43138380 115003392 17420 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 28077 17420 1911 992 0 19935 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 112308 KiB
Current children cumulated memory: 69680 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.16 4.18 7/248 366965
/proc/meminfo: memFree=118594832/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=149040 memory=113368 CPUtime=12.65 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 19497 0 0 0 1123 142 0 0 20 0 1 0 43138380 152616960 28342 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 37260 28342 1911 992 0 29118 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 149040 KiB
Current children cumulated memory: 113368 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.15 4.18 6/248 366969
/proc/meminfo: memFree=118463944/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=213976 memory=176124 CPUtime=25.41 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 28051 0 0 0 2364 177 0 0 20 0 1 0 43138380 219111424 44031 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 53494 44031 1911 992 0 45352 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 213976 KiB
Current children cumulated memory: 176124 KiB
[startup+51.1124 s]
/proc/loadavg: 4.11 4.15 4.18 6/247 366972
/proc/meminfo: memFree=117913884/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=217440 memory=181404 CPUtime=50.96 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 28953 0 0 0 4854 242 0 0 20 0 1 0 43138380 222658560 45351 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 54360 45351 1911 992 0 46218 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 217440 KiB
Current children cumulated memory: 181404 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/247 367074
/proc/meminfo: memFree=122063856/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=318816 memory=258540 CPUtime=102 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 40097 0 0 0 9854 346 0 0 20 0 1 0 43138380 326467584 64635 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 79704 64635 1911 992 0 71562 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 318816 KiB
Current children cumulated memory: 258540 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/249 367086
/proc/meminfo: memFree=121014788/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=512600 memory=402452 CPUtime=161.81 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 62855 0 0 0 15755 426 0 0 20 0 1 0 43138380 524902400 100613 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 128150 100613 1911 992 0 120008 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 512600 KiB
Current children cumulated memory: 402452 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/249 367097
/proc/meminfo: memFree=120500352/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=515620 memory=405356 CPUtime=221.63 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 63574 0 0 0 21653 510 0 0 20 0 1 0 43138380 527994880 101339 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 128905 101339 1911 992 0 120763 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 515620 KiB
Current children cumulated memory: 405356 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.16 4.17 5/244 367107
/proc/meminfo: memFree=119728720/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=711272 memory=536200 CPUtime=281.44 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 78984 0 0 0 27581 563 0 0 20 0 1 0 43138380 728342528 134050 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 177818 134050 1911 992 0 169676 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 711272 KiB
Current children cumulated memory: 536200 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/244 367117
/proc/meminfo: memFree=119083040/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1103084 memory=784876 CPUtime=341.26 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 114150 0 0 0 33520 606 0 0 20 0 1 0 43138380 1129558016 196219 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 275771 196219 1911 992 0 267629 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1103084 KiB
Current children cumulated memory: 784876 KiB
[startup+402.3 s]
/proc/loadavg: 4.36 4.19 4.18 5/244 367127
/proc/meminfo: memFree=118808532/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1114008 memory=797276 CPUtime=401.07 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 116448 0 0 0 39467 640 0 0 20 0 1 0 43138380 1140744192 199319 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 278502 199319 1911 992 0 270360 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 1114008 KiB
Current children cumulated memory: 797276 KiB
[startup+462.3 s]
/proc/loadavg: 4.53 4.29 4.22 5/243 367138
/proc/meminfo: memFree=118559548/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1114344 memory=797536 CPUtime=460.88 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 116560 0 0 0 45368 720 0 0 20 0 1 0 43138380 1141088256 199384 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
################
# More data... #
################
Current children cumulated memory: 1407808 KiB
[startup+2862.3 s]
/proc/loadavg: 4.55 4.38 4.23 5/244 368832
/proc/meminfo: memFree=117026620/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1700148 memory=1407808 CPUtime=2854.18 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 175041 0 0 0 282973 2445 0 0 20 0 1 0 43138380 1740951552 351952 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 425037 351952 1927 992 0 416895 0
Current children cumulated CPU time: 2854.18 s
Current children cumulated vsize: 1700148 KiB
Current children cumulated memory: 1407808 KiB
[startup+2922.3 s]
/proc/loadavg: 4.31 4.34 4.23 5/247 368847
/proc/meminfo: memFree=116973164/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1700148 memory=1407828 CPUtime=2914.03 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 175562 0 0 0 288928 2475 0 0 20 0 1 0 43138380 1740951552 351957 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 425037 351957 1927 992 0 416895 0
Current children cumulated CPU time: 2914.03 s
Current children cumulated vsize: 1700148 KiB
Current children cumulated memory: 1407828 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.31 4.22 5/245 368868
/proc/meminfo: memFree=116476684/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1704988 memory=1411012 CPUtime=2973.89 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 177235 0 0 0 294861 2528 0 0 20 0 1 0 43138380 1745907712 352753 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 426247 352753 1927 992 0 418105 0
Current children cumulated CPU time: 2973.89 s
Current children cumulated vsize: 1704988 KiB
Current children cumulated memory: 1411012 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.26 4.21 5/247 368882
/proc/meminfo: memFree=116055420/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1705360 memory=1411252 CPUtime=3033.74 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 177908 0 0 0 300797 2577 0 0 20 0 1 0 43138380 1746288640 352813 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 426340 352813 1927 992 0 418198 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 1705360 KiB
Current children cumulated memory: 1411252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.69 4.39 4.26 5/246 368892
/proc/meminfo: memFree=115800980/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1711272 memory=1415320 CPUtime=3093.59 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 179507 0 0 0 306743 2616 0 0 20 0 1 0 43138380 1752342528 353830 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 427818 353830 1927 992 0 419676 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 1711272 KiB
Current children cumulated memory: 1415320 KiB
[startup+3162.3 s]
/proc/loadavg: 4.60 4.45 4.28 5/247 368903
/proc/meminfo: memFree=115595704/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1728944 memory=1426888 CPUtime=3153.45 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 182999 0 0 0 312696 2649 0 0 20 0 1 0 43138380 1770438656 356722 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 432236 356722 1927 992 0 424094 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 1728944 KiB
Current children cumulated memory: 1426888 KiB
[startup+3222.3 s]
/proc/loadavg: 4.00 4.31 4.25 4/240 368944
/proc/meminfo: memFree=117284548/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1742468 memory=1435552 CPUtime=3213.3 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 185733 0 0 0 318661 2669 0 0 20 0 1 0 43138380 1784287232 358888 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 435617 358888 1927 992 0 427475 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 1742468 KiB
Current children cumulated memory: 1435552 KiB
[startup+3282.3 s]
/proc/loadavg: 3.43 4.09 4.17 4/237 368954
/proc/meminfo: memFree=117235692/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1750404 memory=1440016 CPUtime=3273.15 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 187323 0 0 0 324631 2684 0 0 20 0 1 0 43138380 1792413696 360004 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 437601 360004 1927 992 0 429459 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 1750404 KiB
Current children cumulated memory: 1440016 KiB
[startup+3342.3 s]
/proc/loadavg: 3.20 3.90 4.10 4/235 368964
/proc/meminfo: memFree=117132752/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1753220 memory=1441592 CPUtime=3333 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 188213 0 0 0 330601 2699 0 0 20 0 1 0 43138380 1795297280 360398 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 438305 360398 1927 992 0 430163 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 1753220 KiB
Current children cumulated memory: 1441592 KiB
[startup+3402.3 s]
/proc/loadavg: 3.33 3.80 4.05 4/235 368974
/proc/meminfo: memFree=117014752/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1753732 memory=1441888 CPUtime=3392.85 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 188793 0 0 0 336575 2710 0 0 20 0 1 0 43138380 1795821568 360472 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 438433 360472 1927 992 0 430291 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 1753732 KiB
Current children cumulated memory: 1441888 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.65 3.98 4/235 368986
/proc/meminfo: memFree=116933480/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1754756 memory=1442488 CPUtime=3452.7 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 189431 0 0 0 342548 2722 0 0 20 0 1 0 43138380 1796870144 360622 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 438689 360622 1927 992 0 430547 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 1754756 KiB
Current children cumulated memory: 1442488 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.55 3.92 4/238 369001
/proc/meminfo: memFree=116875736/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1755932 memory=1443372 CPUtime=3512.55 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 190210 0 0 0 348504 2751 0 0 20 0 1 0 43138380 1798074368 360843 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 438983 360843 1927 992 0 430841 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 1755932 KiB
Current children cumulated memory: 1443372 KiB
[startup+3582.3 s]
/proc/loadavg: 3.21 3.50 3.89 4/238 369011
/proc/meminfo: memFree=116799784/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1755932 memory=1443620 CPUtime=3572.39 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 190571 0 0 0 354440 2799 0 0 20 0 1 0 43138380 1798074368 360905 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 438983 360905 1927 992 0 430841 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 1755932 KiB
Current children cumulated memory: 1443620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 3.13 3.45 3.86 4/238 369017
/proc/meminfo: memFree=116767728/131655788 swapFree=131057156/131071996
[pid=366963] ppid=366960 vsize=1755932 memory=1443620 CPUtime=3600.04 cores=4,6
/proc/366963/stat : 366963 (roundingsat) R 366960 366963 362339 0 -1 4194304 190913 0 0 0 357190 2814 0 0 20 0 1 0 43138380 1798074368 360905 134679101440 4194304 8254357 140722380602064 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 32546816 140722380608351 140722380608613 140722380608613 140722380615625 0
/proc/366963/statm: 438983 360905 1927 992 0 430841 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1755932 KiB
Current children cumulated memory: 1443620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.05 s]
# the end of solver process 366963 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.91 s, system=28.1488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.05
CPU time (s): 3600.06
CPU user time (s): 3571.91
CPU system time (s): 28.1488
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 1755932
Max. memory (cumulated for all children) (KiB): 1443620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.91
system time used= 28.1488
maximum resident set size= 1444048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11857384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1052
involuntary context switches= 5045
# summary of solver processes directly reported to runsolver:
# pid: 366963
# total CPU time (s): 3600.06
# total CPU user time (s): 3571.91
# total CPU system time (s): 28.1488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6208 second user time and 34.9886 second system time
The end
Begin job on nodeC005 at 2024-07-27 11:11:30 IDJOB=4460467 IDBENCH=158503 IDSOLVER=3086 FILE ID=nodeC005/4460467-1722071490 RUNJOBID= nodeC005-1722064837-362350 SLURM_JOB_ID= 8248107 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat log 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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460467-1722071490/watcher-4460467-1722071490 -o /tmp/evaluation-result-4460467-1722071490/solver-4460467-1722071490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722064837-362350 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460467-1722071490 --lp-cut-gomory=0 HOME/instance-4460467-1722071490.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 16979d2f8203ffed07f73a3588d8874c RANDOM SEED=1560775470 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3606.535 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3664.416 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.276 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.207 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.581 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3664.407 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.123 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.348 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 118812016 kB MemAvailable: 128241040 kB Buffers: 360744 kB Cached: 9894064 kB SwapCached: 192 kB Active: 1736800 kB Inactive: 10547440 kB Active(anon): 2344 kB Inactive(anon): 2080080 kB Active(file): 1734456 kB Inactive(file): 8467360 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057156 kB Dirty: 66820 kB Writeback: 0 kB AnonPages: 2027068 kB Mapped: 106228 kB Shmem: 52880 kB KReclaimable: 134480 kB Slab: 244472 kB SReclaimable: 134480 kB SUnreclaim: 109992 kB KernelStack: 4016 kB PageTables: 13644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2538612 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12064 kB HardwareCorrupted: 0 kB AnonHugePages: 1423360 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: 418632 kB DirectMap2M: 51914752 kB DirectMap1G: 83886080 kB Free space on /tmp at the end= 723764 MiB End job on nodeC005 at 2024-07-27 12:11:40