Trace number 1781494

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 1/2009-03-20 (4 threads)? (TO) 3983.71 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.10/0.16	c ==============================================================================
0.10/0.16	c |           |     ORIGINAL     |              LEARNT              |          |
0.10/0.16	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.10/0.16	c ==============================================================================
0.10/0.16	c |         0 |  271393   550328 |   81417       0        0     nan |  0.000 % |
1.30/1.34	c |         0 |  269998   945031 |      --       0       --      -- |     --   | -1395/394703
1.30/1.34	c ==============================================================================
1.30/1.34	c Result  :   #vars: 8694   #clauses: 269998   #literals: 945031
1.30/1.34	c CPU time:   1.32 s
1.30/1.34	c ==============================================================================
3983.63/1000.05	HOME/manysat.sh: line 55: 12928 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-1781494-1243545194/watcher-1781494-1243545194 -o /tmp/evaluation-result-1781494-1243545194/solver-1781494-1243545194 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781494-1243545194.cnf aimd 1 

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.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) R 12923 12925 21691 0 -1 4194304 335 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879580 3085350772 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=2416 CPUtime=0
/proc/12926/stat : 12926 (manysat.sh) R 12925 12925 21691 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 43 4294967295 134512640 135169312 3217881104 3217879580 3085350772 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/12926/statm: 604 43 0 161 0 43 0

[startup+0.072193 s]
/proc/loadavg: 4.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=7652 CPUtime=0.06
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 1751 0 0 0 6 0 0 0 18 0 1 0 1108656634 7835648 1687 4294967295 134512640 135034092 3219859904 3219856248 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 1913 1688 49 128 0 1783 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10068

[startup+0.11219 s]
/proc/loadavg: 4.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=10804 CPUtime=0.1
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 2501 0 0 0 10 0 0 0 18 0 1 0 1108656634 11063296 2437 4294967295 134512640 135034092 3219859904 3219856248 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 2701 2437 49 128 0 2571 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13220

[startup+0.312175 s]
/proc/loadavg: 4.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=22216 CPUtime=0.3
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 5148 0 0 0 29 1 0 0 18 0 1 0 1108656634 22749184 5084 4294967295 134512640 135034092 3219859904 3219855848 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 5554 5084 67 128 0 5424 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 24632

[startup+0.712143 s]
/proc/loadavg: 4.28 4.24 4.31 3/98 12926
/proc/meminfo: memFree=2763696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=29748 CPUtime=0.7
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 6539 0 0 0 68 2 0 0 18 0 1 0 1108656634 30461952 6475 4294967295 134512640 135034092 3219859904 3219856208 134569526 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 7437 6475 67 128 0 7307 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 32164

[startup+1.51208 s]
/proc/loadavg: 4.02 4.18 4.30 2/99 12927
/proc/meminfo: memFree=2737352/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2416 CPUtime=0
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 350 0 0 0 0 0 0 0 20 0 1 0 1108656634 2473984 274 4294967295 134512640 135169312 3217881104 3217879640 3085348590 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12925/statm: 604 274 231 161 0 43 0
[pid=12926] ppid=12925 vsize=25136 CPUtime=1.5
/proc/12926/stat : 12926 (SatElite) R 12925 12925 21691 0 -1 4202496 6540 0 0 0 148 2 0 0 20 0 1 0 1108656634 25739264 5852 4294967295 134512640 135034092 3219859904 3219854788 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12926/statm: 6284 5852 67 128 0 6154 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 27552

[startup+3.11197 s]
/proc/loadavg: 4.02 4.18 4.30 2/99 12928
/proc/meminfo: memFree=2712384/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=97104 CPUtime=3.37
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 17516 0 0 0 328 9 0 0 18 0 4 0 1108656803 99434496 17452 4294967295 134512640 135305190 3221152544 3221150720 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 24276 17452 79 194 0 24080 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 99524

[startup+6.31172 s]
/proc/loadavg: 4.10 4.20 4.30 6/102 12931
/proc/meminfo: memFree=2682764/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=103504 CPUtime=16.16
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 19177 0 0 0 1606 10 0 0 22 0 4 0 1108656803 105988096 19113 4294967295 134512640 135305190 3221152544 3221150720 134528237 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 25876 19113 79 194 0 25680 0
[pid=12928/tid=12929] ppid=12925 vsize=103504 CPUtime=3.91
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1020 0 0 0 391 0 0 0 25 0 4 0 1108656873 105988096 19113 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=103504 CPUtime=3.91
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 876 0 0 0 390 1 0 0 25 0 4 0 1108656873 105988096 19113 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=103504 CPUtime=3.76
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 958 0 0 0 375 1 0 0 24 0 4 0 1108656873 105988096 19113 4294967295 134512640 135305190 3221152544 3062021312 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 17.84
Current children cumulated vsize (KiB) 105924

