Trace number 1781038

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) 1195.44 606.141

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
MD5SUM8aa38136187abb1238dedfc85e88a72c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark28.8338
Satisfiable
(Un)Satisfiability was proved
Number of variables4242
Number of clauses503783
Sum of the clauses size1505427
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26480
Number of clauses of size 3497272
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.71/0.82	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1781038-1243684991.cnf 
0.71/0.82	c Using SATTIMEOUT of 10000
0.71/0.82	c Using SATRAM of 2047
0.71/0.82	c Size of subset node = 16
0.71/0.82	c Variables = 4242
0.71/0.82	c Clauses = 503783
0.71/0.82	c Literals = 1505427
0.71/0.82	c Reduced size:
0.71/0.82	c Variables = 4242
0.71/0.82	c Clauses = 503783
0.71/0.82	c Literals = 1505427
0.71/0.82	c a2
2.11/2.19	c a1
5.21/5.28	c Independent sub-problems = 1
5.21/5.28	c Sub-problem with 4242 variables and 503783 clauses
5.21/5.28	c using permutation method 4
5.21/5.28	c count = 1
5.21/5.28	c Ordering finished 5.030 seconds
5.21/5.28	c mapped 5.260 seconds
5.21/5.28	c permuted 5.260 seconds
5.21/5.28	c about to sort
5.41/5.46	c sorted
9.81/9.87	c clauses now 503783
9.81/9.87	c init finished 5.520 seconds
9.81/9.87	c tree built 9.840 seconds
9.81/9.87	c 
9.81/9.87	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
9.81/9.87	c ---------------------------------|----------------------------------|------------------------------------------------------
9.81/9.87	c ................................ | ..........                       |                        9.8           0.0             
9.81/9.87	c ................................ | ..........                     1 |                        9.8           0.1             
9.81/9.87	c ................................ | ..........                     2 |                        9.8           0.2             
9.81/9.87	c ................................ | ..........                     3 |                        9.8           0.3             
9.81/9.87	c ................................ | ..........                     4 |                        9.8           0.4             
9.81/9.87	c ................................ | ..........                     5 |                        9.8           0.5             
9.81/9.87	c ................................ | ..........                  1000 | 4                      9.8         101.5           66
200.07/108.90	c ................................ | ..........               1124000 | 62078                200.2        5613.0     25266040
400.18/210.15	c ................................ | ..........               1938000 | 117340               400.2        4842.1     47570808
600.22/310.96	c ................................ | ..........               2760000 | 153863               600.3        4597.9     68790010
800.09/410.60	c ................................ | ..........               3434000 | 201580               800.3        4291.0     87578322
999.95/508.32	c ................................ | *.........               4153000 | 238570              1000.2        4152.3    106638375

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-1781038-1243684991/watcher-1781038-1243684991 -o /tmp/evaluation-result-1781038-1243684991/solver-1781038-1243684991 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1781038-1243684991.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: 7.06 7.25 6.70 5/111 30023
/proc/meminfo: memFree=2945044/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=3156 CPUtime=0.05
/proc/30023/stat : 30023 (ttsth-5-0) R 30021 30023 20065 0 -1 4202496 690 0 0 0 5 0 0 0 21 0 1 0 1133163283 3231744 646 4294967295 134512640 135237372 3213265840 3213264708 134885868 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30023/statm: 789 646 75 177 0 611 0

[startup+0.149985 s]
/proc/loadavg: 7.06 7.25 6.70 5/111 30023
/proc/meminfo: memFree=2945044/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=7496 CPUtime=0.15
/proc/30023/stat : 30023 (ttsth-5-0) R 30021 30023 20065 0 -1 4202496 1739 0 0 0 14 1 0 0 22 0 1 0 1133163283 7675904 1695 4294967295 134512640 135237372 3213265840 3213265396 134738716 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30023/statm: 1874 1695 75 177 0 1696 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 7496

[startup+0.209983 s]
/proc/loadavg: 7.06 7.25 6.70 5/111 30023
/proc/meminfo: memFree=2945044/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=10272 CPUtime=0.21
/proc/30023/stat : 30023 (ttsth-5-0) R 30021 30023 20065 0 -1 4202496 2395 0 0 0 18 3 0 0 22 0 1 0 1133163283 10518528 2351 4294967295 134512640 135237372 3213265840 3213265288 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30023/statm: 2568 2351 75 177 0 2390 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10272

