Trace number 1781497

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

General information on the benchmark

Namesimon-s02b-k2f-gr-rcs-w8.cnf
MD5SUM5da8899feefc5a4bb9db99e983e30f52
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 variables10056
Number of clauses271393
Sum of the clauses size550328
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2270136
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51257

Solver Data 

0.00/0.00	c Parsing...
0.12/0.16	c ==============================================================================
0.12/0.16	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.16	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.16	c ==============================================================================
0.12/0.16	c |         0 |  271393   550328 |   81417       0        0     nan |  0.000 % |
1.32/1.34	c |         0 |  269998   945031 |      --       0       --      -- |     --   | -1395/394703
1.32/1.34	c ==============================================================================
1.32/1.34	c Result  :   #vars: 8694   #clauses: 269998   #literals: 945031
1.32/1.34	c CPU time:   1.32 s
1.32/1.34	c ==============================================================================
3984.20/1000.05	HOME/manysat.sh: line 55: 19045 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-1781497-1243545015/watcher-1781497-1243545015 -o /tmp/evaluation-result-1781497-1243545015/solver-1781497-1243545015 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781497-1243545015.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.34 4.31 4.28 3/96 19042
/proc/meminfo: memFree=2861240/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2416 CPUtime=0
/proc/19042/stat : 19042 (manysat.sh) R 19040 19042 27966 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 1119165657 2473984 274 4294967295 134512640 135169312 3213679632 3213678108 3085629300 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/19042/statm: 604 274 231 161 0 43 0
[pid=19043] ppid=19042 vsize=2460 CPUtime=0
/proc/19043/stat : 19043 (SatElite) R 19042 19042 27966 0 -1 4202496 432 0 0 0 0 0 0 0 18 0 1 0 1119165657 2519040 369 4294967295 134512640 135034092 3218354256 3218350544 134544897 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19043/statm: 615 373 49 128 0 485 0

[startup+0.06494 s]
/proc/loadavg: 4.34 4.31 4.28 3/96 19042
/proc/meminfo: memFree=2861240/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2416 CPUtime=0
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1119165657 2473984 274 4294967295 134512640 135169312 3213679632 3213678168 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 604 274 231 161 0 43 0
[pid=19043] ppid=19042 vsize=7388 CPUtime=0.07
/proc/19043/stat : 19043 (SatElite) R 19042 19042 27966 0 -1 4202496 1690 0 0 0 7 0 0 0 19 0 1 0 1119165657 7565312 1627 4294967295 134512640 135034092 3218354256 3218350172 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19043/statm: 1847 1628 49 128 0 1717 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9804

[startup+0.114936 s]
/proc/loadavg: 4.34 4.31 4.28 3/96 19042
/proc/meminfo: memFree=2861240/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2416 CPUtime=0
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1119165657 2473984 274 4294967295 134512640 135169312 3213679632 3213678168 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 604 274 231 161 0 43 0
[pid=19043] ppid=19042 vsize=11332 CPUtime=0.12
/proc/19043/stat : 19043 (SatElite) R 19042 19042 27966 0 -1 4202496 2628 0 0 0 12 0 0 0 20 0 1 0 1119165657 11603968 2565 4294967295 134512640 135034092 3218354256 3218350600 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19043/statm: 2833 2566 49 128 0 2703 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13748

[startup+0.314919 s]
/proc/loadavg: 4.34 4.31 4.28 3/96 19042
/proc/meminfo: memFree=2861240/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2416 CPUtime=0
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1119165657 2473984 274 4294967295 134512640 135169312 3213679632 3213678168 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 604 274 231 161 0 43 0
[pid=19043] ppid=19042 vsize=22348 CPUtime=0.32
/proc/19043/stat : 19043 (SatElite) R 19042 19042 27966 0 -1 4202496 5183 0 0 0 32 0 0 0 20 0 1 0 1119165657 22884352 5120 4294967295 134512640 135034092 3218354256 3218350124 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19043/statm: 5587 5120 67 128 0 5457 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 24764

