Trace number 1776406

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 0/2009-03-20 (4 threads)? (TO) 2974.96 1000.05

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

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.98 5.46 5.58 4/124 26032
/proc/meminfo: memFree=1813140/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=2424 CPUtime=0.01
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 488 0 0 0 1 0 0 0 18 0 1 0 1115580463 2482176 425 4294967295 134512640 135305190 3217305536 3216256192 134843311 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26034/statm: 606 427 66 194 0 410 0

[startup+0.102154 s]
/proc/loadavg: 4.98 5.46 5.58 4/124 26032
/proc/meminfo: memFree=1813140/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=21048 CPUtime=0.11
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 4926 0 0 0 9 2 0 0 18 0 1 0 1115580463 21553152 4863 4294967295 134512640 135305190 3217305536 3216256072 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26034/statm: 5262 4864 67 194 0 5066 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 23468

[startup+0.212146 s]
/proc/loadavg: 4.98 5.46 5.58 4/124 26032
/proc/meminfo: memFree=1813140/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=41596 CPUtime=0.22
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 9642 0 0 0 19 3 0 0 18 0 1 0 1115580463 42594304 9579 4294967295 134512640 135305190 3217305536 3216256304 134526793 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26034/statm: 10399 9584 67 194 0 10203 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 44016

[startup+0.312139 s]
/proc/loadavg: 4.98 5.46 5.58 4/124 26032
/proc/meminfo: memFree=1813140/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=61140 CPUtime=0.32
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 13960 0 0 0 29 3 0 0 18 0 1 0 1115580463 62607360 13897 4294967295 134512640 135305190 3217305536 3216255988 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26034/statm: 15285 13898 67 194 0 15089 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 63560

[startup+0.712104 s]
/proc/loadavg: 4.98 5.46 5.58 4/124 26032
/proc/meminfo: memFree=1813140/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=137984 CPUtime=0.72
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 31685 0 0 0 63 9 0 0 18 0 1 0 1115580463 141295616 31622 4294967295 134512640 135305190 3217305536 3216256072 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26034/statm: 34496 31624 67 194 0 34300 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 140404

[startup+1.51205 s]
/proc/loadavg: 4.98 5.46 5.58 6/126 26035
/proc/meminfo: memFree=1680624/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=264376 CPUtime=1.43
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 61621 0 0 0 122 21 0 0 20 0 1 0 1115580463 270721024 61558 4294967295 134512640 135305190 3217305536 3216256072 134840070 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26034/statm: 66094 61558 67 194 0 65898 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 266796

[startup+3.1119 s]
/proc/loadavg: 4.98 5.46 5.58 3/126 26035
/proc/meminfo: memFree=1432376/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=539628 CPUtime=3.03
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 124635 0 0 0 261 42 0 0 25 0 1 0 1115580463 552579072 124573 4294967295 134512640 135305190 3217305536 3216256072 134840070 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26034/statm: 134907 124573 67 194 0 134711 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 542048

[startup+6.31162 s]
/proc/loadavg: 4.75 5.41 5.56 3/126 26036
/proc/meminfo: memFree=1049044/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1063260 CPUtime=6.07
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 244940 0 0 0 518 89 0 0 25 0 1 0 1115580463 1088778240 244877 4294967295 134512640 135305190 3217305536 3216256072 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26034/statm: 265815 244877 67 194 0 265619 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 1065680

[startup+12.7111 s]
/proc/loadavg: 4.53 5.35 5.54 3/126 26036
/proc/meminfo: memFree=198584/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1665200 CPUtime=12.43
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 391234 0 0 0 1096 147 0 0 25 0 1 0 1115580463 1705164800 391139 4294967295 134512640 135305190 3217305536 3217304800 134529062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26034/statm: 416300 391139 69 194 0 416104 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 1667620