[startup+12.7112 s]
/proc/loadavg: 4.09 4.19 4.30 5/102 12933
/proc/meminfo: memFree=2674300/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=113096 CPUtime=41.71
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 21200 0 0 0 4155 16 0 0 25 0 4 0 1108656803 115810304 21136 4294967295 134512640 135305190 3221152544 3221150720 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 28274 21136 79 194 0 28078 0
[pid=12928/tid=12929] ppid=12925 vsize=113096 CPUtime=10.31
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1463 0 0 0 1031 0 0 0 25 0 4 0 1108656873 115810304 21136 4294967295 134512640 135305190 3221152544 3078798528 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=113096 CPUtime=10.3
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1315 0 0 0 1027 3 0 0 25 0 4 0 1108656873 115810304 21136 4294967295 134512640 135305190 3221152544 3070409920 134528559 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=113096 CPUtime=10.12
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1561 0 0 0 1009 3 0 0 25 0 4 0 1108656873 115810304 21136 4294967295 134512640 135305190 3221152544 3062020976 134551729 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 43.39
Current children cumulated vsize (KiB) 115516

[startup+25.5102 s]
/proc/loadavg: 4.15 4.20 4.30 5/102 12934
/proc/meminfo: memFree=2666092/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=120036 CPUtime=92.84
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 23134 0 0 0 9257 27 0 0 25 0 4 0 1108656803 122916864 23070 4294967295 134512640 135305190 3221152544 3221150720 134528256 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 30009 23070 79 194 0 29813 0
[pid=12928/tid=12929] ppid=12925 vsize=120036 CPUtime=23.11
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1868 0 0 0 2310 1 0 0 25 0 4 0 1108656873 122916864 23070 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=120036 CPUtime=23.06
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 1843 0 0 0 2297 9 0 0 25 0 4 0 1108656873 122916864 23070 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=120036 CPUtime=22.88
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 2081 0 0 0 2283 5 0 0 25 0 4 0 1108656873 122916864 23070 4294967295 134512640 135305190 3221152544 3062021312 134528310 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 94.52
Current children cumulated vsize (KiB) 122456

[startup+51.1082 s]
/proc/loadavg: 4.20 4.21 4.30 5/102 13120
/proc/meminfo: memFree=2648380/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=136752 CPUtime=194.79
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 27396 0 0 0 19443 36 0 0 25 0 4 0 1108656803 140034048 27332 4294967295 134512640 135305190 3221152544 3221150720 134528392 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 34188 27332 79 194 0 33992 0
[pid=12928/tid=12929] ppid=12925 vsize=136752 CPUtime=48.63
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 2799 0 0 0 4861 2 0 0 25 0 4 0 1108656873 140034048 27332 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=136752 CPUtime=48.58
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 2959 0 0 0 4845 13 0 0 25 0 4 0 1108656873 140034048 27332 4294967295 134512640 135305190 3221152544 3070409920 134528224 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=136752 CPUtime=48.41
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 3230 0 0 0 4834 7 0 0 25 0 4 0 1108656873 140034048 27332 4294967295 134512640 135305190 3221152544 3062021040 134556787 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.47
Current children cumulated vsize (KiB) 139172

[startup+102.314 s]
/proc/loadavg: 4.31 4.24 4.30 5/102 13307
/proc/meminfo: memFree=2622260/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=162348 CPUtime=399.19
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 33827 0 0 0 39864 55 0 0 25 0 4 0 1108656803 166244352 33763 4294967295 134512640 135305190 3221152544 3221150720 134528184 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 40587 33763 79 194 0 40391 0
[pid=12928/tid=12929] ppid=12925 vsize=162348 CPUtime=99.65
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 4348 0 0 0 9957 8 0 0 25 0 4 0 1108656873 166244352 33763 4294967295 134512640 135305190 3221152544 3078798528 134528379 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=162348 CPUtime=99.74
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 4761 0 0 0 9955 19 0 0 25 0 4 0 1108656873 166244352 33763 4294967295 134512640 135305190 3221152544 3070409920 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=162348 CPUtime=99.59
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 4783 0 0 0 9950 9 0 0 25 0 4 0 1108656873 166244352 33763 4294967295 134512640 135305190 3221152544 3062021312 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 400.87
Current children cumulated vsize (KiB) 164768

