Trace number 3394487

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sol 2011-04-04SAT 50.4633 49.4166

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
MD5SUM87b5938a349a8614bebb638e28ff1198
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.46017
Satisfiable
(Un)Satisfiability was proved
Number of variables2856
Number of clauses10578
Sum of the clauses size26556
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25178
Number of clauses of size 35400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

50.35/49.39	s SATISFIABLE
50.35/49.39	v 80 1 197 268 12 3 33 37 92 56 67 137 4 52 23 259 174 54 59 159 32 94 180 70 85 173 48 72 167 39 189 71 40 61 7 5 170 28 27 25 6 139 156 24 89 192 73 68 152 97 168 95 76 -2840 2839 -2832 2831 -2821 2822 -2811 2812 -2842 2841 -2843 2844 -2820 2819 -2823 2824 -2818 2817 -2835 2836 -2830 2829 -2827 2828 -2833 2834 -2826 2825 -2813 2814 -2838 2837 -2816 2815 846 997 967 1692 1578 985 1068 1022 1750 1695 1073 1128 1185 1834 1764 1107 1259 1232 1983 1895 1270 1356 1330 2097 1978 1394 1480 1401 2168 2011 1490 1597 1573 2188 1571 1668 1607 1633 1728 1793 1712 1859 1838 1874 1946 1959 2085 2078 2173 2195 -2846 2845 -2128 -2122 -2156 -2139 2278 -2152 -2138 -2134 -2136 -2118 -2178 -2162 -2197 -2137 -2170 -2167 -2180 -2110 -2154 -2129 -2194 -2185 -2849 -2107 -2133 -2164 -2052 -2172 -2130 -2113 -2192 -2171 -2182 -2189 2268 2273 -2067 -1792 -1758 -1770 2252 -2174 -2068 -2045 -2005 -2049 -2059 -2090 -2099 -2098 -2055 -2061 -2010 -2054 -2001 -2041 -2089 -2080 -2056 -2026 -2072 -2002 -2094 -2018 -2028 -2060 -2070 -2046 -2022 2850 -2073 -2009 -2071 -2095 -2069 -1960 -1968 -2063 -2081 -2032 -2062 -2100 -2024 -2031 -2053 -2087 -2038 -2021 -2029 -2075 -2246 -2229 -2225 -2204 -2221 -2289 -2222 -2267 -2285 -2228 -2230 -2847 -1923 -1971 -1952 -1700 -1653 -1624 -1631 -1664 -1676 -1693 -1626 -1656 -1680 -2216 -2259 -2232 -2023 -2044 -1931 -1973 -1986 -1955 -1954 -1974 -1928 -1910 -1994 -1937 -1920 -1913 -1924 -1951 -1935 -1967 -1930 -1947 -1929 -1972 -1956 -1927 -1921 -1957 -1996 -1907 -1922 -1938 -1987 -1989 -2290 -2193 -2270 -2183 -2299 -1965 -1901 -1988 -1990 -1964 -1984 -1906 -1831 -1873 -1949 -1985 -1979 -1940 -1916 -1966 -1919 -1970 -1936 -1943 -1962 -1993 -1932 -1944 -1992 -2187 -2115 -2161 -2132 -2123 -2108 -2146 -2196 2848 -1869 -1814 -1890 -1868 -1860 -1584 -1550 -1595 -1569 -1506 -1516 -1504 -1507 -1547 -1540 -1559 -1594 -1502 -2199 -1914 -1969 -1843 -1862 -1836 -1801 -1888 -1865 -1881 -1835 -1867 -1812 -1896 -1813 -1824 -1851 -1857 -1833 -1819 -1870 -1852 -1871 -1823 -1802 -1821 -1827 -1803 -1876 -1832 -1875 -1811 -1817 -1893 -1872 -1829 -2007 -2004 -2047 -2016 -2083 -1830 -1894 -1810 -1891 -1743 -1736 -1762 -1765 -1701 -1788 -1808 -1846 -1853 -1899 -1842 -1848 -1807 -1839 -1840 -1816 -1879 -1885 -1804 -2035 -2019 -2003 -2043 -2020 -2233 -2856 -2215 -2271 -2450 -2238 2372 -2234 -2207 -2237 -2258 -2276 -2272 -2298 -2293 2395 -2275 -2223 -2264 -2218 2307 -2201 -2236 2328 -2292 -2294 -2224 -1706 -1794 -1710 -1731 -1773 -1484 -1464 -1406 -1491 -1499 -1461 -1417 -1411 -1402 -1453 -1454 -1428 -1474 -1457 -1806 -1740 -1716 -1779 -1739 -1730 -1749 -1723 -1771 -1752 -1800 -1775 -1719 -1782 -1707 -1760 -1768 -1790 -1714 -1769 -1732 -1703 -1776 -1741 -1763 -1785 -1744 -1777 -1778 -1726 -1745 -1721 -1911 -1917 -1961 -1902 -1999 -1934 -1757 -1713 -1751 -1724 -1610 -1617 -1636 -1611 -1612 -1674 -1738 -1787 -1789 -1722 -1737 -1709 -1717 -1711 -1705 -1753 -1799 -1746 -1708 -1761 -1941 2855 -2190 -2365 -2325 -2357 -2348 -2392 2467 -2150 -2125 -2111 -2117 -2163 -2121 2464 -2144 -2114 -2169 2493 -2472 2429 -2104 -2157 -2119 -1688 -1670 -1650 -1685 -1634 -1630 -1391 -1337 -1320 -1326 -1345 -1378 -1377 -1335 -1367 -1396 -1312 -1791 -1682 -1608 -1698 -1699 -1690 -1632 -1681 -1620 -1638 -1687 -1661 -1655 -1621 -1673 -1609 -1613 -1658 -1697 -1643 -1651 -1639 -1606 -1646 -1622 -1640 -1878 -1877 -1826 -1845 -1820 -1837 -1825 -1850 -1662 -1684 -1510 -1533 -1523 -1544 -1675 -1629 -1667 -1649 -1689 -1641 -1679 -1696 -1635 -1619 -1603 -1847 -2851 -2269 -2210 -2239 -2470 -2295 -2458 -2460 -2211 -2227 -2291 -2231 -2300 -2253 -2468 -2497 -2428 -2452 -2489 -2485 -2421 -2474 -2092 -2025 -2057 -2065 -2048 -2027 -2407 -2494 -2473 -2439 -2437 -2431 -2495 -2403 -2483 -2422 -2363 -2352 -2418 -2454 -2014 -1512 -1511 -1574 -1526 -1580 -1556 -1548 -1525 -1592 -1557 -1565 -1546 -1522 -1532 -1581 -1241 -1289 -1240 -1272 -1233 -1521 -1542 -1566 -1543 -1535 -1519 -1503 -1530 -1585 -1534 -1579 -1562 -1593 -1576 -1564 -1501 -1598 -1599 -1590 -1588 -1549 -1567 -1582 -1795 -1759 -1786 -1733 -1715 -1424 -1451 -1413 -1482 -1414 -1469 -1528 -1560 -1572 -1575 -1529 -1508 -1551 -1539 -1702 2852 -2106 -2151 -2124 -2105 -2380 -2326 -2356 -2184 -2364 -2393 -2376 -2313 -2177 -2176 -2103 -2143 -2166 -2358 -2397 -2301 -2345 -2368 -2305 -2355 -2361 -2375 -2329 -2322 -2346 -2323 -2344 -1904 -1915 -1909 -1903 -1976 -2309 -2373 -2370 -2334 -2330 -2385 -2390 -2398 -2399 -2389 -2341 -2350 -2378 -2339 -2351 -2383 -2367 -2349 -2255 -2261 -2354 -2318 -1500 -1478 -1477 -1412 -1456 -1427 -1409 -1415 -1404 -1487 -1489 -1422 -1438 -1485 -1449 -1147 -968 -1172 -1129 -1153 -1121 -1182 -1432 -1448 -1442 -1441 -1446 -1408 -1450 -1425 -1440 -1416 -1479 -1463 -1430 -1437 -1494 -1410 -1452 -1471 -1423 -1678 -1637 -1671 -1370 -1319 -1306 -1496 -1421 -1444 -1492 -1458 -1405 -1677 -2854 2589 -2412 -2488 2522 -2434 -2409 -2426 -2456 2558 -2492 -2424 -2432 -2490 -2459 -2480 -2440 -2088 -2084 -2096 -2202 -2240 -2247 -2206 -2262 -2006 -2051 -2039 -2217 -2297 -2296 -2235 -2203 -2219 -2260 -2249 -2220 -1861 -1818 -1841 -1863 -2279 -2280 -2226 -2256 -2281 -2266 -2242 -2257 -2265 -2248 -2283 -2120 -2254 -1366 -1395 -1359 -1400 -1327 -1303 -1376 -1318 -1361 -1329 -1372 -1393 -1346 -1308 -873 -831 -1063 -1052 -1028 -1060 -1021 -1385 -1309 -1347 -1389 -1322 -1338 -1387 -1358 -1315 -1353 -1399 -1333 -1357 -1313 -1324 -1351 -1360 -1368 -1390 -1369 -1314 -1589 -1541 -1538 -1587 -1226 -1256 -1280 -1288 -1375 -1332 -1304 -1355 2853 2646 -2529 -2554 -2511 -2527 -2552 -2594 -2513 -2504 -2570 -2333 -2311 -2312 -2374 -2588 -2379 -2340 -2359 -2324 -2331 -2400 -2353 -2384 -2343 -2394 -2337 -2302 -2382 -1975 -2153 -2102 -2191 -2140 -2179 -2116 -1991 -1905 -2126 -2145 -2198 -2175 -2141 -1720 -1747 -2127 -2149 -2148 -2142 -2109 -2135 -1278 -1237 -1286 -1251 -1239 -1206 -1254 -1235 -1219 -1203 -1260 -1228 -1263 -1252 -1207 -1216 -1247 -1204 -788 -701 -765 -762 -736 -743 -955 -961 -905 -945 -913 -1246 -1222 -1279 -1275 -1229 -1267 -1249 -1293 -1276 -1264 -1271 -1262 -1284 -1213 -1297 -1258 -1429 -1472 -1447 -1493 -1127 -1156 -1243 -1214 -2430 -2564 -2526 2608 -2531 -2530 -2582 -2573 -2576 -2532 -2506 -2578 -2556 -2539 -2518 -2550 -2503 -2580 -2568 -2528 -2533 -2583 -2571 -2537 2785 -2486 -2461 -2455 -2462 -2414 -2244 -2411 -2208 -2282 -2284 -2250 -2241 -2277 -1892 -1844 -2077 -2082 -2008 -1855 -2040 -2066 -2042 -2086 -2091 -2015 -2079 -1195 -1159 -1133 -1181 -1105 -1190 -1191 -1167 -1135 -1141 -1196 -1168 -1160 -1111 -1117 -1199 -1102 -1161 -630 -640 -679 -616 -639 -820 -855 -886 -1189 -1187 -1138 -1122 -1192 -1144 -1152 -1171 -1123 -1163 -1179 -1116 -1140 -1198 -1183 -1180 -1197 -1321 -1302 -1086 -1059 -2381 -2332 -2469 -2670 -2481 -2406 -2443 -2498 -2499 -2425 -2465 -2448 -2457 -2451 -2402 -2445 -2405 -2471 -2438 -2487 -2441 -2800 -2799 -2798 -2797 -2796 -2795 -2794 -2793 -2792 -2791 -2790 -2789 -2788 -2787 -2786 -2784 -2783 -2782 -2781 -2780 -2779 -2778 -2777 -2776 -2775 -2774 -2773 -2772 -2771 -2770 -2769 -2768 -2767 -2766 -2765 -2764 -2763 -2762 -2761 -2760 -2759 -2758 -2757 -2756 -2755 -2754 -2753 -2752 -2751 -2750 -2749 -2748 -2747 -2746 -2745 -2744 -2743 -2742 -2741 -2740 -2739 -2738 -2737 -2736 -2735 -2734 -2733 -2732 -2731 -2730 -2729 -2728 -2727 -2726 -2725 -2724 -2723 -2722 -2721 -2720 -2719 -2718 -2717 -2716 -2715 -2714 -2713 -2712 -2711 -2710 -2709 -2708 -2707 -2706 -2705 -2704 -2703 -2702 -2701 -2335 -2319 -2303 -2158 -2147 -1704 -1958 -1953 -1942 -1948 -1981 -1918 -1078 -1037 -1071 -1096 -1072 -1058 -1097 -1013 -1077 -1035 -1019 -1003 -581 -532 -582 -508 -590 -599 -598 -781 -1075 -1029 -1067 -1049 -1024 -1100 -1031 -1053 -1061 -1055 -1087 -1038 -1020 -1008 -1082 -1042 -1066 -1083 -1002 -1094 -1001 -1277 -937 -2243 -2507 -2388 -2366 -2342 -2327 -2391 -2377 -2396 -2387 -2338 -2666 -2637 -2680 -2697 -2698 -2683 -2675 -2664 -2684 -2657 -2604 -2610 -2694 -2672 -2629 -2681 -2634 -2649 -2656 -2695 -2659 -2663 -2692 -2644 -2612 -2601 -2688 -2665 -2621 -2690 -2607 -2606 -2673 -2631 -2623 -2652 -2671 -2642 -2648 -2616 -2679 -2640 -2620 -2674 -2654 -2628 -2627 -2667 -2635 -2660 -2668 -2609 -2602 -2687 -2638 -2622 -2689 -2686 -2647 -2653 -2605 -2693 -2633 -2639 -2625 -2650 -2682 -2685 -2643 -2636 -2662 -2696 -2603 -2676 -2615 -2619 -2669 -2614 -2632 -2645 -2626 -2699 -2618 -2700 -2678 -2677 -2613 -2624 -2651 -2658 -2611 -2617 -2691 -2655 -2661 -2641 -2630 -2251 -2093 -2076 -2064 -1614 -1809 -1849 -989 -941 -987 -938 -952 -963 -993 -964 -976 -901 -962 -939 -951 -443 -421 -466 -442 -649 -928 -960 -972 -984 -950 -903 -919 -935 -921 -915 -983 -977 -970 -917 -936 -833 -2274 -2212 -2286 -2548 -2542 -2597 -2598 -2534 -2592 -2544 -2561 -2551 -2524 -2557 -2521 -2549 -2525 -2584 -2574 -2600 -2510 -2517 -2591 -2501 -2565 -2536 -2562 -2543 -2569 -2514 -2560 -2590 -2509 -2599 -2553 -2512 -2567 -2535 -2596 -2523 -2593 -2572 -2581 -2502 -2555 -2505 -2515 -2508 -2546 -2516 -2540 -2579 -2575 -2541 -2563 -2585 -2586 -2566 -2559 -2595 -2519 -2577 -2545 -2520 -2547 -1963 -872 -829 -847 -893 -868 -860 -863 -830 -816 -879 -840 -805 570 797 -896 -821 -841 -832 -818 -834 -807 -845 -826 -839 -782 -2112 -2200 -2181 -2491 -2415 -2401 -2466 -2442 -2453 -2500 -2435 -2419 -2484 -2427 -2423 -2444 -2436 -2417 -2410 -2413 -2479 -2433 -2420 -2404 -2416 -2447 -2463 -2477 -2496 -2482 -2408 -2446 -2478 -721 -702 -731 -773 -799 -753 -755 694 897 -775 -732 -747 -785 -725 -750 -717 -711 -786 -705 -2033 -2317 -2336 -2315 -2386 -2320 -2310 -2362 -2308 -2371 -2314 -2321 -632 -662 -636 -643 -688 -601 -665 885 -637 790 -692 -644 -685 -602 -646 -608 -615 -645 -626 -677 -678 -681 -655 -1982 -2287 -543 -510 -574 -512 -511 -517 -536 932 -589 -541 871 -531 -553 -524 -600 -522 -546 -577 -540 -444 -423 -433 -410 1030 -475 -429 -450 -484 -467 -449 -482 670 1173 768 -2810 473 724 1268 852 2809 507 810 1328 497 478 459 432 -332 452 408 -342 592 -348 468 424 437 454 436 -371 469 -323 480 499 -352 438 673 859 -344 -392 -351 650 -369 -314 -382 489 -324 -313 693 990 1459 568 595 556 530 -2807 572 579 528 559 518 501 564 539 571 978 734 537 738 1039 628 664 2808 667 609 629 656 654 697 658 603 633 1095 883 659 1103 759 795 328 356 -220 393 385 370 -262 -284 -221 361 307 -238 -287 -261 -215 367 -255 394 -300 239 -291 -231 -253 225 -224 331 350 -243 303 754 748 789 780 708 727 737 1164 778 1227 878 404 470 272 490 256 -2805 434 427 866 856 899 1295 811 1325 911 593 594 2806 573 525 1000 980 916 1364 907 1434 1088 680 207 270 288 222 237 294 203 250 228 289 293 285 -184 -150 -103 -135 218 282 -119 607 1092 1070 1093 1495 1583 1106 306 359 380 329 337 358 373 -2804 354 340 770 1150 1194 1158 1683 1269 2803 462 824 1234 1290 1208 1783 154 199 190 175 132 127 121 178 166 124 104 136 162 134 169 146 110 -41 513 910 1373 1339 1379 1897 230 295 298 292 201 213 273 264 236 -2801 660 1036 1468 1436 1462 1997 364 339 397 360 301 2802 752 1101 1552 1531 495 2 9 13 18 22 26 29 30 31 36 42 50 58 60 64 74 79 82 83 88 93 98 867 1273 1672 147 148 115 117 101 131 108 195 133 138 954 1307 1767 242 297 279 212 271 1018 1470 1854 398 368 309 388 333 1154 1524 448 550 631 -1654 -1518 -1718 1889 890 971 1033 1112 1274 1388 1473 1568 1628 1729 -1085 -946 -922 -889 -822 -838 -887 -729 -772 -793 -621 1392 1475 1596 1605 1231 959 1056 1170 1224 624 710 -1815 -1925 -2034 -1950 870 924 -758 -808 1397 1497 -1828 -1796 -1352 -1255 -1261 -1120 -1780 -1694 -1602 -1570 -1577 -1407 -1317 -1311 689 746 1294 1380 492 1772 1652 634 783 472 567 622 1439 1536 1601 1797 854 428 529 -2288 431 794 1822 -610 627 756 880 874 712 -1554 -1467 -1435 -1323 -1371 -1220 -1287 -1238 -1193 -1047 -1007 -1016 -1004 -909 -973 -914 -888 -801 -865 -730 -1659 -1537 -1433 -1382 -1221 -1132 -1043 -1756 828 796 675 439 503 661 704 892 975 1089 1137 1299 585 1383 1483 1292 1350 1131 1050 576 406 446 396 588 606 769 823 -1218 695 674 485 440 526 617 707 -1774 -1623 -1644 -1520 -316 -299 1283 668 275 389 471 533 612 774 956 827 804 992 252 372 925 718 815 713 498 412 -1616 728 118 254 318 415 542 698 378 411 726 817 -390 761 776 325 430 895 764 129 211 422 1980 1856 161 652 767 1864 1995 1074 1188 706 869 923 -2369 580 494 1460 483 583 683 771 638 407 1734 1883 304 315 425 1354 1418 1515 1642 1798 -1766 -1476 -1363 -1625 -1527 -1403 -1341 -1754 -1618 126 217 210 336 338 552 672 722 461 128 229 812 974 -1912 -1900 800 -2074 666 1898 1666 -399 1285 -233 -171 -90 -1331 -1250 458 416 296 305 164 258 322 267 -2159 -2037 -1933 -1882 130 403 561 227 862 931 699 716 -1146 45 -1178 -1558 -1211 -1177 -2058 -1110 -858 -1124 -1084 958 1099 1139 1236 1301 -611 -1210 -1113 -1151 -1062 -1858 -1725 -1627 -1586 -1481 -1349 185 -2050 -1032 -943 994 1080 1090 988 1006 1176 -929 1046 -2475 -578 -1880 321 232 330 401 597 46 562 613 575 760 882 933 1012 940 1026 -671 -538 -587 733 837 999 -493 1615 1742 1866 2000 2012 -1125 -1027 -986 -881 -749 -1015 -918 930 -1282 -1340 -1513 -521 -806 -791 -836 -739 -605 -596 982 1040 1126 1217 1010 1136 682 740 813 1034 1054 1118 1215 1342 1466 1600 -1660 792 875 996 1005 912 -456 -327 -286 534 -1998 894 99 116 376 206 188 -1748 -1691 -1939 -1805 -1755 418 554 618 715 825 934 515 642 766 900 898 1727 690 995 1064 -1431 -1362 -1336 -1343 527 625 476 558 -1488 -1426 -1669 -464 703 864 107 861 904 362 216 -1201 -1130 -1081 709 848 966 1098 -1505 -1455 405 -1334 488 506 676 310 374 696 1205 516 383 234 346 172 241 504 21 312 474 1561 311 278 395 1604 803 927 1025 290 460 125 1069 906 1076 -2316 426 942 375 496 505 -1142 -1266 -1148 -1091 -1398 -1242 523 -1298 979 1009 -1209 -1498 105 96 140 226 -1310 1316 47 141 -1348 -1291 -2213 -1509 193 -1648 -1591 798 176 -1011 1162 413 560 1134 -1230 908 1079 1109 1248 566 -842 308 -969 -1023 -920 569 -2306 -2476 204 1212 -1174 -1044 876 623 850 -182 -240 -1374 -1244 -1223 -1169 -1114 -78 -111 -77 246 -2131 -1200 604 -779 -334 669 723 -2304 -2214 -742 -998 -509 -479 -648 -591 -266 -1048 -991 -1166 -1300 -500 -366 -948 -809 -2538 -317 -223 -120 11 -1017 -926 17 -2036 -2205 -2155 274 112 -113 62 -248 -191 -109 -1296 -1175 -8 86 145 66 200 -198 -1305 -379 -208 158 194 280 -2101 -2017 -1926 -1945 -1886 -1781 -2209 15 -142 38 -519 -1386 -453 10 -14 -620 -563 -1245 -1186 -55 -153 -417 -345 -326 183 283 34 -1420 -1443 -57 -2263 -20 -843 -2245 -2186 -447 -302 -277 69 123 -463 -414 -1253 -555 -802 -1665 -265 -214 -647 -51 -2160 -2013 -1887 -260 -53 -684 -1517 -1445 -1051 -1553 -435 -63 -87 -619 -143 -341 -391 -451 -465 -953 -386 -1663 -653 -202 -177 -735 -744 -700 -1784 -763 -2587 -179 -186 -81 -853 -355 -409 -1202 -551 -106 -91 -1884 -486 -381 -1384 -244 -19 -547 -181 -49 -877 -165 -481 -349 -614 -586 -263 -1657 -851 -247 -269 -719 -1647 -545 -857 -1257 -757 -84 -947 -377 -44 -1381 -657 -1184 -1145 -257 -745 -686 -965 -902 -641 -544 -714 -163 -1045 -549 -777 -1645 -1563 -741 -751 -384 -251 -1514 -219 -457 -1155 -1065 -1908 -320 -1057 100 -1555 -402 -891 -491 -477 -249 -420 -445 -814 -2360 -1165 -691 -1977 -187 -502 -357 -35 -957 -487 -281 122 -245 -151 -844 -160 -720 -235 -196 -75 -441 -347 -209 -687 -43 -363 -335 -1014 -949 -1365 -1486 -1119 -2449 -514 -2347 -1041 -455 -276 -565 -157 -663 -535 -155 -1419 -849 -520 -144 -319 -1157 -884 -981 16 -419 -343 -1686 -1225 -1115 -102 -1265 -2030 -787 -1104 -835 -651 -635 -1108 -365 -1281 -1149 -1344 -548 -353 -819 -65 -114 -1735 -944 -205 -400 -1545 -584 -1465 -1143 -149 -557 -784 -2165 -387  0

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394487-1306079901/watcher-3394487-1306079901 -o /tmp/evaluation-result-3394487-1306079901/solver-3394487-1306079901 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3394487-1306079901.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.06 2.07 2/432 15475
/proc/meminfo: memFree=8901724/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=105640 CPUtime=0 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 1313 0 0 0 0 0 0 0 25 0 9 0 719588315 108175360 1220 33554432000 4194304 7232020 140733801363184 18446744073709551615 5013019 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 26410 1220 867 742 0 18981 0
[pid=15475/tid=15476] ppid=15473 vsize=105728 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 719588315 108265472 1314 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=105728 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 108265472 1314 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=105728 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 108265472 1314 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=105728 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 108265472 1314 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=105728 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 108265472 1314 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=105728 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 108265472 1315 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=105728 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 108265472 1315 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=105728 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 719588316 108265472 1315 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0

