Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 26 | 1782.74 | 1783.25 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb |
MD5SUM | b63b2d912c01ff826a63051b401330db |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 18.8981 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | YES |
Number of variables | 4427 |
Total number of constraints | 12661 |
Number of constraints which are clauses | 12661 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2136 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2136 |
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 | 2136 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.19/0.24 c starting to Solve 0.19/0.24 c #variables read: 4427 - #constraints read: 12492 0.19/0.24 o 36 0.19/0.28 o 32 0.29/0.30 o 30 0.29/0.35 o 29 0.59/0.67 o 28 0.59/0.67 o 27 881.73/882.10 o 26 1782.69/1783.23 c total time : 1783 s 1782.69/1783.23 s SATISFIABLE 1782.69/1783.23 v -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 1782.69/1783.23 v -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 1782.69/1783.23 v -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 1782.69/1783.23 v -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 1782.69/1783.23 v -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 1782.69/1783.23 v -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 1782.69/1783.23 v -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 1782.69/1783.23 v -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 1782.69/1783.23 v -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 1782.69/1783.23 v -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 1782.69/1783.23 v -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 x635 1782.69/1783.23 v -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 1782.69/1783.23 v -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 1782.69/1783.23 v -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 1782.69/1783.23 v -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 1782.69/1783.23 v -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 1782.69/1783.23 v -x847 x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 1782.69/1783.23 v -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 1782.69/1783.23 v -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 1782.69/1783.23 v x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 1782.69/1783.23 v -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 1782.69/1783.23 v -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 1782.69/1783.23 v -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 1782.69/1783.23 v -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 1782.69/1783.23 v -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 1782.69/1783.23 v -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 1782.69/1783.23 v -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 1782.69/1783.23 v -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 1782.69/1783.23 v -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 1782.69/1783.23 v -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 1782.69/1783.23 v -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 1782.69/1783.23 v -x1385 -x1387 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 1782.69/1783.23 v -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 x1444 -x1446 -x1448 -x1450 1782.69/1783.23 v -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 1782.69/1783.23 v -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 1782.69/1783.23 v -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 x1546 -x1548 -x1550 -x1552 1782.69/1783.23 v -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 x1584 -x1586 1782.69/1783.23 v -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 1782.69/1783.23 v -x1622 x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 1782.69/1783.23 v -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 1782.69/1783.23 v -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 1782.69/1783.23 v -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 1782.69/1783.23 v -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 1782.69/1783.23 v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 1782.69/1783.23 v -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 1782.69/1783.23 v -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 1782.69/1783.23 v -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 1782.69/1783.23 v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 1782.69/1783.23 v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 1782.69/1783.23 v -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 1782.69/1783.23 v -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 1782.69/1783.23 v -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 1782.69/1783.23 v -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 1782.69/1783.23 v -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 1782.69/1783.23 v -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 1782.69/1783.23 v -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 1782.69/1783.23 v -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 1782.69/1783.23 v -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 1782.69/1783.23 v -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 1782.69/1783.23 v -x2334 -x2336 -x2338 -x2340 x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 1782.69/1783.23 v -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 1782.69/1783.23 v -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 1782.69/1783.23 v -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 1782.69/1783.23 v -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 1782.69/1783.23 v -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 1782.69/1783.23 v -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 1782.69/1783.23 v -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 1782.69/1783.23 v -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 1782.69/1783.23 v -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 1782.69/1783.23 v -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 1782.69/1783.23 v -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 1782.69/1783.23 v -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 1782.69/1783.23 v -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 1782.69/1783.23 v -x2809 -x2811 -x2813 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 1782.69/1783.23 v -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 1782.69/1783.23 v -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 1782.69/1783.23 v -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 1782.69/1783.23 v -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 1782.69/1783.23 v -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 1782.69/1783.23 v -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 1782.69/1783.23 v -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 1782.69/1783.23 v -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 1782.69/1783.23 v -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 1782.69/1783.23 v -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 1782.69/1783.23 v -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 1782.69/1783.23 v -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 1782.69/1783.23 v -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3280 1782.69/1783.23 v -x3282 -x3284 -x3286 x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 1782.69/1783.23 v -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 1782.69/1783.23 v -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 1782.69/1783.23 v -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 1782.69/1783.23 v -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 1782.69/1783.23 v -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 1782.69/1783.23 v -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 1782.69/1783.23 v -x3518 -x3520 x3522 -x3524 -x3526 -x3528 -x3530 x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 1782.69/1783.23 v -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 1782.69/1783.23 v -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 1782.69/1783.23 v -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 1782.69/1783.23 v -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 1782.69/1783.23 v -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 1782.69/1783.23 v -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 1782.69/1783.23 v -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 1782.69/1783.23 v -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 1782.69/1783.23 v -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 1782.69/1783.23 v -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 1782.69/1783.23 v -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 1782.69/1783.23 v -x3927 -x3929 -x3931 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 1782.69/1783.23 v -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 1782.69/1783.23 v -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 1782.69/1783.23 v -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 1782.69/1783.23 v -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 1782.69/1783.23 v -x4095 -x4097 -x4099 -x4101 x4103 x4105 -x4107 -x4109 x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 1782.69/1783.23 v -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4158 -x4160 -x4162 1782.69/1783.23 v -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 1782.69/1783.23 v -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 1782.69/1783.23 v -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4255 -x4257 -x4259 -x4261 -x4263 1782.69/1783.23 v -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 1782.69/1783.23 v -x4299 -x4301 x4303 -x4305 -x4307 x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4332 1782.69/1783.23 v -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4361 -x4363 -x4365 1782.69/1783.23 v -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 x4395 -x4397 -x4399 1782.69/1783.23 v -x4401 -x4403 -x4405 x4407 -x4409 -x4411 -x4413 -x4415 x4417 x4419 -x4421 -x4423 -x4425 -x4427 -x175 -x177 -x179 -x181 1782.69/1783.23 v -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 1782.69/1783.23 v -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 1782.69/1783.23 v -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x1 -x303 -x305 1782.69/1783.23 v -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 1782.69/1783.23 v -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x2 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 1782.69/1783.23 v -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x3 -x427 1782.69/1783.23 v -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x4 -x457 -x459 -x461 -x463 -x465 -x467 1782.69/1783.23 v -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 1782.69/1783.23 v -x511 -x513 -x515 -x517 -x5 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x6 1782.69/1783.23 v -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x7 -x579 -x581 -x583 -x585 -x587 1782.69/1783.23 v -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 1782.69/1783.23 v -x631 -x633 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x8 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 1782.69/1783.23 v -x672 -x674 -x676 -x678 -x680 -x682 -x9 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 1782.69/1783.23 v -x712 -x10 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x11 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 1782.69/1783.23 v -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x12 1782.69/1783.23 v -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x13 -x820 -x822 -x824 -x826 -x828 1782.69/1783.23 v -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 1782.69/1783.23 v -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x15 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x16 1782.69/1783.23 v -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x17 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 1782.69/1783.23 v -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 1782.69/1783.23 v -x18 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x19 -x1020 -x1022 1782.69/1783.23 v -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 1782.69/1783.23 v -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x20 -x1082 -x1084 -x1086 -x1088 -x1090 1782.69/1783.23 v -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x21 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 1782.69/1783.23 v -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x22 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 1782.69/1783.23 v -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x23 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 1782.69/1783.23 v -x1194 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x24 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 1782.69/1783.23 v -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x25 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x26 -x1259 1782.69/1783.23 v -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x27 -x1289 -x1291 -x1293 1782.69/1783.23 v -x1295 -x1297 -x1299 -x1301 -x28 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x29 -x1317 -x1319 -x1321 -x1323 -x1325 1782.69/1783.23 v -x1327 -x1329 -x30 -x1331 -x1333 -x1335 -x31 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 1782.69/1783.23 v -x1359 -x1361 -x1364 -x32 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x33 -x1380 -x1382 -x1384 -x1386 -x1389 -x34 1782.69/1783.23 v -x1391 -x1393 -x1395 -x35 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 1782.69/1783.23 v -x1425 -x36 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 1782.69/1783.23 v -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x37 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x38 -x1485 -x1487 -x1489 1782.69/1783.23 v -x1491 -x1493 -x1495 -x1497 -x39 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x40 -x1513 -x1515 -x1517 -x41 -x1519 1782.69/1783.23 v -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x42 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 x1545 -x1547 -x1549 -x1551 -x43 1782.69/1783.23 v -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x44 -x1567 -x1569 -x1571 -x45 -x1573 -x1575 -x1577 -x46 -x1579 -x1581 1782.69/1783.23 v x1583 x47 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 1782.69/1783.23 v -x1617 -x1619 -x1621 x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x48 -x1649 1782.69/1783.23 v -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x49 -x1679 -x1681 -x1683 1782.69/1783.23 v -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x50 -x1709 -x1711 -x1713 -x1715 -x1717 1782.69/1783.23 v -x1719 -x1721 -x51 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 1782.69/1783.23 v -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x52 -x1785 1782.69/1783.23 v -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x53 -x1815 -x1817 -x1819 1782.69/1783.23 v -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x54 -x1845 -x1847 -x1849 -x1851 -x1853 1782.69/1783.23 v -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x55 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 1782.69/1783.23 v -x56 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x57 -x1919 1782.69/1783.23 v -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x58 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x59 -x1947 -x1949 -x1951 1782.69/1783.23 v -x1953 -x1955 -x1957 -x1959 -x60 -x1961 -x1963 -x1965 -x61 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 1782.69/1783.23 v -x1985 -x1987 -x1989 -x1992 -x1994 -x62 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 1782.69/1783.23 v -x2020 -x2022 -x2024 -x63 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x64 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 1782.69/1783.23 v -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x65 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x66 1782.69/1783.23 v -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x67 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x68 -x2112 -x2114 1782.69/1783.23 v -x2116 -x69 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x70 1782.69/1783.23 v -x2148 -x2150 -x2152 -x2154 -x2156 -x2159 -x71 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x72 -x2175 -x2177 -x2179 1782.69/1783.23 v -x2181 -x2183 -x2185 -x2187 -x73 -x2189 -x2191 -x2193 -x74 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x75 -x2209 1782.69/1783.23 v -x2211 -x76 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x77 -x2227 -x2229 -x2231 -x78 -x2233 -x2235 -x2237 -x79 -x2239 1782.69/1783.23 v -x2241 -x2243 -x80 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 1782.69/1783.23 v -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 1782.69/1783.23 v -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 x2341 1782.69/1783.23 v -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x81 -x2373 -x2375 1782.69/1783.23 v -x2377 -x2379 -x2381 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 1782.69/1783.23 v -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x82 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 1782.69/1783.23 v -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 1782.69/1783.23 v -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x83 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 1782.69/1783.23 v -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x84 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 1782.69/1783.23 v -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 1782.69/1783.23 v -x2582 -x2584 -x2586 -x85 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 1782.69/1783.23 v -x2616 -x86 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 1782.69/1783.23 v -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x87 -x2678 -x2680 -x2682 1782.69/1783.23 v -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x88 -x2708 -x2710 -x2712 -x2714 -x2716 1782.69/1783.23 v -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x89 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 1782.69/1783.23 v -x90 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 1782.69/1783.23 v -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x91 -x2815 -x2817 -x2819 1782.69/1783.23 v -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x92 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 1782.69/1783.23 v -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x93 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x94 1782.69/1783.23 v -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x95 -x2917 -x2919 1782.69/1783.23 v -x2921 -x2923 -x2925 -x2927 -x2929 -x96 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 1782.69/1783.23 v -x2955 -x2957 -x2959 -x97 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x98 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 1782.69/1783.23 v -x2987 -x99 -x2989 -x2991 -x2993 -x100 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 1782.69/1783.23 v -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 1782.69/1783.23 v -x3053 -x3055 -x101 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 1782.69/1783.23 v -x3085 -x102 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 1782.69/1783.23 v -x103 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x104 -x3131 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 1782.69/1783.23 v -x3150 -x3152 -x3154 -x3156 -x3158 -x105 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 1782.69/1783.23 v -x3182 -x3184 -x3186 -x3188 -x106 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x107 -x3204 -x3206 -x3208 -x3210 -x3212 1782.69/1783.23 v -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 x108 x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 1782.69/1783.23 v -x109 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x110 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 1782.69/1783.23 v -x3281 -x3283 -x3285 x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 1782.69/1783.23 v -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x111 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 1782.69/1783.23 v -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x112 -x3359 -x3361 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 1782.69/1783.23 v -x3380 -x3382 -x3384 -x3386 -x113 -x3388 -x3390 -x3392 -x3394 -x3396 -x3399 -x114 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 1782.69/1783.23 v -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x115 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 1782.69/1783.23 v -x116 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x117 -x3459 -x3461 -x3463 -x3465 -x3467 x3469 -x3471 -x3473 -x3475 1782.69/1783.23 v -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x118 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 1782.69/1783.23 v -x119 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 x3521 x120 -x3523 -x3525 -x3527 -x3529 x3531 -x3533 -x3535 -x3537 -x3539 1782.69/1783.23 v -x3541 -x121 -x3543 -x3545 -x3547 -x122 -x3549 -x3551 -x3553 -x123 -x3555 -x124 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 1782.69/1783.23 v -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3602 1782.69/1783.23 v -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x125 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 1782.69/1783.23 v -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 1782.69/1783.23 v x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 1782.69/1783.23 v -x3704 -x3706 -x126 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 1782.69/1783.23 v -x3736 -x127 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 1782.69/1783.23 v -x128 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x129 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 1782.69/1783.23 v -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x130 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 1782.69/1783.23 v -x3832 -x3834 -x3836 -x3838 -x3840 -x131 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x132 -x3856 -x3858 -x3860 -x3862 1782.69/1783.23 v -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x133 -x3886 -x3888 -x3890 -x3892 -x3894 1782.69/1783.23 v -x3896 -x3898 -x134 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x135 -x3914 -x3916 -x3918 -x136 -x3920 -x3922 -x3924 1782.69/1783.23 v -x3926 -x3928 -x3930 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x137 -x3949 -x3951 -x3953 -x3955 -x3957 1782.69/1783.23 v -x3959 -x3961 -x138 -x3963 -x3965 -x3967 -x3969 -x3971 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 1782.69/1783.23 v -x139 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x140 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x141 -x4018 -x4020 1782.69/1783.23 v -x4022 -x142 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 1782.69/1783.23 v -x143 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x144 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x145 -x4082 1782.69/1783.23 v -x4084 -x146 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 x4102 x4104 x147 -x4106 -x4108 x4110 x148 -x4112 -x149 1782.69/1783.23 v -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x150 -x4144 1782.69/1783.23 v -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x151 -x4173 -x4175 -x4177 1782.69/1783.23 v -x4179 -x4181 -x4183 -x4185 -x152 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 1782.69/1783.23 v -x4211 -x4213 -x4215 -x153 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x154 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 1782.69/1783.23 v -x4243 -x155 -x4245 -x4247 -x4249 -x156 -x4251 -x4253 -x4256 -x4258 -x4260 -x4262 -x157 -x4264 -x4266 -x4268 -x4270 -x4272 1782.69/1783.23 v -x4274 -x4276 -x4278 x4280 -x4282 -x158 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x159 -x4298 -x4300 x4302 x160 1782.69/1783.23 v -x4304 -x4306 x4308 x161 -x4310 -x162 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4333 -x4335 1782.69/1783.23 v -x163 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x164 -x4351 -x4353 -x4355 -x4357 -x4359 -x4362 -x165 -x4364 -x4366 1782.69/1783.23 v -x4368 -x166 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x167 -x4384 -x4386 -x168 -x4388 -x4390 -x4392 -x169 x4394 1782.69/1783.23 v -x4396 -x4398 -x4400 -x4402 -x4404 x4406 x170 -x4408 -x4410 -x4412 -x4414 x4416 x4418 -x4420 -x171 -x4422 -x4424 -x172 1782.69/1783.23 v -x4426 -x173 x174
OK 26
/tmp/evaluation/372598-1177111452/instance-372598-1177111452.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-372598-1177111452 -o ROOT/results/node11/solver-372598-1177111452 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372598-1177111452/instance-372598-1177111452.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 3/77 25833 /proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=2552 CPUtime=0 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 152194144 2613248 233 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 0 0 0 /proc/25833/statm: 638 233 193 16 0 77 0 [startup+0.0391661 s] /proc/loadavg: 1.00 1.00 0.99 3/77 25833 /proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=3352 CPUtime=0.03 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 456 0 0 0 3 0 0 0 18 0 1 0 152194144 3432448 426 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8379388 0 0 4096 0 0 0 0 17 0 0 0 /proc/25833/statm: 838 426 199 16 0 277 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3352 [startup+0.101173 s] /proc/loadavg: 1.00 1.00 0.99 3/77 25833 /proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=4148 CPUtime=0.09 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 657 0 0 0 9 0 0 0 18 0 1 0 152194144 4247552 627 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 0 0 0 /proc/25833/statm: 1037 627 199 16 0 476 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4148 [startup+0.301196 s] /proc/loadavg: 1.00 1.00 0.99 3/77 25833 /proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=6052 CPUtime=0.29 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1074 0 0 0 28 1 0 0 19 0 1 0 152194144 6197248 1044 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/25833/statm: 1513 1044 205 16 0 952 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6052 [startup+0.701244 s] /proc/loadavg: 1.00 1.00 0.99 3/77 25833 /proc/meminfo: memFree=1764592/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=6052 CPUtime=0.68 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1074 0 0 0 66 2 0 0 23 0 1 0 152194144 6197248 1044 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 0 0 0 /proc/25833/statm: 1513 1044 205 16 0 952 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6052 [startup+1.50134 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1761128/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=6052 CPUtime=1.49 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1074 0 0 0 146 3 0 0 25 0 1 0 152194144 6197248 1044 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/25833/statm: 1513 1044 205 16 0 952 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6052 [startup+3.10153 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1761000/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=6284 CPUtime=3.09 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1153 0 0 0 304 5 0 0 25 0 1 0 152194144 6434816 1123 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/25833/statm: 1571 1123 205 16 0 1010 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6284 [startup+6.30191 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1759400/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=7760 CPUtime=6.29 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1503 0 0 0 621 8 0 0 25 0 1 0 152194144 7946240 1473 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 0 0 0 /proc/25833/statm: 1940 1473 205 16 0 1379 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7760 [startup+12.7027 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1758448/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=8956 CPUtime=12.68 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 1806 0 0 0 1253 15 0 0 25 0 1 0 152194144 9170944 1776 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558844 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 2239 1776 205 16 0 1678 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8956 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1756912/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=10132 CPUtime=25.47 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 2110 0 0 0 2518 29 0 0 25 0 1 0 152194144 10375168 2080 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559313 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 2533 2080 205 16 0 1972 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 10132 [startup+51.102 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1755440/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=11404 CPUtime=51.06 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 2425 0 0 0 5065 41 0 0 25 0 1 0 152194144 11677696 2395 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 2851 2395 205 16 0 2290 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 11404 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1753136/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=13716 CPUtime=102.24 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 2996 0 0 0 10153 71 0 0 25 0 1 0 152194144 14045184 2966 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 3429 2966 205 16 0 2868 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 13716 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1751984/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=14936 CPUtime=162.23 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 3274 0 0 0 16121 102 0 0 25 0 1 0 152194144 15294464 3244 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527975 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 3734 3244 205 16 0 3173 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 14936 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1748528/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=18544 CPUtime=222.21 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 4134 0 0 0 22073 148 0 0 25 0 1 0 152194144 18989056 4104 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558760 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 4636 4104 205 16 0 4075 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 18544 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1745008/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=22036 CPUtime=282.2 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5011 0 0 0 28040 180 0 0 25 0 1 0 152194144 22564864 4981 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 5509 4981 205 16 0 4948 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 22036 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1744944/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=22036 CPUtime=342.18 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5015 0 0 0 34014 204 0 0 25 0 1 0 152194144 22564864 4985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 5509 4985 205 16 0 4948 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 22036 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1744944/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=22036 CPUtime=402.17 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5015 0 0 0 39982 235 0 0 25 0 1 0 152194144 22564864 4985 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 5509 4985 205 16 0 4948 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 22036 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1744944/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=22036 CPUtime=462.14 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5017 0 0 0 45946 268 0 0 25 0 1 0 152194144 22564864 4987 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558960 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 5509 4987 205 16 0 4948 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 22036 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1744880/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=22036 CPUtime=522.13 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 5023 0 0 0 51907 306 0 0 25 0 1 0 152194144 22564864 4993 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558652 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 5509 4993 205 16 0 4948 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 22036 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1737520/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=29444 CPUtime=582.12 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6875 0 0 0 57872 340 0 0 25 0 1 0 152194144 30150656 6845 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7361 6845 205 16 0 6800 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 29444 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=29408 CPUtime=642.1 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6877 0 0 0 63833 377 0 0 25 0 1 0 152194144 30113792 6843 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7352 6843 205 16 0 6791 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 29408 ################ # More data... # ################ /proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=29408 CPUtime=882.03 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6882 0 0 0 87697 506 0 0 25 0 1 0 152194144 30113792 6848 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8413362 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7352 6848 205 16 0 6791 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 29408 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1737520/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=29408 CPUtime=942.02 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6882 0 0 0 93662 540 0 0 25 0 1 0 152194144 30113792 6848 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558790 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7352 6848 205 16 0 6791 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 29408 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=29408 CPUtime=1002 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6883 0 0 0 99633 567 0 0 25 0 1 0 152194144 30113792 6849 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7352 6849 205 16 0 6791 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 29408 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=29408 CPUtime=1061.98 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6883 0 0 0 105599 599 0 0 25 0 1 0 152194144 30113792 6849 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7352 6849 205 16 0 6791 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 29408 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25834 /proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=29408 CPUtime=1121.97 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6884 0 0 0 111567 630 0 0 25 0 1 0 152194144 30113792 6850 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519934 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7352 6850 205 16 0 6791 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 29408 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1737456/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=29408 CPUtime=1181.95 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 6884 0 0 0 117532 663 0 0 25 0 1 0 152194144 30113792 6850 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7352 6850 205 16 0 6791 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 29408 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1736048/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=31132 CPUtime=1241.93 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 7283 0 0 0 123495 698 0 0 25 0 1 0 152194144 31879168 7249 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134516704 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7783 7249 205 16 0 7222 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 31132 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1735920/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=31132 CPUtime=1301.92 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 7285 0 0 0 129451 741 0 0 25 0 1 0 152194144 31879168 7251 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7783 7251 205 16 0 7222 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 31132 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1735856/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=31132 CPUtime=1361.9 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 7286 0 0 0 135386 804 0 0 25 0 1 0 152194144 31879168 7252 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7783 7252 205 16 0 7222 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 31132 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1735856/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=31132 CPUtime=1421.89 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 7286 0 0 0 141325 864 0 0 25 0 1 0 152194144 31879168 7252 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134556363 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 7783 7252 205 16 0 7222 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 31132 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1732912/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=34056 CPUtime=1481.87 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 147277 910 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 8514 7984 205 16 0 7953 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 34056 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=34056 CPUtime=1541.85 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 153233 952 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557768 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 8514 7984 205 16 0 7953 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 34056 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1732912/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=34056 CPUtime=1601.84 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 159192 992 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 8514 7984 205 16 0 7953 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 34056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=34056 CPUtime=1661.83 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 165154 1029 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 8514 7984 205 16 0 7953 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 34056 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1732912/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=34056 CPUtime=1721.81 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 171105 1076 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 8514 7984 205 16 0 7953 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 34056 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=34056 CPUtime=1781.79 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 177061 1118 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 8514 7984 205 16 0 7953 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 34056 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=34056 CPUtime=1782.19 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 177101 1118 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 8514 7984 205 16 0 7953 0 Current children cumulated CPU time (s) 1782.19 Current children cumulated vsize (KiB) 34056 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=34056 CPUtime=1782.6 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 177141 1119 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 8514 7984 205 16 0 7953 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (KiB) 34056 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25836 /proc/meminfo: memFree=1732976/2055920 swapFree=4150632/4192956 [pid=25833] ppid=25831 vsize=34056 CPUtime=1782.69 /proc/25833/stat : 25833 (Pueblo) R 25831 25833 25083 0 -1 4194304 8018 0 0 0 177150 1119 0 0 25 0 1 0 152194144 34873344 7984 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/25833/statm: 8514 7984 205 16 0 7953 0 Current children cumulated CPU time (s) 1782.69 Current children cumulated vsize (KiB) 34056 Child status: 10 Real time (s): 1783.25 CPU time (s): 1782.74 CPU user time (s): 1771.54 CPU system time (s): 11.2003 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 34056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.54 system time used= 11.2003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8025 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= 16 involuntary context switches= 8957 runsolver used 1.9797 second user time and 4.06838 second system time The end
Begin job on node11 on Fri Apr 20 23:24:12 UTC 2007 IDJOB= 372598 IDBENCH= 24983 IDSOLVER= 165 FILE ID= node11/372598-1177111452 PBS_JOBID= 4640424 Free space on /tmp= 66255 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= Pueblo /tmp/evaluation/372598-1177111452/instance-372598-1177111452.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-372598-1177111452 -o ROOT/results/node11/conversion-372598-1177111452 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372598-1177111452/instance-372598-1177111452.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-372598-1177111452 -o ROOT/results/node11/solver-372598-1177111452 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372598-1177111452/instance-372598-1177111452.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED= 399793196 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1765064 kB Buffers: 37372 kB Cached: 166864 kB SwapCached: 10916 kB Active: 112060 kB Inactive: 115592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1765064 kB SwapTotal: 4192956 kB SwapFree: 4150632 kB Dirty: 2664 kB Writeback: 0 kB Mapped: 30496 kB Slab: 48728 kB Committed_AS: 6240028 kB PageTables: 1848 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66255 MiB End job on node11 on Fri Apr 20 23:53:55 UTC 2007