Trace number 1779346

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) 3987.38 1000.04

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-32-s100.cnf
MD5SUM7785f51f4f3cb780b4d123215711f948
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 variables32312
Number of clauses97285
Sum of the clauses size229627
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262100
Number of clauses of size 335121
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.07	c ==============================================================================
0.00/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |   97093   229175 |   29127       0        0     nan |  0.000 % |
1.00/1.02	c |         0 |   60325   180482 |      --       0       --      -- |     --   | -36648/-48269
1.00/1.02	c ==============================================================================
1.00/1.02	c Result  :   #vars: 14507   #clauses: 60325   #literals: 180482
1.00/1.02	c CPU time:   1 s
1.00/1.02	c ==============================================================================
3987.32/1000.03	HOME/manysat.sh: line 55:  5767 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-1779346-1243523123/watcher-1779346-1243523123 -o /tmp/evaluation-result-1779346-1243523123/solver-1779346-1243523123 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779346-1243523123.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.32 4.48 4.51 3/99 5764
/proc/meminfo: memFree=3065416/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2416 CPUtime=0
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116976730 2473984 273 4294967295 134512640 135169312 3215396272 3215394808 3085479662 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5764/statm: 604 273 231 161 0 43 0
[pid=5765] ppid=5764 vsize=2460 CPUtime=0
/proc/5765/stat : 5765 (SatElite) R 5764 5764 19648 0 -1 4202496 421 0 0 0 0 0 0 0 18 0 1 0 1116976730 2519040 358 4294967295 134512640 135034092 3217243968 3217240256 134545140 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5765/statm: 615 360 50 128 0 485 0

[startup+0.099065 s]
/proc/loadavg: 4.32 4.48 4.51 3/99 5764
/proc/meminfo: memFree=3065416/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2416 CPUtime=0
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116976730 2473984 273 4294967295 134512640 135169312 3215396272 3215394808 3085479662 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5764/statm: 604 273 231 161 0 43 0
[pid=5765] ppid=5764 vsize=13780 CPUtime=0.09
/proc/5765/stat : 5765 (SatElite) R 5764 5764 19648 0 -1 4202496 3426 0 0 0 8 1 0 0 18 0 1 0 1116976730 14110720 3257 4294967295 134512640 135034092 3217243968 3217239836 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5765/statm: 3445 3257 67 128 0 3315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16196

[startup+0.109065 s]
/proc/loadavg: 4.32 4.48 4.51 3/99 5764
/proc/meminfo: memFree=3065416/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2416 CPUtime=0
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116976730 2473984 273 4294967295 134512640 135169312 3215396272 3215394808 3085479662 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5764/statm: 604 273 231 161 0 43 0
[pid=5765] ppid=5764 vsize=14044 CPUtime=0.1
/proc/5765/stat : 5765 (SatElite) R 5764 5764 19648 0 -1 4202496 3483 0 0 0 9 1 0 0 18 0 1 0 1116976730 14381056 3314 4294967295 134512640 135034092 3217243968 3217239964 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5765/statm: 3511 3314 67 128 0 3381 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16460

[startup+0.309044 s]
/proc/loadavg: 4.32 4.48 4.51 3/99 5764
/proc/meminfo: memFree=3065416/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2416 CPUtime=0
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116976730 2473984 273 4294967295 134512640 135169312 3215396272 3215394808 3085479662 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5764/statm: 604 273 231 161 0 43 0
[pid=5765] ppid=5764 vsize=14784 CPUtime=0.29
/proc/5765/stat : 5765 (SatElite) R 5764 5764 19648 0 -1 4202496 3628 0 0 0 28 1 0 0 18 0 1 0 1116976730 15138816 3459 4294967295 134512640 135034092 3217243968 3217239964 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5765/statm: 3696 3459 67 128 0 3566 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17200