[startup+0.0584609 s]
/proc/loadavg: 2.01 2.06 2.07 2/432 15475
/proc/meminfo: memFree=8901724/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=107940 CPUtime=0.05 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 1909 0 0 0 5 0 0 0 18 0 9 0 719588315 110530560 1816 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528651407 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 26985 1816 995 742 0 19556 0
[pid=15475/tid=15476] ppid=15473 vsize=107940 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 719588315 110530560 1816 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=107940 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) R 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 110530560 1816 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=107940 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 110530560 1816 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=107940 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 110530560 1816 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=107940 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 110530560 1816 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=107940 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719588315 110530560 1816 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=107940 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) R 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719588315 110530560 1816 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528660149 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=107940 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4194368 3 0 0 0 0 0 0 0 17 0 9 0 719588316 110530560 1816 33554432000 4194304 7232020 140733801363184 18446744073709551615 246516221887 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 107940

[startup+0.100433 s]
/proc/loadavg: 2.01 2.06 2.07 2/432 15475
/proc/meminfo: memFree=8901724/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=113428 CPUtime=0.09 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 3406 0 0 0 9 0 0 0 18 0 9 0 719588315 116150272 3313 33554432000 4194304 7232020 140733801363184 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 28357 3313 999 742 0 20928 0
[pid=15475/tid=15476] ppid=15473 vsize=113428 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 719588315 116150272 3313 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=113428 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 116150272 3313 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=113428 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 116150272 3313 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=113428 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 116150272 3313 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=113428 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719588315 116150272 3315 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=113428 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719588315 116150272 3315 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=113428 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 719588315 116150272 3315 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=113428 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 9 0 719588316 116150272 3315 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 113428

