Trace number 1776667

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

General information on the benchmark

Namegoldb-heqc-frg1mul.cnf
MD5SUM4984fea7abc49dd7f6973cd779e805d7
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 variables3230
Number of clauses20575
Sum of the clauses size69606
Maximum clause length6
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24746
Number of clauses of size 39516
Number of clauses of size 40
Number of clauses of size 56312
Number of clauses of size over 51

Solver Data 

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   20575    69606 |    6172       0        0     nan |  0.000 % |
0.00/0.04	c |         0 |   20567    69669 |      --       0       --      -- |     --   | -8/63
0.00/0.04	c ==============================================================================
0.00/0.04	c Result  :   #vars: 3221   #clauses: 20567   #literals: 69669
0.00/0.04	c CPU time:   0.05 s
0.00/0.04	c ==============================================================================
3990.01/1000.05	HOME/manysat.sh: line 55:  1958 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-1776667-1243511944/watcher-1776667-1243511944 -o /tmp/evaluation-result-1776667-1243511944/solver-1776667-1243511944 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776667-1243511944.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: 3.93 4.28 4.27 3/99 1955
/proc/meminfo: memFree=3100896/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2412 CPUtime=0
/proc/1955/stat : 1955 (manysat.sh) R 1953 1955 19648 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 1115858771 2469888 273 4294967295 134512640 135169312 3213140880 3213139356 3085617012 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/1955/statm: 603 273 231 161 0 42 0

[startup+0.013261 s]
/proc/loadavg: 3.93 4.28 4.27 3/99 1955
/proc/meminfo: memFree=3100896/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2412 CPUtime=0
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1115858771 2469888 273 4294967295 134512640 135169312 3213140880 3213139416 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 603 273 231 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.113249 s]
/proc/loadavg: 3.93 4.28 4.27 3/99 1955
/proc/meminfo: memFree=3100896/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2416

[startup+0.313236 s]
/proc/loadavg: 3.93 4.28 4.27 3/99 1955
/proc/meminfo: memFree=3100896/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2416

[startup+0.713199 s]
/proc/loadavg: 3.93 4.28 4.27 3/99 1955
/proc/meminfo: memFree=3100896/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2416

[startup+1.51312 s]
/proc/loadavg: 3.93 4.28 4.27 6/104 1961
/proc/meminfo: memFree=3087300/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=44492 CPUtime=5.35
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 4448 0 0 0 532 3 0 0 16 0 4 0 1115858778 45559808 4380 4294967295 134512640 135305190 3216105056 3216103232 134528392 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1958/statm: 11123 4380 79 194 0 10927 0
[pid=1958/tid=1959] ppid=1955 vsize=44492 CPUtime=1.36
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 596 0 0 0 134 2 0 0 16 0 4 0 1115858782 45559808 4380 4294967295 134512640 135305190 3216105056 3086052208 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=44492 CPUtime=1.19
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 627 0 0 0 119 0 0 0 17 0 4 0 1115858782 45559808 4380 4294967295 134512640 135305190 3216105056 3077663616 134552926 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=44492 CPUtime=1.38
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 827 0 0 0 138 0 0 0 15 0 4 0 1115858782 45559808 4380 4294967295 134512640 135305190 3216105056 3069274992 134551820 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 46908

[startup+3.13751 s]
/proc/loadavg: 3.93 4.28 4.27 7/104 1961
/proc/meminfo: memFree=3081824/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=50664 CPUtime=11.84
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 5996 0 0 0 1180 4 0 0 15 0 4 0 1115858778 51879936 5928 4294967295 134512640 135305190 3216105056 3216103080 134695249 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1958/statm: 12666 5928 79 194 0 12470 0
[pid=1958/tid=1959] ppid=1955 vsize=50664 CPUtime=2.98
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 884 0 0 0 296 2 0 0 16 0 4 0 1115858782 51879936 5928 4294967295 134512640 135305190 3216105056 3086052616 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=50664 CPUtime=2.81
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) S 1955 1955 19648 0 -1 4202560 977 0 0 0 280 1 0 0 15 0 4 0 1115858782 51879936 5928 4294967295 134512640 135305190 3216105056 3077663860 134694990 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=50664 CPUtime=3
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 1344 0 0 0 300 0 0 0 16 0 4 0 1115858782 51879936 5928 4294967295 134512640 135305190 3216105056 3069275396 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.91
Current children cumulated vsize (KiB) 53080

