Trace number 3481144

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
MUSer 2011-02-10UNSAT 0.679896 0.684051

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E07N10.cnf
MD5SUM9221c4eb6c807704f36e7a0ab318c2cb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.368943
Satisfiable
(Un)Satisfiability was proved
Number of variables1610
Number of clauses6978
Sum of the clauses size19039
Maximum clause length15
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 23941
Number of clauses of size 32488
Number of clauses of size 4120
Number of clauses of size 5200
Number of clauses of size over 5213

Solver Data 

0.00/0.01	c *** MUSer: a MUS extractor ***
0.00/0.01	c *** release date: 2011210 ***
0.00/0.01	c *** release ref: f95464aa99ac ***
0.00/0.01	c *** built: 2011-Feb-10 00:59 ***
0.00/0.01	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.01	c 
0.00/0.01	c *** instance: HOME/instance-3481144-1307605905.cnf ***
0.00/0.01	c 
0.00/0.01	c Parsing CPU Time: 0.005999
0.00/0.01	c Running MUSer ...
0.00/0.06	c 0.00% completed ... 
0.11/0.15	c 18.91% completed ... 
0.11/0.18	c 27.45% completed ... 
0.19/0.26	c 32.45% completed ... 
0.29/0.34	c 37.55% completed ... 
0.29/0.36	c 56.45% completed ... 
0.49/0.51	c 79.36% completed ... 
0.59/0.66	c 96.55% completed ... 
0.59/0.68	c 100.00% completed ... 
0.59/0.68	c MUS size: 752
0.59/0.68	s UNSATISFIABLE
0.59/0.68	v 1662 1077 1654 1069 1061 6324 1057 1045 1041 1033 1610 1029 6573 6569 6561 893 1013 890 6276 6549 470 6545 1001 466 6541 462 874 89 458 870 85 454 81 77 446 73 442 977 69 438 65 6509 965 57 961 53 957 418 953 45 6493 41 6481 33 29 933 2275 3681 6469 21 2271 3677 3926 6465 921 2263 6461 2259 5 6155 3825 3821 862 4062 858 854 846 842 3794 838 834 887 1522 1506 3728 1470 1462 1458 1446 2007 1995 1987 3899 1406 1975 1959 382 1378 1374 1947 370 1366 1362 1939 1927 346 1342 1338 1915 334 1326 326 322 1899 1318 318 314 310 1883 306 1302 4047 302 298 294 900 282 278 274 3767 266 884 262 258 250 1250 196 238 3732 1230 230 190 186 226 182 222 1222 178 1218 174 170 1210 1206 3697 1198 1194 146 1186 1182 138 134 1174 914 3666 126 122 1731 406 1154 1723 1719 6409 1138 1134 1707 1126 1122 1699 1695 6385 6381 1114 1687 1683 1675 3849 1671 1663 1074 1066 1058 1054 1050 1042 1038 1030 1026 6570 6562 6277 1010 6546 467 463 875 459 871 455 6530 867 451 447 443 974 439 962 958 423 954 419 950 6490 946 411 942 6482 938 2280 934 2272 3678 6466 2268 922 6462 2260 2256 6450 6156 3826 3822 863 4063 859 855 851 847 843 839 835 831 4036 1531 1519 1515 3997 1503 1471 1467 1459 1455 1443 2004 1996 1992 1984 1403 1972 383 1956 1375 375 1371 1944 1363 1359 359 1936 355 1351 351 347 1924 1339 339 1335 1912 1908 4075 327 1323 323 1896 319 1315 315 311 307 303 1880 1299 295 283 279 275 271 3768 267 259 1259 201 251 197 247 1247 243 239 3733 1231 231 187 1227 227 223 1219 179 1215 175 171 1207 3706 1203 3698 1195 1191 143 1183 1179 915 131 127 3667 3663 123 1740 119 1732 1728 1151 6414 399 1720 1135 1131 1704 1123 1119 1696 6386 6382 1684 1680 1672 219 1668 1660 1071 1067 1063 1051 6318 1047 919 1039 1035 6571 1027 1023 4025 6563 6559 1007 6274 6547 468 6543 464 6539 460 872 87 456 83 868 452 79 448 75 444 71 440 67 436 971 63 59 428 55 424 959 951 47 43 412 6491 943 6483 35 939 2281 6479 31 935 27 2277 2269 6467 923 3679 15 2265 6463 11 2257 6157 3823 864 860 856 852 848 840 836 832 1528 3761 1512 3998 2057 1468 1464 1456 1452 3695 2001 1993 1412 1981 4146 1400 1969 1965 1957 1380 376 1953 1372 1368 368 1941 1933 356 1356 352 1348 1344 1921 340 1336 1332 1909 332 1905 328 324 1897 320 1893 316 1312 312 308 6142 304 300 1877 1296 296 905 284 898 280 272 889 4014 268 260 202 248 244 1607 3734 3730 232 188 228 224 1224 180 220 1216 176 172 1212 168 1204 1200 3699 3948 1192 1188 140 1180 136 1176 132 3668 128 912 3664 120 1737 1160 112 1729 404 1725 400 1148 1140 1717 1132 1128 1701 6387 1120 1116 6383 1693 6379 1681 1677 1669 1665 1080 1657 1072 1068 1064 3816 1060 1048 6315 1044 1036 1032 6572 1024 6564 6287 6560 1016 6275 6548 1004 469 6544 465 6540 3750 461 873 457 869 453 449 980 445 441 437 968 960 956 952 6492 413 944 6484 6480 936 2278 932 2274 3680 6468 924 2266 3676 6464 920 2262 2254 3824 865 861 857 853 849 845 841 837 833 1525 886 883 2090 3999 1509 2054 1465 1461 1453 1449 3937 2010 1998 1990 1409 3898 1978 1397 1966 1962 1381 1377 3871 377 1954 1950 1369 369 1365 1353 1930 1345 345 1341 341 1918 1333 333 1329 1906 329 1902 325 1321 321 317 1894 313 1309 309 3805 1305 305 301 297 1293 293 277 3770 273 269 3766 265 261 203 1253 195 237 3731 233 189 229 1225 225 181 221 1221 177 173 1213 1209 169 3700 1201 1197 1189 1185 145 141 137 1177 133 1173 129 3665 125 121 1734 1157 113 405 1726 1722 1137 1714 1710 1129 1125 1698 6388 6384 1117 1690 6380 1113 1686 1678 1674 1666 0
0.59/0.68	c Terminating MUSer ...
0.59/0.68	c CPU Time: 0.68

