0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-1772581-1241174910.cnf
0.00/0.00 c found header 'p cnf 156980 696581'
1.49/1.60 c finished parsing
1.49/1.60 c
1.49/1.60 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.49/1.60 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.49/1.60 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.49/1.60 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.49/1.60 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.49/1.60 c --random=1 --spread=2000 --seed=0 --skip=25
1.49/1.60 c
1.49/1.60 c sizeof vars[0] = 16 alignment = 0 2 MB
1.49/1.60 c sizeof orgs[0] = 8 alignment = 0 1 MB
1.49/1.60 c sizeof occs[0] = 8 alignment = 0 1 MB
1.49/1.60 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
1.49/1.60 c
1.49/1.60 c starting search after 1.6 seconds
1.49/1.60 c no decision limit
1.59/1.63 c
1.59/1.63 c original/binary fixed eliminated learned agility
1.59/1.63 c seconds variables equivalent conflicts height MB
1.59/1.63 c
1.59/1.63 c * 1.6 683271 113790 6670 36520 0 0 0 0.0 0 57
6.18/6.25 c s 6.3 142223 18291 69908 35634 33147 0 0 0.0 0 26
6.18/6.25 c l 6.3 142223 18291 69908 35634 33147 0 78677 0.0 0 26
6.49/6.52 c R 6.5 146664 17948 70234 35651 33147 223 210 28.5 4 26
6.89/6.96 c R 7.0 150484 17927 70246 35660 33147 608 580 34.2 4 27
12.79/12.80 c s 12.8 392070 11996 75296 36541 33147 909 762 35.1 1 43
12.79/12.80 c - 12.8 392070 11996 75296 36541 33147 909 44060 35.1 1 43
12.89/12.94 c B 12.9 392149 11994 75296 36543 33147 1000 852 38.8 4 43
14.89/14.99 c R 15.0 463261 11153 76073 36607 33147 1822 1664 39.1 3 47
15.69/15.78 c B 15.8 488731 10833 76329 36671 33147 2000 1842 39.1 6 48
17.89/17.99 c R 18.0 539287 8506 78485 36842 33147 3423 3252 40.7 5 51
25.89/25.95 c s 25.9 106787 3541 81048 37688 34703 7846 1002 38.2 7 24
25.89/25.95 c - 25.9 106787 3541 81048 37688 34703 7846 12337 38.2 7 24
25.99/26.00 c B 26.0 106833 3541 81048 37688 34703 8004 1160 38.1 9 24
26.99/27.06 c R 27.1 118997 3423 81149 37705 34703 10724 3877 35.8 4 25
27.49/27.59 c + 27.6 119221 3423 81149 37705 34703 12338 13570 35.0 5 26
28.78/28.84 c s 28.8 114916 3370 81175 37732 34703 14412 7470 33.6 5 26
28.78/28.84 c - 28.8 114916 3370 81175 37732 34703 14412 12078 33.6 5 26
28.78/28.84 c + 28.8 114916 3370 81175 37732 34703 14412 13285 33.6 5 26
30.58/30.66 c
30.58/30.66 c original/binary fixed eliminated learned agility
30.58/30.66 c seconds variables equivalent conflicts height MB
30.58/30.66 c
30.58/30.66 c + 30.7 123245 3180 81331 37766 34703 18017 14613 31.7 4 27
32.48/32.58 c - 32.6 114626 3127 81348 37802 34703 21556 14467 30.4 7 31
32.48/32.58 c - 32.6 114536 3127 81348 37802 34703 21556 14323 30.4 7 31
32.48/32.59 c - 32.6 114444 3127 81348 37802 34703 21556 14180 30.4 7 31
32.48/32.59 c - 32.6 114348 3127 81348 37802 34703 21556 14039 30.4 7 31
32.48/32.59 c - 32.6 114104 3127 81348 37802 34703 21556 13899 30.4 7 31
32.58/32.63 c - 32.6 112516 2944 81348 37802 34886 21556 13761 30.4 7 31
32.78/32.86 c s 32.9 91994 2823 81348 37802 35007 21556 3500 30.4 7 24
32.78/32.86 c - 32.9 91994 2823 81348 37802 35007 21556 12110 30.4 7 24
32.78/32.86 c + 32.9 91994 2823 81348 37802 35007 21556 13321 30.4 7 24
33.58/33.66 c B 33.7 92465 2823 81348 37802 35007 24011 5953 29.4 8 24
34.78/34.81 c + 34.8 101206 2789 81379 37805 35007 26947 14653 28.3 6 25
35.38/35.49 c s 35.5 95634 2789 81379 37805 35007 28423 10348 27.7 5 25
35.38/35.49 c - 35.5 95634 2789 81379 37805 35007 28423 14214 27.7 5 25
36.88/36.98 c R 37.0 100114 2760 81403 37810 35007 32102 14024 26.7 6 26
37.18/37.29 c + 37.3 100910 2756 81404 37813 35007 32673 15635 26.5 6 26
39.18/39.20 c s 39.2 88044 2629 81427 37817 35107 35742 11998 25.8 5 25
39.18/39.20 c - 39.2 88044 2629 81427 37817 35107 35742 15010 25.8 5 25
40.88/40.90 c + 40.9 89115 2602 81449 37822 35107 39207 16511 24.9 5 26
40.88/40.97 c
40.88/40.97 c original/binary fixed eliminated learned agility
40.88/40.97 c seconds variables equivalent conflicts height MB
40.88/40.97 c
40.88/40.97 c 0 41.0 89539 983 83066 37824 35107 39374 15174 24.8 6 26
40.88/40.97 c
40.88/40.97 s UNSATISFIABLE
40.88/40.97 c
40.88/40.97 c 39374 conflicts, 65660 decisions, 42 random
40.88/40.97 c 17 iterations, 171 restarts, 0 skipped
40.88/40.97 c 7 enlarged, 12579 shrunken, 384 rescored, 20 rebiased
40.88/40.97 c 7 simplifications, 0 reductions
40.88/40.97 c
40.88/40.97 c vars: 83066 fixed, 37824 equiv, 35107 elim, 39688 merged
40.88/40.97 c elim: 3258327 resolutions, 4 phases, 4 rounds
40.88/40.97 c sbst: 67% substituted, 16.9% nots, 83.1% ands, 0.0% xors, 0.0% ites
40.88/40.97 c arty: 3.52 and 0.00 xor average arity
40.88/40.97 c prbe: 28512 probed, 27 phases, 2 rounds
40.88/40.97 c prbe: 1814 failed, 3934 lifted, 1017 merged
40.88/40.97 c sccs: 319 non trivial, 0 fixed, 723 merged
40.88/40.97 c hash: 375 units, 37948 merged
40.88/40.97 c mins: 1249132 learned, 37% deleted, 7 strong, 115 depth
40.88/40.97 c subs: 33872 forward, 29734 backward, 39012 doms
40.88/40.97 c strs: 24593 forward, 660 backward
40.88/40.97 c doms: 85043 dominators, 30939 high, 205 low
40.88/40.97 c prps: 41421896 propagations, 1.01 megaprops
40.88/40.97 c
40.88/40.97 c 41.0 seconds, 66 MB max, 58 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1772581-1241174910/watcher-1772581-1241174910 -o /tmp/evaluation-result-1772581-1241174910/solver-1772581-1241174910 -C 10000 -W 6000 -M 1800 HOME/precosat HOME/instance-1772581-1241174910.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 23774
/proc/meminfo: memFree=918584/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=4472 CPUtime=0
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 916 0 0 0 0 0 0 0 18 0 1 0 145524330 4579328 901 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/23774/statm: 1118 909 58 155 0 961 0
[startup+0.010635 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 23774
/proc/meminfo: memFree=918584/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=6928 CPUtime=0
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 1384 0 0 0 0 0 0 0 18 0 1 0 145524330 7094272 1369 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/23774/statm: 1732 1371 59 155 0 1575 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6928
[startup+0.101645 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 23774
/proc/meminfo: memFree=918584/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=17692 CPUtime=0.09
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 4334 0 0 0 8 1 0 0 18 0 1 0 145524330 18116608 4221 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 4423 4221 63 155 0 4266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17692
[startup+0.301667 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 23774
/proc/meminfo: memFree=918584/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=26092 CPUtime=0.29
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 6794 0 0 0 27 2 0 0 19 0 1 0 145524330 26718208 6295 1992294400 134512640 135151029 4294956240 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 6523 6295 63 155 0 6366 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26092
[startup+0.701713 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 23774
/proc/meminfo: memFree=918584/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=39492 CPUtime=0.69
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 10665 0 0 0 65 4 0 0 23 0 1 0 145524330 40439808 9653 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 9873 9653 64 155 0 9716 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39492
[startup+1.5018 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 23775
/proc/meminfo: memFree=870320/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=63652 CPUtime=1.49
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 17734 0 0 0 141 8 0 0 25 0 1 0 145524330 65179648 15697 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 15913 15697 64 155 0 15756 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63652
[startup+3.10199 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 23775
/proc/meminfo: memFree=858672/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=74820 CPUtime=3.09
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 24613 0 0 0 298 11 0 0 25 0 1 0 145524330 76615680 18374 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 18705 18374 79 155 0 18548 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74820
[startup+6.30135 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 23775
/proc/meminfo: memFree=845872/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=63352 CPUtime=6.28
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 24901 0 0 0 617 11 0 0 25 0 1 0 145524330 64872448 15282 1992294400 134512640 135151029 4294956240 18446744073709551615 134681560 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 15838 15282 79 155 0 15681 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63352
[startup+12.7021 s]
/proc/loadavg: 0.22 0.05 0.02 2/65 23775
/proc/meminfo: memFree=849008/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=69512 CPUtime=12.69
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 31156 0 0 0 1254 15 0 0 25 0 1 0 145524330 71180288 16822 1992294400 134512640 135151029 4294956240 18446744073709551615 134572488 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 17378 16822 79 155 0 17221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69512
[startup+25.5015 s]
/proc/loadavg: 0.39 0.09 0.03 2/65 23775
/proc/meminfo: memFree=856112/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=72252 CPUtime=25.48
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 36941 0 0 0 2531 17 0 0 25 0 1 0 145524330 73986048 17507 1992294400 134512640 135151029 4294956240 18446744073709551615 134688688 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 18063 17507 79 155 0 17906 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72252
Solver just ended. Dumping a history of the last processes samples
[startup+31.9053 s]
/proc/loadavg: 0.44 0.11 0.03 2/65 23775
/proc/meminfo: memFree=854704/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=65912 CPUtime=31.89
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 38334 0 0 0 3170 19 0 0 25 0 1 0 145524330 67493888 15929 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 16478 15929 79 155 0 16321 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 65912
[startup+35.1016 s]
/proc/loadavg: 0.49 0.12 0.04 2/65 23775
/proc/meminfo: memFree=854704/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=65912 CPUtime=35.08
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 41564 0 0 0 3488 20 0 0 25 0 1 0 145524330 67493888 15931 1992294400 134512640 135151029 4294956240 18446744073709551615 134554791 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 16478 15931 79 155 0 16321 0
Current children cumulated CPU time (s) 35.08
Current children cumulated vsize (KiB) 65912
[startup+38.302 s]
/proc/loadavg: 0.49 0.12 0.04 2/65 23775
/proc/meminfo: memFree=854704/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=65912 CPUtime=38.28
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 42564 0 0 0 3807 21 0 0 25 0 1 0 145524330 67493888 15931 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 16478 15931 79 155 0 16321 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 65912
[startup+39.9012 s]
/proc/loadavg: 0.53 0.14 0.04 2/65 23775
/proc/meminfo: memFree=854704/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=65912 CPUtime=39.88
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 45792 0 0 0 3965 23 0 0 25 0 1 0 145524330 67493888 15931 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 16478 15931 79 155 0 16321 0
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (KiB) 65912
[startup+40.7053 s]
/proc/loadavg: 0.53 0.14 0.04 2/65 23775
/proc/meminfo: memFree=854704/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=65912 CPUtime=40.69
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 45792 0 0 0 4046 23 0 0 25 0 1 0 145524330 67493888 15931 1992294400 134512640 135151029 4294956240 18446744073709551615 134552296 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 16478 15931 79 155 0 16321 0
Current children cumulated CPU time (s) 40.69
Current children cumulated vsize (KiB) 65912
[startup+40.9013 s]
/proc/loadavg: 0.53 0.14 0.04 2/65 23775
/proc/meminfo: memFree=854704/2055920 swapFree=4180368/4192956
[pid=23774] ppid=23772 vsize=65912 CPUtime=40.88
/proc/23774/stat : 23774 (precosat) R 23772 23774 23737 0 -1 4194304 45792 0 0 0 4065 23 0 0 25 0 1 0 145524330 67493888 15931 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23774/statm: 16478 15931 79 155 0 16321 0
Current children cumulated CPU time (s) 40.88
Current children cumulated vsize (KiB) 65912
Child status: 20
Real time (s): 40.9866
CPU time (s): 40.9758
CPU user time (s): 40.7338
CPU system time (s): 0.241963
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 75656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.7338
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45793
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= 106
runsolver used 0.038994 second user time and 0.094985 second system time
The end
Begin job on node20 at 2009-05-01 12:48:31
IDJOB=1772581
IDBENCH=20343
IDSOLVER=607
FILE ID=node20/1772581-1241174910
PBS_JOBID= 9224538
Free space on /tmp= 66428 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/anbulagan/medium-unsat/total-5-11-u.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772581-1241174910/watcher-1772581-1241174910 -o /tmp/evaluation-result-1772581-1241174910/solver-1772581-1241174910 -C 10000 -W 6000 -M 1800 HOME/precosat HOME/instance-1772581-1241174910.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 770fa9cd880a43d98e936f33f4e86d7a
RANDOM SEED=1972163482
node20.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.214
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 : 5931.00
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.214
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: 919064 kB
Buffers: 82364 kB
Cached: 954812 kB
SwapCached: 6896 kB
Active: 145012 kB
Inactive: 900724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 919064 kB
SwapTotal: 4192956 kB
SwapFree: 4180368 kB
Dirty: 12968 kB
Writeback: 0 kB
Mapped: 13376 kB
Slab: 77140 kB
Committed_AS: 773180 kB
PageTables: 1396 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= 66428 MiB
End job on node20 at 2009-05-01 12:49:12