Trace number 1781173

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) 1734.65 435.04

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
MD5SUM540450986cd3d9879ae19d42219d1fab
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark48.83
Satisfiable
(Un)Satisfiability was proved
Number of variables980
Number of clauses47620
Sum of the clauses size141221
Maximum clause length7
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21731
Number of clauses of size 345866
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.07	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1781173-1243686091.cnf 
0.00/0.07	c Using SATTIMEOUT of 10000
0.00/0.07	c Using SATRAM of 2047
0.00/0.07	c Size of subset node = 16
0.00/0.07	c Variables = 980
0.00/0.07	c Clauses = 47620
0.00/0.07	c Literals = 141221
0.00/0.07	c Reduced size:
0.00/0.07	c Variables = 980
0.00/0.07	c Clauses = 47620
0.00/0.07	c Literals = 141221
0.00/0.07	c a2
0.12/0.19	c a1
0.32/0.39	c Independent sub-problems = 1
0.32/0.39	c Sub-problem with 980 variables and 47620 clauses
0.32/0.39	c using permutation method 4
0.32/0.39	c count = 1
0.32/0.39	c Ordering finished 0.370 seconds
0.32/0.39	c mapped 0.390 seconds
0.32/0.39	c permuted 0.390 seconds
0.32/0.39	c about to sort
0.32/0.40	c sorted
0.62/0.62	c clauses now 47620
0.62/0.62	c init finished 0.420 seconds
0.62/0.62	c tree built 0.620 seconds
0.62/0.62	c 
0.62/0.62	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.62/0.62	c ---------------------------------|----------------------------------|------------------------------------------------------
0.62/0.62	c ................................ | ..........                       |                        0.6           0.0             
0.62/0.62	c ................................ | ..........                     1 |                        0.6           1.6             
0.62/0.62	c ................................ | ..........                     2 |                        0.6           3.2             
0.62/0.62	c ................................ | ..........                     3 |                        0.6           4.8             
0.62/0.62	c ................................ | ..........                     4 |                        0.6           6.5             
0.62/0.62	c ................................ | ..........                     5 |                        0.6           8.1             
0.62/0.64	c ................................ | ..........                  1000 | 16                     0.7        1538.5         4539
199.88/50.54	c ................................ | ..........               1231000 | 124474               200.0        6155.0     21337871
399.83/100.55	c ................................ | ..........               2189000 | 236383               400.0        5472.4     40157637
599.84/150.68	c ................................ | ..........               3034000 | 379539               600.1        5055.7     57205322
800.17/200.85	c ................................ | ..........               3658000 | 487737               800.4        4570.3     70955035
999.92/250.98	c ................................ | *.........               4185000 | 574328              1000.2        4184.1     82488781
1200.16/301.07	c ................................ | *.........               4774000 | 650078              1200.4        3977.0     93789095
1400.24/351.12	c ................................ | *.........               5279000 | 722993              1400.3        3769.9    103735760
1599.78/401.26	c ................................ | *.........               5892000 | 819129              1600.0        3682.4    116671451

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-1781173-1243686091/watcher-1781173-1243686091 -o /tmp/evaluation-result-1781173-1243686091/solver-1781173-1243686091 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1781173-1243686091.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: 4.24 4.32 4.04 3/115 24726
/proc/meminfo: memFree=2935000/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=1140 CPUtime=0.01
/proc/24726/stat : 24726 (ttsth-5-0) R 24724 24726 11443 0 -1 4202496 180 0 0 0 1 0 0 0 18 0 1 0 1133288914 1167360 136 4294967295 134512640 135237372 3214689552 3214688076 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/24726/statm: 285 137 75 177 0 107 0

[startup+0.072354 s]
/proc/loadavg: 4.24 4.32 4.04 3/115 24726
/proc/meminfo: memFree=2935000/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=4156 CPUtime=0.08
/proc/24726/stat : 24726 (ttsth-5-0) R 24724 24726 11443 0 -1 4202496 932 0 0 0 8 0 0 0 18 0 1 0 1133288914 4255744 888 4294967295 134512640 135237372 3214689552 3214688820 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/24726/statm: 1039 891 76 177 0 861 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4156