[startup+0.709006 s]
/proc/loadavg: 4.32 4.48 4.51 3/99 5764
/proc/meminfo: memFree=3065416/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2416 CPUtime=0
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1116976730 2473984 273 4294967295 134512640 135169312 3215396272 3215394808 3085479662 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5764/statm: 604 273 231 161 0 43 0
[pid=5765] ppid=5764 vsize=15560 CPUtime=0.69
/proc/5765/stat : 5765 (SatElite) R 5764 5764 19648 0 -1 4202496 3845 0 0 0 68 1 0 0 18 0 1 0 1116976730 15933440 3676 4294967295 134512640 135034092 3217243968 3217240208 134566565 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5765/statm: 3890 3676 90 128 0 3760 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17976

[startup+1.50894 s]
/proc/loadavg: 4.32 4.48 4.51 2/101 5766
/proc/meminfo: memFree=3046916/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 2420

[startup+3.10879 s]
/proc/loadavg: 4.32 4.48 4.51 5/104 5770
/proc/meminfo: memFree=3039924/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=50828 CPUtime=7.5
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 5653 0 0 0 743 7 0 0 21 0 4 0 1116976840 52047872 5572 4294967295 134512640 135305190 3215588832 3215586736 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5767/statm: 12707 5572 79 194 0 12511 0
[pid=5767/tid=5768] ppid=5764 vsize=50828 CPUtime=1.83
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 202 0 0 0 182 1 0 0 20 0 4 0 1116976852 52047872 5572 4294967295 134512640 135305190 3215588832 3081624768 134528329 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=50828 CPUtime=1.83
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 231 0 0 0 182 1 0 0 20 0 4 0 1116976852 52047872 5572 4294967295 134512640 135305190 3215588832 3073236160 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=50828 CPUtime=1.84
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 277 0 0 0 183 1 0 0 22 0 4 0 1116976852 52047872 5572 4294967295 134512640 135305190 3215588832 3064847552 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 53248

[startup+6.30848 s]
/proc/loadavg: 4.38 4.49 4.51 6/104 5770
/proc/meminfo: memFree=3039120/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=51756 CPUtime=20.3
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 5893 0 0 0 2020 10 0 0 25 0 4 0 1116976840 52998144 5812 4294967295 134512640 135305190 3215588832 3215587008 134528277 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5767/statm: 12939 5812 79 194 0 12743 0
[pid=5767/tid=5768] ppid=5764 vsize=51756 CPUtime=5.03
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 252 0 0 0 502 1 0 0 25 0 4 0 1116976852 52998144 5812 4294967295 134512640 135305190 3215588832 3081624768 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=51756 CPUtime=5.03
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 298 0 0 0 502 1 0 0 25 0 4 0 1116976852 52998144 5812 4294967295 134512640 135305190 3215588832 3073236160 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=51756 CPUtime=5.04
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 364 0 0 0 500 4 0 0 25 0 4 0 1116976852 52998144 5812 4294967295 134512640 135305190 3215588832 3064847552 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.38
Current children cumulated vsize (KiB) 54176

[startup+12.7079 s]
/proc/loadavg: 4.35 4.48 4.51 5/104 5770
/proc/meminfo: memFree=3036892/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=53320 CPUtime=45.84
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 6320 0 0 0 4574 10 0 0 25 0 4 0 1116976840 54599680 6239 4294967295 134512640 135305190 3215588832 3215586672 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5767/statm: 13330 6239 79 194 0 13134 0
[pid=5767/tid=5768] ppid=5764 vsize=53320 CPUtime=11.43
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 334 0 0 0 1142 1 0 0 25 0 4 0 1116976852 54599680 6239 4294967295 134512640 135305190 3215588832 3081624768 134528559 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=53320 CPUtime=11.43
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 372 0 0 0 1142 1 0 0 25 0 4 0 1116976852 54599680 6239 4294967295 134512640 135305190 3215588832 3073236160 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=53320 CPUtime=11.38
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 557 0 0 0 1134 4 0 0 25 0 4 0 1116976852 54599680 6239 4294967295 134512640 135305190 3215588832 3064847552 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.92
Current children cumulated vsize (KiB) 55740

