Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 11 | 1782.73 | 1783.55 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb |
MD5SUM | 2b747b2caed6577698c928a521fdc3c2 |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 38.3592 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | YES |
Number of variables | 3540 |
Total number of constraints | 9890 |
Number of constraints which are clauses | 9890 |
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 | 127 |
Number of terms in the objective function | 1681 |
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 | 1681 |
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 | 1681 |
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.19 c starting to Solve 0.09/0.19 c #variables read: 3540 - #constraints read: 9758 0.09/0.19 o 12 39.67/39.72 o 11 1782.67/1783.54 c total time : 1783 s 1782.67/1783.54 s SATISFIABLE 1782.67/1783.54 v -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 1782.67/1783.54 v -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 1782.67/1783.54 v -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 1782.67/1783.54 v -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 1782.67/1783.54 v -x376 x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 1782.67/1783.54 v -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 1782.67/1783.54 v -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 1782.67/1783.54 v -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 1782.67/1783.54 v -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 1782.67/1783.54 v -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 1782.67/1783.54 v -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 1782.67/1783.54 v -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 1782.67/1783.54 v -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 1782.67/1783.54 v -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 1782.67/1783.54 v -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 1782.67/1783.54 v -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 1782.67/1783.54 v -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 1782.67/1783.54 v -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 1782.67/1783.54 v -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 1782.67/1783.54 v -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 1782.67/1783.54 v -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 1782.67/1783.54 v -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 1782.67/1783.54 v -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 1782.67/1783.54 v -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 1782.67/1783.54 v -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 1782.67/1783.54 v -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 1782.67/1783.54 v -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 1782.67/1783.54 v -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 1782.67/1783.54 v -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 1782.67/1783.54 v -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 1782.67/1783.54 v -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 x1406 -x1408 -x1410 1782.67/1783.54 v -x1412 x1414 -x1416 -x1418 -x1420 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 1782.67/1783.54 v -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 1782.67/1783.54 v -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 1782.67/1783.54 v -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 1782.67/1783.54 v -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 1782.67/1783.54 v -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 1782.67/1783.54 v -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 1782.67/1783.54 v -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 1782.67/1783.54 v -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 1782.67/1783.54 v -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 1782.67/1783.54 v -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 1782.67/1783.54 v -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 1782.67/1783.54 v -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 1782.67/1783.54 v x1851 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 1782.67/1783.54 v -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 x1914 -x1916 1782.67/1783.54 v -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 1782.67/1783.54 v -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 1782.67/1783.54 v -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 1782.67/1783.54 v -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 1782.67/1783.54 v -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 1782.67/1783.54 v -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 1782.67/1783.54 v -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 x2145 -x2147 -x2149 -x2151 -x2153 1782.67/1783.54 v x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 1782.67/1783.54 v -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 1782.67/1783.54 v -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 1782.67/1783.54 v -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 x2289 1782.67/1783.54 v -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 1782.67/1783.54 v -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 1782.67/1783.54 v -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 1782.67/1783.54 v -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 1782.67/1783.54 v -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 1782.67/1783.54 v -x2460 -x2462 -x2464 -x2466 -x2467 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 1782.67/1783.54 v -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 1782.67/1783.54 v -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 1782.67/1783.54 v -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 1782.67/1783.54 v -x2594 -x2596 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 1782.67/1783.54 v -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 1782.67/1783.54 v -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 1782.67/1783.54 v -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 1782.67/1783.54 v -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 1782.67/1783.54 v -x2762 -x2764 -x2766 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 1782.67/1783.54 v -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 1782.67/1783.54 v -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 1782.67/1783.54 v -x2862 -x2863 -x2864 -x2866 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 1782.67/1783.54 v -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 1782.67/1783.54 v -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 1782.67/1783.54 v -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 1782.67/1783.54 v -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 1782.67/1783.54 v -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 1782.67/1783.54 v -x3062 -x3064 -x3066 -x3068 -x3070 x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 1782.67/1783.54 v -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3112 -x3114 -x3116 -x3118 -x3120 -x3121 -x3123 -x3125 1782.67/1783.54 v -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 1782.67/1783.54 v -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3180 -x3182 -x3184 -x3185 -x3187 -x3189 -x3190 1782.67/1783.54 v -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 1782.67/1783.54 v -x3226 -x3228 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 1782.67/1783.54 v -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3286 -x3288 -x3290 1782.67/1783.54 v -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 1782.67/1783.54 v -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 1782.67/1783.54 v -x3360 -x3362 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 1782.67/1783.54 v -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3418 -x3420 -x3422 -x3424 1782.67/1783.54 v -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 1782.67/1783.54 v -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 1782.67/1783.54 v -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 1782.67/1783.54 v -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 1782.67/1783.54 v -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 1782.67/1783.54 v -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 1782.67/1783.54 v -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 1782.67/1783.54 v -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 1782.67/1783.54 v -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 1782.67/1783.54 v -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x1 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 1782.67/1783.54 v -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 1782.67/1783.54 v -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 1782.67/1783.54 v -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x2 -x589 -x591 -x593 -x595 -x597 -x599 -x601 1782.67/1783.54 v -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 1782.67/1783.54 v -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 1782.67/1783.54 v -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x3 -x713 -x715 -x717 -x719 -x721 -x723 -x725 1782.67/1783.54 v -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 1782.67/1783.54 v -x769 -x771 -x773 -x4 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 1782.67/1783.54 v -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 1782.67/1783.54 v -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 1782.67/1783.54 v -x893 -x5 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 1782.67/1783.54 v -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x6 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 1782.67/1783.54 v -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 1782.67/1783.54 v -x1013 -x7 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x8 1782.67/1783.54 v -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 1782.67/1783.54 v -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 1782.67/1783.54 v -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 1782.67/1783.54 v -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x9 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 1782.67/1783.54 v -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 1782.67/1783.54 v -x1215 -x10 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 1782.67/1783.54 v -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x11 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 1782.67/1783.54 v -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x12 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 1782.67/1783.54 v -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 1782.67/1783.54 v -x1351 -x1353 -x1355 -x13 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 1782.67/1783.54 v x14 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 x1405 -x1407 -x1409 -x1411 x15 x1413 -x1415 -x1417 1782.67/1783.54 v -x1419 -x1422 -x1424 -x16 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 1782.67/1783.54 v -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 1782.67/1783.54 v -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 1782.67/1783.54 v -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x17 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 1782.67/1783.54 v -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x18 -x1586 -x1588 1782.67/1783.54 v -x1590 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 1782.67/1783.54 v -x1625 -x1627 -x1629 -x1631 -x19 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x20 -x1655 1782.67/1783.54 v -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 1782.67/1783.54 v -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x21 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 -x1724 1782.67/1783.54 v -x1726 -x22 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x23 -x1752 -x1754 -x1756 1782.67/1783.54 v -x1758 -x1760 -x1762 -x24 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 1782.67/1783.54 v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 1782.67/1783.54 v -x1826 -x1828 -x1830 x26 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 x1850 -x1853 -x1855 -x27 -x1857 1782.67/1783.54 v -x1859 -x1861 -x1863 -x1865 -x1867 -x28 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 1782.67/1783.54 v -x29 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 x30 -x1905 -x1907 -x1909 -x1911 x1913 -x1915 -x31 -x1918 -x1920 -x32 -x1922 1782.67/1783.54 v -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 1782.67/1783.54 v -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 1782.67/1783.54 v -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x33 -x2024 1782.67/1783.54 v -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 1782.67/1783.54 v -x2060 -x2062 -x2064 -x2066 -x2068 -x34 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 1782.67/1783.54 v -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x35 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 1782.67/1783.54 v -x2128 x36 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 x2144 -x2146 -x2148 -x2150 -x2152 x2154 -x2156 -x2158 -x37 1782.67/1783.54 v -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x38 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x39 1782.67/1783.54 v -x2192 -x2194 -x2196 -x2198 -x40 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 1782.67/1783.54 v -x2226 -x2228 -x2230 -x2232 -x41 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x42 -x2248 -x2250 -x2252 -x2254 -x2256 1782.67/1783.54 v -x43 -x2258 -x2260 -x2262 -x44 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x45 -x2276 -x2278 -x2280 -x2282 -x46 -x2284 -x2286 1782.67/1783.54 v x2288 x47 -x2290 -x48 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 1782.67/1783.54 v -x2320 -x2322 -x2324 -x2326 -x2328 -x49 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x50 -x2344 -x2346 -x2348 -x2350 1782.67/1783.54 v -x2352 -x51 -x2354 -x2356 -x2358 -x52 -x2360 -x2362 -x2364 -x2366 -x53 -x2368 -x2370 -x2372 -x54 -x2374 -x55 -x2376 -x56 1782.67/1783.54 v -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x57 -x2392 -x2394 -x58 -x2396 -x2398 -x59 -x60 -x2400 -x2402 -x61 x62 1782.67/1783.54 v x63 -x2405 -x64 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 1782.67/1783.54 v -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2469 -x2471 1782.67/1783.54 v -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 1782.67/1783.54 v -x2507 -x2509 -x2511 -x65 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 1782.67/1783.54 v -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x66 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 1782.67/1783.54 v -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2598 -x2600 -x2602 -x2604 -x2606 -x67 -x2608 1782.67/1783.54 v -x2610 -x2612 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x68 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 1782.67/1783.54 v -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x69 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 1782.67/1783.54 v -x70 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 x71 -x2691 -x2693 -x2695 -x2697 -x72 -x2699 -x2701 -x2703 -x2705 -x2707 1782.67/1783.54 v -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x73 -x2733 -x2735 -x2737 -x2739 -x2741 1782.67/1783.54 v -x2743 -x2745 -x2747 -x74 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x75 -x2765 -x2768 x76 -x2770 -x2772 1782.67/1783.54 v -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 1782.67/1783.54 v -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x77 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x78 -x2834 -x2836 -x2838 1782.67/1783.54 v -x2840 -x2842 -x79 -x2844 x80 -x2846 -x81 -x2848 -x2850 -x2852 -x2854 -x2856 -x82 -x2858 -x2861 -x83 -x84 -x2865 -x85 -x2868 1782.67/1783.54 v -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x86 -x2890 -x2892 -x2894 -x87 -x2896 -x2898 -x88 1782.67/1783.54 v -x89 -x2900 -x2902 -x90 -x2904 x91 -x92 -x93 -x2907 -x94 -x2909 x95 -x2911 -x2913 -x2915 -x2917 x96 -x97 -x2919 -x2921 -x98 1782.67/1783.54 v -x99 -x100 x101 x102 x103 -x104 -x105 x106 -x107 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 1782.67/1783.54 v -x2945 -x2947 -x2949 -x2951 -x2953 -x108 -x2955 -x2957 -x2959 -x2961 -x2963 -x109 -x2965 -x2967 -x2969 -x110 -x2971 -x2973 1782.67/1783.54 v -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 1782.67/1783.54 v -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 1782.67/1783.54 v -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3072 -x3074 -x3076 1782.67/1783.54 v -x3078 -x3080 -x111 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 1782.67/1783.54 v -x3110 -x3113 x112 -x3115 -x3117 -x3119 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x113 -x3140 -x3142 1782.67/1783.54 v -x114 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 1782.67/1783.54 v -x3176 -x3178 -x115 -x3181 -x3183 -x116 -x3186 x117 -x3188 -x118 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 1782.67/1783.54 v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x119 -x3221 -x3223 -x3225 -x120 -x3227 -x3230 -x121 -x3232 -x122 -x3234 1782.67/1783.54 v -x3236 -x123 -x124 -x125 -x3238 -x126 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 1782.67/1783.54 v -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 1782.67/1783.54 v -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 1782.67/1783.54 v -x3333 -x127 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x128 -x3364 1782.67/1783.54 v -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x129 -x3390 -x3392 -x130 -x3394 -x3396 1782.67/1783.54 v -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 x131 -x3412 -x3414 -x3416 -x132 -x3419 -x3421 -x133 -x3423 -x134 -x3426 1782.67/1783.54 v -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3441 -x3443 -x135 x136 x137 -x3445 x138 -x139 -x140 -x141 -x3447 -x3449 -x3451 1782.67/1783.54 v -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x142 -x143 -x144 -x145 -x3469 x146 -x147 x148 -x149 -x3471 -x150 1782.67/1783.54 v x151 x152 -x153 -x154 -x155 x156 -x157 -x3473 -x158 -x159 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 1782.67/1783.54 v -x3493 -x3495 -x160 -x161 -x3497 -x162 -x163 -x164 -x165 -x166 -x167 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 1782.67/1783.54 v -x3515 -x3517 -x3519 -x3521 -x168 -x169 -x3523 -x170 -x171 -x172 -x173 -x174 -x3525 -x175 -x176 x177 -x178 -x179 -x180 x181 1782.67/1783.54 v -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x182 -x183 -x184 -x185 -x3539 -x186 -x187 -x188 -x189 x190 -x191 x192 -x193 x194 1782.67/1783.54 v -x195 x196 -x197 -x198 -x199 x200 -x201 -x202 x203 x204 x205 -x206
OK 11
/tmp/evaluation/372892-1177145850/instance-372892-1177145850.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-372892-1177145850 -o ROOT/results/node10/solver-372892-1177145850 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372892-1177145850/instance-372892-1177145850.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: 0.92 0.98 0.99 3/77 13196 /proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=2552 CPUtime=0 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 190622499 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 638 230 193 16 0 77 0 [startup+0.00991597 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13196 /proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=2684 CPUtime=0 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 190622499 2748416 267 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 671 267 193 16 0 110 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2684 [startup+0.101934 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13196 /proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=3884 CPUtime=0.09 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 618 0 0 0 9 0 0 0 18 0 1 0 190622499 3977216 588 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 971 588 199 16 0 410 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3884 [startup+0.301978 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13196 /proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=5084 CPUtime=0.29 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 893 0 0 0 29 0 0 0 19 0 1 0 190622499 5206016 863 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 1271 863 205 16 0 710 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5084 [startup+0.701065 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13196 /proc/meminfo: memFree=1688456/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=5084 CPUtime=0.69 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 893 0 0 0 68 1 0 0 23 0 1 0 190622499 5206016 863 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 1271 863 205 16 0 710 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5084 [startup+1.50123 s] /proc/loadavg: 0.92 0.98 0.99 2/78 13197 /proc/meminfo: memFree=1685824/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=5084 CPUtime=1.49 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 893 0 0 0 148 1 0 0 25 0 1 0 190622499 5206016 863 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519989 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 1271 863 205 16 0 710 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5084 [startup+3.10158 s] /proc/loadavg: 0.92 0.98 0.99 2/78 13197 /proc/meminfo: memFree=1685632/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=5464 CPUtime=3.09 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1007 0 0 0 307 2 0 0 25 0 1 0 190622499 5595136 977 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 1366 977 205 16 0 805 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5464 [startup+6.30227 s] /proc/loadavg: 0.93 0.98 0.99 2/78 13197 /proc/meminfo: memFree=1684800/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=6216 CPUtime=6.29 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1173 0 0 0 624 5 0 0 25 0 1 0 190622499 6365184 1143 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 1554 1143 205 16 0 993 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6216 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 13197 /proc/meminfo: memFree=1684160/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=6472 CPUtime=12.68 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1228 0 0 0 1259 9 0 0 25 0 1 0 190622499 6627328 1198 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 1618 1198 205 16 0 1057 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6472 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 13197 /proc/meminfo: memFree=1682496/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=8012 CPUtime=25.48 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1640 0 0 0 2531 17 0 0 25 0 1 0 190622499 8204288 1610 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 2003 1610 205 16 0 1442 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8012 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 13197 /proc/meminfo: memFree=1681152/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=9436 CPUtime=51.07 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 1991 0 0 0 5077 30 0 0 25 0 1 0 190622499 9662464 1961 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559515 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 2359 1961 205 16 0 1798 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9436 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 13197 /proc/meminfo: memFree=1680256/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=10536 CPUtime=102.25 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 2211 0 0 0 10176 49 0 0 25 0 1 0 190622499 10788864 2181 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 2634 2181 205 16 0 2073 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 10536 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13197 /proc/meminfo: memFree=1679616/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=11040 CPUtime=162.23 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 2368 0 0 0 16144 79 0 0 25 0 1 0 190622499 11304960 2338 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 2760 2338 205 16 0 2199 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 11040 [startup+222.302 s] /proc/loadavg: 1.22 1.03 1.01 2/84 13271 /proc/meminfo: memFree=1676856/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=12420 CPUtime=222.17 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 2708 0 0 0 22110 107 0 0 25 0 1 0 190622499 12718080 2678 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 3105 2678 205 16 0 2544 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 12420 [startup+282.302 s] /proc/loadavg: 1.08 1.02 1.00 2/78 13395 /proc/meminfo: memFree=1677824/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=12552 CPUtime=282.07 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 2717 0 0 0 28082 125 0 0 25 0 1 0 190622499 12853248 2687 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 3138 2687 205 16 0 2577 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 12552 [startup+342.302 s] /proc/loadavg: 1.03 1.02 1.00 2/78 13395 /proc/meminfo: memFree=1676736/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=13720 CPUtime=342.04 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3021 0 0 0 34060 144 0 0 25 0 1 0 190622499 14049280 2991 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559515 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 3430 2991 205 16 0 2869 0 Current children cumulated CPU time (s) 342.04 Current children cumulated vsize (KiB) 13720 [startup+402.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 13395 /proc/meminfo: memFree=1675968/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=14544 CPUtime=402.02 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3211 0 0 0 40033 169 0 0 25 0 1 0 190622499 14893056 3181 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 9336753 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 3636 3181 205 16 0 3075 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 14544 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 13395 /proc/meminfo: memFree=1676032/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=14544 CPUtime=462 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3212 0 0 0 46001 199 0 0 25 0 1 0 190622499 14893056 3182 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 3636 3182 205 16 0 3075 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 14544 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1675520/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=15032 CPUtime=521.97 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3334 0 0 0 51966 231 0 0 25 0 1 0 190622499 15392768 3304 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558939 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 3758 3304 205 16 0 3197 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 15032 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1673792/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=16772 CPUtime=581.95 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3773 0 0 0 57940 255 0 0 25 0 1 0 190622499 17174528 3743 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4193 3743 205 16 0 3632 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 16772 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1673792/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=16772 CPUtime=641.93 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3773 0 0 0 63913 280 0 0 25 0 1 0 190622499 17174528 3743 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558652 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4193 3743 205 16 0 3632 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 16772 ################ # More data... # ################ /proc/meminfo: memFree=1673664/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=17024 CPUtime=821.86 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 3819 0 0 0 81833 353 0 0 25 0 1 0 190622499 17432576 3789 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559596 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4256 3789 205 16 0 3695 0 Current children cumulated CPU time (s) 821.86 Current children cumulated vsize (KiB) 17024 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672192/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18516 CPUtime=881.84 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4201 0 0 0 87812 372 0 0 25 0 1 0 190622499 18960384 4171 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4629 4171 205 16 0 4068 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 18516 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672128/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18444 CPUtime=941.81 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4202 0 0 0 93790 391 0 0 25 0 1 0 190622499 18886656 4170 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558925 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4611 4170 205 16 0 4050 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 18444 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672128/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18432 CPUtime=1001.78 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4204 0 0 0 99763 415 0 0 25 0 1 0 190622499 18874368 4169 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558821 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4608 4169 205 16 0 4047 0 Current children cumulated CPU time (s) 1001.78 Current children cumulated vsize (KiB) 18432 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672128/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18368 CPUtime=1061.76 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4208 0 0 0 105731 445 0 0 25 0 1 0 190622499 18808832 4157 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4592 4157 205 16 0 4031 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 18368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672192/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18368 CPUtime=1121.74 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4209 0 0 0 111703 471 0 0 25 0 1 0 190622499 18808832 4158 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4592 4158 205 16 0 4031 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 18368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672256/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18368 CPUtime=1181.72 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4211 0 0 0 117674 498 0 0 25 0 1 0 190622499 18808832 4160 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4592 4160 205 16 0 4031 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 18368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672192/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18368 CPUtime=1241.69 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4214 0 0 0 123646 523 0 0 25 0 1 0 190622499 18808832 4163 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559578 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4592 4163 205 16 0 4031 0 Current children cumulated CPU time (s) 1241.69 Current children cumulated vsize (KiB) 18368 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672256/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18368 CPUtime=1301.67 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4215 0 0 0 129612 555 0 0 25 0 1 0 190622499 18808832 4164 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4592 4164 205 16 0 4031 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 18368 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672256/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18368 CPUtime=1361.65 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4216 0 0 0 135572 593 0 0 25 0 1 0 190622499 18808832 4165 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4592 4165 205 16 0 4031 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 18368 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1672000/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=18640 CPUtime=1421.62 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4274 0 0 0 141545 617 0 0 25 0 1 0 190622499 19087360 4223 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134553149 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4660 4223 205 16 0 4099 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 18640 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1671616/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=19176 CPUtime=1481.6 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4377 0 0 0 147516 644 0 0 25 0 1 0 190622499 19636224 4326 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4794 4326 205 16 0 4233 0 Current children cumulated CPU time (s) 1481.6 Current children cumulated vsize (KiB) 19176 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1671552/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=19324 CPUtime=1541.57 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4402 0 0 0 153479 678 0 0 25 0 1 0 190622499 19787776 4351 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4831 4351 205 16 0 4270 0 Current children cumulated CPU time (s) 1541.57 Current children cumulated vsize (KiB) 19324 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1671488/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=19324 CPUtime=1601.55 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4402 0 0 0 159445 710 0 0 25 0 1 0 190622499 19787776 4351 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4831 4351 205 16 0 4270 0 Current children cumulated CPU time (s) 1601.55 Current children cumulated vsize (KiB) 19324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1671488/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=19324 CPUtime=1661.53 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4402 0 0 0 165412 741 0 0 25 0 1 0 190622499 19787776 4351 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 4831 4351 205 16 0 4270 0 Current children cumulated CPU time (s) 1661.53 Current children cumulated vsize (KiB) 19324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1669504/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=21260 CPUtime=1721.51 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4905 0 0 0 171383 768 0 0 25 0 1 0 190622499 21770240 4854 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559548 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 5315 4854 205 16 0 4754 0 Current children cumulated CPU time (s) 1721.51 Current children cumulated vsize (KiB) 21260 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1669504/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=21184 CPUtime=1781.48 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4905 0 0 0 177352 796 0 0 25 0 1 0 190622499 21692416 4847 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 5296 4847 205 16 0 4735 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 21184 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1669504/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=21184 CPUtime=1782.28 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4905 0 0 0 177432 796 0 0 25 0 1 0 190622499 21692416 4847 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 5296 4847 205 16 0 4735 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 21184 [startup+1783.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13395 /proc/meminfo: memFree=1669504/2055920 swapFree=4152380/4192956 [pid=13196] ppid=13194 vsize=21176 CPUtime=1782.67 /proc/13196/stat : 13196 (Pueblo) R 13194 13196 12644 0 -1 4194304 4905 0 0 0 177471 796 0 0 25 0 1 0 190622499 21684224 4845 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13196/statm: 5294 4845 205 16 0 4733 0 Current children cumulated CPU time (s) 1782.67 Current children cumulated vsize (KiB) 21176 Child status: 10 Real time (s): 1783.55 CPU time (s): 1782.73 CPU user time (s): 1774.76 CPU system time (s): 7.97379 CPU usage (%): 99.9544 Max. virtual memory (cumulated for all children) (KiB): 21312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.76 system time used= 7.97379 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4912 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= 37089 runsolver used 1.9477 second user time and 4.07138 second system time The end
Begin job on node10 on Sat Apr 21 08:57:30 UTC 2007 IDJOB= 372892 IDBENCH= 25004 IDSOLVER= 165 FILE ID= node10/372892-1177145850 PBS_JOBID= 4648837 Free space on /tmp= 66270 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb COMMAND LINE= Pueblo /tmp/evaluation/372892-1177145850/instance-372892-1177145850.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-372892-1177145850 -o ROOT/results/node10/conversion-372892-1177145850 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372892-1177145850/instance-372892-1177145850.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-372892-1177145850 -o ROOT/results/node10/solver-372892-1177145850 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372892-1177145850/instance-372892-1177145850.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2 RANDOM SEED= 392981987 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1688928 kB Buffers: 38880 kB Cached: 253020 kB SwapCached: 8864 kB Active: 130948 kB Inactive: 184196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1688928 kB SwapTotal: 4192956 kB SwapFree: 4152380 kB Dirty: 2588 kB Writeback: 0 kB Mapped: 30244 kB Slab: 37448 kB Committed_AS: 3638136 kB PageTables: 1708 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= 66270 MiB End job on node10 on Sat Apr 21 09:27:14 UTC 2007