[startup+25.51 s]
/proc/loadavg: 4.50 5.30 5.52 7/129 26222
/proc/meminfo: memFree=321420/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1732624 CPUtime=46.93
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 400433 0 0 0 4530 163 0 0 25 0 4 0 1115580463 1774206976 400336 4294967295 134512640 135305190 3217305536 3217303712 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26034/statm: 433156 400336 79 194 0 432960 0
[pid=26034/tid=26037] ppid=26032 vsize=1732624 CPUtime=9.23
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 2693 0 0 0 920 3 0 0 25 0 4 0 1115581841 1774206976 400336 4294967295 134512640 135305190 3217305536 2860817600 134530636 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1732624 CPUtime=10.79
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 2202 0 0 0 1075 4 0 0 25 0 4 0 1115581841 1774206976 400336 4294967295 134512640 135305190 3217305536 2852428992 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1732624 CPUtime=6.01
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 1519 0 0 0 593 8 0 0 25 0 4 0 1115581841 1774206976 400336 4294967295 134512640 135305190 3217305536 2844040384 134528784 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.93
Current children cumulated vsize (KiB) 1735044

[startup+51.1178 s]
/proc/loadavg: 4.74 5.29 5.51 6/129 26224
/proc/meminfo: memFree=461260/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1746428 CPUtime=122.07
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 403594 0 0 0 12038 169 0 0 25 0 4 0 1115580463 1788342272 403497 4294967295 134512640 135305190 3217305536 3217303712 134528515 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 436607 403497 79 194 0 436411 0
[pid=26034/tid=26037] ppid=26032 vsize=1746428 CPUtime=30.51
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 3499 0 0 0 3044 7 0 0 25 0 4 0 1115581841 1788342272 403497 4294967295 134512640 135305190 3217305536 2860817488 134529379 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1746428 CPUtime=28.15
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 2736 0 0 0 2810 5 0 0 25 0 4 0 1115581841 1788342272 403497 4294967295 134512640 135305190 3217305536 2852428880 134529396 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1746428 CPUtime=23.31
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 2589 0 0 0 2322 9 0 0 25 0 4 0 1115581841 1788342272 403497 4294967295 134512640 135305190 3217305536 2844040272 134529393 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 122.07
Current children cumulated vsize (KiB) 1748848

[startup+102.313 s]
/proc/loadavg: 5.16 5.32 5.51 7/129 26411
/proc/meminfo: memFree=321528/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1747640 CPUtime=271.26
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 403902 0 0 0 26940 186 0 0 16 0 4 0 1115580463 1789583360 403805 4294967295 134512640 135305190 3217305536 3217303600 134529360 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/26034/statm: 436910 403805 79 194 0 436714 0
[pid=26034/tid=26037] ppid=26032 vsize=1747640 CPUtime=68.83
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 3499 0 0 0 6871 12 0 0 25 0 4 0 1115581841 1789583360 403805 4294967295 134512640 135305190 3217305536 2860817600 134530624 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1747640 CPUtime=67.52
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 2952 0 0 0 6740 12 0 0 21 0 4 0 1115581841 1789583360 403805 4294967295 134512640 135305190 3217305536 2852428840 134694990 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1747640 CPUtime=55.8
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 2598 0 0 0 5566 14 0 0 18 0 4 0 1115581841 1789583360 403805 4294967295 134512640 135305190 3217305536 2844040272 134529379 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 271.26
Current children cumulated vsize (KiB) 1750060

[startup+162.308 s]
/proc/loadavg: 5.44 5.38 5.51 7/129 26600
/proc/meminfo: memFree=366048/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1749060 CPUtime=451.1
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 404238 0 0 0 44914 196 0 0 25 0 4 0 1115580463 1791037440 404141 4294967295 134512640 135305190 3217305536 3217303712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 437265 404141 79 194 0 437069 0
[pid=26034/tid=26037] ppid=26032 vsize=1749060 CPUtime=109.14
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 3538 0 0 0 10902 12 0 0 24 0 4 0 1115581841 1791037440 404141 4294967295 134512640 135305190 3217305536 2860817448 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1749060 CPUtime=122.32
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 3124 0 0 0 12216 16 0 0 25 0 4 0 1115581841 1791037440 404141 4294967295 134512640 135305190 3217305536 2852428992 134528512 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1749060 CPUtime=93.41
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 2598 0 0 0 9324 17 0 0 25 0 4 0 1115581841 1791037440 404141 4294967295 134512640 135305190 3217305536 2844040272 134529379 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 451.1
Current children cumulated vsize (KiB) 1751480

