Trace number 1776466

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)? (MO) 3593.13 917.657

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
MD5SUM79c983ee7a6671238604da3040f85341
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 variables151669
Number of clauses2465731
Sum of the clauses size7141423
Maximum clause length150
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22309834
Number of clauses of size 335167
Number of clauses of size 45995
Number of clauses of size 511790
Number of clauses of size over 5102944

Solver Data 

0.00/0.00	c Parsing...
1.61/1.68	c ==============================================================================
1.61/1.68	c |           |     ORIGINAL     |              LEARNT              |          |
1.61/1.68	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.61/1.68	c ==============================================================================
1.61/1.68	c |         0 | 2465730  7141422 |  739718       0        0     nan |  0.000 % |
15.81/15.89	c |         0 | 2391111  7388117 |      --       0       --      -- |     --   | -74473/249552
15.81/15.90	c ==============================================================================
15.81/15.90	c Result  :   #vars: 120317   #clauses: 2391111   #literals: 7388117
15.81/15.90	c CPU time:   15.66 s
15.81/15.90	c ==============================================================================

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-1776466-1243509808/watcher-1776466-1243509808 -o /tmp/evaluation-result-1776466-1243509808/solver-1776466-1243509808 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776466-1243509808.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: 2.10 3.71 4.08 3/96 3063
/proc/meminfo: memFree=3045836/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2416 CPUtime=0
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115645222 2473984 274 4294967295 134512640 135169312 3214363840 3214362376 3085668078 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/3063/statm: 604 274 231 161 0 43 0

[startup+0.112963 s]
/proc/loadavg: 2.10 3.71 4.08 3/96 3063
/proc/meminfo: memFree=3045836/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2416 CPUtime=0
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115645222 2473984 274 4294967295 134512640 135169312 3214363840 3214362376 3085668078 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/3063/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.212954 s]
/proc/loadavg: 2.10 3.71 4.08 3/96 3063
/proc/meminfo: memFree=3045836/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2416 CPUtime=0
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115645222 2473984 274 4294967295 134512640 135169312 3214363840 3214362376 3085668078 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/3063/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.312946 s]
/proc/loadavg: 2.10 3.71 4.08 3/96 3063
/proc/meminfo: memFree=3045836/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2416 CPUtime=0
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115645222 2473984 274 4294967295 134512640 135169312 3214363840 3214362376 3085668078 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/3063/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.712913 s]
/proc/loadavg: 2.10 3.71 4.08 3/96 3063
/proc/meminfo: memFree=3045836/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2416 CPUtime=0
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115645222 2473984 274 4294967295 134512640 135169312 3214363840 3214362376 3085668078 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/3063/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+1.51285 s]
/proc/loadavg: 2.10 3.71 4.08 2/98 3066
/proc/meminfo: memFree=2949932/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2416 CPUtime=0
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115645222 2473984 274 4294967295 134512640 135169312 3214363840 3214362376 3085668078 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/3063/statm: 604 274 231 161 0 43 0
[pid=3064] ppid=3063 vsize=155616 CPUtime=1.51
/proc/3064/stat : 3064 (SatElite) R 3063 3063 27966 0 -1 4202496 33772 0 0 0 137 14 0 0 20 0 1 0 1115645222 159350784 33709 4294967295 134512640 135034092 3219843520 3219840760 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3064/statm: 38904 33710 51 128 0 38774 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 158032

[startup+3.11271 s]
/proc/loadavg: 2.10 3.71 4.08 2/98 3066
/proc/meminfo: memFree=2878356/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2416 CPUtime=0
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115645222 2473984 274 4294967295 134512640 135169312 3214363840 3214362376 3085668078 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/3063/statm: 604 274 231 161 0 43 0
[pid=3064] ppid=3063 vsize=216144 CPUtime=3.11
/proc/3064/stat : 3064 (SatElite) R 3063 3063 27966 0 -1 4202496 50506 0 0 0 293 18 0 0 25 0 1 0 1115645222 221331456 45255 4294967295 134512640 135034092 3219843520 3219839516 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3064/statm: 54036 45255 67 128 0 53906 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 218560

[startup+6.31245 s]
/proc/loadavg: 2.01 3.67 4.06 2/98 3067
/proc/meminfo: memFree=2846068/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2416 CPUtime=0
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115645222 2473984 274 4294967295 134512640 135169312 3214363840 3214362376 3085668078 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/3063/statm: 604 274 231 161 0 43 0
[pid=3064] ppid=3063 vsize=232796 CPUtime=6.31
/proc/3064/stat : 3064 (SatElite) R 3063 3063 27966 0 -1 4202496 54322 0 0 0 611 20 0 0 25 0 1 0 1115645222 238383104 49071 4294967295 134512640 135034092 3219843520 3219839760 134566212 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3064/statm: 58199 49071 67 128 0 58069 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 235212