[startup+6.31304 s]
/proc/loadavg: 4.10 4.31 4.28 8/104 1961
/proc/meminfo: memFree=3075208/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=57268 CPUtime=24.55
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 7608 0 0 0 2449 6 0 0 16 0 4 0 1115858778 58642432 7540 4294967295 134512640 135305190 3216105056 3216103232 134528545 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1958/statm: 14317 7540 79 194 0 14121 0
[pid=1958/tid=1959] ppid=1955 vsize=57268 CPUtime=6.15
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 1256 0 0 0 612 3 0 0 16 0 4 0 1115858782 58642432 7540 4294967295 134512640 135305190 3216105056 3086052544 134528263 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=57268 CPUtime=5.99
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 1350 0 0 0 598 1 0 0 17 0 4 0 1115858782 58642432 7540 4294967295 134512640 135305190 3216105056 3077663936 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=57268 CPUtime=6.18
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 1842 0 0 0 617 1 0 0 15 0 4 0 1115858782 58642432 7540 4294967295 134512640 135305190 3216105056 3069275272 134837998 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (KiB) 59684

[startup+12.7124 s]
/proc/loadavg: 4.33 4.35 4.30 6/104 2144
/proc/meminfo: memFree=3061584/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=66908 CPUtime=49.74
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 9974 0 0 0 4963 11 0 0 17 0 4 0 1115858778 68513792 9906 4294967295 134512640 135305190 3216105056 3216103232 134528774 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1958/statm: 16727 9906 79 194 0 16531 0
[pid=1958/tid=1959] ppid=1955 vsize=66908 CPUtime=12.39
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 1732 0 0 0 1234 5 0 0 19 0 4 0 1115858782 68513792 9906 4294967295 134512640 135305190 3216105056 3086052544 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=66908 CPUtime=12.35
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 1837 0 0 0 1234 1 0 0 17 0 4 0 1115858782 68513792 9906 4294967295 134512640 135305190 3216105056 3077663936 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=66908 CPUtime=12.37
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 2573 0 0 0 1233 4 0 0 18 0 4 0 1115858782 68513792 9906 4294967295 134512640 135305190 3216105056 3069275328 134528286 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (KiB) 69324

[startup+25.5112 s]
/proc/loadavg: 4.34 4.35 4.30 5/104 2144
/proc/meminfo: memFree=3047200/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=82012 CPUtime=100.86
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 13815 0 0 0 10069 17 0 0 25 0 4 0 1115858778 83980288 13747 4294967295 134512640 135305190 3216105056 3216103232 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1958/statm: 20503 13747 79 194 0 20307 0
[pid=1958/tid=1959] ppid=1955 vsize=82012 CPUtime=25.18
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 2639 0 0 0 2511 7 0 0 23 0 4 0 1115858782 83980288 13747 4294967295 134512640 135305190 3216105056 3086052432 134538546 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=82012 CPUtime=25.1
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 2516 0 0 0 2508 2 0 0 25 0 4 0 1115858782 83980288 13747 4294967295 134512640 135305190 3216105056 3077663936 134528341 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=82012 CPUtime=25.17
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 3707 0 0 0 2511 6 0 0 25 0 4 0 1115858782 83980288 13747 4294967295 134512640 135305190 3216105056 3069275056 134557974 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.93
Current children cumulated vsize (KiB) 84428

