Trace number 1776412

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
ManySAT 1.1 aimd 2/2009-03-20 (4 threads)? (TO) 3942.19 1000.04

General information on the benchmark

Nameindustrial/narain/
clauses-8.cnf
MD5SUM74bd745b1c68e4deddfa063e58b6b54d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1461771
Number of clauses5687554
Sum of the clauses size14147618
Maximum clause length601
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24325673
Number of clauses of size 3961281
Number of clauses of size 411051
Number of clauses of size 5354960
Number of clauses of size over 534588

Solver Data 

0.00/0.00	c Parsing...
0.00/0.00	c num clause = 5687554, num vars = 1461772
0.00/0.00	c Exiting...too many clauses

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-1776412-1243509342/watcher-1776412-1243509342 -o /tmp/evaluation-result-1776412-1243509342/solver-1776412-1243509342 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776412-1243509342.cnf aimd 2 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.89 4.27 4.28 3/99 26276
/proc/meminfo: memFree=3013020/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=2264 CPUtime=0
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 459 0 0 0 0 0 0 0 18 0 1 0 1115599338 2318336 396 4294967295 134512640 135305190 3218624768 3217575536 134526733 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26278/statm: 566 399 66 194 0 370 0

[startup+0.088904 s]
/proc/loadavg: 3.89 4.27 4.28 3/99 26276
/proc/meminfo: memFree=3013020/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=20528 CPUtime=0.09
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 4741 0 0 0 6 3 0 0 18 0 1 0 1115599338 21020672 4678 4294967295 134512640 135305190 3218624768 3217575304 134840070 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26278/statm: 5132 4679 67 194 0 4936 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22944

[startup+0.118902 s]
/proc/loadavg: 3.89 4.27 4.28 3/99 26276
/proc/meminfo: memFree=3013020/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=26416 CPUtime=0.12
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 6072 0 0 0 7 5 0 0 18 0 1 0 1115599338 27049984 6009 4294967295 134512640 135305190 3218624768 3217575304 134840070 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26278/statm: 6604 6009 67 194 0 6408 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 28832

[startup+0.318882 s]
/proc/loadavg: 3.89 4.27 4.28 3/99 26276
/proc/meminfo: memFree=3013020/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=63524 CPUtime=0.32
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 14815 0 0 0 22 10 0 0 18 0 1 0 1115599338 65048576 14752 4294967295 134512640 135305190 3218624768 3217575304 134840070 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26278/statm: 15881 14753 67 194 0 15685 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 65940

[startup+0.718844 s]
/proc/loadavg: 3.89 4.27 4.28 3/99 26276
/proc/meminfo: memFree=3013020/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=141688 CPUtime=0.72
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 33012 0 0 0 56 16 0 0 18 0 1 0 1115599338 145088512 32949 4294967295 134512640 135305190 3218624768 3217575536 134515080 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26278/statm: 35422 32949 67 194 0 35226 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 144104

[startup+1.51877 s]
/proc/loadavg: 3.89 4.27 4.28 2/101 26279
/proc/meminfo: memFree=2829500/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=280224 CPUtime=1.52
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 67099 0 0 0 123 29 0 0 20 0 1 0 1115599338 286949376 67036 4294967295 134512640 135305190 3218624768 3217575424 134571274 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26278/statm: 70056 67043 67 194 0 69860 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 282640

[startup+3.11862 s]
/proc/loadavg: 3.89 4.27 4.28 2/101 26279
/proc/meminfo: memFree=2650196/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=584332 CPUtime=3.11
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 131209 0 0 0 267 44 0 0 25 0 1 0 1115599338 598355968 131146 4294967295 134512640 135305190 3218624768 3217575304 134840070 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26278/statm: 146083 131146 67 194 0 145887 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 586748

[startup+6.31831 s]
/proc/loadavg: 3.66 4.21 4.26 2/101 26279
/proc/meminfo: memFree=2119256/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1113864 CPUtime=6.31
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 259642 0 0 0 548 83 0 0 25 0 1 0 1115599338 1140596736 259579 4294967295 134512640 135305190 3218624768 3217575304 134840070 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26278/statm: 278466 259580 67 194 0 278270 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 1116280