[startup+0.309971 s]
/proc/loadavg: 7.06 7.25 6.70 5/111 30023
/proc/meminfo: memFree=2945044/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=14768 CPUtime=0.31
/proc/30023/stat : 30023 (ttsth-5-0) R 30021 30023 20065 0 -1 4202496 3504 0 0 0 28 3 0 0 22 0 1 0 1133163283 15122432 3460 4294967295 134512640 135237372 3213265840 3213264708 134883307 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30023/statm: 3692 3460 75 177 0 3514 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 14768

[startup+0.709945 s]
/proc/loadavg: 7.06 7.25 6.70 5/111 30023
/proc/meminfo: memFree=2945044/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=31472 CPUtime=0.71
/proc/30023/stat : 30023 (ttsth-5-0) R 30021 30023 20065 0 -1 4202496 7535 0 0 0 67 4 0 0 24 0 1 0 1133163283 32227328 7491 4294967295 134512640 135237372 3213265840 3213265564 134533760 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30023/statm: 7868 7491 75 177 0 7690 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 31472

[startup+1.50987 s]
/proc/loadavg: 7.06 7.25 6.70 5/112 30024
/proc/meminfo: memFree=2883680/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=68564 CPUtime=1.51
/proc/30023/stat : 30023 (ttsth-5-0) R 30021 30023 20065 0 -1 4202496 15987 0 0 0 145 6 0 0 25 0 1 0 1133163283 70209536 15942 4294967295 134512640 135237372 3213265840 3213264156 134680214 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30023/statm: 17141 15942 76 177 0 16963 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 68564

[startup+3.10974 s]
/proc/loadavg: 7.06 7.25 6.70 5/112 30024
/proc/meminfo: memFree=2883088/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=67796 CPUtime=3.11
/proc/30023/stat : 30023 (ttsth-5-0) R 30021 30023 20065 0 -1 4202496 17292 0 0 0 305 6 0 0 25 0 1 0 1133163283 69423104 16263 4294967295 134512640 135237372 3213265840 3213265168 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30023/statm: 16949 16263 77 177 0 16771 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 67796

[startup+6.30948 s]
/proc/loadavg: 6.82 7.19 6.69 5/112 30024
/proc/meminfo: memFree=2873596/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=74728 CPUtime=6.31
/proc/30023/stat : 30023 (ttsth-5-0) R 30021 30023 20065 0 -1 4202496 19922 0 0 0 624 7 0 0 25 0 1 0 1133163283 76521472 18401 4294967295 134512640 135237372 3213265840 3213226064 134583058 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30023/statm: 18682 18401 88 177 0 18504 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 74728

[startup+12.7089 s]
/proc/loadavg: 6.67 7.16 6.68 8/116 30028
/proc/meminfo: memFree=2833008/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=151108 CPUtime=14.47
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 31360 0 0 0 1437 10 0 0 25 0 5 0 1133163283 154734592 29316 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 37777 29316 95 177 0 37599 0
[pid=30023/tid=30025] ppid=30021 vsize=151108 CPUtime=1.21
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 1509 0 0 0 120 1 0 0 25 0 5 0 1133164267 154734592 29316 4294967295 134512640 135237372 3213265840 3076454464 134680290 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=151108 CPUtime=1.15
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 988 0 0 0 114 1 0 0 25 0 5 0 1133164267 154734592 29316 4294967295 134512640 135237372 3213265840 3067967456 134587952 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=151108 CPUtime=1.23
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 418 0 0 0 123 0 0 0 25 0 5 0 1133164267 154734592 29316 4294967295 134512640 135237372 3213265840 3059664480 134562459 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=151108 CPUtime=1.04
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 973 0 0 0 104 0 0 0 25 0 5 0 1133164267 154734592 29316 4294967295 134512640 135237372 3213265840 3051299968 134593376 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.47
Current children cumulated vsize (KiB) 151108