[startup+25.5067 s]
/proc/loadavg: 4.34 4.47 4.51 5/104 5772
/proc/meminfo: memFree=3033888/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=56488 CPUtime=97.03
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 7143 0 0 0 9689 14 0 0 25 0 4 0 1116976840 57843712 7062 4294967295 134512640 135305190 3215588832 3215587008 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5767/statm: 14122 7062 79 194 0 13926 0
[pid=5767/tid=5768] ppid=5764 vsize=56488 CPUtime=24.23
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 544 0 0 0 2421 2 0 0 25 0 4 0 1116976852 57843712 7062 4294967295 134512640 135305190 3215588832 3081624496 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=56488 CPUtime=24.23
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 628 0 0 0 2422 1 0 0 25 0 4 0 1116976852 57843712 7062 4294967295 134512640 135305190 3215588832 3073236160 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=56488 CPUtime=24.17
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 726 0 0 0 2413 4 0 0 25 0 4 0 1116976852 57843712 7062 4294967295 134512640 135305190 3215588832 3064847552 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.11
Current children cumulated vsize (KiB) 58908

[startup+51.1042 s]
/proc/loadavg: 4.37 4.46 4.50 6/105 5830
/proc/meminfo: memFree=3027528/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=61620 CPUtime=199.1
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 8495 0 0 0 19888 22 0 0 25 0 4 0 1116976840 63098880 8414 4294967295 134512640 135305190 3215588832 3215587008 134528195 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5767/statm: 15405 8414 79 194 0 15209 0
[pid=5767/tid=5768] ppid=5764 vsize=61620 CPUtime=49.64
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 794 0 0 0 4959 5 0 0 25 0 4 0 1116976852 63098880 8414 4294967295 134512640 135305190 3215588832 3081624432 134551697 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=61620 CPUtime=49.76
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 896 0 0 0 4975 1 0 0 25 0 4 0 1116976852 63098880 8414 4294967295 134512640 135305190 3215588832 3073236160 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=61620 CPUtime=49.71
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 1292 0 0 0 4966 5 0 0 25 0 4 0 1116976852 63098880 8414 4294967295 134512640 135305190 3215588832 3064847552 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.18
Current children cumulated vsize (KiB) 64040

[startup+102.319 s]
/proc/loadavg: 4.60 4.51 4.52 6/104 5961
/proc/meminfo: memFree=3017016/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=73224 CPUtime=403.42
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 11293 0 0 0 40303 39 0 0 25 0 4 0 1116976840 74981376 11212 4294967295 134512640 135305190 3215588832 3215587008 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5767/statm: 18306 11212 79 194 0 18110 0
[pid=5767/tid=5768] ppid=5764 vsize=73224 CPUtime=100.49
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 1385 0 0 0 10034 15 0 0 25 0 4 0 1116976852 74981376 11212 4294967295 134512640 135305190 3215588832 3081624496 134556798 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=73224 CPUtime=100.8
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 1395 0 0 0 10074 6 0 0 25 0 4 0 1116976852 74981376 11212 4294967295 134512640 135305190 3215588832 3073235840 134552302 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=73224 CPUtime=100.93
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 2451 0 0 0 10086 7 0 0 25 0 4 0 1116976852 74981376 11212 4294967295 134512640 135305190 3215588832 3064847552 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.5
Current children cumulated vsize (KiB) 75644

[startup+162.314 s]
/proc/loadavg: 4.61 4.54 4.52 5/104 6148
/proc/meminfo: memFree=3010708/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=79492 CPUtime=642.99
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 12845 0 0 0 64241 58 0 0 25 0 4 0 1116976840 81399808 12764 4294967295 134512640 135305190 3215588832 3215586672 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5767/statm: 19873 12764 79 194 0 19677 0
[pid=5767/tid=5768] ppid=5764 vsize=79492 CPUtime=160.18
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 1640 0 0 0 16001 17 0 0 25 0 4 0 1116976852 81399808 12764 4294967295 134512640 135305190 3215588832 3081624768 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=79492 CPUtime=160.79
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 1796 0 0 0 16070 9 0 0 25 0 4 0 1116976852 81399808 12764 4294967295 134512640 135305190 3215588832 3073236160 134528252 0 0 0 3 0 0 0 -1 3 0 0 0

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

