Trace number 1776358

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) 1039.97 500.857

General information on the benchmark

Nameindustrial/grieu/
vmpc_29.cnf
MD5SUM1e81246225c81a67548d334d1dfcc24b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark113.29
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data 

0.11/0.16	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776358-1243674038.cnf 
0.11/0.16	c Using SATTIMEOUT of 10000
0.11/0.16	c Using SATRAM of 2047
0.11/0.16	c Size of subset node = 16
0.11/0.16	c Variables = 841
0.11/0.16	c Clauses = 120147
0.11/0.16	c Literals = 314766
0.11/0.16	c Reduced size:
0.11/0.16	c Variables = 841
0.11/0.16	c Clauses = 120147
0.11/0.16	c Literals = 314766
0.11/0.16	c a2
0.41/0.43	c a1
0.91/0.95	c Independent sub-problems = 1
0.91/0.95	c Sub-problem with 841 variables and 120147 clauses
0.91/0.95	c using permutation method 4
0.91/0.95	c count = 1
0.91/0.95	c Ordering finished 0.900 seconds
0.91/0.95	c mapped 0.950 seconds
0.91/0.95	c permuted 0.950 seconds
0.91/0.95	c about to sort
0.91/0.99	c sorted
1.71/1.72	c clauses now 120147
1.71/1.72	c init finished 1.000 seconds
1.71/1.72	c tree built 1.720 seconds
1.71/1.72	c 
1.71/1.72	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.71/1.72	c ---------------------------------|----------------------------------|------------------------------------------------------
1.71/1.72	c ................................ | ..........                       |                        1.7           0.0             
1.71/1.72	c ................................ | ..........                     1 |                        1.7           0.6             
1.71/1.72	c ................................ | ..........                     2 |                        1.7           1.2             
1.71/1.72	c ................................ | ..........                     3 |                        1.7           1.7             
1.71/1.72	c ................................ | ..........                     4 |                        1.7           2.3             
1.71/1.72	c ................................ | ..........                     5 |                        1.7           2.9             
1.71/1.73	c ................................ | ..........                  1000 | 1                      1.7         578.0          521
200.83/100.01	c ................................ | ..........                438000 | 22965                200.8        2180.9     37632206
400.79/198.56	c ................................ | ..........                676000 | 35508                400.9        1686.3     60443536
600.00/289.81	c ................................ | ..........                942000 | 50155                600.2        1569.5     81855388
800.93/383.65	c ................................ | ..........               1186000 | 62683                801.0        1480.6    103491332
1000.22/480.93	c ................................ | *.........               1381000 | 72626               1000.2        1380.7    123186929

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-1776358-1243674038/watcher-1776358-1243674038 -o /tmp/evaluation-result-1776358-1243674038/solver-1776358-1243674038 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776358-1243674038.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: 3.06 3.12 3.45 4/113 11709
/proc/meminfo: memFree=3160168/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=2072 CPUtime=0.02
/proc/11709/stat : 11709 (ttsth-5-0) R 11707 11709 32205 0 -1 4202496 419 0 0 0 2 0 0 0 19 0 1 0 1132067848 2121728 375 4294967295 134512640 135237372 3220587184 3220585708 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11709/statm: 518 375 75 177 0 340 0

[startup+0.069791 s]
/proc/loadavg: 3.06 3.12 3.45 4/113 11709
/proc/meminfo: memFree=3160168/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=4296 CPUtime=0.07
/proc/11709/stat : 11709 (ttsth-5-0) R 11707 11709 32205 0 -1 4202496 965 0 0 0 7 0 0 0 21 0 1 0 1132067848 4399104 921 4294967295 134512640 135237372 3220587184 3220586632 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11709/statm: 1074 922 75 177 0 896 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4296

[startup+0.109787 s]
/proc/loadavg: 3.06 3.12 3.45 4/113 11709
/proc/meminfo: memFree=3160168/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=6264 CPUtime=0.11
/proc/11709/stat : 11709 (ttsth-5-0) R 11707 11709 32205 0 -1 4202496 1449 0 0 0 10 1 0 0 21 0 1 0 1132067848 6414336 1405 4294967295 134512640 135237372 3220587184 3220585980 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11709/statm: 1566 1405 75 177 0 1388 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 6264

