Trace number 1779598

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ttsth-5-0 2009-03-19 (4 threads)? (MO) 1239.6 579.529

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-19-s100.cnf
MD5SUMe2d18d9d1a45d63e75556fb963e4ae47
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3268.81
Satisfiable
(Un)Satisfiability was proved
Number of variables31435
Number of clauses94548
Sum of the clauses size222806
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260710
Number of clauses of size 333774
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.12/0.18	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1779598-1243679567.cnf 
0.12/0.18	c Using SATTIMEOUT of 10000
0.12/0.18	c Using SATRAM of 2047
0.12/0.18	c Size of subset node = 16
0.12/0.18	c Variables = 31435
0.12/0.18	c Clauses = 94548
0.12/0.18	c Literals = 222806
0.12/0.18	c Reduced size:
0.12/0.18	c Variables = 31435
0.12/0.18	c Clauses = 94064
0.12/0.18	c Literals = 221522
0.12/0.18	c a2
0.32/0.33	c a1
5.32/5.34	c Independent sub-problems = 1
5.32/5.34	c Sub-problem with 31287 variables and 94064 clauses
5.32/5.34	c using permutation method 4
5.32/5.34	c count = 1
5.32/5.34	c Ordering finished 5.310 seconds
5.32/5.34	c mapped 5.350 seconds
5.32/5.34	c permuted 5.350 seconds
5.32/5.34	c about to sort
5.32/5.37	c sorted
5.92/5.94	c clauses now 94064
5.92/5.94	c init finished 5.560 seconds
5.92/5.94	c tree built 5.950 seconds
5.92/5.94	c 
5.92/5.94	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
5.92/5.94	c ---------------------------------|----------------------------------|------------------------------------------------------
5.92/5.94	c ................................ | ..........                       |                        6.0           0.0             
5.92/5.94	c ................................ | ..........                     1 |                        6.0           0.2             
5.92/5.94	c ................................ | ..........                     2 |                        6.0           0.3             
5.92/5.94	c ................................ | ..........                     3 |                        6.0           0.5             
5.92/5.94	c ................................ | ..........                     4 |                        6.0           0.7             
5.92/5.94	c ................................ | ..........                     5 |                        6.0           0.8             
5.92/5.94	c ................................ | ..........                  1000 | 3                      6.0         168.1          123
200.10/94.64	c ................................ | ..........               2901000 | 67765                200.1       14494.9     21198973
399.87/191.58	c ................................ | ..........               5065000 | 120569               400.0       12661.6     41310327
600.10/283.00	c ................................ | ..........               6836000 | 166401               600.3       11388.4     58168316
800.11/377.82	c ................................ | ..........               8476000 | 207913               800.1       10593.3     76939466
1000.11/476.89	c ................................ | *.........              10115000 | 250855              1000.3       10112.3     94086198
1200.17/563.45	c ................................ | *.........              11763000 | 293210              1200.3        9799.9    112378006

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1779598-1243679567/watcher-1779598-1243679567 -o /tmp/evaluation-result-1779598-1243679567/solver-1779598-1243679567 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1779598-1243679567.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): 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: 6.37 6.35 5.39 4/117 14154
/proc/meminfo: memFree=3070420/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=1012 CPUtime=0.01
/proc/14154/stat : 14154 (ttsth-5-0) R 14152 14154 10612 0 -1 4202496 160 0 0 0 1 0 0 0 20 0 1 0 1132619507 1036288 116 4294967295 134512640 135237372 3217842192 3217840768 134709541 0 0 0 0 0 0 0 17 0 0 0 0
/proc/14154/statm: 253 116 75 177 0 75 0

[startup+0.083407 s]
/proc/loadavg: 6.37 6.35 5.39 4/117 14154
/proc/meminfo: memFree=3070420/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=4676 CPUtime=0.09
/proc/14154/stat : 14154 (ttsth-5-0) R 14152 14154 10612 0 -1 4202496 1038 0 0 0 9 0 0 0 20 0 1 0 1132619507 4788224 994 4294967295 134512640 135237372 3217842192 3217840716 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/14154/statm: 1169 994 75 177 0 991 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4676

