Trace number 1779139

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) 3966.95 1000.06

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor128.cnf
MD5SUM065c126f0d55807310a398728b44423f
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 variables200440
Number of clauses599015
Sum of the clauses size1397699
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399342
Number of clauses of size 3199671
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.41/0.46	c ==============================================================================
0.41/0.46	c |           |     ORIGINAL     |              LEARNT              |          |
0.41/0.46	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.41/0.46	c ==============================================================================
0.41/0.46	c |         0 |  599013  1397697 |  179703       0        0     nan |  0.000 % |
6.30/6.39	c |         0 |  340394  1129456 |      --       0       --      -- |     --   | -258577/-268140
6.30/6.39	c ==============================================================================
6.30/6.39	c Result  :   #vars: 72795   #clauses: 340394   #literals: 1129456
6.30/6.39	c CPU time:   6.13 s
6.30/6.39	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-1779139-1243520150/watcher-1779139-1243520150 -o /tmp/evaluation-result-1779139-1243520150/solver-1779139-1243520150 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779139-1243520150.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.12 4.33 4.31 3/98 4505
/proc/meminfo: memFree=2930116/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2416 CPUtime=0
/proc/4505/stat : 4505 (manysat.sh) R 4503 4505 28360 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 933591783 2473984 274 4294967295 134512640 135169312 3220849392 3220847868 3085408116 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/4505/statm: 604 274 231 161 0 43 0
[pid=4506] ppid=4505 vsize=1196 CPUtime=0
/proc/4506/stat : 4506 (SatElite) R 4505 4505 28360 0 -1 4202496 234 0 0 0 0 0 0 0 18 0 1 0 933591783 1224704 171 4294967295 134512640 135034092 3220664960 3220660920 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4506/statm: 299 171 49 128 0 169 0

[startup+0.108313 s]
/proc/loadavg: 4.12 4.33 4.31 3/98 4505
/proc/meminfo: memFree=2930116/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2416 CPUtime=0
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933591783 2473984 274 4294967295 134512640 135169312 3220849392 3220847928 3085405934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4505/statm: 604 274 231 161 0 43 0
[pid=4506] ppid=4505 vsize=19760 CPUtime=0.11
/proc/4506/stat : 4506 (SatElite) R 4505 4505 28360 0 -1 4202496 4592 0 0 0 9 2 0 0 20 0 1 0 933591783 20234240 4529 4294967295 134512640 135034092 3220664960 3220660920 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4506/statm: 4940 4530 49 128 0 4810 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 22176

[startup+0.208305 s]
/proc/loadavg: 4.12 4.33 4.31 3/98 4505
/proc/meminfo: memFree=2930116/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2416 CPUtime=0
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933591783 2473984 274 4294967295 134512640 135169312 3220849392 3220847928 3085405934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4505/statm: 604 274 231 161 0 43 0
[pid=4506] ppid=4505 vsize=37896 CPUtime=0.21
/proc/4506/stat : 4506 (SatElite) R 4505 4505 28360 0 -1 4202496 8636 0 0 0 15 6 0 0 20 0 1 0 933591783 38805504 8573 4294967295 134512640 135034092 3220664960 3220661304 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4506/statm: 9474 8574 49 128 0 9344 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 40312

[startup+0.308296 s]
/proc/loadavg: 4.12 4.33 4.31 3/98 4505
/proc/meminfo: memFree=2930116/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2416 CPUtime=0
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933591783 2473984 274 4294967295 134512640 135169312 3220849392 3220847928 3085405934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4505/statm: 604 274 231 161 0 43 0
[pid=4506] ppid=4505 vsize=60748 CPUtime=0.31
/proc/4506/stat : 4506 (SatElite) R 4505 4505 28360 0 -1 4202496 12580 0 0 0 23 8 0 0 20 0 1 0 933591783 62205952 12517 4294967295 134512640 135034092 3220664960 3220660920 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4506/statm: 15187 12521 49 128 0 15057 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 63164

