Trace number 1775944

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) 3944.2 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.92/0.95	c ==============================================================================
0.92/0.95	c |           |     ORIGINAL     |              LEARNT              |          |
0.92/0.95	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.92/0.95	c ==============================================================================
0.92/0.95	c |         0 | 1186821  2884753 |  356046       0        0     nan |  0.000 % |
13.32/13.37	c |         0 |  571173  2544294 |      --       0       --      -- |     --   | -615648/-340459
13.32/13.37	c ==============================================================================
13.32/13.37	c Result  :   #vars: 40759   #clauses: 571173   #literals: 2544294
13.32/13.37	c CPU time:   13 s
13.32/13.37	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-1775944-1243505299/watcher-1775944-1243505299 -o /tmp/evaluation-result-1775944-1243505299/solver-1775944-1243505299 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775944-1243505299.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.11 4.34 4.34 3/96 26181
/proc/meminfo: memFree=2977556/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2416 CPUtime=0
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104631201 2473984 274 4294967295 134512640 135169312 3213020016 3213018552 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 604 274 231 161 0 43 0
[pid=26182] ppid=26181 vsize=1244 CPUtime=0.01
/proc/26182/stat : 26182 (SatElite) R 26181 26181 1628 0 -1 4202496 262 0 0 0 1 0 0 0 19 0 1 0 1104631201 1273856 199 4294967295 134512640 135034092 3213937680 3213933672 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26182/statm: 311 199 51 128 0 181 0

[startup+0.082848 s]
/proc/loadavg: 4.11 4.34 4.34 3/96 26181
/proc/meminfo: memFree=2977556/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2416 CPUtime=0
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104631201 2473984 274 4294967295 134512640 135169312 3213020016 3213018552 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 604 274 231 161 0 43 0
[pid=26182] ppid=26181 vsize=12372 CPUtime=0.09
/proc/26182/stat : 26182 (SatElite) R 26181 26181 1628 0 -1 4202496 3031 0 0 0 7 2 0 0 19 0 1 0 1104631201 12668928 2968 4294967295 134512640 135034092 3213937680 3213934024 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26182/statm: 3093 2969 51 128 0 2963 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14788

[startup+0.112848 s]
/proc/loadavg: 4.11 4.34 4.34 3/96 26181
/proc/meminfo: memFree=2977556/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2416 CPUtime=0
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104631201 2473984 274 4294967295 134512640 135169312 3213020016 3213018552 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 604 274 231 161 0 43 0
[pid=26182] ppid=26181 vsize=18920 CPUtime=0.12
/proc/26182/stat : 26182 (SatElite) R 26181 26181 1628 0 -1 4202496 4184 0 0 0 10 2 0 0 20 0 1 0 1104631201 19374080 4122 4294967295 134512640 135034092 3213937680 3213933640 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26182/statm: 4730 4122 51 128 0 4600 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 21336

[startup+0.312834 s]
/proc/loadavg: 4.11 4.34 4.34 3/96 26181
/proc/meminfo: memFree=2977556/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2416 CPUtime=0
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104631201 2473984 274 4294967295 134512640 135169312 3213020016 3213018552 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 604 274 231 161 0 43 0
[pid=26182] ppid=26181 vsize=46016 CPUtime=0.32
/proc/26182/stat : 26182 (SatElite) R 26181 26181 1628 0 -1 4202496 11261 0 0 0 29 3 0 0 20 0 1 0 1104631201 47120384 11198 4294967295 134512640 135034092 3213937680 3213934024 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26182/statm: 11504 11199 51 128 0 11374 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 48432

