Trace number 1776373

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) 1045.83 523.733

General information on the benchmark

Nameindustrial/grieu/
vmpc_28.cnf
MD5SUM2679ca6fb11bcf9f950de09652ce7147
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark59.91
Satisfiable
(Un)Satisfiability was proved
Number of variables784
Number of clauses108080
Sum of the clauses size283220
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 242420
Number of clauses of size 365604
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 556

Solver Data 

0.11/0.15	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776373-1243674152.cnf 
0.11/0.15	c Using SATTIMEOUT of 10000
0.11/0.15	c Using SATRAM of 2047
0.11/0.15	c Size of subset node = 16
0.11/0.15	c Variables = 784
0.11/0.15	c Clauses = 108080
0.11/0.15	c Literals = 283220
0.11/0.15	c Reduced size:
0.11/0.15	c Variables = 784
0.11/0.15	c Clauses = 108080
0.11/0.15	c Literals = 283220
0.11/0.15	c a2
0.31/0.39	c a1
0.81/0.86	c Independent sub-problems = 1
0.81/0.86	c Sub-problem with 784 variables and 108080 clauses
0.81/0.86	c using permutation method 4
0.81/0.86	c count = 1
0.81/0.86	c Ordering finished 0.810 seconds
0.81/0.86	c mapped 0.860 seconds
0.81/0.86	c permuted 0.860 seconds
0.81/0.86	c about to sort
0.81/0.89	c sorted
1.51/1.53	c clauses now 108080
1.51/1.53	c init finished 0.910 seconds
1.51/1.53	c tree built 1.530 seconds
1.51/1.53	c 
1.51/1.53	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.51/1.53	c ---------------------------------|----------------------------------|------------------------------------------------------
1.51/1.53	c ................................ | ..........                       |                        1.5           0.0             
1.51/1.53	c ................................ | ..........                     1 |                        1.5           0.7             
1.51/1.53	c ................................ | ..........                     2 |                        1.5           1.3             
1.51/1.53	c ................................ | ..........                     3 |                        1.5           2.0             
1.51/1.53	c ................................ | ..........                     4 |                        1.5           2.6             
1.51/1.53	c ................................ | ..........                     5 |                        1.5           3.3             
1.51/1.55	c ................................ | ..........                  1000 | 5                      1.6         645.2         7096
200.06/104.56	c ................................ | ..........                516000 | 20415                200.2        2577.7     41425059
400.85/206.93	c ................................ | ..........                784000 | 32615                400.6        1957.0     66973895
600.37/300.27	c ................................ | ..........                976000 | 42072                600.5        1625.3     87295756
800.66/400.77	c ................................ | ..........               1128000 | 50522                800.8        1408.6    105765149
1000.53/500.82	c ................................ | *.........               1267000 | 58674               1000.5        1266.3    122779042

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-1776373-1243674152/watcher-1776373-1243674152 -o /tmp/evaluation-result-1776373-1243674152/solver-1776373-1243674152 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776373-1243674152.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.15 7.11 6.55 5/111 28613
/proc/meminfo: memFree=3080412/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=1404 CPUtime=0.01
/proc/28613/stat : 28613 (ttsth-5-0) R 28611 28613 20065 0 -1 4202496 242 0 0 0 1 0 0 0 25 0 1 0 1132079300 1437696 197 4294967295 134512640 135237372 3216525008 3216524624 134520495 0 0 0 0 0 0 0 17 3 0 0 0
/proc/28613/statm: 351 197 75 177 0 173 0

[startup+0.109802 s]
/proc/loadavg: 7.15 7.11 6.55 5/111 28613
/proc/meminfo: memFree=3080412/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=6000 CPUtime=0.11
/proc/28613/stat : 28613 (ttsth-5-0) R 28611 28613 20065 0 -1 4202496 1383 0 0 0 11 0 0 0 25 0 1 0 1132079300 6144000 1338 4294967295 134512640 135237372 3216525008 3216524456 134730132 0 0 0 0 0 0 0 17 3 0 0 0
/proc/28613/statm: 1500 1338 75 177 0 1322 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 6000

[startup+0.209795 s]
/proc/loadavg: 7.15 7.11 6.55 5/111 28613
/proc/meminfo: memFree=3080412/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=14216 CPUtime=0.21
/proc/28613/stat : 28613 (ttsth-5-0) R 28611 28613 20065 0 -1 4202496 3419 0 0 0 20 1 0 0 25 0 1 0 1132079300 14557184 3373 4294967295 134512640 135237372 3216525008 3216524104 134519988 0 0 0 0 0 0 0 17 3 0 0 0
/proc/28613/statm: 3554 3373 76 177 0 3376 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 14216