[startup+0.11235 s]
/proc/loadavg: 4.24 4.32 4.04 3/115 24726
/proc/meminfo: memFree=2935000/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=7140 CPUtime=0.12
/proc/24726/stat : 24726 (ttsth-5-0) R 24724 24726 11443 0 -1 4202496 1635 0 0 0 11 1 0 0 18 0 1 0 1133288914 7311360 1590 4294967295 134512640 135237372 3214689552 3214687964 134680502 0 0 0 0 0 0 0 17 0 0 0 0
/proc/24726/statm: 1785 1590 76 177 0 1607 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7140

[startup+0.312342 s]
/proc/loadavg: 4.24 4.32 4.04 3/115 24726
/proc/meminfo: memFree=2935000/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=7664 CPUtime=0.32
/proc/24726/stat : 24726 (ttsth-5-0) R 24724 24726 11443 0 -1 4202496 2236 0 0 0 30 2 0 0 18 0 1 0 1133288914 7847936 1764 4294967295 134512640 135237372 3214689552 3214688680 134730320 0 0 0 0 0 0 0 17 0 0 0 0
/proc/24726/statm: 1916 1764 77 177 0 1738 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 7664

[startup+0.712331 s]
/proc/loadavg: 4.24 4.32 4.04 3/115 24726
/proc/meminfo: memFree=2935000/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=49512 CPUtime=0.94
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 4481 0 0 0 92 2 0 0 18 0 5 0 1133288914 50700288 3915 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 12378 3915 95 177 0 12200 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 49512

[startup+1.5123 s]
/proc/loadavg: 4.24 4.32 4.04 6/120 24731
/proc/meminfo: memFree=2916648/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=62012 CPUtime=4.14
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 7254 0 0 0 410 4 0 0 18 0 5 0 1133288914 63500288 6688 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 15503 6688 95 177 0 15325 0
[pid=24726/tid=24728] ppid=24724 vsize=62012 CPUtime=0.89
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 520 0 0 0 89 0 0 0 21 0 5 0 1133288976 63500288 6688 4294967295 134512640 135237372 3214689552 3085591788 134549972 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=62012 CPUtime=0.89
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 865 0 0 0 88 1 0 0 20 0 5 0 1133288976 63500288 6688 4294967295 134512640 135237372 3214689552 3077194496 134749343 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=62012 CPUtime=0.89
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 909 0 0 0 89 0 0 0 20 0 5 0 1133288976 63500288 6688 4294967295 134512640 135237372 3214689552 3068800908 134561392 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=62012 CPUtime=0.86
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 853 0 0 0 85 1 0 0 20 0 5 0 1133288976 63500288 6688 4294967295 134512640 135237372 3214689552 3060404576 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 62012

[startup+3.11224 s]
/proc/loadavg: 4.24 4.32 4.04 5/120 24731
/proc/meminfo: memFree=2900692/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=84992 CPUtime=10.54
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 12749 0 0 0 1048 6 0 0 18 0 5 0 1133288914 87031808 12183 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 21248 12183 95 177 0 21070 0
[pid=24726/tid=24728] ppid=24724 vsize=84992 CPUtime=2.49
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 1695 0 0 0 249 0 0 0 25 0 5 0 1133288976 87031808 12183 4294967295 134512640 135237372 3214689552 3085591600 134749343 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=84992 CPUtime=2.49
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 2194 0 0 0 247 2 0 0 25 0 5 0 1133288976 87031808 12183 4294967295 134512640 135237372 3214689552 3077180704 134561428 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=84992 CPUtime=2.49
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 2692 0 0 0 249 0 0 0 25 0 5 0 1133288976 87031808 12183 4294967295 134512640 135237372 3214689552 3068792448 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=84992 CPUtime=2.46
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 2061 0 0 0 244 2 0 0 25 0 5 0 1133288976 87031808 12183 4294967295 134512640 135237372 3214689552 3060412496 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.54
Current children cumulated vsize (KiB) 84992

