Trace number 1775947

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) 3943.72 1000.04

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
MD5SUMb3381a58cbbd64d5d90a3b4fcd44bf6d
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 variables338487
Number of clauses1187589
Sum of the clauses size2886289
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2849854
Number of clauses of size 3326098
Number of clauses of size 4798
Number of clauses of size 5544
Number of clauses of size over 510039

Solver Data 

0.00/0.00	c Parsing...
0.91/0.95	c ==============================================================================
0.91/0.95	c |           |     ORIGINAL     |              LEARNT              |          |
0.91/0.95	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.91/0.95	c ==============================================================================
0.91/0.95	c |         0 | 1186821  2884753 |  356046       0        0     nan |  0.000 % |
13.30/13.39	c |         0 |  571173  2544294 |      --       0       --      -- |     --   | -615648/-340459
13.30/13.39	c ==============================================================================
13.30/13.39	c Result  :   #vars: 40759   #clauses: 571173   #literals: 2544294
13.30/13.39	c CPU time:   13.09 s
13.30/13.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-1775947-1243505118/watcher-1775947-1243505118 -o /tmp/evaluation-result-1775947-1243505118/solver-1775947-1243505118 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775947-1243505118.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.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) R 20065 20067 27966 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129116 3085469556 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=1244 CPUtime=0
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 255 0 0 0 0 0 0 0 18 0 1 0 1115176017 1273856 192 4294967295 134512640 135034092 3216168496 3216164488 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20068/statm: 311 192 51 128 0 181 0

[startup+0.065165 s]
/proc/loadavg: 4.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=10524 CPUtime=0.07
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 2419 0 0 0 6 1 0 0 19 0 1 0 1115176017 10776576 2356 4294967295 134512640 135034092 3216168496 3216164840 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20068/statm: 2631 2357 51 128 0 2501 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12936

[startup+0.105142 s]
/proc/loadavg: 4.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=18128 CPUtime=0.11
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 3897 0 0 0 10 1 0 0 19 0 1 0 1115176017 18563072 3834 4294967295 134512640 135034092 3216168496 3216164488 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20068/statm: 4532 3834 51 128 0 4402 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 20540

[startup+0.30513 s]
/proc/loadavg: 4.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=44696 CPUtime=0.31
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 10825 0 0 0 24 7 0 0 20 0 1 0 1115176017 45768704 10762 4294967295 134512640 135034092 3216168496 3216164704 134546780 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20068/statm: 11174 10762 51 128 0 11044 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 47108

[startup+0.705103 s]
/proc/loadavg: 4.73 4.68 4.49 3/96 20067
/proc/meminfo: memFree=3137848/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=122964 CPUtime=0.71
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 25234 0 0 0 62 9 0 0 21 0 1 0 1115176017 125915136 25171 4294967295 134512640 135034092 3216168496 3216164784 134544732 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20068/statm: 30741 25171 51 128 0 30611 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 125376

[startup+1.50502 s]
/proc/loadavg: 4.43 4.62 4.47 2/98 20069
/proc/meminfo: memFree=3001760/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=172008 CPUtime=1.5
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 37328 0 0 0 136 14 0 0 23 0 1 0 1115176017 176136192 36401 4294967295 134512640 135034092 3216168496 3216164492 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20068/statm: 43002 36401 67 128 0 42872 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 174420

[startup+3.10489 s]
/proc/loadavg: 4.43 4.62 4.47 2/98 20069
/proc/meminfo: memFree=2983408/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=179752 CPUtime=3.1
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 39108 0 0 0 291 19 0 0 25 0 1 0 1115176017 184066048 38181 4294967295 134512640 135034092 3216168496 3216164492 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20068/statm: 44938 38181 67 128 0 44808 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 182164

[startup+6.30462 s]
/proc/loadavg: 4.16 4.56 4.45 2/98 20252
/proc/meminfo: memFree=2944888/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=200172 CPUtime=6.3
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 43518 0 0 0 604 26 0 0 25 0 1 0 1115176017 204976128 42591 4294967295 134512640 135034092 3216168496 3216164492 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20068/statm: 50043 42591 67 128 0 49913 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 202584