[startup+0.30977 s]
/proc/loadavg: 3.06 3.12 3.45 4/113 11709
/proc/meminfo: memFree=3160168/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=15416 CPUtime=0.31
/proc/11709/stat : 11709 (ttsth-5-0) R 11707 11709 32205 0 -1 4202496 3719 0 0 0 29 2 0 0 22 0 1 0 1132067848 15785984 3674 4294967295 134512640 135237372 3220587184 3220585992 134519986 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11709/statm: 3854 3674 76 177 0 3676 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 15416

[startup+0.709738 s]
/proc/loadavg: 3.06 3.12 3.45 4/113 11709
/proc/meminfo: memFree=3160168/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=16744 CPUtime=0.71
/proc/11709/stat : 11709 (ttsth-5-0) R 11707 11709 32205 0 -1 4202496 5499 0 0 0 68 3 0 0 24 0 1 0 1132067848 17145856 4021 4294967295 134512640 135237372 3220587184 3220586312 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11709/statm: 4186 4021 77 177 0 4008 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 16744

[startup+1.50967 s]
/proc/loadavg: 3.05 3.11 3.45 4/114 11714
/proc/meminfo: memFree=3143724/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=20976 CPUtime=1.51
/proc/11709/stat : 11709 (ttsth-5-0) R 11707 11709 32205 0 -1 4202496 6672 0 0 0 148 3 0 0 25 0 1 0 1132067848 21479424 5076 4294967295 134512640 135237372 3220587184 3220527492 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11709/statm: 5244 5076 90 177 0 5066 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 20976

[startup+3.10954 s]
/proc/loadavg: 3.05 3.11 3.45 7/118 11718
/proc/meminfo: memFree=3131440/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=74260 CPUtime=4.47
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 11839 0 0 0 444 3 0 0 25 0 5 0 1132067848 76042240 10125 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 18565 10126 95 177 0 18387 0
[pid=11709/tid=11715] ppid=11707 vsize=74260 CPUtime=0.72
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 851 0 0 0 72 0 0 0 25 0 5 0 1132068020 76042240 10126 4294967295 134512640 135237372 3220587184 3085554528 134592223 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=74260 CPUtime=0.67
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 1132 0 0 0 67 0 0 0 25 0 5 0 1132068020 76042240 10126 4294967295 134512640 135237372 3220587184 3077168704 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=74260 CPUtime=0.75
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 865 0 0 0 75 0 0 0 25 0 5 0 1132068022 76042240 10126 4294967295 134512640 135237372 3220587184 3068781376 134562351 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=74260 CPUtime=0.61
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 971 0 0 0 61 0 0 0 25 0 5 0 1132068022 76042240 10126 4294967295 134512640 135237372 3220587184 3060387376 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 74260

[startup+6.30926 s]
/proc/loadavg: 3.37 3.18 3.47 10/119 11732
/proc/meminfo: memFree=3096284/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=107356 CPUtime=10.86
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 20155 0 0 0 1080 6 0 0 25 0 5 0 1132067848 109932544 18441 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 26839 18441 95 177 0 26661 0
[pid=11709/tid=11715] ppid=11707 vsize=107356 CPUtime=2.18
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 2263 0 0 0 218 0 0 0 25 0 5 0 1132068020 109932544 18441 4294967295 134512640 135237372 3220587184 3085565088 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=107356 CPUtime=2.41
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 3927 0 0 0 241 0 0 0 25 0 5 0 1132068020 109932544 18442 4294967295 134512640 135237372 3220587184 3077162464 134590156 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=107356 CPUtime=2.35
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 2567 0 0 0 233 2 0 0 25 0 5 0 1132068022 109932544 18442 4294967295 134512640 135237372 3220587184 3068764752 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=107356 CPUtime=2.2
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 3377 0 0 0 219 1 0 0 25 0 5 0 1132068022 109932544 18442 4294967295 134512640 135237372 3220587184 3060392160 134587921 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.86
Current children cumulated vsize (KiB) 107356