[startup+0.113401 s]
/proc/loadavg: 6.37 6.35 5.39 4/117 14154
/proc/meminfo: memFree=3070420/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=5996 CPUtime=0.12
/proc/14154/stat : 14154 (ttsth-5-0) R 14152 14154 10612 0 -1 4202496 1386 0 0 0 12 0 0 0 21 0 1 0 1132619507 6139904 1342 4294967295 134512640 135237372 3217842192 3217841640 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/14154/statm: 1499 1342 75 177 0 1321 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5996

[startup+0.31339 s]
/proc/loadavg: 6.37 6.35 5.39 4/117 14154
/proc/meminfo: memFree=3070420/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=14020 CPUtime=0.32
/proc/14154/stat : 14154 (ttsth-5-0) R 14152 14154 10612 0 -1 4202496 3315 0 0 0 32 0 0 0 21 0 1 0 1132619507 14356480 3270 4294967295 134512640 135237372 3217842192 3217841184 134749345 0 0 0 0 0 0 0 17 0 0 0 0
/proc/14154/statm: 3505 3270 76 177 0 3327 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 14020

[startup+0.71337 s]
/proc/loadavg: 6.37 6.35 5.39 4/117 14154
/proc/meminfo: memFree=3070420/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=18408 CPUtime=0.72
/proc/14154/stat : 14154 (ttsth-5-0) R 14152 14154 10612 0 -1 4202496 4623 0 0 0 71 1 0 0 22 0 1 0 1132619507 18849792 4393 4294967295 134512640 135237372 3217842192 3217841520 134555275 0 0 0 0 0 0 0 17 0 0 0 0
/proc/14154/statm: 4602 4393 77 177 0 4424 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18408

[startup+1.51333 s]
/proc/loadavg: 6.37 6.35 5.39 4/118 14155
/proc/meminfo: memFree=3053168/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=18568 CPUtime=1.52
/proc/14154/stat : 14154 (ttsth-5-0) R 14152 14154 10612 0 -1 4202496 4668 0 0 0 151 1 0 0 25 0 1 0 1132619507 19013632 4438 4294967295 134512640 135237372 3217842192 3217841520 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/14154/statm: 4642 4438 77 177 0 4464 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 18568

[startup+3.11324 s]
/proc/loadavg: 6.37 6.35 5.39 4/118 14159
/proc/meminfo: memFree=3052280/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=19020 CPUtime=3.12
/proc/14154/stat : 14154 (ttsth-5-0) R 14152 14154 10612 0 -1 4202496 4763 0 0 0 311 1 0 0 25 0 1 0 1132619507 19476480 4533 4294967295 134512640 135237372 3217842192 3217841520 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/14154/statm: 4755 4533 77 177 0 4577 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 19020

[startup+6.31309 s]
/proc/loadavg: 6.10 6.29 5.38 4/118 14164
/proc/meminfo: memFree=3038636/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=167732 CPUtime=6.67
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 34661 0 0 0 657 10 0 0 25 0 5 0 1132619507 171757568 34247 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 41933 34247 95 177 0 41755 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 167732

[startup+12.7128 s]
/proc/loadavg: 6.09 6.29 5.38 7/122 14176
/proc/meminfo: memFree=2890568/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=213580 CPUtime=19.45
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 46461 0 0 0 1930 15 0 0 25 0 5 0 1132619507 218705920 46047 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 53395 46048 95 177 0 53217 0
[pid=14154/tid=14165] ppid=14152 vsize=213580 CPUtime=4.48
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 3536 0 0 0 446 2 0 0 25 0 5 0 1132620102 218705920 46048 4294967295 134512640 135237372 3217842192 3081360672 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=213580 CPUtime=3.69
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 4381 0 0 0 369 0 0 0 25 0 5 0 1132620102 218705920 46048 4294967295 134512640 135237372 3217842192 3073236064 134551745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=213580 CPUtime=3.08
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 3175 0 0 0 307 1 0 0 25 0 5 0 1132620102 218705920 46048 4294967295 134512640 135237372 3217842192 3064694972 134636382 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=213580 CPUtime=2.25
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 2922 0 0 0 223 2 0 0 25 0 5 0 1132620103 218705920 46048 4294967295 134512640 135237372 3217842192 3056345648 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19.45
Current children cumulated vsize (KiB) 213580