[startup+25.5079 s]
/proc/loadavg: 6.97 7.20 6.70 8/116 30029
/proc/meminfo: memFree=2772908/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=209088 CPUtime=37.39
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 45869 0 0 0 3719 20 0 0 25 0 5 0 1133163283 214106112 43825 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 52272 43826 95 177 0 52094 0
[pid=30023/tid=30025] ppid=30021 vsize=209088 CPUtime=6.91
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 5778 0 0 0 689 2 0 0 25 0 5 0 1133164267 214106112 43826 4294967295 134512640 135237372 3213265840 3076429360 134587921 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=209088 CPUtime=6.88
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 5062 0 0 0 684 4 0 0 25 0 5 0 1133164267 214106112 43826 4294967295 134512640 135237372 3213265840 3067968464 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=209088 CPUtime=7.01
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 2885 0 0 0 699 2 0 0 25 0 5 0 1133164267 214106112 43826 4294967295 134512640 135237372 3213265840 3059699232 134546034 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=209088 CPUtime=6.75
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 4673 0 0 0 671 4 0 0 25 0 5 0 1133164267 214106112 43826 4294967295 134512640 135237372 3213265840 3051295696 134749345 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37.39
Current children cumulated vsize (KiB) 209088

[startup+51.1058 s]
/proc/loadavg: 6.98 7.18 6.70 8/116 30216
/proc/meminfo: memFree=2666020/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=317096 CPUtime=86.52
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 72602 0 0 0 8618 34 0 0 25 0 5 0 1133163283 324706304 70558 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 79274 70558 95 177 0 79096 0
[pid=30023/tid=30025] ppid=30021 vsize=317096 CPUtime=19.13
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 11831 0 0 0 1910 3 0 0 25 0 5 0 1133164267 324706304 70558 4294967295 134512640 135237372 3213265840 3076455088 134546034 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=317096 CPUtime=19.21
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 12235 0 0 0 1912 9 0 0 25 0 5 0 1133164267 324706304 70558 4294967295 134512640 135237372 3213265840 3068019864 134733328 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=317096 CPUtime=19.33
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 8003 0 0 0 1928 5 0 0 25 0 5 0 1133164267 324706304 70558 4294967295 134512640 135237372 3213265840 3059676304 134680320 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=317096 CPUtime=19.01
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 13061 0 0 0 1892 9 0 0 25 0 5 0 1133164267 324706304 70558 4294967295 134512640 135237372 3213265840 3051267520 134680273 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 86.52
Current children cumulated vsize (KiB) 317096

[startup+102.312 s]
/proc/loadavg: 7.20 7.21 6.74 8/116 30218
/proc/meminfo: memFree=2452848/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=529012 CPUtime=187.13
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 125595 0 0 0 18648 65 0 0 25 0 5 0 1133163283 541708288 123551 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 132253 123551 95 177 0 132075 0
[pid=30023/tid=30025] ppid=30021 vsize=529012 CPUtime=44.41
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 21154 0 0 0 4435 6 0 0 25 0 5 0 1133164267 541708288 123551 4294967295 134512640 135237372 3213265840 3076455168 134680499 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=529012 CPUtime=44.45
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 27021 0 0 0 4426 19 0 0 25 0 5 0 1133164267 541708288 123551 4294967295 134512640 135237372 3213265840 3068006412 134562272 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=529012 CPUtime=44.62
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 17755 0 0 0 4448 14 0 0 25 0 5 0 1133164267 541708288 123551 4294967295 134512640 135237372 3213265840 3059575968 134591429 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=529012 CPUtime=43.81
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 32193 0 0 0 4363 18 0 0 25 0 5 0 1133164267 541708288 123551 4294967295 134512640 135237372 3213265840 3051288336 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 187.13
Current children cumulated vsize (KiB) 529012

[startup+162.307 s]
/proc/loadavg: 7.12 7.18 6.76 8/116 30406
/proc/meminfo: memFree=2257352/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=726612 CPUtime=305.77
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 174991 0 0 0 30491 86 0 0 25 0 5 0 1133163283 744050688 172947 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 181653 172947 95 177 0 181475 0
[pid=30023/tid=30025] ppid=30021 vsize=726612 CPUtime=74.11
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 27908 0 0 0 7403 8 0 0 25 0 5 0 1133164267 744050688 172947 4294967295 134512640 135237372 3213265840 3076472144 134680467 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=726612 CPUtime=74.19
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 41346 0 0 0 7392 27 0 0 25 0 5 0 1133164267 744050688 172947 4294967295 134512640 135237372 3213265840 3068015920 134749337 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=726612 CPUtime=74.42
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 28632 0 0 0 7420 22 0 0 25 0 5 0 1133164267 744050688 172947 4294967295 134512640 135237372 3213265840 3059691888 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=726612 CPUtime=73.22
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 49633 0 0 0 7301 21 0 0 25 0 5 0 1133164267 744050688 172947 4294967295 134512640 135237372 3213265840 3051295472 134561549 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 305.77
Current children cumulated vsize (KiB) 726612