Verifier Data 

OK	752

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3481144-1307605905/watcher-3481144-1307605905 -o /tmp/evaluation-result-3481144-1307605905/solver-3481144-1307605905 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3481144-1307605905.cnf 

running on 2 cores: 0,2

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: 3.65 2.33 1.50 5/547 6601
/proc/meminfo: memFree=9743384/32951132 swapFree=65929880/67111528
[pid=6601] ppid=6599 vsize=3900 CPUtime=0 cores=0,2
/proc/6601/stat : 6601 (muser) R 6599 6601 5973 0 -1 4202496 472 0 0 0 0 0 0 0 25 0 1 0 872190125 3993600 426 33554432000 4194304 5696331 140733842350864 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/6601/statm: 975 427 114 367 0 605 0

[startup+0.117379 s]
/proc/loadavg: 3.65 2.33 1.50 5/547 6601
/proc/meminfo: memFree=9743384/32951132 swapFree=65929880/67111528
[pid=6601] ppid=6599 vsize=4976 CPUtime=0.11 cores=0,2
/proc/6601/stat : 6601 (muser) R 6599 6601 5973 0 -1 4202496 1018 0 0 0 11 0 0 0 25 0 1 0 872190125 5095424 970 33554432000 4194304 5696331 140733842350864 18446744073709551615 4400717 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/6601/statm: 1244 971 150 367 0 874 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 4976

