Trace number 1779349

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) 3986.78 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.04/0.07	c ==============================================================================
0.04/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.04/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.04/0.07	c ==============================================================================
0.04/0.07	c |         0 |   97093   229175 |   29127       0        0     nan |  0.000 % |
1.01/1.01	c |         0 |   60325   180482 |      --       0       --      -- |     --   | -36648/-48269
1.01/1.01	c ==============================================================================
1.01/1.01	c Result  :   #vars: 14507   #clauses: 60325   #literals: 180482
1.01/1.01	c CPU time:   0.98 s
1.01/1.01	c ==============================================================================
3986.69/1000.03	HOME/manysat.sh: line 55: 15157 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-1779349-1243523612/watcher-1779349-1243523612 -o /tmp/evaluation-result-1779349-1243523612/solver-1779349-1243523612 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779349-1243523612.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.36 4.65 4.62 3/109 15154
/proc/meminfo: memFree=2276376/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2416 CPUtime=0.01
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 348 0 0 0 0 1 0 0 18 0 1 0 1117023973 2473984 273 4294967295 134512640 135169312 3219050800 3219049336 3084996334 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/15154/statm: 604 273 231 161 0 43 0
[pid=15155] ppid=15154 vsize=2460 CPUtime=0
/proc/15155/stat : 15155 (SatElite) R 15154 15154 29143 0 -1 4202496 428 0 0 0 0 0 0 0 18 0 1 0 1117023973 2519040 365 4294967295 134512640 135034092 3214845168 3214841456 134544856 0 0 0 3 0 0 0 17 1 0 0 0
/proc/15155/statm: 615 367 50 128 0 485 0

[startup+0.030798 s]
/proc/loadavg: 4.36 4.65 4.62 3/109 15154
/proc/meminfo: memFree=2276376/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2416 CPUtime=0.01
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 348 0 0 0 0 1 0 0 18 0 1 0 1117023973 2473984 273 4294967295 134512640 135169312 3219050800 3219049336 3084996334 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/15154/statm: 604 273 231 161 0 43 0
[pid=15155] ppid=15154 vsize=7012 CPUtime=0.03
/proc/15155/stat : 15155 (SatElite) R 15154 15154 29143 0 -1 4202496 1657 0 0 0 3 0 0 0 18 0 1 0 1117023973 7180288 1594 4294967295 134512640 135034092 3214845168 3214841128 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/15155/statm: 1753 1594 50 128 0 1623 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9428

[startup+0.110792 s]
/proc/loadavg: 4.36 4.65 4.62 3/109 15154
/proc/meminfo: memFree=2276376/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2416 CPUtime=0.01
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 348 0 0 0 0 1 0 0 18 0 1 0 1117023973 2473984 273 4294967295 134512640 135169312 3219050800 3219049336 3084996334 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/15154/statm: 604 273 231 161 0 43 0
[pid=15155] ppid=15154 vsize=14184 CPUtime=0.11
/proc/15155/stat : 15155 (SatElite) R 15154 15154 29143 0 -1 4202496 3493 0 0 0 10 1 0 0 18 0 1 0 1117023973 14524416 3324 4294967295 134512640 135034092 3214845168 3214841164 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/15155/statm: 3546 3324 67 128 0 3416 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16600

[startup+0.310801 s]
/proc/loadavg: 4.36 4.65 4.62 3/109 15154
/proc/meminfo: memFree=2276376/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2416 CPUtime=0.01
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 348 0 0 0 0 1 0 0 18 0 1 0 1117023973 2473984 273 4294967295 134512640 135169312 3219050800 3219049336 3084996334 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/15154/statm: 604 273 231 161 0 43 0
[pid=15155] ppid=15154 vsize=14784 CPUtime=0.31
/proc/15155/stat : 15155 (SatElite) R 15154 15154 29143 0 -1 4202496 3628 0 0 0 30 1 0 0 18 0 1 0 1117023973 15138816 3459 4294967295 134512640 135034092 3214845168 3214841164 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/15155/statm: 3696 3459 67 128 0 3566 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17200

