0.00/0.00 c Starting MiraXTv1...
109.06/109.20 s SATISFIABLE
109.06/109.20 v 1 -2 -3 -4 -5 -6 -7 -8 9 10 11 12 13 -14 15 16 17 18 19 -20 -21 -22 -23 -24 -25 -26 -27 -28 29 30 31 32 -33 34 35 -36 37 38 -39 -40 41 -42 -43 -44 45 46 -47 48 49 -50 51 -52 -53 54 -55 -56 57 -58 -59 60 61 -62 63 64 -65 66 -67 -68 69 70 0
runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-292109-1178809516 -o ROOT/results/node11/solver-292109-1178809516 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/292109-1178809516/MiraXTv1_dyn /tmp/evaluation/292109-1178809516/instance-292109-1178809516.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.86 1.83 1.45 3/77 14102
/proc/meminfo: memFree=1859696/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=3788 CPUtime=0
/proc/14102/stat : 14102 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 322000511 3878912 256 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 1 0 0
/proc/14102/statm: 947 256 206 20 0 305 0
[startup+0.01284 s]
/proc/loadavg: 1.86 1.83 1.45 3/77 14102
/proc/meminfo: memFree=1859696/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=4244 CPUtime=0
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 2 0 322000511 4345856 338 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 1061 338 218 20 0 419 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4244
[startup+0.10185 s]
/proc/loadavg: 1.86 1.83 1.45 3/77 14102
/proc/meminfo: memFree=1859696/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=5380 CPUtime=0.09
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 489 0 0 0 9 0 0 0 18 0 2 0 322000511 5509120 464 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 1345 464 218 20 0 703 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5380
[startup+0.301875 s]
/proc/loadavg: 1.86 1.83 1.45 3/77 14102
/proc/meminfo: memFree=1859696/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=6172 CPUtime=0.29
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 715 0 0 0 29 0 0 0 18 0 2 0 322000511 6320128 690 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 1543 690 218 20 0 901 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6172
[startup+0.701921 s]
/proc/loadavg: 1.86 1.83 1.45 3/77 14102
/proc/meminfo: memFree=1859696/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=7176 CPUtime=0.69
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 980 0 0 0 69 0 0 0 18 0 2 0 322000511 7348224 955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 1794 955 218 20 0 1152 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7176
[startup+1.50202 s]
/proc/loadavg: 1.86 1.83 1.45 2/79 14104
/proc/meminfo: memFree=1856288/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=8356 CPUtime=1.49
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 1269 0 0 0 149 0 0 0 18 0 2 0 322000511 8556544 1244 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 2089 1244 218 20 0 1447 0
[pid=14102/tid=14104] ppid=14100 vsize=8356 CPUtime=1.48
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 942 0 0 0 148 0 0 0 25 0 2 0 322000513 8556544 1244 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8356
[startup+3.10121 s]
/proc/loadavg: 1.86 1.83 1.45 2/79 14104
/proc/meminfo: memFree=1854176/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=10708 CPUtime=3.09
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 1892 0 0 0 309 0 0 0 18 0 2 0 322000511 10964992 1831 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 2677 1831 218 20 0 2035 0
[pid=14102/tid=14104] ppid=14100 vsize=10708 CPUtime=3.08
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 1565 0 0 0 308 0 0 0 25 0 2 0 322000513 10964992 1831 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10708
[startup+6.30259 s]
/proc/loadavg: 1.79 1.82 1.45 2/79 14104
/proc/meminfo: memFree=1852128/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=12136 CPUtime=6.29
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 2303 0 0 0 628 1 0 0 18 0 2 0 322000511 12427264 2203 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 3034 2203 218 20 0 2392 0
[pid=14102/tid=14104] ppid=14100 vsize=12136 CPUtime=6.27
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 1976 0 0 0 627 0 0 0 25 0 2 0 322000513 12427264 2203 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12136
[startup+12.7014 s]
/proc/loadavg: 1.73 1.80 1.44 2/79 14104
/proc/meminfo: memFree=1848488/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=15120 CPUtime=12.69
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 3213 0 0 0 1267 2 0 0 18 0 2 0 322000511 15482880 2960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 3780 2960 218 20 0 3138 0
[pid=14102/tid=14104] ppid=14100 vsize=15120 CPUtime=12.67
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 2886 0 0 0 1266 1 0 0 25 0 2 0 322000513 15482880 2960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15120
[startup+25.5019 s]
/proc/loadavg: 1.57 1.76 1.44 2/79 14104
/proc/meminfo: memFree=1845608/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=17428 CPUtime=25.48
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 4030 0 0 0 2546 2 0 0 18 0 2 0 322000511 17846272 3594 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 4357 3594 218 20 0 3715 0
[pid=14102/tid=14104] ppid=14100 vsize=17428 CPUtime=25.48
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 3703 0 0 0 2546 2 0 0 25 0 2 0 322000513 17846272 3594 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17428
[startup+51.1019 s]
/proc/loadavg: 1.37 1.70 1.42 2/79 14104
/proc/meminfo: memFree=1843688/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=19596 CPUtime=51.07
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 4980 0 0 0 5105 2 0 0 18 0 2 0 322000511 20066304 4070 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 4899 4070 218 20 0 4257 0
[pid=14102/tid=14104] ppid=14100 vsize=19596 CPUtime=51.06
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 4653 0 0 0 5104 2 0 0 25 0 2 0 322000513 20066304 4070 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19596
[startup+102.306 s]
/proc/loadavg: 1.16 1.59 1.40 2/79 14104
/proc/meminfo: memFree=1842280/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=21000 CPUtime=102.27
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 6290 0 0 0 10223 4 0 0 18 0 2 0 322000511 21504000 4445 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 5250 4445 218 20 0 4608 0
[pid=14102/tid=14104] ppid=14100 vsize=21000 CPUtime=102.26
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 5963 0 0 0 10222 4 0 0 25 0 2 0 322000513 21504000 4445 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21000
Solver just ended. Dumping a history of the last processes samples
[startup+105.501 s]
/proc/loadavg: 1.15 1.58 1.40 2/79 14104
/proc/meminfo: memFree=1842088/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=21136 CPUtime=105.46
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 6386 0 0 0 10542 4 0 0 18 0 2 0 322000511 21643264 4467 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 5284 4467 218 20 0 4642 0
[pid=14102/tid=14104] ppid=14100 vsize=21136 CPUtime=105.46
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 6059 0 0 0 10542 4 0 0 25 0 2 0 322000513 21643264 4467 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 105.46
Current children cumulated vsize (KiB) 21136
[startup+107.102 s]
/proc/loadavg: 1.15 1.58 1.40 2/79 14104
/proc/meminfo: memFree=1842088/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=21136 CPUtime=107.06
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 6386 0 0 0 10702 4 0 0 18 0 2 0 322000511 21643264 4467 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 5284 4467 218 20 0 4642 0
[pid=14102/tid=14104] ppid=14100 vsize=21136 CPUtime=107.05
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 6059 0 0 0 10701 4 0 0 25 0 2 0 322000513 21643264 4467 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 107.06
Current children cumulated vsize (KiB) 21136
[startup+107.902 s]
/proc/loadavg: 1.15 1.58 1.40 2/79 14104
/proc/meminfo: memFree=1842088/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=21136 CPUtime=107.86
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 6391 0 0 0 10782 4 0 0 18 0 2 0 322000511 21643264 4472 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 5284 4472 218 20 0 4642 0
[pid=14102/tid=14104] ppid=14100 vsize=21136 CPUtime=107.85
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 6064 0 0 0 10781 4 0 0 25 0 2 0 322000513 21643264 4472 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530009 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 107.86
Current children cumulated vsize (KiB) 21136
[startup+108.703 s]
/proc/loadavg: 1.15 1.58 1.40 2/79 14104
/proc/meminfo: memFree=1842088/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=21136 CPUtime=108.66
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 6465 0 0 0 10862 4 0 0 18 0 2 0 322000511 21643264 4472 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 5284 4472 218 20 0 4642 0
[pid=14102/tid=14104] ppid=14100 vsize=21136 CPUtime=108.65
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 6138 0 0 0 10861 4 0 0 25 0 2 0 322000513 21643264 4472 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 108.66
Current children cumulated vsize (KiB) 21136
[startup+109.102 s]
/proc/loadavg: 1.13 1.57 1.39 2/79 14104
/proc/meminfo: memFree=1842088/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=21136 CPUtime=109.06
/proc/14102/stat : 14102 (MiraXTv1_dyn) S 14100 14102 13108 0 -1 4194304 6480 0 0 0 10902 4 0 0 18 0 2 0 322000511 21643264 4487 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14102/statm: 5284 4487 218 20 0 4642 0
[pid=14102/tid=14104] ppid=14100 vsize=21136 CPUtime=109.05
/proc/14102/task/14104/stat : 14104 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194368 6153 0 0 0 10901 4 0 0 25 0 2 0 322000513 21643264 4487 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 109.06
Current children cumulated vsize (KiB) 21136
[startup+109.202 s]
/proc/loadavg: 1.13 1.57 1.39 2/79 14104
/proc/meminfo: memFree=1842088/2055920 swapFree=4144152/4192956
[pid=14102] ppid=14100 vsize=0 CPUtime=109.15
/proc/14102/stat : 14102 (MiraXTv1_dyn) R 14100 14102 13108 0 -1 4194308 6489 0 1 0 10911 4 0 0 17 0 1 0 322000511 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/14102/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 109.15
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 109.203
CPU time (s): 109.165
CPU user time (s): 109.117
CPU system time (s): 0.047992
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 21292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.117
system time used= 0.047992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6489
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 2372
runsolver used 0.101984 second user time and 0.299954 second system time
The end
Begin job on node11 on Thu May 10 15:05:16 UTC 2007
IDJOB= 292109
IDBENCH= 19831
IDSOLVER= 130
FILE ID= node11/292109-1178809516
PBS_JOBID= 5250942
Free space on /tmp= 66561 MiB
SOLVER NAME= MiraXT v1
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v70/unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/292109-1178809516/MiraXTv1_dyn /tmp/evaluation/292109-1178809516/instance-292109-1178809516.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-292109-1178809516 -o ROOT/results/node11/solver-292109-1178809516 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/292109-1178809516/MiraXTv1_dyn /tmp/evaluation/292109-1178809516/instance-292109-1178809516.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 06c43aaaf710a2f2b372f8fd10d7af7e
RANDOM SEED= 839025681
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node11.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.235
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.235
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: 1859912 kB
Buffers: 38224 kB
Cached: 91788 kB
SwapCached: 18364 kB
Active: 78584 kB
Inactive: 76084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1859912 kB
SwapTotal: 4192956 kB
SwapFree: 4144152 kB
Dirty: 3948 kB
Writeback: 0 kB
Mapped: 30024 kB
Slab: 26728 kB
Committed_AS: 7534904 kB
PageTables: 1848 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= 66561 MiB
End job on node11 on Thu May 10 15:07:05 UTC 2007