[startup+162.31 s]
/proc/loadavg: 4.41 4.27 4.30 6/102 13494
/proc/meminfo: memFree=2606140/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=179824 CPUtime=638.68
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 37837 0 0 0 63790 78 0 0 25 0 4 0 1108656803 184139776 37773 4294967295 134512640 135305190 3221152544 3221150504 134846161 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 44956 37773 79 194 0 44760 0
[pid=12928/tid=12929] ppid=12925 vsize=179824 CPUtime=159.4
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 5108 0 0 0 15931 9 0 0 25 0 4 0 1108656873 184139776 37773 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=179824 CPUtime=159.6
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 6161 0 0 0 15931 29 0 0 25 0 4 0 1108656873 184139776 37773 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=179824 CPUtime=159.51
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 5640 0 0 0 15937 14 0 0 25 0 4 0 1108656873 184139776 37773 4294967295 134512640 135305190 3221152544 3062021312 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 640.36

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

[startup+522.312 s]
/proc/loadavg: 4.53 4.43 4.36 5/102 14629
/proc/meminfo: memFree=2514256/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=273260 CPUtime=2075.4
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 60777 0 0 0 207321 219 0 0 25 0 4 0 1108656803 279818240 60713 4294967295 134512640 135305190 3221152544 3221150720 134528341 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 68315 60713 79 194 0 68119 0
[pid=12928/tid=12929] ppid=12925 vsize=273260 CPUtime=519.07
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 10681 0 0 0 51857 50 0 0 25 0 4 0 1108656873 279818240 60713 4294967295 134512640 135305190 3221152544 3078798528 134528425 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=273260 CPUtime=518.8
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12591 0 0 0 51812 68 0 0 25 0 4 0 1108656873 279818240 60713 4294967295 134512640 135305190 3221152544 3070409920 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=273260 CPUtime=518.72
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 11012 0 0 0 51827 45 0 0 25 0 4 0 1108656873 279818240 60713 4294967295 134512640 135305190 3221152544 3062021312 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2077.08
Current children cumulated vsize (KiB) 275680

[startup+582.317 s]
/proc/loadavg: 4.45 4.43 4.36 6/102 14822
/proc/meminfo: memFree=2500384/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=287588 CPUtime=2314.88
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 64144 0 0 0 231248 240 0 0 25 0 4 0 1108656803 294490112 64080 4294967295 134512640 135305190 3221152544 3221150720 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 71897 64080 79 194 0 71701 0
[pid=12928/tid=12929] ppid=12925 vsize=287588 CPUtime=579.01
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 11441 0 0 0 57847 54 0 0 25 0 4 0 1108656873 294490112 64080 4294967295 134512640 135305190 3221152544 3078798528 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=287588 CPUtime=578.63
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 13480 0 0 0 57792 71 0 0 25 0 4 0 1108656873 294490112 64080 4294967295 134512640 135305190 3221152544 3070409920 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=287588 CPUtime=578.42
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 11980 0 0 0 57787 55 0 0 25 0 4 0 1108656873 294490112 64080 4294967295 134512640 135305190 3221152544 3062021312 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2316.56
Current children cumulated vsize (KiB) 290008

[startup+642.312 s]
/proc/loadavg: 4.51 4.43 4.36 6/103 14940
/proc/meminfo: memFree=2497020/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=290100 CPUtime=2554.45
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 64729 0 0 0 255190 255 0 0 25 0 4 0 1108656803 297062400 64665 4294967295 134512640 135305190 3221152544 3221150720 134528265 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 72525 64665 79 194 0 72329 0
[pid=12928/tid=12929] ppid=12925 vsize=290100 CPUtime=638.84
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 11614 0 0 0 63825 59 0 0 25 0 4 0 1108656873 297062400 64665 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=290100 CPUtime=638.38
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 13783 0 0 0 63764 74 0 0 25 0 4 0 1108656873 297062400 64665 4294967295 134512640 135305190 3221152544 3070409920 134528753 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=290100 CPUtime=638.4
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12022 0 0 0 63782 58 0 0 25 0 4 0 1108656873 297062400 64665 4294967295 134512640 135305190 3221152544 3062021312 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2556.13
Current children cumulated vsize (KiB) 292520

