Trace number 1775992

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 2/2009-03-20 (4 threads)? (TO) 3952.66 1000.04

General information on the benchmark

Nameindustrial/palacios/hard/
safe-30-h29-unsat.cnf
MD5SUM7cb48ce6f0320bc88623afd3c5af4aae
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 variables129128
Number of clauses437794
Sum of the clauses size1056806
Maximum clause length61
Minimum clause length1
Number of clauses of size 130
Number of clauses of size 2310376
Number of clauses of size 3124560
Number of clauses of size 4189
Number of clauses of size 583
Number of clauses of size over 52556

Solver Data 

0.00/0.00	c Parsing...
0.31/0.34	c ==============================================================================
0.31/0.34	c |           |     ORIGINAL     |              LEARNT              |          |
0.31/0.34	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.31/0.34	c ==============================================================================
0.31/0.34	c |         0 |  437704  1056626 |  131311       0        0     nan |  0.000 % |
11.21/11.22	c |         0 |  164704  1115453 |      --       0       --      -- |     --   | -273000/58827
11.21/11.22	c ==============================================================================
11.21/11.22	c Result  :   #vars: 6952   #clauses: 164704   #literals: 1115453
11.21/11.22	c CPU time:   11.13 s
11.21/11.22	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-1775992-1243506330/watcher-1775992-1243506330 -o /tmp/evaluation-result-1775992-1243506330/solver-1775992-1243506330 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775992-1243506330.cnf aimd 2 

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.27 4.46 4.44 3/97 17048
/proc/meminfo: memFree=3032520/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2412 CPUtime=0
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104770268 2469888 273 4294967295 134512640 135169312 3217672160 3217670696 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 603 273 231 161 0 42 0
[pid=17049] ppid=17048 vsize=1248 CPUtime=0
/proc/17049/stat : 17049 (SatElite) R 17048 17048 21691 0 -1 4202496 259 0 0 0 0 0 0 0 18 0 1 0 1104770268 1277952 195 4294967295 134512640 135034092 3212999472 3212995432 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17049/statm: 312 197 51 128 0 182 0

[startup+0.098642 s]
/proc/loadavg: 4.27 4.46 4.44 3/97 17048
/proc/meminfo: memFree=3032520/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2412 CPUtime=0
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104770268 2469888 273 4294967295 134512640 135169312 3217672160 3217670696 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 603 273 231 161 0 42 0
[pid=17049] ppid=17048 vsize=17908 CPUtime=0.1
/proc/17049/stat : 17049 (SatElite) R 17048 17048 21691 0 -1 4202496 3879 0 0 0 10 0 0 0 18 0 1 0 1104770268 18337792 3815 4294967295 134512640 135034092 3212999472 3212995432 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17049/statm: 4477 3817 51 128 0 4347 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20320

[startup+0.108643 s]
/proc/loadavg: 4.27 4.46 4.44 3/97 17048
/proc/meminfo: memFree=3032520/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2412 CPUtime=0
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104770268 2469888 273 4294967295 134512640 135169312 3217672160 3217670696 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 603 273 231 161 0 42 0
[pid=17049] ppid=17048 vsize=19096 CPUtime=0.11
/proc/17049/stat : 17049 (SatElite) R 17048 17048 21691 0 -1 4202496 4260 0 0 0 10 1 0 0 18 0 1 0 1104770268 19554304 4196 4294967295 134512640 135034092 3212999472 3212995400 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17049/statm: 4774 4196 51 128 0 4644 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 21508

[startup+0.308627 s]
/proc/loadavg: 4.27 4.46 4.44 3/97 17048
/proc/meminfo: memFree=3032520/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2412 CPUtime=0
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104770268 2469888 273 4294967295 134512640 135169312 3217672160 3217670696 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 603 273 231 161 0 42 0
[pid=17049] ppid=17048 vsize=49360 CPUtime=0.31
/proc/17049/stat : 17049 (SatElite) R 17048 17048 21691 0 -1 4202496 12213 0 0 0 28 3 0 0 18 0 1 0 1104770268 50544640 12149 4294967295 134512640 135034092 3212999472 3212996712 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17049/statm: 12340 12150 51 128 0 12210 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 51772

