0.00/0.00 c Parsing...
0.91/0.97 c ==============================================================================
0.91/0.97 c | | ORIGINAL | LEARNT | |
0.91/0.97 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.91/0.97 c ==============================================================================
0.91/0.97 c | 0 | 512081 1166425 | 153624 0 0 nan | 0.000 % |
3.71/3.76 c | 0 | 104585 338143 | -- 0 -- -- | -- | -229624/-408982
3.71/3.76 c ==============================================================================
3.71/3.76 c Result : #vars: 22541 #clauses: 104585 #literals: 338143
3.71/3.76 c CPU time: 3.62 s
3.71/3.76 c ==============================================================================
3.91/3.94 c WARNING: for repeatability, setting FPU to use double precision
3.91/3.95 c Number of variables : 22541
3.91/3.95 c Number of clauses : 104585
3.94/4.05 c Parsing time: 0.09 s
30.60/30.65 c restarts : 421
30.60/30.65 c conflicts : 84863 (3181 /sec)
30.60/30.65 c decisions : 481464 (1.61 % random) (18046 /sec)
30.60/30.65 c propagations : 26473836 (992273 /sec)
30.60/30.65 c conflict literals : 826473 (21.55 % deleted)
30.60/30.65 c Memory used : 12.86 MB
30.60/30.65 c CPU time : 26.68 s
30.60/30.65 UNSATISFIABLE
30.60/30.65
30.60/30.65 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821972-1242584706/watcher-1821972-1242584706 -o /tmp/evaluation-result-1821972-1242584706/solver-1821972-1242584706 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821972-1242584706.cnf -random-seed=2063656590
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): 1800 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.97 0.98 0.99 2/93 15219
/proc/meminfo: memFree=926564/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2412 CPUtime=0
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1022971565 2469888 277 4294967295 134512640 135169312 3216178784 3216177320 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15219/statm: 603 277 235 161 0 42 0
[pid=15223] ppid=15219 vsize=952 CPUtime=0
/proc/15223/stat : 15223 (SatELite_releas) R 15219 15219 10114 0 -1 4202496 131 0 0 0 0 0 0 0 25 0 1 0 1022971565 974848 67 4294967295 134512640 135223648 3214056544 3214055264 134734703 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15223/statm: 238 70 45 174 0 63 0
[startup+0.079243 s]
/proc/loadavg: 0.97 0.98 0.99 2/93 15219
/proc/meminfo: memFree=926564/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2412 CPUtime=0
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1022971565 2469888 277 4294967295 134512640 135169312 3216178784 3216177320 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15219/statm: 603 277 235 161 0 42 0
[pid=15223] ppid=15219 vsize=26036 CPUtime=0.08
/proc/15223/stat : 15223 (SatELite_releas) R 15219 15219 10114 0 -1 4202496 5044 0 0 0 5 3 0 0 25 0 1 0 1022971565 26660864 4835 4294967295 134512640 135223648 3214056544 3214055128 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15223/statm: 6509 4836 47 174 0 6334 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28448
[startup+0.109241 s]
/proc/loadavg: 0.97 0.98 0.99 2/93 15219
/proc/meminfo: memFree=926564/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2412 CPUtime=0
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1022971565 2469888 277 4294967295 134512640 135169312 3216178784 3216177320 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15219/statm: 603 277 235 161 0 42 0
[pid=15223] ppid=15219 vsize=29232 CPUtime=0.11
/proc/15223/stat : 15223 (SatELite_releas) R 15219 15219 10114 0 -1 4202496 5831 0 0 0 7 4 0 0 25 0 1 0 1022971565 29933568 5621 4294967295 134512640 135223648 3214056544 3214055496 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15223/statm: 7308 5622 47 174 0 7133 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31644
[startup+0.309232 s]
/proc/loadavg: 0.97 0.98 0.99 2/93 15219
/proc/meminfo: memFree=926564/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2412 CPUtime=0
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1022971565 2469888 277 4294967295 134512640 135169312 3216178784 3216177320 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15219/statm: 603 277 235 161 0 42 0
[pid=15223] ppid=15219 vsize=45832 CPUtime=0.31
/proc/15223/stat : 15223 (SatELite_releas) R 15219 15219 10114 0 -1 4202496 9902 0 0 0 27 4 0 0 25 0 1 0 1022971565 46931968 9692 4294967295 134512640 135223648 3214056544 3214055128 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15223/statm: 11458 9692 47 174 0 11283 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 48244
[startup+0.709212 s]
/proc/loadavg: 0.97 0.98 0.99 2/93 15219
/proc/meminfo: memFree=926564/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2412 CPUtime=0
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1022971565 2469888 277 4294967295 134512640 135169312 3216178784 3216177320 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15219/statm: 603 277 235 161 0 42 0
[pid=15223] ppid=15219 vsize=64848 CPUtime=0.71
/proc/15223/stat : 15223 (SatELite_releas) R 15219 15219 10114 0 -1 4202496 14694 0 0 0 64 7 0 0 25 0 1 0 1022971565 66404352 14484 4294967295 134512640 135223648 3214056544 3214055496 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15223/statm: 16212 14485 47 174 0 16037 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 67260
[startup+1.50917 s]
/proc/loadavg: 0.97 0.98 0.99 4/95 15224
/proc/meminfo: memFree=858952/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2412 CPUtime=0
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1022971565 2469888 277 4294967295 134512640 135169312 3216178784 3216177320 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15219/statm: 603 277 235 161 0 42 0
[pid=15223] ppid=15219 vsize=82232 CPUtime=1.51
/proc/15223/stat : 15223 (SatELite_releas) R 15219 15219 10114 0 -1 4202496 20130 0 0 0 140 11 0 0 25 0 1 0 1022971565 84205568 18378 4294967295 134512640 135223648 3214056544 3214054544 134548963 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15223/statm: 20558 18378 73 174 0 20383 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 84644
[startup+3.1091 s]
/proc/loadavg: 0.98 0.98 0.99 4/95 15224
/proc/meminfo: memFree=849156/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2412 CPUtime=0
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1022971565 2469888 277 4294967295 134512640 135169312 3216178784 3216177320 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15219/statm: 603 277 235 161 0 42 0
[pid=15223] ppid=15219 vsize=83648 CPUtime=3.11
/proc/15223/stat : 15223 (SatELite_releas) R 15219 15219 10114 0 -1 4202496 20506 0 0 0 298 13 0 0 25 0 1 0 1022971565 85655552 18628 4294967295 134512640 135223648 3214056544 3214054560 134587312 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15223/statm: 20912 18628 73 174 0 20737 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 86060
[startup+6.30894 s]
/proc/loadavg: 0.98 0.98 0.99 5/95 15225
/proc/meminfo: memFree=909172/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2416 CPUtime=3.94
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 385 23932 0 0 0 0 380 14 20 0 1 0 1022971565 2473984 278 4294967295 134512640 135169312 3216178784 3216175000 3085446894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15219/statm: 604 278 235 161 0 43 0
[pid=15225] ppid=15219 vsize=8972 CPUtime=2.36
/proc/15225/stat : 15225 (minisat_static) R 15219 15219 10114 0 -1 4202496 2097 0 0 0 234 2 0 0 22 0 1 0 1022971960 9187328 2031 4294967295 134512640 135212243 3216715600 3216714304 134538353 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15225/statm: 2243 2031 74 171 0 2070 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 11388
[startup+12.7086 s]
/proc/loadavg: 0.98 0.98 0.99 3/95 15225
/proc/meminfo: memFree=907756/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2416 CPUtime=3.94
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 385 23932 0 0 0 0 380 14 20 0 1 0 1022971565 2473984 278 4294967295 134512640 135169312 3216178784 3216175000 3085446894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15219/statm: 604 278 235 161 0 43 0
[pid=15225] ppid=15219 vsize=10720 CPUtime=8.76
/proc/15225/stat : 15225 (minisat_static) R 15219 15219 10114 0 -1 4202496 2515 0 0 0 874 2 0 0 25 0 1 0 1022971960 10977280 2449 4294967295 134512640 135212243 3216715600 3216714208 134526248 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15225/statm: 2680 2449 74 171 0 2507 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 13136
[startup+25.508 s]
/proc/loadavg: 0.98 0.98 0.99 3/95 15226
/proc/meminfo: memFree=905092/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2416 CPUtime=3.94
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 385 23932 0 0 0 0 380 14 20 0 1 0 1022971565 2473984 278 4294967295 134512640 135169312 3216178784 3216175000 3085446894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15219/statm: 604 278 235 161 0 43 0
[pid=15225] ppid=15219 vsize=13164 CPUtime=21.56
/proc/15225/stat : 15225 (minisat_static) R 15219 15219 10114 0 -1 4202496 3117 0 0 0 2154 2 0 0 25 0 1 0 1022971960 13479936 3051 4294967295 134512640 135212243 3216715600 3216714208 134526078 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15225/statm: 3291 3051 74 171 0 3118 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 15580
Solver just ended. Dumping a history of the last processes samples
[startup+28.7079 s]
/proc/loadavg: 0.98 0.98 0.99 3/95 15227
/proc/meminfo: memFree=905092/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2416 CPUtime=3.94
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 385 23932 0 0 0 0 380 14 20 0 1 0 1022971565 2473984 278 4294967295 134512640 135169312 3216178784 3216175000 3085446894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15219/statm: 604 278 235 161 0 43 0
[pid=15225] ppid=15219 vsize=13164 CPUtime=24.76
/proc/15225/stat : 15225 (minisat_static) R 15219 15219 10114 0 -1 4202496 3117 0 0 0 2474 2 0 0 25 0 1 0 1022971960 13479936 3051 4294967295 134512640 135212243 3216715600 3216714208 134526248 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15225/statm: 3291 3051 74 171 0 3118 0
Current children cumulated CPU time (s) 28.7
Current children cumulated vsize (KiB) 15580
[startup+30.3078 s]
/proc/loadavg: 0.98 0.98 0.99 3/95 15227
/proc/meminfo: memFree=905000/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2416 CPUtime=3.94
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 385 23932 0 0 0 0 380 14 20 0 1 0 1022971565 2473984 278 4294967295 134512640 135169312 3216178784 3216175000 3085446894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15219/statm: 604 278 235 161 0 43 0
[pid=15225] ppid=15219 vsize=13164 CPUtime=26.36
/proc/15225/stat : 15225 (minisat_static) R 15219 15219 10114 0 -1 4202496 3117 0 0 0 2634 2 0 0 25 0 1 0 1022971960 13479936 3051 4294967295 134512640 135212243 3216715600 3216714208 134526248 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15225/statm: 3291 3051 74 171 0 3118 0
Current children cumulated CPU time (s) 30.3
Current children cumulated vsize (KiB) 15580
[startup+30.7078 s]
/proc/loadavg: 0.98 0.98 0.99 1/95 15228
/proc/meminfo: memFree=921296/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2932 CPUtime=30.65
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 474 27062 0 0 0 0 3049 16 18 0 1 0 1022971565 3002368 346 4294967295 134512640 135169312 3216178784 3216174168 3085446894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15219/statm: 733 346 237 161 0 172 0
[pid=15228] ppid=15219 vsize=1584 CPUtime=0
/proc/15228/stat : 15228 (rm) D 15219 15219 10114 0 -1 4194304 168 0 0 0 0 0 0 0 21 0 1 0 1022974631 1622016 96 4294967295 134512640 134544820 3214730672 3214729868 3086293405 0 0 0 0 3222479751 0 0 17 1 0 0 0
/proc/15228/statm: 396 96 78 8 0 61 0
Current children cumulated CPU time (s) 30.65
Current children cumulated vsize (KiB) 4516
[startup+31.1077 s]
/proc/loadavg: 0.98 0.98 0.99 1/95 15228
/proc/meminfo: memFree=921296/2074464 swapFree=1950884/1959888
[pid=15219] ppid=15217 vsize=2932 CPUtime=30.65
/proc/15219/stat : 15219 (SatELiteGTI) S 15217 15219 10114 0 -1 4194304 474 27062 0 0 0 0 3049 16 18 0 1 0 1022971565 3002368 346 4294967295 134512640 135169312 3216178784 3216174168 3085446894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15219/statm: 733 346 237 161 0 172 0
[pid=15228] ppid=15219 vsize=1584 CPUtime=0
/proc/15228/stat : 15228 (rm) D 15219 15219 10114 0 -1 4194304 168 0 0 0 0 0 0 0 18 0 1 0 1022974631 1622016 96 4294967295 134512640 134544820 3214730672 3214729868 3086293405 0 0 0 0 3222479751 0 0 17 3 0 0 0
/proc/15228/statm: 396 96 78 8 0 61 0
Current children cumulated CPU time (s) 30.65
Current children cumulated vsize (KiB) 4516
Child status: 20
Real time (s): 31.19
CPU time (s): 30.65
CPU user time (s): 30.49
CPU system time (s): 0.16
CPU usage (%): 98.2686
Max. virtual memory (cumulated for all children) (KiB): 88040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.49
system time used= 0.16
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27720
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= 37
involuntary context switches= 59
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi13 at 2009-05-17 20:25:06
IDJOB=1821972
IDBENCH=71758
IDSOLVER=659
FILE ID=tipi13/1821972-1242584706
PBS_JOBID=
Free space on /tmp= 6559 MiB
SOLVER NAME= MiniSAT 09z 2009-03-22
BENCH NAME= SAT_RACE06/simon-s03-fifo8-300.cnf
COMMAND LINE= SatELiteGTI BENCHNAME -random-seed=RANDOMSEED
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821972-1242584706/watcher-1821972-1242584706 -o /tmp/evaluation-result-1821972-1242584706/solver-1821972-1242584706 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821972-1242584706.cnf -random-seed=2063656590
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bc88ff447c824a634465ac9483a47d5c
RANDOM SEED= 2063656590
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 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 : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 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 : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
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 : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
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 : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 926936 kB
Buffers: 43848 kB
Cached: 988688 kB
SwapCached: 3428 kB
Active: 379176 kB
Inactive: 662796 kB
HighTotal: 1178688 kB
HighFree: 292780 kB
LowTotal: 895776 kB
LowFree: 634156 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 11100 kB
Writeback: 0 kB
AnonPages: 8728 kB
Mapped: 3068 kB
Slab: 97792 kB
PageTables: 512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6559 MiB
End job on tipi13 at 2009-05-17 20:25:39