[startup+222.313 s]
/proc/loadavg: 5.46 5.40 5.51 6/129 26790
/proc/meminfo: memFree=317288/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1751724 CPUtime=634.07
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 405290 0 0 0 63195 212 0 0 25 0 4 0 1115580463 1793765376 405193 4294967295 134512640 135305190 3217305536 3217303712 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26034/statm: 437931 405193 79 194 0 437735 0
[pid=26034/tid=26037] ppid=26032 vsize=1751724 CPUtime=160.95

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

/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 4144 0 0 0 40891 39 0 0 25 0 4 0 1115581841 1818796032 411420 4294967295 134512640 135305190 3217305536 2844040384 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1725.49
Current children cumulated vsize (KiB) 1778588

[startup+642.317 s]
/proc/loadavg: 5.68 5.58 5.55 7/129 28110
/proc/meminfo: memFree=316048/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1778964 CPUtime=1905.01
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 412225 0 0 0 190200 301 0 0 25 0 4 0 1115580463 1821659136 412092 4294967295 134512640 135305190 3217305536 3217303712 134528512 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 444741 412092 79 194 0 444545 0
[pid=26034/tid=26037] ppid=26032 vsize=1778964 CPUtime=507.53
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 4863 0 0 0 50708 45 0 0 25 0 4 0 1115581841 1821659136 412092 4294967295 134512640 135305190 3217305536 2860817328 134558291 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1778964 CPUtime=506.42
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 6194 0 0 0 50602 40 0 0 25 0 4 0 1115581841 1821659136 412092 4294967295 134512640 135305190 3217305536 2852428736 134541668 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1778964 CPUtime=439.21
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 4210 0 0 0 43881 40 0 0 25 0 4 0 1115581841 1821659136 412092 4294967295 134512640 135305190 3217305536 2844040384 134528784 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1905.01
Current children cumulated vsize (KiB) 1781384

[startup+702.311 s]
/proc/loadavg: 5.88 5.63 5.57 6/129 28302
/proc/meminfo: memFree=401892/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1788208 CPUtime=2084.37
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 414419 0 0 0 208116 321 0 0 25 0 4 0 1115580463 1831124992 414286 4294967295 134512640 135305190 3217305536 3217303712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 447052 414286 79 194 0 446856 0
[pid=26034/tid=26037] ppid=26032 vsize=1788208 CPUtime=537.83
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5080 0 0 0 53734 49 0 0 25 0 4 0 1115581841 1831124992 414286 4294967295 134512640 135305190 3217305536 2860817600 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1788208 CPUtime=565.96
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 7084 0 0 0 56548 48 0 0 25 0 4 0 1115581841 1831124992 414286 4294967295 134512640 135305190 3217305536 2852428992 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1788208 CPUtime=468.91
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 4530 0 0 0 46849 42 0 0 25 0 4 0 1115581841 1831124992 414286 4294967295 134512640 135305190 3217305536 2844040384 134528428 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2084.37
Current children cumulated vsize (KiB) 1790628

[startup+762.306 s]
/proc/loadavg: 5.70 5.61 5.56 7/130 28486
/proc/meminfo: memFree=164336/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1795016 CPUtime=2263.84
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 416022 0 0 0 226043 341 0 0 25 0 4 0 1115580463 1838096384 415889 4294967295 134512640 135305190 3217305536 3217303712 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 448754 415889 79 194 0 448558 0
[pid=26034/tid=26037] ppid=26032 vsize=1795016 CPUtime=568.03
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5197 0 0 0 56754 49 0 0 25 0 4 0 1115581841 1838096384 415889 4294967295 134512640 135305190 3217305536 2860817600 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1795016 CPUtime=625.46
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 7750 0 0 0 62491 55 0 0 25 0 4 0 1115581841 1838096384 415889 4294967295 134512640 135305190 3217305536 2852428992 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1795016 CPUtime=498.71
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 4713 0 0 0 49824 47 0 0 25 0 4 0 1115581841 1838096384 415889 4294967295 134512640 135305190 3217305536 2844040384 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2263.84
Current children cumulated vsize (KiB) 1797436