[startup+12.7177 s]
/proc/loadavg: 3.44 4.16 4.25 2/101 26279
/proc/meminfo: memFree=1448380/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1665208 CPUtime=12.69
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 391235 0 0 0 1154 115 0 0 25 0 1 0 1115599338 1705172992 391140 4294967295 134512640 135305190 3218624768 3218623900 134830601 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26278/statm: 416302 391140 69 194 0 416106 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1667624

[startup+25.5165 s]
/proc/loadavg: 3.57 4.15 4.24 5/104 26282
/proc/meminfo: memFree=1417724/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1727240 CPUtime=62.07
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 399017 0 0 0 6064 143 0 0 25 0 4 0 1115599338 1768693760 398921 4294967295 134512640 135305190 3218624768 3218622832 134529123 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/26278/statm: 431810 398921 79 194 0 431614 0
[pid=26278/tid=26280] ppid=26276 vsize=1727240 CPUtime=12.29
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 2676 0 0 0 1221 8 0 0 25 0 4 0 1115600629 1768693760 398921 4294967295 134512640 135305190 3218624768 2860444752 134529393 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1727240 CPUtime=12.31
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 1885 0 0 0 1223 8 0 0 25 0 4 0 1115600629 1768693760 398921 4294967295 134512640 135305190 3218624768 2852056144 134529396 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1727240 CPUtime=12.33
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 1388 0 0 0 1226 7 0 0 25 0 4 0 1115600629 1768693760 398921 4294967295 134512640 135305190 3218624768 2843667536 134529553 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 62.07
Current children cumulated vsize (KiB) 1729656

[startup+51.1141 s]
/proc/loadavg: 3.87 4.17 4.25 6/104 26285
/proc/meminfo: memFree=1406648/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1740724 CPUtime=163.61
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 401710 0 0 0 16206 155 0 0 25 0 4 0 1115599338 1782501376 401605 4294967295 134512640 135305190 3218624768 3218622832 134529257 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/26278/statm: 435181 401605 79 194 0 434985 0
[pid=26278/tid=26280] ppid=26276 vsize=1740724 CPUtime=37.63
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 3321 0 0 0 3752 11 0 0 25 0 4 0 1115600629 1782501376 401605 4294967295 134512640 135305190 3218624768 2860444752 134529566 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1740724 CPUtime=37.58
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 2643 0 0 0 3747 11 0 0 25 0 4 0 1115600629 1782501376 401605 4294967295 134512640 135305190 3218624768 2852056144 134529379 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1740724 CPUtime=37.83
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 1815 0 0 0 3773 10 0 0 25 0 4 0 1115600629 1782501376 401605 4294967295 134512640 135305190 3218624768 2843667536 134529382 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 163.61
Current children cumulated vsize (KiB) 1743140

[startup+102.319 s]
/proc/loadavg: 4.42 4.28 4.28 5/104 26474
/proc/meminfo: memFree=1405572/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1740724 CPUtime=364.3
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 401723 0 0 0 36250 180 0 0 25 0 4 0 1115599338 1782501376 401618 4294967295 134512640 135305190 3218624768 3218622944 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/26278/statm: 435181 401618 79 194 0 434985 0
[pid=26278/tid=26280] ppid=26276 vsize=1740724 CPUtime=88.1
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 3321 0 0 0 8796 14 0 0 25 0 4 0 1115600629 1782501376 401618 4294967295 134512640 135305190 3218624768 2860444752 134529360 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1740724 CPUtime=87.46
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 2643 0 0 0 8726 20 0 0 25 0 4 0 1115600629 1782501376 401618 4294967295 134512640 135305190 3218624768 2852056144 134529630 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1740724 CPUtime=88.45
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 1828 0 0 0 8832 13 0 0 25 0 4 0 1115600629 1782501376 401618 4294967295 134512640 135305190 3218624768 2843667536 134529257 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 364.3
Current children cumulated vsize (KiB) 1743140