[startup+222.312 s]
/proc/loadavg: 7.12 7.18 6.78 8/116 30599
/proc/meminfo: memFree=2026764/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=955196 CPUtime=424.04
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 232148 0 0 0 42291 113 0 0 25 0 5 0 1133163283 978120704 230104 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 238799 230104 95 177 0 238621 0
[pid=30023/tid=30025] ppid=30021 vsize=955196 CPUtime=104.11
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 38765 0 0 0 10399 12 0 0 25 0 5 0 1133164267 978120704 230104 4294967295 134512640 135237372 3213265840 3076376216 134549877 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=955196 CPUtime=103.68
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 53037 0 0 0 10335 33 0 0 25 0 5 0 1133164267 978120704 230104 4294967295 134512640 135237372 3213265840 3067981008 134562341 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=955196 CPUtime=103.83
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 38077 0 0 0 10354 29 0 0 25 0 5 0 1133164267 978120704 230104 4294967295 134512640 135237372 3213265840 3059643776 134680285 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=955196 CPUtime=102.58
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 74797 0 0 0 10227 31 0 0 25 0 5 0 1133164267 978120704 230104 4294967295 134512640 135237372 3213265840 3051300160 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 424.04
Current children cumulated vsize (KiB) 955196

[startup+282.317 s]
/proc/loadavg: 7.38 7.23 6.82 8/116 30787
/proc/meminfo: memFree=1826244/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=1156956 CPUtime=543.38
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 282584 0 0 0 54197 141 0 0 25 0 5 0 1133163283 1184722944 280540 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 289239 280540 95 177 0 289061 0
[pid=30023/tid=30025] ppid=30021 vsize=1156956 CPUtime=134.11
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 49499 0 0 0 13390 21 0 0 25 0 5 0 1133164267 1184722944 280540 4294967295 134512640 135237372 3213265840 3076461312 134680467 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=1156956 CPUtime=133.52
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 65475 0 0 0 13312 40 0 0 25 0 5 0 1133164267 1184722944 280540 4294967295 134512640 135237372 3213265840 3068018192 134546034 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=1156956 CPUtime=133.6
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 51071 0 0 0 13324 36 0 0 25 0 5 0 1133164267 1184722944 280540 4294967295 134512640 135237372 3213265840 3059693680 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=1156956 CPUtime=132.31
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 89067 0 0 0 13195 36 0 0 25 0 5 0 1133164267 1184722944 280540 4294967295 134512640 135237372 3213265840 3051309040 134591059 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 543.38
Current children cumulated vsize (KiB) 1156956

[startup+342.312 s]
/proc/loadavg: 7.44 7.28 6.86 8/116 30975
/proc/meminfo: memFree=1642732/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=1338500 CPUtime=662.43
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 327999 0 0 0 66082 161 0 0 25 0 5 0 1133163283 1370624000 325955 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 334625 325955 95 177 0 334447 0
[pid=30023/tid=30025] ppid=30021 vsize=1338500 CPUtime=164.11
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 63367 0 0 0 16384 27 0 0 25 0 5 0 1133164267 1370624000 325955 4294967295 134512640 135237372 3213265840 3076471184 134562459 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=1338500 CPUtime=163.15
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 74752 0 0 0 16272 43 0 0 25 0 5 0 1133164267 1370624000 325955 4294967295 134512640 135237372 3213265840 3067977888 134562454 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=1338500 CPUtime=163.23
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 63126 0 0 0 16281 42 0 0 25 0 5 0 1133164267 1370624000 325955 4294967295 134512640 135237372 3213265840 3059624904 134519962 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=1338500 CPUtime=162.1
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 99282 0 0 0 16169 41 0 0 25 0 5 0 1133164267 1370624000 325955 4294967295 134512640 135237372 3213265840 3051268992 134562416 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 662.43
Current children cumulated vsize (KiB) 1338500

