Trace number 1779019

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ManySAT 1.1 aimd 1/2009-03-20 (4 threads)? (TO) 3936.93 1000.04

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
MD5SUM3022ff2a7ae31b29e9b784d8e848042f
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 variables365168
Number of clauses1093967
Sum of the clauses size2552587
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2729310
Number of clauses of size 3364655
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.81/0.86	c ==============================================================================
0.81/0.86	c |           |     ORIGINAL     |              LEARNT              |          |
0.81/0.86	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.81/0.86	c ==============================================================================
0.81/0.86	c |         0 | 1093965  2552585 |  328189       0        0     nan |  0.000 % |
15.71/15.78	c |         0 |  536570  1877685 |      --       0       --      -- |     --   | -557373/-674847
15.71/15.78	c ==============================================================================
15.71/15.78	c Result  :   #vars: 96656   #clauses: 536570   #literals: 1877685
15.71/15.78	c CPU time:   15.42 s
15.71/15.78	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-1779019-1243518010/watcher-1779019-1243518010 -o /tmp/evaluation-result-1779019-1243518010/solver-1779019-1243518010 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779019-1243518010.cnf aimd 1 

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


[startup+0 s]
/proc/loadavg: 4.48 4.45 4.44 3/99 21911
/proc/meminfo: memFree=3053508/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2416 CPUtime=0.01
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1116465587 2473984 274 4294967295 134512640 135169312 3216623328 3216621864 3085414126 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21911/statm: 604 274 231 161 0 43 0
[pid=21912] ppid=21911 vsize=1204 CPUtime=0
/proc/21912/stat : 21912 (SatElite) R 21911 21911 19648 0 -1 4202496 235 0 0 0 0 0 0 0 18 0 1 0 1116465587 1232896 171 4294967295 134512640 135034092 3217973232 3217969576 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21912/statm: 301 171 49 128 0 171 0

[startup+0.081299 s]
/proc/loadavg: 4.48 4.45 4.44 3/99 21911
/proc/meminfo: memFree=3053508/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2416 CPUtime=0.01
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1116465587 2473984 274 4294967295 134512640 135169312 3216623328 3216621864 3085414126 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21911/statm: 604 274 231 161 0 43 0
[pid=21912] ppid=21911 vsize=16128 CPUtime=0.08
/proc/21912/stat : 21912 (SatElite) R 21911 21911 19648 0 -1 4202496 3498 0 0 0 7 1 0 0 18 0 1 0 1116465587 16515072 3434 4294967295 134512640 135034092 3217973232 3217969192 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21912/statm: 4032 3435 49 128 0 3902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18544

[startup+0.111297 s]
/proc/loadavg: 4.48 4.45 4.44 3/99 21911
/proc/meminfo: memFree=3053508/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2416 CPUtime=0.01
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1116465587 2473984 274 4294967295 134512640 135169312 3216623328 3216621864 3085414126 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21911/statm: 604 274 231 161 0 43 0
[pid=21912] ppid=21911 vsize=20072 CPUtime=0.11
/proc/21912/stat : 21912 (SatElite) R 21911 21911 19648 0 -1 4202496 4694 0 0 0 9 2 0 0 18 0 1 0 1116465587 20553728 4630 4294967295 134512640 135034092 3217973232 3217969576 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21912/statm: 5018 4631 49 128 0 4888 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 22488

[startup+0.311278 s]
/proc/loadavg: 4.48 4.45 4.44 3/99 21911
/proc/meminfo: memFree=3053508/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2416 CPUtime=0.01
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1116465587 2473984 274 4294967295 134512640 135169312 3216623328 3216621864 3085414126 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21911/statm: 604 274 231 161 0 43 0
[pid=21912] ppid=21911 vsize=60664 CPUtime=0.31
/proc/21912/stat : 21912 (SatElite) R 21911 21911 19648 0 -1 4202496 12547 0 0 0 28 3 0 0 18 0 1 0 1116465587 62119936 12483 4294967295 134512640 135034092 3217973232 3217969192 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/21912/statm: 15166 12483 49 128 0 15036 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 63080