[startup+702.308 s]
/proc/loadavg: 4.63 4.46 4.38 7/103 15103
/proc/meminfo: memFree=2492696/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=294796 CPUtime=2793.74
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 65931 0 0 0 279096 278 0 0 25 0 4 0 1108656803 301871104 65867 4294967295 134512640 135305190 3221152544 3221150720 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12928/statm: 73699 65867 79 194 0 73503 0
[pid=12928/tid=12929] ppid=12925 vsize=294796 CPUtime=698.82
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12111 0 0 0 69820 62 0 0 25 0 4 0 1108656873 301871104 65867 4294967295 134512640 135305190 3221152544 3078798528 134528242 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=294796 CPUtime=697.86
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 14094 0 0 0 69695 91 0 0 25 0 4 0 1108656873 301871104 65867 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=294796 CPUtime=698.26
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12242 0 0 0 69767 59 0 0 25 0 4 0 1108656873 301871104 65867 4294967295 134512640 135305190 3221152544 3062021312 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2795.42
Current children cumulated vsize (KiB) 297216

[startup+762.313 s]
/proc/loadavg: 4.43 4.45 4.37 5/102 15385
/proc/meminfo: memFree=2483408/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=303596 CPUtime=3032.88
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 67981 0 0 0 302991 297 0 0 25 0 4 0 1108656803 310882304 67917 4294967295 134512640 135305190 3221152544 3221150720 134528428 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 75899 67917 79 194 0 75703 0
[pid=12928/tid=12929] ppid=12925 vsize=303596 CPUtime=758.47
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12647 0 0 0 75782 65 0 0 25 0 4 0 1108656873 310882304 67917 4294967295 134512640 135305190 3221152544 3078798528 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=303596 CPUtime=757.67
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 14801 0 0 0 75668 99 0 0 25 0 4 0 1108656873 310882304 67917 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=303596 CPUtime=758.1
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12598 0 0 0 75748 62 0 0 25 0 4 0 1108656873 310882304 67917 4294967295 134512640 135305190 3221152544 3062021312 134528310 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3034.56
Current children cumulated vsize (KiB) 306016

[startup+822.308 s]
/proc/loadavg: 4.57 4.47 4.38 8/103 15449
/proc/meminfo: memFree=2481816/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=306964 CPUtime=3272.41
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 68704 0 0 0 326931 310 0 0 25 0 4 0 1108656803 314331136 68640 4294967295 134512640 135305190 3221152544 3221150720 134528455 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 76741 68640 79 194 0 76545 0
[pid=12928/tid=12929] ppid=12925 vsize=306964 CPUtime=818.07
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12878 0 0 0 81736 71 0 0 25 0 4 0 1108656873 314331136 68640 4294967295 134512640 135305190 3221152544 3078798528 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=306964 CPUtime=817.64
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 15034 0 0 0 81662 102 0 0 25 0 4 0 1108656873 314331136 68640 4294967295 134512640 135305190 3221152544 3070409920 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=306964 CPUtime=818.06
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12683 0 0 0 81744 62 0 0 25 0 4 0 1108656873 314331136 68640 4294967295 134512640 135305190 3221152544 3062021312 134528371 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3274.09
Current children cumulated vsize (KiB) 309384

[startup+882.304 s]
/proc/loadavg: 4.81 4.56 4.42 6/103 15712
/proc/meminfo: memFree=2477992/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=308260 CPUtime=3511.81
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 69303 0 0 0 350858 323 0 0 25 0 4 0 1108656803 315658240 69239 4294967295 134512640 135305190 3221152544 3221150720 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 77065 69239 79 194 0 76869 0
[pid=12928/tid=12929] ppid=12925 vsize=308260 CPUtime=878.03
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12997 0 0 0 87729 74 0 0 25 0 4 0 1108656873 315658240 69239 4294967295 134512640 135305190 3221152544 3078798528 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=308260 CPUtime=877.45
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 15221 0 0 0 87641 104 0 0 25 0 4 0 1108656873 315658240 69239 4294967295 134512640 135305190 3221152544 3070409920 134528421 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=308260 CPUtime=877.86
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 12826 0 0 0 87722 64 0 0 25 0 4 0 1108656873 315658240 69239 4294967295 134512640 135305190 3221152544 3062021312 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3513.49
Current children cumulated vsize (KiB) 310680

