Trace number 1775941

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 0/2009-03-20 (4 threads)? (TO) 3943.44 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.96	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.91/0.96	c ==============================================================================
0.91/0.96	c |         0 | 1186821  2884753 |  356046       0        0     nan |  0.000 % |
13.31/13.40	c |         0 |  571173  2544294 |      --       0       --      -- |     --   | -615648/-340459
13.31/13.40	c ==============================================================================
13.31/13.40	c Result  :   #vars: 40759   #clauses: 571173   #literals: 2544294
13.31/13.40	c CPU time:   13.15 s
13.31/13.40	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-1775941-1243505391/watcher-1775941-1243505391 -o /tmp/evaluation-result-1775941-1243505391/solver-1775941-1243505391 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775941-1243505391.cnf aimd 0 

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.09 4.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=1244 CPUtime=0
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 261 0 0 0 0 0 0 0 18 0 1 0 1115202057 1273856 198 4294967295 134512640 135034092 3216619168 3216615512 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 311 199 51 128 0 181 0

[startup+0.070242 s]
/proc/loadavg: 4.09 4.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=11052 CPUtime=0.06
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 2588 0 0 0 6 0 0 0 18 0 1 0 1115202057 11317248 2525 4294967295 134512640 135034092 3216619168 3216615512 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 2763 2526 51 128 0 2633 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13464

[startup+0.11025 s]
/proc/loadavg: 4.09 4.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=18524 CPUtime=0.1
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 4060 0 0 0 10 0 0 0 18 0 1 0 1115202057 18968576 3997 4294967295 134512640 135034092 3216619168 3216615512 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 4631 3997 51 128 0 4501 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 20936

[startup+0.310229 s]
/proc/loadavg: 4.09 4.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=45488 CPUtime=0.3
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 11096 0 0 0 26 4 0 0 18 0 1 0 1115202057 46579712 11033 4294967295 134512640 135034092 3216619168 3216615160 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 11372 11033 51 128 0 11242 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 47900

[startup+0.710208 s]
/proc/loadavg: 4.09 4.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=123360 CPUtime=0.7
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 25361 0 0 0 64 6 0 0 18 0 1 0 1115202057 126320640 25298 4294967295 134512640 135034092 3216619168 3216615512 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 30840 25298 51 128 0 30710 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 125772

[startup+1.51017 s]
/proc/loadavg: 4.09 4.31 4.35 2/111 21171
/proc/meminfo: memFree=1365016/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=172008 CPUtime=1.5
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 37340 0 0 0 143 7 0 0 20 0 1 0 1115202057 176136192 36413 4294967295 134512640 135034092 3216619168 3216615164 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 43002 36413 67 128 0 42872 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 174420

[startup+3.11008 s]
/proc/loadavg: 4.09 4.31 4.35 2/111 21171
/proc/meminfo: memFree=1346516/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=179884 CPUtime=3.1
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 39131 0 0 0 297 13 0 0 25 0 1 0 1115202057 184201216 38204 4294967295 134512640 135034092 3216619168 3216615164 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 44971 38204 67 128 0 44841 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 182296

[startup+6.30993 s]
/proc/loadavg: 3.84 4.25 4.33 2/111 21172
/proc/meminfo: memFree=1308404/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=200308 CPUtime=6.3
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 43543 0 0 0 610 20 0 0 25 0 1 0 1115202057 205115392 42616 4294967295 134512640 135034092 3216619168 3216615700 134583270 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21170/statm: 50077 42616 67 128 0 49947 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 202720

[startup+12.7096 s]
/proc/loadavg: 3.62 4.20 4.31 2/111 21173
/proc/meminfo: memFree=1287860/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=204112 CPUtime=12.7
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 46261 0 0 0 1247 23 0 0 25 0 1 0 1115202057 209010688 43318 4294967295 134512640 135034092 3216619168 3216615408 134566284 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21170/statm: 51028 43318 67 128 0 50898 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 206524

[startup+25.5089 s]
/proc/loadavg: 3.80 4.21 4.31 5/114 21182
/proc/meminfo: memFree=1267264/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=211472 CPUtime=39.36
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 45796 0 0 0 3874 62 0 0 23 0 4 0 1115203495 216547328 45687 4294967295 134512640 135305190 3217139536 3217137712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 52868 45687 79 194 0 52672 0
[pid=21174/tid=21175] ppid=21169 vsize=211472 CPUtime=9.57
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 2298 0 0 0 942 15 0 0 25 0 4 0 1115203627 216547328 45687 4294967295 134512640 135305190 3217139536 3060415680 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=211472 CPUtime=9.3
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 2371 0 0 0 918 12 0 0 25 0 4 0 1115203627 216547328 45687 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=211472 CPUtime=9.58
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 2459 0 0 0 943 15 0 0 25 0 4 0 1115203627 216547328 45687 4294967295 134512640 135305190 3217139536 3043638464 134528195 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 53.71
Current children cumulated vsize (KiB) 213888