[startup+0.300396 s]
/proc/loadavg: 2.01 2.06 2.07 2/432 15475
/proc/meminfo: memFree=8901724/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=119312 CPUtime=0.29 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 4240 0 0 0 29 0 0 0 18 0 9 0 719588315 122175488 4147 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096508803 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 29828 4147 1024 742 0 22399 0
[pid=15475/tid=15476] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 9 0 719588315 122175488 4147 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719588315 122175488 4147 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719588315 122175488 4147 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719588315 122175488 4147 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719588315 122175488 4147 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719588315 122175488 4147 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719588315 122175488 4147 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 9 0 719588316 122175488 4147 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119312

[startup+0.700322 s]
/proc/loadavg: 2.01 2.06 2.07 2/432 15475
/proc/meminfo: memFree=8901724/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=119312 CPUtime=0.69 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 4241 0 0 0 69 0 0 0 18 0 9 0 719588315 122175488 4148 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096508795 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 29828 4148 1024 742 0 22399 0
[pid=15475/tid=15476] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 9 0 719588315 122175488 4148 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 719588315 122175488 4148 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 719588315 122175488 4148 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 719588315 122175488 4148 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 719588315 122175488 4148 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719588315 122175488 4148 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4148 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 122175488 4148 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 119312

[startup+1.50118 s]
/proc/loadavg: 2.01 2.06 2.07 3/441 15484
/proc/meminfo: memFree=8888516/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=119312 CPUtime=1.49 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 4242 0 0 0 149 0 0 0 18 0 9 0 719588315 122175488 4149 33554432000 4194304 7232020 140733801363184 18446744073709551615 6136430 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 29828 4149 1024 742 0 22399 0
[pid=15475/tid=15476] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4149 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4149 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4149 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4149 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4149 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4149 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4149 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 122175488 4149 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119312