[startup+822.311 s]
/proc/loadavg: 5.69 5.61 5.56 7/130 28619
/proc/meminfo: memFree=397096/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1798552 CPUtime=2443.26
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 416880 0 0 0 243975 351 0 0 25 0 4 0 1115580463 1841717248 416747 4294967295 134512640 135305190 3217305536 3217303712 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 449638 416747 79 194 0 449442 0
[pid=26034/tid=26037] ppid=26032 vsize=1798552 CPUtime=599.24
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5269 0 0 0 59872 52 0 0 25 0 4 0 1115581841 1841717248 416747 4294967295 134512640 135305190 3217305536 2860817264 134551681 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1798552 CPUtime=674.92
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 8265 0 0 0 67437 55 0 0 25 0 4 0 1115581841 1841717248 416747 4294967295 134512640 135305190 3217305536 2852428992 134528195 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1798552 CPUtime=538.71
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 4927 0 0 0 53820 51 0 0 25 0 4 0 1115581841 1841717248 416747 4294967295 134512640 135305190 3217305536 2844040384 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2443.26
Current children cumulated vsize (KiB) 1800972

[startup+882.316 s]
/proc/loadavg: 5.76 5.65 5.57 7/130 28783
/proc/meminfo: memFree=430648/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1804908 CPUtime=2622.92
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 418565 0 0 0 261920 372 0 0 25 0 4 0 1115580463 1848225792 418432 4294967295 134512640 135305190 3217305536 3217303712 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 451227 418432 79 194 0 451031 0
[pid=26034/tid=26037] ppid=26032 vsize=1804908 CPUtime=632.73
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5375 0 0 0 63220 53 0 0 25 0 4 0 1115581841 1848225792 418432 4294967295 134512640 135305190 3217305536 2860817600 134528248 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1804908 CPUtime=723.91
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 9315 0 0 0 72329 62 0 0 25 0 4 0 1115581841 1848225792 418432 4294967295 134512640 135305190 3217305536 2852428992 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1804908 CPUtime=579.81
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5041 0 0 0 57929 52 0 0 25 0 4 0 1115581841 1848225792 418432 4294967295 134512640 135305190 3217305536 2844040384 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2622.92
Current children cumulated vsize (KiB) 1807328

[startup+942.311 s]
/proc/loadavg: 6.06 5.76 5.61 7/130 28916
/proc/meminfo: memFree=395504/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1807992 CPUtime=2802.38
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 419492 0 0 0 279849 389 0 0 25 0 4 0 1115580463 1851383808 419359 4294967295 134512640 135305190 3217305536 3217303712 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 451998 419359 79 194 0 451802 0
[pid=26034/tid=26037] ppid=26032 vsize=1807992 CPUtime=662.82
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5435 0 0 0 66229 53 0 0 25 0 4 0 1115581841 1851383808 419359 4294967295 134512640 135305190 3217305536 2860817600 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1807992 CPUtime=783.51
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 9894 0 0 0 78280 71 0 0 25 0 4 0 1115581841 1851383808 419359 4294967295 134512640 135305190 3217305536 2852428992 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1807992 CPUtime=609.71
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5148 0 0 0 60917 54 0 0 25 0 4 0 1115581841 1851383808 419359 4294967295 134512640 135305190 3217305536 2844040384 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.38
Current children cumulated vsize (KiB) 1810412



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 5.82 5.77 5.63 7/129 29058
/proc/meminfo: memFree=368684/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1816556 CPUtime=2974.96
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 421472 0 0 0 297086 410 0 0 25 0 4 0 1115580463 1860153344 421339 4294967295 134512640 135305190 3217305536 3217303712 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 454139 421339 79 194 0 453943 0
[pid=26034/tid=26037] ppid=26032 vsize=1816556 CPUtime=691.73
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5645 0 0 0 69119 54 0 0 25 0 4 0 1115581841 1860153344 421339 4294967295 134512640 135305190 3217305536 2860817600 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1816556 CPUtime=840.74
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 11051 0 0 0 83992 82 0 0 25 0 4 0 1115581841 1860153344 421339 4294967295 134512640 135305190 3217305536 2852428992 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1816556 CPUtime=638.5
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5434 0 0 0 63793 57 0 0 25 0 4 0 1115581841 1860153344 421339 4294967295 134512640 135305190 3217305536 2844040384 134528350 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2974.96
Current children cumulated vsize (KiB) 1818976

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

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