[startup+0.712815 s]
/proc/loadavg: 4.11 4.34 4.34 3/96 26181
/proc/meminfo: memFree=2977556/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2416 CPUtime=0
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104631201 2473984 274 4294967295 134512640 135169312 3213020016 3213018552 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 604 274 231 161 0 43 0
[pid=26182] ppid=26181 vsize=124416 CPUtime=0.72
/proc/26182/stat : 26182 (SatElite) R 26181 26181 1628 0 -1 4202496 25712 0 0 0 60 12 0 0 21 0 1 0 1104631201 127401984 25649 4294967295 134512640 135034092 3213937680 3213934024 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26182/statm: 31104 25650 51 128 0 30974 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 126832

[startup+1.51275 s]
/proc/loadavg: 4.11 4.34 4.34 2/98 26183
/proc/meminfo: memFree=2841232/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2416 CPUtime=0
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104631201 2473984 274 4294967295 134512640 135169312 3213020016 3213018552 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 604 274 231 161 0 43 0
[pid=26182] ppid=26181 vsize=172008 CPUtime=1.52
/proc/26182/stat : 26182 (SatElite) R 26181 26181 1628 0 -1 4202496 37345 0 0 0 136 16 0 0 23 0 1 0 1104631201 176136192 36418 4294967295 134512640 135034092 3213937680 3213933676 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26182/statm: 43035 36419 67 128 0 42905 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 174424

[startup+3.11264 s]
/proc/loadavg: 4.11 4.34 4.34 2/98 26184
/proc/meminfo: memFree=2822288/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2416 CPUtime=0
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104631201 2473984 274 4294967295 134512640 135169312 3213020016 3213018552 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 604 274 231 161 0 43 0
[pid=26182] ppid=26181 vsize=179884 CPUtime=3.12
/proc/26182/stat : 26182 (SatElite) R 26181 26181 1628 0 -1 4202496 39128 0 0 0 291 21 0 0 25 0 1 0 1104631201 184201216 38201 4294967295 134512640 135034092 3213937680 3213933676 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26182/statm: 44971 38201 67 128 0 44841 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 182300

[startup+6.31243 s]
/proc/loadavg: 3.86 4.28 4.32 2/98 26189
/proc/meminfo: memFree=2784640/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2416 CPUtime=0
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104631201 2473984 274 4294967295 134512640 135169312 3213020016 3213018552 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 604 274 231 161 0 43 0
[pid=26182] ppid=26181 vsize=200308 CPUtime=6.32
/proc/26182/stat : 26182 (SatElite) R 26181 26181 1628 0 -1 4202496 43537 0 0 0 601 31 0 0 25 0 1 0 1104631201 205115392 42610 4294967295 134512640 135034092 3213937680 3213933676 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26182/statm: 50077 42610 67 128 0 49947 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 202724

[startup+12.712 s]
/proc/loadavg: 3.63 4.23 4.30 2/98 26190
/proc/meminfo: memFree=2763952/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2416 CPUtime=0
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1104631201 2473984 274 4294967295 134512640 135169312 3213020016 3213018552 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 604 274 231 161 0 43 0
[pid=26182] ppid=26181 vsize=204112 CPUtime=12.72
/proc/26182/stat : 26182 (SatElite) R 26181 26181 1628 0 -1 4202496 46262 0 0 0 1235 37 0 0 25 0 1 0 1104631201 209010688 43319 4294967295 134512640 135034092 3213937680 3213933984 134575615 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26182/statm: 51028 43319 67 128 0 50898 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 206528

[startup+25.5111 s]
/proc/loadavg: 3.73 4.22 4.30 7/102 26297
/proc/meminfo: memFree=2742876/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=212336 CPUtime=39.71
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 45785 0 0 0 3880 91 0 0 25 0 4 0 1104632633 217432064 45672 4294967295 134512640 135305190 3219020064 3219018240 134528145 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26192/statm: 53084 45672 79 194 0 52888 0
[pid=26192/tid=26193] ppid=26181 vsize=212336 CPUtime=9.65
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 2451 0 0 0 941 24 0 0 25 0 4 0 1104632764 217432064 45672 4294967295 134512640 135305190 3219020064 3060018368 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=212336 CPUtime=9.68
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 2288 0 0 0 951 17 0 0 25 0 4 0 1104632764 217432064 45672 4294967295 134512640 135305190 3219020064 3051629760 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=212336 CPUtime=9.61
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 2274 0 0 0 943 18 0 0 25 0 4 0 1104632764 217432064 45672 4294967295 134512640 135305190 3219020064 3043241152 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 54.04
Current children cumulated vsize (KiB) 214756