[startup+0.710763 s]
/proc/loadavg: 4.36 4.65 4.62 3/109 15154
/proc/meminfo: memFree=2276376/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2416 CPUtime=0.01
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 348 0 0 0 0 1 0 0 18 0 1 0 1117023973 2473984 273 4294967295 134512640 135169312 3219050800 3219049336 3084996334 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/15154/statm: 604 273 231 161 0 43 0
[pid=15155] ppid=15154 vsize=15560 CPUtime=0.7
/proc/15155/stat : 15155 (SatElite) R 15154 15154 29143 0 -1 4202496 3844 0 0 0 68 2 0 0 18 0 1 0 1117023973 15933440 3675 4294967295 134512640 135034092 3214845168 3214841456 134529224 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15155/statm: 3890 3675 90 128 0 3760 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 17976

[startup+1.51073 s]
/proc/loadavg: 4.36 4.65 4.62 2/111 15156
/proc/meminfo: memFree=2257832/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2420

[startup+3.11065 s]
/proc/loadavg: 4.36 4.65 4.62 5/114 15160
/proc/meminfo: memFree=2250580/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=49792 CPUtime=7.58
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 5624 0 0 0 750 8 0 0 20 0 4 0 1117024082 50987008 5540 4294967295 134512640 135305190 3220107824 3220106000 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/15157/statm: 12448 5540 79 194 0 12252 0
[pid=15157/tid=15158] ppid=15154 vsize=49792 CPUtime=1.88
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 231 0 0 0 186 2 0 0 20 0 4 0 1117024095 50987008 5540 4294967295 134512640 135305190 3220107824 3081538480 134556798 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=49792 CPUtime=1.83
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 227 0 0 0 183 0 0 0 21 0 4 0 1117024095 50987008 5540 4294967295 134512640 135305190 3220107824 3073149824 134552302 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=49792 CPUtime=1.85
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 202 0 0 0 182 3 0 0 23 0 4 0 1117024095 50987008 5540 4294967295 134512640 135305190 3220107824 3064761536 134528501 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 52212

[startup+6.31054 s]
/proc/loadavg: 4.33 4.64 4.62 5/114 15160
/proc/meminfo: memFree=2249364/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=50716 CPUtime=20.38
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 5874 0 0 0 2030 8 0 0 25 0 4 0 1117024082 51933184 5790 4294967295 134512640 135305190 3220107824 3220106000 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/15157/statm: 12679 5790 79 194 0 12483 0
[pid=15157/tid=15158] ppid=15154 vsize=50716 CPUtime=5.08
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 286 0 0 0 506 2 0 0 25 0 4 0 1117024095 51933184 5790 4294967295 134512640 135305190 3220107824 3081538752 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=50716 CPUtime=5.03
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 296 0 0 0 503 0 0 0 25 0 4 0 1117024095 51933184 5790 4294967295 134512640 135305190 3220107824 3073149824 134552780 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=50716 CPUtime=5.05
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 262 0 0 0 502 3 0 0 25 0 4 0 1117024095 51933184 5790 4294967295 134512640 135305190 3220107824 3064761536 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.47
Current children cumulated vsize (KiB) 53136

[startup+12.7102 s]
/proc/loadavg: 4.30 4.62 4.62 6/114 15160
/proc/meminfo: memFree=2247748/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=52280 CPUtime=45.98
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 6290 0 0 0 4589 9 0 0 25 0 4 0 1117024082 53534720 6206 4294967295 134512640 135305190 3220107824 3220106000 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/15157/statm: 13070 6206 79 194 0 12874 0
[pid=15157/tid=15158] ppid=15154 vsize=52280 CPUtime=11.48
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 353 0 0 0 1146 2 0 0 25 0 4 0 1117024095 53534720 6206 4294967295 134512640 135305190 3220107824 3081538752 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=52280 CPUtime=11.43
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 349 0 0 0 1142 1 0 0 25 0 4 0 1117024095 53534720 6206 4294967295 134512640 135305190 3220107824 3073150144 134528623 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=52280 CPUtime=11.45
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 477 0 0 0 1142 3 0 0 25 0 4 0 1117024095 53534720 6206 4294967295 134512640 135305190 3220107824 3064761536 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 47.07
Current children cumulated vsize (KiB) 54700