[startup+0.309781 s]
/proc/loadavg: 7.15 7.11 6.55 5/111 28613
/proc/meminfo: memFree=3080412/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=14216 CPUtime=0.31
/proc/28613/stat : 28613 (ttsth-5-0) R 28611 28613 20065 0 -1 4202496 3419 0 0 0 30 1 0 0 25 0 1 0 1132079300 14557184 3373 4294967295 134512640 135237372 3216525008 3216523328 134749362 0 0 0 0 0 0 0 17 3 0 0 0
/proc/28613/statm: 3554 3373 76 177 0 3376 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 14216

[startup+0.709756 s]
/proc/loadavg: 7.15 7.11 6.55 5/111 28613
/proc/meminfo: memFree=3080412/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=15412 CPUtime=0.71
/proc/28613/stat : 28613 (ttsth-5-0) R 28611 28613 20065 0 -1 4202496 5292 0 0 0 70 1 0 0 25 0 1 0 1132079300 15781888 3714 4294967295 134512640 135237372 3216525008 3216524300 134737648 0 0 0 0 0 0 0 17 3 0 0 0
/proc/28613/statm: 3853 3714 77 177 0 3675 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 15412

[startup+1.50969 s]
/proc/loadavg: 7.15 7.11 6.55 5/112 28614
/proc/meminfo: memFree=3065316/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=22560 CPUtime=1.51
/proc/28613/stat : 28613 (ttsth-5-0) R 28611 28613 20065 0 -1 4202496 7284 0 0 0 149 2 0 0 25 0 1 0 1132079300 23101440 5494 4294967295 134512640 135237372 3216525008 3216519728 134582084 0 0 0 0 0 0 0 17 3 0 0 0
/proc/28613/statm: 5640 5494 90 177 0 5462 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 22560

[startup+3.10956 s]
/proc/loadavg: 7.15 7.11 6.55 9/116 28618
/proc/meminfo: memFree=3046100/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=81860 CPUtime=4.26
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 13772 0 0 0 422 4 0 0 25 0 5 0 1132079300 83824640 11982 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 20465 11982 95 177 0 20287 0
[pid=28613/tid=28615] ppid=28611 vsize=81860 CPUtime=0.59
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 1284 0 0 0 58 1 0 0 25 0 5 0 1132079454 83824640 11983 4294967295 134512640 135237372 3216525008 3085985840 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=81860 CPUtime=0.72
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 1607 0 0 0 71 1 0 0 25 0 5 0 1132079454 83824640 11983 4294967295 134512640 135237372 3216525008 3077600880 134589112 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=81860 CPUtime=0.71
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 1679 0 0 0 71 0 0 0 25 0 5 0 1132079454 83824640 11983 4294967295 134512640 135237372 3216525008 3069207088 134590140 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=81860 CPUtime=0.71
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 1726 0 0 0 71 0 0 0 25 0 5 0 1132079454 83824640 11983 4294967295 134512640 135237372 3216525008 3060816188 134680502 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 81860

[startup+6.30929 s]
/proc/loadavg: 7.22 7.13 6.56 8/116 28618
/proc/meminfo: memFree=3001016/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=121872 CPUtime=9.91
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 23722 0 0 0 983 8 0 0 25 0 5 0 1132079300 124796928 21932 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 30468 21932 95 177 0 30290 0
[pid=28613/tid=28615] ppid=28611 vsize=121872 CPUtime=1.83
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 3450 0 0 0 181 2 0 0 25 0 5 0 1132079454 124796928 21932 4294967295 134512640 135237372 3216525008 3085979552 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=121872 CPUtime=2.22
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 4292 0 0 0 221 1 0 0 25 0 5 0 1132079454 124796928 21932 4294967295 134512640 135237372 3216525008 3077596128 134590140 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=121872 CPUtime=2.11
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 4124 0 0 0 209 2 0 0 25 0 5 0 1132079454 124796928 21932 4294967295 134512640 135237372 3216525008 3069204768 134549905 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=121872 CPUtime=2.22
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 4379 0 0 0 221 1 0 0 25 0 5 0 1132079454 124796928 21932 4294967295 134512640 135237372 3216525008 3060818752 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (KiB) 121872

