Trace number 1776409

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 1/2009-03-20 (4 threads)? (TO) 3944.4 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.01	c Parsing...
0.00/0.01	c num clause = 5687554, num vars = 1461772
0.00/0.01	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-1776409-1243509386/watcher-1776409-1243509386 -o /tmp/evaluation-result-1776409-1243509386/solver-1776409-1243509386 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776409-1243509386.cnf aimd 1 

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


[startup+0 s]
/proc/loadavg: 4.06 4.32 4.26 4/99 2130
/proc/meminfo: memFree=2974100/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) R 2126 2128 28360 0 -1 4194304 353 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527244 3085678452 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=5864 CPUtime=0.02
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 1296 0 0 0 2 0 0 0 19 0 1 0 932516035 6004736 1233 4294967295 134512640 135305190 3213784176 3212734712 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2130/statm: 1466 1234 67 194 0 1270 0

[startup+0.034883 s]
/proc/loadavg: 4.06 4.32 4.26 4/99 2130
/proc/meminfo: memFree=2974100/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=9468 CPUtime=0.04
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 2195 0 0 0 4 0 0 0 23 0 1 0 932516035 9695232 2132 4294967295 134512640 135305190 3213784176 3212734628 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2130/statm: 2367 2134 67 194 0 2171 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11888

[startup+0.10488 s]
/proc/loadavg: 4.06 4.32 4.26 4/99 2130
/proc/meminfo: memFree=2974100/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=23116 CPUtime=0.11
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 5480 0 0 0 10 1 0 0 23 0 1 0 932516035 23670784 5417 4294967295 134512640 135305190 3213784176 3212734628 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2130/statm: 5779 5417 67 194 0 5583 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 25536

[startup+0.304867 s]
/proc/loadavg: 4.06 4.32 4.26 4/99 2130
/proc/meminfo: memFree=2974100/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=61936 CPUtime=0.31
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 14242 0 0 0 28 3 0 0 25 0 1 0 932516035 63422464 14179 4294967295 134512640 135305190 3213784176 3212734712 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2130/statm: 15484 14180 67 194 0 15288 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 64356

[startup+0.704831 s]
/proc/loadavg: 4.06 4.32 4.26 4/99 2130
/proc/meminfo: memFree=2974100/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=140364 CPUtime=0.71
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 32565 0 0 0 64 7 0 0 25 0 1 0 932516035 143732736 32502 4294967295 134512640 135305190 3213784176 3212734712 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2130/statm: 35124 32502 67 194 0 34928 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 142784

[startup+1.50476 s]
/proc/loadavg: 4.06 4.32 4.26 2/100 2131
/proc/meminfo: memFree=2795372/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=280088 CPUtime=1.51
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 67033 0 0 0 133 18 0 0 25 0 1 0 932516035 286810112 66970 4294967295 134512640 135305190 3213784176 3212734712 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2130/statm: 70022 66970 67 194 0 69826 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 282508

[startup+3.10463 s]
/proc/loadavg: 3.81 4.26 4.24 2/100 2131
/proc/meminfo: memFree=2613036/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=585912 CPUtime=3.11
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 131813 0 0 0 272 39 0 0 25 0 1 0 932516035 599973888 131750 4294967295 134512640 135305190 3213784176 3212734944 134526846 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2130/statm: 146478 131758 67 194 0 146282 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 588332

[startup+6.30438 s]
/proc/loadavg: 3.81 4.26 4.24 2/100 2132
/proc/meminfo: memFree=2077756/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1119760 CPUtime=6.31
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 261727 0 0 0 547 84 0 0 25 0 1 0 932516035 1146634240 261664 4294967295 134512640 135305190 3213784176 3212734880 134570505 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2130/statm: 279940 261665 67 194 0 279744 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 1122180

[startup+12.7039 s]
/proc/loadavg: 3.38 4.15 4.21 2/100 2132
/proc/meminfo: memFree=1412344/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1665208 CPUtime=12.71
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 391235 0 0 0 1155 116 0 0 25 0 1 0 932516035 1705172992 391140 4294967295 134512640 135305190 3213784176 3213783308 134830527 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2130/statm: 416302 391140 69 194 0 416106 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 1667628