[startup+3.10089 s]
/proc/loadavg: 2.01 2.06 2.07 3/441 15484
/proc/meminfo: memFree=8887636/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=119312 CPUtime=3.1 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 4337 0 0 0 310 0 0 0 21 0 9 0 719588315 122175488 4244 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096506063 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 29828 4244 1024 742 0 22399 0
[pid=15475/tid=15476] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4244 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719588315 122175488 4244 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4244 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4244 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4244 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719588315 122175488 4244 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 719588315 122175488 4244 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=119312 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 122175488 4244 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 119312

[startup+6.3003 s]
/proc/loadavg: 2.01 2.06 2.06 3/441 15484
/proc/meminfo: memFree=8886136/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=119312 CPUtime=6.31 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 4541 0 0 0 630 1 0 0 18 0 9 0 719588315 122175488 4448 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096512597 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 29828 4448 1024 742 0 22399 0

################
# More data... #
################

/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 719588315 141852672 8564 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=138528 CPUtime=0.04 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 719588315 141852672 8564 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=138528 CPUtime=0.05 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 719588315 141852672 8564 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=138528 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 141852672 8564 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.72
Current children cumulated vsize (KiB) 138528

Solver just ended. Dumping a history of the last processes samples

[startup+38.3004 s]
/proc/loadavg: 2.00 2.05 2.06 3/441 15556
/proc/meminfo: memFree=9517244/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=138656 CPUtime=38.91 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 11686 0 0 0 3883 8 0 0 19 0 9 0 719588315 141983744 8783 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096505002 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/15475/statm: 34664 8783 1034 742 0 27235 0
[pid=15475/tid=15476] ppid=15473 vsize=138656 CPUtime=0.09 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 8 1 0 0 15 0 9 0 719588315 141983744 8783 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=138656 CPUtime=0.1 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 9 1 0 0 15 0 9 0 719588315 141983744 8783 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=138656 CPUtime=0.1 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 719588315 141983744 8783 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=138656 CPUtime=0.1 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 719588315 141983744 8783 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=138656 CPUtime=0.11 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 719588315 141983744 8783 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=138656 CPUtime=0.13 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 13 0 0 0 16 0 9 0 719588315 141983744 8783 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=138656 CPUtime=0.12 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 719588315 141983744 8783 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=138656 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 141983744 8783 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38.91
Current children cumulated vsize (KiB) 138656

