Trace number 1776679

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)? (MO) 3679.21 947.438

General information on the benchmark

Namevelev-vliw-uns-4.0-9-i1.cnf
MD5SUM590cca3a58efdeb1c95ef988a53daa1d
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 variables154309
Number of clauses3230738
Sum of the clauses size9429252
Maximum clause length3625
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22024994
Number of clauses of size 31081436
Number of clauses of size 48866
Number of clauses of size 58692
Number of clauses of size over 5106749

Solver Data 

0.00/0.00	c Parsing...
2.12/2.19	c ==============================================================================
2.12/2.19	c |           |     ORIGINAL     |              LEARNT              |          |
2.12/2.19	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
2.12/2.19	c ==============================================================================
2.12/2.19	c |         0 | 3230737  9429251 |  969221       0        0     nan |  0.000 % |
24.02/24.07	c |         0 | 3193200  9687142 |      --       0       --      -- |     --   | -37507/257956
24.02/24.07	c ==============================================================================
24.02/24.07	c Result  :   #vars: 136989   #clauses: 3193200   #literals: 9687142
24.02/24.07	c CPU time:   23.85 s
24.02/24.07	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-1776679-1243512630/watcher-1776679-1243512630 -o /tmp/evaluation-result-1776679-1243512630/solver-1776679-1243512630 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776679-1243512630.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: 3.96 4.29 4.26 3/109 12215
/proc/meminfo: memFree=2242524/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) R 12213 12215 29143 0 -1 4194304 332 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053708 3085150068 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=1036 CPUtime=0
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 196 0 0 0 0 0 0 0 18 0 1 0 1115926174 1060864 133 4294967295 134512640 135034092 3221111536 3221107824 134544739 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 259 134 50 128 0 129 0

[startup+0.047616 s]
/proc/loadavg: 3.96 4.29 4.26 3/109 12215
/proc/meminfo: memFree=2242524/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053768 3085147886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=6588 CPUtime=0.05
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 1461 0 0 0 3 2 0 0 19 0 1 0 1115926174 6746112 1398 4294967295 134512640 135034092 3221111536 3221107496 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 1647 1398 50 128 0 1517 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9000

[startup+0.1176 s]
/proc/loadavg: 3.96 4.29 4.26 3/109 12215
/proc/meminfo: memFree=2242524/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053768 3085147886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=13932 CPUtime=0.12
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 3239 0 0 0 10 2 0 0 19 0 1 0 1115926174 14266368 3176 4294967295 134512640 135034092 3221111536 3221107528 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 3483 3176 50 128 0 3353 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16344

[startup+0.321851 s]
/proc/loadavg: 3.96 4.29 4.26 3/109 12215
/proc/meminfo: memFree=2242524/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053768 3085147886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=32296 CPUtime=0.32
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 7699 0 0 0 28 4 0 0 20 0 1 0 1115926174 33071104 7636 4294967295 134512640 135034092 3221111536 3221107880 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 8074 7637 50 128 0 7944 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 34708

[startup+0.717569 s]
/proc/loadavg: 3.96 4.29 4.26 3/109 12215
/proc/meminfo: memFree=2242524/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053768 3085147886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=71124 CPUtime=0.72
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 15905 0 0 0 65 7 0 0 21 0 1 0 1115926174 72830976 15842 4294967295 134512640 135034092 3221111536 3221107880 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 17781 15842 50 128 0 17651 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 73536

[startup+1.51753 s]
/proc/loadavg: 3.72 4.23 4.24 2/111 12217
/proc/meminfo: memFree=2155688/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053768 3085147886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=144872 CPUtime=1.52
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 31648 0 0 0 143 9 0 0 23 0 1 0 1115926174 148348928 31585 4294967295 134512640 135034092 3221111536 3221107880 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 36218 31585 51 128 0 36088 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 147284

[startup+3.11745 s]
/proc/loadavg: 3.72 4.23 4.24 2/111 12217
/proc/meminfo: memFree=2045772/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053768 3085147886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=260732 CPUtime=3.12
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 63194 0 0 0 296 16 0 0 25 0 1 0 1115926174 266989568 58491 4294967295 134512640 135034092 3221111536 3221107776 134566294 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 65183 58491 67 128 0 65053 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 263144

