Trace number 1779232

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) 3986.16 1000.05

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
MD5SUM5822cc7fe01f06c27406011d612b5e7d
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 variables69641
Number of clauses227010
Sum of the clauses size588274
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292498
Number of clauses of size 3134383
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Parsing...
0.12/0.18	c ==============================================================================
0.12/0.18	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.18	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.18	c ==============================================================================
0.12/0.18	c |         0 |  226367   586604 |   67910       0        0     nan |  0.000 % |
0.82/0.89	c |         0 |  163489   553284 |      --       0       --      -- |     --   | -62878/-33320
0.82/0.89	c ==============================================================================
0.82/0.89	c Result  :   #vars: 28527   #clauses: 163489   #literals: 553284
0.82/0.89	c CPU time:   0.85 s
0.82/0.89	c ==============================================================================
3986.07/1000.04	HOME/manysat.sh: line 55: 12083 Terminated              $MS -verbosity=0 $TMP.cnf $TMP.result -$AIMD $AIMD_FLAG "$@"

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-1779232-1243522608/watcher-1779232-1243522608 -o /tmp/evaluation-result-1779232-1243522608/solver-1779232-1243522608 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779232-1243522608.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.74 4.72 4.58 4/110 12081
/proc/meminfo: memFree=2268484/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2416 CPUtime=0
/proc/12080/stat : 12080 (manysat.sh) R 12078 12080 29143 0 -1 4194304 335 0 0 0 0 0 0 0 22 0 1 0 1116923637 2473984 274 4294967295 134512640 135169312 3213532144 3213530620 3085793140 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/12080/statm: 604 274 231 161 0 43 0
[pid=12081] ppid=12080 vsize=13140 CPUtime=0.02
/proc/12081/stat : 12081 (SatElite) R 12080 12080 29143 0 -1 4202496 1986 0 0 0 2 0 0 0 22 0 1 0 1116923637 13455360 1776 4294967295 134512640 135034092 3220433488 3220429832 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12081/statm: 3285 1776 50 128 0 3155 0

[startup+0.083677 s]
/proc/loadavg: 4.74 4.72 4.58 4/110 12081
/proc/meminfo: memFree=2268484/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2416 CPUtime=0
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 350 0 0 0 0 0 0 0 22 0 1 0 1116923637 2473984 274 4294967295 134512640 135169312 3213532144 3213530680 3085790958 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/12080/statm: 604 274 231 161 0 43 0
[pid=12081] ppid=12080 vsize=23136 CPUtime=0.09
/proc/12081/stat : 12081 (SatElite) R 12080 12080 29143 0 -1 4202496 4497 0 0 0 9 0 0 0 25 0 1 0 1116923637 23691264 4287 4294967295 134512640 135034092 3220433488 3220429832 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12081/statm: 5784 4288 50 128 0 5654 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25552

[startup+0.113668 s]
/proc/loadavg: 4.74 4.72 4.58 4/110 12081
/proc/meminfo: memFree=2268484/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2416 CPUtime=0
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 350 0 0 0 0 0 0 0 22 0 1 0 1116923637 2473984 274 4294967295 134512640 135169312 3213532144 3213530680 3085790958 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/12080/statm: 604 274 231 161 0 43 0
[pid=12081] ppid=12080 vsize=26420 CPUtime=0.12
/proc/12081/stat : 12081 (SatElite) R 12080 12080 29143 0 -1 4202496 5229 0 0 0 12 0 0 0 25 0 1 0 1116923637 27054080 5019 4294967295 134512640 135034092 3220433488 3220429832 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12081/statm: 6605 5020 50 128 0 6475 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 28836

[startup+0.313666 s]
/proc/loadavg: 4.74 4.72 4.58 4/110 12081
/proc/meminfo: memFree=2268484/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2416 CPUtime=0
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 350 0 0 0 0 0 0 0 22 0 1 0 1116923637 2473984 274 4294967295 134512640 135169312 3213532144 3213530680 3085790958 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/12080/statm: 604 274 231 161 0 43 0
[pid=12081] ppid=12080 vsize=38088 CPUtime=0.32
/proc/12081/stat : 12081 (SatElite) R 12080 12080 29143 0 -1 4202496 8369 0 0 0 29 3 0 0 25 0 1 0 1116923637 39002112 7955 4294967295 134512640 135034092 3220433488 3220429728 134566409 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12081/statm: 9522 7955 67 128 0 9392 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 40504

