Trace number 3495934

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
MoUsSaka 2011-03-26UNSAT 0.795878 0.797543

General information on the benchmark

Namemus/marques-silva/
hardware-verification/dlx2_aa.cnf
MD5SUM0a28a63c7f3ce9192150b6948163b1e2
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.332948
Satisfiable
(Un)Satisfiability was proved
Number of variables490
Number of clauses2804
Sum of the clauses size7646
Maximum clause length25
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22350
Number of clauses of size 3229
Number of clauses of size 427
Number of clauses of size 59
Number of clauses of size over 5188

Solver Data 

0.00/0.00	c MoUsSaka vegetarian
0.00/0.05	
0.00/0.05	s UNSATISFIABLE
0.69/0.79	c Core is minimal
0.69/0.79	
0.69/0.79	v 1051 1052 2527 1043 2429 2432 2433 2428 2533 2532 2424 2425 2522 1145 2537 2536 2436 2437 1044 1040 1039 1146 1048 1047 1076 1077 1149 1150 1090 1056 1055 1059 1073 1060 1107 1094 1093 1212 1228 1213 1226 2224 2223 2237 2207 2206 2220 2316 2315 2189 2190 2347 2263 2254 2266 2116 2117 2346 1554 2262 2267 2255 2259 2258 2203 2186 2329 2331 2185 2775 2101 1846 1845 2014 2007 2006 2010 2002 2015 2003 2011 2102 1820 1387 1448 1431 1430 1441 1442 1398 1403 1397 1420 1421 1411 2796 1821 1412 2797 1388 1369 1352 1404 1361 1379 1346 1353 1331 1345 1370 1360 1380 1332 1555 2800 1556 2770 1153 238 1172 1157 2769 1135 2749 713 712 638 2193 2191 685 748 749 2332 2333 2227 637 684 2226 2225 2744 557 558 2753 2704 2712 2711 2703 2708 2731 2757 481 554 2766 539 2732 2707 494 612 45 2756 2733 2736 2737 1109 917 2772 2738 508 2716 2715 1152 240 1151 1156 130 239 133 131 2741 2746 291 2631 290 2565 458 2461 2462 2475 2441 2444 2445 2458 418 422 2615 2440 2492 2479 2478 373 2599 2613 2600 2582 2581 1253 2494 1254 2463 457 2559 2540 451 2544 2616 456 2564 2561 2446 2447 421 374 2619 448 426 2464 425 417 2448 357 452 453 356 2543 2538 334 336 2465 2617 264 2539 333 2632 265 449 430 210 2791 214 1078 215 1080 167 75 166 1079 236 1232 219 2335 1096 1095 1097 183 218 184 1230 206 1229 2720 2750 56 54 71 556 2745 2785 2293 2097 1938 1968 1951 1937 1954 1955 2081 1933 822 1941 1957 1958 1956 1939 1940 1934 2085 1136 1971 1972 1985 2083 853 821 782 761 762 2098 783 854 1974 1975 2065 2066 2079 2048 2047 2294 2043 634 1137 2524 2044 2031 2030 2523 1987 1841 2112 2239 913 1249 918 211 1061 235 207 151 152 1063 74 1062 1140 1250 1842 2298 2297 1195 1194 1553 2296 2113 914 2046 2053 1819 1399 1389 1432 1443 2799 2798 1413 1405 1422 1386 2629 1246 2780 2776 2777 2779 2778 2590 2054 2767 2759 2082 836 837 893 894 1973 2192 392 2482 429 2481 2480 393 2210 872 1948 665 2307 2199 2232 2312 2529 2234 2300 2233 1142 1141 799 2052 2299 2302 666 697 2209 2311 2208 698 2308 1984 2236 1989 798 2049 2050 2062 730 1190 21 308 309 2586 2589 2591 2595 462 2583 2584 461 2592 2625 2456 2624 2473 2455 2470 2454 2453 2472 2471 2626 2623 248 1197 2487 2489 1196 1199 1204 1202 110 109 1205 2488 1088 2218 2215 2217 1085 1087 1086 2618 2622 2548 2621 2550 2620 2519 2545 2585 2576 2630 1277 1278 1298 2420 2498 2500 2499 2421 2501 1245 2366 2518 2450 2452 2367 2451 2449 1325 1326 2546 2547 2549 1362 1330 1371 1333 1342 1354 1381 1347 2795 2219 2138 2161 2295 2107 2269 2719 2790 1856 2017 1905 2045 1836 1870 1922 2773 1817 2088 1748 2042 2096 2743 2748 2700 632 906 631 570 2742 2747 610 584 609 614 2755 2754 616 523 1110 203 1112 1111 78 202 1191 2786 600 34 2782 245 2291 873 2242 1988 1950 2279 2240 729 1990 2241 1967 2278 2093 2282 1997 2032 810 2028 2029 2280 676 2281 675 2235 811 1995 1996 1482 1481 2587 2588 1299 1878 2176 2148 1385 1329 1835 2304 1890 2127 2303 2106 583 2496 2495 413 414 2497 268 2554 2556 2353 2557 2555 2553 2578 2342 2503 2502 2504 2198 2200 1178 1177 243 1174 1179 965 122 121 1184 1187 1175 1188 1176 254 1209 2787 250 657 2320 2318 2317 656 1822 2699 2292 2657 2684 2645 2728 2658 2685 2729 2646 2468 2466 2382 2469 2467 2383 2671 2400 2484 2485 2486 2401 2483 2306 2343 2339 2340 2341 1816 2073 1959 2084 244 322 2563 323 2566 2562 1316 2577 1600 2056 2086 1943 1749 2071 1591 1590 2069 1867 1832 2095 1601 1944 1762 1763 1962 1961 1960 2051 1567 1566 1942 1945 2087 1978 1976 1778 2072 1977 1779 1979 2607 574 1992 1993 1796 1797 1994 1982 1965 2091 1946 2249 2290 2058 2055 1980 2089 2040 2571 2037 1159 1200 1160 1162 1201 2490 1963 2287 2596 463 2505 2491 2474 2627 2506 2575 2528 2061 2216 2057 1947 1981 1964 2090 2248 2041 2202 1999 2251 2201 1983 1966 1949 2092 2250 2670 573 2247 2781 2574 1089 249 1208 2457 1998 2070 2068 2067 788 787 1217 269 1341 1340 79 1221 1287 1286 2603 2605 2606 1222 1991 253 2604 295 98 99 1214 1215 466 2601 2602 296 10 2196 1452 1491 2195 2197 1451 1532 1490 2246 2245 1533 2244 2194 2301 2243 2338 1550 2336 2337 1551 2334 2608 2229 2230 1516 2231 1517 1502 2214 2213 2212 1503 2321 1473 2323 2322 1474 1617 1604 1608 1667 1672 1661 1645 1657 1668 1616 1636 1605 1621 1646 1654 1650 1662 1658 1649 1671 1653 1629 1609 1628 1622 1637 1676 2610 2609 2228 2319 2211 2324 2327 2076 2075 1189 949 950 910 1198 2074 2326 2077 2325 2611 1105 1071 1169 1203 1066 1083 1082 1084 1002 1067 1065 988 1018 1101 1099 1100 1234 1233 1235 1132 1161 1163 973 972 1001 987 909 1131 1114 1116 1036 1115 1223 1017 939 1218 1219 1220 940 1158 1239 1120 1224 1166 2350 1068 1102 1035 1236 1081 1064 1113 1231 1098 1117 2612 1225 2078 2328 2352 2351 2354 1170 1104 1167 1070 1106 1072 1103 1168 1069 1118 1119 1238 1237 1121 1240 1216 1724 1723 1697 1728 1727 1680 1704 1691 1719 1720 1733 1716 1715 1679 1683 1684 1690 1696 1703 1711 1712 1732 1737 1 467 480 493 507 522 538 553 569 53 44 33 2761 2764 20 9 6 5 3  0
0.69/0.79	
0.69/0.79	c Core has size 1014