[startup+12.7041 s]
/proc/loadavg: 3.90 4.50 4.43 2/98 20254
/proc/meminfo: memFree=2924308/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2412 CPUtime=0
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1115176017 2469888 274 4294967295 134512640 135169312 3213130640 3213129176 3085467374 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20067/statm: 603 274 231 161 0 42 0
[pid=20068] ppid=20067 vsize=204112 CPUtime=12.7
/proc/20068/stat : 20068 (SatElite) R 20067 20067 27966 0 -1 4202496 46261 0 0 0 1241 29 0 0 25 0 1 0 1115176017 209010688 43318 4294967295 134512640 135034092 3216168496 3216164816 134577149 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20068/statm: 51028 43318 67 128 0 50898 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 206524

[startup+25.503 s]
/proc/loadavg: 3.94 4.48 4.43 5/101 20259
/proc/meminfo: memFree=2905844/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=210908 CPUtime=39.54
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 45603 0 0 0 3882 72 0 0 25 0 4 0 1115177454 215969792 45500 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 52727 45500 79 194 0 52531 0
[pid=20255/tid=20256] ppid=20067 vsize=210908 CPUtime=9.6
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 2501 0 0 0 942 18 0 0 25 0 4 0 1115177586 215969792 45500 4294967295 134512640 135305190 3221216048 3060161728 134528548 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=210908 CPUtime=9.6
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 2213 0 0 0 950 10 0 0 25 0 4 0 1115177586 215969792 45500 4294967295 134512640 135305190 3221216048 3051773120 134528277 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=210908 CPUtime=9.49
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 2295 0 0 0 936 13 0 0 25 0 4 0 1115177586 215969792 45500 4294967295 134512640 135305190 3221216048 3043384512 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 53.88
Current children cumulated vsize (KiB) 213324

[startup+51.1109 s]
/proc/loadavg: 4.29 4.52 4.44 5/101 20261
/proc/meminfo: memFree=2893408/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=222900 CPUtime=141.88
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 48645 0 0 0 14100 88 0 0 25 0 4 0 1115177454 228249600 48542 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 55725 48542 79 194 0 55529 0
[pid=20255/tid=20256] ppid=20067 vsize=222900 CPUtime=35.21
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 3118 0 0 0 3497 24 0 0 25 0 4 0 1115177586 228249600 48542 4294967295 134512640 135305190 3221216048 3060161728 134528501 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=222900 CPUtime=35.21
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 2913 0 0 0 3506 15 0 0 25 0 4 0 1115177586 228249600 48542 4294967295 134512640 135305190 3221216048 3051773120 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=222900 CPUtime=35.1
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 3106 0 0 0 3495 15 0 0 25 0 4 0 1115177586 228249600 48542 4294967295 134512640 135305190 3221216048 3043384512 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 156.22
Current children cumulated vsize (KiB) 225316

[startup+102.307 s]
/proc/loadavg: 4.71 4.59 4.47 5/101 20448
/proc/meminfo: memFree=2878916/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=237972 CPUtime=346.2
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 52229 0 0 0 34516 104 0 0 25 0 4 0 1115177454 243683328 52126 4294967295 134512640 135305190 3221216048 3221214224 134528418 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20255/statm: 59493 52126 79 194 0 59297 0
[pid=20255/tid=20256] ppid=20067 vsize=237972 CPUtime=86.34
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 3812 0 0 0 8607 27 0 0 25 0 4 0 1115177586 243683328 52126 4294967295 134512640 135305190 3221216048 3060161728 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=237972 CPUtime=86.3
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 3840 0 0 0 8610 20 0 0 25 0 4 0 1115177586 243683328 52126 4294967295 134512640 135305190 3221216048 3051773120 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=237972 CPUtime=86.23
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 4018 0 0 0 8604 19 0 0 25 0 4 0 1115177586 243683328 52126 4294967295 134512640 135305190 3221216048 3043384512 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 360.54
Current children cumulated vsize (KiB) 240388