[startup+0.708603 s]
/proc/loadavg: 4.27 4.46 4.44 3/97 17048
/proc/meminfo: memFree=3032520/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2412 CPUtime=0
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104770268 2469888 273 4294967295 134512640 135169312 3217672160 3217670696 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 603 273 231 161 0 42 0
[pid=17049] ppid=17048 vsize=58532 CPUtime=0.71
/proc/17049/stat : 17049 (SatElite) R 17048 17048 21691 0 -1 4202496 14392 0 0 0 67 4 0 0 18 0 1 0 1104770268 59936768 14008 4294967295 134512640 135034092 3212999472 3212995468 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17049/statm: 14633 14008 67 128 0 14503 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 60944

[startup+1.50853 s]
/proc/loadavg: 4.27 4.46 4.44 2/99 17050
/proc/meminfo: memFree=2970660/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2412 CPUtime=0
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104770268 2469888 273 4294967295 134512640 135169312 3217672160 3217670696 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 603 273 231 161 0 42 0
[pid=17049] ppid=17048 vsize=62072 CPUtime=1.51
/proc/17049/stat : 17049 (SatElite) R 17048 17048 21691 0 -1 4202496 15243 0 0 0 144 7 0 0 20 0 1 0 1104770268 63561728 14859 4294967295 134512640 135034092 3212999472 3212995468 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17049/statm: 15518 14859 67 128 0 15388 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 64484

[startup+3.10841 s]
/proc/loadavg: 4.00 4.40 4.42 2/99 17050
/proc/meminfo: memFree=2960124/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2412 CPUtime=0
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104770268 2469888 273 4294967295 134512640 135169312 3217672160 3217670696 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 603 273 231 161 0 42 0
[pid=17049] ppid=17048 vsize=67084 CPUtime=3.11
/proc/17049/stat : 17049 (SatElite) R 17048 17048 21691 0 -1 4202496 16441 0 0 0 303 8 0 0 25 0 1 0 1104770268 68694016 16057 4294967295 134512640 135034092 3212999472 3212995468 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17049/statm: 16771 16057 67 128 0 16641 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 69496

[startup+6.30816 s]
/proc/loadavg: 4.00 4.40 4.42 2/99 17050
/proc/meminfo: memFree=2942032/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2412 CPUtime=0
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104770268 2469888 273 4294967295 134512640 135169312 3217672160 3217670696 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 603 273 231 161 0 42 0
[pid=17049] ppid=17048 vsize=73280 CPUtime=6.31
/proc/17049/stat : 17049 (SatElite) R 17048 17048 21691 0 -1 4202496 18004 0 0 0 621 10 0 0 25 0 1 0 1104770268 75038720 17366 4294967295 134512640 135034092 3212999472 3212995664 134541189 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17049/statm: 18320 17366 67 128 0 18190 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 75692

[startup+12.7077 s]
/proc/loadavg: 3.76 4.34 4.40 2/99 17051
/proc/meminfo: memFree=2956304/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=101216 CPUtime=2.73
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 18313 0 0 0 243 30 0 0 16 0 4 0 1104771429 103645184 18244 4294967295 134512640 135305190 3215291792 3215289968 134528277 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17051/statm: 25304 18244 79 194 0 25108 0
Current children cumulated CPU time (s) 14.34
Current children cumulated vsize (KiB) 103632

[startup+25.5063 s]
/proc/loadavg: 3.76 4.31 4.39 5/102 17056
/proc/meminfo: memFree=2902144/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=130924 CPUtime=53.48
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 25835 0 0 0 5304 44 0 0 16 0 4 0 1104771429 134066176 25766 4294967295 134512640 135305190 3215291792 3215289684 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17051/statm: 32731 25766 79 194 0 32535 0
[pid=17051/tid=17052] ppid=17048 vsize=130924 CPUtime=13.16
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 2978 0 0 0 1299 17 0 0 20 0 4 0 1104771475 134066176 25766 4294967295 134512640 135305190 3215291792 3081755568 134557484 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=130924 CPUtime=13.31
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 3774 0 0 0 1321 10 0 0 25 0 4 0 1104771475 134066176 25766 4294967295 134512640 135305190 3215291792 3073367232 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=130924 CPUtime=13.24
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 3447 0 0 0 1317 7 0 0 16 0 4 0 1104771475 134066176 25766 4294967295 134512640 135305190 3215291792 3064978288 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 65.09
Current children cumulated vsize (KiB) 133340