[startup+12.7087 s]
/proc/loadavg: 3.66 3.24 3.49 7/118 11917
/proc/meminfo: memFree=3030904/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=169868 CPUtime=24.88
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 35493 0 0 0 2480 8 0 0 25 0 5 0 1132067848 173944832 33779 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 42467 33779 95 177 0 42289 0
[pid=11709/tid=11715] ppid=11707 vsize=169868 CPUtime=5.52
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 4731 0 0 0 552 0 0 0 25 0 5 0 1132068020 173944832 33779 4294967295 134512640 135237372 3220587184 3085540672 134551002 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=169868 CPUtime=5.61
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 8411 0 0 0 560 1 0 0 25 0 5 0 1132068020 173944832 33779 4294967295 134512640 135237372 3220587184 3077167184 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=169868 CPUtime=5.32
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 5113 0 0 0 530 2 0 0 25 0 5 0 1132068022 173944832 33779 4294967295 134512640 135237372 3220587184 3068774720 134591069 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=169868 CPUtime=6.71
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 9217 0 0 0 669 2 0 0 25 0 5 0 1132068022 173944832 33780 4294967295 134512640 135237372 3220587184 3060383732 134634454 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 169868

[startup+25.5076 s]
/proc/loadavg: 4.02 3.33 3.52 7/118 11933
/proc/meminfo: memFree=2938944/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=259712 CPUtime=50.42
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 57692 0 0 0 5021 21 0 0 25 0 5 0 1132067848 265945088 55978 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 64928 55978 95 177 0 64750 0
[pid=11709/tid=11715] ppid=11707 vsize=259712 CPUtime=11.72
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 9172 0 0 0 1169 3 0 0 25 0 5 0 1132068020 265945088 55978 4294967295 134512640 135237372 3220587184 3085563600 134590129 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=259712 CPUtime=12.19
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 16109 0 0 0 1214 5 0 0 25 0 5 0 1132068020 265945088 55978 4294967295 134512640 135237372 3220587184 3077167356 134561392 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=259712 CPUtime=11.55
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 9418 0 0 0 1150 5 0 0 25 0 5 0 1132068022 265945088 55978 4294967295 134512640 135237372 3220587184 3068751968 134590285 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=259712 CPUtime=13.24
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 14972 0 0 0 1319 5 0 0 25 0 5 0 1132068022 265945088 55978 4294967295 134512640 135237372 3220587184 3060387712 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 259712

[startup+51.1054 s]
/proc/loadavg: 4.93 3.62 3.60 7/118 11975
/proc/meminfo: memFree=2783200/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=419208 CPUtime=101.53
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 96988 0 0 0 10120 33 0 0 25 0 5 0 1132067848 429268992 95274 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 104802 95274 95 177 0 104624 0
[pid=11709/tid=11715] ppid=11707 vsize=419208 CPUtime=24.59
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 17884 0 0 0 2453 6 0 0 25 0 5 0 1132068020 429268992 95274 4294967295 134512640 135237372 3220587184 3085558272 134590288 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=419208 CPUtime=25.14
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 28740 0 0 0 2505 9 0 0 25 0 5 0 1132068020 429268992 95274 4294967295 134512640 135237372 3220587184 3077169024 134551002 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=419208 CPUtime=24.15
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 18175 0 0 0 2409 6 0 0 25 0 5 0 1132068022 429268992 95274 4294967295 134512640 135237372 3220587184 3068759084 134680502 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=419208 CPUtime=25.93
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 24168 0 0 0 2584 9 0 0 25 0 5 0 1132068022 429268992 95274 4294967295 134512640 135237372 3220587184 3060385920 134562459 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 419208