[startup+25.5121 s]
/proc/loadavg: 6.14 6.29 5.39 7/122 14197
/proc/meminfo: memFree=2829880/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=272408 CPUtime=44.97
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 60990 0 0 0 4473 24 0 0 25 0 5 0 1132619507 278945792 60576 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 68102 60576 95 177 0 67924 0
[pid=14154/tid=14165] ppid=14152 vsize=272408 CPUtime=11.73
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 7350 0 0 0 1170 3 0 0 25 0 5 0 1132620102 278945792 60576 4294967295 134512640 135237372 3217842192 3080838736 134561428 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=272408 CPUtime=10.11
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 9107 0 0 0 1008 3 0 0 25 0 5 0 1132620102 278945792 60576 4294967295 134512640 135237372 3217842192 3073205536 134562463 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=272408 CPUtime=8.63
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 5224 0 0 0 860 3 0 0 25 0 5 0 1132620102 278945792 60576 4294967295 134512640 135237372 3217842192 3065176688 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=272408 CPUtime=8.55
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 6861 0 0 0 850 5 0 0 25 0 5 0 1132620103 278945792 60576 4294967295 134512640 135237372 3217842192 3055933184 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 44.97
Current children cumulated vsize (KiB) 272408

[startup+51.1107 s]
/proc/loadavg: 6.55 6.38 5.44 7/122 14421
/proc/meminfo: memFree=2723844/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=381372 CPUtime=105.41
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 87766 0 0 0 10503 38 0 0 25 0 5 0 1132619507 390524928 87352 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 95343 87352 95 177 0 95165 0
[pid=14154/tid=14165] ppid=14152 vsize=381372 CPUtime=27.5
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 13488 0 0 0 2745 5 0 0 25 0 5 0 1132620102 390524928 87352 4294967295 134512640 135237372 3217842192 3081669784 134519944 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=381372 CPUtime=30.74
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 18263 0 0 0 3065 9 0 0 25 0 5 0 1132620102 390524928 87352 4294967295 134512640 135237372 3217842192 3072927200 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=381372 CPUtime=20.11
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 10203 0 0 0 2005 6 0 0 25 0 5 0 1132620102 390524928 87352 4294967295 134512640 135237372 3217842192 3064823984 134680503 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=381372 CPUtime=21.12
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 13364 0 0 0 2104 8 0 0 25 0 5 0 1132620103 390524928 87352 4294967295 134512640 135237372 3217842192 3056486240 134680270 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 105.41
Current children cumulated vsize (KiB) 381372

[startup+102.318 s]
/proc/loadavg: 6.52 6.39 5.50 8/123 14585
/proc/meminfo: memFree=2547016/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=562764 CPUtime=215.5
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 131458 0 0 0 21482 68 0 0 25 0 5 0 1132619507 576270336 131044 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 140691 131044 95 177 0 140513 0
[pid=14154/tid=14165] ppid=14152 vsize=562764 CPUtime=54.22
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 25229 0 0 0 5410 12 0 0 25 0 5 0 1132620102 576270336 131044 4294967295 134512640 135237372 3217842192 3081369408 134587581 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=562764 CPUtime=64.12
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 28634 0 0 0 6396 16 0 0 25 0 5 0 1132620102 576270336 131044 4294967295 134512640 135237372 3217842192 3073175040 134549885 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=562764 CPUtime=45.06
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 21426 0 0 0 4489 17 0 0 25 0 5 0 1132620102 576270336 131044 4294967295 134512640 135237372 3217842192 3064660960 134551515 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=562764 CPUtime=46.15
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 23721 0 0 0 4602 13 0 0 25 0 5 0 1132620103 576270336 131044 4294967295 134512640 135237372 3217842192 3056066976 134562355 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 215.5
Current children cumulated vsize (KiB) 562764