[startup+51.1143 s]
/proc/loadavg: 3.97 4.31 4.38 6/102 17247
/proc/meminfo: memFree=2870196/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=163288 CPUtime=155.53
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 33745 0 0 0 15496 57 0 0 25 0 4 0 1104771429 167206912 33676 4294967295 134512640 135305190 3215291792 3215289968 134528576 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17051/statm: 40822 33676 79 194 0 40626 0
[pid=17051/tid=17052] ppid=17048 vsize=163288 CPUtime=38.71
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 4315 0 0 0 3853 18 0 0 25 0 4 0 1104771475 167206912 33676 4294967295 134512640 135305190 3215291792 3081755840 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=163288 CPUtime=38.86
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 6959 0 0 0 3872 14 0 0 16 0 4 0 1104771475 167206912 33676 4294967295 134512640 135305190 3215291792 3073367232 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=163288 CPUtime=38.76
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 5069 0 0 0 3862 14 0 0 24 0 4 0 1104771475 167206912 33676 4294967295 134512640 135305190 3215291792 3064978624 134528520 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 167.14
Current children cumulated vsize (KiB) 165704

[startup+102.32 s]
/proc/loadavg: 4.29 4.35 4.39 5/102 17249
/proc/meminfo: memFree=2835420/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=197732 CPUtime=359.96
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 42367 0 0 0 35917 79 0 0 25 0 4 0 1104771429 202477568 42298 4294967295 134512640 135305190 3215291792 3215289968 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17051/statm: 49433 42298 79 194 0 49237 0
[pid=17051/tid=17052] ppid=17048 vsize=197732 CPUtime=89.82
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 5539 0 0 0 8963 19 0 0 25 0 4 0 1104771475 202477568 42298 4294967295 134512640 135305190 3215291792 3081755840 134530682 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=197732 CPUtime=90.01
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 11396 0 0 0 8981 20 0 0 25 0 4 0 1104771475 202477568 42298 4294967295 134512640 135305190 3215291792 3073367232 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=197732 CPUtime=89.97
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 6571 0 0 0 8978 19 0 0 25 0 4 0 1104771475 202477568 42298 4294967295 134512640 135305190 3215291792 3064978624 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 371.57
Current children cumulated vsize (KiB) 200148

[startup+162.316 s]
/proc/loadavg: 4.24 4.32 4.37 6/102 17436
/proc/meminfo: memFree=2789560/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=246060 CPUtime=599.17
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 53884 0 0 0 59805 112 0 0 25 0 4 0 1104771429 251965440 53815 4294967295 134512640 135305190 3215291792 3215289760 134547909 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17051/statm: 61515 53815 79 194 0 61319 0
[pid=17051/tid=17052] ppid=17048 vsize=246060 CPUtime=149.69
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 7307 0 0 0 14945 24 0 0 25 0 4 0 1104771475 251965440 53815 4294967295 134512640 135305190 3215291792 3081755840 134528406 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=246060 CPUtime=149.97
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 16168 0 0 0 14968 29 0 0 25 0 4 0 1104771475 251965440 53815 4294967295 134512640 135305190 3215291792 3073367232 134528520 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=246060 CPUtime=149.6
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 8765 0 0 0 14932 28 0 0 25 0 4 0 1104771475 251965440 53815 4294967295 134512640 135305190 3215291792 3064978624 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 610.78
Current children cumulated vsize (KiB) 248476