[startup+102.311 s]
/proc/loadavg: 5.76 4.04 3.75 7/118 12238
/proc/meminfo: memFree=2533076/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=670580 CPUtime=205.43
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 158667 0 0 0 20479 64 0 0 25 0 5 0 1132067848 686673920 156953 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 167645 156953 95 177 0 167467 0
[pid=11709/tid=11715] ppid=11707 vsize=670580 CPUtime=50.32
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 30979 0 0 0 5017 15 0 0 25 0 5 0 1132068020 686673920 156953 4294967295 134512640 135237372 3220587184 3085560496 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=670580 CPUtime=51.21
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 48653 0 0 0 5105 16 0 0 25 0 5 0 1132068020 686673920 156953 4294967295 134512640 135237372 3220587184 3077167456 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=670580 CPUtime=51.18
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 32841 0 0 0 5102 16 0 0 25 0 5 0 1132068022 686673920 156953 4294967295 134512640 135237372 3220587184 3068776160 134588114 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=670580 CPUtime=51
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 38173 0 0 0 5086 14 0 0 25 0 5 0 1132068022 686673920 156953 4294967295 134512640 135237372 3220587184 3060385920 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 205.43
Current children cumulated vsize (KiB) 670580

[startup+162.316 s]
/proc/loadavg: 6.31 4.52 3.93 7/118 12507
/proc/meminfo: memFree=2311644/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=901532 CPUtime=325.39
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 214589 0 0 0 32453 86 0 0 25 0 5 0 1132067848 923168768 212875 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 225383 212875 95 177 0 225205 0
[pid=11709/tid=11715] ppid=11707 vsize=901532 CPUtime=80.13
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 43132 0 0 0 7997 16 0 0 25 0 5 0 1132068020 923168768 212875 4294967295 134512640 135237372 3220587184 3085538672 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=901532 CPUtime=81.51
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 66590 0 0 0 8130 21 0 0 25 0 5 0 1132068020 923168768 212875 4294967295 134512640 135237372 3220587184 3077168688 134562320 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=901532 CPUtime=81.35
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 45692 0 0 0 8114 21 0 0 25 0 5 0 1132068022 923168768 212875 4294967295 134512640 135237372 3220587184 3068780560 134562363 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=901532 CPUtime=80.68
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 51154 0 0 0 8043 25 0 0 25 0 5 0 1132068022 923168768 212875 4294967295 134512640 135237372 3220587184 3060387872 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 325.39
Current children cumulated vsize (KiB) 901532

[startup+222.311 s]
/proc/loadavg: 6.63 4.94 4.11 7/118 12792
/proc/meminfo: memFree=2103436/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=1110624 CPUtime=452.82
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 265940 0 0 0 45163 119 0 0 25 0 5 0 1132067848 1137278976 264226 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 277656 264226 95 177 0 277478 0
[pid=11709/tid=11715] ppid=11707 vsize=1110624 CPUtime=111.53
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 54135 0 0 0 11129 24 0 0 25 0 5 0 1132068020 1137278976 264226 4294967295 134512640 135237372 3220587184 3085553696 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=1110624 CPUtime=111.81
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 83356 0 0 0 11153 28 0 0 25 0 5 0 1132068020 1137278976 264226 4294967295 134512640 135237372 3220587184 3077168384 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=1110624 CPUtime=115.45
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 57932 0 0 0 11512 33 0 0 25 0 5 0 1132068022 1137278976 264226 4294967295 134512640 135237372 3220587184 3068758832 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=1110624 CPUtime=112.31
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 62496 0 0 0 11200 31 0 0 25 0 5 0 1132068022 1137278976 264226 4294967295 134512640 135237372 3220587184 3060390464 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 452.82
Current children cumulated vsize (KiB) 1110624