[startup+44.7013 s]
/proc/loadavg: 2.00 2.05 2.06 3/441 15556
/proc/meminfo: memFree=9502744/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=146912 CPUtime=45.57 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 13482 0 0 0 4547 10 0 0 19 0 9 0 719588315 150437888 9689 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096505518 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/15475/statm: 36728 9689 1035 742 0 29299 0
[pid=15475/tid=15476] ppid=15473 vsize=146912 CPUtime=0.14 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 13 1 0 0 16 0 9 0 719588315 150437888 9689 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=146912 CPUtime=0.14 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 13 1 0 0 15 0 9 0 719588315 150437888 9689 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=146912 CPUtime=0.16 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 15 1 0 0 15 0 9 0 719588315 150437888 9689 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=146912 CPUtime=0.15 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 719588315 150437888 9689 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=146912 CPUtime=0.16 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 719588315 150437888 9689 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=146912 CPUtime=0.17 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 719588315 150437888 9689 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=146912 CPUtime=0.17 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 719588315 150437888 9689 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=146912 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 150437888 9689 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 45.57
Current children cumulated vsize (KiB) 146912

[startup+47.9007 s]
/proc/loadavg: 2.00 2.05 2.06 3/441 15556
/proc/meminfo: memFree=9493196/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=146976 CPUtime=48.88 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 15765 0 0 0 4877 11 0 0 18 0 9 0 719588315 150503424 11455 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096506245 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 36744 11455 1036 742 0 29315 0
[pid=15475/tid=15476] ppid=15473 vsize=146976 CPUtime=0.16 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 15 1 0 0 15 0 9 0 719588315 150503424 11455 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=146976 CPUtime=0.15 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 14 1 0 0 15 0 9 0 719588315 150503424 11455 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=146976 CPUtime=0.18 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 17 1 0 0 15 0 9 0 719588315 150503424 11455 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=146976 CPUtime=0.18 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 719588315 150503424 11455 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=146976 CPUtime=0.18 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 719588315 150503424 11455 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=146976 CPUtime=0.19 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 19 0 0 0 16 0 9 0 719588315 150503424 11455 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=146976 CPUtime=0.19 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 19 0 0 0 15 0 9 0 719588315 150503424 11455 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=146976 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 150503424 11455 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.88
Current children cumulated vsize (KiB) 146976