[startup+25.5095 s]
/proc/loadavg: 4.31 4.61 4.61 5/114 15162
/proc/meminfo: memFree=2244184/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=55292 CPUtime=97.12
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 7080 0 0 0 9697 15 0 0 25 0 4 0 1117024082 56619008 6996 4294967295 134512640 135305190 3220107824 3220106000 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/15157/statm: 13823 6996 79 194 0 13627 0
[pid=15157/tid=15158] ppid=15154 vsize=55292 CPUtime=24.28
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 524 0 0 0 2425 3 0 0 25 0 4 0 1117024095 56619008 6996 4294967295 134512640 135305190 3220107824 3081538752 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=55292 CPUtime=24.17
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 515 0 0 0 2415 2 0 0 25 0 4 0 1117024095 56619008 6996 4294967295 134512640 135305190 3220107824 3073150144 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=55292 CPUtime=24.25
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 756 0 0 0 2421 4 0 0 25 0 4 0 1117024095 56619008 6996 4294967295 134512640 135305190 3220107824 3064761536 134528539 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.21
Current children cumulated vsize (KiB) 57712

[startup+51.1081 s]
/proc/loadavg: 4.64 4.66 4.63 6/115 15295
/proc/meminfo: memFree=2238780/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=60664 CPUtime=199.01
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 8226 0 0 0 19870 31 0 0 25 0 4 0 1117024082 62119936 8142 4294967295 134512640 135305190 3220107824 3220106000 134528854 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/15157/statm: 15166 8142 79 194 0 14970 0
[pid=15157/tid=15158] ppid=15154 vsize=60664 CPUtime=49.86
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 753 0 0 0 4979 7 0 0 25 0 4 0 1117024095 62119936 8142 4294967295 134512640 135305190 3220107824 3081538752 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=60664 CPUtime=49.4
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 703 0 0 0 4933 7 0 0 25 0 4 0 1117024095 62119936 8142 4294967295 134512640 135305190 3220107824 3073150144 134528539 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=60664 CPUtime=49.83
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 1182 0 0 0 4973 10 0 0 25 0 4 0 1117024095 62119936 8142 4294967295 134512640 135305190 3220107824 3064761536 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 200.1
Current children cumulated vsize (KiB) 63084

[startup+102.315 s]
/proc/loadavg: 4.44 4.60 4.61 5/114 15351
/proc/meminfo: memFree=2230204/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=69936 CPUtime=403.55
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 10637 0 0 0 40312 43 0 0 25 0 4 0 1117024082 71614464 10553 4294967295 134512640 135305190 3220107824 3220106000 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/15157/statm: 17484 10553 79 194 0 17288 0
[pid=15157/tid=15158] ppid=15154 vsize=69936 CPUtime=101.07
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 1308 0 0 0 10098 9 0 0 25 0 4 0 1117024095 71614464 10553 4294967295 134512640 135305190 3220107824 3081538480 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=69936 CPUtime=100.61
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 1125 0 0 0 10050 11 0 0 25 0 4 0 1117024095 71614464 10553 4294967295 134512640 135305190 3220107824 3073149824 134553353 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=69936 CPUtime=100.75
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 2130 0 0 0 10062 13 0 0 25 0 4 0 1117024095 71614464 10553 4294967295 134512640 135305190 3220107824 3064761264 134557241 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 404.64
Current children cumulated vsize (KiB) 72356

[startup+162.312 s]
/proc/loadavg: 4.39 4.56 4.59 5/114 15544
/proc/meminfo: memFree=2222548/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=77164 CPUtime=642.78
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 12410 0 0 0 64221 57 0 0 25 0 4 0 1117024082 79015936 12318 4294967295 134512640 135305190 3220107824 3220106000 134528189 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/15157/statm: 19291 12318 79 194 0 19095 0
[pid=15157/tid=15158] ppid=15154 vsize=77164 CPUtime=161.06
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 1605 0 0 0 16096 10 0 0 25 0 4 0 1117024095 79015936 12318 4294967295 134512640 135305190 3220107824 3081538752 134528371 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=77164 CPUtime=160.04
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 1596 0 0 0 15986 18 0 0 25 0 4 0 1117024095 79015936 12318 4294967295 134512640 135305190 3220107824 3073150144 134528768 0 0 0 3 0 0 0 -1 2 0 0 0

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