[startup+0.714895 s]
/proc/loadavg: 4.34 4.31 4.28 3/96 19042
/proc/meminfo: memFree=2861240/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2416 CPUtime=0
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1119165657 2473984 274 4294967295 134512640 135169312 3213679632 3213678168 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 604 274 231 161 0 43 0
[pid=19043] ppid=19042 vsize=29748 CPUtime=0.72
/proc/19043/stat : 19043 (SatElite) R 19042 19042 27966 0 -1 4202496 6539 0 0 0 70 2 0 0 21 0 1 0 1119165657 30461952 6476 4294967295 134512640 135034092 3218354256 3218350576 134670028 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19043/statm: 7437 6476 67 128 0 7307 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 32164

[startup+1.51482 s]
/proc/loadavg: 4.07 4.26 4.27 2/98 19044
/proc/meminfo: memFree=2834500/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2416 CPUtime=0
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1119165657 2473984 274 4294967295 134512640 135169312 3213679632 3213678168 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 604 274 231 161 0 43 0
[pid=19043] ppid=19042 vsize=25136 CPUtime=1.52
/proc/19043/stat : 19043 (SatElite) R 19042 19042 27966 0 -1 4202496 6540 0 0 0 149 3 0 0 24 0 1 0 1119165657 25739264 5853 4294967295 134512640 135034092 3218354256 3218349140 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19043/statm: 6284 5853 67 128 0 6154 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 27552

[startup+3.1147 s]
/proc/loadavg: 4.07 4.26 4.27 2/98 19045
/proc/meminfo: memFree=2809636/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=97588 CPUtime=3.56
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 17541 0 0 0 346 10 0 0 18 0 4 0 1119165825 99930112 17477 4294967295 134512640 135305190 3218798816 3218796740 134840070 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19045/statm: 24397 17477 79 194 0 24201 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 100008

[startup+6.31443 s]
/proc/loadavg: 4.07 4.26 4.27 6/101 19048
/proc/meminfo: memFree=2781292/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=103604 CPUtime=16.34
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 19184 0 0 0 1623 11 0 0 23 0 4 0 1119165825 106090496 19120 4294967295 134512640 135305190 3218798816 3218796720 134556789 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19045/statm: 25901 19120 79 194 0 25705 0
[pid=19045/tid=19046] ppid=19042 vsize=103604 CPUtime=3.94
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 1005 0 0 0 390 4 0 0 25 0 4 0 1119165894 106090496 19120 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=103604 CPUtime=3.92
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 848 0 0 0 392 0 0 0 25 0 4 0 1119165894 106090496 19120 4294967295 134512640 135305190 3218798816 3070323904 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=103604 CPUtime=3.86
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 959 0 0 0 385 1 0 0 25 0 4 0 1119165894 106090496 19120 4294967295 134512640 135305190 3218798816 3061935296 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.02
Current children cumulated vsize (KiB) 106024

[startup+12.7139 s]
/proc/loadavg: 4.22 4.28 4.27 5/101 19048
/proc/meminfo: memFree=2772340/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=111952 CPUtime=41.94
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 21212 0 0 0 4176 18 0 0 25 0 4 0 1119165825 114638848 21148 4294967295 134512640 135305190 3218798816 3218796992 134528322 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19045/statm: 27988 21148 79 194 0 27792 0
[pid=19045/tid=19046] ppid=19042 vsize=111952 CPUtime=10.34
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 1508 0 0 0 1030 4 0 0 25 0 4 0 1119165894 114638848 21148 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=111952 CPUtime=10.32
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 1275 0 0 0 1027 5 0 0 25 0 4 0 1119165894 114638848 21148 4294967295 134512640 135305190 3218798816 3070323904 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=111952 CPUtime=10.26
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 1540 0 0 0 1025 1 0 0 25 0 4 0 1119165894 114638848 21148 4294967295 134512640 135305190 3218798816 3061935296 134528489 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 43.62
Current children cumulated vsize (KiB) 114372