[startup+222.311 s]
/proc/loadavg: 4.29 4.32 4.36 5/102 17625
/proc/meminfo: memFree=2750736/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=284808 CPUtime=838.55
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 63557 0 0 0 83711 144 0 0 25 0 4 0 1104771429 291643392 63488 4294967295 134512640 135305190 3215291792 3215289720 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17051/statm: 71202 63488 79 194 0 71006 0
[pid=17051/tid=17052] ppid=17048 vsize=284808 CPUtime=209.36

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

/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 16324 0 0 0 50825 75 0 0 25 0 4 0 1104771475 439156736 97922 4294967295 134512640 135305190 3215291792 3064978624 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2046.84
Current children cumulated vsize (KiB) 431280

[startup+582.313 s]
/proc/loadavg: 4.30 4.34 4.35 5/102 18759
/proc/meminfo: memFree=2601904/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=440380 CPUtime=2274.42
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 100699 0 0 0 227098 344 0 0 25 0 4 0 1104771429 450949120 100630 4294967295 134512640 135305190 3215291792 3215289968 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/17051/statm: 110095 100630 79 194 0 109899 0
[pid=17051/tid=17052] ppid=17048 vsize=440380 CPUtime=568.33
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 16255 0 0 0 56748 85 0 0 25 0 4 0 1104771475 450949120 100630 4294967295 134512640 135305190 3215291792 3081755840 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=440380 CPUtime=568.75
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 35890 0 0 0 56775 100 0 0 25 0 4 0 1104771475 450949120 100630 4294967295 134512640 135305190 3215291792 3073367232 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=440380 CPUtime=568.95
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 16785 0 0 0 56815 80 0 0 25 0 4 0 1104771475 450949120 100630 4294967295 134512640 135305190 3215291792 3064978624 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2286.03
Current children cumulated vsize (KiB) 442796

[startup+642.308 s]
/proc/loadavg: 4.24 4.31 4.34 6/102 18946
/proc/meminfo: memFree=2577632/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=465208 CPUtime=2513.69
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 106774 0 0 0 251002 367 0 0 25 0 4 0 1104771429 476372992 106705 4294967295 134512640 135305190 3215291792 3215289968 134528252 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/17051/statm: 116302 106705 79 194 0 116106 0
[pid=17051/tid=17052] ppid=17048 vsize=465208 CPUtime=628.15
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 16723 0 0 0 62724 91 0 0 25 0 4 0 1104771475 476372992 106705 4294967295 134512640 135305190 3215291792 3081755840 134528283 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=465208 CPUtime=628.67
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 38690 0 0 0 62759 108 0 0 25 0 4 0 1104771475 476372992 106705 4294967295 134512640 135305190 3215291792 3073367200 134570397 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=465208 CPUtime=628.86
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 18057 0 0 0 62801 85 0 0 25 0 4 0 1104771475 476372992 106705 4294967295 134512640 135305190 3215291792 3064978512 134538175 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2525.3
Current children cumulated vsize (KiB) 467624

[startup+702.303 s]
/proc/loadavg: 4.38 4.35 4.36 5/102 19133
/proc/meminfo: memFree=2567960/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=474672 CPUtime=2753.04
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 108981 0 0 0 274914 390 0 0 25 0 4 0 1104771429 486064128 108912 4294967295 134512640 135305190 3215291792 3215289968 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17051/statm: 118668 108912 79 194 0 118472 0
[pid=17051/tid=17052] ppid=17048 vsize=474672 CPUtime=687.88
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 17556 0 0 0 68692 96 0 0 25 0 4 0 1104771475 486064128 108912 4294967295 134512640 135305190 3215291792 3081755840 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=474672 CPUtime=688.63
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 40054 0 0 0 68754 109 0 0 25 0 4 0 1104771475 486064128 108912 4294967295 134512640 135305190 3215291792 3073367120 134538165 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=474672 CPUtime=688.64
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 18057 0 0 0 68771 93 0 0 25 0 4 0 1104771475 486064128 108912 4294967295 134512640 135305190 3215291792 3064978368 134541935 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2764.65
Current children cumulated vsize (KiB) 477088