[startup+282.315 s]
/proc/loadavg: 6.56 5.22 4.25 7/118 13063
/proc/meminfo: memFree=1888712/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=1334068 CPUtime=581.54
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 320508 0 0 0 58015 139 0 0 25 0 5 0 1132067848 1366085632 318794 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 333517 318794 95 177 0 333339 0
[pid=11709/tid=11715] ppid=11707 vsize=1334068 CPUtime=147.64
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 69442 0 0 0 14733 31 0 0 25 0 5 0 1132068020 1366085632 318794 4294967295 134512640 135237372 3220587184 3085537760 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=1334068 CPUtime=141.71
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 98471 0 0 0 14140 31 0 0 25 0 5 0 1132068020 1366085632 318794 4294967295 134512640 135237372 3220587184 3077162080 134749351 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=1334068 CPUtime=145.25
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 70882 0 0 0 14488 37 0 0 25 0 5 0 1132068022 1366085632 318794 4294967295 134512640 135237372 3220587184 3068758864 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=1334068 CPUtime=145.23
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 73692 0 0 0 14486 37 0 0 25 0 5 0 1132068022 1366085632 318794 4294967295 134512640 135237372 3220587184 3060389584 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 581.54
Current children cumulated vsize (KiB) 1334068

[startup+342.31 s]
/proc/loadavg: 6.52 5.45 4.39 7/120 13339
/proc/meminfo: memFree=1648484/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=1575264 CPUtime=713.3
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 379843 0 0 0 71171 159 0 0 25 0 5 0 1132067848 1613070336 378129 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 393816 378129 95 177 0 393638 0
[pid=11709/tid=11715] ppid=11707 vsize=1575264 CPUtime=189.32
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 88847 0 0 0 18891 41 0 0 25 0 5 0 1132068020 1613070336 378129 4294967295 134512640 135237372 3220587184 3085540624 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=1575264 CPUtime=171.69
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 111779 0 0 0 17135 34 0 0 25 0 5 0 1132068020 1613070336 378129 4294967295 134512640 135237372 3220587184 3077168832 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=1575264 CPUtime=175.24
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 85341 0 0 0 17486 38 0 0 25 0 5 0 1132068022 1613070336 378129 4294967295 134512640 135237372 3220587184 3068779344 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=1575264 CPUtime=175.33
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 85855 0 0 0 17490 43 0 0 25 0 5 0 1132068022 1613070336 378129 4294967295 134512640 135237372 3220587184 3060389088 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 713.3
Current children cumulated vsize (KiB) 1575264

[startup+402.305 s]
/proc/loadavg: 6.62 5.67 4.53 7/118 13615
/proc/meminfo: memFree=1451108/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=1777412 CPUtime=840.53
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 429382 0 0 0 83871 182 0 0 25 0 5 0 1132067848 1820069888 427668 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 444353 427668 95 177 0 444175 0
[pid=11709/tid=11715] ppid=11707 vsize=1777412 CPUtime=219.28
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 101586 0 0 0 21880 48 0 0 25 0 5 0 1132068020 1820069888 427668 4294967295 134512640 135237372 3220587184 3085534608 134562363 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=1777412 CPUtime=201.55
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 123295 0 0 0 20115 40 0 0 25 0 5 0 1132068020 1820069888 427669 4294967295 134512640 135237372 3220587184 3077165200 134546026 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=1777412 CPUtime=205.05
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 97490 0 0 0 20462 43 0 0 25 0 5 0 1132068022 1820069888 427669 4294967295 134512640 135237372 3220587184 3068780192 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=1777412 CPUtime=212.93
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 98991 0 0 0 21245 48 0 0 25 0 5 0 1132068022 1820069888 427669 4294967295 134512640 135237372 3220587184 3060396368 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 840.53
Current children cumulated vsize (KiB) 1777412