[startup+25.5128 s]
/proc/loadavg: 4.18 4.27 4.27 6/102 19102
/proc/meminfo: memFree=2764580/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=120020 CPUtime=93
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 22989 0 0 0 9274 26 0 0 25 0 4 0 1119165825 122900480 22925 4294967295 134512640 135305190 3218798816 3218796672 134843311 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19045/statm: 30005 22925 79 194 0 29809 0
[pid=19045/tid=19046] ppid=19042 vsize=120020 CPUtime=23.14
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 1906 0 0 0 2309 5 0 0 25 0 4 0 1119165894 122900480 22925 4294967295 134512640 135305190 3218798816 3078712512 134528771 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=120020 CPUtime=23.1
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 1745 0 0 0 2304 6 0 0 25 0 4 0 1119165894 122900480 22925 4294967295 134512640 135305190 3218798816 3070323904 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=120020 CPUtime=23.01
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 2014 0 0 0 2295 6 0 0 25 0 4 0 1119165894 122900480 22925 4294967295 134512640 135305190 3218798816 3061935296 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 94.68
Current children cumulated vsize (KiB) 122440

[startup+51.1107 s]
/proc/loadavg: 4.46 4.33 4.29 5/101 19234
/proc/meminfo: memFree=2748208/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=136616 CPUtime=195.04
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 26980 0 0 0 19467 37 0 0 25 0 4 0 1119165825 139894784 26916 4294967295 134512640 135305190 3218798816 3218796992 134528263 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19045/statm: 34154 26916 79 194 0 33958 0
[pid=19045/tid=19046] ppid=19042 vsize=136616 CPUtime=48.74
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 2784 0 0 0 4867 7 0 0 25 0 4 0 1119165894 139894784 26916 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=136616 CPUtime=48.53
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 2905 0 0 0 4840 13 0 0 25 0 4 0 1119165894 139894784 26916 4294967295 134512640 135305190 3218798816 3070323904 134528571 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=136616 CPUtime=48.54
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 2984 0 0 0 4846 8 0 0 25 0 4 0 1119165894 139894784 26916 4294967295 134512640 135305190 3218798816 3061935296 134528501 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.72
Current children cumulated vsize (KiB) 139036

[startup+102.316 s]
/proc/loadavg: 4.39 4.32 4.28 5/101 19421
/proc/meminfo: memFree=2726848/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=156836 CPUtime=399.4
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 32225 0 0 0 39877 63 0 0 25 0 4 0 1119165825 160600064 32161 4294967295 134512640 135305190 3218798816 3218796992 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19045/statm: 39209 32161 79 194 0 39013 0
[pid=19045/tid=19046] ppid=19042 vsize=156836 CPUtime=99.92
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 3918 0 0 0 9975 17 0 0 25 0 4 0 1119165894 160600064 32161 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=156836 CPUtime=99.63
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 4482 0 0 0 9946 17 0 0 25 0 4 0 1119165894 160600064 32161 4294967295 134512640 135305190 3218798816 3070323904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=156836 CPUtime=99.6
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 4144 0 0 0 9944 16 0 0 25 0 4 0 1119165894 160600064 32161 4294967295 134512640 135305190 3218798816 3061935296 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 401.08
Current children cumulated vsize (KiB) 159256

[startup+162.311 s]
/proc/loadavg: 4.45 4.34 4.29 5/101 19609
/proc/meminfo: memFree=2708188/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=175288 CPUtime=638.95
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 36910 0 0 0 63816 79 0 0 25 0 4 0 1119165825 179494912 36846 4294967295 134512640 135305190 3218798816 3218796992 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19045/statm: 43822 36846 79 194 0 43626 0
[pid=19045/tid=19046] ppid=19042 vsize=175288 CPUtime=159.71
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 4911 0 0 0 15950 21 0 0 25 0 4 0 1119165894 179494912 36846 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=175288 CPUtime=159.61
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 5869 0 0 0 15941 20 0 0 25 0 4 0 1119165894 179494912 36846 4294967295 134512640 135305190 3218798816 3070323904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=175288 CPUtime=159.55
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 5355 0 0 0 15933 22 0 0 25 0 4 0 1119165894 179494912 36846 4294967295 134512640 135305190 3218798816 3061935296 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 640.63

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