[startup+162.313 s]
/proc/loadavg: 4.44 4.32 4.29 5/104 26663
/proc/meminfo: memFree=1398620/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1746800 CPUtime=599.65
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 403607 0 0 0 59754 211 0 0 25 0 4 0 1115599338 1788723200 403502 4294967295 134512640 135305190 3218624768 3218622944 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/26278/statm: 436700 403502 79 194 0 436504 0
[pid=26278/tid=26280] ppid=26276 vsize=1746800 CPUtime=147.07
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 3620 0 0 0 14690 17 0 0 25 0 4 0 1115600629 1788723200 403502 4294967295 134512640 135305190 3218624768 2860444864 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1746800 CPUtime=146.19
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 3419 0 0 0 14598 21 0 0 25 0 4 0 1115600629 1788723200 403502 4294967295 134512640 135305190 3218624768 2852056256 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1746800 CPUtime=147.41
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 2149 0 0 0 14716 25 0 0 25 0 4 0 1115600629 1788723200 403502 4294967295 134512640 135305190 3218624768 2843667648 134528322 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 599.65
Current children cumulated vsize (KiB) 1749216

[startup+222.308 s]
/proc/loadavg: 4.48 4.35 4.29 5/104 26851
/proc/meminfo: memFree=1392892/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1751356 CPUtime=839.12
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 404948 0 0 0 83679 233 0 0 25 0 4 0 1115599338 1793388544 404843 4294967295 134512640 135305190 3218624768 3218622944 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/26278/statm: 437839 404843 79 194 0 437643 0
[pid=26278/tid=26280] ppid=26276 vsize=1751356 CPUtime=206.96

################
# More data... #
################

/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 4355 0 0 0 50584 45 0 0 25 0 4 0 1115600629 1821286400 411604 4294967295 134512640 135305190 3218624768 2843667312 134551729 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2036.02
Current children cumulated vsize (KiB) 1781016

[startup+582.313 s]
/proc/loadavg: 4.68 4.48 4.36 5/104 27983
/proc/meminfo: memFree=1363652/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1780516 CPUtime=2275.57
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 412326 0 0 0 227229 328 0 0 25 0 4 0 1115599338 1823248384 412221 4294967295 134512640 135305190 3218624768 3218622944 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26278/statm: 445129 412221 79 194 0 444933 0
[pid=26278/tid=26280] ppid=26276 vsize=1780516 CPUtime=566.16
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 4844 0 0 0 56566 50 0 0 25 0 4 0 1115600629 1823248384 412221 4294967295 134512640 135305190 3218624768 2860444864 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1780516 CPUtime=565.76
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 6555 0 0 0 56528 48 0 0 25 0 4 0 1115600629 1823248384 412221 4294967295 134512640 135305190 3218624768 2852056256 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1780516 CPUtime=565.97
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 4444 0 0 0 56544 53 0 0 25 0 4 0 1115600629 1823248384 412221 4294967295 134512640 135305190 3218624768 2843667648 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2275.57
Current children cumulated vsize (KiB) 1782932

[startup+642.308 s]
/proc/loadavg: 4.57 4.48 4.36 5/104 28172
/proc/meminfo: memFree=1357232/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1788416 CPUtime=2515.05
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 414117 0 0 0 251157 348 0 0 25 0 4 0 1115599338 1831337984 414012 4294967295 134512640 135305190 3218624768 3218622944 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26278/statm: 447104 414012 79 194 0 446908 0
[pid=26278/tid=26280] ppid=26276 vsize=1788416 CPUtime=626.16
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 5177 0 0 0 62558 58 0 0 25 0 4 0 1115600629 1831337984 414012 4294967295 134512640 135305190 3218624768 2860444528 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1788416 CPUtime=625.73
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 7033 0 0 0 62524 49 0 0 25 0 4 0 1115600629 1831337984 414012 4294967295 134512640 135305190 3218624768 2852056256 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1788416 CPUtime=625.84
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 4816 0 0 0 62527 57 0 0 25 0 4 0 1115600629 1831337984 414012 4294967295 134512640 135305190 3218624768 2843667648 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2515.05
Current children cumulated vsize (KiB) 1790832

