Trace number 1780741

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
MD5SUMb02fa517730e45c506203f9bd7ebb62c
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 variables1740
Number of clauses104640
Sum of the clauses size311346
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22781
Number of clauses of size 3101836
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.04/0.05	c ==============================================================================
0.04/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.04/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.04/0.05	c ==============================================================================
0.04/0.05	c |         0 |  104640   311346 |   31391       0        0     nan |  0.000 % |
0.50/0.56	c |         0 |  103841   441767 |      --       0       --      -- |     --   | -799/130421
0.50/0.56	c ==============================================================================
0.50/0.56	c Result  :   #vars: 1091   #clauses: 103841   #literals: 441767
0.50/0.56	c CPU time:   0.55 s
0.50/0.56	c ==============================================================================
3988.92/1000.04	HOME/manysat.sh: line 55: 20655 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-1780741-1243535270/watcher-1780741-1243535270 -o /tmp/evaluation-result-1780741-1243535270/solver-1780741-1243535270 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780741-1243535270.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.20 4.26 4.28 3/98 20652
/proc/meminfo: memFree=2786712/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2412 CPUtime=0
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935103817 2469888 274 4294967295 134512640 135169312 3215093104 3215091640 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20652/statm: 603 274 231 161 0 42 0
[pid=20653] ppid=20652 vsize=1200 CPUtime=0
/proc/20653/stat : 20653 (SatElite) R 20652 20652 28360 0 -1 4202496 249 0 0 0 0 0 0 0 18 0 1 0 935103817 1228800 186 4294967295 134512640 135034092 3214326896 3214322812 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20653/statm: 300 186 49 128 0 170 0

[startup+0.050192 s]
/proc/loadavg: 4.20 4.26 4.28 3/98 20652
/proc/meminfo: memFree=2786712/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2412 CPUtime=0
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935103817 2469888 274 4294967295 134512640 135169312 3215093104 3215091640 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20652/statm: 603 274 231 161 0 42 0
[pid=20653] ppid=20652 vsize=5544 CPUtime=0.04
/proc/20653/stat : 20653 (SatElite) R 20652 20652 28360 0 -1 4202496 1312 0 0 0 3 1 0 0 18 0 1 0 935103817 5677056 1249 4294967295 134512640 135034092 3214326896 3214322888 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20653/statm: 1386 1250 49 128 0 1256 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7956

[startup+0.110187 s]
/proc/loadavg: 4.20 4.26 4.28 3/98 20652
/proc/meminfo: memFree=2786712/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2412 CPUtime=0
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935103817 2469888 274 4294967295 134512640 135169312 3215093104 3215091640 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20652/statm: 603 274 231 161 0 42 0
[pid=20653] ppid=20652 vsize=8888 CPUtime=0.1
/proc/20653/stat : 20653 (SatElite) R 20652 20652 28360 0 -1 4202496 2172 0 0 0 9 1 0 0 18 0 1 0 935103817 9101312 2109 4294967295 134512640 135034092 3214326896 3214322892 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20653/statm: 2222 2109 67 128 0 2092 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11300

[startup+0.31017 s]
/proc/loadavg: 4.20 4.26 4.28 3/98 20652
/proc/meminfo: memFree=2786712/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2412 CPUtime=0
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935103817 2469888 274 4294967295 134512640 135169312 3215093104 3215091640 3085229806 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/20652/statm: 603 274 231 161 0 42 0
[pid=20653] ppid=20652 vsize=11348 CPUtime=0.3
/proc/20653/stat : 20653 (SatElite) R 20652 20652 28360 0 -1 4202496 2759 0 0 0 29 1 0 0 18 0 1 0 935103817 11620352 2696 4294967295 134512640 135034092 3214326896 3214323200 134569259 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20653/statm: 2837 2696 67 128 0 2707 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13760

[startup+0.710148 s]
/proc/loadavg: 4.20 4.26 4.28 3/98 20652
/proc/meminfo: memFree=2786712/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 2416