[startup+522.312 s]
/proc/loadavg: 4.52 4.48 4.36 5/101 20746
/proc/meminfo: memFree=2604148/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=280504 CPUtime=2075.56
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 62698 0 0 0 207341 215 0 0 25 0 4 0 1119165825 287236096 62634 4294967295 134512640 135305190 3218798816 3218796992 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19045/statm: 70126 62634 79 194 0 69930 0
[pid=19045/tid=19046] ppid=19042 vsize=280504 CPUtime=518.92
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 11172 0 0 0 51836 56 0 0 25 0 4 0 1119165894 287236096 62634 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=280504 CPUtime=518.51
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 12983 0 0 0 51809 42 0 0 25 0 4 0 1119165894 287236096 62634 4294967295 134512640 135305190 3218798816 3070323904 134528256 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=280504 CPUtime=518.44
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 11373 0 0 0 51777 67 0 0 25 0 4 0 1119165894 287236096 62634 4294967295 134512640 135305190 3218798816 3061935296 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2077.24
Current children cumulated vsize (KiB) 282924

[startup+582.317 s]
/proc/loadavg: 4.63 4.50 4.37 7/102 20907
/proc/meminfo: memFree=2594452/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=292768 CPUtime=2315.22
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 65488 0 0 0 231293 229 0 0 25 0 4 0 1119165825 299794432 65424 4294967295 134512640 135305190 3218798816 3218796656 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19045/statm: 73192 65424 79 194 0 72996 0
[pid=19045/tid=19046] ppid=19042 vsize=292768 CPUtime=578.92
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 11797 0 0 0 57828 64 0 0 25 0 4 0 1119165894 299794432 65424 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=292768 CPUtime=578.44
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 14102 0 0 0 57801 43 0 0 25 0 4 0 1119165894 299794432 65424 4294967295 134512640 135305190 3218798816 3070323904 134528433 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=292768 CPUtime=578.25
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 11662 0 0 0 57757 68 0 0 25 0 4 0 1119165894 299794432 65424 4294967295 134512640 135305190 3218798816 3061935296 134528858 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2316.9
Current children cumulated vsize (KiB) 295188

[startup+642.312 s]
/proc/loadavg: 4.88 4.58 4.40 6/102 21086
/proc/meminfo: memFree=2586184/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=300668 CPUtime=2554.64
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 67350 0 0 0 255211 253 0 0 25 0 4 0 1119165825 307884032 67286 4294967295 134512640 135305190 3218798816 3218796992 134528410 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19045/statm: 75167 67286 79 194 0 74971 0
[pid=19045/tid=19046] ppid=19042 vsize=300668 CPUtime=638.91
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 12561 0 0 0 63827 64 0 0 25 0 4 0 1119165894 307884032 67286 4294967295 134512640 135305190 3218798816 3078712512 134528397 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=300668 CPUtime=638.25
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 14613 0 0 0 63778 47 0 0 25 0 4 0 1119165894 307884032 67286 4294967295 134512640 135305190 3218798816 3070323904 134528501 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=300668 CPUtime=637.98
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 11921 0 0 0 63717 81 0 0 25 0 4 0 1119165894 307884032 67286 4294967295 134512640 135305190 3218798816 3061935296 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2556.32
Current children cumulated vsize (KiB) 303088

[startup+702.307 s]
/proc/loadavg: 4.87 4.62 4.43 6/102 21244
/proc/meminfo: memFree=2581472/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=305736 CPUtime=2794.18
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 68478 0 0 0 279148 270 0 0 25 0 4 0 1119165825 313073664 68414 4294967295 134512640 135305190 3218798816 3218796784 134547909 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19045/statm: 76434 68414 79 194 0 76238 0
[pid=19045/tid=19046] ppid=19042 vsize=305736 CPUtime=698.87
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 12752 0 0 0 69820 67 0 0 25 0 4 0 1119165894 313073664 68414 4294967295 134512640 135305190 3218798816 3078712512 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=305736 CPUtime=697.98
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 14882 0 0 0 69740 58 0 0 25 0 4 0 1119165894 313073664 68414 4294967295 134512640 135305190 3218798816 3070323904 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=305736 CPUtime=697.88
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 12376 0 0 0 69707 81 0 0 25 0 4 0 1119165894 313073664 68414 4294967295 134512640 135305190 3218798816 3061935296 134528788 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2795.86
Current children cumulated vsize (KiB) 308156