[startup+0.711239 s]
/proc/loadavg: 4.48 4.45 4.44 3/99 21911
/proc/meminfo: memFree=3053508/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2416 CPUtime=0.01
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1116465587 2473984 274 4294967295 134512640 135169312 3216623328 3216621864 3085414126 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21911/statm: 604 274 231 161 0 43 0
[pid=21912] ppid=21911 vsize=130056 CPUtime=0.7
/proc/21912/stat : 21912 (SatElite) R 21911 21911 19648 0 -1 4202496 28408 0 0 0 63 7 0 0 18 0 1 0 1116465587 133177344 28344 4294967295 134512640 135034092 3217973232 3217969576 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21912/statm: 32514 28345 49 128 0 32384 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 132472

[startup+1.51116 s]
/proc/loadavg: 4.20 4.39 4.42 3/101 21913
/proc/meminfo: memFree=2909208/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2416 CPUtime=0.01
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1116465587 2473984 274 4294967295 134512640 135169312 3216623328 3216621864 3085414126 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21911/statm: 604 274 231 161 0 43 0
[pid=21912] ppid=21911 vsize=171076 CPUtime=1.5
/proc/21912/stat : 21912 (SatElite) R 21911 21911 19648 0 -1 4202496 39930 0 0 0 140 10 0 0 20 0 1 0 1116465587 175181824 36803 4294967295 134512640 135034092 3217973232 3217969228 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21912/statm: 42769 36803 67 128 0 42639 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 173492

[startup+3.11101 s]
/proc/loadavg: 4.20 4.39 4.42 2/101 21913
/proc/meminfo: memFree=2897088/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2416 CPUtime=0.01
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1116465587 2473984 274 4294967295 134512640 135169312 3216623328 3216621864 3085414126 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21911/statm: 604 274 231 161 0 43 0
[pid=21912] ppid=21911 vsize=176700 CPUtime=3.1
/proc/21912/stat : 21912 (SatElite) R 21911 21911 19648 0 -1 4202496 41150 0 0 0 298 12 0 0 25 0 1 0 1116465587 180940800 38023 4294967295 134512640 135034092 3217973232 3217969228 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21912/statm: 44175 38023 67 128 0 44045 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 179116

[startup+6.31071 s]
/proc/loadavg: 4.20 4.39 4.42 2/101 21914
/proc/meminfo: memFree=2870456/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2416 CPUtime=0.01
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1116465587 2473984 274 4294967295 134512640 135169312 3216623328 3216621864 3085414126 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21911/statm: 604 274 231 161 0 43 0
[pid=21912] ppid=21911 vsize=184144 CPUtime=6.3
/proc/21912/stat : 21912 (SatElite) R 21911 21911 19648 0 -1 4202496 43018 0 0 0 608 22 0 0 25 0 1 0 1116465587 188563456 39891 4294967295 134512640 135034092 3217973232 3217969228 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21912/statm: 46036 39891 67 128 0 45906 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 186560

[startup+12.7101 s]
/proc/loadavg: 3.71 4.28 4.38 3/101 21914
/proc/meminfo: memFree=2826248/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2416 CPUtime=0.01
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1116465587 2473984 274 4294967295 134512640 135169312 3216623328 3216621864 3085414126 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21911/statm: 604 274 231 161 0 43 0
[pid=21912] ppid=21911 vsize=194056 CPUtime=12.7
/proc/21912/stat : 21912 (SatElite) R 21911 21911 19648 0 -1 4202496 45432 0 0 0 1239 31 0 0 25 0 1 0 1116465587 198713344 42305 4294967295 134512640 135034092 3217973232 3217969228 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21912/statm: 48514 42305 67 128 0 48384 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 196472