[startup+51.1076 s]
/proc/loadavg: 4.00 4.22 4.31 5/114 21367
/proc/meminfo: memFree=1254420/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=224784 CPUtime=141.38
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 48891 0 0 0 14065 73 0 0 25 0 4 0 1115203495 230178816 48782 4294967295 134512640 135305190 3217139536 3217137428 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21174/statm: 56196 48782 79 194 0 56000 0
[pid=21174/tid=21175] ppid=21169 vsize=224784 CPUtime=35.17
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 2949 0 0 0 3501 16 0 0 25 0 4 0 1115203627 230178816 48782 4294967295 134512640 135305190 3217139536 3060415680 134528277 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=224784 CPUtime=34.77
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 3107 0 0 0 3464 13 0 0 25 0 4 0 1115203627 230178816 48782 4294967295 134512640 135305190 3217139536 3052027040 134570412 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=224784 CPUtime=35.02
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 3211 0 0 0 3483 19 0 0 25 0 4 0 1115203627 230178816 48782 4294967295 134512640 135305190 3217139536 3043638464 134528554 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 155.73
Current children cumulated vsize (KiB) 227200

[startup+102.315 s]
/proc/loadavg: 4.06 4.20 4.30 5/114 21554
/proc/meminfo: memFree=1237308/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=239964 CPUtime=345.83
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 52831 0 0 0 34499 84 0 0 25 0 4 0 1115203495 245723136 52722 4294967295 134512640 135305190 3217139536 3217137712 134528480 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21174/statm: 59991 52722 79 194 0 59795 0
[pid=21174/tid=21175] ppid=21169 vsize=239964 CPUtime=86.33
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 3731 0 0 0 8614 19 0 0 25 0 4 0 1115203627 245723136 52722 4294967295 134512640 135305190 3217139536 3060415680 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=239964 CPUtime=85.85
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 4209 0 0 0 8568 17 0 0 25 0 4 0 1115203627 245723136 52722 4294967295 134512640 135305190 3217139536 3052027072 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=239964 CPUtime=86.17
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 4092 0 0 0 8597 20 0 0 25 0 4 0 1115203627 245723136 52722 4294967295 134512640 135305190 3217139536 3043638464 134528215 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 360.18
Current children cumulated vsize (KiB) 242380

[startup+162.312 s]
/proc/loadavg: 4.18 4.21 4.29 6/114 21742
/proc/meminfo: memFree=1225024/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=252884 CPUtime=585.47
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 56141 0 0 0 58447 100 0 0 25 0 4 0 1115203495 258953216 56032 4294967295 134512640 135305190 3217139536 3217137712 134528277 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 63221 56032 79 194 0 63025 0
[pid=21174/tid=21175] ppid=21169 vsize=252884 CPUtime=146.31
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 4284 0 0 0 14609 22 0 0 25 0 4 0 1115203627 258953216 56032 4294967295 134512640 135305190 3217139536 3060415680 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=252884 CPUtime=145.71
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 5374 0 0 0 14550 21 0 0 25 0 4 0 1115203627 258953216 56032 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=252884 CPUtime=146.05
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 4953 0 0 0 14579 26 0 0 25 0 4 0 1115203627 258953216 56032 4294967295 134512640 135305190 3217139536 3043638464 134528512 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 599.82
Current children cumulated vsize (KiB) 255300

[startup+222.309 s]
/proc/loadavg: 4.31 4.23 4.29 7/115 21919
/proc/meminfo: memFree=1210316/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=266352 CPUtime=825.05
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 59542 0 0 0 82389 116 0 0 25 0 4 0 1115203495 272744448 59433 4294967295 134512640 135305190 3217139536 3217137712 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 66588 59433 79 194 0 66392 0
[pid=21174/tid=21175] ppid=21169 vsize=266352 CPUtime=206.3

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

/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 8712 0 0 0 50454 57 0 0 25 0 4 0 1115203627 330711040 73415 4294967295 134512640 135305190 3217139536 3043638464 134528248 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2036.99
Current children cumulated vsize (KiB) 325376