[startup+0.713643 s]
/proc/loadavg: 4.74 4.72 4.58 4/110 12081
/proc/meminfo: memFree=2268484/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2416 CPUtime=0
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 350 0 0 0 0 0 0 0 22 0 1 0 1116923637 2473984 274 4294967295 134512640 135169312 3213532144 3213530680 3085790958 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/12080/statm: 604 274 231 161 0 43 0
[pid=12081] ppid=12080 vsize=42924 CPUtime=0.72
/proc/12081/stat : 12081 (SatElite) R 12080 12080 29143 0 -1 4202496 9633 0 0 0 67 5 0 0 25 0 1 0 1116923637 43954176 9083 4294967295 134512640 135034092 3220433488 3220429792 134569568 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12081/statm: 10731 9083 67 128 0 10601 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 45340

[startup+1.5136 s]
/proc/loadavg: 4.44 4.66 4.56 2/111 12082
/proc/meminfo: memFree=2232520/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2420

[startup+3.11352 s]
/proc/loadavg: 4.44 4.66 4.56 5/114 12086
/proc/meminfo: memFree=2213648/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=86916 CPUtime=6.52
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 14396 0 0 0 609 43 0 0 16 0 4 0 1116923749 89001984 14321 4294967295 134512640 135305190 3215633888 3215631792 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 21729 14321 79 194 0 21533 0
[pid=12083/tid=12084] ppid=12080 vsize=86916 CPUtime=1.56
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 709 0 0 0 144 12 0 0 16 0 4 0 1116923785 89001984 14321 4294967295 134512640 135305190 3215633888 3074562992 134556761 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=86916 CPUtime=1.52
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 790 0 0 0 145 7 0 0 16 0 4 0 1116923785 89001984 14321 4294967295 134512640 135305190 3215633888 3066174656 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=86916 CPUtime=1.57
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 821 0 0 0 144 13 0 0 16 0 4 0 1116923785 89001984 14321 4294967295 134512640 135305190 3215633888 3057785776 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 89336

[startup+6.31355 s]
/proc/loadavg: 4.44 4.66 4.56 9/114 12086
/proc/meminfo: memFree=2207692/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=90588 CPUtime=19.33
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 15344 0 0 0 1889 44 0 0 17 0 4 0 1116923749 92762112 15269 4294967295 134512640 135305190 3215633888 3215631728 134551945 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 22647 15269 79 194 0 22451 0
[pid=12083/tid=12084] ppid=12080 vsize=90588 CPUtime=4.76
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 933 0 0 0 464 12 0 0 18 0 4 0 1116923785 92762112 15269 4294967295 134512640 135305190 3215633888 3074562992 134557493 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=90588 CPUtime=4.72
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 947 0 0 0 465 7 0 0 17 0 4 0 1116923785 92762112 15269 4294967295 134512640 135305190 3215633888 3066174336 134552958 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=90588 CPUtime=4.77
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 1059 0 0 0 463 14 0 0 18 0 4 0 1116923785 92762112 15269 4294967295 134512640 135305190 3215633888 3057785776 134558326 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.45
Current children cumulated vsize (KiB) 93008

[startup+12.7132 s]
/proc/loadavg: 4.67 4.70 4.57 5/114 12087
/proc/meminfo: memFree=2203920/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=93340 CPUtime=44.92
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 16117 0 0 0 4448 44 0 0 25 0 4 0 1116923749 95580160 16042 4294967295 134512640 135305190 3215633888 3215631792 134556843 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 23335 16042 79 194 0 23139 0
[pid=12083/tid=12084] ppid=12080 vsize=93340 CPUtime=11.15
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 1158 0 0 0 1103 12 0 0 25 0 4 0 1116923785 95580160 16042 4294967295 134512640 135305190 3215633888 3074563264 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=93340 CPUtime=11.12
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 1120 0 0 0 1105 7 0 0 25 0 4 0 1116923785 95580160 16042 4294967295 134512640 135305190 3215633888 3066174656 134528506 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=93340 CPUtime=11.17
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 1269 0 0 0 1103 14 0 0 25 0 4 0 1116923785 95580160 16042 4294967295 134512640 135305190 3215633888 3057786048 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.04
Current children cumulated vsize (KiB) 95760