[startup+702.312 s]
/proc/loadavg: 4.88 4.59 4.41 6/104 28365
/proc/meminfo: memFree=1352128/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1792316 CPUtime=2754.59
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 415253 0 0 0 275095 364 0 0 25 0 4 0 1115599338 1835331584 415148 4294967295 134512640 135305190 3218624768 3218622944 134528274 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26278/statm: 448079 415148 79 194 0 447883 0
[pid=26278/tid=26280] ppid=26276 vsize=1792316 CPUtime=686.05
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 5419 0 0 0 68545 60 0 0 25 0 4 0 1115600629 1835331584 415148 4294967295 134512640 135305190 3218624768 2860444864 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1792316 CPUtime=685.73
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 7336 0 0 0 68517 56 0 0 25 0 4 0 1115600629 1835331584 415148 4294967295 134512640 135305190 3218624768 2852056256 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1792316 CPUtime=685.56
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 5118 0 0 0 68495 61 0 0 25 0 4 0 1115600629 1835331584 415148 4294967295 134512640 135305190 3218624768 2843667648 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2754.59
Current children cumulated vsize (KiB) 1794732

[startup+762.316 s]
/proc/loadavg: 4.71 4.59 4.41 5/104 28554
/proc/meminfo: memFree=1348408/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1796428 CPUtime=2993.96
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 416247 0 0 0 299010 386 0 0 25 0 4 0 1115599338 1839542272 416142 4294967295 134512640 135305190 3218624768 3218622944 134528826 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26278/statm: 449107 416142 79 194 0 448911 0
[pid=26278/tid=26280] ppid=26276 vsize=1796428 CPUtime=745.89
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 5494 0 0 0 74525 64 0 0 25 0 4 0 1115600629 1839542272 416142 4294967295 134512640 135305190 3218624768 2860444864 134530691 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1796428 CPUtime=745.68
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 7954 0 0 0 74509 59 0 0 25 0 4 0 1115600629 1839542272 416142 4294967295 134512640 135305190 3218624768 2852056256 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1796428 CPUtime=745.15
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 5236 0 0 0 74447 68 0 0 25 0 4 0 1115600629 1839542272 416142 4294967295 134512640 135305190 3218624768 2843667648 134530572 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2993.96
Current children cumulated vsize (KiB) 1798844

[startup+822.311 s]
/proc/loadavg: 4.66 4.60 4.43 5/104 28741
/proc/meminfo: memFree=1334604/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1810300 CPUtime=3233.42
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 419681 0 0 0 322939 403 0 0 25 0 4 0 1115599338 1853747200 419576 4294967295 134512640 135305190 3218624768 3218622944 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26278/statm: 452575 419576 79 194 0 452379 0
[pid=26278/tid=26280] ppid=26276 vsize=1810300 CPUtime=805.89
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 5948 0 0 0 80524 65 0 0 25 0 4 0 1115600629 1853747200 419576 4294967295 134512640 135305190 3218624768 2860444864 134528851 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1810300 CPUtime=805.46
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 9222 0 0 0 80482 64 0 0 25 0 4 0 1115600629 1853747200 419576 4294967295 134512640 135305190 3218624768 2852056256 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1810300 CPUtime=804.92
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 5898 0 0 0 80423 69 0 0 25 0 4 0 1115600629 1853747200 419576 4294967295 134512640 135305190 3218624768 2843667648 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3233.42
Current children cumulated vsize (KiB) 1812716

[startup+882.315 s]
/proc/loadavg: 4.74 4.62 4.45 5/104 28929
/proc/meminfo: memFree=1328304/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1816024 CPUtime=3472.65
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 421063 0 0 0 346835 430 0 0 25 0 4 0 1115599338 1859608576 420958 4294967295 134512640 135305190 3218624768 3218622944 134530561 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26278/statm: 454006 420958 79 194 0 453810 0
[pid=26278/tid=26280] ppid=26276 vsize=1816024 CPUtime=865.76
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 6141 0 0 0 86500 76 0 0 25 0 4 0 1115600629 1859608576 420958 4294967295 134512640 135305190 3218624768 2860444864 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1816024 CPUtime=865.45
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 9770 0 0 0 86478 67 0 0 25 0 4 0 1115600629 1859608576 420958 4294967295 134512640 135305190 3218624768 2852056256 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1816024 CPUtime=864.44
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 6198 0 0 0 86367 77 0 0 25 0 4 0 1115600629 1859608576 420958 4294967295 134512640 135305190 3218624768 2843667648 134528520 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3472.65
Current children cumulated vsize (KiB) 1818440