[startup+51.1094 s]
/proc/loadavg: 3.96 4.23 4.30 5/101 26379
/proc/meminfo: memFree=2731884/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=224456 CPUtime=141.9
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 48925 0 0 0 14095 95 0 0 25 0 4 0 1104632633 229842944 48812 4294967295 134512640 135305190 3219020064 3219018240 134528151 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26192/statm: 56114 48812 79 194 0 55918 0
[pid=26192/tid=26193] ppid=26181 vsize=224456 CPUtime=35.19
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 3140 0 0 0 3494 25 0 0 25 0 4 0 1104632764 229842944 48812 4294967295 134512640 135305190 3219020064 3060018368 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=224456 CPUtime=35.21
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 2963 0 0 0 3501 20 0 0 25 0 4 0 1104632764 229842944 48812 4294967295 134512640 135305190 3219020064 3051629760 134528858 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=224456 CPUtime=35.21
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 3169 0 0 0 3503 18 0 0 25 0 4 0 1104632764 229842944 48812 4294967295 134512640 135305190 3219020064 3043241152 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 156.23
Current children cumulated vsize (KiB) 226876

[startup+102.316 s]
/proc/loadavg: 4.14 4.24 4.30 5/101 26567
/proc/meminfo: memFree=2716888/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=239556 CPUtime=346.35
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 52560 0 0 0 34524 111 0 0 25 0 4 0 1104632633 245305344 52447 4294967295 134512640 135305190 3219020064 3219018240 134528310 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26192/statm: 59889 52447 79 194 0 59693 0
[pid=26192/tid=26193] ppid=26181 vsize=239556 CPUtime=86.22
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 3881 0 0 0 8594 28 0 0 25 0 4 0 1104632764 245305344 52447 4294967295 134512640 135305190 3219020064 3060018096 134558326 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=239556 CPUtime=86.3
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 3971 0 0 0 8608 22 0 0 25 0 4 0 1104632764 245305344 52447 4294967295 134512640 135305190 3219020064 3051629760 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=239556 CPUtime=86.41
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 4081 0 0 0 8619 22 0 0 25 0 4 0 1104632764 245305344 52447 4294967295 134512640 135305190 3219020064 3043241152 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 360.68
Current children cumulated vsize (KiB) 241976

[startup+162.312 s]
/proc/loadavg: 4.47 4.31 4.32 5/101 26755
/proc/meminfo: memFree=2704876/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=252284 CPUtime=585.74
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 55522 0 0 0 58441 133 0 0 25 0 4 0 1104632633 258338816 55409 4294967295 134512640 135305190 3219020064 3219018240 134528252 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26192/statm: 63071 55409 79 194 0 62875 0
[pid=26192/tid=26193] ppid=26181 vsize=252284 CPUtime=146.17
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 4403 0 0 0 14586 31 0 0 25 0 4 0 1104632764 258338816 55409 4294967295 134512640 135305190 3219020064 3060018368 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=252284 CPUtime=145.95
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 4865 0 0 0 14559 36 0 0 25 0 4 0 1104632764 258338816 55409 4294967295 134512640 135305190 3219020064 3051629704 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=252284 CPUtime=146.22
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 4775 0 0 0 14598 24 0 0 25 0 4 0 1104632764 258338816 55409 4294967295 134512640 135305190 3219020064 3043241152 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 600.07
Current children cumulated vsize (KiB) 254704