[startup+162.312 s]
/proc/loadavg: 4.89 4.66 4.50 5/101 20638
/proc/meminfo: memFree=2868352/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=248176 CPUtime=585.68
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 54806 0 0 0 58448 120 0 0 25 0 4 0 1115177454 254132224 54703 4294967295 134512640 135305190 3221216048 3221214224 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 62044 54703 79 194 0 61848 0
[pid=20255/tid=20256] ppid=20067 vsize=248176 CPUtime=146.14
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 4198 0 0 0 14584 30 0 0 25 0 4 0 1115177586 254132224 54703 4294967295 134512640 135305190 3221216048 3060161728 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=248176 CPUtime=146.23
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 4968 0 0 0 14597 26 0 0 25 0 4 0 1115177586 254132224 54703 4294967295 134512640 135305190 3221216048 3051773120 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=248176 CPUtime=146.18
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 4516 0 0 0 14595 23 0 0 25 0 4 0 1115177586 254132224 54703 4294967295 134512640 135305190 3221216048 3043384240 134556734 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 600.02
Current children cumulated vsize (KiB) 250592

[startup+222.317 s]
/proc/loadavg: 5.06 4.75 4.54 5/101 20827
/proc/meminfo: memFree=2858464/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=257156 CPUtime=825.1
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 57112 0 0 0 82370 140 0 0 25 0 4 0 1115177454 263327744 57009 4294967295 134512640 135305190 3221216048 3221214224 134528252 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 64289 57009 79 194 0 64093 0
[pid=20255/tid=20256] ppid=20067 vsize=257156 CPUtime=205.94

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

/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 7784 0 0 0 50479 55 0 0 25 0 4 0 1115177586 312451072 68780 4294967295 134512640 135305190 3221216048 3043384512 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2036.8
Current children cumulated vsize (KiB) 307544

[startup+582.307 s]
/proc/loadavg: 4.82 4.72 4.58 6/101 21960
/proc/meminfo: memFree=2804292/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=314272 CPUtime=2262.21
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 70934 0 0 0 225972 249 0 0 25 0 4 0 1115177454 321814528 70831 4294967295 134512640 135305190 3221216048 3221214224 134530561 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 78568 70831 79 194 0 78372 0
[pid=20255/tid=20256] ppid=20067 vsize=314272 CPUtime=565.38
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 7429 0 0 0 56466 72 0 0 25 0 4 0 1115177586 321814528 70831 4294967295 134512640 135305190 3221216048 3060161728 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=314272 CPUtime=565.43
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10150 0 0 0 56503 40 0 0 25 0 4 0 1115177586 321814528 70831 4294967295 134512640 135305190 3221216048 3051773120 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=314272 CPUtime=565.34
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8219 0 0 0 56478 56 0 0 25 0 4 0 1115177586 321814528 70831 4294967295 134512640 135305190 3221216048 3043384512 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2276.55
Current children cumulated vsize (KiB) 316688

[startup+642.302 s]
/proc/loadavg: 5.00 4.79 4.61 6/101 22148
/proc/meminfo: memFree=2791588/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=325668 CPUtime=2501.67
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 73847 0 0 0 249890 277 0 0 25 0 4 0 1115177454 333484032 73744 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20255/statm: 81417 73744 79 194 0 81221 0
[pid=20255/tid=20256] ppid=20067 vsize=325668 CPUtime=625.27
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 7968 0 0 0 62447 80 0 0 25 0 4 0 1115177586 333484032 73744 4294967295 134512640 135305190 3221216048 3060161728 134528289 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=325668 CPUtime=625.42
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 11253 0 0 0 62496 46 0 0 25 0 4 0 1115177586 333484032 73744 4294967295 134512640 135305190 3221216048 3051773120 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=325668 CPUtime=625.12
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8894 0 0 0 62452 60 0 0 25 0 4 0 1115177586 333484032 73744 4294967295 134512640 135305190 3221216048 3043384512 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2516.01
Current children cumulated vsize (KiB) 328084