[startup+522.309 s]
/proc/loadavg: 4.73 4.64 4.56 6/104 7282
/proc/meminfo: memFree=2980568/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=111108 CPUtime=2079.71
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 20518 0 0 0 207825 146 0 0 25 0 4 0 1116976840 113774592 20434 4294967295 134512640 135305190 3215588832 3215586736 134557247 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5767/statm: 27777 20434 79 194 0 27581 0
[pid=5767/tid=5768] ppid=5764 vsize=111108 CPUtime=518.32
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3110 0 0 0 51799 33 0 0 25 0 4 0 1116976852 113774592 20434 4294967295 134512640 135305190 3215588832 3081624496 134557261 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=111108 CPUtime=520.05
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3669 0 0 0 51958 47 0 0 25 0 4 0 1116976852 113774592 20434 4294967295 134512640 135305190 3215588832 3073236160 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=111108 CPUtime=520.59
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 5516 0 0 0 52025 34 0 0 25 0 4 0 1116976852 113774592 20434 4294967295 134512640 135305190 3215588832 3064847552 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2080.79
Current children cumulated vsize (KiB) 113528

[startup+582.304 s]
/proc/loadavg: 4.44 4.57 4.54 5/104 7468
/proc/meminfo: memFree=2972492/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=117196 CPUtime=2319.08
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 22094 0 0 0 231749 159 0 0 25 0 4 0 1116976840 120008704 22010 4294967295 134512640 135305190 3215588832 3215587008 134528392 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5767/statm: 29299 22010 79 194 0 29103 0
[pid=5767/tid=5768] ppid=5764 vsize=117196 CPUtime=578.3
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3365 0 0 0 57795 35 0 0 25 0 4 0 1116976852 120008704 22010 4294967295 134512640 135305190 3215588832 3081624768 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=117196 CPUtime=579.8
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3889 0 0 0 57932 48 0 0 25 0 4 0 1116976852 120008704 22010 4294967295 134512640 135305190 3215588832 3073236160 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=117196 CPUtime=580.4
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 6236 0 0 0 58005 35 0 0 25 0 4 0 1116976852 120008704 22010 4294967295 134512640 135305190 3215588832 3064847552 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2320.16
Current children cumulated vsize (KiB) 119616

[startup+642.308 s]
/proc/loadavg: 4.87 4.65 4.57 5/104 7661
/proc/meminfo: memFree=2971724/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=117708 CPUtime=2558.37
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 22211 0 0 0 255669 168 0 0 25 0 4 0 1116976840 120532992 22127 4294967295 134512640 135305190 3215588832 3215586800 134547909 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5767/statm: 29427 22127 79 194 0 29231 0
[pid=5767/tid=5768] ppid=5764 vsize=117708 CPUtime=637.71
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3394 0 0 0 63734 37 0 0 25 0 4 0 1116976852 120532992 22127 4294967295 134512640 135305190 3215588832 3081624768 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=117708 CPUtime=639.82
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3955 0 0 0 63931 51 0 0 25 0 4 0 1116976852 120532992 22127 4294967295 134512640 135305190 3215588832 3073236160 134528866 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=117708 CPUtime=640.27
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 6242 0 0 0 63989 38 0 0 25 0 4 0 1116976852 120532992 22127 4294967295 134512640 135305190 3215588832 3064847280 134556770 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2559.45
Current children cumulated vsize (KiB) 120128

[startup+702.312 s]
/proc/loadavg: 4.77 4.65 4.57 5/104 7852
/proc/meminfo: memFree=2970024/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=120156 CPUtime=2797.75
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 22583 0 0 0 279577 198 0 0 25 0 4 0 1116976840 123039744 22499 4294967295 134512640 135305190 3215588832 3215587008 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5767/statm: 30039 22499 79 194 0 29843 0
[pid=5767/tid=5768] ppid=5764 vsize=120156 CPUtime=697.58
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3418 0 0 0 69719 39 0 0 25 0 4 0 1116976852 123039744 22499 4294967295 134512640 135305190 3215588832 3081624768 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=120156 CPUtime=699.71
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 4229 0 0 0 69910 61 0 0 25 0 4 0 1116976852 123039744 22499 4294967295 134512640 135305190 3215588832 3073236160 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=120156 CPUtime=699.95
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 6253 0 0 0 69946 49 0 0 25 0 4 0 1116976852 123039744 22499 4294967295 134512640 135305190 3215588832 3064847552 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2798.83
Current children cumulated vsize (KiB) 122576