[startup+0.708261 s]
/proc/loadavg: 4.12 4.33 4.31 3/98 4505
/proc/meminfo: memFree=2930116/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2416 CPUtime=0
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933591783 2473984 274 4294967295 134512640 135169312 3220849392 3220847928 3085405934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4505/statm: 604 274 231 161 0 43 0
[pid=4506] ppid=4505 vsize=90656 CPUtime=0.71
/proc/4506/stat : 4506 (SatElite) R 4505 4505 28360 0 -1 4202496 21775 0 0 0 58 13 0 0 21 0 1 0 933591783 92831744 20052 4294967295 134512640 135034092 3220664960 3220660956 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4506/statm: 22664 20052 67 128 0 22534 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 93072

[startup+1.5082 s]
/proc/loadavg: 4.12 4.33 4.31 2/100 4507
/proc/meminfo: memFree=2844572/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2416 CPUtime=0
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933591783 2473984 274 4294967295 134512640 135169312 3220849392 3220847928 3085405934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4505/statm: 604 274 231 161 0 43 0
[pid=4506] ppid=4505 vsize=93784 CPUtime=1.5
/proc/4506/stat : 4506 (SatElite) R 4505 4505 28360 0 -1 4202496 22503 0 0 0 135 15 0 0 24 0 1 0 933591783 96034816 20780 4294967295 134512640 135034092 3220664960 3220660956 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4506/statm: 23446 20780 67 128 0 23316 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 96200

[startup+3.10807 s]
/proc/loadavg: 4.12 4.33 4.31 2/100 4507
/proc/meminfo: memFree=2834248/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2416 CPUtime=0
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933591783 2473984 274 4294967295 134512640 135169312 3220849392 3220847928 3085405934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4505/statm: 604 274 231 161 0 43 0
[pid=4506] ppid=4505 vsize=98608 CPUtime=3.1
/proc/4506/stat : 4506 (SatElite) R 4505 4505 28360 0 -1 4202496 23606 0 0 0 290 20 0 0 25 0 1 0 933591783 100974592 21883 4294967295 134512640 135034092 3220664960 3220660956 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4506/statm: 24652 21884 67 128 0 24522 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 101024

[startup+6.30781 s]
/proc/loadavg: 3.87 4.27 4.29 2/100 4507
/proc/meminfo: memFree=2814216/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2416 CPUtime=0
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933591783 2473984 274 4294967295 134512640 135169312 3220849392 3220847928 3085405934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4505/statm: 604 274 231 161 0 43 0
[pid=4506] ppid=4505 vsize=110048 CPUtime=6.3
/proc/4506/stat : 4506 (SatElite) R 4505 4505 28360 0 -1 4202496 26835 0 0 0 605 25 0 0 25 0 1 0 933591783 112689152 24029 4294967295 134512640 135034092 3220664960 3220661504 134582444 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4506/statm: 27512 24029 67 128 0 27382 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 112464

[startup+12.7073 s]
/proc/loadavg: 3.96 4.28 4.29 8/103 4511
/proc/meminfo: memFree=2778824/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=154756 CPUtime=20.66
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 30155 0 0 0 2014 52 0 0 16 0 4 0 933592468 158470144 30061 4294967295 134512640 135305190 3220652720 3220650896 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/4508/statm: 38689 30061 79 194 0 38493 0
[pid=4508/tid=4509] ppid=4505 vsize=154756 CPUtime=5.07
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 1321 0 0 0 500 7 0 0 16 0 4 0 933592539 158470144 30061 4294967295 134512640 135305190 3220652720 3052104896 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=154756 CPUtime=4.94
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 1738 0 0 0 480 14 0 0 16 0 4 0 933592539 158470144 30061 4294967295 134512640 135305190 3220652720 3043716288 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=154756 CPUtime=4.97
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 1520 0 0 0 485 12 0 0 16 0 4 0 933592539 158470144 30061 4294967295 134512640 135305190 3220652720 3035327428 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 27.5
Current children cumulated vsize (KiB) 157176

