Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 23 | 1782.73 | 1783.4 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb |
MD5SUM | 7294dff8a2fbe1f0b26c181010dcfed2 |
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 | 22 |
Best CPU time to get the best result obtained on this benchmark | 3.2725 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22 |
Optimality of the best value was proved | YES |
Number of variables | 3041 |
Total number of constraints | 7696 |
Number of constraints which are clauses | 7696 |
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 | 1510 |
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 | 1510 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1510 |
Number of bits of the biggest sum of numbers | 11 |
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.09/0.13 c starting to Solve 0.09/0.13 c #variables read: 3041 - #constraints read: 7607 0.09/0.13 o 32 0.09/0.16 o 31 0.09/0.16 o 30 0.20/0.20 o 28 0.49/0.58 o 27 1.29/1.38 o 26 1.79/1.85 o 25 1.79/1.85 o 24 14.49/14.59 o 23 1782.63/1783.38 c total time : 1783 s 1782.63/1783.38 s SATISFIABLE 1782.63/1783.38 v -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 1782.63/1783.38 v -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 1782.63/1783.38 v -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 1782.63/1783.38 v -x267 -x269 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 1782.63/1783.38 v -x307 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 1782.63/1783.38 v -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 1782.63/1783.38 v -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x428 1782.63/1783.38 v -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 1782.63/1783.38 v -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x503 -x505 -x507 -x509 -x510 1782.63/1783.38 v -x512 -x514 x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 1782.63/1783.38 v -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 1782.63/1783.38 v -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x629 -x631 -x633 -x635 1782.63/1783.38 v -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x656 -x658 -x660 -x662 -x664 -x666 -x667 -x669 -x671 -x673 -x675 1782.63/1783.38 v -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 1782.63/1783.38 v -x719 -x721 -x723 -x725 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 1782.63/1783.38 v -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 1782.63/1783.38 v -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 1782.63/1783.38 v -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 1782.63/1783.38 v -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 1782.63/1783.38 v -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 1782.63/1783.38 v -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 1782.63/1783.38 v -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 1782.63/1783.38 v -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 1782.63/1783.38 v -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 1782.63/1783.38 v -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 1782.63/1783.38 v -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 1782.63/1783.38 v -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 1782.63/1783.38 v -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 1782.63/1783.38 v -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 1782.63/1783.38 v -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 1782.63/1783.38 v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 1782.63/1783.38 v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 1782.63/1783.38 v -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1412 -x1414 1782.63/1783.38 v -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 1782.63/1783.38 v -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 1782.63/1783.38 v -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 1782.63/1783.38 v -x1518 -x1519 -x1521 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 1782.63/1783.38 v -x1549 -x1551 -x1553 -x1555 -x1557 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1579 1782.63/1783.38 v -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 1782.63/1783.38 v -x1615 -x1617 -x1619 -x1621 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 1782.63/1783.38 v -x1648 -x1650 -x1652 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 x1664 -x1666 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 1782.63/1783.38 v -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1698 -x1700 -x1702 -x1703 -x1705 -x1707 -x1709 1782.63/1783.38 v -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 1782.63/1783.38 v -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 1782.63/1783.38 v -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 1782.63/1783.38 v -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 1782.63/1783.38 v -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 1782.63/1783.38 v -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 1782.63/1783.38 v -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 1782.63/1783.38 v -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 1782.63/1783.38 v -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 1782.63/1783.38 v -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2045 1782.63/1783.38 v -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 1782.63/1783.38 v -x2080 -x2082 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 1782.63/1783.38 v -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 1782.63/1783.38 v -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2176 1782.63/1783.38 v -x2178 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2201 -x2203 -x2205 -x2206 1782.63/1783.38 v -x2208 x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2230 -x2232 -x2234 -x2235 -x2237 1782.63/1783.38 v -x2239 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2253 -x2255 -x2257 -x2259 -x2261 -x2262 -x2264 -x2266 -x2268 1782.63/1783.38 v -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2281 -x2283 -x2285 -x2287 -x2289 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 1782.63/1783.38 v -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 1782.63/1783.38 v -x2336 -x2337 -x2339 -x2341 -x2343 -x2345 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2365 1782.63/1783.38 v -x2367 -x2369 -x2371 -x2373 -x2375 -x2376 -x2378 -x2380 -x2382 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 1782.63/1783.38 v -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 1782.63/1783.38 v -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 x2456 -x2458 -x2460 -x2462 -x2463 1782.63/1783.38 v -x2465 -x2467 -x2469 -x2471 -x2472 -x2474 -x2475 -x2477 -x2479 -x2480 -x2482 -x2484 -x2485 x2487 -x2488 -x2490 -x2492 1782.63/1783.38 v -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2513 -x2515 -x2517 -x2518 -x2520 -x2522 -x2524 1782.63/1783.38 v x2526 -x2528 -x2530 -x2532 x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2557 -x2559 1782.63/1783.38 v -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 1782.63/1783.38 v -x2595 -x2597 -x2599 -x2601 -x2603 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2623 -x2625 1782.63/1783.38 v -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2652 -x2654 -x2656 -x2658 1782.63/1783.38 v -x2660 -x2662 -x2663 -x2665 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2685 -x2687 -x2689 1782.63/1783.38 v -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2703 -x2705 -x2707 -x2709 -x2710 -x2711 -x2713 -x2714 -x2716 -x2718 1782.63/1783.38 v -x2720 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 1782.63/1783.38 v -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2775 -x2777 -x2779 -x2781 -x2783 1782.63/1783.38 v -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2806 -x2808 -x2810 -x2812 -x2813 -x2815 1782.63/1783.38 v -x2816 -x2817 -x2819 -x2821 -x2823 -x2825 -x2826 -x2827 -x2828 -x2830 -x2832 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 1782.63/1783.38 v -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2855 -x2857 -x2859 -x2861 -x2862 -x2864 -x2866 -x2868 -x2870 -x2871 -x2873 1782.63/1783.38 v -x2874 -x2876 x2878 -x2880 x2881 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 1782.63/1783.38 v -x2907 -x2909 -x2911 -x2913 -x2915 -x2916 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 1782.63/1783.38 v -x2939 -x2941 -x2943 -x2944 -x2946 -x2948 -x2950 -x2951 -x2953 -x2954 -x2956 -x2958 -x2959 -x2961 -x2962 -x2964 -x2965 1782.63/1783.38 v x2966 -x2968 -x2970 -x2971 -x2972 -x2974 -x2976 x2977 -x2978 -x2979 -x2981 x2982 -x2984 -x2986 -x2988 -x2990 -x2992 x2993 1782.63/1783.38 v -x2995 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 x3021 1782.63/1783.38 v -x3023 -x3025 -x3027 x3028 -x3030 x3031 -x3033 -x3035 -x3036 -x3038 x3039 -x3040 x3041 -x141 -x143 -x145 -x147 -x149 -x151 1782.63/1783.38 v -x153 -x155 -x157 -x159 -x161 -x163 x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 1782.63/1783.38 v -x195 -x197 -x199 -x201 -x203 -x1 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 1782.63/1783.38 v -x2 -x235 -x237 -x239 -x241 -x243 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x3 -x264 -x266 -x268 -x271 -x273 1782.63/1783.38 v -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x309 -x311 -x313 -x315 -x317 1782.63/1783.38 v -x319 -x321 -x323 -x325 -x327 -x329 x331 -x333 -x335 -x4 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 1782.63/1783.38 v -x359 -x361 -x364 -x5 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x6 -x396 1782.63/1783.38 v -x398 -x400 -x402 -x404 -x406 -x408 -x7 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x429 -x431 -x433 -x435 -x437 1782.63/1783.38 v -x8 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x9 -x469 -x471 -x473 -x475 1782.63/1783.38 v -x477 -x479 -x481 -x10 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x11 -x497 -x499 -x501 -x504 -x506 -x508 -x12 -x511 -x513 1782.63/1783.38 v x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 1782.63/1783.38 v -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x13 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 1782.63/1783.38 v -x597 -x599 -x601 -x603 -x605 -x14 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x630 -x632 -x634 -x15 1782.63/1783.38 v -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x16 -x650 -x652 -x654 -x657 -x659 -x661 -x663 -x665 -x668 -x670 -x672 -x674 -x676 1782.63/1783.38 v -x17 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 x698 -x700 -x702 -x704 -x18 -x706 -x708 -x710 -x712 -x714 1782.63/1783.38 v -x716 -x718 -x720 -x722 -x724 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 1782.63/1783.38 v -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 1782.63/1783.38 v -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x19 -x837 -x839 1782.63/1783.38 v -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 1782.63/1783.38 v -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x20 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 1782.63/1783.38 v -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x21 -x961 1782.63/1783.38 v -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x22 -x991 -x993 -x995 -x997 -x999 -x1001 1782.63/1783.38 v -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 1782.63/1783.38 v -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x23 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 1782.63/1783.38 v -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x24 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 1782.63/1783.38 v -x1105 -x1107 -x1109 -x1111 -x25 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x26 -x1127 -x1129 -x1131 -x1133 -x1135 1782.63/1783.38 v -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 1782.63/1783.38 v -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x27 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 1782.63/1783.38 v -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x28 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 1782.63/1783.38 v -x1239 -x1241 -x1243 -x1245 -x1247 -x29 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x30 -x1261 -x1263 -x1265 -x1267 -x1269 1782.63/1783.38 v -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x31 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 1782.63/1783.38 v -x32 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x33 -x1319 -x1321 -x1323 -x34 -x1325 -x1327 -x1329 -x1331 -x1333 1782.63/1783.38 v -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1368 1782.63/1783.38 v -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x35 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 1782.63/1783.38 v -x1404 -x1406 -x1408 -x1410 -x1413 -x36 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 1782.63/1783.38 v -x1439 -x1441 -x1443 -x37 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x38 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 1782.63/1783.38 v -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x39 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x40 1782.63/1783.38 v -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x41 -x1517 -x1520 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1536 -x1538 1782.63/1783.38 v -x1540 -x1542 -x1544 -x1546 -x1548 -x42 -x1550 -x1552 -x1554 -x1556 -x1559 -x1561 -x43 -x1563 -x1565 -x1567 -x1569 -x1571 1782.63/1783.38 v -x1573 -x1575 -x44 -x1577 -x1580 -x45 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 1782.63/1783.38 v -x1606 -x1608 -x1610 -x46 -x1612 -x1614 -x1616 -x1618 -x1620 -x1623 -x47 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 1782.63/1783.38 v -x48 -x1639 -x1641 -x1643 -x49 -x1645 -x1647 -x1649 -x1651 -x1654 -x1656 -x50 -x1658 -x1660 -x1662 x51 -x1665 -x52 -x1668 1782.63/1783.38 v -x53 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x54 -x1699 -x1701 1782.63/1783.38 v -x1704 -x1706 -x1708 -x1710 -x55 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x56 -x1726 -x1729 -x57 -x1731 -x1733 1782.63/1783.38 v -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x58 -x1761 -x1763 -x1765 -x1767 1782.63/1783.38 v -x1769 -x1771 -x1773 -x59 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 1782.63/1783.38 v -x1803 -x60 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x61 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x62 1782.63/1783.38 v -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x63 -x1847 -x1849 -x1851 -x64 -x1853 -x1855 -x1858 -x1860 -x1862 -x1864 1782.63/1783.38 v -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 1782.63/1783.38 v -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x65 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 1782.63/1783.38 v -x1934 -x1936 -x1938 -x1940 -x1942 -x66 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 1782.63/1783.38 v -x1969 -x1971 -x67 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x68 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 1782.63/1783.38 v -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x69 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x70 -x2031 1782.63/1783.38 v -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x71 -x2046 -x2048 -x72 -x2050 -x2052 -x2054 -x2056 -x2059 -x2061 -x2063 -x2065 1782.63/1783.38 v -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x73 -x2079 -x2081 -x2084 -x2086 -x2088 -x2090 -x74 -x2092 -x2094 -x2096 -x2098 1782.63/1783.38 v -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2113 -x2115 -x2117 -x2119 -x75 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 1782.63/1783.38 v -x76 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x77 -x2149 -x2151 -x78 -x2153 -x2155 -x2158 -x2160 -x2162 -x2164 1782.63/1783.38 v -x79 -x2166 -x2168 -x2170 -x2172 -x2174 -x2177 -x80 -x2180 -x2182 -x81 -x2184 -x2186 -x2188 -x2191 -x2193 -x2195 -x82 -x2197 1782.63/1783.38 v -x2199 -x83 -x2202 -x2204 -x84 -x2207 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2231 -x2233 1782.63/1783.38 v -x85 -x2236 -x2238 -x2241 -x2243 -x2245 -x2247 -x86 -x2249 -x2251 -x2254 -x2256 -x2258 -x2260 -x2263 -x2265 -x2267 -x2269 1782.63/1783.38 v -x2271 -x2273 -x2275 -x87 -x2277 -x2279 -x2282 -x2284 -x2286 -x2288 -x88 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 1782.63/1783.38 v -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x89 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x90 -x2333 -x2335 1782.63/1783.38 v -x2338 -x2340 -x2342 -x2344 -x91 -x2347 -x2349 -x92 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x93 -x2366 -x2368 1782.63/1783.38 v -x2370 -x2372 -x2374 -x94 -x2377 -x2379 -x2381 -x95 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 1782.63/1783.38 v -x2404 -x2406 -x2408 -x2410 -x96 -x2412 -x2415 -x2417 -x2419 -x2421 -x2423 -x97 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 1782.63/1783.38 v -x2437 -x98 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 x2455 -x2457 -x99 -x2459 -x2461 -x100 -x2464 -x2466 1782.63/1783.38 v -x2468 -x2470 -x2473 -x101 -x2476 -x2478 -x102 -x2481 -x2483 -x103 x2486 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 1782.63/1783.38 v -x2503 -x2505 -x2507 -x2509 -x2511 -x2514 -x2516 -x2519 -x2521 -x2523 x2525 -x2527 -x2529 -x2531 x2533 -x2535 -x2537 -x2539 1782.63/1783.38 v -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 1782.63/1783.38 v -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x104 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2605 -x2607 1782.63/1783.38 v -x2609 -x2611 -x2613 -x2615 -x2617 -x105 -x2619 -x2621 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 1782.63/1783.38 v -x2642 -x2644 -x2646 -x106 -x2648 -x2650 -x2653 -x2655 -x2657 -x2659 -x107 -x2661 -x2664 -x2667 -x2669 -x2671 -x2673 -x2675 1782.63/1783.38 v -x2677 -x2679 -x2681 -x2683 -x2686 -x108 -x2688 -x2691 -x2693 -x2695 -x2697 -x2699 -x109 -x2701 -x2704 -x2706 -x2708 -x110 1782.63/1783.38 v -x2712 -x2715 -x111 -x2717 -x2719 -x2722 -x2724 -x2726 -x2728 -x112 -x2730 -x2732 -x2734 -x113 -x2736 -x2738 -x2740 -x2742 1782.63/1783.38 v -x2744 -x2746 -x2748 -x2750 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x114 -x2765 -x2767 -x2769 -x2771 -x2773 -x2776 1782.63/1783.38 v -x115 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x116 -x2792 -x2794 -x117 -x2796 -x2798 -x2800 -x2802 -x2804 -x2807 1782.63/1783.38 v -x118 -x2809 -x2811 -x119 -x2814 -x120 -x2818 -x121 -x2820 -x2822 -x2824 -x2829 -x122 -x2831 -x2834 -x2836 -x2838 -x2840 1782.63/1783.38 v -x2842 -x2845 -x2847 -x2849 -x2851 -x2853 -x2856 -x123 -x2858 -x2860 -x2863 -x2865 -x2867 -x2869 -x2872 -x2875 x2877 -x2879 1782.63/1783.38 v x124 -x2883 -x2885 -x125 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2908 -x2910 -x2912 -x2914 1782.63/1783.38 v -x126 -x2918 -x2920 -x2922 -x2924 -x2926 -x127 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x128 -x2942 -x2945 -x129 1782.63/1783.38 v -x2947 -x2949 -x2952 -x2955 -x2957 -x130 -x2960 -x131 -x2963 -x2967 -x2969 -x2973 -x2975 x132 -x2980 -x2983 -x2985 -x2987 1782.63/1783.38 v -x2989 -x2991 -x2994 -x133 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x134 -x3009 -x3011 -x135 -x3013 -x136 x137 -x3018 1782.63/1783.38 v -x3022 -x3024 -x3026 -x3029 x138 -x3032 -x3034 -x139 -x3037 -x140
OK 23
/tmp/evaluation/372542-1177105886/instance-372542-1177105886.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-372542-1177105886 -o ROOT/results/node69/solver-372542-1177105886 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372542-1177105886/instance-372542-1177105886.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 1.00 3/64 32552 /proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=2552 CPUtime=0 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 186578052 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 12418775 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 638 232 193 16 0 77 0 [startup+0.06643 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32552 /proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=3484 CPUtime=0.06 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 508 0 0 0 6 0 0 0 18 0 1 0 186578052 3567616 478 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 871 478 199 16 0 310 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3484 [startup+0.101435 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32552 /proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=4236 CPUtime=0.09 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 691 0 0 0 9 0 0 0 18 0 1 0 186578052 4337664 661 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 1059 661 204 16 0 498 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4236 [startup+0.301468 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32552 /proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=4636 CPUtime=0.3 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 776 0 0 0 28 2 0 0 19 0 1 0 186578052 4747264 746 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 1159 746 205 16 0 598 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 4636 [startup+0.701532 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32552 /proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=4636 CPUtime=0.69 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 776 0 0 0 67 2 0 0 22 0 1 0 186578052 4747264 746 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 1159 746 205 16 0 598 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4636 [startup+1.50166 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1758604/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=4892 CPUtime=1.49 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 829 0 0 0 145 4 0 0 25 0 1 0 186578052 5009408 799 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 1223 799 205 16 0 662 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4892 [startup+3.10292 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1757964/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=5256 CPUtime=3.09 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 948 0 0 0 303 6 0 0 25 0 1 0 186578052 5382144 918 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 1314 918 205 16 0 753 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5256 [startup+6.30144 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1757388/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=5632 CPUtime=6.29 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 1026 0 0 0 617 12 0 0 25 0 1 0 186578052 5767168 996 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 1408 996 205 16 0 847 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5632 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1756812/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=6200 CPUtime=12.69 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 1181 0 0 0 1241 28 0 0 25 0 1 0 186578052 6348800 1151 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 1550 1151 205 16 0 989 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6200 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1755596/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=7336 CPUtime=25.49 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 1462 0 0 0 2501 48 0 0 25 0 1 0 186578052 7512064 1432 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 1834 1432 205 16 0 1273 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 7336 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1754444/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=8452 CPUtime=51.08 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 1736 0 0 0 5033 75 0 0 25 0 1 0 186578052 8654848 1706 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 2113 1706 205 16 0 1552 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 8452 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1752268/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=10696 CPUtime=102.26 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 2272 0 0 0 10095 131 0 0 25 0 1 0 186578052 10952704 2242 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 2674 2242 205 16 0 2113 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10696 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1752012/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=11080 CPUtime=162.24 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 2360 0 0 0 16026 198 0 0 25 0 1 0 186578052 11345920 2330 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 2770 2330 205 16 0 2209 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 11080 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1750540/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=12500 CPUtime=222.22 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 2716 0 0 0 21979 243 0 0 25 0 1 0 186578052 12800000 2686 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 3125 2686 205 16 0 2564 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 12500 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1748748/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=14384 CPUtime=282.2 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3155 0 0 0 27899 321 0 0 25 0 1 0 186578052 14729216 3125 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 3596 3125 205 16 0 3035 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 14384 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1748172/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=14772 CPUtime=342.18 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3270 0 0 0 33805 413 0 0 25 0 1 0 186578052 15126528 3240 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 3693 3240 205 16 0 3132 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 14772 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1747980/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=15152 CPUtime=402.17 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3331 0 0 0 39721 496 0 0 25 0 1 0 186578052 15515648 3301 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 3788 3301 205 16 0 3227 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 15152 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32553 /proc/meminfo: memFree=1746956/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=16308 CPUtime=462.15 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3592 0 0 0 45630 585 0 0 25 0 1 0 186578052 16699392 3562 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 4077 3562 205 16 0 3516 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 16308 [startup+522.301 s] /proc/loadavg: 1.04 1.01 1.00 2/65 32553 /proc/meminfo: memFree=1746636/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=16676 CPUtime=522.12 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3697 0 0 0 51540 672 0 0 25 0 1 0 186578052 17076224 3667 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 4169 3667 205 16 0 3608 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 16676 [startup+582.301 s] /proc/loadavg: 1.05 1.02 1.00 2/71 32625 /proc/meminfo: memFree=1743452/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=18552 CPUtime=582.08 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4152 0 0 0 57464 744 0 0 25 0 1 0 186578052 18997248 4122 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 4638 4122 205 16 0 4077 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 18552 [startup+642.302 s] /proc/loadavg: 1.02 1.02 1.00 2/65 32751 /proc/meminfo: memFree=1743564/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=19568 CPUtime=641.99 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4397 0 0 0 63372 827 0 0 25 0 1 0 186578052 20037632 4367 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 4892 4367 205 16 0 4331 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 19568 ################ # More data... # ################ /proc/meminfo: memFree=1741388/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=21724 CPUtime=821.93 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4945 0 0 0 81116 1077 0 0 25 0 1 0 186578052 22245376 4915 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5431 4915 205 16 0 4870 0 Current children cumulated CPU time (s) 821.93 Current children cumulated vsize (KiB) 21724 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1741452/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=21724 CPUtime=881.92 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4950 0 0 0 87038 1154 0 0 25 0 1 0 186578052 22245376 4920 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5431 4920 205 16 0 4870 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 21724 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1741388/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=21724 CPUtime=941.9 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4956 0 0 0 92935 1255 0 0 25 0 1 0 186578052 22245376 4926 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5431 4926 205 16 0 4870 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 21724 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1741388/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=21724 CPUtime=1001.88 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4960 0 0 0 98856 1332 0 0 25 0 1 0 186578052 22245376 4930 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5431 4930 205 16 0 4870 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 21724 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1741388/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=21724 CPUtime=1061.86 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4962 0 0 0 104764 1422 0 0 25 0 1 0 186578052 22245376 4932 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5431 4932 205 16 0 4870 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 21724 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1741324/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=21956 CPUtime=1121.84 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4985 0 0 0 110656 1528 0 0 25 0 1 0 186578052 22482944 4955 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5489 4955 205 16 0 4928 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 21956 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1741196/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=21956 CPUtime=1181.82 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5010 0 0 0 116559 1623 0 0 25 0 1 0 186578052 22482944 4980 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5489 4980 205 16 0 4928 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 21956 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740876/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=22340 CPUtime=1241.8 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5086 0 0 0 122478 1702 0 0 25 0 1 0 186578052 22876160 5056 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5585 5056 205 16 0 5024 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 22340 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740684/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=22532 CPUtime=1301.79 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5115 0 0 0 128405 1774 0 0 25 0 1 0 186578052 23072768 5085 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5633 5085 205 16 0 5072 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 22532 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740620/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=22724 CPUtime=1361.77 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5148 0 0 0 134329 1848 0 0 25 0 1 0 186578052 23269376 5118 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5681 5118 205 16 0 5120 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 22724 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740556/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=22916 CPUtime=1421.75 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5162 0 0 0 140236 1939 0 0 25 0 1 0 186578052 23465984 5132 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5729 5132 205 16 0 5168 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 22916 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740492/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=22916 CPUtime=1481.73 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5164 0 0 0 146154 2019 0 0 25 0 1 0 186578052 23465984 5134 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5729 5134 205 16 0 5168 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 22916 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740428/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=22916 CPUtime=1541.71 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5182 0 0 0 152060 2111 0 0 25 0 1 0 186578052 23465984 5152 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5729 5152 205 16 0 5168 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 22916 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740428/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=22916 CPUtime=1601.69 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5192 0 0 0 157974 2195 0 0 25 0 1 0 186578052 23465984 5162 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5729 5162 205 16 0 5168 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 22916 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740364/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=23108 CPUtime=1661.67 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5202 0 0 0 163883 2284 0 0 25 0 1 0 186578052 23662592 5172 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5777 5172 205 16 0 5216 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 23108 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740300/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=23108 CPUtime=1721.65 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5222 0 0 0 169796 2369 0 0 25 0 1 0 186578052 23662592 5192 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5777 5192 205 16 0 5216 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 23108 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740172/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=23364 CPUtime=1781.64 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5251 0 0 0 175715 2449 0 0 25 0 1 0 186578052 23924736 5221 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5841 5221 205 16 0 5280 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 23364 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740172/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=23364 CPUtime=1782.44 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5251 0 0 0 175795 2449 0 0 25 0 1 0 186578052 23924736 5221 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5841 5221 205 16 0 5280 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (KiB) 23364 [startup+1783.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32751 /proc/meminfo: memFree=1740172/2055920 swapFree=4182908/4192956 [pid=32552] ppid=32550 vsize=23364 CPUtime=1782.63 /proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5251 0 0 0 175814 2449 0 0 25 0 1 0 186578052 23924736 5221 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32552/statm: 5841 5221 205 16 0 5280 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (KiB) 23364 Child status: 10 Real time (s): 1783.4 CPU time (s): 1782.73 CPU user time (s): 1758.23 CPU system time (s): 24.5013 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 23364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1758.23 system time used= 24.5013 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5258 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= 2206 runsolver used 1.18482 second user time and 3.74443 second system time The end
Begin job on node69 on Fri Apr 20 21:51:26 UTC 2007 IDJOB= 372542 IDBENCH= 24979 IDSOLVER= 165 FILE ID= node69/372542-1177105886 PBS_JOBID= 4640385 Free space on /tmp= 66496 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb COMMAND LINE= Pueblo /tmp/evaluation/372542-1177105886/instance-372542-1177105886.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node69/convwatcher-372542-1177105886 -o ROOT/results/node69/conversion-372542-1177105886 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372542-1177105886/instance-372542-1177105886.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-372542-1177105886 -o ROOT/results/node69/solver-372542-1177105886 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372542-1177105886/instance-372542-1177105886.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2 RANDOM SEED= 273845486 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1761196 kB Buffers: 50152 kB Cached: 181204 kB SwapCached: 3788 kB Active: 57852 kB Inactive: 183484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1761196 kB SwapTotal: 4192956 kB SwapFree: 4182908 kB Dirty: 2500 kB Writeback: 0 kB Mapped: 15600 kB Slab: 39316 kB Committed_AS: 2183088 kB PageTables: 1472 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= 66496 MiB End job on node69 on Fri Apr 20 22:21:10 UTC 2007