[startup+762.316 s]
/proc/loadavg: 4.55 4.61 4.56 5/104 8039
/proc/meminfo: memFree=2967484/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=122608 CPUtime=3037.15
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 23219 0 0 0 303501 214 0 0 25 0 4 0 1116976840 125550592 23135 4294967295 134512640 135305190 3215588832 3215586672 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5767/statm: 30652 23135 79 194 0 30456 0
[pid=5767/tid=5768] ppid=5764 vsize=122608 CPUtime=757.5
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3575 0 0 0 75705 45 0 0 25 0 4 0 1116976852 125550592 23135 4294967295 134512640 135305190 3215588832 3081624768 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=122608 CPUtime=759.57
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 4356 0 0 0 75894 63 0 0 25 0 4 0 1116976852 125550592 23135 4294967295 134512640 135305190 3215588832 3073236160 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=122608 CPUtime=759.88
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 6432 0 0 0 75936 52 0 0 25 0 4 0 1116976852 125550592 23135 4294967295 134512640 135305190 3215588832 3064847552 134528539 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3038.23
Current children cumulated vsize (KiB) 125028

[startup+822.311 s]
/proc/loadavg: 4.54 4.57 4.55 6/105 8216
/proc/meminfo: memFree=2966032/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=123896 CPUtime=3276.62
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 23507 0 0 0 327435 227 0 0 25 0 4 0 1116976840 126869504 23423 4294967295 134512640 135305190 3215588832 3215587008 134528301 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5767/statm: 30974 23423 79 194 0 30778 0
[pid=5767/tid=5768] ppid=5764 vsize=123896 CPUtime=817.5
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3646 0 0 0 81702 48 0 0 25 0 4 0 1116976852 126869504 23423 4294967295 134512640 135305190 3215588832 3081624768 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=123896 CPUtime=819.56
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 4423 0 0 0 81891 65 0 0 25 0 4 0 1116976852 126869504 23423 4294967295 134512640 135305190 3215588832 3073236160 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=123896 CPUtime=819.58
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 6515 0 0 0 81902 56 0 0 25 0 4 0 1116976852 126869504 23423 4294967295 134512640 135305190 3215588832 3064847280 134557305 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3277.7
Current children cumulated vsize (KiB) 126316

[startup+882.305 s]
/proc/loadavg: 4.46 4.53 4.53 7/105 8363
/proc/meminfo: memFree=2964980/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=124400 CPUtime=3516.01
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 23646 0 0 0 351363 238 0 0 25 0 4 0 1116976840 127385600 23562 4294967295 134512640 135305190 3215588832 3215587008 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5767/statm: 31100 23562 79 194 0 30904 0
[pid=5767/tid=5768] ppid=5764 vsize=124400 CPUtime=877.35
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3647 0 0 0 87680 55 0 0 25 0 4 0 1116976852 127385600 23562 4294967295 134512640 135305190 3215588832 3081624768 134528277 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=124400 CPUtime=879.56
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 4446 0 0 0 87890 66 0 0 25 0 4 0 1116976852 127385600 23562 4294967295 134512640 135305190 3215588832 3073235840 134552874 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=124400 CPUtime=879.44
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 6573 0 0 0 87887 57 0 0 25 0 4 0 1116976852 127385600 23562 4294967295 134512640 135305190 3215588832 3064847552 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3517.09
Current children cumulated vsize (KiB) 126820