[startup+25.5028 s]
/proc/loadavg: 3.55 4.17 4.21 5/103 2137
/proc/meminfo: memFree=1382120/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1726148 CPUtime=62.35
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 398971 0 0 0 6081 154 0 0 25 0 4 0 932516035 1767575552 398874 4294967295 134512640 135305190 3213784176 3213782240 134529379 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2130/statm: 431537 398874 79 194 0 431341 0
[pid=2130/tid=2133] ppid=2128 vsize=1726148 CPUtime=12.42
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 2678 0 0 0 1235 7 0 0 25 0 4 0 932517315 1767575552 398874 4294967295 134512640 135305190 3213784176 2861059152 134529566 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1726148 CPUtime=12.39
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 1856 0 0 0 1224 15 0 0 25 0 4 0 932517315 1767575552 398874 4294967295 134512640 135305190 3213784176 2852670544 134529624 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1726148 CPUtime=12.36
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 1439 0 0 0 1230 6 0 0 25 0 4 0 932517317 1767575552 398874 4294967295 134512640 135305190 3213784176 2844281936 134529232 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 62.35
Current children cumulated vsize (KiB) 1728568

[startup+51.1107 s]
/proc/loadavg: 4.05 4.23 4.23 5/103 2140
/proc/meminfo: memFree=1371480/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1738536 CPUtime=164.11
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 401656 0 0 0 16236 175 0 0 25 0 4 0 932516035 1780260864 401559 4294967295 134512640 135305190 3213784176 3213782200 134695249 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2130/statm: 434634 401559 79 194 0 434438 0
[pid=2130/tid=2133] ppid=2128 vsize=1738536 CPUtime=37.76
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 3028 0 0 0 3764 12 0 0 25 0 4 0 932517315 1780260864 401559 4294967295 134512640 135305190 3213784176 2861059152 134529371 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1738536 CPUtime=37.77
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 2572 0 0 0 3756 21 0 0 25 0 4 0 932517315 1780260864 401559 4294967295 134512640 135305190 3213784176 2852670504 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1738536 CPUtime=37.96
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 2200 0 0 0 3786 10 0 0 25 0 4 0 932517317 1780260864 401559 4294967295 134512640 135305190 3213784176 2844281936 134529382 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 164.11
Current children cumulated vsize (KiB) 1740956

[startup+102.317 s]
/proc/loadavg: 3.99 4.21 4.22 2/103 2329
/proc/meminfo: memFree=1370216/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1738536 CPUtime=365.55
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 401656 0 0 0 36367 188 0 0 25 0 4 0 932516035 1780260864 401559 4294967295 134512640 135305190 3213784176 3213782352 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2130/statm: 434634 401559 79 194 0 434438 0
[pid=2130/tid=2133] ppid=2128 vsize=1738536 CPUtime=87.85
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 3028 0 0 0 8764 21 0 0 18 0 4 0 932517315 1780260864 401559 4294967295 134512640 135305190 3213784176 2861059252 134570421 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1738536 CPUtime=87.89
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 2572 0 0 0 8767 22 0 0 17 0 4 0 932517315 1780260864 401559 4294967295 134512640 135305190 3213784176 2852670544 134529257 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1738536 CPUtime=88.01
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 2200 0 0 0 8789 12 0 0 17 0 4 0 932517317 1780260864 401559 4294967295 134512640 135305190 3213784176 2844281936 134529371 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 365.55
Current children cumulated vsize (KiB) 1740956