[startup+25.5162 s]
/proc/loadavg: 4.32 4.35 4.31 5/103 4695
/proc/meminfo: memFree=2761432/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=171152 CPUtime=71.65
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 34170 0 0 0 7109 56 0 0 25 0 4 0 933592468 175259648 34076 4294967295 134512640 135305190 3220652720 3220650896 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/4508/statm: 42788 34076 79 194 0 42592 0
[pid=4508/tid=4509] ppid=4505 vsize=171152 CPUtime=17.84
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 2207 0 0 0 1775 9 0 0 25 0 4 0 933592539 175259648 34076 4294967295 134512640 135305190 3220652720 3052104896 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=171152 CPUtime=17.7
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 3220 0 0 0 1755 15 0 0 25 0 4 0 933592539 175259648 34076 4294967295 134512640 135305190 3220652720 3043715904 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=171152 CPUtime=17.75
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 2288 0 0 0 1762 13 0 0 25 0 4 0 933592539 175259648 34076 4294967295 134512640 135305190 3220652720 3035327344 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 78.49
Current children cumulated vsize (KiB) 173572

[startup+51.1142 s]
/proc/loadavg: 4.21 4.32 4.31 6/103 4697
/proc/meminfo: memFree=2727844/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=204776 CPUtime=173.83
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 42739 0 0 0 17310 73 0 0 25 0 4 0 933592468 209690624 42645 4294967295 134512640 135305190 3220652720 3220650560 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/4508/statm: 51194 42645 79 194 0 50998 0
[pid=4508/tid=4509] ppid=4505 vsize=204776 CPUtime=43.25
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 3469 0 0 0 4312 13 0 0 25 0 4 0 933592539 209690624 42645 4294967295 134512640 135305190 3220652720 3052104896 134528256 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=204776 CPUtime=43.28
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 7159 0 0 0 4309 19 0 0 25 0 4 0 933592539 209690624 42645 4294967295 134512640 135305190 3220652720 3043715904 134551681 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=204776 CPUtime=43.35
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 3771 0 0 0 4314 21 0 0 25 0 4 0 933592539 209690624 42645 4294967295 134512640 135305190 3220652720 3035327344 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 180.67
Current children cumulated vsize (KiB) 207196

[startup+102.31 s]
/proc/loadavg: 4.20 4.30 4.30 5/103 4887
/proc/meminfo: memFree=2676608/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=255200 CPUtime=378.16
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 55327 0 0 0 37721 95 0 0 25 0 4 0 933592468 261324800 55233 4294967295 134512640 135305190 3220652720 3220650560 134551651 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/4508/statm: 63800 55233 79 194 0 63604 0
[pid=4508/tid=4509] ppid=4505 vsize=255200 CPUtime=94.24
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 5502 0 0 0 9408 16 0 0 25 0 4 0 933592539 261324800 55233 4294967295 134512640 135305190 3220652720 3052104840 134839991 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=255200 CPUtime=94.44
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 12718 0 0 0 9419 25 0 0 25 0 4 0 933592539 261324800 55233 4294967295 134512640 135305190 3220652720 3043715904 134551978 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=255200 CPUtime=94.44
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 5958 0 0 0 9418 26 0 0 25 0 4 0 933592539 261324800 55233 4294967295 134512640 135305190 3220652720 3035327604 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 385
Current children cumulated vsize (KiB) 257620

[startup+162.305 s]
/proc/loadavg: 4.14 4.27 4.28 5/103 5079
/proc/meminfo: memFree=2621484/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=311368 CPUtime=617.69
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 69136 0 0 0 61661 108 0 0 25 0 4 0 933592468 318840832 69042 4294967295 134512640 135305190 3220652720 3220650896 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/4508/statm: 77842 69042 79 194 0 77646 0
[pid=4508/tid=4509] ppid=4505 vsize=311368 CPUtime=154.04
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 6916 0 0 0 15385 19 0 0 25 0 4 0 933592539 318840832 69042 4294967295 134512640 135305190 3220652720 3052104896 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=311368 CPUtime=154.3
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 20331 0 0 0 15401 29 0 0 25 0 4 0 933592539 318840832 69042 4294967295 134512640 135305190 3220652720 3043716288 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=311368 CPUtime=154.36
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 8132 0 0 0 15404 32 0 0 25 0 4 0 933592539 318840832 69042 4294967295 134512640 135305190 3220652720 3035327344 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 624.53
Current children cumulated vsize (KiB) 313788