[startup+48.7006 s]
/proc/loadavg: 2.00 2.05 2.06 3/441 15556
/proc/meminfo: memFree=9498776/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=146976 CPUtime=49.72 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 15767 0 0 0 4960 12 0 0 18 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096506169 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 36744 11309 1036 742 0 29315 0
[pid=15475/tid=15476] ppid=15473 vsize=146976 CPUtime=0.17 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 16 1 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=146976 CPUtime=0.16 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 15 1 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=146976 CPUtime=0.18 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 17 1 0 0 16 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=146976 CPUtime=0.18 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=146976 CPUtime=0.18 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=146976 CPUtime=0.2 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=146976 CPUtime=0.2 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=146976 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (KiB) 146976

[startup+49.1005 s]
/proc/loadavg: 2.00 2.05 2.06 3/441 15556
/proc/meminfo: memFree=9498776/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=146976 CPUtime=50.14 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 15767 0 0 0 5002 12 0 0 18 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096514527 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/15475/statm: 36744 11309 1036 742 0 29315 0
[pid=15475/tid=15476] ppid=15473 vsize=146976 CPUtime=0.17 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 16 1 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=146976 CPUtime=0.16 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 15 1 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=146976 CPUtime=0.19 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 18 1 0 0 16 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=146976 CPUtime=0.19 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 19 0 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=146976 CPUtime=0.19 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 19 0 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=146976 CPUtime=0.21 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 21 0 0 0 15 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=146976 CPUtime=0.2 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 20 0 0 0 16 0 9 0 719588315 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=146976 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 150503424 11309 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.14
Current children cumulated vsize (KiB) 146976