[startup+0.200332 s]
/proc/loadavg: 3.65 2.33 1.50 5/547 6601
/proc/meminfo: memFree=9743384/32951132 swapFree=65929880/67111528
[pid=6601] ppid=6599 vsize=5240 CPUtime=0.19 cores=0,2
/proc/6601/stat : 6601 (muser) R 6599 6601 5973 0 -1 4202496 1092 0 0 0 19 0 0 0 25 0 1 0 872190125 5365760 1043 33554432000 4194304 5696331 140733842350864 18446744073709551615 4416432 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/6601/statm: 1310 1043 150 367 0 940 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5240

[startup+0.300347 s]
/proc/loadavg: 3.65 2.33 1.50 5/547 6601
/proc/meminfo: memFree=9743384/32951132 swapFree=65929880/67111528
[pid=6601] ppid=6599 vsize=5240 CPUtime=0.29 cores=0,2
/proc/6601/stat : 6601 (muser) R 6599 6601 5973 0 -1 4202496 1095 0 0 0 29 0 0 0 25 0 1 0 872190125 5365760 1046 33554432000 4194304 5696331 140733842350864 18446744073709551615 4416980 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/6601/statm: 1310 1046 150 367 0 940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5240

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

[startup+0.400326 s]
/proc/loadavg: 3.65 2.33 1.50 5/547 6601
/proc/meminfo: memFree=9743384/32951132 swapFree=65929880/67111528
[pid=6601] ppid=6599 vsize=5392 CPUtime=0.39 cores=0,2
/proc/6601/stat : 6601 (muser) R 6599 6601 5973 0 -1 4202496 1123 0 0 0 39 0 0 0 25 0 1 0 872190125 5521408 1074 33554432000 4194304 5696331 140733842350864 18446744073709551615 4300749 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/6601/statm: 1348 1074 150 367 0 978 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 5392

[startup+0.60027 s]
/proc/loadavg: 3.65 2.33 1.50 5/547 6601
/proc/meminfo: memFree=9743384/32951132 swapFree=65929880/67111528
[pid=6601] ppid=6599 vsize=5392 CPUtime=0.59 cores=0,2
/proc/6601/stat : 6601 (muser) R 6599 6601 5973 0 -1 4202496 1125 0 0 0 59 0 0 0 25 0 1 0 872190125 5521408 1076 33554432000 4194304 5696331 140733842350864 18446744073709551615 4400285 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/6601/statm: 1348 1076 150 367 0 978 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 5392

Child status: 20
Real time (s): 0.684051
CPU time (s): 0.679896
CPU user time (s): 0.679896
CPU system time (s): 0
CPU usage (%): 99.3926
Max. virtual memory (cumulated for all children) (KiB): 5392

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

runsolver used 0.013997 second user time and 0.005999 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-09 09:51:45
IDJOB=3481144
IDBENCH=83439
IDSOLVER=1969
FILE ID=node131/3481144-1307605905
RUNJOBID= node131-1307605780-6340
PBS_JOBID= 13547758
Free space on /tmp= 73744 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E07N10.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3481144-1307605905/watcher-3481144-1307605905 -o /tmp/evaluation-result-3481144-1307605905/solver-3481144-1307605905 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3481144-1307605905.cnf

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

MD5SUM BENCH= 9221c4eb6c807704f36e7a0ab318c2cb
RANDOM SEED=1929262473

node131.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.830
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.830
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.75
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.830
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.830
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.830
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.77
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.830
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.830
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.830
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:       9743664 kB
Buffers:        197412 kB
Cached:         758904 kB
SwapCached:      43052 kB
Active:       20608288 kB
Inactive:      2263452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:       9743664 kB
SwapTotal:    67111528 kB
SwapFree:     65929880 kB
Dirty:            1580 kB
Writeback:           0 kB
AnonPages:    21881148 kB
Mapped:          77468 kB
Slab:           190532 kB
PageTables:      75748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 107166336 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73744 MiB
End job on node131 at 2011-06-09 09:51:46