[startup+522.304 s]
/proc/loadavg: 4.87 4.60 4.58 5/114 16683
/proc/meminfo: memFree=2194764/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=106472 CPUtime=2078.87
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 19514 0 0 0 207701 186 0 0 25 0 4 0 1117024082 109027328 19422 4294967295 134512640 135305190 3220107824 3220106000 134528283 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15157/statm: 26618 19422 79 194 0 26422 0
[pid=15157/tid=15158] ppid=15154 vsize=106472 CPUtime=520.48
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 2912 0 0 0 52007 41 0 0 25 0 4 0 1117024095 109027328 19422 4294967295 134512640 135305190 3220107824 3081538480 134556740 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=106472 CPUtime=518.6
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3611 0 0 0 51806 54 0 0 25 0 4 0 1117024095 109027328 19422 4294967295 134512640 135305190 3220107824 3073150144 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=106472 CPUtime=519.26
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 5240 0 0 0 51874 52 0 0 25 0 4 0 1117024095 109027328 19422 4294967295 134512640 135305190 3220107824 3064761536 134528858 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2079.96
Current children cumulated vsize (KiB) 108892

[startup+582.32 s]
/proc/loadavg: 4.44 4.54 4.55 5/114 16872
/proc/meminfo: memFree=2186796/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=113136 CPUtime=2318.44
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 21213 0 0 0 231649 195 0 0 25 0 4 0 1117024082 115851264 21121 4294967295 134512640 135305190 3220107824 3220105728 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15157/statm: 28284 21121 79 194 0 28088 0
[pid=15157/tid=15158] ppid=15154 vsize=113136 CPUtime=580.46
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3164 0 0 0 58004 42 0 0 25 0 4 0 1117024095 115851264 21121 4294967295 134512640 135305190 3220107824 3081538752 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=113136 CPUtime=578.43
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3926 0 0 0 57784 59 0 0 25 0 4 0 1117024095 115851264 21121 4294967295 134512640 135305190 3220107824 3073150144 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=113136 CPUtime=579.12
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 5993 0 0 0 57859 53 0 0 25 0 4 0 1117024095 115851264 21121 4294967295 134512640 135305190 3220107824 3064761536 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2319.53
Current children cumulated vsize (KiB) 115556

[startup+642.317 s]
/proc/loadavg: 4.62 4.56 4.55 5/114 17060
/proc/meminfo: memFree=2185036/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=113708 CPUtime=2557.78
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 21359 0 0 0 255574 204 0 0 25 0 4 0 1117024082 116436992 21267 4294967295 134512640 135305190 3220107824 3220106000 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15157/statm: 28427 21267 79 194 0 28231 0
[pid=15157/tid=15158] ppid=15154 vsize=113708 CPUtime=640.43
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3263 0 0 0 63998 45 0 0 25 0 4 0 1117024095 116436992 21267 4294967295 134512640 135305190 3220107824 3081538752 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=113708 CPUtime=638.34
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3933 0 0 0 63773 61 0 0 25 0 4 0 1117024095 116436992 21267 4294967295 134512640 135305190 3220107824 3073149824 134553032 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=113708 CPUtime=638.74
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 6001 0 0 0 63819 55 0 0 25 0 4 0 1117024095 116436992 21267 4294967295 134512640 135305190 3220107824 3064761264 134556789 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2558.87
Current children cumulated vsize (KiB) 116128