[startup+702.317 s]
/proc/loadavg: 5.04 4.81 4.63 6/101 22336
/proc/meminfo: memFree=2789076/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=328252 CPUtime=2741.02
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 74313 0 0 0 273811 291 0 0 25 0 4 0 1115177454 336130048 74210 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 82063 74210 79 194 0 81867 0
[pid=20255/tid=20256] ppid=20067 vsize=328252 CPUtime=684.99
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8022 0 0 0 68417 82 0 0 25 0 4 0 1115177586 336130048 74210 4294967295 134512640 135305190 3221216048 3060161728 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=328252 CPUtime=685.38
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 11616 0 0 0 68486 52 0 0 25 0 4 0 1115177586 336130048 74210 4294967295 134512640 135305190 3221216048 3051773120 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=328252 CPUtime=684.83
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8933 0 0 0 68418 65 0 0 25 0 4 0 1115177586 336130048 74210 4294967295 134512640 135305190 3221216048 3043384512 134528248 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2755.36
Current children cumulated vsize (KiB) 330668

[startup+762.322 s]
/proc/loadavg: 4.69 4.75 4.62 5/101 22527
/proc/meminfo: memFree=2776616/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=341444 CPUtime=2980.46
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 77484 0 0 0 297734 312 0 0 25 0 4 0 1115177454 349638656 77381 4294967295 134512640 135305190 3221216048 3221214224 134528747 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 85361 77381 79 194 0 85165 0
[pid=20255/tid=20256] ppid=20067 vsize=341444 CPUtime=744.85
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 8805 0 0 0 74398 87 0 0 25 0 4 0 1115177586 349638656 77381 4294967295 134512640 135305190 3221216048 3060161728 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=341444 CPUtime=745.39
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 12667 0 0 0 74478 61 0 0 25 0 4 0 1115177586 349638656 77381 4294967295 134512640 135305190 3221216048 3051772736 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=341444 CPUtime=744.81
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 9545 0 0 0 74415 66 0 0 25 0 4 0 1115177586 349638656 77381 4294967295 134512640 135305190 3221216048 3043384512 134528446 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2994.8
Current children cumulated vsize (KiB) 343860

[startup+822.317 s]
/proc/loadavg: 4.44 4.67 4.60 6/101 22714
/proc/meminfo: memFree=2756760/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=360164 CPUtime=3219.86
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 82471 0 0 0 321646 340 0 0 25 0 4 0 1115177454 368807936 82368 4294967295 134512640 135305190 3221216048 3221214224 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 90041 82368 79 194 0 89845 0
[pid=20255/tid=20256] ppid=20067 vsize=360164 CPUtime=804.81
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 9651 0 0 0 80388 93 0 0 25 0 4 0 1115177586 368807936 82368 4294967295 134512640 135305190 3221216048 3060161728 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=360164 CPUtime=805.21
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 14223 0 0 0 80448 73 0 0 25 0 4 0 1115177586 368807936 82368 4294967295 134512640 135305190 3221216048 3051773120 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=360164 CPUtime=804.7
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10880 0 0 0 80402 68 0 0 25 0 4 0 1115177586 368807936 82368 4294967295 134512640 135305190 3221216048 3043384512 134530633 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3234.2
Current children cumulated vsize (KiB) 362580

[startup+882.312 s]
/proc/loadavg: 4.50 4.64 4.59 6/101 22902
/proc/meminfo: memFree=2753760/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=362836 CPUtime=3459.4
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 83079 0 0 0 345587 353 0 0 25 0 4 0 1115177454 371544064 82976 4294967295 134512640 135305190 3221216048 3221214224 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 90709 82976 79 194 0 90513 0
[pid=20255/tid=20256] ppid=20067 vsize=362836 CPUtime=864.81
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 9738 0 0 0 86387 94 0 0 25 0 4 0 1115177586 371544064 82976 4294967295 134512640 135305190 3221216048 3060161728 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=362836 CPUtime=865.04
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 14743 0 0 0 86424 80 0 0 25 0 4 0 1115177586 371544064 82976 4294967295 134512640 135305190 3221216048 3051773120 134528245 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=362836 CPUtime=864.65
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10880 0 0 0 86393 72 0 0 25 0 4 0 1115177586 371544064 82976 4294967295 134512640 135305190 3221216048 3043384512 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3473.74
Current children cumulated vsize (KiB) 365252