[startup+6.31728 s]
/proc/loadavg: 3.72 4.23 4.24 2/111 12218
/proc/meminfo: memFree=2001220/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053768 3085147886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=299080 CPUtime=6.32
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 69899 0 0 0 614 18 0 0 25 0 1 0 1115926174 306257920 64736 4294967295 134512640 135034092 3221111536 3221108080 134584306 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 74770 64736 67 128 0 74640 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 301492

[startup+12.7169 s]
/proc/loadavg: 3.30 4.13 4.21 2/111 12218
/proc/meminfo: memFree=1980916/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053768 3085147886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=299080 CPUtime=12.72
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 69907 0 0 0 1254 18 0 0 25 0 1 0 1115926174 306257920 64744 4294967295 134512640 135034092 3221111536 3221108080 134584267 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 74770 64744 67 128 0 74640 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 301492

[startup+25.5163 s]
/proc/loadavg: 2.95 4.02 4.17 2/111 12218
/proc/meminfo: memFree=1980424/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2412 CPUtime=0
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 1115926174 2469888 272 4294967295 134512640 135169312 3218055232 3218053768 3085147886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12215/statm: 603 272 231 161 0 42 0
[pid=12216] ppid=12215 vsize=265232 CPUtime=25.52
/proc/12216/stat : 12216 (SatElite) R 12215 12215 29143 0 -1 4202496 82161 0 0 0 2524 28 0 0 25 0 1 0 1115926174 271597568 59588 4294967295 134512640 135034092 3221111536 3221106420 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12216/statm: 66308 59588 68 128 0 66178 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 267644

[startup+51.1149 s]
/proc/loadavg: 3.03 3.94 4.14 5/114 12408
/proc/meminfo: memFree=1385908/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=820756 CPUtime=75.42
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 195706 0 0 0 7460 82 0 0 25 0 4 0 1115928956 840454144 195556 4294967295 134512640 135305190 3219927552 3219925472 134541944 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12220/statm: 205189 195556 79 194 0 204993 0
[pid=12220/tid=12221] ppid=12215 vsize=820756 CPUtime=17.49
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 4584 0 0 0 1745 4 0 0 25 0 4 0 1115929524 840454144 195556 4294967295 134512640 135305190 3219927552 3044261056 134528195 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=820756 CPUtime=17.46
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 6449 0 0 0 1738 8 0 0 25 0 4 0 1115929524 840454144 195556 4294967295 134512640 135305190 3219927552 3029535936 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=820756 CPUtime=17.41
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 4207 0 0 0 1735 6 0 0 25 0 4 0 1115929524 840454144 195556 4294967295 134512640 135305190 3219927552 3018443936 134570412 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 103.25
Current children cumulated vsize (KiB) 823172

[startup+102.32 s]
/proc/loadavg: 3.75 4.00 4.15 6/114 12412
/proc/meminfo: memFree=1221584/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=986888 CPUtime=280.04
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 236919 0 0 0 27880 124 0 0 25 0 4 0 1115928956 1010573312 236769 4294967295 134512640 135305190 3219927552 3219925728 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12220/statm: 246722 236769 79 194 0 246526 0
[pid=12220/tid=12221] ppid=12215 vsize=986888 CPUtime=68.7
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 7746 0 0 0 6857 13 0 0 25 0 4 0 1115929524 1010573312 236769 4294967295 134512640 135305190 3219927552 3044261092 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=986888 CPUtime=68.66
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 40809 0 0 0 6836 30 0 0 25 0 4 0 1115929524 1010573312 236769 4294967295 134512640 135305190 3219927552 3029535880 134839991 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=986888 CPUtime=68.58
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 5323 0 0 0 6848 10 0 0 15 0 4 0 1115929524 1010573312 236770 4294967295 134512640 135305190 3219927552 3018443816 134694990 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 307.87
Current children cumulated vsize (KiB) 989304

[startup+162.309 s]
/proc/loadavg: 4.30 4.11 4.18 5/114 12600
/proc/meminfo: memFree=1085244/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=1125328 CPUtime=519.61
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 271292 0 0 0 51808 153 0 0 25 0 4 0 1115928956 1152335872 271142 4294967295 134512640 135305190 3219927552 3219925728 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12220/statm: 281332 271142 79 194 0 281136 0
[pid=12220/tid=12221] ppid=12215 vsize=1125328 CPUtime=128.66
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 11389 0 0 0 12852 14 0 0 25 0 4 0 1115929524 1152335872 271142 4294967295 134512640 135305190 3219927552 3044260928 134857151 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=1125328 CPUtime=128.63
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 67806 0 0 0 12821 42 0 0 25 0 4 0 1115929524 1152335872 271142 4294967295 134512640 135305190 3219927552 3029535936 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=1125328 CPUtime=128.43
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 6389 0 0 0 12823 20 0 0 25 0 4 0 1115929524 1152335872 271142 4294967295 134512640 135305190 3219927552 3018443968 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 547.44
Current children cumulated vsize (KiB) 1127744