[startup+162.311 s]
/proc/loadavg: 4.29 4.24 4.23 6/103 2523
/proc/meminfo: memFree=1367256/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1739560 CPUtime=600.55
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 402633 0 0 0 59842 213 0 0 25 0 4 0 932516035 1781309440 402536 4294967295 134512640 135305190 3213784176 3213782352 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 434890 402536 79 194 0 434694 0
[pid=2130/tid=2133] ppid=2128 vsize=1739560 CPUtime=146.95
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 3343 0 0 0 14670 25 0 0 25 0 4 0 932517315 1781309440 402536 4294967295 134512640 135305190 3213784176 2861059264 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1739560 CPUtime=146.5
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 2711 0 0 0 14616 34 0 0 25 0 4 0 932517315 1781309440 402536 4294967295 134512640 135305190 3213784176 2852670656 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1739560 CPUtime=146.8
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 2471 0 0 0 14666 14 0 0 25 0 4 0 932517317 1781309440 402536 4294967295 134512640 135305190 3213784176 2844282032 134530298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 600.55
Current children cumulated vsize (KiB) 1741980

[startup+222.316 s]
/proc/loadavg: 4.26 4.25 4.23 5/103 2722
/proc/meminfo: memFree=1362000/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1744988 CPUtime=839.97
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 403961 0 0 0 83759 238 0 0 25 0 4 0 932516035 1786867712 403833 4294967295 134512640 135305190 3213784176 3213782016 134551729 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 436247 403833 79 194 0 436051 0
[pid=2130/tid=2133] ppid=2128 vsize=1744988 CPUtime=206.78

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

/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 4746 0 0 0 50470 50 0 0 25 0 4 0 932517317 1817976832 411447 4294967295 134512640 135305190 3213784176 2844282048 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2037.1
Current children cumulated vsize (KiB) 1777788

[startup+582.307 s]
/proc/loadavg: 4.63 4.55 4.38 5/103 3886
/proc/meminfo: memFree=1315904/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1790352 CPUtime=2276.58
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 415370 0 0 0 227321 337 0 0 25 0 4 0 932516035 1833320448 415242 4294967295 134512640 135305190 3213784176 3213782352 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 447588 415242 79 194 0 447392 0
[pid=2130/tid=2133] ppid=2128 vsize=1790352 CPUtime=566.3
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 4817 0 0 0 56570 60 0 0 25 0 4 0 932517315 1833320448 415242 4294967295 134512640 135305190 3213784176 2861059264 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1790352 CPUtime=565.59
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 8659 0 0 0 56500 59 0 0 25 0 4 0 932517315 1833320448 415242 4294967295 134512640 135305190 3213784176 2852670656 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1790352 CPUtime=565.03
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 5122 0 0 0 56448 55 0 0 25 0 4 0 932517317 1833320448 415242 4294967295 134512640 135305190 3213784176 2844282048 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2276.58
Current children cumulated vsize (KiB) 1792772

[startup+642.312 s]
/proc/loadavg: 4.51 4.54 4.38 6/103 4073
/proc/meminfo: memFree=1306432/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1799396 CPUtime=2516.24
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 417657 0 0 0 251267 357 0 0 25 0 4 0 932516035 1842581504 417529 4294967295 134512640 135305190 3213784176 3213782352 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 449849 417529 79 194 0 449653 0
[pid=2130/tid=2133] ppid=2128 vsize=1799396 CPUtime=626.2
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 5308 0 0 0 62559 61 0 0 25 0 4 0 932517315 1842581504 417529 4294967295 134512640 135305190 3213784176 2861059264 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1799396 CPUtime=625.43
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 9744 0 0 0 62480 63 0 0 25 0 4 0 932517315 1842581504 417529 4294967295 134512640 135305190 3213784176 2852670656 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1799396 CPUtime=625.03
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 5377 0 0 0 62440 63 0 0 25 0 4 0 932517317 1842581504 417529 4294967295 134512640 135305190 3213784176 2844282048 134528851 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2516.24
Current children cumulated vsize (KiB) 1801816