[startup+6.31211 s]
/proc/loadavg: 4.30 4.33 4.04 5/120 24732
/proc/meminfo: memFree=2864440/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=118120 CPUtime=23.33
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 20610 0 0 0 2319 14 0 0 18 0 5 0 1133288914 120954880 20044 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 29530 20044 95 177 0 29352 0
[pid=24726/tid=24728] ppid=24724 vsize=118120 CPUtime=5.68
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 3177 0 0 0 567 1 0 0 25 0 5 0 1133288976 120954880 20044 4294967295 134512640 135237372 3214689552 3085585184 134591136 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=118120 CPUtime=5.69
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 4741 0 0 0 563 6 0 0 25 0 5 0 1133288976 120954880 20044 4294967295 134512640 135237372 3214689552 3077181296 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=118120 CPUtime=5.69
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 4595 0 0 0 567 2 0 0 25 0 5 0 1133288976 120954880 20044 4294967295 134512640 135237372 3214689552 3068797632 134749351 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=118120 CPUtime=5.66
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 3990 0 0 0 563 3 0 0 25 0 5 0 1133288976 120954880 20044 4294967295 134512640 135237372 3214689552 3060402800 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.33
Current children cumulated vsize (KiB) 118120

[startup+12.7119 s]
/proc/loadavg: 4.28 4.33 4.04 5/120 24735
/proc/meminfo: memFree=2803232/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=178684 CPUtime=48.93
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 35111 0 0 0 4872 21 0 0 18 0 5 0 1133288914 182972416 34545 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 44671 34545 95 177 0 44493 0
[pid=24726/tid=24728] ppid=24724 vsize=178684 CPUtime=12.08
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 5866 0 0 0 1205 3 0 0 25 0 5 0 1133288976 182972416 34545 4294967295 134512640 135237372 3214689552 3085591232 134588138 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=178684 CPUtime=12.09
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 8867 0 0 0 1201 8 0 0 25 0 5 0 1133288976 182972416 34545 4294967295 134512640 135237372 3214689552 3077185360 134749351 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=178684 CPUtime=12.09
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 7969 0 0 0 1205 4 0 0 25 0 5 0 1133288976 182972416 34545 4294967295 134512640 135237372 3214689552 3068804508 134552672 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=178684 CPUtime=12.06
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 8302 0 0 0 1202 4 0 0 25 0 5 0 1133288976 182972416 34545 4294967295 134512640 135237372 3214689552 3060421916 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.93
Current children cumulated vsize (KiB) 178684

[startup+25.5113 s]
/proc/loadavg: 4.36 4.34 4.05 5/120 24735
/proc/meminfo: memFree=2718960/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=264796 CPUtime=100.1
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 55372 0 0 0 9985 25 0 0 18 0 5 0 1133288914 271151104 54806 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 66199 54806 95 177 0 66021 0
[pid=24726/tid=24728] ppid=24724 vsize=264796 CPUtime=24.86
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 9348 0 0 0 2481 5 0 0 25 0 5 0 1133288976 271151104 54806 4294967295 134512640 135237372 3214689552 3085592192 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=264796 CPUtime=24.89
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 14628 0 0 0 2480 9 0 0 25 0 5 0 1133288976 271151104 54806 4294967295 134512640 135237372 3214689552 3077190980 134737752 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=264796 CPUtime=24.88
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 13603 0 0 0 2483 5 0 0 25 0 5 0 1133288976 271151104 54806 4294967295 134512640 135237372 3214689552 3068794144 134749343 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=264796 CPUtime=24.86
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 13686 0 0 0 2482 4 0 0 25 0 5 0 1133288976 271151104 54806 4294967295 134512640 135237372 3214689552 3060404048 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.1
Current children cumulated vsize (KiB) 264796