[startup+222.306 s]
/proc/loadavg: 4.29 4.15 4.18 6/114 12792
/proc/meminfo: memFree=976968/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=1232288 CPUtime=758.85
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 297951 0 0 0 75696 189 0 0 25 0 4 0 1115928956 1261862912 297801 4294967295 134512640 135305190 3219927552 3219925728 134528512 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12220/statm: 308072 297801 79 194 0 307876 0
[pid=12220/tid=12221] ppid=12215 vsize=1232288 CPUtime=188.66
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 14936 0 0 0 18845 21 0 0 25 0 4 0 1115929524 1261862912 297801 4294967295 134512640 135305190 3219927552 3044261056 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=1232288 CPUtime=188.26
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 88753 0 0 0 18763 63 0 0 25 0 4 0 1115929524 1261862912 297801 4294967295 134512640 135305190 3219927552 3029535936 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=1232288 CPUtime=188.3
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 7166 0 0 0 18806 24 0 0 25 0 4 0 1115929524 1261862912 297801 4294967295 134512640 135305190 3219927552 3018443968 134528319 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 786.68

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

/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 11253 0 0 0 48703 45 0 0 25 0 4 0 1115929524 1725923328 409901 4294967295 134512640 135305190 3219927552 3018443716 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1984.07
Current children cumulated vsize (KiB) 1687888

[startup+582.307 s]
/proc/loadavg: 4.44 4.33 4.23 5/114 13923
/proc/meminfo: memFree=449928/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=1765084 CPUtime=2195.68
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 430006 0 0 0 219174 394 0 0 25 0 4 0 1115928956 1807446016 429856 4294967295 134512640 135305190 3219927552 3219925616 134529062 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12220/statm: 441271 429856 79 194 0 441075 0
[pid=12220/tid=12221] ppid=12215 vsize=1765084 CPUtime=548.1
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 31812 0 0 0 54746 64 0 0 25 0 4 0 1115929524 1807446016 429856 4294967295 134512640 135305190 3219927552 3044261056 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=1765084 CPUtime=547.56
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 187954 0 0 0 54595 161 0 0 25 0 4 0 1115929524 1807446016 429856 4294967295 134512640 135305190 3219927552 3029535936 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=1765084 CPUtime=547.32
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 12424 0 0 0 54682 50 0 0 25 0 4 0 1115929524 1807446016 429856 4294967295 134512640 135305190 3219927552 3018443856 134529123 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2223.51
Current children cumulated vsize (KiB) 1767500

[startup+642.304 s]
/proc/loadavg: 4.38 4.34 4.24 5/114 14115
/proc/meminfo: memFree=420076/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=1797116 CPUtime=2435.01
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 437246 0 0 0 243090 411 0 0 25 0 4 0 1115928956 1840246784 437096 4294967295 134512640 135305190 3219927552 3219925472 134542034 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12220/statm: 449279 437096 79 194 0 449083 0
[pid=12220/tid=12221] ppid=12215 vsize=1797116 CPUtime=607.97
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 33114 0 0 0 60728 69 0 0 25 0 4 0 1115929524 1840246784 437096 4294967295 134512640 135305190 3219927552 3044261056 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=1797116 CPUtime=607.38
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 192759 0 0 0 60571 167 0 0 25 0 4 0 1115929524 1840246784 437096 4294967295 134512640 135305190 3219927552 3029535936 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=1797116 CPUtime=607.31
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 12851 0 0 0 60678 53 0 0 25 0 4 0 1115929524 1840246784 437096 4294967295 134512640 135305190 3219927552 3018443968 134530991 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2462.84
Current children cumulated vsize (KiB) 1799532