[startup+162.305 s]
/proc/loadavg: 6.58 6.42 5.56 9/123 14814
/proc/meminfo: memFree=2354556/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=767608 CPUtime=335.13
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 180551 0 0 0 33413 100 0 0 25 0 5 0 1132619507 786030592 180137 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 191902 180137 95 177 0 191724 0
[pid=14154/tid=14165] ppid=14152 vsize=767608 CPUtime=85.2
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 38414 0 0 0 8497 23 0 0 25 0 5 0 1132620102 786030592 180137 4294967295 134512640 135237372 3217842192 3082033248 134590281 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=767608 CPUtime=94.12
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 36626 0 0 0 9392 20 0 0 25 0 5 0 1132620102 786030592 180137 4294967295 134512640 135237372 3217842192 3073327056 134680467 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=767608 CPUtime=74.91
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 32648 0 0 0 7469 22 0 0 25 0 5 0 1132620102 786030592 180137 4294967295 134512640 135237372 3217842192 3064948876 134562272 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=767608 CPUtime=74.95
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 40415 0 0 0 7470 25 0 0 25 0 5 0 1132620103 786030592 180137 4294967295 134512640 135237372 3217842192 3056438848 134551002 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 335.13
Current children cumulated vsize (KiB) 767608

[startup+222.312 s]
/proc/loadavg: 6.43 6.42 5.61 7/122 15054
/proc/meminfo: memFree=2144000/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=980840 CPUtime=470.54
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 232050 0 0 0 46926 128 0 0 25 0 5 0 1132619507 1004380160 231636 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 245210 231636 95 177 0 245032 0
[pid=14154/tid=14165] ppid=14152 vsize=980840 CPUtime=115.33
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 52151 0 0 0 11506 27 0 0 25 0 5 0 1132620102 1004380160 231636 4294967295 134512640 135237372 3217842192 3081641504 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=980840 CPUtime=128.04
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 49497 0 0 0 12774 30 0 0 25 0 5 0 1132620102 1004380160 231637 4294967295 134512640 135237372 3217842192 3073552432 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=980840 CPUtime=105.51
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 41894 0 0 0 10528 23 0 0 25 0 5 0 1132620102 1004380160 231637 4294967295 134512640 135237372 3217842192 3064924784 134680213 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=980840 CPUtime=115.71
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 56061 0 0 0 11533 38 0 0 25 0 5 0 1132620103 1004380160 231637 4294967295 134512640 135237372 3217842192 3056410368 134591529 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 470.54
Current children cumulated vsize (KiB) 980840

[startup+282.319 s]
/proc/loadavg: 6.37 6.41 5.66 8/122 15330
/proc/meminfo: memFree=1994132/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=1140444 CPUtime=598.9
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 269972 0 0 0 59747 143 0 0 25 0 5 0 1132619507 1167814656 269558 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 285111 269558 95 177 0 284933 0
[pid=14154/tid=14165] ppid=14152 vsize=1140444 CPUtime=153.83
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 61023 0 0 0 15351 32 0 0 25 0 5 0 1132620102 1167814656 269558 4294967295 134512640 135237372 3217842192 3081417600 134562401 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=1140444 CPUtime=158.42
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 61573 0 0 0 15809 33 0 0 25 0 5 0 1132620102 1167814656 269558 4294967295 134512640 135237372 3217842192 3073584416 134680273 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=1140444 CPUtime=134.67
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 47340 0 0 0 13442 25 0 0 25 0 5 0 1132620102 1167814656 269558 4294967295 134512640 135237372 3217842192 3065009744 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=1140444 CPUtime=146.03
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 67588 0 0 0 14560 43 0 0 25 0 5 0 1132620103 1167814656 269558 4294967295 134512640 135237372 3217842192 3056133664 134680467 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 598.9
Current children cumulated vsize (KiB) 1140444

[startup+342.316 s]
/proc/loadavg: 6.33 6.39 5.70 7/122 15611
/proc/meminfo: memFree=1824264/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=1315820 CPUtime=718.72
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 312084 0 0 0 71704 168 0 0 25 0 5 0 1132619507 1347399680 311670 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 328955 311670 95 177 0 328777 0
[pid=14154/tid=14165] ppid=14152 vsize=1315820 CPUtime=184.38
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 73232 0 0 0 18397 41 0 0 25 0 5 0 1132620102 1347399680 311670 4294967295 134512640 135237372 3217842192 3081542048 134550411 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=1315820 CPUtime=188.02
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 73935 0 0 0 18762 40 0 0 25 0 5 0 1132620102 1347399680 311670 4294967295 134512640 135237372 3217842192 3072967984 134590245 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=1315820 CPUtime=164.31
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 53951 0 0 0 16403 28 0 0 25 0 5 0 1132620102 1347399680 311670 4294967295 134512640 135237372 3217842192 3064908976 134549896 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=1315820 CPUtime=176.06
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 78518 0 0 0 17557 49 0 0 25 0 5 0 1132620103 1347399680 311670 4294967295 134512640 135237372 3217842192 3056164864 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 718.72
Current children cumulated vsize (KiB) 1315820