[startup+222.308 s]
/proc/loadavg: 4.58 4.36 4.33 6/102 26941
/proc/meminfo: memFree=2694388/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=261048 CPUtime=825.46
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 57914 0 0 0 82391 155 0 0 25 0 4 0 1104632633 267313152 57801 4294967295 134512640 135305190 3219020064 3219018240 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/26192/statm: 65262 57801 79 194 0 65066 0
[pid=26192/tid=26193] ppid=26181 vsize=261048 CPUtime=206.17

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

/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 8688 0 0 0 50454 53 0 0 25 0 4 0 1104632764 326991872 72317 4294967295 134512640 135305190 3219020064 3043241152 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2036.73
Current children cumulated vsize (KiB) 321748

[startup+582.313 s]
/proc/loadavg: 4.76 4.54 4.40 6/102 28007
/proc/meminfo: memFree=2628684/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=327488 CPUtime=2261.83
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 74392 0 0 0 225888 295 0 0 25 0 4 0 1104632633 335347712 74279 4294967295 134512640 135305190 3219020064 3219018240 134528235 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/26192/statm: 81872 74279 79 194 0 81676 0
[pid=26192/tid=26193] ppid=26181 vsize=327488 CPUtime=565.91
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 7797 0 0 0 56530 61 0 0 25 0 4 0 1104632764 335347712 74279 4294967295 134512640 135305190 3219020064 3060018368 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=327488 CPUtime=564.13
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 11138 0 0 0 56334 79 0 0 25 0 4 0 1104632764 335347712 74279 4294967295 134512640 135305190 3219020064 3051629760 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=327488 CPUtime=565.01
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 9184 0 0 0 56443 58 0 0 25 0 4 0 1104632764 335347712 74279 4294967295 134512640 135305190 3219020064 3043241152 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2276.16
Current children cumulated vsize (KiB) 329908

[startup+642.309 s]
/proc/loadavg: 4.42 4.49 4.39 7/102 28166
/proc/meminfo: memFree=2616752/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=340864 CPUtime=2501.38
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 77169 0 0 0 249823 315 0 0 25 0 4 0 1104632633 349044736 77056 4294967295 134512640 135305190 3219020064 3219018240 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/26192/statm: 85216 77056 79 194 0 85020 0
[pid=26192/tid=26193] ppid=26181 vsize=340864 CPUtime=625.88
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 8429 0 0 0 62518 70 0 0 25 0 4 0 1104632764 349044736 77056 4294967295 134512640 135305190 3219020064 3060018368 134528858 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=340864 CPUtime=624.06
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 11863 0 0 0 62323 83 0 0 25 0 4 0 1104632764 349044736 77056 4294967295 134512640 135305190 3219020064 3051629440 134553353 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=340864 CPUtime=624.72
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 9831 0 0 0 62410 62 0 0 25 0 4 0 1104632764 349044736 77056 4294967295 134512640 135305190 3219020064 3043241152 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2515.71
Current children cumulated vsize (KiB) 343284

[startup+702.315 s]
/proc/loadavg: 4.34 4.47 4.39 6/102 28330
/proc/meminfo: memFree=2614960/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=342928 CPUtime=2740.88
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 77784 0 0 0 273749 339 0 0 25 0 4 0 1104632633 351158272 77671 4294967295 134512640 135305190 3219020064 3219018240 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/26192/statm: 85732 77671 79 194 0 85536 0
[pid=26192/tid=26193] ppid=26181 vsize=342928 CPUtime=685.87
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 8485 0 0 0 68513 74 0 0 25 0 4 0 1104632764 351158272 77671 4294967295 134512640 135305190 3219020064 3060018368 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=342928 CPUtime=683.71
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 12373 0 0 0 68282 89 0 0 25 0 4 0 1104632764 351158272 77671 4294967295 134512640 135305190 3219020064 3051629760 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=342928 CPUtime=684.68
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 9843 0 0 0 68405 63 0 0 25 0 4 0 1104632764 351158272 77671 4294967295 134512640 135305190 3219020064 3043240944 134547909 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2755.21
Current children cumulated vsize (KiB) 345348