[startup+51.1088 s]
/proc/loadavg: 4.28 4.34 4.29 6/104 2147
/proc/meminfo: memFree=3028316/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=102616 CPUtime=203.17
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 18793 0 0 0 20293 24 0 0 25 0 4 0 1115858778 105078784 18725 4294967295 134512640 135305190 3216105056 3216102960 134557284 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1958/statm: 25654 18725 79 194 0 25458 0
[pid=1958/tid=1959] ppid=1955 vsize=102616 CPUtime=50.78
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 4027 0 0 0 5070 8 0 0 25 0 4 0 1115858782 105078784 18725 4294967295 134512640 135305190 3216105056 3086052544 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=102616 CPUtime=50.62
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 3642 0 0 0 5060 2 0 0 25 0 4 0 1115858782 105078784 18725 4294967295 134512640 135305190 3216105056 3077663936 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=102616 CPUtime=50.77
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 5014 0 0 0 5069 8 0 0 25 0 4 0 1115858782 105078784 18725 4294967295 134512640 135305190 3216105056 3069275328 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.24
Current children cumulated vsize (KiB) 105032

[startup+102.314 s]
/proc/loadavg: 4.29 4.33 4.29 5/104 2334
/proc/meminfo: memFree=3011056/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=118048 CPUtime=407.38
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 22470 0 0 0 40690 48 0 0 25 0 4 0 1115858778 120881152 22402 4294967295 134512640 135305190 3216105056 3216102960 134557484 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1958/statm: 29512 22402 79 194 0 29316 0
[pid=1958/tid=1959] ppid=1955 vsize=118048 CPUtime=101.93
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 5067 0 0 0 10182 11 0 0 25 0 4 0 1115858782 120881152 22402 4294967295 134512640 135305190 3216105056 3086052544 134528851 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=118048 CPUtime=101.37
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 4331 0 0 0 10123 14 0 0 25 0 4 0 1115858782 120881152 22402 4294967295 134512640 135305190 3216105056 3077663936 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=118048 CPUtime=101.93
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 6091 0 0 0 10181 12 0 0 25 0 4 0 1115858782 120881152 22402 4294967295 134512640 135305190 3216105056 3069275328 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.45
Current children cumulated vsize (KiB) 120464

[startup+162.318 s]
/proc/loadavg: 4.27 4.32 4.29 5/104 2524
/proc/meminfo: memFree=2995900/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=135176 CPUtime=646.93
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 26324 0 0 0 64619 74 0 0 25 0 4 0 1115858778 138420224 26256 4294967295 134512640 135305190 3216105056 3216103232 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1958/statm: 33794 26256 79 194 0 33598 0
[pid=1958/tid=1959] ppid=1955 vsize=135176 CPUtime=161.75
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 6235 0 0 0 16157 18 0 0 25 0 4 0 1115858782 138420224 26256 4294967295 134512640 135305190 3216105056 3086052544 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=135176 CPUtime=161.12
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 5070 0 0 0 16090 22 0 0 25 0 4 0 1115858782 138420224 26256 4294967295 134512640 135305190 3216105056 3077663552 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=135176 CPUtime=161.93
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 6970 0 0 0 16180 13 0 0 25 0 4 0 1115858782 138420224 26256 4294967295 134512640 135305190 3216105056 3069275328 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 647
Current children cumulated vsize (KiB) 137592

[startup+222.312 s]

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

[startup+522.314 s]
/proc/loadavg: 4.17 4.23 4.25 5/104 3697
/proc/meminfo: memFree=2903140/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=232868 CPUtime=2083.47
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 49317 0 0 0 208135 212 0 0 25 0 4 0 1115858778 238456832 49249 4294967295 134512640 135305190 3216105056 3216103232 134528223 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1958/statm: 58217 49249 79 194 0 58021 0
[pid=1958/tid=1959] ppid=1955 vsize=232868 CPUtime=520.83
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 11077 0 0 0 52025 58 0 0 25 0 4 0 1115858782 238456832 49249 4294967295 134512640 135305190 3216105056 3086052544 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=232868 CPUtime=520.46
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 12453 0 0 0 51998 48 0 0 25 0 4 0 1115858782 238456832 49249 4294967295 134512640 135305190 3216105056 3077663936 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=232868 CPUtime=521.04
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 12337 0 0 0 52053 51 0 0 25 0 4 0 1115858782 238456832 49249 4294967295 134512640 135305190 3216105056 3069275328 134528418 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2083.54
Current children cumulated vsize (KiB) 235284