[startup+702.307 s]
/proc/loadavg: 4.65 4.57 4.40 5/103 4262
/proc/meminfo: memFree=1292032/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1816156 CPUtime=2755.53
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 421581 0 0 0 275173 380 0 0 25 0 4 0 932516035 1859743744 421453 4294967295 134512640 135305190 3213784176 3213782352 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 454039 421453 79 194 0 453843 0
[pid=2130/tid=2133] ppid=2128 vsize=1816156 CPUtime=686.03
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 5778 0 0 0 68537 66 0 0 25 0 4 0 932517315 1859743744 421453 4294967295 134512640 135305190 3213784176 2861059264 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1816156 CPUtime=685.15
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 12166 0 0 0 68443 72 0 0 25 0 4 0 932517315 1859743744 421453 4294967295 134512640 135305190 3213784176 2852670656 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1816156 CPUtime=684.95
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 5685 0 0 0 68425 70 0 0 25 0 4 0 932517317 1859743744 421453 4294967295 134512640 135305190 3213784176 2844282048 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2755.53
Current children cumulated vsize (KiB) 1818576

[startup+762.312 s]
/proc/loadavg: 4.72 4.60 4.42 5/103 4449
/proc/meminfo: memFree=1284780/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1822084 CPUtime=2995.01
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 423212 0 0 0 299104 397 0 0 25 0 4 0 932516035 1865814016 423084 4294967295 134512640 135305190 3213784176 3213782352 134530685 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 455521 423084 79 194 0 455325 0
[pid=2130/tid=2133] ppid=2128 vsize=1822084 CPUtime=746.01
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 6076 0 0 0 74533 68 0 0 25 0 4 0 932517315 1865814016 423084 4294967295 134512640 135305190 3213784176 2861059264 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1822084 CPUtime=744.94
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 12670 0 0 0 74420 74 0 0 25 0 4 0 932517315 1865814016 423084 4294967295 134512640 135305190 3213784176 2852670656 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1822084 CPUtime=744.94
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 5991 0 0 0 74422 72 0 0 25 0 4 0 932517317 1865814016 423084 4294967295 134512640 135305190 3213784176 2844282048 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2995.01
Current children cumulated vsize (KiB) 1824504

[startup+822.308 s]
/proc/loadavg: 4.63 4.61 4.43 5/103 4637
/proc/meminfo: memFree=1275124/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1832896 CPUtime=3234.62
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 425737 0 0 0 323053 409 0 0 25 0 4 0 932516035 1876885504 425609 4294967295 134512640 135305190 3213784176 3213782352 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 458224 425609 79 194 0 458028 0
[pid=2130/tid=2133] ppid=2128 vsize=1832896 CPUtime=805.98
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 6350 0 0 0 80526 72 0 0 25 0 4 0 932517315 1876885504 425609 4294967295 134512640 135305190 3213784176 2861059264 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1832896 CPUtime=804.7
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 14239 0 0 0 80391 79 0 0 25 0 4 0 932517315 1876885504 425609 4294967295 134512640 135305190 3213784176 2852670656 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1832896 CPUtime=804.92
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 6115 0 0 0 80419 73 0 0 25 0 4 0 932517317 1876885504 425609 4294967295 134512640 135305190 3213784176 2844282048 134528329 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3234.62
Current children cumulated vsize (KiB) 1835316

[startup+882.313 s]
/proc/loadavg: 4.86 4.67 4.46 5/103 4825
/proc/meminfo: memFree=1267544/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1840372 CPUtime=3474.24
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 427472 0 0 0 347005 419 0 0 25 0 4 0 932516035 1884540928 427344 4294967295 134512640 135305190 3213784176 3213782352 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 460093 427344 79 194 0 459897 0
[pid=2130/tid=2133] ppid=2128 vsize=1840372 CPUtime=865.91
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 6685 0 0 0 86516 75 0 0 25 0 4 0 932517315 1884540928 427344 4294967295 134512640 135305190 3213784176 2861059264 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1840372 CPUtime=864.55
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 15095 0 0 0 86373 82 0 0 25 0 4 0 932517315 1884540928 427344 4294967295 134512640 135305190 3213784176 2852670656 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1840372 CPUtime=864.76
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 6289 0 0 0 86399 77 0 0 25 0 4 0 932517317 1884540928 427344 4294967295 134512640 135305190 3213784176 2844282048 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3474.24
Current children cumulated vsize (KiB) 1842792