[startup+762.311 s]
/proc/loadavg: 4.31 4.45 4.39 7/102 28642
/proc/meminfo: memFree=2599408/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=357072 CPUtime=2980.36
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 81378 0 0 0 297682 354 0 0 25 0 4 0 1104632633 365641728 81265 4294967295 134512640 135305190 3219020064 3219018240 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26192/statm: 89268 81265 79 194 0 89072 0
[pid=26192/tid=26193] ppid=26181 vsize=357072 CPUtime=745.76
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 9285 0 0 0 74500 76 0 0 25 0 4 0 1104632764 365641728 81265 4294967295 134512640 135305190 3219020064 3060018368 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=357072 CPUtime=743.67
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 13763 0 0 0 74271 96 0 0 25 0 4 0 1104632764 365641728 81265 4294967295 134512640 135305190 3219020064 3051629760 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=357072 CPUtime=744.48
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 10493 0 0 0 74380 68 0 0 25 0 4 0 1104632764 365641728 81265 4294967295 134512640 135305190 3219020064 3043241152 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2994.69
Current children cumulated vsize (KiB) 359492

[startup+822.307 s]
/proc/loadavg: 4.34 4.44 4.38 6/102 28686
/proc/meminfo: memFree=2592720/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=364568 CPUtime=3219.98
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 83237 0 0 0 321621 377 0 0 25 0 4 0 1104632633 373317632 83124 4294967295 134512640 135305190 3219020064 3219018240 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26192/statm: 91142 83124 79 194 0 90946 0
[pid=26192/tid=26193] ppid=26181 vsize=364568 CPUtime=805.76
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 9535 0 0 0 80491 85 0 0 25 0 4 0 1104632764 373317632 83124 4294967295 134512640 135305190 3219020064 3060018368 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=364568 CPUtime=803.48
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 14422 0 0 0 80246 102 0 0 25 0 4 0 1104632764 373317632 83124 4294967295 134512640 135305190 3219020064 3051629760 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=364568 CPUtime=804.47
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 11051 0 0 0 80377 70 0 0 25 0 4 0 1104632764 373317632 83124 4294967295 134512640 135305190 3219020064 3043241152 134528851 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3234.31
Current children cumulated vsize (KiB) 366988

[startup+882.313 s]
/proc/loadavg: 4.46 4.46 4.39 6/102 28865
/proc/meminfo: memFree=2586816/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=371740 CPUtime=3459.68
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 84930 0 0 0 345573 395 0 0 25 0 4 0 1104632633 380661760 84817 4294967295 134512640 135305190 3219020064 3219017904 134551712 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26192/statm: 92935 84817 79 194 0 92739 0
[pid=26192/tid=26193] ppid=26181 vsize=371740 CPUtime=865.77
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 9888 0 0 0 86483 94 0 0 25 0 4 0 1104632764 380661760 84817 4294967295 134512640 135305190 3219020064 3060018368 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=371740 CPUtime=863.3
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 15197 0 0 0 86226 104 0 0 25 0 4 0 1104632764 380661760 84817 4294967295 134512640 135305190 3219020064 3051629376 134551757 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=371740 CPUtime=864.46
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 11280 0 0 0 86371 75 0 0 25 0 4 0 1104632764 380661760 84817 4294967295 134512640 135305190 3219020064 3043241152 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3474.01
Current children cumulated vsize (KiB) 374160