[startup+582.308 s]
/proc/loadavg: 4.25 4.25 4.26 5/104 3883
/proc/meminfo: memFree=2900048/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=236004 CPUtime=2322.88
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 49974 0 0 0 232065 223 0 0 25 0 4 0 1115858778 241668096 49906 4294967295 134512640 135305190 3216105056 3216103232 134528506 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1958/statm: 59001 49906 79 194 0 58805 0
[pid=1958/tid=1959] ppid=1955 vsize=236004 CPUtime=580.76
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 11095 0 0 0 58014 62 0 0 25 0 4 0 1115858782 241668096 49906 4294967295 134512640 135305190 3216105056 3086052544 134528559 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=236004 CPUtime=580.39
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 12553 0 0 0 57991 48 0 0 25 0 4 0 1115858782 241668096 49906 4294967295 134512640 135305190 3216105056 3077663936 134528576 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=236004 CPUtime=580.71
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 12817 0 0 0 58015 56 0 0 25 0 4 0 1115858782 241668096 49906 4294967295 134512640 135305190 3216105056 3069275328 134528415 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2322.95
Current children cumulated vsize (KiB) 238420

[startup+642.312 s]
/proc/loadavg: 4.36 4.29 4.27 6/104 4076
/proc/meminfo: memFree=2886604/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=250916 CPUtime=2562.33
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 53591 0 0 0 255976 257 0 0 25 0 4 0 1115858778 256937984 53523 4294967295 134512640 135305190 3216105056 3216103232 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1958/statm: 62729 53523 79 194 0 62533 0
[pid=1958/tid=1959] ppid=1955 vsize=250916 CPUtime=640.44
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 11690 0 0 0 63975 69 0 0 25 0 4 0 1115858782 256937984 53524 4294967295 134512640 135305190 3216105056 3086052020 134839991 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=250916 CPUtime=640.4
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 13538 0 0 0 63983 57 0 0 25 0 4 0 1115858782 256937984 53524 4294967295 134512640 135305190 3216105056 3077663936 134528215 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=250916 CPUtime=640.53
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 14200 0 0 0 63989 64 0 0 25 0 4 0 1115858782 256937984 53524 4294967295 134512640 135305190 3216105056 3069275328 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562.4
Current children cumulated vsize (KiB) 253332

[startup+702.307 s]
/proc/loadavg: 4.35 4.29 4.27 6/104 4263
/proc/meminfo: memFree=2876364/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=261848 CPUtime=2801.79
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 56021 0 0 0 279906 273 0 0 25 0 4 0 1115858778 268132352 55939 4294967295 134512640 135305190 3216105056 3216103232 134528379 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1958/statm: 65462 55939 79 194 0 65266 0
[pid=1958/tid=1959] ppid=1955 vsize=261848 CPUtime=700.32
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 12450 0 0 0 69959 73 0 0 25 0 4 0 1115858782 268132352 55939 4294967295 134512640 135305190 3216105056 3086052432 134538298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=261848 CPUtime=700.3
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 14210 0 0 0 69965 65 0 0 25 0 4 0 1115858782 268132352 55939 4294967295 134512640 135305190 3216105056 3077663936 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=261848 CPUtime=700.46
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 15002 0 0 0 69981 65 0 0 25 0 4 0 1115858782 268132352 55939 4294967295 134512640 135305190 3216105056 3069275120 134547909 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.86
Current children cumulated vsize (KiB) 264264