[startup+25.5089 s]
/proc/loadavg: 3.69 4.25 4.37 5/104 21918
/proc/meminfo: memFree=2791620/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=217360 CPUtime=31.57
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 45325 0 0 0 3060 97 0 0 17 0 4 0 1116467243 222576640 45258 4294967295 134512640 135305190 3217184608 3217182784 134528195 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21915/statm: 54340 45258 79 194 0 54144 0
[pid=21915/tid=21916] ppid=21911 vsize=217360 CPUtime=7.7
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 1994 0 0 0 749 21 0 0 18 0 4 0 1116467354 222576640 45258 4294967295 134512640 135305190 3217184608 3036031940 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=217360 CPUtime=7.61
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 2186 0 0 0 738 23 0 0 19 0 4 0 1116467354 222576640 45258 4294967295 134512640 135305190 3217184608 3027643584 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=217360 CPUtime=7.47
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 2208 0 0 0 724 23 0 0 18 0 4 0 1116467354 222576640 45258 4294967295 134512640 135305190 3217184608 3019254704 134556789 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.12
Current children cumulated vsize (KiB) 219780

[startup+51.1065 s]
/proc/loadavg: 3.85 4.25 4.36 5/104 21921
/proc/meminfo: memFree=2769576/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=239376 CPUtime=133.84
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 50876 0 0 0 13278 106 0 0 25 0 4 0 1116467243 245121024 50809 4294967295 134512640 135305190 3217184608 3217182784 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21915/statm: 59844 50809 79 194 0 59648 0
[pid=21915/tid=21916] ppid=21911 vsize=239376 CPUtime=33.3
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 3077 0 0 0 3306 24 0 0 25 0 4 0 1116467354 245121024 50809 4294967295 134512640 135305190 3217184608 3036032192 134528224 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=239376 CPUtime=33.21
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 4066 0 0 0 3295 26 0 0 25 0 4 0 1116467354 245121024 50809 4294967295 134512640 135305190 3217184608 3027643264 134553136 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=239376 CPUtime=32.96
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 3623 0 0 0 3272 24 0 0 25 0 4 0 1116467354 245121024 50810 4294967295 134512640 135305190 3217184608 3019254976 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 150.39
Current children cumulated vsize (KiB) 241796

[startup+102.312 s]
/proc/loadavg: 3.98 4.22 4.35 6/104 22107
/proc/meminfo: memFree=2700776/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=308100 CPUtime=338.2
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 67960 0 0 0 33690 130 0 0 25 0 4 0 1116467243 315494400 67879 4294967295 134512640 135305190 3217184608 3217182784 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21915/statm: 77025 67879 79 194 0 76829 0
[pid=21915/tid=21916] ppid=21911 vsize=308100 CPUtime=84.31
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 4725 0 0 0 8404 27 0 0 25 0 4 0 1116467354 315494400 67879 4294967295 134512640 135305190 3217184608 3036032192 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=308100 CPUtime=84.4
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 13891 0 0 0 8408 32 0 0 25 0 4 0 1116467354 315494400 67879 4294967295 134512640 135305190 3217184608 3027643528 134839991 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=308100 CPUtime=83.95
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 6875 0 0 0 8363 32 0 0 25 0 4 0 1116467354 315494400 67879 4294967295 134512640 135305190 3217184608 3019254976 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 354.75
Current children cumulated vsize (KiB) 310520

[startup+162.306 s]
/proc/loadavg: 4.24 4.25 4.35 5/104 22300
/proc/meminfo: memFree=2650216/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=359316 CPUtime=577.64
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 80466 0 0 0 57607 157 0 0 25 0 4 0 1116467243 367939584 80385 4294967295 134512640 135305190 3217184608 3217182448 134551712 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21915/statm: 89829 80385 79 194 0 89633 0
[pid=21915/tid=21916] ppid=21911 vsize=359316 CPUtime=144.25
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 6026 0 0 0 14394 31 0 0 25 0 4 0 1116467354 367939584 80385 4294967295 134512640 135305190 3217184608 3036032192 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=359316 CPUtime=144.33
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 19347 0 0 0 14394 39 0 0 25 0 4 0 1116467354 367939584 80385 4294967295 134512640 135305190 3217184608 3027643584 134528548 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=359316 CPUtime=143.76
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 10196 0 0 0 14336 40 0 0 25 0 4 0 1116467354 367939584 80385 4294967295 134512640 135305190 3217184608 3019254976 134528837 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 594.19
Current children cumulated vsize (KiB) 361736