[startup+942.319 s]
/proc/loadavg: 4.56 4.53 4.41 6/103 15790
/proc/meminfo: memFree=2465712/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=323784 CPUtime=3751.68
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 72928 0 0 0 374830 338 0 0 25 0 4 0 1108656803 331554816 72864 4294967295 134512640 135305190 3221152544 3221150512 134547978 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 80946 72864 79 194 0 80750 0
[pid=12928/tid=12929] ppid=12925 vsize=323784 CPUtime=938.05
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 14299 0 0 0 93727 78 0 0 25 0 4 0 1108656873 331554816 72864 4294967295 134512640 135305190 3221152544 3078798528 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=323784 CPUtime=937.44
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 15934 0 0 0 93638 106 0 0 25 0 4 0 1108656873 331554816 72864 4294967295 134512640 135305190 3221152544 3070409920 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=323784 CPUtime=937.7
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 13581 0 0 0 93700 70 0 0 25 0 4 0 1108656873 331554816 72864 4294967295 134512640 135305190 3221152544 3062021312 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3753.36
Current children cumulated vsize (KiB) 326204



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.59 4.56 4.43 5/102 15957
/proc/meminfo: memFree=2458476/3368532 swapFree=1952996/1959888
[pid=12925] ppid=12923 vsize=2420 CPUtime=1.68
/proc/12925/stat : 12925 (manysat.sh) S 12923 12925 21691 0 -1 4194304 371 6544 0 0 0 0 166 2 18 0 1 0 1108656634 2478080 275 4294967295 134512640 135169312 3217881104 3217877320 3085348590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/12925/statm: 605 275 231 161 0 44 0
[pid=12928] ppid=12925 vsize=331024 CPUtime=3981.95
/proc/12928/stat : 12928 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202496 74714 0 0 0 397832 363 0 0 25 0 4 0 1108656803 338968576 74650 4294967295 134512640 135305190 3221152544 3221150720 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12928/statm: 82756 74650 79 194 0 82560 0
[pid=12928/tid=12929] ppid=12925 vsize=331024 CPUtime=995.57
/proc/12928/task/12929/stat : 12929 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 14832 0 0 0 99472 85 0 0 25 0 4 0 1108656873 338968576 74650 4294967295 134512640 135305190 3221152544 3078798528 134528512 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12928/tid=12930] ppid=12925 vsize=331024 CPUtime=995.03
/proc/12928/task/12930/stat : 12930 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 16487 0 0 0 99391 112 0 0 25 0 4 0 1108656873 338968576 74650 4294967295 134512640 135305190 3221152544 3070409920 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12928/tid=12931] ppid=12925 vsize=331024 CPUtime=995.19
/proc/12928/task/12931/stat : 12931 (manysat1.1_stat) R 12925 12925 21691 0 -1 4202560 13965 0 0 0 99442 77 0 0 25 0 4 0 1108656873 338968576 74650 4294967295 134512640 135305190 3221152544 3062021040 134556789 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3983.63
Current children cumulated vsize (KiB) 333444

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): 3983.71
CPU user time (s): 3980.04
CPU system time (s): 3.67
CPU usage (%): 398.349
Max. virtual memory (cumulated for all children) (KiB): 333444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3980.04
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= 81719
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= 6401
involuntary context switches= 189881

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-28 23:13:14
IDJOB=1781494
IDBENCH=71764
IDSOLVER=623
FILE ID=tipi45/1781494-1243545194
PBS_JOBID=
Free space on /tmp= 15498 MiB

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

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

MD5SUM BENCH= 5da8899feefc5a4bb9db99e983e30f52
RANDOM SEED= 834475300

Linux tipi45 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.081
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.081
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.081
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.081
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:       2763696 kB
Buffers:        146908 kB
Cached:         350312 kB
SwapCached:       2100 kB
Active:         124960 kB
Inactive:       381612 kB
HighTotal:     2489216 kB
HighFree:      2126668 kB
LowTotal:       879316 kB
LowFree:        637028 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            5128 kB
Writeback:           0 kB
AnonPages:        8400 kB
Mapped:           3080 kB
Slab:            85988 kB
SReclaimable:    74868 kB
SUnreclaim:      11120 kB
PageTables:        480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    89600 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15497 MiB
End job on tipi45 at 2009-05-28 23:29:56