[startup+942.308 s]
/proc/loadavg: 4.59 4.63 4.45 5/103 5012
/proc/meminfo: memFree=1256724/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1850228 CPUtime=3713.93
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 430077 0 0 0 370955 438 0 0 25 0 4 0 932516035 1894633472 429949 4294967295 134512640 135305190 3213784176 3213782352 134530561 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 462557 429949 79 194 0 462361 0
[pid=2130/tid=2133] ppid=2128 vsize=1850228 CPUtime=925.9
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 7096 0 0 0 92506 84 0 0 25 0 4 0 932517315 1894633472 429949 4294967295 134512640 135305190 3213784176 2861059264 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1850228 CPUtime=924.47
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 16411 0 0 0 92361 86 0 0 25 0 4 0 932517315 1894633472 429949 4294967295 134512640 135305190 3213784176 2852670656 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1850228 CPUtime=924.54
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 6659 0 0 0 92375 79 0 0 25 0 4 0 932517317 1894633472 429949 4294967295 134512640 135305190 3213784176 2844282048 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3713.93
Current children cumulated vsize (KiB) 1852648



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.27 4.53 4.43 5/103 5205
/proc/meminfo: memFree=1246200/3368532 swapFree=1959840/1959888
[pid=2128] ppid=2126 vsize=2420 CPUtime=0
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 28360 0 -1 4194304 368 125 0 0 0 0 0 0 19 0 1 0 932516034 2478080 274 4294967295 134512640 135169312 3219530160 3219527304 3085676270 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2128/statm: 605 274 231 161 0 44 0
[pid=2130] ppid=2128 vsize=1860048 CPUtime=3944.4
/proc/2130/stat : 2130 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202496 432693 0 0 0 393981 459 0 0 25 0 4 0 932516035 1904689152 432565 4294967295 134512640 135305190 3213784176 3213782352 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2130/statm: 465012 432565 79 194 0 464816 0
[pid=2130/tid=2133] ppid=2128 vsize=1860048 CPUtime=983.58
/proc/2130/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 7744 0 0 0 98266 92 0 0 25 0 4 0 932517315 1904689152 432565 4294967295 134512640 135305190 3213784176 2861059264 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2130/tid=2134] ppid=2128 vsize=1860048 CPUtime=982.01
/proc/2130/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 17253 0 0 0 98108 93 0 0 25 0 4 0 932517315 1904689152 432565 4294967295 134512640 135305190 3213784176 2852670656 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2130/tid=2135] ppid=2128 vsize=1860048 CPUtime=982.08
/proc/2130/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 28360 0 -1 4202560 7080 0 0 0 98128 80 0 0 25 0 4 0 932517317 1904689152 432565 4294967295 134512640 135305190 3213784176 2844282048 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3944.4
Current children cumulated vsize (KiB) 1862468

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 2128 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 3944.4
#
# 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): 3944.4
CPU user time (s): 3939.81
CPU system time (s): 4.59
CPU usage (%): 394.423
Max. virtual memory (cumulated for all children) (KiB): 1862468

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= 493
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= 3
involuntary context switches= 2

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 13:16:26
IDJOB=1776409
IDBENCH=20506
IDSOLVER=623
FILE ID=tipi39/1776409-1243509386
PBS_JOBID=
Free space on /tmp= 5632 MiB

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

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

MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED= 127684194

Linux tipi39 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.067
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.067
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.10
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.067
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.067
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:       2978096 kB
Buffers:         37624 kB
Cached:         256104 kB
SwapCached:          0 kB
Active:         209304 kB
Inactive:       100904 kB
HighTotal:     2489216 kB
HighFree:      2219276 kB
LowTotal:       879316 kB
LowFree:        758820 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:          117652 kB
Writeback:           0 kB
AnonPages:       16560 kB
Mapped:           6056 kB
Slab:            70760 kB
SReclaimable:    57732 kB
SUnreclaim:      13028 kB
PageTables:        528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    95160 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5632 MiB
End job on tipi39 at 2009-05-28 13:33:15