[startup+402.317 s]
/proc/loadavg: 7.27 7.26 6.88 8/116 31163
/proc/meminfo: memFree=1461580/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=1521860 CPUtime=780.37
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 373777 0 0 0 77852 185 0 0 25 0 5 0 1133163283 1558384640 371733 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 380465 371733 95 177 0 380287 0
[pid=30023/tid=30025] ppid=30021 vsize=1521860 CPUtime=193.51
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 74157 0 0 0 19321 30 0 0 25 0 5 0 1133164267 1558384640 371733 4294967295 134512640 135237372 3213265840 3076468320 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=1521860 CPUtime=192.51
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 88052 0 0 0 19197 54 0 0 25 0 5 0 1133164267 1558384640 371733 4294967295 134512640 135237372 3213265840 3068043632 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=1521860 CPUtime=192.64
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 74385 0 0 0 19215 49 0 0 25 0 5 0 1133164267 1558384640 371733 4294967295 134512640 135237372 3213265840 3059669424 134587921 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=1521860 CPUtime=191.88
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 109711 0 0 0 19144 44 0 0 25 0 5 0 1133164267 1558384640 371733 4294967295 134512640 135237372 3213265840 3051262096 134593214 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 780.37
Current children cumulated vsize (KiB) 1521860

[startup+462.312 s]
/proc/loadavg: 7.24 7.25 6.90 8/116 31351
/proc/meminfo: memFree=1257212/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=1724580 CPUtime=908.77
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 424514 0 0 0 90668 209 0 0 25 0 5 0 1133163283 1765969920 422470 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 431145 422471 95 177 0 430967 0
[pid=30023/tid=30025] ppid=30021 vsize=1724580 CPUtime=223.24
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 83862 0 0 0 22290 34 0 0 25 0 5 0 1133164267 1765969920 422471 4294967295 134512640 135237372 3213265840 3076466272 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=1724580 CPUtime=222.35
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 99883 0 0 0 22175 60 0 0 25 0 5 0 1133164267 1765969920 422471 4294967295 134512640 135237372 3213265840 3068034224 134546034 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=1724580 CPUtime=222.63
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 87843 0 0 0 22207 56 0 0 25 0 5 0 1133164267 1765969920 422471 4294967295 134512640 135237372 3213265840 3059605872 134680288 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=1724580 CPUtime=230.71
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 125455 0 0 0 23020 51 0 0 25 0 5 0 1133164267 1765969920 422471 4294967295 134512640 135237372 3213265840 3051279984 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 908.77
Current children cumulated vsize (KiB) 1724580

[startup+522.307 s]
/proc/loadavg: 7.36 7.28 6.93 8/116 31540
/proc/meminfo: memFree=1086156/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=1896436 CPUtime=1028.15
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 467448 0 0 0 102590 225 0 0 25 0 5 0 1133163283 1941950464 465404 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 474109 465404 95 177 0 473931 0
[pid=30023/tid=30025] ppid=30021 vsize=1896436 CPUtime=252.94
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 94709 0 0 0 25256 38 0 0 25 0 5 0 1133164267 1941950464 465404 4294967295 134512640 135237372 3213265840 3076455760 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=1896436 CPUtime=252.33
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 111455 0 0 0 25172 61 0 0 25 0 5 0 1133164267 1941950464 465404 4294967295 134512640 135237372 3213265840 3068048636 134636641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=1896436 CPUtime=252.53
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 99933 0 0 0 25194 59 0 0 25 0 5 0 1133164267 1941950464 465404 4294967295 134512640 135237372 3213265840 3059683536 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=1896436 CPUtime=260.52
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 133879 0 0 0 25993 59 0 0 25 0 5 0 1133164267 1941950464 465404 4294967295 134512640 135237372 3213265840 3051311200 134562351 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1028.15
Current children cumulated vsize (KiB) 1896436