[startup+702.311 s]
/proc/loadavg: 4.47 4.39 4.27 5/114 14303
/proc/meminfo: memFree=412956/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=1804640 CPUtime=2674.07
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 438885 0 0 0 266973 434 0 0 25 0 4 0 1115928956 1847951360 438735 4294967295 134512640 135305190 3219927552 3219925728 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12220/statm: 451160 438735 79 194 0 450964 0
[pid=12220/tid=12221] ppid=12215 vsize=1804640 CPUtime=667.9
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 33115 0 0 0 66715 75 0 0 25 0 4 0 1115929524 1847951360 438735 4294967295 134512640 135305190 3219927552 3044261056 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=1804640 CPUtime=666.72
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 194356 0 0 0 66499 173 0 0 25 0 4 0 1115929524 1847951360 438735 4294967295 134512640 135305190 3219927552 3029535616 134552908 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=1804640 CPUtime=667.12
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 12892 0 0 0 66655 57 0 0 25 0 4 0 1115929524 1847951360 438735 4294967295 134512640 135305190 3219927552 3018443968 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2701.9
Current children cumulated vsize (KiB) 1807056

[startup+762.318 s]
/proc/loadavg: 4.31 4.36 4.27 5/114 14491
/proc/meminfo: memFree=344524/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=1873724 CPUtime=2913.41
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 456124 0 0 0 290886 455 0 0 25 0 4 0 1115928956 1918693376 455974 4294967295 134512640 135305190 3219927552 3219925728 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12220/statm: 468431 455974 79 194 0 468235 0
[pid=12220/tid=12221] ppid=12215 vsize=1873724 CPUtime=727.78
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 35126 0 0 0 72701 77 0 0 25 0 4 0 1115929524 1918693376 455974 4294967295 134512640 135305190 3219927552 3044261056 134528520 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=1873724 CPUtime=726.6
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 207445 0 0 0 72472 188 0 0 25 0 4 0 1115929524 1918693376 455974 4294967295 134512640 135305190 3219927552 3029535880 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=1873724 CPUtime=726.9
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 13382 0 0 0 72632 58 0 0 25 0 4 0 1115929524 1918693376 455974 4294967295 134512640 135305190 3219927552 3018443968 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2941.24
Current children cumulated vsize (KiB) 1876140

[startup+822.315 s]
/proc/loadavg: 4.49 4.42 4.29 5/114 14679
/proc/meminfo: memFree=246720/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=1971232 CPUtime=3152.68
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 480861 0 0 0 314778 490 0 0 25 0 4 0 1115928956 2018541568 480711 4294967295 134512640 135305190 3219927552 3219925728 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12220/statm: 492808 480711 79 194 0 492612 0
[pid=12220/tid=12221] ppid=12215 vsize=1971232 CPUtime=787.76
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 38503 0 0 0 78690 86 0 0 25 0 4 0 1115929524 2018541568 480711 4294967295 134512640 135305190 3219927552 3044260720 134551729 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=1971232 CPUtime=786.37
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 225537 0 0 0 78430 207 0 0 25 0 4 0 1115929524 2018541568 480711 4294967295 134512640 135305190 3219927552 3029535880 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=1971232 CPUtime=786.56
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 14347 0 0 0 78593 63 0 0 25 0 4 0 1115929524 2018541568 480711 4294967295 134512640 135305190 3219927552 3018443968 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3180.51
Current children cumulated vsize (KiB) 1973648

[startup+882.312 s]
/proc/loadavg: 4.41 4.42 4.30 6/114 14866
/proc/meminfo: memFree=167384/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=2050864 CPUtime=3391.76
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 500471 0 0 0 338651 525 0 0 25 0 4 0 1115928956 2100084736 500321 4294967295 134512640 135305190 3219927552 3219925728 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12220/statm: 512716 500321 79 194 0 512520 0
[pid=12220/tid=12221] ppid=12215 vsize=2050864 CPUtime=847.71
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 40745 0 0 0 84673 98 0 0 25 0 4 0 1115929524 2100084736 500321 4294967295 134512640 135305190 3219927552 3044261056 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=2050864 CPUtime=845.9
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 240965 0 0 0 84365 225 0 0 25 0 4 0 1115929524 2100084736 500321 4294967295 134512640 135305190 3219927552 3029535880 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=2050864 CPUtime=846.25
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 14948 0 0 0 84560 65 0 0 25 0 4 0 1115929524 2100084736 500321 4294967295 134512640 135305190 3219927552 3018443968 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3419.59
Current children cumulated vsize (KiB) 2053280