[startup+12.7119 s]
/proc/loadavg: 1.93 3.62 4.04 2/98 3067
/proc/meminfo: memFree=2825148/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2416 CPUtime=0
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115645222 2473984 274 4294967295 134512640 135169312 3214363840 3214362376 3085668078 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/3063/statm: 604 274 231 161 0 43 0
[pid=3064] ppid=3063 vsize=264464 CPUtime=12.71
/proc/3064/stat : 3064 (SatElite) R 3063 3063 27966 0 -1 4202496 59929 0 0 0 1248 23 0 0 25 0 1 0 1115645222 270811136 54119 4294967295 134512640 135034092 3219843520 3219839824 134569204 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3064/statm: 66116 54119 67 128 0 65986 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 266880

[startup+25.5109 s]
/proc/loadavg: 1.72 3.49 3.99 5/101 3072
/proc/meminfo: memFree=2442448/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=600884 CPUtime=14.32
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 137086 0 0 0 1383 49 0 0 25 0 4 0 1115647092 615305216 136948 4294967295 134512640 135305190 3217864704 3217862880 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3069/statm: 150221 136948 79 194 0 150025 0
[pid=3069/tid=3070] ppid=3063 vsize=600884 CPUtime=2.52
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 1492 0 0 0 245 7 0 0 25 0 4 0 1115647517 615305216 136948 4294967295 134512640 135305190 3217864704 3014917312 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=600884 CPUtime=2.49
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 1692 0 0 0 247 2 0 0 25 0 4 0 1115647518 615305216 136948 4294967295 134512640 135305190 3217864704 3006528564 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=600884 CPUtime=2.52
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 1604 0 0 0 252 0 0 0 25 0 4 0 1115647518 615305216 136948 4294967295 134512640 135305190 3217864704 2950339776 134528545 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 33.03
Current children cumulated vsize (KiB) 603304

[startup+51.1087 s]
/proc/loadavg: 2.57 3.55 4.00 6/101 3259
/proc/meminfo: memFree=2387504/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=655180 CPUtime=116.24
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 150764 0 0 0 11558 66 0 0 25 0 4 0 1115647092 670904320 150626 4294967295 134512640 135305190 3217864704 3217862880 134528562 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3069/statm: 163795 150626 79 194 0 163599 0
[pid=3069/tid=3070] ppid=3063 vsize=655180 CPUtime=27.99
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 3917 0 0 0 2784 15 0 0 25 0 4 0 1115647517 670904320 150626 4294967295 134512640 135305190 3217864704 3014917312 134528536 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=655180 CPUtime=27.97
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 10019 0 0 0 2792 5 0 0 25 0 4 0 1115647518 670904320 150626 4294967295 134512640 135305190 3217864704 3006528704 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=655180 CPUtime=27.96
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 2800 0 0 0 2793 3 0 0 25 0 4 0 1115647518 670904320 150626 4294967295 134512640 135305190 3217864704 2950339776 134528539 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 134.95
Current children cumulated vsize (KiB) 657600

[startup+102.314 s]
/proc/loadavg: 3.57 3.67 4.02 5/101 3466
/proc/meminfo: memFree=2302480/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=740568 CPUtime=320.48
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 171663 0 0 0 31953 95 0 0 25 0 4 0 1115647092 758341632 171525 4294967295 134512640 135305190 3217864704 3217862880 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3069/statm: 185142 171525 79 194 0 184946 0
[pid=3069/tid=3070] ppid=3063 vsize=740568 CPUtime=79.05
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 6575 0 0 0 7879 26 0 0 25 0 4 0 1115647517 758341632 171526 4294967295 134512640 135305190 3217864704 3014917312 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=740568 CPUtime=79.14
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 23342 0 0 0 7901 13 0 0 25 0 4 0 1115647518 758341632 171526 4294967295 134512640 135305190 3217864704 3006528648 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=740568 CPUtime=78.81
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 5010 0 0 0 7873 8 0 0 25 0 4 0 1115647518 758341632 171526 4294967295 134512640 135305190 3217864704 2950339776 134528548 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 339.19
Current children cumulated vsize (KiB) 742988