Verifier Data 

OK	1014

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3495934-1307808567/watcher-3495934-1307808567 -o /tmp/evaluation-result-3495934-1307808567/solver-3495934-1307808567 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495934-1307808567.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.02 3.55 3.08 6/189 27469
/proc/meminfo: memFree=30185312/32950928 swapFree=67052112/67111528
[pid=27469] ppid=27467 vsize=12228 CPUtime=0 cores=4,6
/proc/27469/stat : 27469 (MoUsSaka) R 27467 27469 23695 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 892455479 12521472 430 33554432000 4194304 4365125 140734870504080 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27469/statm: 3057 430 262 42 0 205 0

[startup+0.00879199 s]
/proc/loadavg: 4.02 3.55 3.08 6/189 27469
/proc/meminfo: memFree=30185312/32950928 swapFree=67052112/67111528
[pid=27469] ppid=27467 vsize=12396 CPUtime=0 cores=4,6
/proc/27469/stat : 27469 (MoUsSaka) R 27467 27469 23695 0 -1 4202496 552 0 0 0 0 0 0 0 25 0 1 0 892455479 12693504 471 33554432000 4194304 4365125 140734870504080 18446744073709551615 4257799 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27469/statm: 3099 471 262 42 0 247 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12396

[startup+0.10482 s]
/proc/loadavg: 4.02 3.55 3.08 6/189 27469
/proc/meminfo: memFree=30185312/32950928 swapFree=67052112/67111528
[pid=27469] ppid=27467 vsize=14588 CPUtime=0.1 cores=4,6
/proc/27469/stat : 27469 (MoUsSaka) R 27467 27469 23695 0 -1 4202496 2227 0 0 0 10 0 0 0 25 0 1 0 892455479 14938112 905 33554432000 4194304 4365125 140734870504080 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27469/statm: 3647 905 264 42 0 795 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14588