[startup+1000.02 s]
/proc/loadavg: 5.82 5.77 5.63 7/129 29058
/proc/meminfo: memFree=368684/3368532 swapFree=1957708/1959888
[pid=26032] ppid=26030 vsize=2420 CPUtime=0
/proc/26032/stat : 26032 (manysat.sh) S 26030 26032 21334 0 -1 4194304 369 125 0 0 0 0 0 0 18 0 1 0 1115580463 2478080 274 4294967295 134512640 135169312 3218436256 3218433400 3085602542 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/26032/statm: 605 274 231 161 0 44 0
[pid=26034] ppid=26032 vsize=1816556 CPUtime=2974.96
/proc/26034/stat : 26034 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202496 421472 0 0 0 297086 410 0 0 25 0 4 0 1115580463 1860153344 421339 4294967295 134512640 135305190 3217305536 3217303712 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26034/statm: 454139 421339 79 194 0 453943 0
[pid=26034/tid=26037] ppid=26032 vsize=1816556 CPUtime=691.73
/proc/26034/task/26037/stat : 26037 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5645 0 0 0 69119 54 0 0 25 0 4 0 1115581841 1860153344 421339 4294967295 134512640 135305190 3217305536 2860817600 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26034/tid=26038] ppid=26032 vsize=1816556 CPUtime=840.74
/proc/26034/task/26038/stat : 26038 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 11051 0 0 0 83992 82 0 0 25 0 4 0 1115581841 1860153344 421339 4294967295 134512640 135305190 3217305536 2852428992 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26034/tid=26039] ppid=26032 vsize=1816556 CPUtime=638.5
/proc/26034/task/26039/stat : 26039 (manysat1.1_stat) R 26032 26032 21334 0 -1 4202560 5434 0 0 0 63793 57 0 0 25 0 4 0 1115581841 1860153344 421339 4294967295 134512640 135305190 3217305536 2844040384 134528350 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2974.96
Current children cumulated vsize (KiB) 1818976

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26032 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 2974.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1000.05
CPU time (s): 2974.96
CPU user time (s): 2970.86
CPU system time (s): 4.1
CPU usage (%): 297.482
Max. virtual memory (cumulated for all children) (KiB): 1818976

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

runsolver used 0.03 second user time and 0.06 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 13:12:37
IDJOB=1776406
IDBENCH=20506
IDSOLVER=620
FILE ID=/1776406-1243509157
PBS_JOBID=
Free space on /tmp= 15773 MiB

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

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

MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED= 1322981821

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.43
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:       1815212 kB
Buffers:         17348 kB
Cached:         759916 kB
SwapCached:         16 kB
Active:         882420 kB
Inactive:       605504 kB
HighTotal:     2489216 kB
HighFree:      1015548 kB
LowTotal:       879316 kB
LowFree:        799664 kB
SwapTotal:     1959888 kB
SwapFree:      1957708 kB
Dirty:          117696 kB
Writeback:           0 kB
AnonPages:      711192 kB
Mapped:          35512 kB
Slab:            55248 kB
SReclaimable:    46364 kB
SUnreclaim:       8884 kB
PageTables:       1428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:  1001092 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:29:27