[startup+162.31 s]
/proc/loadavg: 3.88 3.75 4.02 6/101 3664
/proc/meminfo: memFree=2208168/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=836168 CPUtime=559.69
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 195511 0 0 0 55843 126 0 0 25 0 4 0 1115647092 856236032 195373 4294967295 134512640 135305190 3217864704 3217862880 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3069/statm: 209042 195373 79 194 0 208846 0
[pid=3069/tid=3070] ppid=3063 vsize=836168 CPUtime=138.74
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 8820 0 0 0 13841 33 0 0 25 0 4 0 1115647517 856236032 195373 4294967295 134512640 135305190 3217864704 3014917056 134541971 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=836168 CPUtime=138.92
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 42347 0 0 0 13863 29 0 0 25 0 4 0 1115647518 856236032 195373 4294967295 134512640 135305190 3217864704 3006528552 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=836168 CPUtime=138.6
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 5811 0 0 0 13847 13 0 0 25 0 4 0 1115647518 856236032 195373 4294967295 134512640 135305190 3217864704 2950339776 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 578.4
Current children cumulated vsize (KiB) 838588

[startup+222.315 s]
/proc/loadavg: 4.30 3.88 4.04 6/101 3851
/proc/meminfo: memFree=1981060/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=1063824 CPUtime=799.31
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 252012 0 0 0 79764 167 0 0 25 0 4 0 1115647092 1089355776 251874 4294967295 134512640 135305190 3217864704 3217862672 134547674 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3069/statm: 265956 251874 79 194 0 265760 0
[pid=3069/tid=3070] ppid=3063 vsize=1063824 CPUtime=198.54
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 13054 0 0 0 19818 36 0 0 25 0 4 0 1115647517 1089355776 251874 4294967295 134512640 135305190 3217864704 3014917056 134541953 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=1063824 CPUtime=198.85
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 90119 0 0 0 19828 57 0 0 25 0 4 0 1115647518 1089355776 251874 4294967295 134512640 135305190 3217864704 3006528704 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=1063824 CPUtime=198.47
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 7157 0 0 0 19828 19 0 0 25 0 4 0 1115647518 1089355776 251874 4294967295 134512640 135305190 3217864704 2950339720 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 818.02
Current children cumulated vsize (KiB) 1066244

[startup+282.31 s]
/proc/loadavg: 4.45 3.98 4.06 7/101 4044
/proc/meminfo: memFree=1820824/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=1225124 CPUtime=1038.73

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

/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 12855 0 0 0 49706 46 0 0 25 0 4 0 1115647518 1763368960 416031 4294967295 134512640 135305190 3217864704 2950339776 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2015.07
Current children cumulated vsize (KiB) 1724460

[startup+582.315 s]
/proc/loadavg: 4.55 4.34 4.19 5/101 4984
/proc/meminfo: memFree=1219980/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=1827556 CPUtime=2235.88
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 442252 0 0 0 223191 397 0 0 25 0 4 0 1115647092 1871417344 442114 4294967295 134512640 135305190 3217864704 3217862880 134528854 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/3069/statm: 456889 442114 79 194 0 456693 0
[pid=3069/tid=3070] ppid=3063 vsize=1827556 CPUtime=557.66
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 27565 0 0 0 55692 74 0 0 25 0 4 0 1115647517 1871417344 442114 4294967295 134512640 135305190 3217864704 3014917312 134531174 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=1827556 CPUtime=558.26
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 247304 0 0 0 55653 173 0 0 25 0 4 0 1115647518 1871417344 442114 4294967295 134512640 135305190 3217864704 3006528320 134551919 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=1827556 CPUtime=557.4
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 14578 0 0 0 55688 52 0 0 25 0 4 0 1115647518 1871417344 442114 4294967295 134512640 135305190 3217864704 2950339776 134528265 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2254.59
Current children cumulated vsize (KiB) 1829976

[startup+642.31 s]
/proc/loadavg: 4.61 4.37 4.20 8/102 5132
/proc/meminfo: memFree=1156424/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=1891236 CPUtime=2475.51
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 457781 0 0 0 247124 427 0 0 25 0 4 0 1115647092 1936625664 457643 4294967295 134512640 135305190 3217864704 3217862880 134528402 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/3069/statm: 472809 457643 79 194 0 472613 0
[pid=3069/tid=3070] ppid=3063 vsize=1891236 CPUtime=617.63
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 29723 0 0 0 61685 78 0 0 25 0 4 0 1115647517 1936625664 457643 4294967295 134512640 135305190 3217864704 3014917312 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=1891236 CPUtime=618.23
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 257638 0 0 0 61635 188 0 0 25 0 4 0 1115647518 1936625664 457643 4294967295 134512640 135305190 3217864704 3006528704 134528512 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=1891236 CPUtime=617.29
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 15625 0 0 0 61672 57 0 0 25 0 4 0 1115647518 1936625664 457643 4294967295 134512640 135305190 3217864704 2950339776 134528245 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2494.22
Current children cumulated vsize (KiB) 1893656