[startup+942.308 s]
/proc/loadavg: 4.37 4.42 4.30 5/114 15054
/proc/meminfo: memFree=128228/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=2088676 CPUtime=3630.97
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 510058 0 0 0 362549 548 0 0 25 0 4 0 1115928956 2138804224 509908 4294967295 134512640 135305190 3219927552 3219925728 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12220/statm: 522169 509908 79 194 0 521973 0
[pid=12220/tid=12221] ppid=12215 vsize=2088676 CPUtime=907.62
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 41968 0 0 0 90659 103 0 0 25 0 4 0 1115929524 2138804224 509908 4294967295 134512640 135305190 3219927552 3044261056 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=2088676 CPUtime=905.66
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 248588 0 0 0 90332 234 0 0 25 0 4 0 1115929524 2138804224 509908 4294967295 134512640 135305190 3219927552 3029535936 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=2088676 CPUtime=905.92
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 15427 0 0 0 90526 66 0 0 25 0 4 0 1115929524 2138804224 509908 4294967295 134512640 135305190 3219927552 3018443968 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3658.8
Current children cumulated vsize (KiB) 2091092



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+947.408 s]
/proc/loadavg: 4.34 4.42 4.30 5/114 15055
/proc/meminfo: memFree=124604/3368532 swapFree=1959840/1959888
[pid=12215] ppid=12213 vsize=2416 CPUtime=27.83
/proc/12215/stat : 12215 (manysat.sh) S 12213 12215 29143 0 -1 4194304 369 82165 0 0 0 0 2736 47 18 0 1 0 1115926174 2473984 274 4294967295 134512640 135169312 3218055232 3218051448 3085147886 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12215/statm: 604 274 231 161 0 43 0
[pid=12220] ppid=12215 vsize=2093748 CPUtime=3651.38
/proc/12220/stat : 12220 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202496 511042 0 0 0 364589 549 0 0 25 0 4 0 1115928956 2143997952 510892 4294967295 134512640 135305190 3219927552 3219925472 134541935 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12220/statm: 523437 510892 79 194 0 523241 0
[pid=12220/tid=12221] ppid=12215 vsize=2093748 CPUtime=912.72
/proc/12220/task/12221/stat : 12221 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 42051 0 0 0 91169 103 0 0 25 0 4 0 1115929524 2143997952 510893 4294967295 134512640 135305190 3219927552 3044260800 134541802 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12220/tid=12222] ppid=12215 vsize=2093748 CPUtime=910.77
/proc/12220/task/12222/stat : 12222 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 249383 0 0 0 90842 235 0 0 25 0 4 0 1115929524 2143997952 510893 4294967295 134512640 135305190 3219927552 3029535880 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12220/tid=12223] ppid=12215 vsize=2093748 CPUtime=911.02
/proc/12220/task/12223/stat : 12223 (manysat1.1_stat) R 12215 12215 29143 0 -1 4202560 15478 0 0 0 91036 66 0 0 25 0 4 0 1115929524 2143997952 510893 4294967295 134512640 135305190 3219927552 3018443968 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3679.21
Current children cumulated vsize (KiB) 2096164

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 12215 and gives
#  childrusage.ru_utime.tv_sec=27
#  childrusage.ru_utime.tv_usec=360000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=470000
# CPU time returned by wait4() is 27.83
# while last known CPU time is 3679.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 947.438
CPU time (s): 3679.21
CPU user time (s): 3673.25
CPU system time (s): 5.96
CPU usage (%): 388.332
Max. virtual memory (cumulated for all children) (KiB): 2096164

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

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 14:10:30
IDJOB=1776679
IDBENCH=69571
IDSOLVER=623
FILE ID=/1776679-1243512630
PBS_JOBID=
Free space on /tmp= 7920 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776679-1243512630/watcher-1776679-1243512630 -o /tmp/evaluation-result-1776679-1243512630/solver-1776679-1243512630 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1776679-1243512630.cnf aimd 1

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

MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED= 1168078965

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.073
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
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.073
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.073
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:       2242820 kB
Buffers:         29380 kB
Cached:         976256 kB
SwapCached:          0 kB
Active:         108288 kB
Inactive:       916540 kB
HighTotal:     2489216 kB
HighFree:      1607272 kB
LowTotal:       879316 kB
LowFree:        635548 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           71216 kB
Writeback:           0 kB
AnonPages:       19028 kB
Mapped:           7700 kB
Slab:            91984 kB
SReclaimable:    78432 kB
SUnreclaim:      13552 kB
PageTables:        684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   111076 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7848 MiB
End job on  at 2009-05-28 14:26:23