[startup+49.3004 s]
/proc/loadavg: 2.00 2.05 2.06 3/441 15556
/proc/meminfo: memFree=9498776/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=146976 CPUtime=50.35 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) R 15473 15475 14962 0 -1 4202496 16176 0 0 0 5023 12 0 0 18 0 9 0 719588315 150503424 11718 33554432000 4194304 7232020 140733801363184 18446744073709551615 1096506245 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/15475/statm: 36744 11718 1036 742 0 29315 0
[pid=15475/tid=15476] ppid=15473 vsize=146976 CPUtime=0.17 cores=1,3,5,7
/proc/15475/task/15476/stat : 15476 (mono) S 15473 15475 14962 0 -1 4202560 4 0 0 0 16 1 0 0 15 0 9 0 719588315 150503424 11718 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15477] ppid=15473 vsize=146976 CPUtime=0.16 cores=1,3,5,7
/proc/15475/task/15477/stat : 15477 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 15 1 0 0 15 0 9 0 719588315 150503424 11718 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
[pid=15475/tid=15478] ppid=15473 vsize=146976 CPUtime=0.19 cores=1,3,5,7
/proc/15475/task/15478/stat : 15478 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 18 1 0 0 15 0 9 0 719588315 150503424 11718 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15479] ppid=15473 vsize=146976 CPUtime=0.19 cores=1,3,5,7
/proc/15475/task/15479/stat : 15479 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 19 0 0 0 15 0 9 0 719588315 150503424 11718 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 3 0 0 0
[pid=15475/tid=15480] ppid=15473 vsize=146976 CPUtime=0.19 cores=1,3,5,7
/proc/15475/task/15480/stat : 15480 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 19 0 0 0 15 0 9 0 719588315 150503424 11718 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15481] ppid=15473 vsize=146976 CPUtime=0.21 cores=1,3,5,7
/proc/15475/task/15481/stat : 15481 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 21 0 0 0 15 0 9 0 719588315 150503424 11718 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 1 0 0 0
[pid=15475/tid=15482] ppid=15473 vsize=146976 CPUtime=0.2 cores=1,3,5,7
/proc/15475/task/15482/stat : 15482 (mono) S 15473 15475 14962 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 719588315 150503424 11718 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528650137 0 0 4096 545260780 18446604468985730112 0 0 -1 7 0 0 0
[pid=15475/tid=15483] ppid=15473 vsize=146976 CPUtime=0 cores=1,3,5,7
/proc/15475/task/15483/stat : 15483 (mono) S 15473 15475 14962 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719588316 150503424 11718 33554432000 4194304 7232020 140733801363184 18446744073709551615 246528657841 0 0 4096 545260780 18446604468985730112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.35
Current children cumulated vsize (KiB) 146976