[startup+762.312 s]
/proc/loadavg: 4.57 4.58 4.43 6/102 21394
/proc/meminfo: memFree=2571972/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=314520 CPUtime=3033.84
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 70840 0 0 0 303103 281 0 0 25 0 4 0 1119165825 322068480 70776 4294967295 134512640 135305190 3218798816 3218796992 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19045/statm: 78630 70776 79 194 0 78434 0
[pid=19045/tid=19046] ppid=19042 vsize=314520 CPUtime=758.77
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 13530 0 0 0 75804 73 0 0 25 0 4 0 1119165894 322068480 70776 4294967295 134512640 135305190 3218798816 3078712240 134557484 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=314520 CPUtime=757.99
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 15500 0 0 0 75741 58 0 0 25 0 4 0 1119165894 322068480 70776 4294967295 134512640 135305190 3218798816 3070323904 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=314520 CPUtime=757.77
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 12776 0 0 0 75693 84 0 0 25 0 4 0 1119165894 322068480 70776 4294967295 134512640 135305190 3218798816 3061935296 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3035.52
Current children cumulated vsize (KiB) 316940

[startup+822.307 s]
/proc/loadavg: 4.66 4.59 4.44 6/102 21579
/proc/meminfo: memFree=2564944/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=322412 CPUtime=3272.89
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 72509 0 0 0 326988 301 0 0 25 0 4 0 1119165825 330149888 72445 4294967295 134512640 135305190 3218798816 3218796992 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19045/statm: 80603 72445 79 194 0 80407 0
[pid=19045/tid=19046] ppid=19042 vsize=322412 CPUtime=818.74
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 14002 0 0 0 81800 74 0 0 25 0 4 0 1119165894 330149888 72445 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=322412 CPUtime=817.98
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 15944 0 0 0 81734 64 0 0 25 0 4 0 1119165894 330149888 72445 4294967295 134512640 135305190 3218798816 3070323904 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=322412 CPUtime=817.31
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 12971 0 0 0 81638 93 0 0 25 0 4 0 1119165894 330149888 72445 4294967295 134512640 135305190 3218798816 3061935296 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3274.57
Current children cumulated vsize (KiB) 324832

[startup+882.302 s]
/proc/loadavg: 4.64 4.60 4.45 7/102 21741
/proc/meminfo: memFree=2560212/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=326840 CPUtime=3512.46
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 73702 0 0 0 350927 319 0 0 25 0 4 0 1119165825 334684160 73638 4294967295 134512640 135305190 3218798816 3218796992 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19045/statm: 81710 73638 79 194 0 81514 0
[pid=19045/tid=19046] ppid=19042 vsize=326840 CPUtime=878.71
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 14250 0 0 0 87795 76 0 0 25 0 4 0 1119165894 334684160 73638 4294967295 134512640 135305190 3218798816 3078712512 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=326840 CPUtime=877.94
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 16409 0 0 0 87726 68 0 0 25 0 4 0 1119165894 334684160 73638 4294967295 134512640 135305190 3218798816 3070323904 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=326840 CPUtime=876.97
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 13198 0 0 0 87596 101 0 0 25 0 4 0 1119165894 334684160 73638 4294967295 134512640 135305190 3218798816 3061935296 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3514.14
Current children cumulated vsize (KiB) 329260