[startup+222.31 s]
/proc/loadavg: 4.05 4.22 4.26 5/103 5268
/proc/meminfo: memFree=2573444/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84

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

/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 25662 0 0 0 57231 83 0 0 25 0 4 0 933592539 650518528 149804 4294967295 134512640 135305190 3220652720 3035327680 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2300.84
Current children cumulated vsize (KiB) 637692

[startup+642.316 s]
/proc/loadavg: 4.47 4.32 4.28 5/103 6588
/proc/meminfo: memFree=2283320/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=652696 CPUtime=2533.52
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 154027 0 0 0 253040 312 0 0 25 0 4 0 933592468 668360704 153933 4294967295 134512640 135305190 3220652720 3220650896 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4508/statm: 163174 153933 79 194 0 162978 0
[pid=4508/tid=4509] ppid=4505 vsize=652696 CPUtime=633.01
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 21051 0 0 0 63244 57 0 0 25 0 4 0 933592539 668360704 153933 4294967295 134512640 135305190 3220652720 3052104624 134557571 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=652696 CPUtime=633.5
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 51900 0 0 0 63247 103 0 0 25 0 4 0 933592539 668360704 153933 4294967295 134512640 135305190 3220652720 3043716288 134528224 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=652696 CPUtime=632.96
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 26355 0 0 0 63212 84 0 0 25 0 4 0 933592539 668360704 153933 4294967295 134512640 135305190 3220652720 3035327680 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2540.36
Current children cumulated vsize (KiB) 655116

[startup+702.311 s]
/proc/loadavg: 4.50 4.36 4.30 5/103 6775
/proc/meminfo: memFree=2216452/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=716392 CPUtime=2772.47
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 169920 0 0 0 276903 344 0 0 25 0 4 0 933592468 733585408 169826 4294967295 134512640 135305190 3220652720 3220650896 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4508/statm: 179098 169826 79 194 0 178902 0
[pid=4508/tid=4509] ppid=4505 vsize=716392 CPUtime=692.71
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 24108 0 0 0 69205 66 0 0 25 0 4 0 933592539 733585408 169826 4294967295 134512640 135305190 3220652720 3052104896 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=716392 CPUtime=693.21
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 58355 0 0 0 69208 113 0 0 25 0 4 0 933592539 733585408 169826 4294967295 134512640 135305190 3220652720 3043715904 134551697 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=716392 CPUtime=692.82
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 29259 0 0 0 69192 90 0 0 25 0 4 0 933592539 733585408 169826 4294967295 134512640 135305190 3220652720 3035327680 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2779.31
Current children cumulated vsize (KiB) 718812

[startup+762.316 s]
/proc/loadavg: 4.45 4.37 4.30 6/103 6963
/proc/meminfo: memFree=2214832/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=717820 CPUtime=3011.78
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 170234 0 0 0 300824 354 0 0 25 0 4 0 933592468 735047680 170140 4294967295 134512640 135305190 3220652720 3220650896 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4508/statm: 179455 170140 79 194 0 179259 0
[pid=4508/tid=4509] ppid=4505 vsize=717820 CPUtime=752.37
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 24175 0 0 0 75169 68 0 0 25 0 4 0 933592539 735047680 170140 4294967295 134512640 135305190 3220652720 3052104896 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=717820 CPUtime=753.17
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 58516 0 0 0 75201 116 0 0 25 0 4 0 933592539 735047680 170140 4294967295 134512640 135305190 3220652720 3043716288 134528319 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=717820 CPUtime=752.71
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 29287 0 0 0 75180 91 0 0 25 0 4 0 933592539 735047680 170140 4294967295 134512640 135305190 3220652720 3035327680 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3018.62
Current children cumulated vsize (KiB) 720240