[startup+1.51008 s]
/proc/loadavg: 4.20 4.26 4.28 6/103 20658
/proc/meminfo: memFree=2754880/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=62424 CPUtime=2.6
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 8847 0 0 0 257 3 0 0 17 0 4 0 935103888 63922176 8783 4294967295 134512640 135305190 3213863984 3213862128 134570412 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/20655/statm: 15606 8783 79 194 0 15410 0
[pid=20655/tid=20656] ppid=20652 vsize=62424 CPUtime=0.58
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 632 0 0 0 57 1 0 0 19 0 4 0 935103905 63922176 8783 4294967295 134512640 135305190 3213863984 3083492544 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=62424 CPUtime=0.61
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 536 0 0 0 60 1 0 0 19 0 4 0 935103905 63922176 8783 4294967295 134512640 135305190 3213863984 3075103936 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=62424 CPUtime=0.61
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 506 0 0 0 61 0 0 0 19 0 4 0 935103905 63922176 8783 4294967295 134512640 135305190 3213863984 3066714868 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 64840

[startup+3.10996 s]
/proc/loadavg: 4.19 4.26 4.28 6/103 20658
/proc/meminfo: memFree=2746148/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=71460 CPUtime=8.99
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 11358 0 0 0 894 5 0 0 18 0 4 0 935103888 73175040 11294 4294967295 134512640 135305190 3213863984 3213862160 134528418 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/20655/statm: 17865 11294 79 194 0 17669 0
[pid=20655/tid=20656] ppid=20652 vsize=71460 CPUtime=2.18
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 944 0 0 0 217 1 0 0 20 0 4 0 935103905 73175040 11294 4294967295 134512640 135305190 3213863984 3083492512 134570412 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=71460 CPUtime=2.21
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 1157 0 0 0 220 1 0 0 23 0 4 0 935103905 73175040 11294 4294967295 134512640 135305190 3213863984 3075103936 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=71460 CPUtime=2.21
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 1305 0 0 0 221 0 0 0 19 0 4 0 935103905 73175040 11294 4294967295 134512640 135305190 3213863984 3066715076 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (KiB) 73876

[startup+6.3097 s]
/proc/loadavg: 4.19 4.26 4.28 6/103 20658
/proc/meminfo: memFree=2728196/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=90360 CPUtime=21.77
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 15766 0 0 0 2168 9 0 0 25 0 4 0 935103888 92528640 15702 4294967295 134512640 135305190 3213863984 3213862160 134528252 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/20655/statm: 22590 15702 79 194 0 22394 0
[pid=20655/tid=20656] ppid=20652 vsize=90360 CPUtime=5.37
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 1820 0 0 0 535 2 0 0 25 0 4 0 935103905 92528640 15702 4294967295 134512640 135305190 3213863984 3083492544 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=90360 CPUtime=5.41
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 2070 0 0 0 540 1 0 0 25 0 4 0 935103905 92528640 15702 4294967295 134512640 135305190 3213863984 3075103936 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=90360 CPUtime=5.4
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 2539 0 0 0 539 1 0 0 25 0 4 0 935103905 92528640 15702 4294967295 134512640 135305190 3213863984 3066715200 134857151 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.47
Current children cumulated vsize (KiB) 92776

[startup+12.7092 s]
/proc/loadavg: 4.16 4.25 4.28 5/103 20659
/proc/meminfo: memFree=2709428/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=106480 CPUtime=47.32
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 19667 0 0 0 4718 14 0 0 25 0 4 0 935103888 109035520 19603 4294967295 134512640 135305190 3213863984 3213862160 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/20655/statm: 26620 19603 79 194 0 26424 0
[pid=20655/tid=20656] ppid=20652 vsize=106480 CPUtime=11.72
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 2890 0 0 0 1169 3 0 0 25 0 4 0 935103905 109035520 19603 4294967295 134512640 135305190 3213863984 3083492544 134528851 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=106480 CPUtime=11.81
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 2744 0 0 0 1178 3 0 0 25 0 4 0 935103905 109035520 19603 4294967295 134512640 135305190 3213863984 3075103936 134528268 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=106480 CPUtime=11.8
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 3546 0 0 0 1178 2 0 0 25 0 4 0 935103905 109035520 19603 4294967295 134512640 135305190 3213863984 3066715008 134843311 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.02
Current children cumulated vsize (KiB) 108896