[startup+402.312 s]
/proc/loadavg: 6.30 6.37 5.73 7/122 15889
/proc/meminfo: memFree=1624676/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=1526132 CPUtime=849.11
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 362062 0 0 0 84715 196 0 0 25 0 5 0 1132619507 1562759168 361648 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 381533 361648 95 177 0 381355 0
[pid=14154/tid=14165] ppid=14152 vsize=1526132 CPUtime=215.14
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 86374 0 0 0 21469 45 0 0 25 0 5 0 1132620102 1562759168 361648 4294967295 134512640 135237372 3217842192 3081478816 134561426 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=1526132 CPUtime=218.36
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 90961 0 0 0 21789 47 0 0 25 0 5 0 1132620102 1562759168 361648 4294967295 134512640 135237372 3217842192 3073306048 134749339 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=1526132 CPUtime=202.81
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 63742 0 0 0 20244 37 0 0 25 0 5 0 1132620102 1562759168 361648 4294967295 134512640 135237372 3217842192 3064865648 134590762 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=1526132 CPUtime=206.85
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 88537 0 0 0 20628 57 0 0 25 0 5 0 1132620103 1562759168 361648 4294967295 134512640 135237372 3217842192 3056476832 134680720 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 849.11
Current children cumulated vsize (KiB) 1526132

[startup+462.309 s]
/proc/loadavg: 6.24 6.34 5.76 7/124 16174
/proc/meminfo: memFree=1471140/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=1685652 CPUtime=971.14
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 400390 0 0 0 96900 214 0 0 25 0 5 0 1132619507 1726107648 399976 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 421413 399976 95 177 0 421235 0
[pid=14154/tid=14165] ppid=14152 vsize=1685652 CPUtime=245.33
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 94799 0 0 0 24482 51 0 0 25 0 5 0 1132620102 1726107648 399976 4294967295 134512640 135237372 3217842192 3081836352 134680729 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=1685652 CPUtime=247.92
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 107147 0 0 0 24738 54 0 0 25 0 5 0 1132620102 1726107648 399977 4294967295 134512640 135237372 3217842192 3072676816 134593369 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=1685652 CPUtime=234.92
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 69979 0 0 0 23452 40 0 0 25 0 5 0 1132620102 1726107648 399977 4294967295 134512640 135237372 3217842192 3065184588 134549969 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=1685652 CPUtime=237.02
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 96018 0 0 0 23643 59 0 0 25 0 5 0 1132620103 1726107648 399977 4294967295 134512640 135237372 3217842192 3056247216 134546034 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 971.14
Current children cumulated vsize (KiB) 1685652