[startup+942.309 s]
/proc/loadavg: 4.49 4.48 4.40 6/102 29036
/proc/meminfo: memFree=2576756/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=381648 CPUtime=3699.38
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 87511 0 0 0 369526 412 0 0 25 0 4 0 1104632633 390807552 87398 4294967295 134512640 135305190 3219020064 3219018240 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/26192/statm: 95412 87398 79 194 0 95216 0
[pid=26192/tid=26193] ppid=26181 vsize=381648 CPUtime=925.75
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 10494 0 0 0 92480 95 0 0 25 0 4 0 1104632764 390807552 87398 4294967295 134512640 135305190 3219020064 3060018312 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=381648 CPUtime=923.23
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 15993 0 0 0 92217 106 0 0 25 0 4 0 1104632764 390807552 87398 4294967295 134512640 135305190 3219020064 3051629760 134528157 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=381648 CPUtime=924.44
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 11876 0 0 0 92364 80 0 0 25 0 4 0 1104632764 390807552 87398 4294967295 134512640 135305190 3219020064 3043240816 134551799 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3713.71
Current children cumulated vsize (KiB) 384068



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.32 4.44 4.39 6/101 29215
/proc/meminfo: memFree=2552824/3368532 swapFree=1954076/1959888
[pid=26181] ppid=26179 vsize=2420 CPUtime=14.33
/proc/26181/stat : 26181 (manysat.sh) S 26179 26181 1628 0 -1 4194304 370 51604 0 0 0 0 1388 45 18 0 1 0 1104631201 2478080 275 4294967295 134512640 135169312 3213020016 3213016232 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/26181/statm: 605 275 231 161 0 44 0
[pid=26192] ppid=26181 vsize=405308 CPUtime=3929.87
/proc/26192/stat : 26192 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202496 93433 0 0 0 392558 429 0 0 25 0 4 0 1104632633 415035392 93320 4294967295 134512640 135305190 3219020064 3219018240 134528548 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/26192/statm: 101327 93320 79 194 0 101131 0
[pid=26192/tid=26193] ppid=26181 vsize=405308 CPUtime=983.45
/proc/26192/task/26193/stat : 26193 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 11432 0 0 0 98248 97 0 0 25 0 4 0 1104632764 415035392 93320 4294967295 134512640 135305190 3219020064 3060018368 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=26192/tid=26194] ppid=26181 vsize=405308 CPUtime=980.71
/proc/26192/task/26194/stat : 26194 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 18066 0 0 0 97960 111 0 0 25 0 4 0 1104632764 415035392 93320 4294967295 134512640 135305190 3219020064 3051629760 134528319 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=26192/tid=26195] ppid=26181 vsize=405308 CPUtime=982.09
/proc/26192/task/26195/stat : 26195 (manysat1.1_stat) R 26181 26181 1628 0 -1 4202560 13385 0 0 0 98125 84 0 0 25 0 4 0 1104632764 415035392 93320 4294967295 134512640 135305190 3219020064 3043241152 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3944.2
Current children cumulated vsize (KiB) 407728

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 26181 and gives
#  childrusage.ru_utime.tv_sec=13
#  childrusage.ru_utime.tv_usec=880000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=450000
# CPU time returned by wait4() is 14.33
# while last known CPU time is 3944.2
#
# 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): 3944.2
CPU user time (s): 3939.46
CPU system time (s): 4.74
CPU usage (%): 394.406
Max. virtual memory (cumulated for all children) (KiB): 407728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.88
system time used= 0.45
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= 5
involuntary context switches= 15

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-28 12:08:19
IDJOB=1775944
IDBENCH=20405
IDSOLVER=623
FILE ID=tipi44/1775944-1243505299
PBS_JOBID=
Free space on /tmp= 15873 MiB

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

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

MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED= 2007898867

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
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.116
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2977556 kB
Buffers:        134280 kB
Cached:         149092 kB
SwapCached:       2180 kB
Active:         113896 kB
Inactive:       178992 kB
HighTotal:     2489216 kB
HighFree:      2327468 kB
LowTotal:       879316 kB
LowFree:        650088 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:           23484 kB
Writeback:           0 kB
AnonPages:        9156 kB
Mapped:           3536 kB
Slab:            87008 kB
SReclaimable:    76972 kB
SUnreclaim:      10036 kB
PageTables:        492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15822 MiB
End job on tipi44 at 2009-05-28 12:25:03