[startup+25.5125 s]
/proc/loadavg: 4.80 4.73 4.58 6/115 12225
/proc/meminfo: memFree=2197748/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=98824 CPUtime=95.87
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 17310 0 0 0 9539 48 0 0 25 0 4 0 1116923749 101195776 17235 4294967295 134512640 135305190 3215633888 3215632064 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 24706 17235 79 194 0 24510 0
[pid=12083/tid=12084] ppid=12080 vsize=98824 CPUtime=23.88
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 1497 0 0 0 2374 14 0 0 25 0 4 0 1116923785 101195776 17235 4294967295 134512640 135305190 3215633888 3074563264 134528283 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=98824 CPUtime=23.78
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 1289 0 0 0 2369 9 0 0 25 0 4 0 1116923785 101195776 17235 4294967295 134512640 135305190 3215633888 3066174656 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=98824 CPUtime=23.94
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 1709 0 0 0 2380 14 0 0 25 0 4 0 1116923785 101195776 17235 4294967295 134512640 135305190 3215633888 3057786048 134528428 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 96.99
Current children cumulated vsize (KiB) 101244

[startup+51.1112 s]
/proc/loadavg: 4.84 4.75 4.59 6/114 12273
/proc/meminfo: memFree=2191824/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=105276 CPUtime=198.12
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 19012 0 0 0 19762 50 0 0 25 0 4 0 1116923749 107802624 18937 4294967295 134512640 135305190 3215633888 3215632064 134528263 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 26319 18937 79 194 0 26123 0
[pid=12083/tid=12084] ppid=12080 vsize=105276 CPUtime=49.48
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 1952 0 0 0 4934 14 0 0 25 0 4 0 1116923785 107802624 18937 4294967295 134512640 135305190 3215633888 3074562928 134551712 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=105276 CPUtime=49.32
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 1566 0 0 0 4922 10 0 0 25 0 4 0 1116923785 107802624 18937 4294967295 134512640 135305190 3215633888 3066174656 134528283 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=105276 CPUtime=49.54
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 2274 0 0 0 4940 14 0 0 25 0 4 0 1116923785 107802624 18937 4294967295 134512640 135305190 3215633888 3057785776 134556734 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 199.24
Current children cumulated vsize (KiB) 107696

[startup+102.319 s]
/proc/loadavg: 4.95 4.78 4.61 5/114 12459
/proc/meminfo: memFree=2176928/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=119884 CPUtime=402.38
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 22831 0 0 0 40172 66 0 0 25 0 4 0 1116923749 122761216 22756 4294967295 134512640 135305190 3215633888 3215632064 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 29971 22756 79 194 0 29775 0
[pid=12083/tid=12084] ppid=12080 vsize=119884 CPUtime=100.58
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 2769 0 0 0 10041 17 0 0 25 0 4 0 1116923785 122761216 22756 4294967295 134512640 135305190 3215633888 3074563264 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=119884 CPUtime=100.24
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 2453 0 0 0 10009 15 0 0 25 0 4 0 1116923785 122761216 22756 4294967295 134512640 135305190 3215633888 3066174272 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=119884 CPUtime=100.73
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 3487 0 0 0 10056 17 0 0 25 0 4 0 1116923785 122761216 22756 4294967295 134512640 135305190 3215633888 3057786048 134528594 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 403.5
Current children cumulated vsize (KiB) 122304

[startup+162.305 s]
/proc/loadavg: 4.83 4.76 4.61 6/114 12648
/proc/meminfo: memFree=2170704/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=125996 CPUtime=641.76
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 24147 0 0 0 64089 87 0 0 25 0 4 0 1116923749 129019904 23998 4294967295 134512640 135305190 3215633888 3215632064 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 31499 23998 79 194 0 31303 0
[pid=12083/tid=12084] ppid=12080 vsize=125996 CPUtime=160.41
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 3001 0 0 0 16021 20 0 0 25 0 4 0 1116923785 129019904 23998 4294967295 134512640 135305190 3215633888 3074563264 134528562 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=125996 CPUtime=160.05
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 2905 0 0 0 15985 20 0 0 25 0 4 0 1116923785 129019904 23998 4294967295 134512640 135305190 3215633888 3066174656 134528392 0 0 0 3 0 0 0 -1 2 0 0 0

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