[startup+12.7088 s]
/proc/loadavg: 7.20 7.13 6.56 8/116 28624
/proc/meminfo: memFree=2935324/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=186264 CPUtime=21.55
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 39554 0 0 0 2137 18 0 0 25 0 5 0 1132079300 190734336 37764 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 46566 37764 95 177 0 46388 0
[pid=28613/tid=28615] ppid=28611 vsize=186264 CPUtime=4.76
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 7160 0 0 0 473 3 0 0 25 0 5 0 1132079454 190734336 37764 4294967295 134512640 135237372 3216525008 3085994672 134590923 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=186264 CPUtime=5.22
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 8564 0 0 0 518 4 0 0 25 0 5 0 1132079454 190734336 37764 4294967295 134512640 135237372 3216525008 3077591232 134591655 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=186264 CPUtime=5.01
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 7791 0 0 0 495 6 0 0 25 0 5 0 1132079454 190734336 37764 4294967295 134512640 135237372 3216525008 3069226240 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=186264 CPUtime=5.03
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 8562 0 0 0 500 3 0 0 25 0 5 0 1132079454 190734336 37764 4294967295 134512640 135237372 3216525008 3060827872 134680262 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.55
Current children cumulated vsize (KiB) 186264

[startup+25.5077 s]
/proc/loadavg: 7.08 7.10 6.56 8/116 28626
/proc/meminfo: memFree=2828380/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=288824 CPUtime=46.05
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 65128 0 0 0 4579 26 0 0 25 0 5 0 1132079300 295755776 63338 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 72206 63338 95 177 0 72028 0
[pid=28613/tid=28615] ppid=28611 vsize=288824 CPUtime=10.84
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 13509 0 0 0 1080 4 0 0 25 0 5 0 1132079454 295755776 63338 4294967295 134512640 135237372 3216525008 3086007600 134561510 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=288824 CPUtime=11.42
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 15335 0 0 0 1136 6 0 0 25 0 5 0 1132079454 295755776 63338 4294967295 134512640 135237372 3216525008 3077609212 134550034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=288824 CPUtime=11.01
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 12851 0 0 0 1092 9 0 0 25 0 5 0 1132079454 295755776 63338 4294967295 134512640 135237372 3216525008 3069228704 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=288824 CPUtime=11.25
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 15956 0 0 0 1120 5 0 0 25 0 5 0 1132079454 295755776 63338 4294967295 134512640 135237372 3216525008 3060820544 134562351 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.05
Current children cumulated vsize (KiB) 288824

[startup+51.1056 s]
/proc/loadavg: 7.26 7.14 6.58 9/116 28809
/proc/meminfo: memFree=2675588/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=446080 CPUtime=96.05
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 103590 0 0 0 9560 45 0 0 25 0 5 0 1132079300 456785920 101800 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 111520 101800 95 177 0 111342 0
[pid=28613/tid=28615] ppid=28611 vsize=446080 CPUtime=23.14
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 22207 0 0 0 2306 8 0 0 25 0 5 0 1132079454 456785920 101800 4294967295 134512640 135237372 3216525008 3086006028 134680502 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=446080 CPUtime=23.79
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 24932 0 0 0 2368 11 0 0 25 0 5 0 1132079454 456785920 101800 4294967295 134512640 135237372 3216525008 3077603024 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=446080 CPUtime=23.68
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 21578 0 0 0 2356 12 0 0 25 0 5 0 1132079454 456785920 101800 4294967295 134512640 135237372 3216525008 3069226544 134562394 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=446080 CPUtime=23.91
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 27396 0 0 0 2379 12 0 0 25 0 5 0 1132079454 456785920 101800 4294967295 134512640 135237372 3216525008 3060839040 134562420 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 96.05
Current children cumulated vsize (KiB) 446080