[startup+25.5082 s]
/proc/loadavg: 4.13 4.24 4.27 5/103 20660
/proc/meminfo: memFree=2682028/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=131588 CPUtime=98.49
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 25831 0 0 0 9828 21 0 0 18 0 4 0 935103888 134746112 25767 4294967295 134512640 135305190 3213863984 3213862160 134528406 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/20655/statm: 32897 25767 79 194 0 32701 0
[pid=20655/tid=20656] ppid=20652 vsize=131588 CPUtime=24.49
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 4697 0 0 0 2444 5 0 0 25 0 4 0 935103905 134746112 25767 4294967295 134512640 135305190 3213863984 3083492544 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=131588 CPUtime=24.61
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 4254 0 0 0 2454 7 0 0 25 0 4 0 935103905 134746112 25767 4294967295 134512640 135305190 3213863984 3075103936 134528399 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=131588 CPUtime=24.6
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 4958 0 0 0 2457 3 0 0 25 0 4 0 935103905 134746112 25767 4294967295 134512640 135305190 3213863984 3066715328 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.19
Current children cumulated vsize (KiB) 134004

[startup+51.1061 s]
/proc/loadavg: 4.15 4.23 4.27 6/103 20844
/proc/meminfo: memFree=2654528/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=159032 CPUtime=200.48
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 32624 0 0 0 20010 38 0 0 25 0 4 0 935103888 162848768 32560 4294967295 134512640 135305190 3213863984 3213862160 134528410 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/20655/statm: 39758 32560 79 194 0 39562 0
[pid=20655/tid=20656] ppid=20652 vsize=159032 CPUtime=50.02
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 6486 0 0 0 4994 8 0 0 25 0 4 0 935103905 162848768 32560 4294967295 134512640 135305190 3213863984 3083492544 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=159032 CPUtime=50.1
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 5868 0 0 0 4998 12 0 0 25 0 4 0 935103905 162848768 32560 4294967295 134512640 135305190 3213863984 3075103936 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=159032 CPUtime=50.04
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 7216 0 0 0 4997 7 0 0 25 0 4 0 935103905 162848768 32560 4294967295 134512640 135305190 3213863984 3066715100 134835277 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 201.18
Current children cumulated vsize (KiB) 161448

[startup+102.312 s]
/proc/loadavg: 4.31 4.26 4.27 5/103 21033
/proc/meminfo: memFree=2630152/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=184752 CPUtime=404.85
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 38505 0 0 0 40430 55 0 0 25 0 4 0 935103888 189186048 38420 4294967295 134512640 135305190 3213863984 3213862160 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/20655/statm: 46188 38420 79 194 0 45992 0
[pid=20655/tid=20656] ppid=20652 vsize=184752 CPUtime=101.07
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 8636 0 0 0 10095 12 0 0 25 0 4 0 935103905 189186048 38420 4294967295 134512640 135305190 3213863984 3083492544 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=184752 CPUtime=101.27
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 7327 0 0 0 10112 15 0 0 25 0 4 0 935103905 189186048 38420 4294967295 134512640 135305190 3213863984 3075103936 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=184752 CPUtime=101.12
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 8870 0 0 0 10100 12 0 0 25 0 4 0 935103905 189186048 38420 4294967295 134512640 135305190 3213863984 3066715328 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 405.55
Current children cumulated vsize (KiB) 187168

[startup+162.307 s]
/proc/loadavg: 4.31 4.26 4.27 6/104 21191
/proc/meminfo: memFree=2597688/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=218020 CPUtime=644.47

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