[startup+942.307 s]
/proc/loadavg: 4.74 4.67 4.60 5/101 23093
/proc/meminfo: memFree=2750916/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=365320 CPUtime=3699.16
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 83667 0 0 0 369548 368 0 0 25 0 4 0 1115177454 374087680 83564 4294967295 134512640 135305190 3221216048 3221214224 134528418 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/20255/statm: 91330 83564 79 194 0 91134 0
[pid=20255/tid=20256] ppid=20067 vsize=365320 CPUtime=924.79
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 9803 0 0 0 92383 96 0 0 25 0 4 0 1115177586 374087680 83564 4294967295 134512640 135305190 3221216048 3060161728 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=365320 CPUtime=924.93
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 15262 0 0 0 92410 83 0 0 25 0 4 0 1115177586 374087680 83564 4294967295 134512640 135305190 3221216048 3051773120 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=365320 CPUtime=924.59
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10880 0 0 0 92380 79 0 0 25 0 4 0 1115177586 374087680 83564 4294967295 134512640 135305190 3221216048 3043384228 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3713.5
Current children cumulated vsize (KiB) 367736



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.64 4.65 4.60 5/101 23282
/proc/meminfo: memFree=2730832/3368532 swapFree=1953788/1959888
[pid=20067] ppid=20065 vsize=2416 CPUtime=14.34
/proc/20067/stat : 20067 (manysat.sh) S 20065 20067 27966 0 -1 4194304 371 51603 0 0 0 0 1397 37 18 0 1 0 1115176017 2473984 275 4294967295 134512640 135169312 3213130640 3213126856 3085467374 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20067/statm: 604 275 231 161 0 43 0
[pid=20255] ppid=20067 vsize=387420 CPUtime=3929.38
/proc/20255/stat : 20255 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202496 89075 0 0 0 392542 396 0 0 25 0 4 0 1115177454 396718080 88972 4294967295 134512640 135305190 3221216048 3221214224 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/20255/statm: 96855 88972 79 194 0 96659 0
[pid=20255/tid=20256] ppid=20067 vsize=387420 CPUtime=982.45
/proc/20255/task/20256/stat : 20256 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 10747 0 0 0 98145 100 0 0 25 0 4 0 1115177586 396718080 88972 4294967295 134512640 135305190 3221216048 3060161728 134528265 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20255/tid=20257] ppid=20067 vsize=387420 CPUtime=982.61
/proc/20255/task/20257/stat : 20257 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 16941 0 0 0 98174 87 0 0 25 0 4 0 1115177586 396718080 88972 4294967295 134512640 135305190 3221216048 3051773120 134528277 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20255/tid=20258] ppid=20067 vsize=387420 CPUtime=981.85
/proc/20255/task/20258/stat : 20258 (manysat1.1_stat) R 20067 20067 27966 0 -1 4202560 12327 0 0 0 98093 92 0 0 25 0 4 0 1115177586 396718080 88972 4294967295 134512640 135305190 3221216048 3043384512 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3943.72
Current children cumulated vsize (KiB) 389836

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 20067 and gives
#  childrusage.ru_utime.tv_sec=13
#  childrusage.ru_utime.tv_usec=970000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=370000
# CPU time returned by wait4() is 14.34
# while last known CPU time is 3943.72
#
# 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): 3943.72
CPU user time (s): 3939.39
CPU system time (s): 4.33
CPU usage (%): 394.355
Max. virtual memory (cumulated for all children) (KiB): 389836

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

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 12:05:18
IDJOB=1775947
IDBENCH=20405
IDSOLVER=626
FILE ID=/1775947-1243505118
PBS_JOBID=
Free space on /tmp= 6455 MiB

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

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

MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED= 559760180

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

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

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

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3137848 kB
Buffers:         34380 kB
Cached:          95824 kB
SwapCached:       2256 kB
Active:          81792 kB
Inactive:        57984 kB
HighTotal:     2489216 kB
HighFree:      2381724 kB
LowTotal:       879316 kB
LowFree:        756124 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:           23268 kB
Writeback:           0 kB
AnonPages:        8616 kB
Mapped:           3232 kB
Slab:            80456 kB
SReclaimable:    67148 kB
SUnreclaim:      13308 kB
PageTables:        464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88676 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6404 MiB
End job on  at 2009-05-28 12:22:01