[startup+942.317 s]
/proc/loadavg: 4.53 4.58 4.45 7/102 21949
/proc/meminfo: memFree=2558424/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=329284 CPUtime=3752.17
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 74192 0 0 0 374886 331 0 0 25 0 4 0 1119165825 337186816 74128 4294967295 134512640 135305190 3218798816 3218796992 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19045/statm: 82321 74128 79 194 0 82125 0
[pid=19045/tid=19046] ppid=19042 vsize=329284 CPUtime=938.59
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 14258 0 0 0 93777 82 0 0 25 0 4 0 1119165894 337186816 74128 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=329284 CPUtime=937.93
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 16648 0 0 0 93722 71 0 0 25 0 4 0 1119165894 337186816 74128 4294967295 134512640 135305190 3218798816 3070323904 134528506 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=329284 CPUtime=936.83
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 13285 0 0 0 93581 102 0 0 25 0 4 0 1119165894 337186816 74128 4294967295 134512640 135305190 3218798816 3061935296 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3753.85
Current children cumulated vsize (KiB) 331704



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.52 4.57 4.45 7/102 22086
/proc/meminfo: memFree=2547192/3368532 swapFree=1953788/1959888
[pid=19042] ppid=19040 vsize=2420 CPUtime=1.68
/proc/19042/stat : 19042 (manysat.sh) S 19040 19042 27966 0 -1 4194304 371 6544 0 0 0 0 165 3 18 0 1 0 1119165657 2478080 275 4294967295 134512640 135169312 3213679632 3213675848 3085627118 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19042/statm: 605 275 231 161 0 44 0
[pid=19045] ppid=19042 vsize=341984 CPUtime=3982.52
/proc/19045/stat : 19045 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202496 77194 0 0 0 397904 348 0 0 25 0 4 0 1119165825 350191616 77130 4294967295 134512640 135305190 3218798816 3218796992 134528418 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19045/statm: 85496 77130 79 194 0 85300 0
[pid=19045/tid=19046] ppid=19042 vsize=341984 CPUtime=996.29
/proc/19045/task/19046/stat : 19046 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 14947 0 0 0 99545 84 0 0 25 0 4 0 1119165894 350191616 77130 4294967295 134512640 135305190 3218798816 3078712512 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19045/tid=19047] ppid=19042 vsize=341984 CPUtime=995.63
/proc/19045/task/19047/stat : 19047 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 17350 0 0 0 99491 72 0 0 25 0 4 0 1119165894 350191616 77130 4294967295 134512640 135305190 3218798816 3070323904 134528263 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19045/tid=19048] ppid=19042 vsize=341984 CPUtime=994.19
/proc/19045/task/19048/stat : 19048 (manysat1.1_stat) R 19042 19042 27966 0 -1 4202560 14082 0 0 0 99309 110 0 0 25 0 4 0 1119165894 350191616 77130 4294967295 134512640 135305190 3218798816 3061935296 134528277 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3984.2
Current children cumulated vsize (KiB) 344404

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): 3984.29
CPU user time (s): 3980.77
CPU system time (s): 3.52
CPU usage (%): 398.408
Max. virtual memory (cumulated for all children) (KiB): 344404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3980.77
system time used= 3.52
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84201
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= 7477
involuntary context switches= 185601

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 23:10:15
IDJOB=1781497
IDBENCH=71764
IDSOLVER=626
FILE ID=/1781497-1243545015
PBS_JOBID=
Free space on /tmp= 6473 MiB

SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT_RACE06/simon-s02b-k2f-gr-rcs-w8.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781497-1243545015/watcher-1781497-1243545015 -o /tmp/evaluation-result-1781497-1243545015/solver-1781497-1243545015 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1781497-1243545015.cnf aimd 2

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

MD5SUM BENCH= 5da8899feefc5a4bb9db99e983e30f52
RANDOM SEED= 1276441581

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.061
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.061
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.061
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.061
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:       2861240 kB
Buffers:         67152 kB
Cached:         339648 kB
SwapCached:       2256 kB
Active:         158544 kB
Inactive:       257620 kB
HighTotal:     2489216 kB
HighFree:      2137944 kB
LowTotal:       879316 kB
LowFree:        723296 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            4744 kB
Writeback:           0 kB
AnonPages:        8820 kB
Mapped:           3108 kB
Slab:            81220 kB
SReclaimable:    67880 kB
SUnreclaim:      13340 kB
PageTables:        476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88680 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6472 MiB
End job on  at 2009-05-28 23:26:58