[startup+702.314 s]
/proc/loadavg: 4.82 4.60 4.56 6/115 17242
/proc/meminfo: memFree=2184828/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=114024 CPUtime=2796.97
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 21450 0 0 0 279476 221 0 0 25 0 4 0 1117024082 116760576 21358 4294967295 134512640 135305190 3220107824 3220106000 134528939 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15157/statm: 28506 21358 79 194 0 28310 0
[pid=15157/tid=15158] ppid=15154 vsize=114024 CPUtime=700.41
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3290 0 0 0 69994 47 0 0 25 0 4 0 1117024095 116760576 21358 4294967295 134512640 135305190 3220107824 3081538752 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=114024 CPUtime=698.24
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3969 0 0 0 69759 65 0 0 25 0 4 0 1117024095 116760576 21358 4294967295 134512640 135305190 3220107824 3073150144 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=114024 CPUtime=698.08
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 6027 0 0 0 69747 61 0 0 25 0 4 0 1117024095 116760576 21358 4294967295 134512640 135305190 3220107824 3064761200 134551671 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2798.06
Current children cumulated vsize (KiB) 116444

[startup+762.311 s]
/proc/loadavg: 4.99 4.66 4.58 6/115 17391
/proc/meminfo: memFree=2185036/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=114492 CPUtime=3036.66
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 21576 0 0 0 303436 230 0 0 25 0 4 0 1117024082 117239808 21484 4294967295 134512640 135305190 3220107824 3220105728 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15157/statm: 28623 21484 79 194 0 28427 0
[pid=15157/tid=15158] ppid=15154 vsize=114492 CPUtime=760.41
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3318 0 0 0 75993 48 0 0 25 0 4 0 1117024095 117239808 21484 4294967295 134512640 135305190 3220107824 3081538752 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=114492 CPUtime=758.21
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3980 0 0 0 75755 66 0 0 25 0 4 0 1117024095 117239808 21484 4294967295 134512640 135305190 3220107824 3073149824 134552302 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=114492 CPUtime=757.92
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 6090 0 0 0 75728 64 0 0 25 0 4 0 1117024095 117239808 21484 4294967295 134512640 135305190 3220107824 3064761536 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3037.75
Current children cumulated vsize (KiB) 116912

[startup+822.308 s]
/proc/loadavg: 4.77 4.64 4.58 6/115 17530
/proc/meminfo: memFree=2180848/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=119388 CPUtime=3276.4
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 22732 0 0 0 327383 257 0 0 25 0 4 0 1117024082 122253312 22640 4294967295 134512640 135305190 3220107824 3220106000 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15157/statm: 29847 22640 79 194 0 29651 0
[pid=15157/tid=15158] ppid=15154 vsize=119388 CPUtime=820.4
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3560 0 0 0 81990 50 0 0 25 0 4 0 1117024095 122253312 22640 4294967295 134512640 135305190 3220107824 3081538416 134551793 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=119388 CPUtime=818.19
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 4108 0 0 0 81747 72 0 0 25 0 4 0 1117024095 122253312 22640 4294967295 134512640 135305190 3220107824 3073150144 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=119388 CPUtime=817.71
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 6609 0 0 0 81699 72 0 0 25 0 4 0 1117024095 122253312 22640 4294967295 134512640 135305190 3220107824 3064761536 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3277.49
Current children cumulated vsize (KiB) 121808

[startup+882.305 s]
/proc/loadavg: 4.52 4.61 4.57 7/115 17722
/proc/meminfo: memFree=2176768/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=123688 CPUtime=3515.59
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 23711 0 0 0 351275 284 0 0 25 0 4 0 1117024082 126656512 23619 4294967295 134512640 135305190 3220107824 3220106000 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/15157/statm: 30922 23619 79 194 0 30726 0
[pid=15157/tid=15158] ppid=15154 vsize=123688 CPUtime=880.27
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3670 0 0 0 87965 62 0 0 25 0 4 0 1117024095 126656512 23619 4294967295 134512640 135305190 3220107824 3081538752 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=123688 CPUtime=878.16
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 4227 0 0 0 87740 76 0 0 25 0 4 0 1117024095 126656512 23619 4294967295 134512640 135305190 3220107824 3073150144 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=123688 CPUtime=877.44
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 7095 0 0 0 87666 78 0 0 25 0 4 0 1117024095 126656512 23619 4294967295 134512640 135305190 3220107824 3064761328 134548937 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3516.68
Current children cumulated vsize (KiB) 126108