[startup+0.300808 s]
/proc/loadavg: 4.02 3.55 3.08 6/189 27469
/proc/meminfo: memFree=30185312/32950928 swapFree=67052112/67111528
[pid=27469] ppid=27467 vsize=14588 CPUtime=0.29 cores=4,6
/proc/27469/stat : 27469 (MoUsSaka) R 27467 27469 23695 0 -1 4202496 2241 0 0 0 29 0 0 0 25 0 1 0 892455479 14938112 912 33554432000 4194304 4365125 140734870504080 18446744073709551615 4309378 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27469/statm: 3647 912 264 42 0 795 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14588

[startup+0.700676 s]
/proc/loadavg: 4.02 3.55 3.08 6/189 27469
/proc/meminfo: memFree=30185312/32950928 swapFree=67052112/67111528
[pid=27469] ppid=27467 vsize=16376 CPUtime=0.69 cores=4,6
/proc/27469/stat : 27469 (MoUsSaka) R 27467 27469 23695 0 -1 4202496 2630 0 0 0 69 0 0 0 25 0 1 0 892455479 16769024 1301 33554432000 4194304 4365125 140734870504080 18446744073709551615 4306826 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27469/statm: 4094 1301 264 42 0 1242 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16376

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

Child status: 20
Real time (s): 0.797543
CPU time (s): 0.795878
CPU user time (s): 0.794879
CPU system time (s): 0.000999
CPU usage (%): 99.7912
Max. virtual memory (cumulated for all children) (KiB): 16376

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

runsolver used 0.001999 second user time and 0.004999 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-11 18:09:27
IDJOB=3495934
IDBENCH=89499
IDSOLVER=1989
FILE ID=node120/3495934-1307808567
RUNJOBID= node120-1307808043-25676
PBS_JOBID= 13551076
Free space on /tmp= 73736 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/dlx2_aa.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495934-1307808567/watcher-3495934-1307808567 -o /tmp/evaluation-result-3495934-1307808567/solver-3495934-1307808567 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495934-1307808567.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0a28a63c7f3ce9192150b6948163b1e2
RANDOM SEED=702436856

node120.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.809
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.61
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.809
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	: 5226.07
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.809
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.82
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.809
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	: 5332.75
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.809
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.78
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.809
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.75
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.809
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.82
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.809
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30185840 kB
Buffers:        164980 kB
Cached:        1204620 kB
SwapCached:      11528 kB
Active:        1776564 kB
Inactive:       822076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30185840 kB
SwapTotal:    67111528 kB
SwapFree:     67052112 kB
Dirty:              28 kB
Writeback:           0 kB
AnonPages:     1226348 kB
Mapped:           9760 kB
Slab:            98980 kB
PageTables:       7596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1787384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73736 MiB
End job on node120 at 2011-06-11 18:09:28