Trace number 308240

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, and are wall clock time (not CPU 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
MXC 2007-02-08SAT 66.4559 66.4996

General information on the benchmark

Namerandom/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
MD5SUMd0f9a30f8fda4c844dc97689f3035cdb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.613906
Satisfiable
(Un)Satisfiability was proved
Number of variables3494
Number of clauses9344
Sum of the clauses size25229
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22803
Number of clauses of size 36541
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

66.44/66.49	c MXC attempting /tmp/evaluation/308240-1172518037/instance-308240-1172518037.cnf
66.44/66.49	c 0 assignments made, starting to guess now
66.44/66.49	c ===================================[MXC]=====================================
66.44/66.49	c | Conflicts |     ORIGINAL     |             LEARNT              | Progress |
66.44/66.49	c |           | Clauses Literals |  Limit Clauses Literals  Lit/Cl |          |
66.44/66.49	c =============================================================================
66.44/66.49	c |         0 |    6541    19623 |    2180       0       0     nan |  0.000 % |
66.44/66.49	c |       102 |    6491    19473 |    2398      99    2139    21.6 |  0.257 % |
66.44/66.49	c |       254 |    6491    19473 |    2637     249    4925    19.8 |  0.257 % |
66.44/66.49	c |       480 |    6491    19473 |    2901     473    9485    20.1 |  0.257 % |
66.44/66.49	c |       817 |    6491    19473 |    3191     807   16685    20.7 |  0.257 % |
66.44/66.49	c |      1323 |    6491    19473 |    3510    1309   26949    20.6 |  0.257 % |
66.44/66.49	c |      2082 |    6491    19473 |    3862    2066   42546    20.6 |  0.257 % |
66.44/66.49	c |      3221 |    6491    19473 |    4248    3202   69541    21.7 |  0.257 % |
66.44/66.49	c |      4932 |    6491    19473 |    4673    2786   61934    22.2 |  0.257 % |
66.44/66.49	c |      7494 |    6491    19473 |    5140    3008   57732    19.2 |  0.257 % |
66.44/66.49	c |     11339 |    6491    19473 |    5654    4279   88769    20.7 |  0.257 % |
66.44/66.49	c |     17105 |    6491    19473 |    6219    4389   80352    18.3 |  0.257 % |
66.44/66.49	c |     25754 |    6491    19473 |    6841    3711   84687    22.8 |  0.257 % |
66.44/66.49	c |     38730 |    6491    19473 |    7525    6423  149429    23.3 |  0.257 % |
66.44/66.49	c |     58192 |    6491    19473 |    8278    7074  178463    25.2 |  0.257 % |
66.44/66.49	c |     87384 |    6491    19473 |    9106    7306  141938    19.4 |  0.257 % |
66.44/66.49	c |    131173 |    6491    19473 |   10017    5593  122183    21.8 |  0.257 % |
66.44/66.49	c |    196857 |    6491    19473 |   11018    6166  135441    22.0 |  0.257 % |
66.44/66.49	c |    295383 |    6491    19473 |   12120    5563  132184    23.8 |  0.257 % |
66.44/66.49	c 66.460s elapsed
66.44/66.49	c restarts: 18
66.44/66.49	c decisions: 436886
66.44/66.49	c propagations: 126310923
66.44/66.49	c conflicts: 346566
66.44/66.49	s SATISFIABLE
66.44/66.49	v 61 -2832 -318 3026 3490 2472 549 2670 3459 -65 -916 -3113 -2239 -3321 -2029 -2602 1843 77 -443 -3290 2625 -1835 -269 1901 2310 -2259 -1645 -1567 -516 -2570 1400 2967 -1785 -564 2646 -1989 554 3004 -3216 -2059 -310 -1067 1099 752 -1220 2245 -3091 1941 -2561 132 342 1797 -3299 -1337 -1735 -64 2359 2414 -908 -2034 -257 3095 -2553 543 2904 2309 -2891 -2772 -957 577 -687 -417 2271 -690 -1543 -2451 -2383 2622 -2835 -788 -268 3410 -1920 -893 -498 -1802 2055 428 2902 2318 -3255 -1012 1397 -2668 -467 -1326 3328 -2119 1018 797 -2076 157 993 -1208 3317 758 -675 2083 3201 -43 -2999 -1108 1896 -2151 -286 100 -609 -1242 -1049 3080 163 -2443 -1300 823 2072 -2695 -1399 810 1448 -67 2685 2539 -1470 764 1187 2603 -1870 2614 -3205 -1117 1428 69 -1688 1030 547 775 1621 1995 895 2358 744 1084 -201 714 -3225 2705 -1327 -339 616 -3245 57 851 2302 2577 3407 2961 -1642 -2786 -2953 757 2313 -665 -3101 -653 -1176 1482 1340 -282 2153 -2974 -1568 2124 1343 1167 2717 1580 722 -1846 1396 -2595 -2660 262 614 -1750 317 277 1259 -1459 2919 90 -461 -1148 -1001 -2826 156 -1761 486 -1432 -699 -99 -1138 -2933 1849 1878 -1417 -3068 -2226 2969 274 2354 872 -125 950 2955 -397 122 863 -1807 -356 1973 2372 2401 2299 2081 -953 -3163 -2275 2692 783 -3128 -669 -468 1223 -3090 1233 2063 1942 -2632 -1285 -1155 3094 850 -2388 -293 1475 533 -952 2745 1801 991 -94 80 2641 -638 -2187 1521 1349 2972 -1279 -979 3139 -1478 1451 -1339 335 3142 227 -1048 1877 2236 981 -2711 2970 1074 -911 2033 1918 3491 1532 960 1251 203 86 1310 -2467 553 -219 -1786 -253 -34 3483 552 -1455 2876 285 379 440 1997 1745 401 213 3039 1913 870 -1823 527 3214 3246 1073 623 1671 621 3476 2893 3301 -2125 2927 -2541 -1280 2389 -1518 -2702 2159 3229 -643 -341 -2192 -3153 -742 -1838 2805 -1157 1542 2894 -2429 -504 1495 1131 -2412 2291 -2363 -3322 -2255 -2900 -622 -1517 -2150 -292 -2995 -1149 -1483 2337 -326 -3373 -776 1992 2341 2169 3206 -127 -521 -3418 2481 3196 3399 3199 198 3497 -3297 -1700 826 2944 2886 -3314 2715 3014 3028 2339 537 2965 -2706 888 2027 1211 2409 -1857 -241 -568 -1692 -3260 2112 3081 -346 -229 -1699 -1005 2251 -2990 -1659 -2396 2199 1052 2977 2740 -2270 191 -1085 1083 523 3460 74 2463 -3137 -2273 2480 -129 2501 -2296 3375 2683 501 -848 512 -1792 2522 590 2663 -1672 -1929 -2975 394 2326 1956 -493 -3183 -186 -2504 -1357 -2500 -1758 -2222 121 -1508 -1387 -1998 3112 779 2947 -264 751 -1576 256 -2193 1869 338 -955 3368 2887 1051 -2549 35 -2163 2230 -884 451 1026 3248 -2128 -1613 1627 -2474 -3062 431 -1111 1504 -70 651 -1812 -1253 1909 1346 1336 -2892 1675 2698 -619 -2627 254 -2096 -1988 -1808 1383 2586 3354 1190 771 1554 109 2973 2032 -1296 -712 -146 72 177 1255 2859 -800 1979 -721 192 2917 663 -671 1306 -2487 608 1178 1371 -987 -2850 -3426 2418 2878 -3242 817 1230 1034 731 -2351 -2880 -66 -1214 -1121 -641 -380 1497 -2913 546 -956 -1473 2846 1739 -1145 735 1610 -896 -2568 3400 681 2075 -2362 2087 922 1912 -3024 1682 -2871 -750 -1290 -1707 -2483 913 -484 -2959 -1658 2545 252 2379 639 -2090 408 -2433 25 470 3133 -1000 1302 903 2185 3005 -215 -141 3392 -963 -2040 -3285 -2408 -588 -5 -3257 -2035 -1710 868 351 -2810 -370 -602 -2822 975 -545 2044 299 -1024 1101 -1606 1191 -700 39 -2184 2143 -3365 88 -2082 1295 -1899 -3382 -660 -134 1756 -3138 2220 385 -3330 42 1690 -1966 -2628 1320 2166 1206 -1673 1955 327 -3204 661 -2753 -1011 -2507 -2195 -2118 -1260 3022 1237 862 2651 -2352 3394 -1297 -836 145 3393 2010 -1604 150 -2993 -2903 3102 -2459 -679 -530 173 -1556 -1410 1141 -2748 557 1616 -2613 -1754 -2649 -1687 -1615 -126 -2327 -1246 -235 -3264 1488 2674 2945 -79 2581 -3211 1703 1222 3451 -2378 1065 -1213 -2844 -1780 -2978 3208 -458 830 325 -2743 2164 544 -2618 -1540 650 2228 667 2604 1683 2671 1752 -2133 3040 3475 3471 1004 2334 2755 2092 -1776 -21 -859 27 369 1247 -2008 3278 -349 -2301 -1501 -481 682 3140 -92 260 -103 2066 -1195 1499 1767 -2274 846 -2736 136 478 3100 1245 1274 305 -1359 73 -1824 1151 -3176 709 -1726 -2067 983 -2316 -3372 1970 -1439 1721 278 1050 -1867 2238 647 734 2569 1620 -3243 1798 -561 -3115 -2094 2411 1633 871 -2099 -1790 -2345 1139 1740 2260 390 1509 -2395 -2329 -1809 1936 2021 3259 542 -3193 -2432 921 2149 -2366 -383 -3429 2019 -202 387 -2836 -2964 2370 -3315 3254 -1611 2202 2493 -1228 176 2834 2548 -865 -1201 -598 -1506 886 -1490 2470 -3336 -1622 -796 3374 1027 -1440 -58 2642 -618 3305 -1204 -2837 2986 2106 528 1025 -1401 -71 -536 63 -1894 194 -1952 3275 3047 3049 2213 1644 1569 1006 -3015 -532 -3006 -444 -1733 -2806 -3385 -2191 1638 -1844 -1403 782 1933 -2294 -2645 2225 -2639 -208 2182 3347 -2400 -1631 1062 1908 -331 -2868 673 -492 3440 1705 -2804 -1558 -1236 -2589 1502 2851 1057 -971 2883 1040 -2819 -3016 -258 -471 1685 -435 -174 1420 -195 3284 -2160 -1533 3207 1872 1127 -3348 695 2547 2724 -1851 -3073 514 -3265 2800 -182 -2612 1770 1557 -2680 421 -1852 -978 -1991 -1842 2399 2489 246 1152 1444 802 1077 2611 887 -1811 -853 1993 -1216 -1266 778 -2985 1136 469 -1090 -3499 -2864 1975 -1335 3267 2820 -89 1829 2667 -878 1541 -3029 -28 1565 -1771 -378 -2117 -2458 620 -2415 -2479 1944 -927 1046 3288 1153 1172 -93 505 -2686 -982 -407 2723 -873 2091 3212 2994 -2371 3396 -1619 -272 -3280 -1154 2762 -611 -32 -932 230 -3323 1322 -2004 -50 2142 2394 -13 -2315 -1748 -1252 1713 -496 -550 2368 3041 2882 2445 3269 -2200 1493 -1126 -140 -747 -402 491 -2940 -591 -3060 1353 910 112 1474 551 -677 2115 1365 -2585 -404 -2069 -386 22 2007 2654 -985 2567 2158 3009 54 -1845 2752 513 -2716 1609 1783 2071 1376 1250 211 -3360 -3325 -949 -1764 -1850 2308 563 2712 -2704 -2987 479 2650 -2949 2254 123 -522 2186 -2288 -1103 -196 2801 2381 -1094 1311 -1686 3356 -300 -2037 3227 2447 1314 -449 670 -1934 -2356 466 1356 -2347 -3177 418 1175 -2726 1319 -1766 -1832 2687 165 2936 3075 -2249 1665 108 -2304 -693 531 -3482 -2924 540 -2420 -2532 -2781 226 1362 569 2958 -124 -1887 -3053 1818 1646 2841 1513 -3055 -1272 -1433 3441 2306 494 -2410 1384 -2503 -2898 -175 -1647 -1227 -3430 -3083 -3151 115 -98 2672 -580 2815 -1370 1881 1069 2277 283 1385 -1059 2110 2703 -1664 2250 3079 400 330 -1507 2278 3298 807 1267 2188 2015 -1398 1505 -815 2989 -2573 1864 -324 -656 3468 -3326 -463 -538 -1479 -3350 2578 -1891 -228 1480 -41 -1651 3488 -947 -882 169 1412 -337 -917 -3251 -1930 2605 -1008 -3345 -1648 2312 1265 1679 -1984 -2742 1649 -472 -200 2746 973 1722 2397 2551 -2787 -2922 1097 2636 -3343 -1727 -1325 2516 -548 -1555 1971 1028 2517 1212 2205 -12 2593 1042 171 2198 3277 1599 -1779 2512 -178 1484 -332 -1907 -799 -2448 -3118 -630 30 1409 -626 -2533 -1143 -1029 -3398 2054 1186 2535 1618 648 -825 -348 3105 -1500 -3281 432 3492 829 -3391 -1898 -1425 -2013 1421 -2456 -900 2141 2235 1045 -82 1498 -2579 -988 453 3096 996 -1753 -1361 -153 2227 1405 -1940 -990 2741 -3386 -2497 3363 -713 -1363 581 968 1075 2719 3093 216 2899 -2588 167 3419 -2156 1188 -101 -739 2728 -2127 -3425 1202 2367 1614 1056 -2750 -359 3250 -2659 3086 2866 2348 -1676 2938 635 1086 -1560 -1731 -1734 -243 -376 3404 -2869 2594 -847 642 -445 3000 -1855 3043 -87 -941 -2544 -1919 2624 -804 1747 -1197 2385 1520 -225 2257 -678 -793 187 -3158 -47 2284 -2466 1794 2478 3431 -2791 1430 -3044 -1165 -2776 355 -3432 1277 1243 1578 3051 808 1820 1431 -309 -2515 -464 336 -2757 -2560 295 1551 3412 -2524 -1815 -3119 232 3361 2041 2080 -365 3312 -2387 1342 2263 -1283 -2181 2858 1695 2403 -2951 -3182 818 -1379 -787 -1529 -2982 2103 462 1489 -2053 -845 -3436 398 -334 -2896 -1162 -1768 2941 489 -1119 -3406 -3152 -308 3353 625 1636 -824 -2050 -2017 -765 3261 -2929 -1469 -2344 1179 -525 -3162 -1865 -3469 1571 -894 -2442 3161 1394 -518 1358 -426 -366 -1395 2100 3148 2046 113 1262 3454 2564 -2619 -3213 389 1102 -2661 2831 -2665 3496 -1964 -29 -2798 794 2862 1128 3003 1275 -1426 -3413 2430 -1456 2912 -2098 1415 855 -832 -2530 -3244 -1022 -2280 -2865 2926 -2950 -1702 -2460 -2265 -2536 3493 2697 1164 1706 456 -3099 631 2424 -2093 928 -2518 -95 502 -1570 -2789 -1184 -1921 -1301 -420 -2914 -2016 -2833 526 -3032 -3371 -1031 -2630 -898 -2575 -2870 301 -1572 2253 1531 -636 1013 -2154 2482 -3165 1657 377 -2086 -503 -2774 -2932 2960 -2510 -1434 -2452 -904 3351 2607 -1224 -207 -104 1305 -1015 -1577 -3417 -3226 3293 430 -2145 3307 -767 1464 2468 1893 -702 -1318 1161 -3286 1597 -1254 290 -2431 -1938 2484 1038 -2208 1298 -691 2 2737 249 333 3302 -275 3306 -2890 -3110 984 1643 -3123 1329 -812 3174 3034 -3479 233 726 3416 -1549 -3331 1795 866 3296 -2911 -977 -2701 17 -97 -2317 -664 -710 -992 -2490 1923 3252 -2179 -1078 -1276 558 1939 1438 -1871 2314 1696 -1391 2498 -1135 3274 -3061 -3035 -1232 485 1449 -2001 2148 2281 1393 -2421 -890 -2540 -395 1927 1524 -1744 -460 3222 -1264 -2000 -972 2918 2028 -3072 2441 727 997 -2657 1114 1994 3397 3309 2123 -674 3346 2583 -3065 -578 1364 1122 -482 1147 801 -2643 -617 1718 -3495 -2020 -1419 -509 1105 3478 1092 -1402 -1629 -1168 -1068 -839 -1772 -3169 -1429 2582 2879 2779 795 -1144 2689 454 -649 -766 -319 1594 1017 -409 790 -2048 -1650 -1527 -81 2809 1481 406 -2620 1589 -3050 -2170 3236 -1061 -236 2590 -813 2857 412 -2616 238 15 -2134 2976 -2322 -520 3442 -242 2240 -3369 -1436 -2144 1910 939 -599 -180 2231 -1348 2426 1523 -154 -205 -281 1782 -410 -1612 -1596 -2131 45 -958 -2764 -1860 2907 -2845 3076 559 2391 1422 -1856 -2384 2243 2221 -419 3266 -1880 -720 -105 -1150 -1355 2732 2852 2730 -2155 2935 820 2319 1937 -152 -1667 593 2988 668 -1969 2116 2283 1719 -6 411 585 -3342 -2234 -1884 -2782 -844 3063 -1879 2738 -2802 -2600 60 1047 68 -345 -1424 2867 717 -1511 -1925 -2916 -2827 1741 -3467 -1110 -1218 1935 1946 1299 1014 -2971 1043 1079 689 2761 -2948 -291 2328 -877 2538 3415 3159 -2446 -1516 237 344 644 -3070 3087 -2631 -1330 3424 -697 2012 -1096 -475 1467 -3200 1987 1796 1915 363 -1895 798 3377 -2629 2968 -834 -2405 2601 -313 1742 2064 -2212 -210 694 -1598 3067 -937 -2014 -738 2026 3362 2638 -2635 -2286 1637 -245 980 -1328 -1316 -1704 -2666 -556 1743 -1709 2062 1559 -2167 -828 -1634 -570 -84 3308 -583 2079 -2350 3289 3125 -2373 -1902 2591 1588 2427 -62 -1446 1193 -672 2161 -116 -1701 382 2102 -416 -2531 209 -1389 2505 3224 -172 1053 78 1334 -857 -1666 -3175 2209 -718 -1392 3358 2101 -3324 1723 -2754 -3470 3427 2130 -1892 -1445 -1668 1323 2357 2691 1729 2997 3154 2943 1129 -1294 729 3484 2052 -732 -1931 -442 -2292 2829 -3241 2215 2365 -1163 490 -83 -3279 1443 -297 1777 457 -3187 566 26 -16 929 1060 -3364 -2398 -555 -1653 867 -1590 995 459 2563 -120 3122 -279 3240 3025 -2332 -1873 -1286 3366 -1156 -2714 -3319 -2108 -1900 2803 -840 934 -329 -2981 1562 2264 -2104 -1221 1519 -1491 1635 565 3109 1778 -2218 759 2775 -2843 2996 -3402 1413 1656 306 -1123 -1333 49 -688 -2272 -918 791 -3116 1416 1623 803 155 1564 2677 -2361 -1382 1269 -2688 1366 930 3038 -399 -760 1948 -107 -1561 184 -250 2331 -2290 1789 2769 2269 2030 2527 3198 2336 2633 -703 1159 2598 2790 -2462 118 -2088 -1002 1324 2767 -1906 -506 705 2244 1231 -3129 2006 -424 2407 3433 2596 2617 3339 -473 2214 -805 2580 1825 -662 -1712 -270 -2114 2991 603 3262 2406 2884 -1181 967 1281 3082 2727 879 1805 3439 -1044 -1120 2811 2653 -168 2814 3230 -1350 2771 -2557 1963 -2137 1746 1106 3367 -3466 315 234 -483 -2499 -3294 314 1990 3233 1837 874 -1411 3270 -1070 1586 -2177 -2818 -2223 -1063 -2928 2707 1976 -1447 -142 -361 -1487 1452 -133 -1548 3408 3235 -3253 -3384 -1980 1950 -2233 -2690 1804 507 -2436 1961 -1755 2655 1196 3011 -3486 -294 2248 -740 -1087 -3311 -1960 1922 861 2676 -2807 -1273 1492 -3042 -1134 288 -2132 1124 328 2210 -1965 2634 -2423 -2444 199 2496 -2449 -510 2555 -2438 2652 -1378 -33 3428 -374 3217 2821 -487 -768 -3092 -1581 3231 -392 655 2203 -2039 1708 3059 37 3291 -1830 -1238 -2906 -2963 403 -2219 -2509 2615 1160 -1947 2042 524 -574 -3121 1423 -2206 -188 -1904 -3313 -2495 -1476 364 -2196 -969 1496 809 -1717 -265 -1738 -2599 -1897 -2656 -1288 -441 -1020 -1670 -2796 -3445 2794 -1660 1890 -1595 -743 2849 -1381 -2542 -2005 -204 2136 -762 2109 2725 -352 -1522 -1209 628 2739 942 1331 -1104 1082 -838 3031 114 -312 -214 2873 -3078 3237 -1003 197 -1698 -343 -3477 1819 -2074 2816 -541 3409 -1354 1550 423 3228 -1716 3181 3103 1639 -436 1715 -2664 2305 -289 -2380 3191 1462 -2699 -3195 1315 -3395 -48 1240 2962 -354 2855 -652 784 -1689 2464 -1292 -1173 -2696 1137 3186 -1817 944 -3018 -1680 -2174 -267 -1036 -1911 -218 2036 -2439 259 -8 263 -2047 -754 119 -605 3316 2729 -737 -1205 -2777 -371 -1583 -2376 -596 -573 -3117 2320 3268 -9 1724 2897 -1788 -1367 2390 686 -429 728 2682 -2529 2910 -24 1450 3380 1799 2608 -1472 1095 -3444 -892 2592 1249 -1177 806 3437 -534 -2799 -604 2888 1757 2839 946 -143 179 -130 465 -2197 1192 -1787 789 3012 -391 2402 -217 -372 -883 -3164 3401 3420 2877 -2282 -2773 -2623 1510 -3088 -1859 -2556 -1130 875 1959 1007 -3405 1066 -2552 1981 -1663 2453 -592 -881 1774 2425 2246 607 3271 -500 -2979 -2349 -658 -296 -1380 -1863 -3344 -2675 -3124 2113 -3300 -575 -3340 -2875 3189 3036 3058 -3098 1377 517 -1235 -2998 2375 -1081 -2574 3335 -1530 -2321 2070 -3157 -1039 -1601 1985 2242 85 -2758 -3149 2640 -1684 -1916 -3168 852 2587 -162 3188 -3185 -111 -1822 -659 1435 -3218 -3156 -3414 -926 164 -2784 -2744 -3457 302 -1313 -924 -2201 1055 -1035 1321 1669 1166 3143 3423 -222 -2485 2300 -2428 -1219 316 -2700 -2471 -3066 -287 -1714 -657 -307 -1949 -2710 3338 -2908 1831 323 -3443 -2823 -901 -854 1442 -1833 -915 -2765 1943 2207 2508 -2135 -733 -589 1882 2842 -2003 3008 1341 1207 -1372 -3180 2760 -3474 2610 31 -1291 -696 -2923 -2139 -1775 -773 -3037 -725 -763 3256 1593 -2658 -1737 -1244 3295 -1309 -3057 -2147 -23 -446 -1076 1257 -2343 -3334 2721 -1625 3352 -1347 -1974 10 -2812 1977 -1256 -1198 -1332 -3136 -1986 -138 -1271 413 -1112 1954 3021 36 -448 2506 -2848 -1814 -3450 -360 -1071 -1344 2992 1170 415 -189 1287 -18 -477 -2022 -2860 -144 -1840 -1352 1545 -2051 1732 -2268 -166 -1585 -2289 -1720 193 3435 -1229 -2966 1185 -1632 -1781 -1537 -2537 -3001 2511 2693 -998 1608 -3381 -2024 2416 -2217 3487 1903 3273 -1957 -455 2434 -405 -2382 1407 -2216 -1308 -3089 -811 -3010 -3304 -2355 -1978 -2232 3370 -3170 -3349 3287 1816 1317 -2393 -350 572 880 -3461 2237 -3449 2597 3272 2152 2011 1763 1730 2519 2107 -3071 938 -920 135 -2909 -1427 1728 869 -2606 -1514 2477 1441 396 -2025 1408 -2178 110 3341 -945 -2785 -311 -1924 3263 -3494 -962 -3190 -786 2571 -2520 -1248 1189 -2078 3147 3167 2788 -2609 -1932 2525 -1628 2983 -1268 -3292 -2162 -3411 -2018 185 -1133 -1270 -2939 -2874 899 -2437 -220 1118 -1033 2543 2180 -2584 52 -1437 -2122 -2121 -1171 149 1693 2338 -3463 -2061 -2450 -849 -769 -2126 3446 -3329 -2454 772 -2817 562 -654 -601 -3232 -1694 -1917 -2173 1375 582 -2190 -2678 -231 2374 -128 -976 -2751 -2045 -3155 -1982 -3481 -814 2566 2157 -1307 -368 -2279 -20 495 -2009 -2946 -723 -439 -2364 -2824 1826 -221 716 -684 -11 -1602 994 2513 1677 373 1681 -304 -885 -2276 -1674 -706 -965 -3219 3234 -948 -2921 -1858 -2023 -1468 -1461 -1019 1535 2455 -923 -2550 -3249 -2060 -587 -856 -2766 -567 -842 75 -1762 -2895 -273 -2204 -1972 -3223 1072 -1109 -2476 -1100 -3464 909 -959 -3422 -1874 835 529 -1199 -3383 -2778 -3390 -2885 -1539 -2287 -2954 -730 -1848 -2346 2224 -2419 -1584 964 935 -907 -1553 2043 3378 -148 452 -3054 -1278 -1180 1215 2681 2494 170 3160 -298 -2183 -933 2097 3498 -3085 -2140 -488 -244 -1258 -2797 -1751 -2077 1769 -2840 -1813 -3084 -1115 -3197 -206 -2644 -1226 -3134 -3052 -434 3019 2813 -2937 -284 2293 1803 -2492 2930 -827 2475 1592 -381 2626 1088 1834 -3453 -2931 -322 -3452 1800 -2901 -535 -3046 3357 -2920 -3166 -961 -755 -51 -2830 940 -2392 -3030 3359 3389 -912 -2528 -1116 -1041 -2057 -3215 -1678 2562 76 -388 -2792 -2847 1169 -2713 -1605 -1158 -1460 -1241 3320 -2440 -1791 -1575 -96 680 -357 -347 -707 864 -1547 -2768 -595 692 -1390 -676 -438 -2267 -1999 -151 -822 -1655 -919 -1889 4 2534 -375 -3077 -785 -1587 -2679 -2111 -160 -2247 -433 1526 2984 1951 -159 -1058 2488 -951 -2526 -2669 -2770 1697 -59 -3020 -2256 -1054 -2465 -1552 -1626 -3135 -2576 -91 -3013 -2038 -56 1854 1760 -3127 -3131 -3120 2261 -2863 -2720 -1183 -781 -1418 2558 -2171 -1883 -2502 -2335 -1574 -53 -2422 -147 -1284 -1968 -239 -2295 2546 584 624 -1563 -2734 -1021 -3258 -2138 -831 821 -2065 -1471 -1080 -7 -248 -3318 -1736 -1404 321 -2189 -860 -1494 -14 2559 3434 -843 367 -914 -925 719 -1928 -1113 858 -819 -2002 -571 -1210 -2168 780 -1945 -704 -1239 -1194 -2473 181 3007 3500 -3209 -3002 -2980 -1032 -1914 -1536 -384 -1652 -3171 -117 -736 -2793 -102 -266 2105 -1458 -897 -137 -3027 -3310 -1486 -2211 -497 -3178 -1573 -1617 -1725 -3130 -1862 -2565 -2808 -1374 -2413 -1064 792 -3239 -2229 -594 -2340 2648 -2262 -1010 -597 -640 579 2333 -645 -1373 -3033 -1868 -1303 -2554 1098 515 -476 -1200 -2708 -1503 -1289 -1711 -1345 -3150 -3455 -1967 -1847 -943 -1885 -1641 -223 -261 1749 -2523 -1132 -3202 -3387 -2905 -1821 -1263 -2089 -1312 -2297 -612 2684 -2172 -1485 -437 2735 -1603 -1140 -1351 -3447 -2733 -3017 -708 -3303 -1477 -1454 -320 2031 -1662 -2469 3048 2307 770 -3114 -40 974 -715 -1544 -1457 -3376 -627 -55 -841 -3126 -2854 -1465 -358 905 -1607 -46 -748 -2780 -1876 -1827 -1579 -414 -2325 -1538 -2637 -3172 -1600 -3194 -474 -2722 3111 -3184 -2934 -1338 -425 -646 -2925 -3238 -3107 -2068 -816 -511 -3462 -1282 2146 -1962 -422 -1261 -3064 -749 -3448 -1888 -701 3456 -2718 -2085 -3108 -3480 -276 -1234 19 -761 -837 -1640 -2694 -2252 -1107 -833 -632 2491 -3146 161 -2942 -891 -1360 -876 -576 -600 -2258 -2828 -2298 -989 -666 -1534 -212 -519 -1828 -1 -3106 -1125 -2353 -158 -2759 -2330 -3179 -1853 -683 -3473 -2323 -1793 -106 -2783 -3282 -777 -3132 -1773 -190 -1023 -613 -183 -2881 -247 -2514 -2872 -2747 -480 2303 -2572 -711 -3283 -2952 -3379 -2763 -2957 -2165 -44 -1836 -1528 -3210 -1886 -1983 -1875 -3 2360 -3388 -2621 -698 -1037 -353 -1654 -38 -1546 2486 -1958 -1839 -2673 2056 -2369 1630 -508 -889 -499 615 2647 -2386 -756 -3074 -3056 -3023 -1661 -2709 -303 -1525 -1810 -906 -745 -3438 -3144 -1841 -3069 -970 -1089 -2176 -3045 -1406 -1414 -1759 -1146 -2662 -362 -902 -606 -3458 -2856 -1691 -3337 -447 -2889 -393 -2241 -2129 -2915 -3327 -2435 -3220 -2825 -1386 -1174 -1591 -2084 -1369 -560 -3247 -2461 -1093 -2521 -3472 -2404 -139 -2175 -1582 -724 -741 -634 -1466 -1926 -1453 -3403 -1866 2285 -340 -280 -2457 -1293 -1009 -3097 -2377 -3173 -637 -3489 -251 -1016 -2756 -2795 -586 -539 -255 -3355 -3332 -685 -2095 -1806 -1765 -1905 -2861 -1388 -2324 -2194 -1182 -3465 -3333 -936 -1203 -3145 -240 -753 3141 -633 -1996 -3421 -1368 -2266 -1515 -774 -1225 -2049 -629 -3192 -610 -1142 -2838 -2058 -746 -1304 -999 -1953 -954 -3203 -2749 -1217 -2311 -3221 -1784 -2731 -1861 -1512 -2120 -450 -3104 -2073 -931 -2342 -131 -224 -986 -1091 -2853 -2417 -3485 -1624 -427 -3276 -271 -2956 -1566 -966 -1463 0

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node25/watcher-308240-1172518037 -o ROOT/results/node25/solver-308240-1172518037 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/308240-1172518037/mxc /tmp/evaluation/308240-1172518037/instance-308240-1172518037.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.95 0.99 1.01 3/64 4084
/proc/meminfo: memFree=1938792/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=1648 CPUtime=0
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 239 0 0 0 0 0 0 0 18 0 1 0 46425932 1687552 223 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 412 224 46 122 0 286 0

[startup+0.107092 s]
/proc/loadavg: 0.95 0.99 1.01 3/64 4084
/proc/meminfo: memFree=1938792/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=1764 CPUtime=0.1
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 326 0 0 0 10 0 0 0 18 0 1 0 46425932 1806336 273 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530048 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 441 273 59 122 0 315 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1764

[startup+0.515129 s]
/proc/loadavg: 0.95 0.99 1.01 3/64 4084
/proc/meminfo: memFree=1938792/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=2160 CPUtime=0.51
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 430 0 0 0 51 0 0 0 22 0 1 0 46425932 2211840 377 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134528106 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 540 377 59 122 0 414 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2160

[startup+1.3352 s]
/proc/loadavg: 0.95 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1937376/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=2300 CPUtime=1.33
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 494 0 0 0 133 0 0 0 25 0 1 0 46425932 2355200 439 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519229 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 575 439 67 122 0 449 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2300

[startup+2.97135 s]
/proc/loadavg: 0.95 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1937056/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=2564 CPUtime=2.96
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 548 0 0 0 296 0 0 0 25 0 1 0 46425932 2625536 493 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134535083 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 641 493 67 122 0 515 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 2564

[startup+6.25365 s]
/proc/loadavg: 0.95 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1936544/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=2948 CPUtime=6.24
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 653 0 0 0 624 0 0 0 25 0 1 0 46425932 3018752 598 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519593 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 737 598 67 122 0 611 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 2948

[startup+12.7062 s]
/proc/loadavg: 0.96 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1936160/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=3336 CPUtime=12.69
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 728 0 0 0 1269 0 0 0 25 0 1 0 46425932 3416064 673 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519964 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 834 673 67 122 0 708 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3336

[startup+25.5114 s]
/proc/loadavg: 0.97 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1935840/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=3684 CPUtime=25.5
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 830 0 0 0 2550 0 0 0 25 0 1 0 46425932 3772416 775 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519232 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 921 775 67 122 0 795 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 3684

[startup+51.1217 s]
/proc/loadavg: 0.98 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1935264/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=4232 CPUtime=51.08
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 956 0 0 0 5108 0 0 0 25 0 1 0 46425932 4333568 901 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 1058 901 67 122 0 932 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4232

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

[startup+52.4518 s]
/proc/loadavg: 0.98 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1935264/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=4352 CPUtime=52.41
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 984 0 0 0 5241 0 0 0 25 0 1 0 46425932 4456448 929 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 1088 929 67 122 0 962 0
Current children cumulated CPU time (s) 52.41
Current children cumulated vsize (KiB) 4352

[startup+59.0114 s]
/proc/loadavg: 0.98 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1935136/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=4436 CPUtime=58.97
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 1011 0 0 0 5897 0 0 0 25 0 1 0 46425932 4542464 956 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 1109 956 67 122 0 983 0
Current children cumulated CPU time (s) 58.97
Current children cumulated vsize (KiB) 4436

[startup+62.2877 s]
/proc/loadavg: 0.98 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1935136/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=4436 CPUtime=62.24
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 1011 0 0 0 6224 0 0 0 25 0 1 0 46425932 4542464 956 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519619 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 1109 956 67 122 0 983 0
Current children cumulated CPU time (s) 62.24
Current children cumulated vsize (KiB) 4436

[startup+63.9239 s]
/proc/loadavg: 0.98 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1935136/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=4436 CPUtime=63.88
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 1011 0 0 0 6388 0 0 0 25 0 1 0 46425932 4542464 956 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530135 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 1109 956 67 122 0 983 0
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (KiB) 4436

[startup+65.57 s]
/proc/loadavg: 0.98 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1935008/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=4568 CPUtime=65.53
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 1043 0 0 0 6553 0 0 0 25 0 1 0 46425932 4677632 988 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519785 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 1142 988 67 122 0 1016 0
Current children cumulated CPU time (s) 65.53
Current children cumulated vsize (KiB) 4568

[startup+65.9781 s]
/proc/loadavg: 0.98 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1935008/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=4568 CPUtime=65.93
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 1043 0 0 0 6593 0 0 0 25 0 1 0 46425932 4677632 988 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519969 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 1142 988 67 122 0 1016 0
Current children cumulated CPU time (s) 65.93
Current children cumulated vsize (KiB) 4568

[startup+66.3861 s]
/proc/loadavg: 0.98 0.99 1.01 2/65 4085
/proc/meminfo: memFree=1935008/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=4568 CPUtime=66.34
/proc/4084/stat : 4084 (mxc) R 4082 4084 3645 0 -1 4194304 1059 0 0 0 6634 0 0 0 25 0 1 0 46425932 4677632 1004 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530070 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 1142 1004 67 122 0 1016 0
Current children cumulated CPU time (s) 66.34
Current children cumulated vsize (KiB) 4568

[startup+66.4881 s]
/proc/loadavg: 0.98 0.99 1.01 1/65 4085
/proc/meminfo: memFree=1934944/2055920 swapFree=4183544/4192956
[pid=4084] ppid=4082 vsize=4568 CPUtime=66.44
/proc/4084/stat : 4084 (mxc) S 4082 4084 3645 0 -1 4194304 1059 0 0 0 6644 0 0 0 25 0 1 0 46425932 4677632 1004 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134550682 0 0 4096 0 0 0 0 17 0 0 0
/proc/4084/statm: 1142 1004 67 122 0 1016 0
Current children cumulated CPU time (s) 66.44
Current children cumulated vsize (KiB) 4568

Child status: 10
Real time (s): 66.4996
CPU time (s): 66.4559
CPU user time (s): 66.4449
CPU system time (s): 0.010998
CPU usage (%): 99.9342
Max. virtual memory (cumulated for all children) (KiB): 4568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.4449
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1061
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= 11
involuntary context switches= 275

runsolver used 0.078987 second user time and 0.165974 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Mon Feb 26 19:27:17 UTC 2007

IDJOB= 308240
IDBENCH= 20226
IDSOLVER= 107
FILE ID= node25/308240-1172518037

PBS_JOBID= 3971772

Free space on /tmp= 66560 MiB

SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v3500/unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
COMMAND LINE= /tmp/evaluation/308240-1172518037/mxc /tmp/evaluation/308240-1172518037/instance-308240-1172518037.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-308240-1172518037 -o ROOT/results/node25/solver-308240-1172518037 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/308240-1172518037/mxc /tmp/evaluation/308240-1172518037/instance-308240-1172518037.cnf            

META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH=  d0f9a30f8fda4c844dc97689f3035cdb

RANDOM SEED= 753102341

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.232
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.232
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:       1939264 kB
Buffers:         21196 kB
Cached:          60084 kB
SwapCached:       3448 kB
Active:          29264 kB
Inactive:        61700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1939264 kB
SwapTotal:     4192956 kB
SwapFree:      4183544 kB
Dirty:             916 kB
Writeback:           0 kB
Mapped:          15232 kB
Slab:            11784 kB
Committed_AS:    87596 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node25 on Mon Feb 26 19:28:24 UTC 2007