[startup+102.311 s]
/proc/loadavg: 7.38 7.19 6.63 8/116 29000
/proc/meminfo: memFree=2415656/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=710112 CPUtime=195.66
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 167837 0 0 0 19498 68 0 0 25 0 5 0 1132079300 727154688 166047 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 177528 166047 95 177 0 177350 0
[pid=28613/tid=28615] ppid=28611 vsize=710112 CPUtime=48.54
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 40220 0 0 0 4836 18 0 0 25 0 5 0 1132079454 727154688 166047 4294967295 134512640 135237372 3216525008 3085981568 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=710112 CPUtime=48.72
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 38820 0 0 0 4857 15 0 0 25 0 5 0 1132079454 727154688 166047 4294967295 134512640 135237372 3216525008 3077615216 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=710112 CPUtime=48.24
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 37016 0 0 0 4810 14 0 0 25 0 5 0 1132079454 727154688 166047 4294967295 134512640 135237372 3216525008 3069219008 134561426 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=710112 CPUtime=48.63
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 44304 0 0 0 4844 19 0 0 25 0 5 0 1132079454 727154688 166047 4294967295 134512640 135237372 3216525008 3060842672 134749353 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 195.66
Current children cumulated vsize (KiB) 710112

[startup+162.306 s]
/proc/loadavg: 7.62 7.29 6.70 8/116 29187
/proc/meminfo: memFree=2166712/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=964596 CPUtime=312.85
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 230612 0 0 0 31196 89 0 0 25 0 5 0 1132079300 987746304 228822 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 241149 228822 95 177 0 240971 0
[pid=28613/tid=28615] ppid=28611 vsize=964596 CPUtime=77.94
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 57897 0 0 0 7772 22 0 0 25 0 5 0 1132079454 987746304 228822 4294967295 134512640 135237372 3216525008 3085994704 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=964596 CPUtime=77.92
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 51014 0 0 0 7773 19 0 0 25 0 5 0 1132079454 987746304 228822 4294967295 134512640 135237372 3216525008 3077602304 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=964596 CPUtime=77.71
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 53205 0 0 0 7752 19 0 0 25 0 5 0 1132079454 987746304 228822 4294967295 134512640 135237372 3216525008 3069216416 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=964596 CPUtime=77.75
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 61019 0 0 0 7748 27 0 0 25 0 5 0 1132079454 987746304 228822 4294967295 134512640 135237372 3216525008 3060837344 134562413 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 312.85
Current children cumulated vsize (KiB) 964596

[startup+222.311 s]
/proc/loadavg: 7.64 7.35 6.75 9/116 29374
/proc/meminfo: memFree=1939976/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=1194720 CPUtime=439.2
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 286662 0 0 0 43815 105 0 0 25 0 5 0 1132079300 1223393280 284872 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 298680 284872 95 177 0 298502 0
[pid=28613/tid=28615] ppid=28611 vsize=1194720 CPUtime=109.8
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 73735 0 0 0 10952 28 0 0 25 0 5 0 1132079454 1223393280 284872 4294967295 134512640 135237372 3216525008 3085997600 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=1194720 CPUtime=107.92
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 62831 0 0 0 10768 24 0 0 25 0 5 0 1132079454 1223393280 284872 4294967295 134512640 135237372 3216525008 3077597404 134549969 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=1194720 CPUtime=112.54
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 68514 0 0 0 11231 23 0 0 25 0 5 0 1132079454 1223393280 284872 4294967295 134512640 135237372 3216525008 3069227760 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=1194720 CPUtime=107.41
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 74105 0 0 0 10713 28 0 0 25 0 5 0 1132079454 1223393280 284872 4294967295 134512640 135237372 3216525008 3060838592 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 439.2
Current children cumulated vsize (KiB) 1194720

[startup+282.316 s]
/proc/loadavg: 7.71 7.40 6.81 8/116 29562
/proc/meminfo: memFree=1744024/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=1398664 CPUtime=564.61
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 335947 0 0 0 56333 128 0 0 25 0 5 0 1132079300 1432231936 334157 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 349666 334157 95 177 0 349488 0
[pid=28613/tid=28615] ppid=28611 vsize=1398664 CPUtime=139.72
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 86745 0 0 0 13934 38 0 0 25 0 5 0 1132079454 1432231936 334157 4294967295 134512640 135237372 3216525008 3085991872 134565939 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=1398664 CPUtime=140.74
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 73867 0 0 0 14045 29 0 0 25 0 5 0 1132079454 1432231936 334157 4294967295 134512640 135237372 3216525008 3077601824 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=1398664 CPUtime=145.41
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 81579 0 0 0 14513 28 0 0 25 0 5 0 1132079454 1432231936 334157 4294967295 134512640 135237372 3216525008 3069227136 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=1398664 CPUtime=137.21
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 86279 0 0 0 13690 31 0 0 25 0 5 0 1132079454 1432231936 334157 4294967295 134512640 135237372 3216525008 3060843040 134562344 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.61
Current children cumulated vsize (KiB) 1398664