[startup+51.1103 s]
/proc/loadavg: 4.38 4.35 4.06 5/120 24920
/proc/meminfo: memFree=2585488/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=409476 CPUtime=202.26
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 89247 0 0 0 20179 47 0 0 18 0 5 0 1133288914 419303424 88681 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 102369 88681 95 177 0 102191 0
[pid=24726/tid=24728] ppid=24724 vsize=409476 CPUtime=50.4
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 16789 0 0 0 5026 14 0 0 25 0 5 0 1133288976 419303424 88681 4294967295 134512640 135237372 3214689552 3085592240 134588280 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=409476 CPUtime=50.44
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 24395 0 0 0 5030 14 0 0 25 0 5 0 1133288976 419303424 88681 4294967295 134512640 135237372 3214689552 3077184064 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=409476 CPUtime=50.37
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 22690 0 0 0 5028 9 0 0 25 0 5 0 1133288976 419303424 88681 4294967295 134512640 135237372 3214689552 3068793056 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=409476 CPUtime=50.44
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 21266 0 0 0 5036 8 0 0 25 0 5 0 1133288976 419303424 88681 4294967295 134512640 135237372 3214689552 3060412976 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.26
Current children cumulated vsize (KiB) 409476

[startup+102.318 s]
/proc/loadavg: 4.61 4.42 4.10 5/120 24924
/proc/meminfo: memFree=2281092/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=728584 CPUtime=407.07
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 164591 0 0 0 40609 98 0 0 18 0 5 0 1133288914 746070016 164025 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 182146 164025 95 177 0 181968 0
[pid=24726/tid=24728] ppid=24724 vsize=728584 CPUtime=101.58
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 30293 0 0 0 10128 30 0 0 25 0 5 0 1133288976 746070016 164025 4294967295 134512640 135237372 3214689552 3085562896 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=728584 CPUtime=101.65
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 43092 0 0 0 10140 25 0 0 25 0 5 0 1133288976 746070016 164025 4294967295 134512640 135237372 3214689552 3077191536 134590497 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=728584 CPUtime=101.58
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 48588 0 0 0 10134 24 0 0 25 0 5 0 1133288976 746070016 164025 4294967295 134512640 135237372 3214689552 3068805968 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=728584 CPUtime=101.65
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 38511 0 0 0 10148 17 0 0 25 0 5 0 1133288976 746070016 164025 4294967295 134512640 135237372 3214689552 3060413024 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.07
Current children cumulated vsize (KiB) 728584

[startup+162.306 s]
/proc/loadavg: 4.67 4.47 4.13 5/120 25113
/proc/meminfo: memFree=1970384/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=1060132 CPUtime=646.62
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 242646 0 0 0 64514 148 0 0 18 0 5 0 1133288914 1085575168 242080 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 265033 242081 95 177 0 264855 0
[pid=24726/tid=24728] ppid=24724 vsize=1060132 CPUtime=161.36
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 45811 0 0 0 16090 46 0 0 25 0 5 0 1133288976 1085575168 242081 4294967295 134512640 135237372 3214689552 3085571248 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=1060132 CPUtime=161.64
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 70903 0 0 0 16123 41 0 0 25 0 5 0 1133288976 1085575168 242081 4294967295 134512640 135237372 3214689552 3077197136 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=1060132 CPUtime=161.48
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 66875 0 0 0 16114 34 0 0 25 0 5 0 1133288976 1085575168 242081 4294967295 134512640 135237372 3214689552 3068790736 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=1060132 CPUtime=161.53
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 54951 0 0 0 16128 25 0 0 25 0 5 0 1133288976 1085575168 242081 4294967295 134512640 135237372 3214689552 3060407728 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 646.62
Current children cumulated vsize (KiB) 1060132

[startup+222.303 s]
/proc/loadavg: 4.54 4.47 4.15 5/120 25303
/proc/meminfo: memFree=1723632/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=1317724 CPUtime=886.11
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 303634 0 0 0 88432 179 0 0 18 0 5 0 1133288914 1349349376 303068 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 329431 303068 95 177 0 329253 0
[pid=24726/tid=24728] ppid=24724 vsize=1317724 CPUtime=221.19
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 59290 0 0 0 22063 56 0 0 25 0 5 0 1133288976 1349349376 303068 4294967295 134512640 135237372 3214689552 3085571840 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=1317724 CPUtime=221.63
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 94545 0 0 0 22112 51 0 0 25 0 5 0 1133288976 1349349376 303068 4294967295 134512640 135237372 3214689552 3077175712 134680346 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=1317724 CPUtime=221.45
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 77659 0 0 0 22105 40 0 0 25 0 5 0 1133288976 1349349376 303068 4294967295 134512640 135237372 3214689552 3068801632 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=1317724 CPUtime=221.23
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 68033 0 0 0 22093 30 0 0 25 0 5 0 1133288976 1349349376 303068 4294967295 134512640 135237372 3214689552 3060427408 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 886.11
Current children cumulated vsize (KiB) 1317724