[startup+762.321 s]
/proc/loadavg: 4.29 4.30 4.27 5/104 4451
/proc/meminfo: memFree=2873232/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=264832 CPUtime=3041.33
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 57028 0 0 0 303845 288 0 0 25 0 4 0 1115858778 271187968 56946 4294967295 134512640 135305190 3216105056 3216103232 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1958/statm: 66208 56946 79 194 0 66012 0
[pid=1958/tid=1959] ppid=1955 vsize=264832 CPUtime=760.27
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 12655 0 0 0 75951 76 0 0 25 0 4 0 1115858782 271187968 56946 4294967295 134512640 135305190 3216105056 3086052544 134528363 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=264832 CPUtime=760.19
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 14354 0 0 0 75948 71 0 0 25 0 4 0 1115858782 271187968 56946 4294967295 134512640 135305190 3216105056 3077663936 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=264832 CPUtime=760.44
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 15550 0 0 0 75979 65 0 0 25 0 4 0 1115858782 271187968 56946 4294967295 134512640 135305190 3216105056 3069275328 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.4
Current children cumulated vsize (KiB) 267248

[startup+822.315 s]
/proc/loadavg: 4.25 4.29 4.27 5/104 4640
/proc/meminfo: memFree=2868792/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=269852 CPUtime=3280.82
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 58106 0 0 0 327777 305 0 0 25 0 4 0 1115858778 276328448 58024 4294967295 134512640 135305190 3216105056 3216103232 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1958/statm: 67463 58024 79 194 0 67267 0
[pid=1958/tid=1959] ppid=1955 vsize=269852 CPUtime=820.09
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 12780 0 0 0 81928 81 0 0 25 0 4 0 1115858782 276328448 58024 4294967295 134512640 135305190 3216105056 3086052544 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=269852 CPUtime=819.99
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 14747 0 0 0 81924 75 0 0 25 0 4 0 1115858782 276328448 58024 4294967295 134512640 135305190 3216105056 3077663936 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=269852 CPUtime=820.4
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 15839 0 0 0 81971 69 0 0 25 0 4 0 1115858782 276328448 58024 4294967295 134512640 135305190 3216105056 3069275328 134528548 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3280.89
Current children cumulated vsize (KiB) 272268

[startup+882.31 s]
/proc/loadavg: 4.19 4.26 4.26 5/104 4826
/proc/meminfo: memFree=2854416/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=284544 CPUtime=3520.34
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 61727 0 0 0 351714 320 0 0 25 0 4 0 1115858778 291373056 61645 4294967295 134512640 135305190 3216105056 3216103232 134528329 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/1958/statm: 71136 61645 79 194 0 70940 0
[pid=1958/tid=1959] ppid=1955 vsize=284544 CPUtime=879.85
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 13744 0 0 0 87897 88 0 0 25 0 4 0 1115858782 291373056 61645 4294967295 134512640 135305190 3216105056 3086052544 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=284544 CPUtime=879.87
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 16094 0 0 0 87909 78 0 0 25 0 4 0 1115858782 291373056 61645 4294967295 134512640 135305190 3216105056 3077663936 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=284544 CPUtime=880.33
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 16801 0 0 0 87961 72 0 0 25 0 4 0 1115858782 291373056 61645 4294967295 134512640 135305190 3216105056 3069275328 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.41
Current children cumulated vsize (KiB) 286960