[startup+762.318 s]
/proc/loadavg: 4.32 4.34 4.35 5/102 19320
/proc/meminfo: memFree=2561636/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=482152 CPUtime=2992.7
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 110702 0 0 0 298863 407 0 0 25 0 4 0 1104771429 493723648 110633 4294967295 134512640 135305190 3215291792 3215289968 134528237 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17051/statm: 120538 110633 79 194 0 120342 0
[pid=17051/tid=17052] ppid=17048 vsize=482152 CPUtime=747.76
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 17556 0 0 0 74676 100 0 0 25 0 4 0 1104771475 493723648 110633 4294967295 134512640 135305190 3215291792 3081755840 134528774 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=482152 CPUtime=748.45
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 41362 0 0 0 74730 115 0 0 25 0 4 0 1104771475 493723648 110633 4294967295 134512640 135305190 3215291792 3073367232 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=482152 CPUtime=748.62
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 18179 0 0 0 74765 97 0 0 25 0 4 0 1104771475 493723648 110633 4294967295 134512640 135305190 3215291792 3064978624 134528548 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3004.31
Current children cumulated vsize (KiB) 484568

[startup+822.314 s]
/proc/loadavg: 4.28 4.32 4.35 5/102 19513
/proc/meminfo: memFree=2510580/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=536544 CPUtime=3232.18
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 123603 0 0 0 322780 438 0 0 25 0 4 0 1104771429 549421056 123534 4294967295 134512640 135305190 3215291792 3215289856 134538280 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17051/statm: 134136 123534 79 194 0 133940 0
[pid=17051/tid=17052] ppid=17048 vsize=536544 CPUtime=807.57
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 20649 0 0 0 80651 106 0 0 25 0 4 0 1104771475 549421056 123534 4294967295 134512640 135305190 3215291792 3081755840 134528990 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=536544 CPUtime=808.41
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 45235 0 0 0 80721 120 0 0 25 0 4 0 1104771475 549421056 123534 4294967295 134512640 135305190 3215291792 3073367232 134528329 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=536544 CPUtime=808.62
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 20849 0 0 0 80760 102 0 0 25 0 4 0 1104771475 549421056 123534 4294967295 134512640 135305190 3215291792 3064978624 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3243.79
Current children cumulated vsize (KiB) 538960

[startup+882.309 s]
/proc/loadavg: 4.46 4.38 4.36 6/102 19702
/proc/meminfo: memFree=2501620/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=546576 CPUtime=3471.31
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 125613 0 0 0 346675 456 0 0 25 0 4 0 1104771429 559693824 125544 4294967295 134512640 135305190 3215291792 3215289760 134547909 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17051/statm: 136644 125544 79 194 0 136448 0
[pid=17051/tid=17052] ppid=17048 vsize=546576 CPUtime=867.49
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 21806 0 0 0 86641 108 0 0 25 0 4 0 1104771475 559693824 125544 4294967295 134512640 135305190 3215291792 3081755544 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=546576 CPUtime=868.22
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 45999 0 0 0 86693 129 0 0 25 0 4 0 1104771475 559693824 125544 4294967295 134512640 135305190 3215291792 3073367232 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=546576 CPUtime=868.56
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 20938 0 0 0 86750 106 0 0 25 0 4 0 1104771475 559693824 125544 4294967295 134512640 135305190 3215291792 3064978624 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3482.92
Current children cumulated vsize (KiB) 548992