[startup+282.311 s]
/proc/loadavg: 4.64 4.53 4.19 5/120 25491
/proc/meminfo: memFree=1517220/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=1538256 CPUtime=1125.46
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 355792 0 0 0 112328 218 0 0 18 0 5 0 1133288914 1575174144 355226 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 384564 355226 95 177 0 384386 0
[pid=24726/tid=24728] ppid=24724 vsize=1538256 CPUtime=281.07
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 73297 0 0 0 28037 70 0 0 25 0 5 0 1133288976 1575174144 355226 4294967295 134512640 135237372 3214689552 3085590112 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=1538256 CPUtime=281.64
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 107628 0 0 0 28107 57 0 0 25 0 5 0 1133288976 1575174144 355226 4294967295 134512640 135237372 3214689552 3077188480 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=1538256 CPUtime=281.45
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 91602 0 0 0 28095 50 0 0 25 0 5 0 1133288976 1575174144 355226 4294967295 134512640 135237372 3214689552 3068812048 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=1538256 CPUtime=280.69
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 79158 0 0 0 28030 39 0 0 25 0 5 0 1133288976 1575174144 355226 4294967295 134512640 135237372 3214689552 3060414160 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1125.46
Current children cumulated vsize (KiB) 1538256

[startup+342.309 s]
/proc/loadavg: 4.57 4.53 4.21 5/120 25680
/proc/meminfo: memFree=1322556/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=1742796 CPUtime=1365.04
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 403984 0 0 0 136242 262 0 0 18 0 5 0 1133288914 1784623104 403418 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 435699 403418 95 177 0 435521 0
[pid=24726/tid=24728] ppid=24724 vsize=1742796 CPUtime=340.95
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 86139 0 0 0 34009 86 0 0 25 0 5 0 1133288976 1784623104 403418 4294967295 134512640 135237372 3214689552 3085587376 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=1742796 CPUtime=341.63
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 117479 0 0 0 34100 63 0 0 25 0 5 0 1133288976 1784623104 403418 4294967295 134512640 135237372 3214689552 3077181856 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=1742796 CPUtime=341.44
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 107028 0 0 0 34077 67 0 0 25 0 5 0 1133288976 1784623104 403418 4294967295 134512640 135237372 3214689552 3068810512 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=1742796 CPUtime=340.41
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 89231 0 0 0 33997 44 0 0 25 0 5 0 1133288976 1784623104 403418 4294967295 134512640 135237372 3214689552 3060413488 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1365.04
Current children cumulated vsize (KiB) 1742796