[startup+822.311 s]
/proc/loadavg: 4.58 4.41 4.31 6/103 7152
/proc/meminfo: memFree=2205460/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=728464 CPUtime=3251.27
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 172981 0 0 0 324750 377 0 0 25 0 4 0 933592468 745947136 172887 4294967295 134512640 135305190 3220652720 3220650896 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4508/statm: 182116 172887 79 194 0 181920 0
[pid=4508/tid=4509] ppid=4505 vsize=728464 CPUtime=811.94
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 24634 0 0 0 81114 80 0 0 25 0 4 0 933592539 745947136 172887 4294967295 134512640 135305190 3220652720 3052104560 134551712 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=728464 CPUtime=813.17
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 59608 0 0 0 81197 120 0 0 25 0 4 0 933592539 745947136 172887 4294967295 134512640 135305190 3220652720 3043716288 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=728464 CPUtime=812.65
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 29712 0 0 0 81172 93 0 0 25 0 4 0 933592539 745947136 172887 4294967295 134512640 135305190 3220652720 3035327344 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3258.11
Current children cumulated vsize (KiB) 730884

[startup+882.316 s]
/proc/loadavg: 4.55 4.42 4.32 5/103 7346
/proc/meminfo: memFree=2193216/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=739728 CPUtime=3490.47
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 175817 0 0 0 348654 393 0 0 25 0 4 0 933592468 757481472 175723 4294967295 134512640 135305190 3220652720 3220650896 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4508/statm: 184932 175723 79 194 0 184736 0
[pid=4508/tid=4509] ppid=4505 vsize=739728 CPUtime=871.35
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 25057 0 0 0 87049 86 0 0 25 0 4 0 933592539 757481472 175723 4294967295 134512640 135305190 3220652720 3052104896 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=739728 CPUtime=873.12
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 61084 0 0 0 87191 121 0 0 25 0 4 0 933592539 757481472 175723 4294967295 134512640 135305190 3220652720 3043715968 134555106 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=739728 CPUtime=872.61
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 30051 0 0 0 87163 98 0 0 25 0 4 0 933592539 757481472 175723 4294967295 134512640 135305190 3220652720 3035327680 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3497.31
Current children cumulated vsize (KiB) 742148

[startup+942.311 s]
/proc/loadavg: 4.51 4.43 4.33 6/103 7534
/proc/meminfo: memFree=2192372/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=740752 CPUtime=3729.92
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 176095 0 0 0 372588 404 0 0 25 0 4 0 933592468 758530048 176001 4294967295 134512640 135305190 3220652720 3220650560 134551651 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/4508/statm: 185188 176001 79 194 0 184992 0
[pid=4508/tid=4509] ppid=4505 vsize=740752 CPUtime=931.35
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 25098 0 0 0 93044 91 0 0 25 0 4 0 933592539 758530048 176001 4294967295 134512640 135305190 3220652720 3052104896 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=740752 CPUtime=932.84
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 61214 0 0 0 93163 121 0 0 25 0 4 0 933592539 758530048 176001 4294967295 134512640 135305190 3220652720 3043716288 134528559 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=740752 CPUtime=932.53
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 30089 0 0 0 93153 100 0 0 25 0 4 0 933592539 758530048 176001 4294967295 134512640 135305190 3220652720 3035327680 134528603 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3736.76
Current children cumulated vsize (KiB) 743172



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.29 4.38 4.32 5/103 7721
/proc/meminfo: memFree=2190000/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=742800 CPUtime=3960.11
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 176582 0 0 0 395591 420 0 0 25 0 4 0 933592468 760627200 176488 4294967295 134512640 135305190 3220652720 3220650896 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/4508/statm: 185700 176488 79 194 0 185504 0
[pid=4508/tid=4509] ppid=4505 vsize=742800 CPUtime=988.93
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 25202 0 0 0 98799 94 0 0 25 0 4 0 933592539 760627200 176488 4294967295 134512640 135305190 3220652720 3052104896 134528512 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=742800 CPUtime=990.32
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 61379 0 0 0 98907 125 0 0 25 0 4 0 933592539 760627200 176488 4294967295 134512640 135305190 3220652720 3043716288 134528341 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=742800 CPUtime=990.2
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 30220 0 0 0 98916 104 0 0 25 0 4 0 933592539 760627200 176488 4294967295 134512640 135305190 3220652720 3035327344 134551804 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3966.95
Current children cumulated vsize (KiB) 745220

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

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