[startup+942.314 s]
/proc/loadavg: 4.26 4.34 4.35 5/102 19889
/proc/meminfo: memFree=2498884/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=549372 CPUtime=3710.77
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 126234 0 0 0 370607 470 0 0 25 0 4 0 1104771429 562556928 126165 4294967295 134512640 135305190 3215291792 3215289968 134528277 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17051/statm: 137343 126165 79 194 0 137147 0
[pid=17051/tid=17052] ppid=17048 vsize=549372 CPUtime=927.39
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 22038 0 0 0 92629 110 0 0 25 0 4 0 1104771475 562556928 126165 4294967295 134512640 135305190 3215291792 3081755840 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=549372 CPUtime=928.14
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 46248 0 0 0 92682 132 0 0 25 0 4 0 1104771475 562556928 126165 4294967295 134512640 135305190 3215291792 3073366848 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=549372 CPUtime=928.56
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 21020 0 0 0 92746 110 0 0 25 0 4 0 1104771475 562556928 126165 4294967295 134512640 135305190 3215291792 3064978624 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3722.38
Current children cumulated vsize (KiB) 551788



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.52 4.41 4.37 5/102 20076
/proc/meminfo: memFree=2494428/3368532 swapFree=1952996/1959888
[pid=17048] ppid=17046 vsize=2416 CPUtime=11.61
/proc/17048/stat : 17048 (manysat.sh) S 17046 17048 21691 0 -1 4194304 370 20023 0 0 0 0 1144 17 18 0 1 0 1104770268 2473984 274 4294967295 134512640 135169312 3217672160 3217668376 3085803246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17048/statm: 604 274 231 161 0 43 0
[pid=17051] ppid=17048 vsize=554524 CPUtime=3941.05
/proc/17051/stat : 17051 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202496 127539 0 0 0 393621 484 0 0 25 0 4 0 1104771429 567832576 127470 4294967295 134512640 135305190 3215291792 3215289968 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17051/statm: 138631 127470 79 194 0 138435 0
[pid=17051/tid=17052] ppid=17048 vsize=554524 CPUtime=985.05
/proc/17051/task/17052/stat : 17052 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 22178 0 0 0 98394 111 0 0 25 0 4 0 1104771475 567832576 127470 4294967295 134512640 135305190 3215291792 3081755840 134528237 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17051/tid=17053] ppid=17048 vsize=554524 CPUtime=985.76
/proc/17051/task/17053/stat : 17053 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 46714 0 0 0 98437 139 0 0 25 0 4 0 1104771475 567832576 127470 4294967295 134512640 135305190 3215291792 3073367232 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17051/tid=17054] ppid=17048 vsize=554524 CPUtime=986.25
/proc/17051/task/17054/stat : 17054 (manysat1.1_stat) R 17048 17048 21691 0 -1 4202560 21253 0 0 0 98512 113 0 0 25 0 4 0 1104771475 567832576 127470 4294967295 134512640 135305190 3215291792 3064978624 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3952.66
Current children cumulated vsize (KiB) 556940

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 17048 and gives
#  childrusage.ru_utime.tv_sec=11
#  childrusage.ru_utime.tv_usec=440000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=170000
# CPU time returned by wait4() is 11.61
# while last known CPU time is 3952.66
#
# 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): 3952.66
CPU user time (s): 3947.65
CPU system time (s): 5.01
CPU usage (%): 395.25
Max. virtual memory (cumulated for all children) (KiB): 556940

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

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-28 12:25:30
IDJOB=1775992
IDBENCH=20409
IDSOLVER=626
FILE ID=tipi45/1775992-1243506330
PBS_JOBID=
Free space on /tmp= 15494 MiB

SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/palacios/hard/safe-30-h29-unsat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775992-1243506330/watcher-1775992-1243506330 -o /tmp/evaluation-result-1775992-1243506330/solver-1775992-1243506330 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1775992-1243506330.cnf aimd 2

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

MD5SUM BENCH= 7cb48ce6f0320bc88623afd3c5af4aae
RANDOM SEED= 728097201

Linux tipi45 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.081
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.081
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.081
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.081
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:       3032964 kB
Buffers:        126692 kB
Cached:         102376 kB
SwapCached:       2100 kB
Active:          76636 kB
Inactive:       161860 kB
HighTotal:     2489216 kB
HighFree:      2374448 kB
LowTotal:       879316 kB
LowFree:        658516 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            9004 kB
Writeback:           4 kB
AnonPages:        8304 kB
Mapped:           3176 kB
Slab:            85136 kB
SReclaimable:    73908 kB
SUnreclaim:      11228 kB
PageTables:        532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    89604 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15466 MiB
End job on tipi45 at 2009-05-28 12:42:12