[startup+222.32 s]
/proc/loadavg: 4.22 4.25 4.34 5/104 22487
/proc/meminfo: memFree=2590444/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=418412 CPUtime=817.23
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 95492 0 0 0 81553 170 0 0 25 0 4 0 1116467243 428453888 95411 4294967295 134512640 135305190 3217184608 3217182784 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21915/statm: 104603 95411 79 194 0 104407 0
[pid=21915/tid=21916] ppid=21911 vsize=418412 CPUtime=204.15

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

/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 24381 0 0 0 50197 61 0 0 25 0 4 0 1116467354 680058880 156563 4294967295 134512640 135305190 3217184608 3019254976 134528571 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2030.66
Current children cumulated vsize (KiB) 666540

[startup+582.316 s]
/proc/loadavg: 4.51 4.49 4.42 5/104 23620
/proc/meminfo: memFree=2295112/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=714472 CPUtime=2253.7
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 169297 0 0 0 225054 316 0 0 25 0 4 0 1116467243 731619328 169216 4294967295 134512640 135305190 3217184608 3217182784 134528480 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21915/statm: 178618 169216 79 194 0 178422 0
[pid=21915/tid=21916] ppid=21911 vsize=714472 CPUtime=563
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 16468 0 0 0 56216 84 0 0 25 0 4 0 1116467354 731619328 169216 4294967295 134512640 135305190 3217184608 3036032192 134528268 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=714472 CPUtime=563.62
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 66161 0 0 0 56273 89 0 0 25 0 4 0 1116467354 731619328 169216 4294967295 134512640 135305190 3217184608 3027643584 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=714472 CPUtime=562.53
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 27253 0 0 0 56183 70 0 0 25 0 4 0 1116467354 731619328 169216 4294967295 134512640 135305190 3217184608 3019254976 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2270.25
Current children cumulated vsize (KiB) 716892

[startup+642.31 s]
/proc/loadavg: 4.36 4.46 4.41 5/104 23809
/proc/meminfo: memFree=2248692/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=762528 CPUtime=2493.24
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 180699 0 0 0 248985 339 0 0 25 0 4 0 1116467243 780828672 180618 4294967295 134512640 135305190 3217184608 3217182784 134528503 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21915/statm: 190632 180618 79 194 0 190436 0
[pid=21915/tid=21916] ppid=21911 vsize=762528 CPUtime=622.76
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 18547 0 0 0 62190 86 0 0 25 0 4 0 1116467354 780828672 180618 4294967295 134512640 135305190 3217184608 3036032192 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=762528 CPUtime=623.55
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 70428 0 0 0 62258 97 0 0 25 0 4 0 1116467354 780828672 180618 4294967295 134512640 135305190 3217184608 3027643584 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=762528 CPUtime=622.52
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 29791 0 0 0 62179 73 0 0 25 0 4 0 1116467354 780828672 180618 4294967295 134512640 135305190 3217184608 3019254976 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2509.79
Current children cumulated vsize (KiB) 764948

[startup+702.304 s]
/proc/loadavg: 4.59 4.52 4.43 6/104 23995
/proc/meminfo: memFree=2192792/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=818312 CPUtime=2732.72
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 194818 0 0 0 272900 372 0 0 25 0 4 0 1116467243 837951488 194737 4294967295 134512640 135305190 3217184608 3217182784 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21915/statm: 204578 194737 79 194 0 204382 0
[pid=21915/tid=21916] ppid=21911 vsize=818312 CPUtime=682.63
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 20356 0 0 0 68170 93 0 0 25 0 4 0 1116467354 837951488 194737 4294967295 134512640 135305190 3217184608 3036032192 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=818312 CPUtime=683.41
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 76467 0 0 0 68230 111 0 0 25 0 4 0 1116467354 837951488 194737 4294967295 134512640 135305190 3217184608 3027643584 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=818312 CPUtime=682.33
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 33079 0 0 0 68152 81 0 0 25 0 4 0 1116467354 837951488 194737 4294967295 134512640 135305190 3217184608 3019254976 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2749.27
Current children cumulated vsize (KiB) 820732