[startup+522.307 s]
/proc/loadavg: 4.56 4.69 4.62 5/114 13598
/proc/meminfo: memFree=2088720/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=209104 CPUtime=2078.74
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 44870 0 0 0 207661 213 0 0 25 0 4 0 1116923749 214122496 44721 4294967295 134512640 135305190 3215633888 3215631728 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 52276 44721 79 194 0 52080 0
[pid=12083/tid=12084] ppid=12080 vsize=209104 CPUtime=519.47
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 6683 0 0 0 51886 61 0 0 25 0 4 0 1116923785 214122496 44721 4294967295 134512640 135305190 3215633888 3074563264 134528554 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=209104 CPUtime=518.74
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 8966 0 0 0 51831 43 0 0 25 0 4 0 1116923785 214122496 44721 4294967295 134512640 135305190 3215633888 3066174272 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=209104 CPUtime=520.47
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 9688 0 0 0 51992 55 0 0 25 0 4 0 1116923785 214122496 44721 4294967295 134512640 135305190 3215633888 3057786048 134528237 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2079.86
Current children cumulated vsize (KiB) 211524

[startup+582.313 s]
/proc/loadavg: 4.67 4.71 4.63 5/114 13785
/proc/meminfo: memFree=2088116/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=209408 CPUtime=2318.02
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 44963 0 0 0 231582 220 0 0 25 0 4 0 1116923749 214433792 44814 4294967295 134512640 135305190 3215633888 3215632064 134528446 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 52352 44814 79 194 0 52156 0
[pid=12083/tid=12084] ppid=12080 vsize=209408 CPUtime=579.45
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 6689 0 0 0 57883 62 0 0 25 0 4 0 1116923785 214433792 44814 4294967295 134512640 135305190 3215633888 3074563264 134528310 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=209408 CPUtime=578.23
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 9034 0 0 0 57777 46 0 0 25 0 4 0 1116923785 214433792 44814 4294967295 134512640 135305190 3215633888 3066174656 134528512 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=209408 CPUtime=580.47
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 9706 0 0 0 57991 56 0 0 25 0 4 0 1116923785 214433792 44814 4294967295 134512640 135305190 3215633888 3057786048 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2319.14
Current children cumulated vsize (KiB) 211828

[startup+642.31 s]
/proc/loadavg: 4.64 4.71 4.64 5/114 13977
/proc/meminfo: memFree=2074592/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=222916 CPUtime=2557.2
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 48438 0 0 0 255492 228 0 0 25 0 4 0 1116923749 228265984 48289 4294967295 134512640 135305190 3215633888 3215632064 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 55729 48289 79 194 0 55533 0
[pid=12083/tid=12084] ppid=12080 vsize=222916 CPUtime=639.3
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 7491 0 0 0 63867 63 0 0 25 0 4 0 1116923785 228265984 48290 4294967295 134512640 135305190 3215633888 3074563264 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=222916 CPUtime=637.64
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 10078 0 0 0 63714 50 0 0 25 0 4 0 1116923785 228265984 48290 4294967295 134512640 135305190 3215633888 3066174272 134551729 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=222916 CPUtime=640.47
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 10521 0 0 0 63991 56 0 0 25 0 4 0 1116923785 228265984 48290 4294967295 134512640 135305190 3215633888 3057785776 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2558.32
Current children cumulated vsize (KiB) 225336