[startup+582.312 s]
/proc/loadavg: 7.33 7.29 6.95 9/116 31732
/proc/meminfo: memFree=945792/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=2035796 CPUtime=1148.03
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 502286 0 0 0 114565 238 0 0 25 0 5 0 1133163283 2084655104 500242 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 508949 500242 95 177 0 508771 0
[pid=30023/tid=30025] ppid=30021 vsize=2035796 CPUtime=282.9
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 101886 0 0 0 28248 42 0 0 25 0 5 0 1133164267 2084655104 500242 4294967295 134512640 135237372 3213265840 3076393344 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=2035796 CPUtime=282.24
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 121029 0 0 0 28160 64 0 0 25 0 5 0 1133164267 2084655104 500242 4294967295 134512640 135237372 3213265840 3068050592 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=2035796 CPUtime=282.63
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 109721 0 0 0 28200 63 0 0 25 0 5 0 1133164267 2084655104 500242 4294967295 134512640 135237372 3213265840 3059682240 134587062 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=2035796 CPUtime=290.43
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 142178 0 0 0 28982 61 0 0 25 0 5 0 1133164267 2084655104 500242 4294967295 134512640 135237372 3213265840 3051301488 134562394 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1148.03
Current children cumulated vsize (KiB) 2035796



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+606.01 s]
/proc/loadavg: 7.35 7.29 6.96 8/116 31916
/proc/meminfo: memFree=884504/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=2096276 CPUtime=1195.29
/proc/30023/stat : 30023 (ttsth-5-0) S 30021 30023 20065 0 -1 4202496 517346 0 0 0 119280 249 0 0 25 0 5 0 1133163283 2146586624 515302 4294967295 134512640 135237372 3213265840 3213265436 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 524069 515302 95 177 0 523891 0
[pid=30023/tid=30025] ppid=30021 vsize=2096276 CPUtime=294.64
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 105673 0 0 0 29419 45 0 0 25 0 5 0 1133164267 2146586624 515302 4294967295 134512640 135237372 3213265840 3076354800 134562430 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=30023/tid=30026] ppid=30021 vsize=2096276 CPUtime=294.05
/proc/30023/task/30026/stat : 30026 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 125889 0 0 0 29337 68 0 0 25 0 5 0 1133164267 2146586624 515302 4294967295 134512640 135237372 3213265840 3068047424 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=30023/tid=30027] ppid=30021 vsize=2096276 CPUtime=294.35
/proc/30023/task/30027/stat : 30027 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 113232 0 0 0 29369 66 0 0 25 0 5 0 1133164267 2146586624 515302 4294967295 134512640 135237372 3213265840 3059695152 134562459 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=30023/tid=30028] ppid=30021 vsize=2096276 CPUtime=302.41
/proc/30023/task/30028/stat : 30028 (ttsth-5-0) R 30021 30023 20065 0 -1 4202560 145080 0 0 0 30179 62 0 0 25 0 5 0 1133164267 2146586624 515302 4294967295 134512640 135237372 3213265840 3051308752 134562344 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1195.29
Current children cumulated vsize (KiB) 2096276

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

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

[startup+606.13 s]
/proc/loadavg: 7.35 7.29 6.96 6/114 31917
/proc/meminfo: memFree=2820788/3368532 swapFree=1953788/1959888
[pid=30023] ppid=30021 vsize=0 CPUtime=1195.43
/proc/30023/stat : 30023 (ttsth-5-0) Z 30021 30023 20065 0 -1 4203524 517357 0 0 0 119284 259 0 0 18 0 2 0 1133163283 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/30023/statm: 0 0 0 0 0 0 0
[pid=30023/tid=30025] ppid=30021 vsize=0 CPUtime=294.76
/proc/30023/task/30025/stat : 30025 (ttsth-5-0) R 30021 30023 20065 0 -1 4203588 105677 0 0 0 29421 55 0 0 25 0 2 0 1133164267 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1195.43
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 606.141
CPU time (s): 1195.44
CPU user time (s): 1192.84
CPU system time (s): 2.6
CPU usage (%): 197.221
Max. virtual memory (cumulated for all children) (KiB): 2096276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1192.84
system time used= 2.6
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517357
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= 626
involuntary context switches= 39452

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 14:03:11
IDJOB=1781038
IDBENCH=71090
IDSOLVER=632
FILE ID=/1781038-1243684991
PBS_JOBID=
Free space on /tmp= 6468 MiB

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

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

MD5SUM BENCH= 8aa38136187abb1238dedfc85e88a72c
RANDOM SEED= 927887215

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.061
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.41
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
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.061
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.061
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:       2946820 kB
Buffers:        149128 kB
Cached:         150308 kB
SwapCached:       2256 kB
Active:         195728 kB
Inactive:       120468 kB
HighTotal:     2489216 kB
HighFree:      2321056 kB
LowTotal:       879316 kB
LowFree:        625764 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            9472 kB
Writeback:           0 kB
AnonPages:       15996 kB
Mapped:           5272 kB
Slab:            96312 kB
SReclaimable:    82776 kB
SUnreclaim:      13536 kB
PageTables:        668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112684 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6468 MiB
End job on  at 2009-05-30 14:13:20