[startup+702.305 s]
/proc/loadavg: 4.52 4.39 4.22 7/102 5313
/proc/meminfo: memFree=1108656/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=1938036 CPUtime=2714.88
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 469557 0 0 0 271034 454 0 0 25 0 4 0 1115647092 1984548864 469419 4294967295 134512640 135305190 3217864704 3217862672 134548012 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/3069/statm: 484509 469419 79 194 0 484313 0
[pid=3069/tid=3070] ppid=3063 vsize=1938036 CPUtime=677.61
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 30910 0 0 0 67679 82 0 0 25 0 4 0 1115647517 1984548864 469419 4294967295 134512640 135305190 3217864704 3014917056 134542034 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=1938036 CPUtime=678.19
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 266031 0 0 0 67616 203 0 0 25 0 4 0 1115647518 1984548864 469419 4294967295 134512640 135305190 3217864704 3006528704 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=1938036 CPUtime=677.05
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 16535 0 0 0 67642 63 0 0 25 0 4 0 1115647518 1984548864 469419 4294967295 134512640 135305190 3217864704 2950339776 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2733.59
Current children cumulated vsize (KiB) 1940456

[startup+762.31 s]
/proc/loadavg: 4.65 4.45 4.25 6/102 5464
/proc/meminfo: memFree=1071268/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=1977768 CPUtime=2954.39
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 479210 0 0 0 294962 477 0 0 25 0 4 0 1115647092 2025234432 479072 4294967295 134512640 135305190 3217864704 3217862880 134530561 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/3069/statm: 494442 479072 79 194 0 494246 0
[pid=3069/tid=3070] ppid=3063 vsize=1977768 CPUtime=737.44
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 32208 0 0 0 73659 85 0 0 25 0 4 0 1115647517 2025234432 479072 4294967295 134512640 135305190 3217864704 3014917312 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=1977768 CPUtime=738.2
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 272994 0 0 0 73609 211 0 0 25 0 4 0 1115647518 2025234432 479072 4294967295 134512640 135305190 3217864704 3006528704 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=1977768 CPUtime=736.81
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 16800 0 0 0 73617 64 0 0 25 0 4 0 1115647518 2025234432 479072 4294967295 134512640 135305190 3217864704 2950339776 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2973.1
Current children cumulated vsize (KiB) 1980188

[startup+822.305 s]
/proc/loadavg: 4.41 4.42 4.25 7/101 5738
/proc/meminfo: memFree=1007832/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=2040808 CPUtime=3193.83
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 494736 0 0 0 318866 517 0 0 25 0 4 0 1115647092 2089787392 494598 4294967295 134512640 135305190 3217864704 3217862624 134541935 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3069/statm: 510202 494598 79 194 0 510006 0
[pid=3069/tid=3070] ppid=3063 vsize=2040808 CPUtime=797.26
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 35404 0 0 0 79629 97 0 0 25 0 4 0 1115647517 2089787392 494598 4294967295 134512640 135305190 3217864704 3014917040 134556752 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=2040808 CPUtime=798.18
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 281766 0 0 0 79588 230 0 0 25 0 4 0 1115647518 2089787392 494598 4294967295 134512640 135305190 3217864704 3006528704 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=2040808 CPUtime=796.73
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 17812 0 0 0 79607 66 0 0 25 0 4 0 1115647518 2089787392 494598 4294967295 134512640 135305190 3217864704 2950339776 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3212.54
Current children cumulated vsize (KiB) 2043228