[startup+522.308 s]
/proc/loadavg: 4.70 4.53 4.37 6/104 22222
/proc/meminfo: memFree=2516644/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=305692 CPUtime=2081.81
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 66988 0 0 0 207985 196 0 0 25 0 4 0 935103888 313028608 66801 4294967295 134512640 135305190 3213863984 3213862160 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20655/statm: 76423 66801 79 194 0 76227 0
[pid=20655/tid=20656] ppid=20652 vsize=305692 CPUtime=520.75
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 14492 0 0 0 52032 43 0 0 25 0 4 0 935103905 313028608 66801 4294967295 134512640 135305190 3213863984 3083492544 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=305692 CPUtime=520.55
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 13094 0 0 0 52017 38 0 0 25 0 4 0 935103905 313028608 66801 4294967295 134512640 135305190 3213863984 3075103936 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=305692 CPUtime=520.1
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 19647 0 0 0 51945 65 0 0 25 0 4 0 935103905 313028608 66801 4294967295 134512640 135305190 3213863984 3066715328 134528402 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2082.51
Current children cumulated vsize (KiB) 308108

[startup+582.314 s]
/proc/loadavg: 4.59 4.54 4.38 8/104 22411
/proc/meminfo: memFree=2499732/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=324492 CPUtime=2321.08
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 71346 0 0 0 231872 236 0 0 25 0 4 0 935103888 332279808 71159 4294967295 134512640 135305190 3213863984 3213862160 134528392 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20655/statm: 81123 71159 79 194 0 80927 0
[pid=20655/tid=20656] ppid=20652 vsize=324492 CPUtime=580.59
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 15054 0 0 0 58010 49 0 0 25 0 4 0 935103905 332279808 71159 4294967295 134512640 135305190 3213863984 3083492544 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=324492 CPUtime=580.52
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 13940 0 0 0 58006 46 0 0 25 0 4 0 935103905 332279808 71159 4294967295 134512640 135305190 3213863984 3075103936 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=324492 CPUtime=579.59
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 21145 0 0 0 57879 80 0 0 25 0 4 0 935103905 332279808 71159 4294967295 134512640 135305190 3213863984 3066715328 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2321.78
Current children cumulated vsize (KiB) 326908

[startup+642.309 s]
/proc/loadavg: 4.67 4.60 4.41 7/104 22574
/proc/meminfo: memFree=2484160/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=341420 CPUtime=2560.43
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 75395 0 0 0 255792 251 0 0 25 0 4 0 935103888 349614080 75208 4294967295 134512640 135305190 3213863984 3213862160 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20655/statm: 85355 75208 79 194 0 85159 0
[pid=20655/tid=20656] ppid=20652 vsize=341420 CPUtime=640.29
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 15413 0 0 0 63979 50 0 0 25 0 4 0 935103905 349614080 75208 4294967295 134512640 135305190 3213863984 3083492544 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=341420 CPUtime=640.48
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 14753 0 0 0 63996 52 0 0 25 0 4 0 935103905 349614080 75208 4294967295 134512640 135305190 3213863984 3075103936 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=341420 CPUtime=639.57
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 22893 0 0 0 63873 84 0 0 25 0 4 0 935103905 349614080 75208 4294967295 134512640 135305190 3213863984 3066715328 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.13
Current children cumulated vsize (KiB) 343836

[startup+702.314 s]
/proc/loadavg: 4.71 4.65 4.44 6/103 22738
/proc/meminfo: memFree=2477116/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=349380 CPUtime=2799.94
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 77098 0 0 0 279718 276 0 0 25 0 4 0 935103888 357765120 76889 4294967295 134512640 135305190 3213863984 3213862160 134528548 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20655/statm: 87345 76889 79 194 0 87149 0
[pid=20655/tid=20656] ppid=20652 vsize=349380 CPUtime=700.16
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 16101 0 0 0 69961 55 0 0 25 0 4 0 935103905 357765120 76889 4294967295 134512640 135305190 3213863984 3083492544 134528203 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=349380 CPUtime=700.48
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 15497 0 0 0 69991 57 0 0 25 0 4 0 935103905 357765120 76889 4294967295 134512640 135305190 3213863984 3075103552 134551983 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=349380 CPUtime=699.48
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 23011 0 0 0 69863 85 0 0 25 0 4 0 935103905 357765120 76889 4294967295 134512640 135305190 3213863984 3066715328 134528418 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.64
Current children cumulated vsize (KiB) 351796

