Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 32.4641 | 32.4636 |
Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-0-100-0.wbo |
MD5SUM | ce035d98af56bba024c7eadbdc340830 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.194969 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3655 |
Total number of constraints | 8686 |
Number of soft constraints | 8686 |
Number of constraints which are clauses | 7982 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 704 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
Top cost | 442262 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 442261 |
Biggest number in a constraint | 158 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 539 |
Number of bits of the biggest sum of numbers | 10 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.06 c constraints 0/704 clauses 0/7982 units 0 0.00/0.06 c vars 3655 1.69/1.70 c 1.35779 102.633 453 457465 1.69/1.70 o 11687 1.89/1.96 c 1.52977 103.891 549 604789 1.89/1.96 o 11448 2.20/2.25 c 1.73574 104.02 689 692911 2.20/2.25 o 8922 2.29/2.36 c 1.80672 104.02 765 729137 2.29/2.36 o 8297 2.39/2.46 c 1.88871 104.02 890 758361 2.39/2.46 o 7640 2.49/2.52 c 1.93171 104.02 922 780356 2.49/2.52 o 6829 2.49/2.57 c 1.9637 104.02 944 799532 2.49/2.57 o 5138 2.79/2.84 c 2.15767 104.02 1097 831809 2.79/2.84 o 4898 3.09/3.10 c 2.33864 104.148 1222 850893 3.09/3.10 o 4888 3.09/3.13 c 2.36564 104.148 1228 861415 3.09/3.13 o 4474 3.20/3.21 c 2.41863 104.148 1264 883321 3.20/3.21 o 4462 3.20/3.28 c 2.48162 104.148 1315 906581 3.20/3.28 o 3888 3.30/3.36 c 2.54661 104.148 1451 915919 3.30/3.36 o 3873 3.39/3.43 c 2.5986 104.148 1507 939039 3.39/3.43 o 2969 3.79/3.80 c 2.85357 104.148 1620 949966 3.79/3.80 o 2968 3.89/3.99 c 2.98854 104.277 1754 972507 3.89/3.99 o 2753 4.19/4.29 c 3.19751 104.277 1871 988940 4.19/4.29 o 2745 4.30/4.34 c 3.24651 104.277 1881 1004139 4.30/4.34 o 2742 4.30/4.38 c 3.2715 104.277 1882 1014635 4.30/4.38 o 1650 4.49/4.51 c 3.35949 104.277 1929 1022867 4.49/4.51 o 1648 4.79/4.89 c 3.62545 104.277 2058 1038425 4.79/4.89 o 1640 4.89/4.97 c 3.68844 104.277 2123 1045492 4.89/4.97 o 1639 4.99/5.05 c 3.74943 104.277 2133 1059823 4.99/5.05 o 1637 5.09/5.17 c 3.84042 104.277 2162 1067918 5.09/5.17 o 1636 5.19/5.23 c 3.88041 104.277 2176 1072623 5.19/5.23 o 1635 5.29/5.31 c 3.9404 104.277 2209 1080162 5.29/5.31 o 1633 5.40/5.43 c 4.03039 104.277 2225 1087148 5.40/5.43 o 1631 5.49/5.53 c 4.11437 104.277 2240 1102277 5.49/5.53 o 1626 5.59/5.60 c 4.16237 104.277 2253 1106502 5.59/5.60 o 1614 5.79/5.87 c 4.36634 104.277 2420 1116053 5.79/5.87 o 1613 5.89/5.96 c 4.43133 104.277 2433 1123373 5.89/5.96 o 1610 5.99/6.03 c 4.48832 104.406 2458 1138256 5.99/6.03 o 1598 5.99/6.08 c 4.52531 104.406 2481 1144594 5.99/6.08 o 1596 6.09/6.20 c 4.6193 104.406 2545 1157740 6.19/6.20 o 1595 6.19/6.25 c 4.66029 104.406 2559 1171712 6.19/6.25 o 1573 6.19/6.29 c 4.69529 104.406 2568 1177861 6.19/6.29 o 1562 6.29/6.33 c 4.73428 104.406 2612 1182861 6.29/6.33 o 1559 6.39/6.49 c 4.83726 104.406 2642 1187378 6.39/6.49 o 1550 6.50/6.55 c 4.88426 104.406 2655 1201072 6.50/6.55 o 1546 6.60/6.61 c 4.93425 104.406 2663 1213557 6.60/6.61 o 1543 6.60/6.65 c 4.96425 104.406 2664 1226921 6.60/6.65 o 1305 6.60/6.68 c 4.99424 104.406 2665 1234201 6.60/6.68 o 1303 6.69/6.73 c 5.03123 104.406 2678 1242135 6.69/6.73 o 1297 6.69/6.79 c 5.08423 104.406 2713 1251945 6.69/6.79 o 1294 6.79/6.88 c 5.16322 104.406 2772 1271816 6.79/6.88 o 993 6.89/6.94 c 5.20921 104.406 2777 1278156 6.89/6.94 o 987 7.09/7.12 c 5.35518 104.406 2807 1281236 7.09/7.12 o 984 7.60/7.68 c 5.70613 104.406 2924 1288018 7.60/7.68 o 981 7.99/8.04 c 5.96109 104.406 3019 1294230 7.99/8.04 o 978 8.09/8.12 c 6.01708 104.406 3049 1299884 8.09/8.12 o 971 8.19/8.23 c 6.09907 104.406 3069 1303937 8.19/8.23 o 969 8.29/8.32 c 6.16306 104.406 3126 1307184 8.29/8.32 o 964 8.29/8.36 c 6.19206 104.406 3143 1309484 8.29/8.36 o 963 8.39/8.42 c 6.23705 104.535 3196 1313293 8.39/8.42 o 961 8.59/8.61 c 6.35803 104.535 3231 1316928 8.59/8.61 o 957 8.59/8.67 c 6.40702 104.535 3244 1319286 8.59/8.67 o 956 8.69/8.77 c 6.47902 104.535 3284 1320834 8.69/8.77 o 955 8.80/8.83 c 6.52701 104.535 3336 1322740 8.80/8.83 o 954 8.80/8.89 c 6.566 104.535 3387 1325314 8.80/8.89 o 950 8.89/8.92 c 6.6 104.535 3412 1327069 8.89/8.92 o 947 8.89/8.96 c 6.63499 104.535 3417 1329087 8.89/8.96 o 946 8.99/9.01 c 6.66999 104.535 3426 1332725 8.99/9.01 o 945 9.09/9.14 c 6.75897 104.535 3453 1334498 9.09/9.14 o 944 9.19/9.22 c 6.80896 104.535 3471 1336573 9.19/9.22 o 938 9.19/9.29 c 6.86696 104.535 3501 1341323 9.19/9.29 o 935 9.29/9.34 c 6.90495 104.535 3511 1342656 9.29/9.34 o 934 9.29/9.37 c 6.93394 104.535 3513 1343941 9.29/9.37 o 932 9.39/9.42 c 6.96794 104.535 3537 1346207 9.39/9.42 o 930 9.39/9.48 c 7.01093 104.535 3562 1350586 9.39/9.48 o 925 9.59/9.60 c 7.09592 104.535 3595 1356309 9.59/9.60 o 924 9.59/9.68 c 7.15991 104.535 3632 1358223 9.59/9.68 o 923 9.69/9.76 c 7.2279 104.535 3683 1360599 9.69/9.76 o 920 9.89/9.97 c 7.36888 104.535 3731 1362356 9.89/9.97 o 919 9.99/10.05 c 7.43187 104.535 3851 1365207 9.99/10.05 o 918 10.29/10.32 c 7.61184 104.535 4003 1367745 10.29/10.32 o 917 10.29/10.37 c 7.64984 104.535 4034 1369641 10.29/10.37 o 914 10.39/10.44 c 7.70783 104.535 4099 1372542 10.39/10.44 o 912 10.49/10.58 c 7.81081 104.535 4127 1376195 10.49/10.58 o 909 10.59/10.64 c 7.8658 104.535 4157 1378606 10.59/10.64 o 908 10.69/10.70 c 7.9108 104.664 4194 1380924 10.69/10.70 o 907 10.69/10.77 c 7.96379 104.664 4205 1384859 10.69/10.77 o 905 10.79/10.89 c 8.05177 104.664 4250 1389478 10.79/10.89 o 904 10.90/10.93 c 8.08677 104.664 4318 1391290 10.90/10.93 o 903 10.99/11.02 c 8.15376 104.664 4347 1392970 10.99/11.02 o 902 11.39/11.48 c 8.45072 104.664 4474 1395318 11.39/11.48 o 898 11.49/11.52 c 8.47871 104.664 4485 1396868 11.49/11.52 o 895 11.49/11.56 c 8.51171 104.664 4510 1397874 11.49/11.56 o 894 11.59/11.61 c 8.5517 104.664 4577 1399200 11.59/11.61 o 891 11.69/11.71 c 8.63469 104.664 4680 1401266 11.69/11.71 o 888 11.69/11.77 c 8.67468 104.664 4689 1402471 11.69/11.77 o 886 11.79/11.81 c 8.70768 104.664 4691 1403520 11.79/11.81 o 885 11.79/11.84 c 8.73067 104.664 4693 1404898 11.79/11.84 o 883 11.89/11.92 c 8.78766 104.664 4701 1408841 11.89/11.92 o 880 11.89/11.97 c 8.82566 104.664 4710 1414974 11.89/11.97 o 879 11.99/12.03 c 8.87465 104.664 4719 1419621 11.99/12.03 o 877 11.99/12.07 c 8.90765 104.664 4721 1422024 11.99/12.07 o 876 12.09/12.11 c 8.93964 104.664 4724 1425779 12.09/12.11 o 872 12.09/12.17 c 8.97763 104.664 4731 1427773 12.09/12.17 o 870 12.19/12.25 c 9.03962 104.664 4740 1429258 12.19/12.25 o 869 12.19/12.28 c 9.06362 104.664 4743 1431565 12.19/12.28 o 868 12.29/12.32 c 9.09662 104.664 4746 1434717 12.29/12.32 o 865 12.39/12.43 c 9.16661 104.664 4759 1436087 12.39/12.43 o 863 12.49/12.50 c 9.2216 104.664 4766 1441390 12.49/12.50 o 860 12.49/12.55 c 9.26059 104.664 4772 1443080 12.49/12.55 o 857 12.99/13.08 c 9.60354 104.664 4884 1445014 12.99/13.08 o 856 13.09/13.12 c 9.63554 104.664 4888 1446283 13.09/13.12 o 854 13.09/13.16 c 9.66253 104.664 4890 1448063 13.09/13.16 o 852 13.09/13.20 c 9.68853 104.664 4891 1451354 13.09/13.20 o 850 13.20/13.24 c 9.72852 104.664 4900 1452926 13.20/13.24 o 847 13.20/13.28 c 9.76052 104.664 4950 1454152 13.20/13.28 o 846 13.29/13.39 c 9.8295 104.664 4966 1456021 13.29/13.39 o 845 13.39/13.43 c 9.8645 104.664 4970 1458154 13.39/13.43 o 843 13.39/13.48 c 9.90349 104.664 4973 1460495 13.39/13.48 o 842 13.49/13.51 c 9.93349 104.664 4974 1462816 13.49/13.51 o 841 13.49/13.57 c 9.97248 104.664 4983 1464602 13.49/13.57 o 839 13.59/13.61 c 10.0035 104.664 4990 1466526 13.59/13.61 o 837 13.59/13.64 c 10.0355 104.664 4993 1469881 13.59/13.64 o 836 13.59/13.69 c 10.0765 104.664 4997 1471968 13.59/13.69 o 835 13.69/13.73 c 10.1055 104.664 5003 1473712 13.69/13.73 o 834 13.79/13.81 c 10.1675 104.664 5013 1478851 13.79/13.81 o 831 13.89/13.92 c 10.2424 104.793 5027 1480603 13.89/13.92 o 829 13.89/13.98 c 10.2944 104.793 5035 1481757 13.89/13.98 o 826 13.99/14.04 c 10.3384 104.793 5042 1483187 13.99/14.04 o 825 13.99/14.09 c 10.3814 104.793 5054 1485166 13.99/14.09 o 824 14.29/14.36 c 10.5654 104.793 5116 1486347 14.29/14.36 o 823 14.39/14.45 c 10.6284 104.793 5129 1487589 14.39/14.45 o 820 14.50/14.53 c 10.6844 104.793 5141 1489301 14.50/14.53 o 819 14.50/14.58 c 10.7204 104.793 5153 1491421 14.50/14.58 o 817 14.59/14.63 c 10.7604 104.793 5160 1499198 14.59/14.63 o 795 14.69/14.71 c 10.8254 104.793 5200 1504042 14.69/14.71 o 794 14.69/14.78 c 10.8883 104.793 5269 1506672 14.69/14.78 o 792 14.79/14.81 c 10.9183 104.793 5270 1510999 14.79/14.81 o 791 14.79/14.85 c 10.9483 104.793 5272 1513319 14.79/14.85 o 789 14.79/14.89 c 10.9813 104.793 5273 1517861 14.79/14.89 o 783 14.89/14.94 c 11.0163 104.793 5275 1522072 14.89/14.94 o 780 14.89/14.97 c 11.0453 104.793 5276 1523437 14.89/14.97 o 778 14.99/15.00 c 11.0713 104.793 5276 1526779 14.99/15.00 o 774 14.99/15.04 c 11.0993 104.793 5280 1528461 14.99/15.04 o 771 14.99/15.08 c 11.1263 104.793 5294 1529693 14.99/15.08 o 768 15.10/15.11 c 11.1533 104.793 5296 1532215 15.10/15.11 o 766 15.10/15.15 c 11.1853 104.793 5298 1535653 15.10/15.15 o 762 15.10/15.19 c 11.2233 104.793 5300 1539362 15.10/15.19 o 754 15.19/15.23 c 11.2493 104.793 5301 1540477 15.19/15.23 o 752 15.19/15.28 c 11.2863 104.793 5304 1541838 15.19/15.28 o 751 15.30/15.31 c 11.3153 104.793 5304 1543578 15.30/15.31 o 750 15.30/15.36 c 11.3533 104.793 5306 1545965 15.30/15.36 o 747 15.40/15.41 c 11.3853 104.793 5311 1551779 15.40/15.41 o 740 15.40/15.44 c 11.4103 104.793 5311 1555139 15.40/15.44 o 739 15.49/15.50 c 11.4553 104.793 5314 1560099 15.49/15.50 o 725 15.49/15.54 c 11.4853 104.793 5315 1563022 15.49/15.54 o 722 15.49/15.58 c 11.5142 104.793 5317 1567229 15.49/15.58 o 717 15.59/15.62 c 11.5482 104.793 5318 1568522 15.59/15.62 o 715 15.59/15.66 c 11.5812 104.793 5322 1571849 15.59/15.66 o 713 15.70/15.71 c 11.6212 104.793 5326 1574935 15.70/15.71 o 711 15.70/15.74 c 11.6522 104.793 5327 1576591 15.70/15.74 o 709 15.70/15.79 c 11.6852 104.793 5332 1578382 15.70/15.79 o 706 15.79/15.83 c 11.7212 104.793 5338 1580161 15.79/15.83 o 705 15.89/15.90 c 11.7712 104.793 5348 1583453 15.89/15.90 o 704 15.99/16.09 c 11.9132 104.793 5462 1587693 15.99/16.09 o 702 16.09/16.14 c 11.9512 104.793 5468 1589624 16.09/16.14 o 693 16.09/16.18 c 11.9812 104.793 5471 1591657 16.09/16.18 o 690 16.19/16.24 c 12.0282 104.793 5479 1594618 16.19/16.24 o 689 16.19/16.28 c 12.0582 104.793 5480 1597271 16.19/16.28 o 685 16.29/16.32 c 12.0852 104.793 5485 1598867 16.29/16.32 o 681 16.29/16.37 c 12.1232 104.793 5508 1600595 16.29/16.37 o 680 16.39/16.42 c 12.1631 104.793 5512 1603973 16.39/16.42 o 676 16.39/16.47 c 12.2001 104.793 5518 1607494 16.39/16.47 o 674 16.50/16.51 c 12.2311 104.793 5523 1612268 16.50/16.51 o 653 16.50/16.55 c 12.2631 104.793 5529 1615652 16.50/16.55 o 649 16.50/16.58 c 12.2931 104.793 5534 1616853 16.50/16.58 o 646 16.59/16.62 c 12.3191 104.793 5537 1617827 16.59/16.62 o 644 16.59/16.68 c 12.3751 104.793 5585 1619289 16.59/16.68 o 640 16.69/16.71 c 12.3991 104.793 5586 1620842 16.69/16.71 o 634 16.69/16.75 c 12.4271 104.922 5589 1621678 16.69/16.75 o 632 16.69/16.79 c 12.4591 104.922 5592 1627015 16.69/16.79 o 631 16.79/16.83 c 12.4931 104.922 5596 1630198 16.79/16.83 o 630 16.79/16.88 c 12.5251 104.922 5601 1632947 16.79/16.88 o 626 16.89/16.93 c 12.5671 104.922 5604 1635128 16.89/16.93 o 622 16.89/16.97 c 12.6011 104.922 5607 1636770 16.89/16.97 o 620 16.99/17.00 c 12.6291 104.922 5608 1638240 16.99/17.00 o 618 16.99/17.04 c 12.6541 104.922 5608 1640663 16.99/17.04 o 615 16.99/17.07 c 12.6821 104.922 5610 1642569 16.99/17.07 o 610 17.09/17.13 c 12.7271 104.922 5616 1646335 17.09/17.13 o 604 17.09/17.16 c 12.7571 104.922 5617 1647384 17.09/17.16 o 600 17.20/17.21 c 12.7891 104.922 5621 1649420 17.20/17.21 o 597 17.20/17.24 c 12.8191 104.922 5622 1650866 17.20/17.24 o 595 17.20/17.29 c 12.862 104.922 5628 1652522 17.20/17.29 o 594 17.29/17.33 c 12.893 104.922 5634 1653307 17.29/17.33 o 592 17.29/17.39 c 12.94 104.922 5653 1654294 17.29/17.39 o 591 17.39/17.46 c 12.994 104.922 5671 1655170 17.39/17.46 o 590 17.50/17.54 c 13.052 104.922 5691 1656384 17.50/17.54 o 588 17.60/17.65 c 13.123 104.922 5740 1657348 17.60/17.65 o 587 17.69/17.73 c 13.188 104.922 5760 1658026 17.69/17.73 o 586 17.69/17.78 c 13.223 104.922 5764 1659217 17.69/17.78 o 584 17.79/17.81 c 13.25 104.922 5764 1660073 17.79/17.81 o 583 17.79/17.85 c 13.277 104.922 5766 1661097 17.79/17.85 o 582 17.79/17.89 c 13.308 104.922 5778 1662042 17.79/17.89 o 581 17.89/17.92 c 13.339 104.922 5781 1662938 17.89/17.92 o 580 17.89/17.95 c 13.364 104.922 5783 1663836 17.89/17.95 o 579 17.99/18.02 c 13.413 104.922 5793 1665043 17.99/18.02 o 578 17.99/18.08 c 13.462 104.922 5796 1666496 17.99/18.08 o 577 18.09/18.12 c 13.4969 104.922 5801 1667775 18.09/18.12 o 575 18.09/18.16 c 13.5179 104.922 5803 1669072 18.09/18.16 o 570 18.09/18.19 c 13.5459 104.922 5808 1670155 18.09/18.19 o 566 18.19/18.23 c 13.5789 104.922 5813 1671257 18.19/18.23 o 564 18.19/18.26 c 13.6089 104.922 5815 1672185 18.19/18.26 o 563 18.29/18.30 c 13.6389 104.922 5819 1673312 18.29/18.30 o 562 18.29/18.34 c 13.6679 104.922 5821 1674741 18.29/18.34 o 558 18.29/18.38 c 13.6989 104.922 5832 1675786 18.29/18.38 o 557 18.39/18.41 c 13.7259 104.922 5832 1676935 18.39/18.41 o 556 18.39/18.44 c 13.7559 104.922 5832 1677907 18.39/18.44 o 555 18.49/18.54 c 13.8219 104.922 5895 1680009 18.49/18.54 o 554 18.49/18.59 c 13.8599 104.922 5902 1681250 18.49/18.59 o 552 18.59/18.63 c 13.8919 104.922 5908 1682280 18.59/18.63 o 550 18.59/18.67 c 13.9179 104.922 5912 1683109 18.59/18.67 o 548 18.70/18.71 c 13.9469 104.922 5919 1684072 18.70/18.71 o 546 18.70/18.74 c 13.9759 104.922 5921 1684975 18.70/18.74 o 544 18.70/18.79 c 14.0119 104.922 5929 1686135 18.70/18.79 o 543 18.79/18.86 c 14.0609 104.922 5941 1687038 18.79/18.86 o 542 18.89/18.90 c 14.0899 104.922 5948 1688382 18.89/18.90 o 539 18.89/18.94 c 14.1319 104.922 5978 1689118 18.89/18.94 o 538 18.99/19.01 c 14.1908 104.922 6049 1689979 18.99/19.01 o 537 18.99/19.04 c 14.2188 104.922 6050 1690726 18.99/19.04 o 536 18.99/19.08 c 14.2468 104.922 6056 1691368 18.99/19.08 o 535 19.09/19.13 c 14.2828 104.922 6061 1692428 19.09/19.13 o 534 19.19/19.20 c 14.3438 104.922 6072 1694771 19.19/19.20 o 531 19.29/19.31 c 14.4208 104.922 6119 1698592 19.29/19.31 o 528 19.29/19.34 c 14.4488 104.922 6125 1699411 19.29/19.34 o 526 19.29/19.38 c 14.4778 104.922 6130 1700298 19.29/19.38 o 525 19.39/19.42 c 14.5128 104.922 6136 1701401 19.39/19.42 o 521 19.39/19.46 c 14.5428 104.922 6137 1702604 19.39/19.46 o 520 19.49/19.50 c 14.5718 104.922 6141 1703679 19.49/19.50 o 519 19.49/19.54 c 14.6038 104.922 6143 1704866 19.49/19.54 o 517 19.49/19.58 c 14.6288 104.922 6147 1705762 19.49/19.58 o 516 19.59/19.62 c 14.6578 104.922 6153 1707433 19.59/19.62 o 514 19.59/19.67 c 14.6958 104.922 6158 1708986 19.59/19.67 o 512 19.69/19.72 c 14.7328 104.922 6162 1711185 19.69/19.72 o 510 19.69/19.76 c 14.7638 104.922 6169 1712586 19.69/19.76 o 507 19.69/19.79 c 14.7898 105.051 6173 1713900 19.69/19.79 o 506 19.79/19.82 c 14.8187 105.051 6175 1715174 19.79/19.82 o 504 19.79/19.86 c 14.8477 105.051 6176 1716592 19.79/19.86 o 502 19.79/19.89 c 14.8777 105.051 6177 1718053 19.79/19.89 o 501 19.89/19.93 c 14.9037 105.051 6179 1719148 19.89/19.93 o 499 19.89/19.96 c 14.9307 105.051 6179 1720245 19.89/19.96 o 498 19.89/19.99 c 14.9597 105.051 6179 1721337 19.89/19.99 o 494 19.99/20.03 c 14.9847 105.051 6179 1722368 19.99/20.03 o 493 19.99/20.06 c 15.0167 105.051 6180 1723766 19.99/20.06 o 492 20.09/20.10 c 15.0377 105.051 6180 1725197 20.09/20.10 o 490 20.09/20.14 c 15.0697 105.051 6184 1726869 20.09/20.14 o 486 20.09/20.18 c 15.1057 105.051 6188 1728619 20.09/20.18 o 485 20.19/20.22 c 15.1357 105.051 6189 1730295 20.19/20.22 o 483 20.19/20.28 c 15.1827 105.051 6203 1732892 20.19/20.28 o 481 20.29/20.32 c 15.2167 105.051 6205 1734411 20.29/20.32 o 477 20.29/20.36 c 15.2507 105.051 6217 1736197 20.29/20.36 o 476 20.39/20.40 c 15.2787 105.051 6223 1737014 20.39/20.40 o 474 20.39/20.45 c 15.3167 105.051 6286 1739164 20.39/20.45 o 469 20.49/20.51 c 15.3597 105.051 6302 1739919 20.49/20.51 o 468 20.49/20.54 c 15.3867 105.051 6309 1740985 20.49/20.54 o 466 20.49/20.58 c 15.4137 105.051 6315 1741914 20.49/20.58 o 464 20.59/20.61 c 15.4417 105.051 6317 1742530 20.59/20.61 o 462 20.59/20.65 c 15.4736 105.051 6320 1743301 20.59/20.65 o 461 20.59/20.68 c 15.5016 105.051 6322 1744523 20.59/20.68 o 458 20.70/20.72 c 15.5296 105.051 6324 1745295 20.70/20.72 o 456 20.70/20.75 c 15.5586 105.051 6326 1746243 20.70/20.75 o 455 20.70/20.79 c 15.5866 105.051 6330 1747235 20.70/20.79 o 453 20.80/20.83 c 15.6146 105.051 6332 1748977 20.80/20.83 o 446 20.80/20.86 c 15.6416 105.051 6334 1750646 20.80/20.86 o 441 20.80/20.89 c 15.6676 105.051 6334 1752507 20.80/20.89 o 440 20.90/20.95 c 15.7116 105.051 6336 1755210 20.90/20.95 o 438 20.90/20.98 c 15.7406 105.051 6337 1757248 20.90/20.98 o 437 20.99/21.02 c 15.7716 105.051 6338 1758620 20.99/21.02 o 434 20.99/21.05 c 15.7966 105.051 6338 1760188 20.99/21.05 o 433 20.99/21.08 c 15.8246 105.051 6339 1762066 20.99/21.08 o 427 21.09/21.13 c 15.8586 105.051 6346 1765353 21.09/21.13 o 419 21.09/21.18 c 15.8936 105.051 6371 1767662 21.09/21.18 o 418 21.20/21.22 c 15.9346 105.051 6402 1768401 21.20/21.22 o 417 21.20/21.26 c 15.9666 105.051 6406 1769095 21.20/21.26 o 416 21.29/21.36 c 16.0346 105.051 6427 1770502 21.29/21.36 o 412 21.29/21.40 c 16.0606 105.051 6430 1771187 21.40/21.40 o 410 21.40/21.43 c 16.0926 105.051 6432 1772005 21.40/21.43 o 409 21.40/21.47 c 16.1205 105.051 6432 1772589 21.40/21.47 o 408 21.49/21.50 c 16.1415 105.051 6432 1773416 21.49/21.50 o 405 21.49/21.54 c 16.1715 105.051 6437 1774290 21.49/21.54 o 403 21.59/21.60 c 16.2155 105.051 6444 1775195 21.59/21.60 o 402 21.59/21.64 c 16.2485 105.051 6458 1776065 21.59/21.64 o 399 21.59/21.69 c 16.2815 105.051 6467 1776672 21.59/21.69 o 398 21.69/21.73 c 16.3125 105.051 6473 1777484 21.69/21.73 o 395 21.69/21.77 c 16.3445 105.051 6484 1778593 21.69/21.77 o 390 21.79/21.81 c 16.3735 105.051 6499 1779663 21.79/21.81 o 389 21.79/21.85 c 16.4085 105.051 6507 1780394 21.79/21.85 o 388 21.79/21.89 c 16.4395 105.051 6510 1780993 21.79/21.89 o 387 21.90/21.93 c 16.4685 105.051 6515 1781831 21.90/21.93 o 386 21.90/21.96 c 16.4945 105.051 6516 1782380 21.90/21.96 o 385 21.90/21.99 c 16.5195 105.051 6519 1783271 21.90/21.99 o 381 22.00/22.03 c 16.5465 105.051 6523 1783866 22.00/22.03 o 380 22.00/22.08 c 16.5825 105.051 6545 1784639 22.00/22.08 o 377 22.09/22.11 c 16.6105 105.051 6549 1785194 22.09/22.11 o 376 22.09/22.14 c 16.6365 105.051 6549 1785884 22.09/22.14 o 375 22.09/22.18 c 16.6635 105.051 6550 1786438 22.09/22.18 o 374 22.19/22.21 c 16.6895 105.051 6551 1787115 22.19/22.21 o 372 22.19/22.25 c 16.7165 105.051 6551 1787668 22.19/22.25 o 371 22.19/22.28 c 16.7455 105.051 6551 1788274 22.19/22.28 o 369 22.29/22.32 c 16.7814 105.051 6552 1789078 22.29/22.32 o 365 22.29/22.35 c 16.8084 105.051 6552 1789869 22.29/22.35 o 362 22.29/22.39 c 16.8374 105.051 6554 1791089 22.29/22.39 o 359 22.39/22.42 c 16.8644 105.051 6554 1791847 22.39/22.42 o 357 22.39/22.45 c 16.8894 105.051 6556 1792679 22.39/22.45 o 355 22.39/22.49 c 16.9234 105.051 6559 1793494 22.39/22.49 o 354 22.49/22.54 c 16.9594 105.051 6560 1794560 22.49/22.54 o 351 22.49/22.58 c 16.9884 105.051 6564 1795535 22.49/22.58 o 348 22.59/22.61 c 17.0184 105.051 6567 1796727 22.59/22.61 o 345 22.59/22.65 c 17.0464 105.051 6568 1797453 22.59/22.65 o 344 22.59/22.68 c 17.0734 105.051 6568 1798280 22.59/22.68 o 341 22.69/22.72 c 17.1004 105.051 6569 1798928 22.69/22.72 o 339 22.69/22.75 c 17.1254 105.051 6571 1799607 22.69/22.75 o 338 22.69/22.79 c 17.1564 105.051 6572 1800596 22.69/22.79 o 335 22.80/22.84 c 17.1954 105.18 6574 1801577 22.80/22.84 o 333 22.80/22.89 c 17.2324 105.18 6580 1802331 22.80/22.89 o 332 22.89/22.92 c 17.2604 105.18 6582 1802961 22.89/22.92 o 331 22.89/22.97 c 17.3004 105.18 6586 1804278 22.89/22.97 o 330 23.00/23.02 c 17.3374 105.18 6600 1805192 23.00/23.02 o 328 23.00/23.06 c 17.3734 105.18 6608 1806205 23.00/23.06 o 327 23.09/23.10 c 17.4104 105.18 6613 1807309 23.09/23.10 o 326 23.09/23.15 c 17.4563 105.18 6646 1807947 23.09/23.15 o 325 23.19/23.20 c 17.4933 105.18 6655 1808616 23.19/23.20 o 324 23.19/23.24 c 17.5243 105.18 6658 1809327 23.19/23.24 o 323 23.19/23.28 c 17.5503 105.18 6660 1809927 23.19/23.28 o 322 23.29/23.31 c 17.5783 105.18 6661 1810661 23.29/23.31 o 320 23.29/23.35 c 17.6113 105.18 6667 1811297 23.29/23.35 o 319 23.39/23.40 c 17.6413 105.18 6674 1812065 23.39/23.40 o 318 23.39/23.46 c 17.6943 105.18 6716 1813169 23.39/23.46 o 317 23.39/23.49 c 17.7253 105.18 6722 1813682 23.39/23.49 o 316 23.49/23.53 c 17.7513 105.18 6723 1814361 23.49/23.53 o 315 23.49/23.56 c 17.7793 105.18 6724 1814953 23.49/23.56 o 314 23.49/23.59 c 17.8063 105.18 6724 1815557 23.49/23.59 o 313 23.59/23.63 c 17.8353 105.18 6724 1816093 23.59/23.63 o 312 23.59/23.67 c 17.8613 105.18 6726 1816729 23.59/23.67 o 311 23.69/23.70 c 17.8863 105.18 6727 1817323 23.69/23.70 o 310 23.69/23.75 c 17.9213 105.18 6733 1818018 23.69/23.75 o 309 23.69/23.79 c 17.9563 105.18 6735 1818738 23.69/23.79 o 308 23.80/23.82 c 17.9843 105.18 6735 1819426 23.80/23.82 o 307 23.80/23.86 c 18.0113 105.18 6735 1819962 23.80/23.86 o 306 23.80/23.89 c 18.0363 105.18 6735 1820663 23.80/23.89 o 305 23.90/23.92 c 18.0623 105.18 6737 1821241 23.90/23.92 o 304 23.90/23.96 c 18.0882 105.18 6739 1821994 23.90/23.96 o 303 23.99/24.00 c 18.1192 105.18 6740 1822674 23.99/24.00 o 302 23.99/24.08 c 18.1802 105.18 6755 1823405 23.99/24.08 o 301 24.09/24.11 c 18.2112 105.18 6756 1824053 24.09/24.11 o 300 24.09/24.15 c 18.2392 105.18 6757 1824772 24.09/24.15 o 299 24.09/24.18 c 18.2672 105.18 6757 1825493 24.09/24.18 o 298 24.20/24.21 c 18.2952 105.18 6758 1826427 24.20/24.22 o 295 24.20/24.26 c 18.3272 105.18 6759 1827284 24.20/24.26 o 294 24.20/24.29 c 18.3582 105.18 6760 1828057 24.20/24.29 o 293 24.29/24.32 c 18.3852 105.18 6760 1828837 24.29/24.32 o 292 24.29/24.36 c 18.4082 105.18 6760 1829721 24.29/24.36 o 290 24.29/24.39 c 18.4412 105.18 6764 1830712 24.29/24.39 o 289 24.39/24.44 c 18.4742 105.18 6767 1831592 24.39/24.44 o 287 24.39/24.48 c 18.5102 105.18 6769 1832413 24.39/24.48 o 286 24.49/24.52 c 18.5452 105.18 6772 1833785 24.49/24.52 o 283 24.49/24.56 c 18.5742 105.18 6774 1834668 24.49/24.56 o 282 24.49/24.59 c 18.6082 105.18 6779 1835537 24.49/24.59 o 281 24.59/24.63 c 18.6392 105.18 6785 1836402 24.59/24.63 o 280 24.59/24.67 c 18.6682 105.18 6786 1837628 24.59/24.67 o 276 24.69/24.70 c 18.6942 105.18 6788 1838744 24.69/24.70 o 275 24.69/24.73 c 18.7272 105.18 6799 1839418 24.69/24.73 o 274 24.69/24.76 c 18.7551 105.18 6802 1840502 24.69/24.76 o 273 24.79/24.81 c 18.7851 105.18 6825 1841316 24.79/24.81 o 272 24.79/24.87 c 18.8461 105.18 6898 1842766 24.79/24.87 o 264 24.89/24.90 c 18.8721 105.18 6898 1843363 24.89/24.90 o 263 24.89/24.94 c 18.8981 105.18 6898 1844665 24.89/24.94 o 259 24.89/24.99 c 18.9411 105.18 6899 1845401 24.89/24.99 o 257 24.99/25.03 c 18.9661 105.18 6906 1846402 24.99/25.03 o 254 24.99/25.06 c 18.9911 105.18 6907 1847158 24.99/25.06 o 253 24.99/25.09 c 19.0181 105.18 6908 1847815 24.99/25.09 o 252 25.09/25.12 c 19.0451 105.18 6908 1848412 25.09/25.12 o 251 25.09/25.15 c 19.0691 105.18 6908 1849332 25.09/25.15 o 248 25.09/25.19 c 19.0971 105.18 6912 1850096 25.09/25.19 o 247 25.20/25.22 c 19.1231 105.18 6914 1850836 25.20/25.22 o 244 25.20/25.25 c 19.1491 105.18 6919 1851740 25.20/25.25 o 239 25.20/25.29 c 19.1771 105.18 6926 1852631 25.20/25.29 o 238 25.30/25.32 c 19.2021 105.18 6927 1853662 25.30/25.32 o 232 25.30/25.35 c 19.2291 105.18 6927 1854419 25.30/25.35 o 230 25.30/25.38 c 19.2521 105.18 6927 1854930 25.30/25.38 o 229 25.39/25.42 c 19.2771 105.18 6939 1855529 25.39/25.42 o 227 25.39/25.45 c 19.3031 105.18 6939 1856071 25.39/25.45 o 226 25.39/25.48 c 19.3301 105.18 6940 1856956 25.39/25.48 o 222 25.49/25.52 c 19.3561 105.18 6940 1857464 25.49/25.52 o 221 25.49/25.55 c 19.3861 105.18 6940 1858056 25.49/25.55 o 220 25.49/25.58 c 19.411 105.18 6940 1858570 25.49/25.58 o 219 25.60/25.62 c 19.44 105.18 6941 1859210 25.60/25.62 o 217 25.60/25.66 c 19.479 105.18 6944 1860318 25.60/25.66 o 216 25.69/25.71 c 19.513 105.18 6945 1860906 25.69/25.71 o 215 25.69/25.74 c 19.541 105.18 6949 1861970 25.69/25.74 o 212 25.69/25.78 c 19.571 105.18 6960 1862883 25.69/25.78 o 208 25.79/25.85 c 19.629 105.309 7036 1863467 25.79/25.85 o 207 25.79/25.89 c 19.669 105.309 7055 1864339 25.79/25.89 o 206 25.89/25.94 c 19.711 105.309 7062 1865113 25.89/25.94 o 205 25.99/26.02 c 19.77 105.309 7089 1866187 25.99/26.02 o 204 25.99/26.05 c 19.798 105.309 7092 1866727 25.99/26.05 o 203 26.09/26.13 c 19.859 105.309 7143 1867389 26.09/26.13 o 202 26.09/26.19 c 19.909 105.309 7208 1868036 26.09/26.19 o 201 26.19/26.22 c 19.941 105.309 7211 1868748 26.19/26.22 o 200 26.19/26.27 c 19.98 105.309 7241 1869583 26.19/26.27 o 199 26.30/26.32 c 20.023 105.309 7267 1870262 26.30/26.32 o 198 26.30/26.37 c 20.0619 105.309 7309 1870992 26.30/26.37 o 196 26.39/26.40 c 20.0919 105.309 7313 1871555 26.39/26.40 o 195 26.39/26.44 c 20.1219 105.309 7313 1872106 26.39/26.44 o 194 26.39/26.47 c 20.1499 105.309 7313 1872708 26.39/26.47 o 193 26.50/26.50 c 20.1789 105.309 7314 1873255 26.50/26.50 o 192 26.50/26.54 c 20.2079 105.309 7315 1873899 26.50/26.54 o 191 26.50/26.57 c 20.2359 105.309 7315 1874444 26.50/26.57 o 190 26.59/26.60 c 20.2659 105.309 7315 1875171 26.59/26.60 o 188 26.59/26.64 c 20.2939 105.309 7315 1875774 26.59/26.64 o 187 26.59/26.67 c 20.3249 105.309 7315 1876325 26.59/26.67 o 186 26.69/26.71 c 20.3539 105.309 7315 1876916 26.69/26.71 o 185 26.69/26.74 c 20.3799 105.309 7319 1877349 26.69/26.74 o 184 26.69/26.78 c 20.4069 105.309 7319 1877943 26.69/26.78 o 183 26.79/26.81 c 20.4329 105.309 7319 1878509 26.79/26.81 o 182 26.79/26.84 c 20.4599 105.309 7320 1879044 26.79/26.84 o 181 26.79/26.88 c 20.4859 105.309 7320 1879598 26.79/26.88 o 180 26.89/26.91 c 20.5139 105.309 7320 1880487 26.89/26.91 o 176 26.89/26.94 c 20.5429 105.309 7320 1881137 26.89/26.94 o 175 26.89/26.98 c 20.5689 105.309 7320 1881679 26.89/26.98 o 174 26.99/27.01 c 20.5969 105.309 7320 1882301 26.99/27.01 o 173 26.99/27.05 c 20.6289 105.309 7321 1882997 26.99/27.05 o 172 26.99/27.09 c 20.6609 105.309 7337 1883660 26.99/27.09 o 171 27.09/27.12 c 20.6909 105.309 7339 1884359 27.09/27.12 o 170 27.09/27.16 c 20.7169 105.309 7339 1885147 27.09/27.16 o 168 27.09/27.19 c 20.7428 105.309 7339 1885677 27.09/27.19 o 167 27.19/27.23 c 20.7758 105.309 7340 1886588 27.19/27.23 o 165 27.19/27.26 c 20.8018 105.309 7341 1887191 27.19/27.26 o 164 27.19/27.29 c 20.8298 105.309 7341 1887731 27.19/27.29 o 163 27.29/27.33 c 20.8628 105.309 7341 1888338 27.29/27.33 o 162 27.29/27.36 c 20.8888 105.309 7341 1888881 27.29/27.36 o 161 27.29/27.40 c 20.9178 105.309 7341 1889558 27.29/27.40 o 159 27.40/27.43 c 20.9478 105.309 7343 1890470 27.40/27.43 o 155 27.40/27.47 c 20.9798 105.309 7344 1891058 27.40/27.47 o 154 27.49/27.51 c 21.0158 105.309 7359 1891942 27.49/27.51 o 150 27.49/27.55 c 21.0478 105.309 7370 1892746 27.49/27.55 o 149 27.49/27.58 c 21.0788 105.309 7372 1893348 27.49/27.58 o 148 27.59/27.62 c 21.1138 105.309 7420 1893985 27.59/27.62 o 147 27.59/27.66 c 21.1488 105.309 7466 1894680 27.59/27.66 o 145 27.69/27.70 c 21.1758 105.309 7466 1895251 27.69/27.70 o 144 27.69/27.75 c 21.2138 105.309 7469 1895847 27.69/27.75 o 143 27.69/27.78 c 21.2408 105.309 7471 1896489 27.69/27.78 o 142 27.79/27.81 c 21.2718 105.309 7471 1897036 27.79/27.81 o 141 27.79/27.85 c 21.2948 105.309 7472 1897671 27.79/27.85 o 140 27.79/27.88 c 21.3218 105.309 7473 1898248 27.79/27.88 o 139 27.89/27.92 c 21.3518 105.309 7473 1898793 27.89/27.92 o 138 27.89/27.95 c 21.3777 105.309 7473 1899470 27.89/27.95 o 136 27.89/27.99 c 21.4067 105.309 7476 1900066 27.89/27.99 o 135 27.99/28.02 c 21.4327 105.309 7477 1900860 27.99/28.02 o 132 27.99/28.05 c 21.4587 105.309 7478 1901367 27.99/28.05 o 131 27.99/28.09 c 21.4827 105.309 7478 1901899 27.99/28.09 o 130 28.09/28.12 c 21.5117 105.309 7478 1902457 28.09/28.12 o 129 28.09/28.15 c 21.5397 105.309 7478 1903148 28.09/28.15 o 127 28.09/28.19 c 21.5667 105.309 7478 1903778 28.09/28.19 o 126 28.19/28.22 c 21.5947 105.309 7478 1904315 28.19/28.22 o 125 28.19/28.25 c 21.6217 105.309 7478 1904847 28.19/28.25 o 124 28.19/28.29 c 21.6507 105.309 7479 1905393 28.19/28.29 o 123 28.29/28.32 c 21.6817 105.309 7479 1905902 28.29/28.32 o 122 28.29/28.36 c 21.7067 105.309 7479 1906435 28.29/28.36 o 121 28.29/28.39 c 21.7317 105.309 7479 1906940 28.29/28.39 o 120 28.39/28.42 c 21.7597 105.309 7479 1907582 28.39/28.42 o 118 28.39/28.46 c 21.7947 105.309 7483 1908089 28.39/28.46 o 117 28.49/28.51 c 21.8337 105.438 7498 1908914 28.49/28.51 o 114 28.49/28.54 c 21.8637 105.438 7502 1909477 28.49/28.54 o 113 28.49/28.58 c 21.8897 105.438 7502 1910301 28.49/28.58 o 110 28.59/28.61 c 21.9157 105.438 7503 1910847 28.59/28.61 o 109 28.59/28.64 c 21.9437 105.438 7504 1911497 28.59/28.64 o 108 28.59/28.68 c 21.9747 105.438 7514 1912021 28.59/28.68 o 107 28.69/28.71 c 22.0007 105.438 7524 1912553 28.69/28.71 o 106 28.69/28.75 c 22.0337 105.438 7590 1913354 28.69/28.75 o 105 28.69/28.78 c 22.0586 105.438 7590 1913970 28.69/28.78 o 103 28.79/28.82 c 22.0876 105.438 7590 1914606 28.79/28.82 o 102 28.79/28.85 c 22.1156 105.438 7590 1915193 28.79/28.85 o 100 28.79/28.88 c 22.1426 105.438 7590 1915883 28.79/28.88 o 99 28.89/28.92 c 22.1726 105.438 7590 1916376 28.89/28.92 o 98 28.89/28.95 c 22.1996 105.438 7006 1916873 28.89/28.95 o 97 28.89/28.99 c 22.2276 105.438 7006 1917703 28.89/28.99 o 94 28.99/29.03 c 22.2646 105.438 7007 1918354 28.99/29.04 o 93 28.99/29.07 c 22.2896 105.438 7007 1918990 28.99/29.07 o 92 29.09/29.10 c 22.3136 105.438 7007 1919602 29.09/29.10 o 91 29.09/29.13 c 22.3396 105.438 7008 1920215 29.09/29.13 o 90 29.09/29.16 c 22.3646 105.438 7008 1920808 29.09/29.16 o 89 29.19/29.20 c 22.3926 105.438 7009 1921573 29.19/29.20 o 87 29.19/29.23 c 22.4246 105.438 5827 1922151 29.19/29.23 o 86 29.19/29.26 c 22.4536 105.438 5827 1922747 29.19/29.26 o 85 29.19/29.29 c 22.4806 105.438 5828 1923315 29.19/29.29 o 84 29.29/29.33 c 22.5146 105.438 5829 1924147 29.29/29.33 o 83 29.29/29.36 c 22.5376 105.438 5830 1924666 29.29/29.36 o 82 29.39/29.40 c 22.5736 105.438 5847 1925297 29.39/29.40 o 81 29.39/29.47 c 22.6406 105.438 5768 1925894 29.39/29.47 o 80 29.49/29.50 c 22.6636 105.438 5770 1926592 29.49/29.50 o 79 29.49/29.54 c 22.6935 105.438 5771 1927272 29.49/29.54 o 78 29.49/29.57 c 22.7215 105.438 5757 1928161 29.49/29.57 o 76 29.60/29.60 c 22.7485 105.438 5757 1928712 29.60/29.60 o 75 29.60/29.63 c 22.7735 105.438 5758 1929311 29.60/29.63 o 74 29.60/29.66 c 22.7965 105.438 5759 1929883 29.60/29.66 o 73 29.60/29.69 c 22.8225 105.438 5760 1930586 29.60/29.69 o 72 29.70/29.72 c 22.8505 105.438 5761 1931062 29.70/29.72 o 71 29.70/29.75 c 22.8725 105.438 5743 1931811 29.70/29.75 o 69 29.79/29.84 c 22.9445 105.438 5855 1933793 29.79/29.84 o 68 29.79/29.87 c 22.9765 105.438 5877 1934350 29.79/29.87 o 67 29.89/29.91 c 23.0125 105.438 5957 1934972 29.89/29.91 o 66 29.89/29.95 c 23.0445 105.438 5961 1935731 29.89/29.95 o 65 29.89/29.98 c 23.0725 105.438 5968 1936328 29.89/29.98 o 64 29.99/30.01 c 23.1015 105.438 5973 1936834 29.99/30.01 o 63 29.99/30.05 c 23.1355 105.438 5979 1937758 29.99/30.05 o 62 29.99/30.09 c 23.1695 105.438 5984 1938518 29.99/30.09 o 61 30.09/30.12 c 23.1925 105.438 5984 1939063 30.09/30.12 o 60 30.09/30.14 c 23.2165 105.438 5985 1939602 30.09/30.14 o 59 30.09/30.17 c 23.2405 105.438 5989 1940158 30.09/30.17 o 58 30.19/30.21 c 23.2735 105.438 5993 1940690 30.19/30.21 o 57 30.19/30.24 c 23.2935 105.438 5993 1941297 30.19/30.24 o 56 30.19/30.26 c 23.3185 105.438 5993 1941673 30.19/30.26 o 55 30.19/30.29 c 23.3425 105.438 5997 1942211 30.19/30.29 o 53 30.29/30.32 c 23.3654 105.438 6001 1942802 30.29/30.32 o 52 30.29/30.36 c 23.3974 105.438 6005 1943546 30.29/30.36 o 51 30.29/30.39 c 23.4194 105.438 6007 1944140 30.29/30.39 o 50 30.39/30.41 c 23.4424 105.438 6007 1944846 30.39/30.41 o 48 30.39/30.44 c 23.4654 105.438 6001 1945422 30.39/30.44 o 47 30.39/30.48 c 23.5034 105.438 6023 1945996 30.39/30.48 o 46 30.49/30.51 c 23.5354 105.438 6034 1946566 30.49/30.51 o 45 30.49/30.54 c 23.5564 105.438 6036 1947259 30.49/30.54 o 43 30.49/30.56 c 23.5774 105.438 6037 1947656 30.49/30.56 o 42 30.49/30.59 c 23.6014 105.438 6031 1948138 30.49/30.59 o 41 30.59/30.62 c 23.6304 105.438 6065 1949110 30.59/30.62 o 40 30.59/30.64 c 23.6514 105.438 6067 1949629 30.59/30.64 o 39 30.59/30.67 c 23.6724 105.438 6069 1950152 30.59/30.67 o 38 30.69/30.70 c 23.7004 105.438 6085 1950688 30.69/30.70 o 37 30.69/30.73 c 23.7284 105.438 6107 1951253 30.69/30.73 o 36 30.69/30.76 c 23.7514 105.438 6109 1951808 30.69/30.76 o 35 30.69/30.78 c 23.7724 105.438 6110 1952325 30.69/30.78 o 34 30.79/30.81 c 23.7974 105.438 6112 1952910 30.79/30.81 o 33 30.79/30.83 c 23.8174 105.438 6113 1953456 30.79/30.83 o 32 30.79/30.85 c 23.8344 105.438 6113 1953990 30.79/30.85 o 31 30.79/30.88 c 23.8544 105.438 6114 1954663 30.79/30.88 o 29 30.89/30.90 c 23.8744 105.438 6115 1955200 30.89/30.90 o 28 30.89/30.92 c 23.8934 105.438 6115 1955761 30.89/30.92 o 27 30.89/30.94 c 23.9114 105.438 6110 1956280 30.89/30.94 o 26 30.89/30.96 c 23.9304 105.438 6110 1956856 30.89/30.96 o 25 30.89/30.98 c 23.9504 105.438 6110 1957414 30.89/30.98 o 24 30.99/31.00 c 23.9674 105.438 6111 1958038 30.99/31.00 o 23 30.99/31.02 c 23.9874 105.438 6118 1958557 30.99/31.02 o 21 30.99/31.04 c 24.0073 105.438 6118 1959081 30.99/31.04 o 20 30.99/31.06 c 24.0263 105.438 6120 1959620 30.99/31.06 o 19 30.99/31.08 c 24.0463 105.438 6121 1960130 30.99/31.08 o 18 31.09/31.11 c 24.0673 105.438 6121 1960761 31.09/31.11 o 17 31.09/31.13 c 24.0853 105.438 6121 1961286 31.09/31.13 o 16 31.09/31.15 c 24.1043 105.438 6122 1961900 31.09/31.15 o 14 31.09/31.16 c 24.1203 105.438 6124 1962410 31.09/31.16 o 13 31.09/31.18 c 24.1363 105.438 6125 1962909 31.09/31.18 o 12 31.20/31.20 c 24.1563 105.438 6130 1963429 31.20/31.20 o 11 31.20/31.26 c 24.2133 105.438 6222 1964054 31.20/31.26 o 10 31.20/31.28 c 24.2323 105.438 6222 1964603 31.20/31.28 o 9 31.29/31.30 c 24.2503 105.438 6223 1965121 31.29/31.30 o 8 31.29/31.32 c 24.2653 105.438 6224 1965643 31.29/31.32 o 7 31.29/31.33 c 24.2813 105.438 6230 1966166 31.29/31.33 o 6 31.29/31.35 c 24.2983 105.438 6234 1966624 31.29/31.35 o 5 31.29/31.37 c 24.3153 105.438 6240 1967023 31.29/31.37 o 4 31.29/31.39 c 24.3313 105.438 6242 1967446 31.29/31.39 o 3 31.39/31.40 c 24.3463 105.438 6247 1967850 31.39/31.40 o 2 31.39/31.42 c 24.3683 105.438 5515 1968342 31.39/31.42 o 1 32.19/32.26 c 25.1912 105.438 7707 1972885 32.19/32.26 s OPTIMUM FOUND 32.19/32.26 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 x3626 -x3627 -x3628 -x3629 x3630 -x3631 -x3632 x3633 -x3634 -x3635 x3636 -x3637 x3638 x3639 x3640 x3641 x3642 x3643 x3644 -x3645 -x3646 x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699092-1278465184/watcher-2699092-1278465184 -o /tmp/evaluation-result-2699092-1278465184/solver-2699092-1278465184 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699092-1278465184.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.98 1.95 4/178 12209 /proc/meminfo: memFree=30963556/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=2136 CPUtime=0 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14730912 2187264 173 4089446400 134512640 136422188 4292457696 18446744073709551615 134523915 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12209/statm: 534 173 144 467 0 65 0 [startup+0.00970698 s] /proc/loadavg: 1.99 1.98 1.95 4/178 12209 /proc/meminfo: memFree=30963556/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=2136 CPUtime=0 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 267 0 0 0 0 0 0 0 25 0 1 0 14730912 2187264 186 4089446400 134512640 136422188 4292457696 18446744073709551615 135524385 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12209/statm: 534 186 144 467 0 65 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2136 [startup+0.100685 s] /proc/loadavg: 1.99 1.98 1.95 4/178 12209 /proc/meminfo: memFree=30963556/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=12592 CPUtime=0.09 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 2838 0 0 0 9 0 0 0 25 0 1 0 14730912 12894208 2757 4089446400 134512640 136422188 4292457696 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 3181 2760 193 467 0 2712 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12592 [startup+0.300665 s] /proc/loadavg: 1.99 1.98 1.95 4/178 12209 /proc/meminfo: memFree=30963556/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=55240 CPUtime=0.29 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 14082 0 0 0 28 1 0 0 25 0 1 0 14730912 56565760 13354 4089446400 134512640 136422188 4292457696 18446744073709551615 134701234 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 13810 13354 193 467 0 13341 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 55240 [startup+0.700583 s] /proc/loadavg: 1.99 1.98 1.95 4/178 12209 /proc/meminfo: memFree=30963556/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=103512 CPUtime=0.69 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 26577 0 0 0 66 3 0 0 25 0 1 0 14730912 105996288 24633 4089446400 134512640 136422188 4292457696 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 25878 24633 207 467 0 25409 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 103512 [startup+1.50044 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12210 /proc/meminfo: memFree=30864224/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=104960 CPUtime=1.49 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 26879 0 0 0 123 26 0 0 25 0 1 0 14730912 107479040 24935 4089446400 134512640 136422188 4292457696 18446744073709551615 135686902 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 26240 24935 214 467 0 25771 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 104960 [startup+3.10015 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12210 /proc/meminfo: memFree=30863232/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=106644 CPUtime=3.09 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 27390 0 0 0 233 76 0 0 25 0 1 0 14730912 109203456 25114 4089446400 134512640 136422188 4292457696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 26661 25114 237 467 0 26192 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 106644 [startup+6.30057 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12210 /proc/meminfo: memFree=30863600/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=106908 CPUtime=6.29 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 27481 0 0 0 470 159 0 0 25 0 1 0 14730912 109473792 25177 4089446400 134512640 136422188 4292457696 18446744073709551615 135019307 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 26727 25177 237 467 0 26258 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 106908 [startup+12.7004 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12210 /proc/meminfo: memFree=30863596/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=107172 CPUtime=12.69 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 27637 0 0 0 934 335 0 0 25 0 1 0 14730912 109744128 25265 4089446400 134512640 136422188 4292457696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 26793 25265 237 467 0 26324 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 107172 [startup+25.5001 s] /proc/loadavg: 1.99 1.98 1.95 4/179 12211 /proc/meminfo: memFree=30862956/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=107700 CPUtime=25.49 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 28064 0 0 0 1933 616 0 0 25 0 1 0 14730912 110284800 25410 4089446400 134512640 136422188 4292457696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 26925 25410 237 467 0 26456 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 107700 Solver just ended. Dumping a history of the last processes samples [startup+28.7005 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12211 /proc/meminfo: memFree=30862952/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=107964 CPUtime=28.69 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 28198 0 0 0 2198 671 0 0 25 0 1 0 14730912 110555136 25459 4089446400 134512640 136422188 4292457696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 26991 25459 237 467 0 26522 0 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (KiB) 107964 [startup+30.3003 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12211 /proc/meminfo: memFree=30862828/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=107964 CPUtime=30.29 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 28247 0 0 0 2334 695 0 0 25 0 1 0 14730912 110555136 25462 4089446400 134512640 136422188 4292457696 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 26991 25462 237 467 0 26522 0 Current children cumulated CPU time (s) 30.29 Current children cumulated vsize (KiB) 107964 [startup+31.1011 s] /proc/loadavg: 1.99 1.98 1.95 4/179 12211 /proc/meminfo: memFree=30862580/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=107964 CPUtime=31.09 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 28279 0 0 0 2405 704 0 0 25 0 1 0 14730912 110555136 25463 4089446400 134512640 136422188 4292457696 18446744073709551615 135028838 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 26991 25463 237 467 0 26522 0 Current children cumulated CPU time (s) 31.09 Current children cumulated vsize (KiB) 107964 [startup+31.906 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12211 /proc/meminfo: memFree=30862936/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=107964 CPUtime=31.9 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 28295 0 0 0 2483 707 0 0 25 0 1 0 14730912 110555136 25463 4089446400 134512640 136422188 4292457696 18446744073709551615 135006912 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 26991 25463 237 467 0 26522 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (KiB) 107964 [startup+32.3009 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12211 /proc/meminfo: memFree=30862936/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=103632 CPUtime=32.29 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 28299 0 0 0 2522 707 0 0 25 0 1 0 14730912 106119168 24710 4089446400 134512640 136422188 4292457696 18446744073709551615 135801396 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 25908 24710 240 467 0 25439 0 Current children cumulated CPU time (s) 32.29 Current children cumulated vsize (KiB) 103632 [startup+32.4009 s] /proc/loadavg: 1.99 1.98 1.95 3/179 12211 /proc/meminfo: memFree=30862936/32951124 swapFree=67111528/67111528 [pid=12209] ppid=12207 vsize=100540 CPUtime=32.39 /proc/12209/stat : 12209 (pbct) R 12207 12209 11692 0 -1 4202496 28299 0 0 0 2532 707 0 0 25 0 1 0 14730912 102952960 24151 4089446400 134512640 136422188 4292457696 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12209/statm: 25135 24151 240 467 0 24666 0 Current children cumulated CPU time (s) 32.39 Current children cumulated vsize (KiB) 100540 Child status: 0 Real time (s): 32.4636 CPU time (s): 32.4641 CPU user time (s): 25.3801 CPU system time (s): 7.08392 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 107964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.3801 system time used= 7.08392 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28300 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 35 runsolver used 0.053991 second user time and 0.141978 second system time The end
Begin job on node137 at 2010-07-07 03:13:04 IDJOB=2699092 IDBENCH=79326 IDSOLVER=1212 FILE ID=node137/2699092-1278465184 PBS_JOBID= 11233719 Free space on /tmp= 73852 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-43s.smv--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699092-1278465184/watcher-2699092-1278465184 -o /tmp/evaluation-result-2699092-1278465184/solver-2699092-1278465184 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699092-1278465184.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ce035d98af56bba024c7eadbdc340830 RANDOM SEED=1769529798 node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5246.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30964076 kB Buffers: 110276 kB Cached: 1659208 kB SwapCached: 0 kB Active: 788628 kB Inactive: 1067148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30964076 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2364 kB Writeback: 0 kB AnonPages: 86504 kB Mapped: 15616 kB Slab: 68008 kB PageTables: 4520 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 227308 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73848 MiB End job on node137 at 2010-07-07 03:13:36