[startup+942.304 s]
/proc/loadavg: 4.37 4.30 4.27 5/104 5019
/proc/meminfo: memFree=2850656/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=288836 CPUtime=3759.7
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 62517 0 0 0 375636 334 0 0 25 0 4 0 1115858778 295768064 62435 4294967295 134512640 135305190 3216105056 3216103232 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/1958/statm: 72209 62435 79 194 0 72013 0
[pid=1958/tid=1959] ppid=1955 vsize=288836 CPUtime=939.52
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 14114 0 0 0 93862 90 0 0 25 0 4 0 1115858782 295768064 62435 4294967295 134512640 135305190 3216105056 3086052544 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=288836 CPUtime=939.78
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 16204 0 0 0 93897 81 0 0 25 0 4 0 1115858782 295768064 62435 4294967295 134512640 135305190 3216105056 3077663936 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=288836 CPUtime=940.14
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 17045 0 0 0 93938 76 0 0 25 0 4 0 1115858782 295768064 62435 4294967295 134512640 135305190 3216105056 3069275120 134547909 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3759.77
Current children cumulated vsize (KiB) 291252



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.41 4.33 4.28 5/104 5205
/proc/meminfo: memFree=2841748/3368532 swapFree=1953580/1959888
[pid=1955] ppid=1953 vsize=2416 CPUtime=0.07
/proc/1955/stat : 1955 (manysat.sh) S 1953 1955 19648 0 -1 4194304 368 682 0 0 0 0 7 0 18 0 1 0 1115858771 2473984 274 4294967295 134512640 135169312 3213140880 3213137096 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/1955/statm: 604 274 231 161 0 43 0
[pid=1958] ppid=1955 vsize=299380 CPUtime=3989.94
/proc/1958/stat : 1958 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202496 64849 0 0 0 398644 350 0 0 25 0 4 0 1115858778 306565120 64767 4294967295 134512640 135305190 3216105056 3216103232 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1958/statm: 74845 64767 79 194 0 74649 0
[pid=1958/tid=1959] ppid=1955 vsize=299380 CPUtime=997.1
/proc/1958/task/1959/stat : 1959 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 14371 0 0 0 99616 94 0 0 25 0 4 0 1115858782 306565120 64768 4294967295 134512640 135305190 3216105056 3086052544 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1958/tid=1960] ppid=1955 vsize=299380 CPUtime=997.18
/proc/1958/task/1960/stat : 1960 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 16740 0 0 0 99636 82 0 0 25 0 4 0 1115858782 306565120 64768 4294967295 134512640 135305190 3216105056 3077663936 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1958/tid=1961] ppid=1955 vsize=299380 CPUtime=997.73
/proc/1958/task/1961/stat : 1961 (manysat1.1_stat) R 1955 1955 19648 0 -1 4202560 17990 0 0 0 99694 79 0 0 25 0 4 0 1115858782 306565120 64768 4294967295 134512640 135305190 3216105056 3069275328 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3990.01
Current children cumulated vsize (KiB) 301796

Sending SIGTERM to process tree (bottom up)


Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1000.05
CPU time (s): 3990.1
CPU user time (s): 3986.59
CPU system time (s): 3.51
CPU usage (%): 398.988
Max. virtual memory (cumulated for all children) (KiB): 301796

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

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 13:59:04
IDJOB=1776667
IDBENCH=69567
IDSOLVER=626
FILE ID=/1776667-1243511944
PBS_JOBID=
Free space on /tmp= 15884 MiB

SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-frg1mul.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776667-1243511944/watcher-1776667-1243511944 -o /tmp/evaluation-result-1776667-1243511944/solver-1776667-1243511944 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1776667-1243511944.cnf aimd 2

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

MD5SUM BENCH= 4984fea7abc49dd7f6973cd779e805d7
RANDOM SEED= 1034894116

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3100896 kB
Buffers:         22716 kB
Cached:         167408 kB
SwapCached:       2424 kB
Active:          82204 kB
Inactive:       118556 kB
HighTotal:     2489216 kB
HighFree:      2308420 kB
LowTotal:       879316 kB
LowFree:        792476 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            1828 kB
Writeback:           0 kB
AnonPages:        9916 kB
Mapped:           5004 kB
Slab:            57228 kB
SReclaimable:    49192 kB
SUnreclaim:       8036 kB
PageTables:        560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93920 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15884 MiB
End job on  at 2009-05-28 14:15:44