[startup+402.306 s]
/proc/loadavg: 4.60 4.55 4.24 5/120 25867
/proc/meminfo: memFree=1087708/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=1994428 CPUtime=1604.18
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 463198 0 0 0 160108 310 0 0 18 0 5 0 1133288914 2042294272 462632 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 498607 462632 95 177 0 498429 0
[pid=24726/tid=24728] ppid=24724 vsize=1994428 CPUtime=400.84
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 99009 0 0 0 39982 102 0 0 25 0 5 0 1133288976 2042294272 462632 4294967295 134512640 135237372 3214689552 3085579344 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=1994428 CPUtime=401.61
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 130538 0 0 0 40089 72 0 0 25 0 5 0 1133288976 2042294272 462632 4294967295 134512640 135237372 3214689552 3077184176 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=1994428 CPUtime=401.44
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 126793 0 0 0 40063 81 0 0 25 0 5 0 1133288976 2042294272 462632 4294967295 134512640 135237372 3214689552 3068801008 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=1994428 CPUtime=399.68
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 102751 0 0 0 39915 53 0 0 25 0 5 0 1133288976 2042294272 462632 4294967295 134512640 135237372 3214689552 3060412576 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1604.18
Current children cumulated vsize (KiB) 1994428



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+434.915 s]
/proc/loadavg: 4.63 4.56 4.25 6/121 25998
/proc/meminfo: memFree=987004/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=2096388 CPUtime=1734.49
/proc/24726/stat : 24726 (ttsth-5-0) S 24724 24726 11443 0 -1 4202496 487465 0 0 0 173125 324 0 0 18 0 5 0 1133288914 2146701312 486899 4294967295 134512640 135237372 3214689552 3214689148 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 524097 486899 95 177 0 523919 0
[pid=24726/tid=24728] ppid=24724 vsize=2096388 CPUtime=433.44
/proc/24726/task/24728/stat : 24728 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 104674 0 0 0 43237 107 0 0 25 0 5 0 1133288976 2146701312 486899 4294967295 134512640 135237372 3214689552 3085570384 134749353 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24726/tid=24729] ppid=24724 vsize=2096388 CPUtime=434.1
/proc/24726/task/24729/stat : 24729 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 139260 0 0 0 43333 77 0 0 25 0 5 0 1133288976 2146701312 486899 4294967295 134512640 135237372 3214689552 3077198976 134546026 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24726/tid=24730] ppid=24724 vsize=2096388 CPUtime=434.05
/proc/24726/task/24730/stat : 24730 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 132629 0 0 0 43322 83 0 0 25 0 5 0 1133288976 2146701312 486899 4294967295 134512640 135237372 3214689552 3068791376 134562351 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=2096388 CPUtime=432.28
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4202560 106795 0 0 0 43173 55 0 0 25 0 5 0 1133288976 2146701312 486899 4294967295 134512640 135237372 3214689552 3060412892 134562272 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1734.49
Current children cumulated vsize (KiB) 2096388

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

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

[startup+435.035 s]
/proc/loadavg: 4.63 4.56 4.25 6/121 25998
/proc/meminfo: memFree=987004/3368532 swapFree=1941392/1959888
[pid=24726] ppid=24724 vsize=0 CPUtime=1734.65
/proc/24726/stat : 24726 (ttsth-5-0) Z 24724 24726 11443 0 -1 4203524 487474 0 0 0 173131 334 0 0 15 0 2 0 1133288914 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24726/statm: 0 0 0 0 0 0 0
[pid=24726/tid=24731] ppid=24724 vsize=0 CPUtime=432.4
/proc/24726/task/24731/stat : 24731 (ttsth-5-0) R 24724 24726 11443 0 -1 4203588 106796 0 0 0 43175 65 0 0 25 0 2 0 1133288976 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1734.65
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24726 and gives
#  childrusage.ru_utime.tv_sec=1731
#  childrusage.ru_utime.tv_usec=310000
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=340000
# CPU time returned by wait4() is 1734.65
# while last known CPU time is 1734.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 435.04
CPU time (s): 1734.65
CPU user time (s): 1731.31
CPU system time (s): 3.34
CPU usage (%): 398.733
Max. virtual memory (cumulated for all children) (KiB): 2096388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1731.31
system time used= 3.34
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487474
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= 1053
involuntary context switches= 32480

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 14:21:31
IDJOB=1781173
IDBENCH=71102
IDSOLVER=632
FILE ID=/1781173-1243686091
PBS_JOBID=
Free space on /tmp= 15729 MiB

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

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

MD5SUM BENCH= 540450986cd3d9879ae19d42219d1fab
RANDOM SEED= 342904765

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.143
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.143
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.143
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.17
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.143
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:       2935000 kB
Buffers:        112464 kB
Cached:         213956 kB
SwapCached:       4320 kB
Active:         204892 kB
Inactive:       132300 kB
HighTotal:     2489216 kB
HighFree:      2262604 kB
LowTotal:       879316 kB
LowFree:        672396 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            1576 kB
Writeback:           0 kB
AnonPages:        9356 kB
Mapped:           4296 kB
Slab:            85640 kB
SReclaimable:    75500 kB
SUnreclaim:      10140 kB
PageTables:        748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127076 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15729 MiB
End job on  at 2009-05-30 14:28:48