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-1784218-1241925488.cnf
0.00/0.00 c found header 'p cnf 45 38430'
0.02/0.05 c finished parsing
0.02/0.05 c
0.02/0.05 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.02/0.05 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.02/0.05 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.02/0.05 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.02/0.05 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.02/0.05 c --random=1 --spread=2000 --seed=0 --skip=25
0.02/0.05 c
0.02/0.05 c sizeof vars[0] = 16 alignment = 0 0 MB
0.02/0.05 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.02/0.05 c sizeof occs[0] = 8 alignment = 0 0 MB
0.02/0.05 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.02/0.05 c
0.02/0.05 c starting search after 0.1 seconds
0.02/0.05 c no decision limit
0.02/0.05 c
0.02/0.05 c original/binary fixed eliminated learned agility
0.02/0.05 c seconds variables equivalent conflicts height MB
0.02/0.05 c
0.02/0.05 c * 0.1 38430 45 0 0 0 0 0 0.0 0 4
0.59/0.69 c s 0.7 38430 45 0 0 0 0 0 0.0 0 4
0.59/0.69 c l 0.7 38430 45 0 0 0 0 38430 0.0 0 4
0.69/0.70 c R 0.7 38430 45 0 0 0 101 101 9.2 4 4
0.69/0.72 c R 0.7 38430 45 0 0 0 201 201 12.3 8 4
0.79/0.84 c N 0.8 38430 45 0 0 0 804 804 14.3 25 5
0.79/0.86 c B 0.9 38430 45 0 0 0 1000 1000 14.4 28 5
0.89/0.96 c B 1.0 38430 45 0 0 0 2001 2001 14.2 37 5
1.00/1.00 c N 1.0 38430 45 0 0 0 2409 2409 14.0 39 5
1.29/1.35 c N 1.4 38430 45 0 0 0 6427 6427 13.5 42 5
1.39/1.48 c B 1.5 38430 45 0 0 0 8004 8004 13.4 42 6
2.19/2.20 c N 2.2 38430 45 0 0 0 16043 16043 12.9 42 7
3.19/3.23 c B 3.2 38430 45 0 0 0 24010 24010 12.9 42 7
5.58/5.64 c + 5.6 38430 45 0 0 0 38433 42273 12.3 42 9
5.58/5.65 c N 5.6 38430 45 0 0 0 38479 38479 12.3 42 9
7.69/7.73 c + 7.7 38430 45 0 0 0 48040 46500 12.1 43 10
10.29/10.34 c + 10.3 38430 45 0 0 0 60051 51150 11.9 42 11
10.99/11.08 c B 11.1 38430 45 0 0 0 64023 50480 11.9 42 11
13.48/13.53 c + 13.5 38430 45 0 0 0 75061 56265 11.6 43 11
16.88/16.90 c
16.88/16.90 c original/binary fixed eliminated learned agility
16.88/16.90 c seconds variables equivalent conflicts height MB
16.88/16.90 c
16.88/16.90 c N 16.9 38430 45 0 0 0 89771 56269 11.5 44 12
17.88/17.98 c + 18.0 38430 45 0 0 0 93825 61891 11.4 43 12
24.19/24.22 c + 24.2 38430 45 0 0 0 117281 68080 11.0 42 13
33.18/33.23 c + 33.2 38431 45 0 0 0 146600 74888 10.9 42 14
37.28/37.36 c s 37.3 38432 45 0 0 0 159510 74894 10.8 42 10
37.77/37.82 c B 37.8 38432 45 0 0 0 160049 74890 10.8 42 12
47.78/47.83 c + 47.8 38432 45 0 0 0 183252 82376 11.0 43 13
55.47/55.50 c N 55.5 38432 45 0 0 0 205147 82386 10.9 42 15
62.87/62.94 c + 62.9 38434 45 0 0 0 229065 90613 10.8 42 16
84.57/84.65 c + 84.6 38461 44 1 0 0 286331 99674 10.5 42 18
92.86/92.90 c 0 92.9 39940 11 34 0 0 306455 99673 10.4 41 18
92.86/92.90 c
92.86/92.90 s UNSATISFIABLE
92.86/92.90 c
92.86/92.90 c 306455 conflicts, 322321 decisions, 1 random
92.86/92.90 c 7 iterations, 5 restarts, 766 skipped
92.86/92.90 c 10 enlarged, 8 shrunken, 2991 rescored, 111 rebiased
92.86/92.90 c 2 simplifications, 0 reductions
92.86/92.90 c
92.86/92.90 c vars: 34 fixed, 0 equiv, 0 elim, 3 merged
92.86/92.90 c elim: 1064631 resolutions, 2 phases, 1 rounds
92.86/92.90 c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
92.86/92.90 c arty: 0.00 and 0.00 xor average arity
92.86/92.90 c prbe: 268 probed, 3 phases, 3 rounds
92.86/92.90 c prbe: 0 failed, 0 lifted, 0 merged
92.86/92.90 c sccs: 0 non trivial, 0 fixed, 0 merged
92.86/92.90 c hash: 6 units, 3 merged
92.86/92.90 c mins: 4011768 learned, 29% deleted, 0 strong, 6 depth
92.86/92.90 c subs: 0 forward, 0 backward, 1339 doms
92.86/92.90 c strs: 0 forward, 0 backward
92.86/92.90 c doms: 1339 dominators, 1307 high, 32 low
92.86/92.90 c prps: 2964198 propagations, 0.03 megaprops
92.86/92.90 c
92.86/92.90 c 92.9 seconds, 18 MB max, 15 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784218-1241925488/watcher-1784218-1241925488 -o /tmp/evaluation-result-1784218-1241925488/solver-1784218-1241925488 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784218-1241925488.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 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: 1.01 1.00 1.00 3/64 31823
/proc/meminfo: memFree=1700216/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=1052 CPUtime=0
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 220582126 1077248 147 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 263 147 63 155 0 106 0
[startup+0.032409 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 31823
/proc/meminfo: memFree=1700216/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=3048 CPUtime=0.02
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 627 0 0 0 2 0 0 0 18 0 1 0 220582126 3121152 612 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 762 612 63 155 0 605 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3048
[startup+0.101416 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 31823
/proc/meminfo: memFree=1700216/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=5992 CPUtime=0.09
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 1603 0 0 0 9 0 0 0 18 0 1 0 220582126 6135808 1349 1992294400 134512640 135151029 4294956240 18446744073709551615 134578746 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 1498 1350 79 155 0 1341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5992
[startup+0.301437 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 31823
/proc/meminfo: memFree=1700216/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=8104 CPUtime=0.29
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 2006 0 0 0 29 0 0 0 19 0 1 0 220582126 8298496 1752 1992294400 134512640 135151029 4294956240 18446744073709551615 134547994 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 2026 1752 79 155 0 1869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8104
[startup+0.70148 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 31823
/proc/meminfo: memFree=1700216/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=4944 CPUtime=0.69
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 2123 0 0 0 69 0 0 0 23 0 1 0 220582126 5062656 1090 1992294400 134512640 135151029 4294956240 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 1236 1090 79 155 0 1079 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4944
[startup+1.50157 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1695280/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=6872 CPUtime=1.49
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 2525 0 0 0 148 1 0 0 25 0 1 0 220582126 7036928 1492 1992294400 134512640 135151029 4294956240 18446744073709551615 134554780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 1718 1492 79 155 0 1561 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6872
[startup+3.10174 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1693680/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=8720 CPUtime=3.09
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 2962 0 0 0 308 1 0 0 25 0 1 0 220582126 8929280 1929 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 2180 1929 79 155 0 2023 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8720
[startup+6.30108 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1690992/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=11148 CPUtime=6.28
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 3517 0 0 0 627 1 0 0 25 0 1 0 220582126 11415552 2484 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 2787 2484 79 155 0 2630 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11148
[startup+12.7018 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1688944/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=12768 CPUtime=12.69
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 3893 0 0 0 1267 2 0 0 25 0 1 0 220582126 13074432 2860 1992294400 134512640 135151029 4294956240 18446744073709551615 134554909 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 3192 2860 79 155 0 3035 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12768
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1686768/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=15228 CPUtime=25.48
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 4464 0 0 0 2545 3 0 0 25 0 1 0 220582126 15593472 3431 1992294400 134512640 135151029 4294956240 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 3807 3431 79 155 0 3650 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15228
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1684848/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=16480 CPUtime=51.08
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 5164 0 0 0 5104 4 0 0 25 0 1 0 220582126 16875520 3911 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 4120 3911 79 155 0 3963 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16480
Solver just ended. Dumping a history of the last processes samples
[startup+76.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1681904/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=20332 CPUtime=76.67
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 5899 0 0 0 7662 5 0 0 25 0 1 0 220582126 20819968 4646 1992294400 134512640 135151029 4294956240 18446744073709551615 134576064 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 5083 4646 79 155 0 4926 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 20332
[startup+83.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1681840/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=20332 CPUtime=83.07
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 5926 0 0 0 8302 5 0 0 25 0 1 0 220582126 20819968 4673 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 5083 4673 79 155 0 4926 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 20332
[startup+89.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1681392/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=20972 CPUtime=89.47
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 6033 0 0 0 8942 5 0 0 25 0 1 0 220582126 21475328 4780 1992294400 134512640 135151029 4294956240 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 5243 4780 79 155 0 5086 0
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (KiB) 20972
[startup+91.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1681328/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=20972 CPUtime=91.06
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 6039 0 0 0 9101 5 0 0 25 0 1 0 220582126 21475328 4786 1992294400 134512640 135151029 4294956240 18446744073709551615 134575991 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 5243 4786 79 155 0 5086 0
Current children cumulated CPU time (s) 91.06
Current children cumulated vsize (KiB) 20972
[startup+91.9013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1681328/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=20972 CPUtime=91.86
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 6041 0 0 0 9181 5 0 0 25 0 1 0 220582126 21475328 4788 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 5243 4788 79 155 0 5086 0
Current children cumulated CPU time (s) 91.86
Current children cumulated vsize (KiB) 20972
[startup+92.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1681264/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=20972 CPUtime=92.66
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 6042 0 0 0 9261 5 0 0 25 0 1 0 220582126 21475328 4789 1992294400 134512640 135151029 4294956240 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 5243 4789 79 155 0 5086 0
Current children cumulated CPU time (s) 92.66
Current children cumulated vsize (KiB) 20972
[startup+92.9014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31824
/proc/meminfo: memFree=1681264/2055920 swapFree=4180928/4192956
[pid=31823] ppid=31821 vsize=20972 CPUtime=92.86
/proc/31823/stat : 31823 (precosat) R 31821 31823 28593 0 -1 4194304 6042 0 0 0 9281 5 0 0 25 0 1 0 220582126 21475328 4789 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31823/statm: 5243 4789 79 155 0 5086 0
Current children cumulated CPU time (s) 92.86
Current children cumulated vsize (KiB) 20972
Child status: 20
Real time (s): 92.9115
CPU time (s): 92.8819
CPU user time (s): 92.8259
CPU system time (s): 0.055991
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 20972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.8259
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6043
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= 246
runsolver used 0.081987 second user time and 0.200969 second system time
The end
Begin job on node19 at 2009-05-10 05:18:09
IDJOB=1784218
IDBENCH=71131
IDSOLVER=607
FILE ID=node19/1784218-1241925488
PBS_JOBID= 9264918
Free space on /tmp= 66204 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/ramseycube/Q32inK10.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784218-1241925488/watcher-1784218-1241925488 -o /tmp/evaluation-result-1784218-1241925488/solver-1784218-1241925488 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784218-1241925488.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6acad6aa08a1137d820dbdd152ca2acc
RANDOM SEED=1103414896
node19.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.236
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.236
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: 1700696 kB
Buffers: 54044 kB
Cached: 222044 kB
SwapCached: 5772 kB
Active: 109944 kB
Inactive: 173984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1700696 kB
SwapTotal: 4192956 kB
SwapFree: 4180928 kB
Dirty: 2252 kB
Writeback: 0 kB
Mapped: 13508 kB
Slab: 57268 kB
Committed_AS: 765836 kB
PageTables: 1452 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= 66204 MiB
End job on node19 at 2009-05-10 05:19:42