runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-320608-1178886079 -o ROOT/results/node6/solver-320608-1178886079 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/320608-1178886079/MiraXTv3_dyn /tmp/evaluation/320608-1178886079/instance-320608-1178886079.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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: 1.76 1.65 1.29 3/77 30531
/proc/meminfo: memFree=1743920/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=3788 CPUtime=0
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 364645774 3878912 323 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 947 330 202 20 0 305 0
[startup+0.013927 s]
/proc/loadavg: 1.76 1.65 1.29 3/77 30531
/proc/meminfo: memFree=1743920/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=4680 CPUtime=0
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194304 747 0 0 0 0 0 0 0 18 0 1 0 364645774 4792320 722 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134579254 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 1170 722 206 20 0 528 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4680
[startup+0.101938 s]
/proc/loadavg: 1.76 1.65 1.29 3/77 30531
/proc/meminfo: memFree=1743920/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=12336 CPUtime=0.09
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194304 2469 0 0 0 8 1 0 0 18 0 1 0 364645774 12632064 2444 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134579267 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 3084 2445 206 20 0 2442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12336
[startup+0.301961 s]
/proc/loadavg: 1.76 1.65 1.29 3/77 30531
/proc/meminfo: memFree=1743920/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=27500 CPUtime=0.29
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194304 5898 0 0 0 26 3 0 0 19 0 1 0 364645774 28160000 5873 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134579267 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 6875 5875 206 20 0 6233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27500
[startup+0.702009 s]
/proc/loadavg: 1.76 1.65 1.29 3/77 30531
/proc/meminfo: memFree=1743920/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=55056 CPUtime=0.69
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194304 11996 0 0 0 62 7 0 0 23 0 1 0 364645774 56377344 11971 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 13764 11972 206 20 0 13122 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55056
[startup+1.5011 s]
/proc/loadavg: 1.76 1.65 1.29 2/78 30532
/proc/meminfo: memFree=1677096/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=93128 CPUtime=1.48
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194304 21301 0 0 0 137 11 0 0 25 0 1 0 364645774 95363072 21276 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134584187 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 23282 21276 207 20 0 22640 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 93128
[startup+3.10129 s]
/proc/loadavg: 1.76 1.65 1.29 2/78 30532
/proc/meminfo: memFree=1650472/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=107788 CPUtime=3.08
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194304 24267 0 0 0 294 14 0 0 25 0 1 0 364645774 110374912 24242 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 26947 24242 207 20 0 26305 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 107788
[startup+6.30167 s]
/proc/loadavg: 1.70 1.63 1.29 2/78 30532
/proc/meminfo: memFree=1633320/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=135120 CPUtime=6.29
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194304 31396 0 0 0 611 18 0 0 25 0 1 0 364645774 138362880 31371 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134569822 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 33780 31371 207 20 0 33138 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 135120
[startup+12.7014 s]
/proc/loadavg: 1.64 1.62 1.29 3/80 30534
/proc/meminfo: memFree=1557528/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=323408 CPUtime=12.96
/proc/30531/stat : 30531 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194304 60466 0 0 0 1263 33 0 0 25 0 3 0 364645774 331169792 56055 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30531/statm: 80852 56055 218 20 0 80210 0
[pid=30531/tid=30533] ppid=30529 vsize=323408 CPUtime=0.74
/proc/30531/task/30533/stat : 30533 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 11211 0 0 0 69 5 0 0 21 0 3 0 364646969 331169792 56055 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30531/tid=30534] ppid=30529 vsize=323408 CPUtime=0.27
/proc/30531/task/30534/stat : 30534 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194368 10840 0 0 0 22 5 0 0 18 0 3 0 364646969 331169792 56055 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (KiB) 323408
[startup+25.5019 s]
/proc/loadavg: 1.50 1.59 1.28 2/80 30534
/proc/meminfo: memFree=1520088/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=323408 CPUtime=25.76
/proc/30531/stat : 30531 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194304 60466 0 0 0 2543 33 0 0 25 0 3 0 364645774 331169792 56055 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30531/statm: 80852 56055 218 20 0 80210 0
[pid=30531/tid=30533] ppid=30529 vsize=323408 CPUtime=13.54
/proc/30531/task/30533/stat : 30533 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 11211 0 0 0 1349 5 0 0 25 0 3 0 364646969 331169792 56055 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30531/tid=30534] ppid=30529 vsize=323408 CPUtime=0.27
/proc/30531/task/30534/stat : 30534 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194368 10840 0 0 0 22 5 0 0 18 0 3 0 364646969 331169792 56055 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.76
Current children cumulated vsize (KiB) 323408
[startup+51.1019 s]
/proc/loadavg: 1.55 1.59 1.29 3/80 30534
/proc/meminfo: memFree=1503640/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=341068 CPUtime=66.09
/proc/30531/stat : 30531 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194304 69220 0 0 0 6570 39 0 0 25 0 3 0 364645774 349253632 60453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30531/statm: 85267 60453 218 20 0 84625 0
[pid=30531/tid=30533] ppid=30529 vsize=341068 CPUtime=39.12
/proc/30531/task/30533/stat : 30533 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 14837 0 0 0 3904 8 0 0 25 0 3 0 364646969 349253632 60453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525924 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30531/tid=30534] ppid=30529 vsize=341068 CPUtime=15.03
/proc/30531/task/30534/stat : 30534 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 15968 0 0 0 1494 9 0 0 25 0 3 0 364646969 349253632 60453 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 66.09
Current children cumulated vsize (KiB) 341068
Solver just ended. Dumping a history of the last processes samples
[startup+63.9024 s]
/proc/loadavg: 1.65 1.61 1.30 3/80 30534
/proc/meminfo: memFree=1486744/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=356840 CPUtime=91.64
/proc/30531/stat : 30531 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194304 75228 0 0 0 9120 44 0 0 25 0 3 0 364645774 365404160 64548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30531/statm: 89210 64548 218 20 0 88568 0
[pid=30531/tid=30533] ppid=30529 vsize=356840 CPUtime=51.91
/proc/30531/task/30533/stat : 30533 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 18909 0 0 0 5180 11 0 0 25 0 3 0 364646969 365404160 64548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30531/tid=30534] ppid=30529 vsize=356840 CPUtime=27.78
/proc/30531/task/30534/stat : 30534 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 17904 0 0 0 2768 10 0 0 25 0 3 0 364646969 365404160 64548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.64
Current children cumulated vsize (KiB) 356840
[startup+70.3012 s]
/proc/loadavg: 1.68 1.62 1.30 3/80 30534
/proc/meminfo: memFree=1479000/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=363772 CPUtime=104.41
/proc/30531/stat : 30531 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194304 77009 0 0 0 10396 45 0 0 25 0 3 0 364645774 372502528 66329 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30531/statm: 90943 66329 218 20 0 90301 0
[pid=30531/tid=30533] ppid=30529 vsize=363772 CPUtime=58.31
/proc/30531/task/30533/stat : 30533 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 20690 0 0 0 5818 13 0 0 25 0 3 0 364646969 372502528 66329 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30531/tid=30534] ppid=30529 vsize=363772 CPUtime=34.15
/proc/30531/task/30534/stat : 30534 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 17904 0 0 0 3405 10 0 0 25 0 3 0 364646969 372502528 66329 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526507 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 104.41
Current children cumulated vsize (KiB) 363772
[startup+73.5026 s]
/proc/loadavg: 1.68 1.62 1.30 3/80 30534
/proc/meminfo: memFree=1476568/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=366944 CPUtime=110.79
/proc/30531/stat : 30531 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194304 77861 0 0 0 11033 46 0 0 25 0 3 0 364645774 375750656 67181 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30531/statm: 91736 67181 218 20 0 91094 0
[pid=30531/tid=30533] ppid=30529 vsize=366944 CPUtime=61.51
/proc/30531/task/30533/stat : 30533 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 21542 0 0 0 6137 14 0 0 25 0 3 0 364646969 375750656 67181 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30531/tid=30534] ppid=30529 vsize=366944 CPUtime=37.34
/proc/30531/task/30534/stat : 30534 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 17904 0 0 0 3724 10 0 0 25 0 3 0 364646969 375750656 67181 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526145 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 110.79
Current children cumulated vsize (KiB) 366944
[startup+76.7019 s]
/proc/loadavg: 1.70 1.62 1.31 3/80 30534
/proc/meminfo: memFree=1474008/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=289632 CPUtime=116.66
/proc/30531/stat : 30531 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194304 78612 0 0 0 11618 48 0 0 16 0 2 0 364645774 296583168 58872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30531/statm: 72408 58872 219 20 0 71766 0
[pid=30531/tid=30534] ppid=30529 vsize=289632 CPUtime=40.53
/proc/30531/task/30534/stat : 30534 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 17904 0 0 0 4043 10 0 0 25 0 2 0 364646969 296583168 58872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 116.66
Current children cumulated vsize (KiB) 289632
[startup+78.3011 s]
/proc/loadavg: 1.65 1.61 1.31 2/79 30534
/proc/meminfo: memFree=1508632/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=289632 CPUtime=118.26
/proc/30531/stat : 30531 (MiraXTv3_dyn) S 30529 30531 29420 0 -1 4194304 78612 0 0 0 11778 48 0 0 16 0 2 0 364645774 296583168 58872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30531/statm: 72408 58872 219 20 0 71766 0
[pid=30531/tid=30534] ppid=30529 vsize=289632 CPUtime=42.12
/proc/30531/task/30534/stat : 30534 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194368 17904 0 0 0 4202 10 0 0 25 0 2 0 364646969 296583168 58872 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134536003 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 118.26
Current children cumulated vsize (KiB) 289632
[startup+78.7012 s]
/proc/loadavg: 1.65 1.61 1.31 2/79 30534
/proc/meminfo: memFree=1508632/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=200836 CPUtime=118.66
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194304 78799 0 0 0 11817 49 0 0 17 0 1 0 364645774 205656064 47948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134593574 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 50209 47948 219 20 0 49567 0
Current children cumulated CPU time (s) 118.66
Current children cumulated vsize (KiB) 200836
[startup+79.1012 s]
/proc/loadavg: 1.65 1.61 1.31 2/78 30534
/proc/meminfo: memFree=1712864/2055924 swapFree=4143816/4192956
[pid=30531] ppid=30529 vsize=0 CPUtime=119.06
/proc/30531/stat : 30531 (MiraXTv3_dyn) R 30529 30531 29420 0 -1 4194308 78874 0 0 0 11854 52 0 0 18 0 1 0 364645774 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/30531/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 119.06
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 79.1181
CPU time (s): 119.08
CPU user time (s): 118.546
CPU system time (s): 0.533918
CPU usage (%): 150.509
Max. virtual memory (cumulated for all children) (KiB): 368660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.546
system time used= 0.533918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78874
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= 131
involuntary context switches= 1632
runsolver used 0.100984 second user time and 0.221966 second system time
The end
Begin job on node6 on Fri May 11 12:21:21 UTC 2007
IDJOB= 320608
IDBENCH= 20507
IDSOLVER= 128
FILE ID= node6/320608-1178886079
PBS_JOBID= 5251058
Free space on /tmp= 66527 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/narain/clauses-4.cnf
COMMAND LINE= /tmp/evaluation/320608-1178886079/MiraXTv3_dyn /tmp/evaluation/320608-1178886079/instance-320608-1178886079.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-320608-1178886079 -o ROOT/results/node6/solver-320608-1178886079 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/320608-1178886079/MiraXTv3_dyn /tmp/evaluation/320608-1178886079/instance-320608-1178886079.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 47aea57a75df97a09b0fd4dea46085be
RANDOM SEED= 964192615
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node6.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: 2055924 kB
MemFree: 1744136 kB
Buffers: 42592 kB
Cached: 196228 kB
SwapCached: 17540 kB
Active: 166296 kB
Inactive: 100548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1744136 kB
SwapTotal: 4192956 kB
SwapFree: 4143816 kB
Dirty: 22172 kB
Writeback: 0 kB
Mapped: 33264 kB
Slab: 30464 kB
Committed_AS: 12740236 kB
PageTables: 1796 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= 66527 MiB
End job on node6 on Fri May 11 12:22:40 UTC 2007