15.17/15.22 c run March_dl for 5 seconds ...
15.17/15.22 c Bin: Executing march_dl
15.17/15.22 c child exit by a signal
15.17/15.22 c march_dl returned code 137.
15.17/15.22 c run saps (UBCSAT implementation) for 2 seconds ...
15.17/15.22 c Bin: Executing ubcsat2006
15.17/15.22 c child exited successfully
15.17/15.22 c ubcsat2006 returned code 0.
15.17/15.22 c satzilla computing base features
15.17/15.22 c satzilla doing unit-prop probe
15.17/15.22 c satzilla doing local search probe
15.17/15.22 c satzilla doing lobjois search-space size estimate
15.17/15.22 c satzilla's ranking:
15.17/15.22 c 1) zchaff_rand+P: 1.044978
15.17/15.22 c 2) march_dl+P: 3.696172
15.17/15.22 c 3) march_dl: 3.807100
15.17/15.22 c 4) vallst+P: 3.937807
15.17/15.22 c 5) minisat20: 4.143561
15.17/15.22 c 6) minisat20+P: 4.447686
15.17/15.22 c 7) kcnfs+P: 999.000000
15.17/15.22 c 8) kcnfs: 999.000000
15.17/15.22 c 9) vallst: 999.000000
15.17/15.22 c 10) zchaff_rand: 999.000000
15.17/15.22 c satzilla running zchaff_rand with preprocessing ...
29.56/29.61 c Preprocessing...
29.56/29.61 c Inital problem has 2025 variables, 85185 nary clauses (990 binary clauses).
29.56/29.61 c Num non-binary clauses 85185, Average non-binary clause length 3.022
29.56/29.61 c Preprocessor runtime was 0.210 seconds.
29.56/29.61 c
29.56/29.61 c Satisfiability of theory still undetermined.
29.56/29.61 c See file /tmp/N3RLCT for simplified theory.
29.56/29.61 c Bin: Executing zchaff_rand
29.56/29.61 c child exited successfully
29.56/29.61 c zchaff_rand returned code 20.
29.56/29.61 s UNSATISFIABLE
29.56/29.61 c SATZILLA_TIME=29.590000
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-338429-1173685743 -o ROOT/results/node30/solver-338429-1173685743 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/338429-1173685743/SATzilla2007_C /tmp/evaluation/338429-1173685743/instance-338429-1173685743.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.08 1.11 1.87 3/77 24993
/proc/meminfo: memFree=1628768/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=1440 CPUtime=0
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 24879138 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 360 110 95 260 0 84 0
[pid=24994] ppid=24993 vsize=1448 CPUtime=0
/proc/24994/stat : 24994 (march_dl) R 24993 24993 22750 0 -1 4194304 188 0 0 0 0 0 0 0 19 0 1 0 24879138 1482752 183 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24994/statm: 362 184 50 118 0 241 0
[startup+0.101526 s]
/proc/loadavg: 1.08 1.11 1.87 3/77 24993
/proc/meminfo: memFree=1628768/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=1440 CPUtime=0
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 24879138 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 360 110 95 260 0 84 0
[pid=24994] ppid=24993 vsize=2504 CPUtime=0.09
/proc/24994/stat : 24994 (march_dl) R 24993 24993 22750 0 -1 4194304 525 0 0 0 9 0 0 0 19 0 1 0 24879138 2564096 520 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24994/statm: 626 520 50 118 0 505 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3944
[startup+0.201539 s]
/proc/loadavg: 1.08 1.11 1.87 3/77 24993
/proc/meminfo: memFree=1628768/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=1440 CPUtime=0
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 24879138 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 360 110 95 260 0 84 0
[pid=24994] ppid=24993 vsize=5240 CPUtime=0.19
/proc/24994/stat : 24994 (march_dl) R 24993 24993 22750 0 -1 4194304 1202 0 0 0 19 0 0 0 20 0 1 0 24879138 5365760 868 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134617577 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24994/statm: 1310 869 53 118 0 1189 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6680
[startup+0.301554 s]
/proc/loadavg: 1.08 1.11 1.87 3/77 24993
/proc/meminfo: memFree=1628768/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=1440 CPUtime=0
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 24879138 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 360 110 95 260 0 84 0
[pid=24994] ppid=24993 vsize=5500 CPUtime=0.29
/proc/24994/stat : 24994 (march_dl) R 24993 24993 22750 0 -1 4194304 2408 0 0 0 29 0 0 0 21 0 1 0 24879138 5632000 977 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134542888 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24994/statm: 1375 977 57 118 0 1254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6940
[startup+0.70161 s]
/proc/loadavg: 1.08 1.11 1.87 3/77 24993
/proc/meminfo: memFree=1628768/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=1440 CPUtime=0
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 24879138 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 360 110 95 260 0 84 0
[pid=24994] ppid=24993 vsize=6132 CPUtime=0.69
/proc/24994/stat : 24994 (march_dl) R 24993 24993 22750 0 -1 4194304 7924 0 0 0 66 3 0 0 25 0 1 0 24879138 6279168 1147 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134541551 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24994/statm: 1533 1147 72 118 0 1412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7572
[startup+1.50172 s]
/proc/loadavg: 1.08 1.11 1.87 2/79 24995
/proc/meminfo: memFree=1619152/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=1440 CPUtime=0
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 24879138 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 360 110 95 260 0 84 0
[pid=24994] ppid=24993 vsize=11524 CPUtime=1.48
/proc/24994/stat : 24994 (march_dl) R 24993 24993 22750 0 -1 4194304 9231 0 0 0 121 27 0 0 25 0 1 0 24879138 11800576 2454 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134675049 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24994/statm: 2881 2454 73 118 0 2760 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12964
[startup+3.10195 s]
/proc/loadavg: 1.08 1.11 1.87 2/79 24995
/proc/meminfo: memFree=1619024/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=1440 CPUtime=0
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 24879138 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 360 110 95 260 0 84 0
[pid=24994] ppid=24993 vsize=10540 CPUtime=3.09
/proc/24994/stat : 24994 (march_dl) R 24993 24993 22750 0 -1 4194304 10729 0 0 0 257 52 0 0 25 0 1 0 24879138 10792960 2227 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134527835 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24994/statm: 2635 2227 75 118 0 2514 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11980
[startup+6.3014 s]
/proc/loadavg: 1.07 1.11 1.87 2/79 24996
/proc/meminfo: memFree=1623632/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=1440 CPUtime=4.99
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 135 10803 0 0 0 0 447 52 18 0 1 0 24879138 1474560 111 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/24993/statm: 360 111 96 260 0 84 0
[pid=24996] ppid=24993 vsize=10288 CPUtime=1.28
/proc/24996/stat : 24996 (ubcsat2006) R 24993 24993 22750 0 -1 4194304 1367 0 0 0 127 1 0 0 25 0 1 0 24879638 10534912 1350 18446744073709551615 134512640 134777720 4294956592 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24996/statm: 2572 1350 156 64 0 2153 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11728
[startup+12.7013 s]
/proc/loadavg: 1.07 1.10 1.86 2/78 24996
/proc/meminfo: memFree=1618264/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=14820 CPUtime=12.68
/proc/24993/stat : 24993 (SATzilla2007_C) R 24991 24993 22750 0 -1 4194304 3942 12176 0 0 550 3 659 56 25 0 1 0 24879138 15175680 2722 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135183900 0 0 4096 0 0 0 0 17 1 0 0
/proc/24993/statm: 3705 2722 150 260 0 3429 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14820
[startup+25.5011 s]
/proc/loadavg: 1.05 1.10 1.85 2/79 24997
/proc/meminfo: memFree=1602512/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=15912 CPUtime=15.54
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 7335 12176 0 0 830 9 659 56 25 0 1 0 24879138 16293888 3784 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3978 3784 164 260 0 3702 0
[pid=24997] ppid=24993 vsize=19320 CPUtime=9.92
/proc/24997/stat : 24997 (zchaff_rand) R 24993 24993 22750 0 -1 4194304 3874 0 0 0 980 12 0 0 25 0 1 0 24880694 19783680 2621 18446744073709551615 134512640 135365884 4294956768 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24997/statm: 4830 2621 112 208 0 4602 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 35232
Solver just ended. Dumping a history of the last processes samples
[startup+25.6011 s]
/proc/loadavg: 1.05 1.10 1.85 2/79 24997
/proc/meminfo: memFree=1602512/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=15912 CPUtime=15.54
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 7335 12176 0 0 830 9 659 56 25 0 1 0 24879138 16293888 3784 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3978 3784 164 260 0 3702 0
[pid=24997] ppid=24993 vsize=19320 CPUtime=10.02
/proc/24997/stat : 24997 (zchaff_rand) R 24993 24993 22750 0 -1 4194304 3881 0 0 0 990 12 0 0 25 0 1 0 24880694 19783680 2628 18446744073709551615 134512640 135365884 4294956768 18446744073709551615 134606982 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24997/statm: 4830 2628 112 208 0 4602 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 35232
[startup+27.2014 s]
/proc/loadavg: 1.05 1.10 1.85 2/79 24997
/proc/meminfo: memFree=1602320/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=15912 CPUtime=15.54
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 7335 12176 0 0 830 9 659 56 25 0 1 0 24879138 16293888 3784 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3978 3784 164 260 0 3702 0
[pid=24997] ppid=24993 vsize=19556 CPUtime=11.62
/proc/24997/stat : 24997 (zchaff_rand) R 24993 24993 22750 0 -1 4194304 4001 0 0 0 1146 16 0 0 25 0 1 0 24880694 20025344 2748 18446744073709551615 134512640 135365884 4294956768 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24997/statm: 4889 2748 112 208 0 4661 0
Current children cumulated CPU time (s) 27.16
Current children cumulated vsize (KiB) 35468
[startup+28.8016 s]
/proc/loadavg: 1.05 1.10 1.85 2/79 24997
/proc/meminfo: memFree=1601808/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=15912 CPUtime=15.54
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 7335 12176 0 0 830 9 659 56 25 0 1 0 24879138 16293888 3784 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3978 3784 164 260 0 3702 0
[pid=24997] ppid=24993 vsize=19556 CPUtime=13.21
/proc/24997/stat : 24997 (zchaff_rand) R 24993 24993 22750 0 -1 4194304 4061 0 0 0 1301 20 0 0 25 0 1 0 24880694 20025344 2808 18446744073709551615 134512640 135365884 4294956768 18446744073709551615 134553832 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24997/statm: 4889 2808 112 208 0 4661 0
Current children cumulated CPU time (s) 28.75
Current children cumulated vsize (KiB) 35468
[startup+29.2026 s]
/proc/loadavg: 1.05 1.10 1.85 2/79 24997
/proc/meminfo: memFree=1601808/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=15912 CPUtime=15.54
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 7335 12176 0 0 830 9 659 56 25 0 1 0 24879138 16293888 3784 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3978 3784 164 260 0 3702 0
[pid=24997] ppid=24993 vsize=19672 CPUtime=13.61
/proc/24997/stat : 24997 (zchaff_rand) R 24993 24993 22750 0 -1 4194304 4088 0 0 0 1340 21 0 0 25 0 1 0 24880694 20144128 2835 18446744073709551615 134512640 135365884 4294956768 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24997/statm: 4918 2835 112 208 0 4690 0
Current children cumulated CPU time (s) 29.15
Current children cumulated vsize (KiB) 35584
[startup+29.6027 s]
/proc/loadavg: 1.05 1.10 1.85 2/79 24997
/proc/meminfo: memFree=1601808/2055920 swapFree=4192956/4192956
[pid=24993] ppid=24991 vsize=15912 CPUtime=15.54
/proc/24993/stat : 24993 (SATzilla2007_C) S 24991 24993 22750 0 -1 4194304 7335 12176 0 0 830 9 659 56 25 0 1 0 24879138 16293888 3784 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/24993/statm: 3978 3784 164 260 0 3702 0
[pid=24997] ppid=24993 vsize=19672 CPUtime=14.02
/proc/24997/stat : 24997 (zchaff_rand) R 24993 24993 22750 0 -1 4194304 4129 0 0 0 1380 22 0 0 25 0 1 0 24880694 20144128 2876 18446744073709551615 134512640 135365884 4294956768 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 1 0 0
/proc/24997/statm: 4918 2876 112 208 0 4690 0
Current children cumulated CPU time (s) 29.56
Current children cumulated vsize (KiB) 35584
Child status: 20
Real time (s): 29.6206
CPU time (s): 29.6005
CPU user time (s): 28.7106
CPU system time (s): 0.889864
CPU usage (%): 99.932
Max. virtual memory (cumulated for all children) (KiB): 35584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.7106
system time used= 0.889864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23665
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= 28
involuntary context switches= 619
runsolver used 0.038994 second user time and 0.077988 second system time
The end
Begin job on node30 on Mon Mar 12 07:49:04 UTC 2007
IDJOB= 338429
IDBENCH= 24722
IDSOLVER= 135
FILE ID= node30/338429-1173685743
PBS_JOBID= 4101458
Free space on /tmp= 66329 MiB
SOLVER NAME= SATzilla CRAFTED
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/sabharwal/gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/338429-1173685743/SATzilla2007_C /tmp/evaluation/338429-1173685743/instance-338429-1173685743.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-338429-1173685743 -o ROOT/results/node30/solver-338429-1173685743 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/338429-1173685743/SATzilla2007_C /tmp/evaluation/338429-1173685743/instance-338429-1173685743.cnf
META MD5SUM SOLVER= a1f00d13cbb558b34a83b365ff80fcc3
MD5SUM BENCH= ae4e3f3661a3c7ad7c7ec30d56d611a1
RANDOM SEED= 426007078
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node30.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.266
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.266
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: 1629304 kB
Buffers: 42948 kB
Cached: 291612 kB
SwapCached: 0 kB
Active: 289300 kB
Inactive: 89480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1629304 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 9812 kB
Writeback: 0 kB
Mapped: 63140 kB
Slab: 33452 kB
Committed_AS: 165356 kB
PageTables: 1680 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= 66329 MiB
End job on node30 on Mon Mar 12 07:49:33 UTC 2007