[startup+762.319 s]
/proc/loadavg: 4.83 4.70 4.47 5/103 22925
/proc/meminfo: memFree=2474132/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=351612 CPUtime=3039.29
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 77595 0 0 0 303643 286 0 0 25 0 4 0 935103888 360050688 77386 4294967295 134512640 135305190 3213863984 3213862160 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20655/statm: 87903 77386 79 194 0 87707 0
[pid=20655/tid=20656] ppid=20652 vsize=351612 CPUtime=759.69
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 16193 0 0 0 75912 57 0 0 25 0 4 0 935103905 360050688 77386 4294967295 134512640 135305190 3213863984 3083492544 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=351612 CPUtime=760.49
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 15672 0 0 0 75989 60 0 0 25 0 4 0 935103905 360050688 77386 4294967295 134512640 135305190 3213863984 3075103936 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=351612 CPUtime=759.49
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 23050 0 0 0 75859 90 0 0 25 0 4 0 935103905 360050688 77386 4294967295 134512640 135305190 3213863984 3066715328 134528242 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3039.99
Current children cumulated vsize (KiB) 354028

[startup+822.304 s]
/proc/loadavg: 4.85 4.74 4.50 5/103 23113
/proc/meminfo: memFree=2471404/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=355924 CPUtime=3278.56
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 78469 0 0 0 327552 304 0 0 25 0 4 0 935103888 364466176 78260 4294967295 134512640 135305190 3213863984 3213862008 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20655/statm: 88981 78260 79 194 0 88785 0
[pid=20655/tid=20656] ppid=20652 vsize=355924 CPUtime=819.4
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 16256 0 0 0 81879 61 0 0 25 0 4 0 935103905 364466176 78260 4294967295 134512640 135305190 3213863984 3083492544 134528341 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=355924 CPUtime=820.48
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 15984 0 0 0 81985 63 0 0 25 0 4 0 935103905 364466176 78260 4294967295 134512640 135305190 3213863984 3075103936 134528376 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=355924 CPUtime=819.48
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 23470 0 0 0 81852 96 0 0 25 0 4 0 935103905 364466176 78260 4294967295 134512640 135305190 3213863984 3066715328 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.26
Current children cumulated vsize (KiB) 358340

[startup+882.31 s]
/proc/loadavg: 5.02 4.82 4.54 5/103 23300
/proc/meminfo: memFree=2466072/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=362820 CPUtime=3518.22
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 80015 0 0 0 351494 328 0 0 25 0 4 0 935103888 371527680 79763 4294967295 134512640 135305190 3213863984 3213862160 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20655/statm: 90705 79763 79 194 0 90509 0
[pid=20655/tid=20656] ppid=20652 vsize=362820 CPUtime=879.31
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 16371 0 0 0 87862 69 0 0 25 0 4 0 935103905 371527680 79763 4294967295 134512640 135305190 3213863984 3083492544 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=362820 CPUtime=880.47
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 16643 0 0 0 87979 68 0 0 25 0 4 0 935103905 371527680 79763 4294967295 134512640 135305190 3213863984 3075103936 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=362820 CPUtime=879.25
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 24181 0 0 0 87820 105 0 0 25 0 4 0 935103905 371527680 79763 4294967295 134512640 135305190 3213863984 3066715328 134528489 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.92
Current children cumulated vsize (KiB) 365236