[startup+1000.02 s]
/proc/loadavg: 4.29 4.38 4.32 5/103 7721
/proc/meminfo: memFree=2190000/3368532 swapFree=1959840/1959888
[pid=4505] ppid=4503 vsize=2420 CPUtime=6.84
/proc/4505/stat : 4505 (manysat.sh) S 4503 4505 28360 0 -1 4194304 369 27044 0 0 0 0 658 26 18 0 1 0 933591783 2478080 275 4294967295 134512640 135169312 3220849392 3220845608 3085405934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4505/statm: 605 275 231 161 0 44 0
[pid=4508] ppid=4505 vsize=742800 CPUtime=3960.11
/proc/4508/stat : 4508 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202496 176582 0 0 0 395591 420 0 0 25 0 4 0 933592468 760627200 176488 4294967295 134512640 135305190 3220652720 3220650896 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/4508/statm: 185700 176488 79 194 0 185504 0
[pid=4508/tid=4509] ppid=4505 vsize=742800 CPUtime=988.93
/proc/4508/task/4509/stat : 4509 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 25202 0 0 0 98799 94 0 0 25 0 4 0 933592539 760627200 176488 4294967295 134512640 135305190 3220652720 3052104896 134528512 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4508/tid=4510] ppid=4505 vsize=742800 CPUtime=990.32
/proc/4508/task/4510/stat : 4510 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 61379 0 0 0 98907 125 0 0 25 0 4 0 933592539 760627200 176488 4294967295 134512640 135305190 3220652720 3043716288 134528341 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4508/tid=4511] ppid=4505 vsize=742800 CPUtime=990.2
/proc/4508/task/4511/stat : 4511 (manysat1.1_stat) R 4505 4505 28360 0 -1 4202560 30220 0 0 0 98916 104 0 0 25 0 4 0 933592539 760627200 176488 4294967295 134512640 135305190 3220652720 3035327344 134551804 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3966.95
Current children cumulated vsize (KiB) 745220

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4505 and gives
#  childrusage.ru_utime.tv_sec=6
#  childrusage.ru_utime.tv_usec=580000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=260000
# CPU time returned by wait4() is 6.84
# while last known CPU time is 3966.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1000.06
CPU time (s): 3966.95
CPU user time (s): 3962.49
CPU system time (s): 4.46
CPU usage (%): 396.673
Max. virtual memory (cumulated for all children) (KiB): 745220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.58
system time used= 0.26
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27413
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= 226

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 16:15:50
IDJOB=1779139
IDBENCH=70815
IDSOLVER=623
FILE ID=tipi39/1779139-1243520150
PBS_JOBID=
Free space on /tmp= 5733 MiB

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

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

MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED= 91183124

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

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

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

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2930216 kB
Buffers:         50124 kB
Cached:         287464 kB
SwapCached:          0 kB
Active:         200112 kB
Inactive:       153696 kB
HighTotal:     2489216 kB
HighFree:      2187772 kB
LowTotal:       879316 kB
LowFree:        742444 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           12368 kB
Writeback:           0 kB
AnonPages:       16464 kB
Mapped:           6188 kB
Slab:            74280 kB
SReclaimable:    61708 kB
SUnreclaim:      12572 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    95164 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5701 MiB
End job on tipi39 at 2009-05-28 16:32:33