[startup+49.4014 s]
/proc/loadavg: 2.00 2.05 2.06 3/441 15556
/proc/meminfo: memFree=9493196/32951124 swapFree=54450876/67111528
[pid=15475] ppid=15473 vsize=0 CPUtime=50.45 cores=1,3,5,7
/proc/15475/stat : 15475 (mono) Z 15473 15475 14962 0 -1 4202524 16979 0 0 0 5033 12 0 0 17 0 1 0 719588315 0 0 33554432000 0 0 0 0 0 0 0 4096 545259520 18446744073709551615 0 0 17 1 0 0 0
/proc/15475/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 49.4166
CPU time (s): 50.4633
CPU user time (s): 50.3343
CPU system time (s): 0.12898
CPU usage (%): 102.118
Max. virtual memory (cumulated for all children) (KiB): 146976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.3343
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16979
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= 19515
involuntary context switches= 3664

runsolver used 0.188971 second user time and 0.503923 second system time

The end

Launcher Data

Begin job on node134 at 2011-05-22 17:58:21
IDJOB=3394487
IDBENCH=83187
IDSOLVER=1880
FILE ID=node134/3394487-1306079901
RUNJOBID= node134-1306069994-14982
PBS_JOBID= 13387869
Free space on /tmp= 73060 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_100_28_s.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394487-1306079901/watcher-3394487-1306079901 -o /tmp/evaluation-result-3394487-1306079901/solver-3394487-1306079901 -C 5000 -W 5100 -M 15500  mono Main.exe HOME/instance-3394487-1306079901.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 87b5938a349a8614bebb638e28ff1198
RANDOM SEED=765319505

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       8902004 kB
Buffers:        258796 kB
Cached:        6593852 kB
SwapCached:      16460 kB
Active:        8303368 kB
Inactive:     15453984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       8902004 kB
SwapTotal:    67111528 kB
SwapFree:     54450876 kB
Dirty:              12 kB
Writeback:          64 kB
AnonPages:    16896112 kB
Mapped:          25528 kB
Slab:           135912 kB
PageTables:      90524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 111509864 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73060 MiB
End job on node134 at 2011-05-22 17:59:11