[startup+342.311 s]
/proc/loadavg: 7.47 7.38 6.83 8/116 29754
/proc/meminfo: memFree=1567408/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=1578808 CPUtime=684.33
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 379459 0 0 0 68287 146 0 0 25 0 5 0 1132079300 1616699392 377669 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 394702 377669 95 177 0 394524 0
[pid=28613/tid=28615] ppid=28611 vsize=1578808 CPUtime=169.35
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 98425 0 0 0 16893 42 0 0 25 0 5 0 1132079454 1616699392 377669 4294967295 134512640 135237372 3216525008 3086009840 134562341 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=1578808 CPUtime=171.22
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 83125 0 0 0 17090 32 0 0 25 0 5 0 1132079454 1616699392 377669 4294967295 134512640 135237372 3216525008 3077602208 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=1578808 CPUtime=175.02
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 92751 0 0 0 17467 35 0 0 25 0 5 0 1132079454 1616699392 377669 4294967295 134512640 135237372 3216525008 3069225616 134562344 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=1578808 CPUtime=167.21
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 97681 0 0 0 16686 35 0 0 25 0 5 0 1132079454 1616699392 377669 4294967295 134512640 135237372 3216525008 3060824700 134562272 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.33
Current children cumulated vsize (KiB) 1578808

[startup+402.316 s]
/proc/loadavg: 7.37 7.35 6.85 10/116 29943
/proc/meminfo: memFree=1392748/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=1763560 CPUtime=803.86
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 423601 0 0 0 80226 160 0 0 25 0 5 0 1132079300 1805885440 421811 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 440890 421811 95 177 0 440712 0
[pid=28613/tid=28615] ppid=28611 vsize=1763560 CPUtime=199.14
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 109758 0 0 0 19869 45 0 0 25 0 5 0 1132079454 1805885440 421811 4294967295 134512640 135237372 3216525008 3086002960 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=1763560 CPUtime=201.52
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 93857 0 0 0 20115 37 0 0 25 0 5 0 1132079454 1805885440 421811 4294967295 134512640 135237372 3216525008 3077600192 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=1763560 CPUtime=204.68
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 103138 0 0 0 20432 36 0 0 25 0 5 0 1132079454 1805885440 421811 4294967295 134512640 135237372 3216525008 3069218624 134562341 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=1763560 CPUtime=196.99
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 109371 0 0 0 19659 40 0 0 25 0 5 0 1132079454 1805885440 421811 4294967295 134512640 135237372 3216525008 3060833648 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 803.86
Current children cumulated vsize (KiB) 1763560

[startup+462.311 s]
/proc/loadavg: 7.54 7.39 6.90 8/116 30130
/proc/meminfo: memFree=1229744/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=1931508 CPUtime=923.66
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 463943 0 0 0 92194 172 0 0 25 0 5 0 1132079300 1977864192 462153 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 482877 462153 95 177 0 482699 0
[pid=28613/tid=28615] ppid=28611 vsize=1931508 CPUtime=229.14
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 119544 0 0 0 22867 47 0 0 25 0 5 0 1132079454 1977864192 462153 4294967295 134512640 135237372 3216525008 3086005036 134561392 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=1931508 CPUtime=231.82
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 104370 0 0 0 23140 42 0 0 25 0 5 0 1132079454 1977864192 462153 4294967295 134512640 135237372 3216525008 3077611824 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=1931508 CPUtime=234.24
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 112360 0 0 0 23385 39 0 0 25 0 5 0 1132079454 1977864192 462153 4294967295 134512640 135237372 3216525008 3069216432 134562384 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=1931508 CPUtime=226.93
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 120192 0 0 0 22651 42 0 0 25 0 5 0 1132079454 1977864192 462153 4294967295 134512640 135237372 3216525008 3060832208 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 923.66
Current children cumulated vsize (KiB) 1931508

