0.00/0.00 c Parsing...
0.41/0.47 c ==============================================================================
0.41/0.47 c | | ORIGINAL | LEARNT | |
0.41/0.47 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.41/0.47 c ==============================================================================
0.41/0.47 c | 0 | 648970 1721660 | 194690 0 0 nan | 0.000 % |
8.81/8.89 c | 0 | 438148 2475313 | -- 0 -- -- | -- | -210822/753653
8.81/8.90 c ==============================================================================
8.81/8.90 c Result : #vars: 10026 #clauses: 438148 #literals: 2475313
8.81/8.90 c CPU time: 8.77 s
8.81/8.90 c ==============================================================================
19.61/13.07 c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
19.61/13.07 c ============================[ Problem Statistics ]=============================
19.61/13.07 c | |
19.61/13.07 c threadId : 2
19.61/13.07 c restarts : 10
19.61/13.07 c conflicts : 8460 (851 /sec)
19.61/13.07 c decisions : 14048 (1.87 % random) (1413 /sec)
19.61/13.07 c propagations : 4956800 (498672 /sec)
19.61/13.07 c conflict literals : 109255 (26.52 % deleted)
19.61/13.07 c Memory used : 157.59 MB
19.61/13.07 c CPU time : 9.94 s
19.61/13.07
19.61/13.07 c --->m=4, e=8, aimd=2, HOME/27252_many.cnf time: 2.485 conflicts: 8460
19.61/13.08 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776097-1243507188/watcher-1776097-1243507188 -o /tmp/evaluation-result-1776097-1243507188/solver-1776097-1243507188 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776097-1243507188.cnf aimd 2
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): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.78 3.06 3.52 3/98 27252
/proc/meminfo: memFree=3115032/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2416 CPUtime=0
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 932295574 2473984 274 4294967295 134512640 135169312 3217774592 3217773128 3085340398 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/27252/statm: 604 274 231 161 0 43 0
[pid=27253] ppid=27252 vsize=1248 CPUtime=0.01
/proc/27253/stat : 27253 (SatElite) R 27252 27252 28360 0 -1 4202496 272 0 0 0 1 0 0 0 19 0 1 0 932295574 1277952 208 4294967295 134512640 135034092 3220648576 3220644920 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27253/statm: 312 208 51 128 0 182 0
[startup+0.023221 s]
/proc/loadavg: 2.78 3.06 3.52 3/98 27252
/proc/meminfo: memFree=3115032/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2416 CPUtime=0
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 932295574 2473984 274 4294967295 134512640 135169312 3217774592 3217773128 3085340398 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/27252/statm: 604 274 231 161 0 43 0
[pid=27253] ppid=27252 vsize=3556 CPUtime=0.03
/proc/27253/stat : 27253 (SatElite) R 27252 27252 28360 0 -1 4202496 793 0 0 0 3 0 0 0 19 0 1 0 932295574 3641344 729 4294967295 134512640 135034092 3220648576 3220644920 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27253/statm: 889 730 51 128 0 759 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5972
[startup+0.103212 s]
/proc/loadavg: 2.78 3.06 3.52 3/98 27252
/proc/meminfo: memFree=3115032/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2416 CPUtime=0
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 932295574 2473984 274 4294967295 134512640 135169312 3217774592 3217773128 3085340398 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/27252/statm: 604 274 231 161 0 43 0
[pid=27253] ppid=27252 vsize=13016 CPUtime=0.11
/proc/27253/stat : 27253 (SatElite) R 27252 27252 28360 0 -1 4202496 2864 0 0 0 9 2 0 0 20 0 1 0 932295574 13328384 2800 4294967295 134512640 135034092 3220648576 3220644568 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27253/statm: 3254 2800 51 128 0 3124 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15432
[startup+0.303199 s]
/proc/loadavg: 2.78 3.06 3.52 3/98 27252
/proc/meminfo: memFree=3115032/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2416 CPUtime=0
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 932295574 2473984 274 4294967295 134512640 135169312 3217774592 3217773128 3085340398 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/27252/statm: 604 274 231 161 0 43 0
[pid=27253] ppid=27252 vsize=40836 CPUtime=0.31
/proc/27253/stat : 27253 (SatElite) R 27252 27252 28360 0 -1 4202496 8769 0 0 0 27 4 0 0 20 0 1 0 932295574 41816064 8705 4294967295 134512640 135034092 3220648576 3220644784 134548092 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27253/statm: 10209 8705 51 128 0 10079 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 43252
[startup+0.703169 s]
/proc/loadavg: 2.78 3.06 3.52 3/98 27252
/proc/meminfo: memFree=3115032/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2416 CPUtime=0
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 932295574 2473984 274 4294967295 134512640 135169312 3217774592 3217773128 3085340398 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/27252/statm: 604 274 231 161 0 43 0
[pid=27253] ppid=27252 vsize=71592 CPUtime=0.71
/proc/27253/stat : 27253 (SatElite) R 27252 27252 28360 0 -1 4202496 16812 0 0 0 64 7 0 0 21 0 1 0 932295574 73310208 16432 4294967295 134512640 135034092 3220648576 3220644768 134540678 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27253/statm: 17898 16432 67 128 0 17768 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 74008
[startup+1.5031 s]
/proc/loadavg: 2.78 3.06 3.52 2/100 27254
/proc/meminfo: memFree=3044780/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2416 CPUtime=0
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 932295574 2473984 274 4294967295 134512640 135169312 3217774592 3217773128 3085340398 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/27252/statm: 604 274 231 161 0 43 0
[pid=27253] ppid=27252 vsize=75636 CPUtime=1.5
/proc/27253/stat : 27253 (SatElite) R 27252 27252 28360 0 -1 4202496 17750 0 0 0 142 8 0 0 23 0 1 0 932295574 77451264 17370 4294967295 134512640 135034092 3220648576 3220644572 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27253/statm: 18909 17370 67 128 0 18779 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 78052
[startup+3.10297 s]
/proc/loadavg: 2.64 3.03 3.50 2/100 27254
/proc/meminfo: memFree=3033332/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2416 CPUtime=0
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 932295574 2473984 274 4294967295 134512640 135169312 3217774592 3217773128 3085340398 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/27252/statm: 604 274 231 161 0 43 0
[pid=27253] ppid=27252 vsize=82396 CPUtime=3.1
/proc/27253/stat : 27253 (SatElite) R 27252 27252 28360 0 -1 4202496 19361 0 0 0 298 12 0 0 25 0 1 0 932295574 84373504 18981 4294967295 134512640 135034092 3220648576 3220644572 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27253/statm: 20599 18981 67 128 0 20469 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 84812
[startup+6.3027 s]
/proc/loadavg: 2.64 3.03 3.50 2/100 27255
/proc/meminfo: memFree=3011740/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2416 CPUtime=0
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 932295574 2473984 274 4294967295 134512640 135169312 3217774592 3217773128 3085340398 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/27252/statm: 604 274 231 161 0 43 0
[pid=27253] ppid=27252 vsize=99572 CPUtime=6.3
/proc/27253/stat : 27253 (SatElite) R 27252 27252 28360 0 -1 4202496 22544 0 0 0 618 12 0 0 25 0 1 0 932295574 101961728 21850 4294967295 134512640 135034092 3220648576 3220644880 134569395 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27253/statm: 24893 21850 67 128 0 24763 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 101988
[startup+12.7091 s]
/proc/loadavg: 2.62 3.01 3.49 5/103 27260
/proc/meminfo: memFree=2952200/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2420 CPUtime=9.72
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 370 23992 0 0 0 0 954 18 18 0 1 0 932295574 2478080 275 4294967295 134512640 135169312 3217774592 3217770808 3085340398 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27252/statm: 605 275 231 161 0 44 0
[pid=27257] ppid=27252 vsize=160184 CPUtime=8.71
/proc/27257/stat : 27257 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202496 33306 0 0 0 846 25 0 0 15 0 4 0 932296547 164028416 33242 4294967295 134512640 135305190 3214591200 3214589128 134694990 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/27257/statm: 40046 33242 79 194 0 39850 0
[pid=27257/tid=27258] ppid=27252 vsize=160184 CPUtime=1.94
/proc/27257/task/27258/stat : 27258 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202560 1453 0 0 0 189 5 0 0 16 0 4 0 932296646 164028416 33242 4294967295 134512640 135305190 3214591200 3074919284 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27257/tid=27259] ppid=27252 vsize=160184 CPUtime=1.92
/proc/27257/task/27259/stat : 27259 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202560 1119 0 0 0 187 5 0 0 16 0 4 0 932296646 164028416 33242 4294967295 134512640 135305190 3214591200 3066530756 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=27257/tid=27260] ppid=27252 vsize=160184 CPUtime=1.92
/proc/27257/task/27260/stat : 27260 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202560 1155 0 0 0 188 4 0 0 16 0 4 0 932296646 164028416 33242 4294967295 134512640 135305190 3214591200 3058142148 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.43
Current children cumulated vsize (KiB) 162604
Solver just ended. Dumping a history of the last processes samples
[startup+12.9088 s]
/proc/loadavg: 2.62 3.01 3.49 5/103 27260
/proc/meminfo: memFree=2952200/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2420 CPUtime=9.72
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 370 23992 0 0 0 0 954 18 18 0 1 0 932295574 2478080 275 4294967295 134512640 135169312 3217774592 3217770808 3085340398 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27252/statm: 605 275 231 161 0 44 0
[pid=27257] ppid=27252 vsize=160844 CPUtime=9.51
/proc/27257/stat : 27257 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202496 33523 0 0 0 926 25 0 0 16 0 4 0 932296547 164704256 33459 4294967295 134512640 135305190 3214591200 3214589300 134694990 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/27257/statm: 40211 33459 79 194 0 40015 0
[pid=27257/tid=27258] ppid=27252 vsize=160844 CPUtime=2.14
/proc/27257/task/27258/stat : 27258 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202560 1483 0 0 0 209 5 0 0 16 0 4 0 932296646 164704256 33459 4294967295 134512640 135305190 3214591200 3074919612 134570384 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27257/tid=27259] ppid=27252 vsize=160844 CPUtime=2.12
/proc/27257/task/27259/stat : 27259 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202560 1224 0 0 0 207 5 0 0 16 0 4 0 932296646 164704256 33459 4294967295 134512640 135305190 3214591200 3066530852 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=27257/tid=27260] ppid=27252 vsize=160844 CPUtime=2.12
/proc/27257/task/27260/stat : 27260 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202560 1194 0 0 0 208 4 0 0 16 0 4 0 932296646 164704256 33459 4294967295 134512640 135305190 3214591200 3058142168 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.23
Current children cumulated vsize (KiB) 163264
[startup+13.0018 s]
/proc/loadavg: 2.62 3.01 3.49 5/103 27260
/proc/meminfo: memFree=2952200/3368532 swapFree=1959840/1959888
[pid=27252] ppid=27250 vsize=2420 CPUtime=9.72
/proc/27252/stat : 27252 (manysat.sh) S 27250 27252 28360 0 -1 4194304 370 23992 0 0 0 0 954 18 18 0 1 0 932295574 2478080 275 4294967295 134512640 135169312 3217774592 3217770808 3085340398 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27252/statm: 605 275 231 161 0 44 0
[pid=27257] ppid=27252 vsize=161108 CPUtime=9.89
/proc/27257/stat : 27257 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202496 33615 0 0 0 964 25 0 0 16 0 4 0 932296547 164974592 33551 4294967295 134512640 135305190 3214591200 3214589376 134530552 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/27257/statm: 40277 33551 79 194 0 40081 0
[pid=27257/tid=27258] ppid=27252 vsize=161108 CPUtime=2.23
/proc/27257/task/27258/stat : 27258 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202560 1520 0 0 0 218 5 0 0 15 0 4 0 932296646 164974592 33551 4294967295 134512640 135305190 3214591200 3074919364 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27257/tid=27259] ppid=27252 vsize=161108 CPUtime=2.22
/proc/27257/task/27259/stat : 27259 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202560 1247 0 0 0 217 5 0 0 16 0 4 0 932296646 164974592 33551 4294967295 134512640 135305190 3214591200 3066531008 134528376 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=27257/tid=27260] ppid=27252 vsize=161108 CPUtime=2.22
/proc/27257/task/27260/stat : 27260 (manysat1.1_stat) R 27252 27252 28360 0 -1 4202560 1220 0 0 0 218 4 0 0 16 0 4 0 932296646 164974592 33551 4294967295 134512640 135305190 3214591200 3058142400 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.61
Current children cumulated vsize (KiB) 163528
Child status: 20
Real time (s): 13.1006
CPU time (s): 19.93
CPU user time (s): 19.48
CPU system time (s): 0.45
CPU usage (%): 152.131
Max. virtual memory (cumulated for all children) (KiB): 163528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.48
system time used= 0.45
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58313
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= 16605
involuntary context switches= 248
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi39 at 2009-05-28 12:39:48
IDJOB=1776097
IDBENCH=20421
IDSOLVER=626
FILE ID=tipi39/1776097-1243507188
PBS_JOBID=
Free space on /tmp= 5732 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/palacios/uts/uts-l06-ipc5-h28-unknown.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776097-1243507188/watcher-1776097-1243507188 -o /tmp/evaluation-result-1776097-1243507188/solver-1776097-1243507188 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776097-1243507188.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= ccc94758bbd09de3056ff3a062ddfd45
RANDOM SEED= 688515803
Linux tipi39 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.067
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.41
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.067
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.10
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.067
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.16
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.067
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3115032 kB
Buffers: 35236 kB
Cached: 121940 kB
SwapCached: 0 kB
Active: 105152 kB
Inactive: 68740 kB
HighTotal: 2489216 kB
HighFree: 2353208 kB
LowTotal: 879316 kB
LowFree: 761824 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 13644 kB
Writeback: 0 kB
AnonPages: 16332 kB
Mapped: 6276 kB
Slab: 70104 kB
SReclaimable: 57644 kB
SUnreclaim: 12460 kB
PageTables: 528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 95168 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 5732 MiB
End job on tipi39 at 2009-05-28 12:40:01