[startup+582.31 s]
/proc/loadavg: 4.56 4.49 4.39 8/115 22891
/proc/meminfo: memFree=1149440/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=330884 CPUtime=2262.11
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 75372 0 0 0 225974 237 0 0 25 0 4 0 1115203495 338825216 75263 4294967295 134512640 135305190 3217139536 3217137376 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21174/statm: 82721 75263 79 194 0 82525 0
[pid=21174/tid=21175] ppid=21169 vsize=330884 CPUtime=565.8
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 7910 0 0 0 56532 48 0 0 25 0 4 0 1115203627 338825216 75263 4294967295 134512640 135305190 3217139536 3060415680 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=330884 CPUtime=564.76
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 12772 0 0 0 56409 67 0 0 25 0 4 0 1115203627 338825216 75263 4294967295 134512640 135305190 3217139536 3052027072 134528455 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=330884 CPUtime=565.08
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9088 0 0 0 56448 60 0 0 25 0 4 0 1115203627 338825216 75263 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2276.46
Current children cumulated vsize (KiB) 333300

[startup+642.307 s]
/proc/loadavg: 4.61 4.53 4.41 8/115 23102
/proc/meminfo: memFree=1135200/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=345092 CPUtime=2501.66
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 78501 0 0 0 249901 265 0 0 25 0 4 0 1115203495 353374208 78392 4294967295 134512640 135305190 3217139536 3217137712 134528252 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21174/statm: 86273 78392 79 194 0 86077 0
[pid=21174/tid=21175] ppid=21169 vsize=345092 CPUtime=625.74
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 8562 0 0 0 62524 50 0 0 25 0 4 0 1115203627 353374208 78392 4294967295 134512640 135305190 3217139536 3060415680 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=345092 CPUtime=624.51
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 13753 0 0 0 62373 78 0 0 25 0 4 0 1115203627 353374208 78392 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=345092 CPUtime=625.08
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9874 0 0 0 62446 62 0 0 25 0 4 0 1115203627 353374208 78392 4294967295 134512640 135305190 3217139536 3043638464 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2516.01
Current children cumulated vsize (KiB) 347508

[startup+702.304 s]
/proc/loadavg: 4.29 4.46 4.39 5/114 23258
/proc/meminfo: memFree=1132020/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=347724 CPUtime=2740.9
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 79169 0 0 0 273809 281 0 0 25 0 4 0 1115203495 356069376 79060 4294967295 134512640 135305190 3217139536 3217137712 134530676 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 86931 79060 79 194 0 86735 0
[pid=21174/tid=21175] ppid=21169 vsize=347724 CPUtime=685.56
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 8572 0 0 0 68502 54 0 0 25 0 4 0 1115203627 356069376 79060 4294967295 134512640 135305190 3217139536 3060415680 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=347724 CPUtime=684.47
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 14377 0 0 0 68364 83 0 0 25 0 4 0 1115203627 356069376 79060 4294967295 134512640 135305190 3217139536 3052027072 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=347724 CPUtime=684.87
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9904 0 0 0 68422 65 0 0 25 0 4 0 1115203627 356069376 79060 4294967295 134512640 135305190 3217139536 3043638192 134556558 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2755.25
Current children cumulated vsize (KiB) 350140

[startup+762.31 s]
/proc/loadavg: 4.20 4.40 4.37 7/115 23471
/proc/meminfo: memFree=1120796/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=358308 CPUtime=2980.73
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 82109 0 0 0 297776 297 0 0 25 0 4 0 1115203495 366907392 82000 4294967295 134512640 135305190 3217139536 3217137712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 89577 82000 79 194 0 89381 0
[pid=21174/tid=21175] ppid=21169 vsize=358308 CPUtime=745.53
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9227 0 0 0 74494 59 0 0 25 0 4 0 1115203627 366907392 82000 4294967295 134512640 135305190 3217139536 3060415680 134528559 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=358308 CPUtime=744.47
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 15344 0 0 0 74362 85 0 0 25 0 4 0 1115203627 366907392 82000 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=358308 CPUtime=744.86
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 10542 0 0 0 74419 67 0 0 25 0 4 0 1115203627 366907392 82000 4294967295 134512640 135305190 3217139536 3043638464 134528248 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2995.08
Current children cumulated vsize (KiB) 360724

[startup+822.317 s]
/proc/loadavg: 4.63 4.51 4.41 6/114 23637
/proc/meminfo: memFree=1105484/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=375156 CPUtime=3219.98
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 86015 0 0 0 321675 323 0 0 25 0 4 0 1115203495 384159744 85906 4294967295 134512640 135305190 3217139536 3217137712 134528559 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 93789 85906 79 194 0 93593 0
[pid=21174/tid=21175] ppid=21169 vsize=375156 CPUtime=805.16
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9903 0 0 0 80455 61 0 0 25 0 4 0 1115203627 384159744 85906 4294967295 134512640 135305190 3217139536 3060415680 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=375156 CPUtime=804.11
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 16405 0 0 0 80321 90 0 0 25 0 4 0 1115203627 384159744 85906 4294967295 134512640 135305190 3217139536 3052027072 134528458 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=375156 CPUtime=804.87
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 11598 0 0 0 80404 83 0 0 25 0 4 0 1115203627 384159744 85906 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3234.33
Current children cumulated vsize (KiB) 377572