[startup+522.307 s]
/proc/loadavg: 7.39 7.37 6.92 8/116 30316
/proc/meminfo: memFree=1076612/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=2093304 CPUtime=1043.09
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 502594 0 0 0 104119 190 0 0 25 0 5 0 1132079300 2143543296 500804 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 523326 500804 95 177 0 523148 0
[pid=28613/tid=28615] ppid=28611 vsize=2093304 CPUtime=258.61
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 129863 0 0 0 25807 54 0 0 25 0 5 0 1132079454 2143543296 500804 4294967295 134512640 135237372 3216525008 3086008736 134562287 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=2093304 CPUtime=262.22
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 112433 0 0 0 26178 44 0 0 25 0 5 0 1132079454 2143543296 500804 4294967295 134512640 135237372 3216525008 3077609680 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=2093304 CPUtime=263.81
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 122110 0 0 0 26338 43 0 0 25 0 5 0 1132079454 2143543296 500804 4294967295 134512640 135237372 3216525008 3069227184 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=2093304 CPUtime=256.92
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 130711 0 0 0 25645 47 0 0 25 0 5 0 1132079454 2143543296 500804 4294967295 134512640 135237372 3216525008 3060839264 134562344 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1043.09
Current children cumulated vsize (KiB) 2093304



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+523.606 s]
/proc/loadavg: 7.36 7.36 6.92 8/116 30317
/proc/meminfo: memFree=1070968/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=2096272 CPUtime=1045.69
/proc/28613/stat : 28613 (ttsth-5-0) S 28611 28613 20065 0 -1 4202496 503382 0 0 0 104379 190 0 0 25 0 5 0 1132079300 2146582528 501592 4294967295 134512640 135237372 3216525008 3216524604 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 524068 501592 95 177 0 523890 0
[pid=28613/tid=28615] ppid=28611 vsize=2096272 CPUtime=259.24
/proc/28613/task/28615/stat : 28615 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 130062 0 0 0 25870 54 0 0 25 0 5 0 1132079454 2146582528 501592 4294967295 134512640 135237372 3216525008 3086005584 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28616] ppid=28611 vsize=2096272 CPUtime=262.83
/proc/28613/task/28616/stat : 28616 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 112567 0 0 0 26239 44 0 0 25 0 5 0 1132079454 2146582528 501592 4294967295 134512640 135237372 3216525008 3077604144 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28613/tid=28617] ppid=28611 vsize=2096272 CPUtime=264.48
/proc/28613/task/28617/stat : 28617 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 122309 0 0 0 26405 43 0 0 25 0 5 0 1132079454 2146582528 501592 4294967295 134512640 135237372 3216525008 3069218704 134546026 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=2096272 CPUtime=257.61
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4202560 130967 0 0 0 25714 47 0 0 25 0 5 0 1132079454 2146582528 501592 4294967295 134512640 135237372 3216525008 3060838000 134551475 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1045.69
Current children cumulated vsize (KiB) 2096272

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

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

[startup+523.726 s]
/proc/loadavg: 7.36 7.36 6.92 8/116 30317
/proc/meminfo: memFree=1070968/3368532 swapFree=1953788/1959888
[pid=28613] ppid=28611 vsize=0 CPUtime=1045.83
/proc/28613/stat : 28613 (ttsth-5-0) Z 28611 28613 20065 0 -1 4203524 503384 0 0 0 104383 200 0 0 18 0 2 0 1132079300 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28613/statm: 0 0 0 0 0 0 0
[pid=28613/tid=28618] ppid=28611 vsize=0 CPUtime=257.71
/proc/28613/task/28618/stat : 28618 (ttsth-5-0) R 28611 28613 20065 0 -1 4203588 130967 0 0 0 25714 57 0 0 25 0 2 0 1132079454 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1045.83
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 523.733
CPU time (s): 1045.83
CPU user time (s): 1043.83
CPU system time (s): 2
CPU usage (%): 199.687
Max. virtual memory (cumulated for all children) (KiB): 2096272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1043.83
system time used= 2
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503384
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= 1031
involuntary context switches= 22518

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 11:02:32
IDJOB=1776373
IDBENCH=20492
IDSOLVER=632
FILE ID=/1776373-1243674152
PBS_JOBID=
Free space on /tmp= 6475 MiB

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

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

MD5SUM BENCH= 2679ca6fb11bcf9f950de09652ce7147
RANDOM SEED= 1878648470

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:       3080708 kB
Buffers:        112000 kB
Cached:          60012 kB
SwapCached:       2256 kB
Active:         151236 kB
Inactive:        37316 kB
HighTotal:     2489216 kB
HighFree:      2412084 kB
LowTotal:       879316 kB
LowFree:        668624 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            2240 kB
Writeback:           0 kB
AnonPages:       15776 kB
Mapped:           5272 kB
Slab:            90384 kB
SReclaimable:    77068 kB
SUnreclaim:      13316 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= 6475 MiB
End job on  at 2009-05-30 11:11:18