[startup+942.309 s]
/proc/loadavg: 4.84 4.66 4.47 6/104 29118
/proc/meminfo: memFree=1327300/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1816504 CPUtime=3711.86
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 421237 0 0 0 370743 443 0 0 25 0 4 0 1115599338 1860100096 421132 4294967295 134512640 135305190 3218624768 3218622944 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26278/statm: 454126 421132 79 194 0 453930 0
[pid=26278/tid=26280] ppid=26276 vsize=1816504 CPUtime=925.39
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 6164 0 0 0 92459 80 0 0 25 0 4 0 1115600629 1860100096 421132 4294967295 134512640 135305190 3218624768 2860444864 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1816504 CPUtime=925.41
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 9877 0 0 0 92469 72 0 0 25 0 4 0 1115600629 1860100096 421132 4294967295 134512640 135305190 3218624768 2852055872 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1816504 CPUtime=924.08
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 6242 0 0 0 92327 81 0 0 25 0 4 0 1115600629 1860100096 421132 4294967295 134512640 135305190 3218624768 2843667648 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3711.86
Current children cumulated vsize (KiB) 1818920



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.68 4.65 4.47 6/104 29304
/proc/meminfo: memFree=1320544/3368532 swapFree=1953580/1959888
[pid=26276] ppid=26274 vsize=2416 CPUtime=0
/proc/26276/stat : 26276 (manysat.sh) S 26274 26276 19648 0 -1 4194304 368 126 0 0 0 0 0 0 19 0 1 0 1115599338 2473984 273 4294967295 134512640 135169312 3220021792 3220018936 3085393646 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26276/statm: 604 273 231 161 0 43 0
[pid=26278] ppid=26276 vsize=1824064 CPUtime=3942.19
/proc/26278/stat : 26278 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202496 422865 0 0 0 393752 467 0 0 25 0 4 0 1115599338 1867841536 422760 4294967295 134512640 135305190 3218624768 3218622944 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26278/statm: 456016 422760 79 194 0 455820 0
[pid=26278/tid=26280] ppid=26276 vsize=1824064 CPUtime=982.78
/proc/26278/task/26280/stat : 26280 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 6517 0 0 0 98194 84 0 0 25 0 4 0 1115600629 1867841536 422760 4294967295 134512640 135305190 3218624768 2860444528 134551757 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26278/tid=26281] ppid=26276 vsize=1824064 CPUtime=983.11
/proc/26278/task/26281/stat : 26281 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 10427 0 0 0 98233 78 0 0 25 0 4 0 1115600629 1867841536 422760 4294967295 134512640 135305190 3218624768 2852056256 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26278/tid=26282] ppid=26276 vsize=1824064 CPUtime=981.65
/proc/26278/task/26282/stat : 26282 (manysat1.1_stat) R 26276 26276 19648 0 -1 4202560 6477 0 0 0 98076 89 0 0 25 0 4 0 1115600629 1867841536 422760 4294967295 134512640 135305190 3218624768 2843667648 134528395 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3942.19
Current children cumulated vsize (KiB) 1826480

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1000.04
CPU time (s): 3942.19
CPU user time (s): 3937.52
CPU system time (s): 4.67
CPU usage (%): 394.202
Max. virtual memory (cumulated for all children) (KiB): 1826480

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

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 13:15:42
IDJOB=1776412
IDBENCH=20506
IDSOLVER=626
FILE ID=/1776412-1243509342
PBS_JOBID=
Free space on /tmp= 15773 MiB

SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/narain/clauses-8.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776412-1243509342/watcher-1776412-1243509342 -o /tmp/evaluation-result-1776412-1243509342/solver-1776412-1243509342 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1776412-1243509342.cnf aimd 2

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

MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED= 768638329

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.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.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3013020 kB
Buffers:         19924 kB
Cached:         256272 kB
SwapCached:       2424 kB
Active:         192468 kB
Inactive:        94508 kB
HighTotal:     2489216 kB
HighFree:      2219736 kB
LowTotal:       879316 kB
LowFree:        793284 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:          117604 kB
Writeback:           0 kB
AnonPages:        9884 kB
Mapped:           4940 kB
Slab:            59068 kB
SReclaimable:    50124 kB
SUnreclaim:       8944 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93920 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15773 MiB
End job on  at 2009-05-28 13:32:31