[startup+882.314 s]
/proc/loadavg: 4.48 4.50 4.41 5/114 23825
/proc/meminfo: memFree=1102020/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=377444 CPUtime=3459.41
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 86547 0 0 0 345607 334 0 0 25 0 4 0 1115203495 386502656 86438 4294967295 134512640 135305190 3217139536 3217137712 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21174/statm: 94361 86438 79 194 0 94165 0
[pid=21174/tid=21175] ppid=21169 vsize=377444 CPUtime=865.12
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9975 0 0 0 86450 62 0 0 25 0 4 0 1115203627 386502656 86438 4294967295 134512640 135305190 3217139536 3060415680 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=377444 CPUtime=863.88
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 16861 0 0 0 86298 90 0 0 25 0 4 0 1115203627 386502656 86438 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=377444 CPUtime=864.62
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 11602 0 0 0 86370 92 0 0 25 0 4 0 1115203627 386502656 86438 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3473.76
Current children cumulated vsize (KiB) 379860

[startup+942.311 s]
/proc/loadavg: 4.55 4.52 4.42 5/114 24018
/proc/meminfo: memFree=1099788/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=379292 CPUtime=3699.02
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 87181 0 0 0 369544 358 0 0 25 0 4 0 1115203495 388395008 87072 4294967295 134512640 135305190 3217139536 3217137712 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21174/statm: 94823 87072 79 194 0 94627 0
[pid=21174/tid=21175] ppid=21169 vsize=379292 CPUtime=924.94
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 10079 0 0 0 92428 66 0 0 25 0 4 0 1115203627 388395008 87072 4294967295 134512640 135305190 3217139536 3060415680 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=379292 CPUtime=923.78
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 17302 0 0 0 92281 97 0 0 25 0 4 0 1115203627 388395008 87072 4294967295 134512640 135305190 3217139536 3052027072 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=379292 CPUtime=924.57
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 11650 0 0 0 92359 98 0 0 25 0 4 0 1115203627 388395008 87072 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3713.37
Current children cumulated vsize (KiB) 381708



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.51 4.53 4.43 5/114 24206
/proc/meminfo: memFree=1083124/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=399284 CPUtime=3929.09
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 91652 0 0 0 392521 388 0 0 25 0 4 0 1115203495 408866816 91543 4294967295 134512640 135305190 3217139536 3217137440 134557352 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21174/statm: 99821 91543 79 194 0 99625 0
[pid=21174/tid=21175] ppid=21169 vsize=399284 CPUtime=982.09
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 10927 0 0 0 98125 84 0 0 25 0 4 0 1115203627 408866816 91543 4294967295 134512640 135305190 3217139536 3060415680 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=399284 CPUtime=981.35
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 18468 0 0 0 98036 99 0 0 25 0 4 0 1115203627 408866816 91543 4294967295 134512640 135305190 3217139536 3052027016 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=399284 CPUtime=982.25
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 12692 0 0 0 98122 103 0 0 25 0 4 0 1115203627 408866816 91543 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3943.44
Current children cumulated vsize (KiB) 401700

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 21169 and gives
#  childrusage.ru_utime.tv_sec=14
#  childrusage.ru_utime.tv_usec=80000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=270000
# CPU time returned by wait4() is 14.35
# while last known CPU time is 3943.44
#
# 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.44
CPU user time (s): 3939.29
CPU system time (s): 4.15
CPU usage (%): 394.329
Max. virtual memory (cumulated for all children) (KiB): 401700

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

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data

Begin job on  at 2009-05-28 12:09:51
IDJOB=1775941
IDBENCH=20405
IDSOLVER=620
FILE ID=/1775941-1243505391
PBS_JOBID=
Free space on /tmp= 7966 MiB

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

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

MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED= 1765475289

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.073
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.073
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.073
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.073
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:       1502136 kB
Buffers:         33264 kB
Cached:        1673260 kB
SwapCached:          0 kB
Active:         424524 kB
Inactive:      1301432 kB
HighTotal:     2489216 kB
HighFree:      1054148 kB
LowTotal:       879316 kB
LowFree:        447988 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           23420 kB
Writeback:           0 kB
AnonPages:       19272 kB
Mapped:           7672 kB
Slab:           130284 kB
SReclaimable:   116616 kB
SUnreclaim:      13668 kB
PageTables:        672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   111076 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7916 MiB
End job on  at 2009-05-28 12:26:35