[startup+462.31 s]
/proc/loadavg: 6.61 5.85 4.66 7/118 13892
/proc/meminfo: memFree=1263428/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=1970040 CPUtime=962.94
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 476015 0 0 0 96078 216 0 0 25 0 5 0 1132067848 2017320960 474301 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 492510 474301 95 177 0 492332 0
[pid=11709/tid=11715] ppid=11707 vsize=1970040 CPUtime=251.69
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 115375 0 0 0 25105 64 0 0 25 0 5 0 1132068020 2017320960 474301 4294967295 134512640 135237372 3220587184 3085541680 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=1970040 CPUtime=231.51
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 134408 0 0 0 23108 43 0 0 25 0 5 0 1132068020 2017320960 474301 4294967295 134512640 135237372 3220587184 3077148096 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=1970040 CPUtime=235.05
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 110295 0 0 0 23449 56 0 0 25 0 5 0 1132068022 2017320960 474301 4294967295 134512640 135237372 3220587184 3068787792 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=1970040 CPUtime=242.97
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 107916 0 0 0 24247 50 0 0 25 0 5 0 1132068022 2017320960 474301 4294967295 134512640 135237372 3220587184 3060377616 134591680 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 962.94
Current children cumulated vsize (KiB) 1970040



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+500.717 s]
/proc/loadavg: 6.44 5.90 4.73 8/119 14013
/proc/meminfo: memFree=1139556/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=2096232 CPUtime=1039.83
/proc/11709/stat : 11709 (ttsth-5-0) S 11707 11709 32205 0 -1 4202496 506580 0 0 0 103756 227 0 0 25 0 5 0 1132067848 2146541568 504866 4294967295 134512640 135237372 3220587184 3220586780 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/11709/statm: 524058 504866 95 177 0 523880 0
[pid=11709/tid=11715] ppid=11707 vsize=2096232 CPUtime=271.22
/proc/11709/task/11715/stat : 11715 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 122957 0 0 0 27057 65 0 0 25 0 5 0 1132068020 2146541568 504866 4294967295 134512640 135237372 3220587184 3085546112 134562355 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=2096232 CPUtime=250.6
/proc/11709/task/11716/stat : 11716 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 141415 0 0 0 25013 47 0 0 25 0 5 0 1132068020 2146541568 504866 4294967295 134512640 135237372 3220587184 3077159952 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=2096232 CPUtime=254.16
/proc/11709/task/11717/stat : 11717 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 118708 0 0 0 25357 59 0 0 25 0 5 0 1132068022 2146541568 504866 4294967295 134512640 135237372 3220587184 3068761632 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=2096232 CPUtime=262.13
/proc/11709/task/11718/stat : 11718 (ttsth-5-0) R 11707 11709 32205 0 -1 4202560 115479 0 0 0 26160 53 0 0 25 0 5 0 1132068022 2146541568 504866 4294967295 134512640 135237372 3220587184 3060386976 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1039.83
Current children cumulated vsize (KiB) 2096232

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

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

[startup+500.837 s]
/proc/loadavg: 6.44 5.90 4.73 8/119 14013
/proc/meminfo: memFree=1139556/3368532 swapFree=1954888/1959888
[pid=11709] ppid=11707 vsize=0 CPUtime=1039.95
/proc/11709/stat : 11709 (ttsth-5-0) R 11707 11709 32205 0 -1 4203524 506590 0 0 0 103759 236 0 0 20 0 1 0 1132067848 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 17 2 0 0 0
/proc/11709/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1039.95
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 500.857
CPU time (s): 1039.97
CPU user time (s): 1037.59
CPU system time (s): 2.38
CPU usage (%): 207.638
Max. virtual memory (cumulated for all children) (KiB): 2096232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1037.59
system time used= 2.38
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506590
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= 976
involuntary context switches= 39215

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 11:00:38
IDJOB=1776358
IDBENCH=20491
IDSOLVER=632
FILE ID=/1776358-1243674038
PBS_JOBID=
Free space on /tmp= 15879 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT07/industrial/grieu/vmpc_29.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776358-1243674038/watcher-1776358-1243674038 -o /tmp/evaluation-result-1776358-1243674038/solver-1776358-1243674038 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776358-1243674038.cnf

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

MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED= 293629070

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.105
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.43
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.105
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.11
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.105
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.105
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:       3160908 kB
Buffers:         37292 kB
Cached:          74732 kB
SwapCached:        720 kB
Active:         101308 kB
Inactive:        26616 kB
HighTotal:     2489216 kB
HighFree:      2395564 kB
LowTotal:       879316 kB
LowFree:        765344 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:            2444 kB
Writeback:           0 kB
AnonPages:       14968 kB
Mapped:           6224 kB
Slab:            69336 kB
SReclaimable:    59912 kB
SUnreclaim:       9424 kB
PageTables:        596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   117272 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15879 MiB
End job on  at 2009-05-30 11:09:01