[startup+702.307 s]
/proc/loadavg: 4.73 4.73 4.64 5/114 14164
/proc/meminfo: memFree=2060588/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=237352 CPUtime=2796.7
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 51841 0 0 0 279422 248 0 0 25 0 4 0 1116923749 243048448 51652 4294967295 134512640 135305190 3215633888 3215632064 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 59338 51652 79 194 0 59142 0
[pid=12083/tid=12084] ppid=12080 vsize=237352 CPUtime=699.24
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 8339 0 0 0 69853 71 0 0 25 0 4 0 1116923785 243048448 51652 4294967295 134512640 135305190 3215633888 3074562992 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=237352 CPUtime=697.44
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 10991 0 0 0 69692 52 0 0 25 0 4 0 1116923785 243048448 51652 4294967295 134512640 135305190 3215633888 3066174272 134551808 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=237352 CPUtime=700.31
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 11464 0 0 0 69972 59 0 0 25 0 4 0 1116923785 243048448 51652 4294967295 134512640 135305190 3215633888 3057786048 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2797.82
Current children cumulated vsize (KiB) 239772

[startup+762.314 s]
/proc/loadavg: 4.54 4.68 4.63 6/114 14353
/proc/meminfo: memFree=2044708/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=254104 CPUtime=3035.93
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 55999 0 0 0 303332 261 0 0 25 0 4 0 1116923749 260202496 55810 4294967295 134512640 135305190 3215633888 3215632064 134528371 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12083/statm: 63526 55810 79 194 0 63330 0
[pid=12083/tid=12084] ppid=12080 vsize=254104 CPUtime=759.22
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 9310 0 0 0 75850 72 0 0 25 0 4 0 1116923785 260202496 55810 4294967295 134512640 135305190 3215633888 3074563264 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=254104 CPUtime=756.89
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 11836 0 0 0 75636 53 0 0 25 0 4 0 1116923785 260202496 55810 4294967295 134512640 135305190 3215633888 3066174656 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=254104 CPUtime=760.1
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 12907 0 0 0 75943 67 0 0 25 0 4 0 1116923785 260202496 55810 4294967295 134512640 135305190 3215633888 3057785712 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3037.05
Current children cumulated vsize (KiB) 256524

[startup+822.311 s]
/proc/loadavg: 4.40 4.62 4.61 6/114 14541
/proc/meminfo: memFree=2039740/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=257020 CPUtime=3275.46
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 56682 0 0 0 327271 275 0 0 25 0 4 0 1116923749 263188480 56493 4294967295 134512640 135305190 3215633888 3215631792 134556770 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12083/statm: 64255 56493 79 194 0 64059 0
[pid=12083/tid=12084] ppid=12080 vsize=257020 CPUtime=819.18
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 9440 0 0 0 81842 76 0 0 25 0 4 0 1116923785 263188480 56493 4294967295 134512640 135305190 3215633888 3074562928 134551729 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=257020 CPUtime=816.69
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 12002 0 0 0 81612 57 0 0 25 0 4 0 1116923785 263188480 56493 4294967295 134512640 135305190 3215633888 3066174656 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=257020 CPUtime=820.05
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 13023 0 0 0 81935 70 0 0 25 0 4 0 1116923785 263188480 56493 4294967295 134512640 135305190 3215633888 3057786048 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3276.58
Current children cumulated vsize (KiB) 259440

[startup+882.308 s]
/proc/loadavg: 4.85 4.71 4.64 5/114 14728
/proc/meminfo: memFree=2040128/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=257592 CPUtime=3515.05
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 56848 0 0 0 351225 280 0 0 25 0 4 0 1116923749 263774208 56659 4294967295 134512640 135305190 3215633888 3215632064 134528301 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12083/statm: 64398 56659 79 194 0 64202 0
[pid=12083/tid=12084] ppid=12080 vsize=257592 CPUtime=879.16
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 9457 0 0 0 87839 77 0 0 25 0 4 0 1116923785 263774208 56659 4294967295 134512640 135305190 3215633888 3074563264 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=257592 CPUtime=876.4
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 12151 0 0 0 87580 60 0 0 25 0 4 0 1116923785 263774208 56659 4294967295 134512640 135305190 3215633888 3066174656 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=257592 CPUtime=879.98
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 13023 0 0 0 87928 70 0 0 25 0 4 0 1116923785 263774208 56659 4294967295 134512640 135305190 3215633888 3057786048 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3516.17
Current children cumulated vsize (KiB) 260012