[startup+942.315 s]
/proc/loadavg: 4.96 4.86 4.57 5/103 23488
/proc/meminfo: memFree=2463724/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=364852 CPUtime=3757.74
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 80485 0 0 0 375425 349 0 0 25 0 4 0 935103888 373608448 80233 4294967295 134512640 135305190 3213863984 3213862160 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20655/statm: 91213 80233 79 194 0 91017 0
[pid=20655/tid=20656] ppid=20652 vsize=364852 CPUtime=938.89
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 16446 0 0 0 93808 81 0 0 25 0 4 0 935103905 373608448 80233 4294967295 134512640 135305190 3213863984 3083492544 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=364852 CPUtime=940.47
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 16798 0 0 0 93976 71 0 0 25 0 4 0 935103905 373608448 80233 4294967295 134512640 135305190 3213863984 3075103936 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=364852 CPUtime=939.22
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 24205 0 0 0 93812 110 0 0 25 0 4 0 935103905 373608448 80233 4294967295 134512640 135305190 3213863984 3066715120 134547909 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.44
Current children cumulated vsize (KiB) 367268



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.82 4.84 4.58 6/103 23680
/proc/meminfo: memFree=2457004/3368532 swapFree=1959840/1959888
[pid=20652] ppid=20650 vsize=2416 CPUtime=0.7
/proc/20652/stat : 20652 (manysat.sh) S 20650 20652 28360 0 -1 4194304 371 2765 0 0 0 0 69 1 15 0 1 0 935103817 2473984 275 4294967295 134512640 135169312 3215093104 3215089320 3085229806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20652/statm: 604 275 231 161 0 43 0
[pid=20655] ppid=20652 vsize=373364 CPUtime=3988.22
/proc/20655/stat : 20655 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202496 82175 0 0 0 398457 365 0 0 25 0 4 0 935103888 382324736 81923 4294967295 134512640 135305190 3213863984 3213862160 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20655/statm: 93341 81923 79 194 0 93145 0
[pid=20655/tid=20656] ppid=20652 vsize=373364 CPUtime=996.4
/proc/20655/task/20656/stat : 20656 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 16595 0 0 0 99557 83 0 0 25 0 4 0 935103905 382324736 81923 4294967295 134512640 135305190 3213863984 3083492544 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20655/tid=20657] ppid=20652 vsize=373364 CPUtime=998.17
/proc/20655/task/20657/stat : 20657 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 16948 0 0 0 99744 73 0 0 25 0 4 0 935103905 382324736 81923 4294967295 134512640 135305190 3213863984 3075103936 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20655/tid=20658] ppid=20652 vsize=373364 CPUtime=996.82
/proc/20655/task/20658/stat : 20658 (manysat1.1_stat) R 20652 20652 28360 0 -1 4202560 25465 0 0 0 99565 117 0 0 25 0 4 0 935103905 382324736 81923 4294967295 134512640 135305190 3213863984 3066715328 134528536 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3988.92
Current children cumulated vsize (KiB) 375780

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): 3988.99
CPU user time (s): 3985.32
CPU system time (s): 3.67
CPU usage (%): 398.879
Max. virtual memory (cumulated for all children) (KiB): 375780

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

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 20:27:50
IDJOB=1780741
IDBENCH=71064
IDSOLVER=620
FILE ID=tipi39/1780741-1243535270
PBS_JOBID=
Free space on /tmp= 5742 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_11_UNKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780741-1243535270/watcher-1780741-1243535270 -o /tmp/evaluation-result-1780741-1243535270/solver-1780741-1243535270 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1780741-1243535270.cnf aimd 0

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

MD5SUM BENCH= b02fa517730e45c506203f9bd7ebb62c
RANDOM SEED= 601364458

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
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.067
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:       2787156 kB
Buffers:         51920 kB
Cached:         424836 kB
SwapCached:          0 kB
Active:          42964 kB
Inactive:       450112 kB
HighTotal:     2489216 kB
HighFree:      2051136 kB
LowTotal:       879316 kB
LowFree:        736020 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            3144 kB
Writeback:           0 kB
AnonPages:       16320 kB
Mapped:           5904 kB
Slab:            78968 kB
SReclaimable:    68080 kB
SUnreclaim:      10888 kB
PageTables:        512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    95164 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5741 MiB
End job on tipi39 at 2009-05-28 20:44:33