[startup+942.312 s]
/proc/loadavg: 4.60 4.62 4.57 7/115 17864
/proc/meminfo: memFree=2174996/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=124688 CPUtime=3755.12
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 23966 0 0 0 375214 298 0 0 25 0 4 0 1117024082 127680512 23874 4294967295 134512640 135305190 3220107824 3220106000 134528571 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/15157/statm: 31172 23874 79 194 0 30976 0
[pid=15157/tid=15158] ppid=15154 vsize=124688 CPUtime=940.28
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3703 0 0 0 93964 64 0 0 25 0 4 0 1117024095 127680512 23874 4294967295 134512640 135305190 3220107824 3081538752 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=124688 CPUtime=938.13
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 4284 0 0 0 93734 79 0 0 25 0 4 0 1117024095 127680512 23874 4294967295 134512640 135305190 3220107824 3073150144 134528322 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=124688 CPUtime=937.05
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 7240 0 0 0 93621 84 0 0 25 0 4 0 1117024095 127680512 23874 4294967295 134512640 135305190 3220107824 3064761536 134528548 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3756.21
Current children cumulated vsize (KiB) 127108



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.46 4.59 4.56 5/114 18007
/proc/meminfo: memFree=2174552/3368532 swapFree=1959840/1959888
[pid=15154] ppid=15152 vsize=2420 CPUtime=1.09
/proc/15154/stat : 15154 (manysat.sh) S 15152 15154 29143 0 -1 4194304 369 4063 0 0 0 1 106 2 18 0 1 0 1117023973 2478080 275 4294967295 134512640 135169312 3219050800 3219047016 3084996334 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/15154/statm: 605 275 231 161 0 44 0
[pid=15157] ppid=15154 vsize=125348 CPUtime=3985.6
/proc/15157/stat : 15157 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202496 24149 0 0 0 398257 303 0 0 25 0 4 0 1117024082 128356352 24057 4294967295 134512640 135305190 3220107824 3220106000 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/15157/statm: 31337 24057 79 194 0 31141 0
[pid=15157/tid=15158] ppid=15154 vsize=125348 CPUtime=997.84
/proc/15157/task/15158/stat : 15158 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 3842 0 0 0 99716 68 0 0 25 0 4 0 1117024095 128356352 24057 4294967295 134512640 135305190 3220107824 3081538752 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=15157/tid=15159] ppid=15154 vsize=125348 CPUtime=995.8
/proc/15157/task/15159/stat : 15159 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 4297 0 0 0 99500 80 0 0 25 0 4 0 1117024095 128356352 24057 4294967295 134512640 135305190 3220107824 3073149760 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15157/tid=15160] ppid=15154 vsize=125348 CPUtime=994.61
/proc/15157/task/15160/stat : 15160 (manysat1.1_stat) R 15154 15154 29143 0 -1 4202560 7260 0 0 0 99377 84 0 0 25 0 4 0 1117024095 128356352 24057 4294967295 134512640 135305190 3220107824 3064761264 134558354 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3986.69
Current children cumulated vsize (KiB) 127768

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): 3986.78
CPU user time (s): 3983.71
CPU system time (s): 3.07
CPU usage (%): 398.663
Max. virtual memory (cumulated for all children) (KiB): 127768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3983.71
system time used= 3.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28858
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= 5224
involuntary context switches= 189087

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 17:13:32
IDJOB=1779349
IDBENCH=70843
IDSOLVER=623
FILE ID=/1779349-1243523612
PBS_JOBID=
Free space on /tmp= 7986 MiB

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

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

MD5SUM BENCH= 7785f51f4f3cb780b4d123215711f948
RANDOM SEED= 1385641228

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.073
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.073
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.073
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.073
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:       2276672 kB
Buffers:         33848 kB
Cached:         937972 kB
SwapCached:          0 kB
Active:          49448 kB
Inactive:       941372 kB
HighTotal:     2489216 kB
HighFree:      1645804 kB
LowTotal:       879316 kB
LowFree:        630868 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            3192 kB
Writeback:           0 kB
AnonPages:       19224 kB
Mapped:           7752 kB
Slab:            91460 kB
SReclaimable:    78612 kB
SUnreclaim:      12848 kB
PageTables:        688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   111080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7986 MiB
End job on  at 2009-05-28 17:30:12