[startup+762.319 s]
/proc/loadavg: 4.34 4.47 4.42 5/104 24184
/proc/meminfo: memFree=2167860/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=842280 CPUtime=2972.14
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 200838 0 0 0 296824 390 0 0 25 0 4 0 1116467243 862494720 200742 4294967295 134512640 135305190 3217184608 3217182784 134528189 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21915/statm: 210570 200742 79 194 0 210374 0
[pid=21915/tid=21916] ppid=21911 vsize=842280 CPUtime=742.48
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 21167 0 0 0 74151 97 0 0 25 0 4 0 1116467354 862494720 200742 4294967295 134512640 135305190 3217184608 3036032192 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=842280 CPUtime=743.38
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 79243 0 0 0 74222 116 0 0 25 0 4 0 1116467354 862494720 200742 4294967295 134512640 135305190 3217184608 3027643584 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=842280 CPUtime=742.03
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 34308 0 0 0 74119 84 0 0 25 0 4 0 1116467354 862494720 200742 4294967295 134512640 135305190 3217184608 3019254976 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2988.69
Current children cumulated vsize (KiB) 844700

[startup+822.313 s]
/proc/loadavg: 4.34 4.45 4.42 5/104 24371
/proc/meminfo: memFree=2115780/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=895600 CPUtime=3211.44
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 214188 0 0 0 320730 414 0 0 25 0 4 0 1116467243 917094400 214092 4294967295 134512640 135305190 3217184608 3217182784 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21915/statm: 223900 214092 79 194 0 223704 0
[pid=21915/tid=21916] ppid=21911 vsize=895600 CPUtime=802.22
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 22223 0 0 0 80122 100 0 0 25 0 4 0 1116467354 917094400 214092 4294967295 134512640 135305190 3217184608 3036032192 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=895600 CPUtime=803.31
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 89036 0 0 0 80209 122 0 0 25 0 4 0 1116467354 917094400 214092 4294967295 134512640 135305190 3217184608 3027643584 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=895600 CPUtime=801.87
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 36115 0 0 0 80098 89 0 0 25 0 4 0 1116467354 917094400 214092 4294967295 134512640 135305190 3217184608 3019254976 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3227.99
Current children cumulated vsize (KiB) 898020

[startup+882.307 s]
/proc/loadavg: 4.34 4.44 4.42 5/104 24563
/proc/meminfo: memFree=2069652/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=940636 CPUtime=3450.7
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 225524 0 0 0 344642 428 0 0 25 0 4 0 1116467243 963211264 225428 4294967295 134512640 135305190 3217184608 3217182784 134528545 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21915/statm: 235159 225428 79 194 0 234963 0
[pid=21915/tid=21916] ppid=21911 vsize=940636 CPUtime=862.1
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 23399 0 0 0 86103 107 0 0 25 0 4 0 1116467354 963211264 225428 4294967295 134512640 135305190 3217184608 3036032192 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=940636 CPUtime=863.27
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 95981 0 0 0 86202 125 0 0 25 0 4 0 1116467354 963211264 225428 4294967295 134512640 135305190 3217184608 3027643200 134551820 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=940636 CPUtime=861.68
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 37926 0 0 0 86078 90 0 0 25 0 4 0 1116467354 963211264 225428 4294967295 134512640 135305190 3217184608 3019254976 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3467.25
Current children cumulated vsize (KiB) 943056