[startup+882.32 s]
/proc/loadavg: 4.34 4.39 4.25 6/101 5927
/proc/meminfo: memFree=988024/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=2062452 CPUtime=3433.33
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 499581 0 0 0 342793 540 0 0 25 0 4 0 1115647092 2111950848 499439 4294967295 134512640 135305190 3217864704 3217862880 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3069/statm: 515613 499439 79 194 0 515417 0
[pid=3069/tid=3070] ppid=3063 vsize=2062452 CPUtime=857.01
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 35853 0 0 0 85596 105 0 0 25 0 4 0 1115647517 2111950848 499439 4294967295 134512640 135305190 3217864704 3014917312 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=2062452 CPUtime=858.11
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 285611 0 0 0 85574 237 0 0 25 0 4 0 1115647518 2111950848 499439 4294967295 134512640 135305190 3217864704 3006528320 134551986 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=2062452 CPUtime=856.7
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 18021 0 0 0 85602 68 0 0 25 0 4 0 1115647518 2111950848 499439 4294967295 134512640 135305190 3217864704 2950339776 134528539 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3452.04
Current children cumulated vsize (KiB) 2064872



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+917.617 s]
/proc/loadavg: 4.47 4.41 4.26 5/101 5930
/proc/meminfo: memFree=957136/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=2093728 CPUtime=3574.42
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 507674 0 0 0 356884 558 0 0 25 0 4 0 1115647092 2143977472 507532 4294967295 134512640 135305190 3217864704 3217862880 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3069/statm: 523432 507532 79 194 0 523236 0
[pid=3069/tid=3070] ppid=3063 vsize=2093728 CPUtime=892.31
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 37181 0 0 0 89120 111 0 0 25 0 4 0 1115647517 2143977472 507533 4294967295 134512640 135305190 3217864704 3014917312 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=2093728 CPUtime=893.41
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 290096 0 0 0 89097 244 0 0 25 0 4 0 1115647518 2143977472 507533 4294967295 134512640 135305190 3217864704 3006528648 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=2093728 CPUtime=891.95
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 19011 0 0 0 89123 72 0 0 25 0 4 0 1115647518 2143977472 507533 4294967295 134512640 135305190 3217864704 2950339776 134528319 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3593.13
Current children cumulated vsize (KiB) 2096148

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

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

[startup+917.617 s]
/proc/loadavg: 4.47 4.41 4.26 5/101 5930
/proc/meminfo: memFree=957136/3368532 swapFree=1953788/1959888
[pid=3063] ppid=3061 vsize=2420 CPUtime=18.71
/proc/3063/stat : 3063 (manysat.sh) S 3061 3063 27966 0 -1 4194304 369 65272 0 0 0 0 1829 42 18 0 1 0 1115645222 2478080 275 4294967295 134512640 135169312 3214363840 3214360056 3085668078 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/3063/statm: 605 275 231 161 0 44 0
[pid=3069] ppid=3063 vsize=2093728 CPUtime=3574.42
/proc/3069/stat : 3069 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202496 507674 0 0 0 356884 558 0 0 25 0 4 0 1115647092 2143977472 507532 4294967295 134512640 135305190 3217864704 3217862880 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/3069/statm: 523432 507532 79 194 0 523236 0
[pid=3069/tid=3070] ppid=3063 vsize=2093728 CPUtime=892.31
/proc/3069/task/3070/stat : 3070 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 37181 0 0 0 89120 111 0 0 25 0 4 0 1115647517 2143977472 507533 4294967295 134512640 135305190 3217864704 3014917312 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=3069/tid=3071] ppid=3063 vsize=2093728 CPUtime=893.41
/proc/3069/task/3071/stat : 3071 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 290096 0 0 0 89097 244 0 0 25 0 4 0 1115647518 2143977472 507533 4294967295 134512640 135305190 3217864704 3006528648 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=3069/tid=3072] ppid=3063 vsize=2093728 CPUtime=891.95
/proc/3069/task/3072/stat : 3072 (manysat1.1_stat) R 3063 3063 27966 0 -1 4202560 19011 0 0 0 89123 72 0 0 25 0 4 0 1115647518 2143977472 507533 4294967295 134512640 135305190 3217864704 2950339776 134528319 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3593.13
Current children cumulated vsize (KiB) 2096148

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 917.657
CPU time (s): 3593.13
CPU user time (s): 3587.13
CPU system time (s): 6
CPU usage (%): 391.555
Max. virtual memory (cumulated for all children) (KiB): 2096148

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

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 13:23:28
IDJOB=1776466
IDBENCH=20575
IDSOLVER=620
FILE ID=/1776466-1243509808
PBS_JOBID=
Free space on /tmp= 6426 MiB

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

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

MD5SUM BENCH= 79c983ee7a6671238604da3040f85341
RANDOM SEED= 1585502366

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

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

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

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3045836 kB
Buffers:         42508 kB
Cached:         180304 kB
SwapCached:       2256 kB
Active:         148024 kB
Inactive:        84588 kB
HighTotal:     2489216 kB
HighFree:      2297928 kB
LowTotal:       879316 kB
LowFree:        747908 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:           53348 kB
Writeback:           0 kB
AnonPages:        8836 kB
Mapped:           3284 kB
Slab:            80868 kB
SReclaimable:    67272 kB
SUnreclaim:      13596 kB
PageTables:        476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88680 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6371 MiB
End job on  at 2009-05-28 13:38:51