[startup+942.319 s]
/proc/loadavg: 4.56 4.53 4.53 6/105 8581
/proc/meminfo: memFree=2965696/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=124400 CPUtime=3755.65
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 23680 0 0 0 375310 255 0 0 25 0 4 0 1116976840 127385600 23596 4294967295 134512640 135305190 3215588832 3215586976 134570412 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5767/statm: 31100 23596 79 194 0 30904 0
[pid=5767/tid=5768] ppid=5764 vsize=124400 CPUtime=937.33
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3660 0 0 0 93673 60 0 0 25 0 4 0 1116976852 127385600 23596 4294967295 134512640 135305190 3215588832 3081624768 134528235 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=124400 CPUtime=939.53
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 4455 0 0 0 93881 72 0 0 25 0 4 0 1116976852 127385600 23596 4294967295 134512640 135305190 3215588832 3073235840 134552678 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=124400 CPUtime=939.26
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 6573 0 0 0 93867 59 0 0 25 0 4 0 1116976852 127385600 23596 4294967295 134512640 135305190 3215588832 3064847552 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3756.73
Current children cumulated vsize (KiB) 126820



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.50 4.52 4.53 6/104 8682
/proc/meminfo: memFree=2965088/3368532 swapFree=1953580/1959888
[pid=5764] ppid=5762 vsize=2420 CPUtime=1.08
/proc/5764/stat : 5764 (manysat.sh) S 5762 5764 19648 0 -1 4194304 369 4063 0 0 0 0 107 1 18 0 1 0 1116976730 2478080 275 4294967295 134512640 135169312 3215396272 3215392488 3085479662 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5764/statm: 605 275 231 161 0 44 0
[pid=5767] ppid=5764 vsize=124780 CPUtime=3986.24
/proc/5767/stat : 5767 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202496 23842 0 0 0 398362 262 0 0 25 0 4 0 1116976840 127774720 23758 4294967295 134512640 135305190 3215588832 3215587008 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5767/statm: 31195 23758 79 194 0 30999 0
[pid=5767/tid=5768] ppid=5764 vsize=124780 CPUtime=994.83
/proc/5767/task/5768/stat : 5768 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 3737 0 0 0 99421 62 0 0 25 0 4 0 1116976852 127774720 23758 4294967295 134512640 135305190 3215588832 3081624768 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5767/tid=5769] ppid=5764 vsize=124780 CPUtime=997.23
/proc/5767/task/5769/stat : 5769 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 4463 0 0 0 99650 73 0 0 25 0 4 0 1116976852 127774720 23758 4294967295 134512640 135305190 3215588832 3073236160 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5767/tid=5770] ppid=5764 vsize=124780 CPUtime=996.95
/proc/5767/task/5770/stat : 5770 (manysat1.1_stat) R 5764 5764 19648 0 -1 4202560 6606 0 0 0 99633 62 0 0 25 0 4 0 1116976852 127774720 23758 4294967295 134512640 135305190 3215588832 3064847552 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3987.32
Current children cumulated vsize (KiB) 127200

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 143
Real time (s): 1000.04
CPU time (s): 3987.38
CPU user time (s): 3984.75
CPU system time (s): 2.63
CPU usage (%): 398.721
Max. virtual memory (cumulated for all children) (KiB): 127200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3984.75
system time used= 2.63
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28549
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= 4917
involuntary context switches= 171702

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 17:05:23
IDJOB=1779346
IDBENCH=70843
IDSOLVER=620
FILE ID=/1779346-1243523123
PBS_JOBID=
Free space on /tmp= 15883 MiB

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

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

MD5SUM BENCH= 7785f51f4f3cb780b4d123215711f948
RANDOM SEED= 1378312426

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

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

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

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3065324 kB
Buffers:         27452 kB
Cached:         197196 kB
SwapCached:       2424 kB
Active:          91184 kB
Inactive:       143992 kB
HighTotal:     2489216 kB
HighFree:      2278480 kB
LowTotal:       879316 kB
LowFree:        786844 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            3236 kB
Writeback:           0 kB
AnonPages:        9984 kB
Mapped:           4916 kB
Slab:            58408 kB
SReclaimable:    49676 kB
SUnreclaim:       8732 kB
PageTables:        544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93916 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15883 MiB
End job on  at 2009-05-28 17:22:03