[startup+942.312 s]
/proc/loadavg: 4.25 4.40 4.40 5/104 24752
/proc/meminfo: memFree=1990436/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=1021636 CPUtime=3690.14
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 245578 0 0 0 368553 461 0 0 25 0 4 0 1116467243 1046155264 245482 4294967295 134512640 135305190 3217184608 3217182784 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21915/statm: 255409 245482 79 194 0 255213 0
[pid=21915/tid=21916] ppid=21911 vsize=1021636 CPUtime=922.1
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 25880 0 0 0 92095 115 0 0 25 0 4 0 1116467354 1046155264 245482 4294967295 134512640 135305190 3217184608 3036032192 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=1021636 CPUtime=923.21
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 107426 0 0 0 92182 139 0 0 25 0 4 0 1116467354 1046155264 245482 4294967295 134512640 135305190 3217184608 3027643200 134551729 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=1021636 CPUtime=921.56
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 40816 0 0 0 92064 92 0 0 25 0 4 0 1116467354 1046155264 245482 4294967295 134512640 135305190 3217184608 3019254976 134528347 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3706.69
Current children cumulated vsize (KiB) 1024056



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.27 4.39 4.40 7/104 24938
/proc/meminfo: memFree=1905724/3368532 swapFree=1953580/1959888
[pid=21911] ppid=21909 vsize=2420 CPUtime=16.55
/proc/21911/stat : 21911 (manysat.sh) S 21909 21911 19648 0 -1 4194304 371 50531 0 0 1 0 1612 42 18 0 1 0 1116465587 2478080 275 4294967295 134512640 135169312 3216623328 3216619544 3085414126 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21911/statm: 605 275 231 161 0 44 0
[pid=21915] ppid=21911 vsize=1105344 CPUtime=3920.38
/proc/21915/stat : 21915 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202496 266481 0 0 0 391553 485 0 0 25 0 4 0 1116467243 1131872256 266385 4294967295 134512640 135305190 3217184608 3217182784 134528545 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21915/statm: 276336 266385 79 194 0 276140 0
[pid=21915/tid=21916] ppid=21911 vsize=1105344 CPUtime=979.53
/proc/21915/task/21916/stat : 21916 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 28402 0 0 0 97833 120 0 0 25 0 4 0 1116467354 1131872256 266385 4294967295 134512640 135305190 3217184608 3036032192 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21915/tid=21917] ppid=21911 vsize=1105344 CPUtime=980.88
/proc/21915/task/21917/stat : 21917 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 118309 0 0 0 97942 146 0 0 25 0 4 0 1116467354 1131872256 266385 4294967295 134512640 135305190 3217184608 3027643584 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21915/tid=21918] ppid=21911 vsize=1105344 CPUtime=979.16
/proc/21915/task/21918/stat : 21918 (manysat1.1_stat) R 21911 21911 19648 0 -1 4202560 44925 0 0 0 97814 102 0 0 25 0 4 0 1116467354 1131872256 266385 4294967295 134512640 135305190 3217184608 3019254976 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3936.93
Current children cumulated vsize (KiB) 1107764

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 21911 and gives
#  childrusage.ru_utime.tv_sec=16
#  childrusage.ru_utime.tv_usec=130000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=420000
# CPU time returned by wait4() is 16.55
# while last known CPU time is 3936.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1000.04
CPU time (s): 3936.93
CPU user time (s): 3931.66
CPU system time (s): 5.27
CPU usage (%): 393.679
Max. virtual memory (cumulated for all children) (KiB): 1107764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.13
system time used= 0.42
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 32

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 15:40:10
IDJOB=1779019
IDBENCH=70794
IDSOLVER=623
FILE ID=/1779019-1243518010
PBS_JOBID=
Free space on /tmp= 15865 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779019-1243518010/watcher-1779019-1243518010 -o /tmp/evaluation-result-1779019-1243518010/solver-1779019-1243518010 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779019-1243518010.cnf aimd 1

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

MD5SUM BENCH= 3022ff2a7ae31b29e9b784d8e848042f
RANDOM SEED= 1672830185

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

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

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

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3053508 kB
Buffers:         25796 kB
Cached:         211072 kB
SwapCached:       2424 kB
Active:         107652 kB
Inactive:       139968 kB
HighTotal:     2489216 kB
HighFree:      2265056 kB
LowTotal:       879316 kB
LowFree:        788452 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           21856 kB
Writeback:           0 kB
AnonPages:        9868 kB
Mapped:           4968 kB
Slab:            58264 kB
SReclaimable:    49412 kB
SUnreclaim:       8852 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93916 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15786 MiB
End job on  at 2009-05-28 15:56:54