[startup+522.306 s]
/proc/loadavg: 6.27 6.35 5.80 8/122 16448
/proc/meminfo: memFree=1294900/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=1875020 CPUtime=1100.96
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 445560 0 0 0 109856 240 0 0 25 0 5 0 1132619507 1920020480 445146 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 468755 445146 95 177 0 468577 0
[pid=14154/tid=14165] ppid=14152 vsize=1875020 CPUtime=275.47
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 101570 0 0 0 27490 57 0 0 25 0 5 0 1132620102 1920020480 445146 4294967295 134512640 135237372 3217842192 3081671664 134590285 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=1875020 CPUtime=277.72
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 125614 0 0 0 27712 60 0 0 25 0 5 0 1132620102 1920020480 445146 4294967295 134512640 135237372 3217842192 3073301968 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=1875020 CPUtime=275.11
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 78855 0 0 0 27464 47 0 0 25 0 5 0 1132620102 1920020480 445146 4294967295 134512640 135237372 3217842192 3065195008 134749351 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=1875020 CPUtime=266.71
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 107073 0 0 0 26605 66 0 0 25 0 5 0 1132620103 1920020480 445146 4294967295 134512640 135237372 3217842192 3056319772 134549950 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1100.96
Current children cumulated vsize (KiB) 1875020



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+579.403 s]
/proc/loadavg: 6.64 6.45 5.87 7/122 16722
/proc/meminfo: memFree=1080296/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=2096176 CPUtime=1239.44
/proc/14154/stat : 14154 (ttsth-5-0) S 14152 14154 10612 0 -1 4202496 497843 0 0 0 123676 268 0 0 25 0 5 0 1132619507 2146484224 497429 4294967295 134512640 135237372 3217842192 3217841788 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 524044 497429 95 177 0 523866 0
[pid=14154/tid=14165] ppid=14152 vsize=2096176 CPUtime=313.53
/proc/14154/task/14165/stat : 14165 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 115311 0 0 0 31290 63 0 0 25 0 5 0 1132620102 2146484224 497431 4294967295 134512640 135237372 3217842192 3081479440 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14154/tid=14166] ppid=14152 vsize=2096176 CPUtime=308.14
/proc/14154/task/14166/stat : 14166 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 142745 0 0 0 30743 71 0 0 25 0 5 0 1132620102 2146484224 497431 4294967295 134512640 135237372 3217842192 3073016176 134546034 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=2096176 CPUtime=308.36
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 86663 0 0 0 30783 53 0 0 25 0 5 0 1132620102 2146484224 497431 4294967295 134512640 135237372 3217842192 3064905568 134680336 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14154/tid=14168] ppid=14152 vsize=2096176 CPUtime=303.46
/proc/14154/task/14168/stat : 14168 (ttsth-5-0) R 14152 14154 10612 0 -1 4202560 120678 0 0 0 30275 71 0 0 25 0 5 0 1132620103 2146484224 497431 4294967295 134512640 135237372 3217842192 3056275344 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1239.44
Current children cumulated vsize (KiB) 2096176

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+579.523 s]
/proc/loadavg: 6.64 6.45 5.87 7/122 16722
/proc/meminfo: memFree=1080296/3368532 swapFree=1959840/1959888
[pid=14154] ppid=14152 vsize=0 CPUtime=1239.6
/proc/14154/stat : 14154 (ttsth-5-0) Z 14152 14154 10612 0 -1 4203524 497888 0 0 0 123682 278 0 0 18 0 2 0 1132619507 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/14154/statm: 0 0 0 0 0 0 0
[pid=14154/tid=14167] ppid=14152 vsize=0 CPUtime=308.48
/proc/14154/task/14167/stat : 14167 (ttsth-5-0) R 14152 14154 10612 0 -1 4203588 86663 0 0 0 30785 63 0 0 25 0 2 0 1132620102 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1239.6
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 579.529
CPU time (s): 1239.6
CPU user time (s): 1236.82
CPU system time (s): 2.78
CPU usage (%): 213.898
Max. virtual memory (cumulated for all children) (KiB): 2096176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1236.82
system time used= 2.78
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 497888
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= 1445
involuntary context switches= 46144

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 12:32:47
IDJOB=1779598
IDBENCH=70880
IDSOLVER=632
FILE ID=/1779598-1243679567
PBS_JOBID=
Free space on /tmp= 7981 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779598-1243679567/watcher-1779598-1243679567 -o /tmp/evaluation-result-1779598-1243679567/solver-1779598-1243679567 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1779598-1243679567.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= e2d18d9d1a45d63e75556fb963e4ae47
RANDOM SEED= 35801212

Linux (none) 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.073
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.42
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.073
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.12
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.073
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.14
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.073
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3070420 kB
Buffers:         93000 kB
Cached:          87960 kB
SwapCached:          0 kB
Active:         129108 kB
Inactive:        74052 kB
HighTotal:     2489216 kB
HighFree:      2378868 kB
LowTotal:       879316 kB
LowFree:        691552 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2568 kB
Writeback:           0 kB
AnonPages:       22216 kB
Mapped:           8280 kB
Slab:            84364 kB
SReclaimable:    72032 kB
SUnreclaim:      12332 kB
PageTables:        768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123556 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7981 MiB
End job on  at 2009-05-30 12:42:29