[startup+942.315 s]
/proc/loadavg: 4.87 4.75 4.65 5/114 14916
/proc/meminfo: memFree=2038988/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=258412 CPUtime=3754.67
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 57061 0 0 0 375172 295 0 0 25 0 4 0 1116923749 264613888 56872 4294967295 134512640 135305190 3215633888 3215632064 134528435 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12083/statm: 64603 56872 79 194 0 64407 0
[pid=12083/tid=12084] ppid=12080 vsize=258412 CPUtime=939.04
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 9461 0 0 0 93823 81 0 0 25 0 4 0 1116923785 264613888 56872 4294967295 134512640 135305190 3215633888 3074563264 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=258412 CPUtime=936.16
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 12354 0 0 0 93554 62 0 0 25 0 4 0 1116923785 264613888 56872 4294967295 134512640 135305190 3215633888 3066174656 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=258412 CPUtime=939.98
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 13026 0 0 0 93920 78 0 0 25 0 4 0 1116923785 264613888 56872 4294967295 134512640 135305190 3215633888 3057786048 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3755.79
Current children cumulated vsize (KiB) 260832



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.74 4.72 4.65 6/114 15107
/proc/meminfo: memFree=2034740/3368532 swapFree=1959840/1959888
[pid=12080] ppid=12078 vsize=2420 CPUtime=1.12
/proc/12080/stat : 12080 (manysat.sh) S 12078 12080 29143 0 -1 4194304 371 9929 0 0 0 0 104 8 18 0 1 0 1116923637 2478080 275 4294967295 134512640 135169312 3213532144 3213528360 3085790958 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12080/statm: 605 275 231 161 0 44 0
[pid=12083] ppid=12080 vsize=262148 CPUtime=3984.95
/proc/12083/stat : 12083 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202496 58232 0 0 0 398187 308 0 0 25 0 4 0 1116923749 268439552 58043 4294967295 134512640 135305190 3215633888 3215632064 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12083/statm: 65537 58043 79 194 0 65341 0
[pid=12083/tid=12084] ppid=12080 vsize=262148 CPUtime=996.61
/proc/12083/task/12084/stat : 12084 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 9818 0 0 0 99574 87 0 0 25 0 4 0 1116923785 268439552 58043 4294967295 134512640 135305190 3215633888 3074563264 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12083/tid=12085] ppid=12080 vsize=262148 CPUtime=993.55
/proc/12083/task/12085/stat : 12085 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 12530 0 0 0 99291 64 0 0 25 0 4 0 1116923785 268439552 58043 4294967295 134512640 135305190 3215633888 3066174656 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12083/tid=12086] ppid=12080 vsize=262148 CPUtime=997.6
/proc/12083/task/12086/stat : 12086 (manysat1.1_stat) R 12080 12080 29143 0 -1 4202560 13429 0 0 0 99679 81 0 0 25 0 4 0 1116923785 268439552 58043 4294967295 134512640 135305190 3215633888 3057785776 134557284 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3986.07
Current children cumulated vsize (KiB) 264568

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)
Real time (s): 1000.05
CPU time (s): 3986.16
CPU user time (s): 3982.99
CPU system time (s): 3.17
CPU usage (%): 398.595
Max. virtual memory (cumulated for all children) (KiB): 264568

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

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 16:56:48
IDJOB=1779232
IDBENCH=70824
IDSOLVER=626
FILE ID=/1779232-1243522608
PBS_JOBID=
Free space on /tmp= 7983 MiB

SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-14.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779232-1243522608/watcher-1779232-1243522608 -o /tmp/evaluation-result-1779232-1243522608/solver-1779232-1243522608 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779232-1243522608.cnf aimd 2

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

MD5SUM BENCH= 5822cc7fe01f06c27406011d612b5e7d
RANDOM SEED= 2134703842

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:       2274256 kB
Buffers:         33840 kB
Cached:         939964 kB
SwapCached:          0 kB
Active:          51964 kB
Inactive:       941036 kB
HighTotal:     2489216 kB
HighFree:      1643164 kB
LowTotal:       879316 kB
LowFree:        631092 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            5812 kB
Writeback:           0 kB
AnonPages:       19256 kB
Mapped:           7700 kB
Slab:            91448 kB
SReclaimable:    78604 kB
SUnreclaim:      12844 kB
PageTables:        684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   111080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7983 MiB
End job on  at 2009-05-28 17:13:30