Trace number 1779397

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ManySAT 1.1 aimd 2/2009-03-20 (4 threads)? (TO) 3987.06 43

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-27-s100.cnf
MD5SUMf47c33d2a9a327da4633207adfef7b77
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 variables31951
Number of clauses96161
Sum of the clauses size226837
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261518
Number of clauses of size 334579
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 |   95961   226361 |   28788       0        0     nan |  0.000 % |
0.91/1.00	c |         0 |   59330   176425 |      --       0       --      -- |     --   | -36291/-48960
0.91/1.00	c ==============================================================================
0.91/1.00	c Result  :   #vars: 14275   #clauses: 59330   #literals: 176425
0.91/1.00	c CPU time:   0.93 s
0.91/1.00	c ==============================================================================
3986.98/1000.03	HOME/manysat.sh: line 55:  8840 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-1779397-1243524124/watcher-1779397-1243524124 -o /tmp/evaluation-result-1779397-1243524124/solver-1779397-1243524124 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779397-1243524124.cnf aimd 2 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.50 4.52 4.53 3/99 8837
/proc/meminfo: memFree=3065080/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2412 CPUtime=0
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117076867 2469888 274 4294967295 134512640 135169312 3215203712 3215202248 3085303534 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/8837/statm: 603 274 231 161 0 42 0
[pid=8838] ppid=8837 vsize=2464 CPUtime=0
/proc/8838/stat : 8838 (SatElite) R 8837 8837 19648 0 -1 4202496 438 0 0 0 0 0 0 0 18 0 1 0 1117076867 2523136 375 4294967295 134512640 135034092 3221142272 3221138560 134545140 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8838/statm: 616 377 50 128 0 486 0

[startup+0.080401 s]
/proc/loadavg: 4.50 4.52 4.53 3/99 8837
/proc/meminfo: memFree=3065080/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2412 CPUtime=0
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117076867 2469888 274 4294967295 134512640 135169312 3215203712 3215202248 3085303534 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/8837/statm: 603 274 231 161 0 42 0
[pid=8838] ppid=8837 vsize=13320 CPUtime=0.08
/proc/8838/stat : 8838 (SatElite) R 8837 8837 19648 0 -1 4202496 3347 0 0 0 4 4 0 0 18 0 1 0 1117076867 13639680 3157 4294967295 134512640 135034092 3221142272 3221136400 134562066 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8838/statm: 3330 3157 80 128 0 3200 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15732

[startup+0.110398 s]
/proc/loadavg: 4.50 4.52 4.53 3/99 8837
/proc/meminfo: memFree=3065080/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2412 CPUtime=0
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117076867 2469888 274 4294967295 134512640 135169312 3215203712 3215202248 3085303534 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/8837/statm: 603 274 231 161 0 42 0
[pid=8838] ppid=8837 vsize=13992 CPUtime=0.11
/proc/8838/stat : 8838 (SatElite) R 8837 8837 19648 0 -1 4202496 3581 0 0 0 6 5 0 0 18 0 1 0 1117076867 14327808 3314 4294967295 134512640 135034092 3221142272 3221138268 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8838/statm: 3498 3314 67 128 0 3368 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16404

[startup+0.310378 s]
/proc/loadavg: 4.50 4.52 4.53 3/99 8837
/proc/meminfo: memFree=3065080/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2412 CPUtime=0
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117076867 2469888 274 4294967295 134512640 135169312 3215203712 3215202248 3085303534 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/8837/statm: 603 274 231 161 0 42 0
[pid=8838] ppid=8837 vsize=14696 CPUtime=0.31
/proc/8838/stat : 8838 (SatElite) R 8837 8837 19648 0 -1 4202496 3718 0 0 0 26 5 0 0 18 0 1 0 1117076867 15048704 3451 4294967295 134512640 135034092 3221142272 3221138268 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8838/statm: 3674 3451 67 128 0 3544 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 17108

[startup+0.71034 s]
/proc/loadavg: 4.50 4.52 4.53 3/99 8837
/proc/meminfo: memFree=3065080/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2412 CPUtime=0
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117076867 2469888 274 4294967295 134512640 135169312 3215203712 3215202248 3085303534 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/8837/statm: 603 274 231 161 0 42 0
[pid=8838] ppid=8837 vsize=15460 CPUtime=0.71
/proc/8838/stat : 8838 (SatElite) R 8837 8837 19648 0 -1 4202496 3862 0 0 0 64 7 0 0 18 0 1 0 1117076867 15831040 3595 4294967295 134512640 135034092 3221142272 3221138512 134566263 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8838/statm: 3865 3595 67 128 0 3735 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 17872

[startup+1.51028 s]
/proc/loadavg: 4.50 4.52 4.53 2/101 8839
/proc/meminfo: memFree=3047260/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 2416

[startup+3.11012 s]
/proc/loadavg: 4.50 4.52 4.53 6/104 8846
/proc/meminfo: memFree=3039712/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=49532 CPUtime=7.6
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 5543 0 0 0 754 6 0 0 20 0 4 0 1117076975 50720768 5458 4294967295 134512640 135305190 3215353248 3215351424 134528277 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 12383 5458 79 194 0 12187 0
[pid=8840/tid=8841] ppid=8837 vsize=49532 CPUtime=1.89
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 198 0 0 0 188 1 0 0 20 0 4 0 1117076988 50720768 5458 4294967295 134512640 135305190 3215353248 3081592000 134528615 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=49532 CPUtime=1.88
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 162 0 0 0 187 1 0 0 20 0 4 0 1117076988 50720768 5458 4294967295 134512640 135305190 3215353248 3073203392 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=49532 CPUtime=1.8
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 331 0 0 0 179 1 0 0 21 0 4 0 1117076988 50720768 5458 4294967295 134512640 135305190 3215353248 3064814784 134528571 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 51948

[startup+6.30982 s]
/proc/loadavg: 4.46 4.51 4.52 5/104 8848
/proc/meminfo: memFree=3039168/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=50196 CPUtime=20.37
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 5734 0 0 0 2031 6 0 0 25 0 4 0 1117076975 51400704 5649 4294967295 134512640 135305190 3215353248 3215351424 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 12549 5649 79 194 0 12353 0
[pid=8840/tid=8841] ppid=8837 vsize=50196 CPUtime=5.09
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 225 0 0 0 508 1 0 0 25 0 4 0 1117076988 51400704 5649 4294967295 134512640 135305190 3215353248 3081592000 134528512 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=50196 CPUtime=5.08
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 192 0 0 0 507 1 0 0 25 0 4 0 1117076988 51400704 5649 4294967295 134512640 135305190 3215353248 3073203072 134552667 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=50196 CPUtime=4.97
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 447 0 0 0 496 1 0 0 25 0 4 0 1117076988 51400704 5649 4294967295 134512640 135305190 3215353248 3064814784 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.45
Current children cumulated vsize (KiB) 52612

[startup+12.7092 s]
/proc/loadavg: 4.42 4.50 4.52 5/104 8848
/proc/meminfo: memFree=3037752/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=51632 CPUtime=45.89
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 6091 0 0 0 4582 7 0 0 25 0 4 0 1117076975 52871168 6006 4294967295 134512640 135305190 3215353248 3215351424 134528559 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 12908 6006 79 194 0 12712 0
[pid=8840/tid=8841] ppid=8837 vsize=51632 CPUtime=11.49
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 289 0 0 0 1148 1 0 0 25 0 4 0 1117076988 52871168 6006 4294967295 134512640 135305190 3215353248 3081592000 134528808 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=51632 CPUtime=11.48
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 231 0 0 0 1147 1 0 0 25 0 4 0 1117076988 52871168 6006 4294967295 134512640 135305190 3215353248 3073203392 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=51632 CPUtime=11.29
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 621 0 0 0 1128 1 0 0 25 0 4 0 1117076988 52871168 6006 4294967295 134512640 135305190 3215353248 3064814784 134528536 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 46.97
Current children cumulated vsize (KiB) 54048

[startup+25.508 s]
/proc/loadavg: 4.33 4.47 4.51 5/104 8848
/proc/meminfo: memFree=3034780/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=54264 CPUtime=96.92
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 6792 0 0 0 9684 8 0 0 25 0 4 0 1117076975 55566336 6707 4294967295 134512640 135305190 3215353248 3215351424 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 13566 6707 79 194 0 13370 0
[pid=8840/tid=8841] ppid=8837 vsize=54264 CPUtime=24.29
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 456 0 0 0 2427 2 0 0 25 0 4 0 1117076988 55566336 6707 4294967295 134512640 135305190 3215353248 3081591728 134556789 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=54264 CPUtime=24.28
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 382 0 0 0 2427 1 0 0 25 0 4 0 1117076988 55566336 6707 4294967295 134512640 135305190 3215353248 3073203392 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=54264 CPUtime=23.92
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 890 0 0 0 2391 1 0 0 25 0 4 0 1117076988 55566336 6707 4294967295 134512640 135305190 3215353248 3064814784 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98
Current children cumulated vsize (KiB) 56680

[startup+51.1156 s]
/proc/loadavg: 4.34 4.47 4.51 6/104 8851
/proc/meminfo: memFree=3029928/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=58708 CPUtime=199.28
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 7956 0 0 0 19915 13 0 0 25 0 4 0 1117076975 60116992 7871 4294967295 134512640 135305190 3215353248 3215351152 134556558 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 14677 7871 79 194 0 14481 0
[pid=8840/tid=8841] ppid=8837 vsize=58708 CPUtime=49.9
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 757 0 0 0 4988 2 0 0 25 0 4 0 1117076988 60116992 7871 4294967295 134512640 135305190 3215353248 3081592000 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=58708 CPUtime=49.89
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 554 0 0 0 4988 1 0 0 25 0 4 0 1117076988 60116992 7871 4294967295 134512640 135305190 3215353248 3073203392 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=58708 CPUtime=49.46
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 1330 0 0 0 4944 2 0 0 25 0 4 0 1117076988 60116992 7871 4294967295 134512640 135305190 3215353248 3064814448 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.36
Current children cumulated vsize (KiB) 61124

[startup+102.311 s]
/proc/loadavg: 4.44 4.49 4.52 6/104 9037
/proc/meminfo: memFree=3021140/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=68864 CPUtime=403.15
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 10323 0 0 0 40289 26 0 0 25 0 4 0 1117076975 70516736 10238 4294967295 134512640 135305190 3215353248 3215351424 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 17216 10238 79 194 0 17020 0
[pid=8840/tid=8841] ppid=8837 vsize=68864 CPUtime=101.1
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 1184 0 0 0 10107 3 0 0 25 0 4 0 1117076988 70516736 10238 4294967295 134512640 135305190 3215353248 3081592000 134528545 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=68864 CPUtime=101.09
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 980 0 0 0 10108 1 0 0 25 0 4 0 1117076988 70516736 10238 4294967295 134512640 135305190 3215353248 3073203392 134528201 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=68864 CPUtime=100.15
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 2357 0 0 0 10009 6 0 0 25 0 4 0 1117076988 70516736 10238 4294967295 134512640 135305190 3215353248 3064814784 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 404.23
Current children cumulated vsize (KiB) 71280

[startup+162.305 s]
/proc/loadavg: 4.55 4.52 4.52 5/104 9226
/proc/meminfo: memFree=3012708/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=76196 CPUtime=642.64
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 12161 0 0 0 64223 41 0 0 25 0 4 0 1117076975 78024704 12076 4294967295 134512640 135305190 3215353248 3215351424 134528539 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 19049 12076 79 194 0 18853 0
[pid=8840/tid=8841] ppid=8837 vsize=76196 CPUtime=161.1
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 1419 0 0 0 16106 4 0 0 25 0 4 0 1117076988 78024704 12076 4294967295 134512640 135305190 3215353248 3081592000 134528428 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=76196 CPUtime=160.92
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 1410 0 0 0 16090 2 0 0 25 0 4 0 1117076988 78024704 12076 4294967295 134512640 135305190 3215353248 3073203392 134528229 0 0 0 3 0 0 0 -1 1 0 0 0

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

/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 4986 0 0 0 45772 23 0 0 25 0 4 0 1117076988 102408192 17715 4294967295 134512640 135305190 3215353248 3064814512 134557147 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1840.35
Current children cumulated vsize (KiB) 102424

[startup+522.311 s]
/proc/loadavg: 4.64 4.59 4.55 6/105 10337
/proc/meminfo: memFree=2988720/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=100356 CPUtime=2078.79
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 17924 0 0 0 207740 139 0 0 25 0 4 0 1117076975 102764544 17839 4294967295 134512640 135305190 3215353248 3215351088 134551628 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 25089 17839 79 194 0 24893 0
[pid=8840/tid=8841] ppid=8837 vsize=100356 CPUtime=521.06
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 2518 0 0 0 52078 28 0 0 25 0 4 0 1117076988 102764544 17839 4294967295 134512640 135305190 3215353248 3081591728 134556807 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=100356 CPUtime=520.31
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 2994 0 0 0 52002 29 0 0 25 0 4 0 1117076988 102764544 17839 4294967295 134512640 135305190 3215353248 3073203392 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=100356 CPUtime=517.67
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 5017 0 0 0 51740 27 0 0 25 0 4 0 1117076988 102764544 17839 4294967295 134512640 135305190 3215353248 3064814448 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2079.87
Current children cumulated vsize (KiB) 102772

[startup+582.315 s]
/proc/loadavg: 4.77 4.63 4.56 7/105 10505
/proc/meminfo: memFree=2983172/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=105472 CPUtime=2318.39
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 19265 0 0 0 231683 156 0 0 25 0 4 0 1117076975 108003328 19180 4294967295 134512640 135305190 3215353248 3215351152 134556813 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 26368 19180 79 194 0 26172 0
[pid=8840/tid=8841] ppid=8837 vsize=105472 CPUtime=581.04
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 2794 0 0 0 58073 31 0 0 25 0 4 0 1117076988 108003328 19180 4294967295 134512640 135305190 3215353248 3081591664 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=105472 CPUtime=580.07
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3235 0 0 0 57973 34 0 0 25 0 4 0 1117076988 108003328 19180 4294967295 134512640 135305190 3215353248 3073203392 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=105472 CPUtime=577.53
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 5509 0 0 0 57721 32 0 0 25 0 4 0 1117076988 108003328 19180 4294967295 134512640 135305190 3215353248 3064814512 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2319.47
Current children cumulated vsize (KiB) 107888

[startup+642.309 s]
/proc/loadavg: 4.57 4.60 4.55 6/104 10735
/proc/meminfo: memFree=2977400/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=110180 CPUtime=2557.93
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 20464 0 0 0 255622 171 0 0 25 0 4 0 1117076975 112824320 20379 4294967295 134512640 135305190 3215353248 3215351424 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8840/statm: 27545 20379 79 194 0 27349 0
[pid=8840/tid=8841] ppid=8837 vsize=110180 CPUtime=641.02
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3027 0 0 0 64068 34 0 0 25 0 4 0 1117076988 112824320 20379 4294967295 134512640 135305190 3215353248 3081592000 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=110180 CPUtime=639.9
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3461 0 0 0 63954 36 0 0 25 0 4 0 1117076988 112824320 20379 4294967295 134512640 135305190 3215353248 3073203392 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=110180 CPUtime=637.42
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 5943 0 0 0 63703 39 0 0 25 0 4 0 1117076988 112824320 20379 4294967295 134512640 135305190 3215353248 3064814784 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2559.01
Current children cumulated vsize (KiB) 112596

[startup+702.304 s]
/proc/loadavg: 4.61 4.60 4.55 7/105 10834
/proc/meminfo: memFree=2977452/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=110816 CPUtime=2797.7
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 20620 0 0 0 279582 188 0 0 25 0 4 0 1117076975 113475584 20535 4294967295 134512640 135305190 3215353248 3215351424 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8840/statm: 27704 20535 79 194 0 27508 0
[pid=8840/tid=8841] ppid=8837 vsize=110816 CPUtime=701.02
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3041 0 0 0 70063 39 0 0 25 0 4 0 1117076988 113475584 20535 4294967295 134512640 135305190 3215353248 3081592000 134528520 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=110816 CPUtime=699.69
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3593 0 0 0 69926 43 0 0 25 0 4 0 1117076988 113475584 20535 4294967295 134512640 135305190 3215353248 3073203392 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=110816 CPUtime=697.42
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 5953 0 0 0 69700 42 0 0 25 0 4 0 1117076988 113475584 20535 4294967295 134512640 135305190 3215353248 3064814784 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2798.78
Current children cumulated vsize (KiB) 113232

[startup+762.318 s]
/proc/loadavg: 4.50 4.59 4.55 8/105 11017
/proc/meminfo: memFree=2976760/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=112588 CPUtime=3037.29
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 20825 0 0 0 303525 204 0 0 25 0 4 0 1117076975 115290112 20740 4294967295 134512640 135305190 3215353248 3215351424 134528603 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8840/statm: 28147 20740 79 194 0 27951 0
[pid=8840/tid=8841] ppid=8837 vsize=112588 CPUtime=761.02
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3116 0 0 0 76060 42 0 0 25 0 4 0 1117076988 115290112 20740 4294967295 134512640 135305190 3215353248 3081592000 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=112588 CPUtime=759.68
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3682 0 0 0 75915 53 0 0 25 0 4 0 1117076988 115290112 20740 4294967295 134512640 135305190 3215353248 3073203072 134552678 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=112588 CPUtime=757.24
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 5980 0 0 0 75681 43 0 0 25 0 4 0 1117076988 115290112 20740 4294967295 134512640 135305190 3215353248 3064814784 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3038.37
Current children cumulated vsize (KiB) 115004

[startup+822.312 s]
/proc/loadavg: 4.57 4.60 4.55 6/105 11161
/proc/meminfo: memFree=2976792/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=113452 CPUtime=3276.68
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 21015 0 0 0 327456 212 0 0 25 0 4 0 1117076975 116174848 20930 4294967295 134512640 135305190 3215353248 3215351424 134530561 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8840/statm: 28363 20930 79 194 0 28167 0
[pid=8840/tid=8841] ppid=8837 vsize=113452 CPUtime=821.01
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3173 0 0 0 82057 44 0 0 25 0 4 0 1117076988 116174848 20930 4294967295 134512640 135305190 3215353248 3081592000 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=113452 CPUtime=819.68
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3759 0 0 0 81914 54 0 0 25 0 4 0 1117076988 116174848 20930 4294967295 134512640 135305190 3215353248 3073203072 134552665 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=113452 CPUtime=816.97
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 5999 0 0 0 81650 47 0 0 25 0 4 0 1117076988 116174848 20930 4294967295 134512640 135305190 3215353248 3064814784 134530636 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3277.76
Current children cumulated vsize (KiB) 115868

[startup+882.316 s]
/proc/loadavg: 4.69 4.63 4.56 5/104 11306
/proc/meminfo: memFree=2976748/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=114148 CPUtime=3516.24
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 21224 0 0 0 351401 223 0 0 25 0 4 0 1117076975 116887552 21139 4294967295 134512640 135305190 3215353248 3215351424 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/8840/statm: 28537 21139 79 194 0 28341 0
[pid=8840/tid=8841] ppid=8837 vsize=114148 CPUtime=881.02
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3192 0 0 0 88058 44 0 0 25 0 4 0 1117076988 116887552 21139 4294967295 134512640 135305190 3215353248 3081592000 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=114148 CPUtime=879.65
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3776 0 0 0 87908 57 0 0 25 0 4 0 1117076988 116887552 21139 4294967295 134512640 135305190 3215353248 3073203392 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=114148 CPUtime=876.97
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 6130 0 0 0 87647 50 0 0 25 0 4 0 1117076988 116887552 21139 4294967295 134512640 135305190 3215353248 3064814784 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3517.32
Current children cumulated vsize (KiB) 116564

[startup+942.311 s]
/proc/loadavg: 4.58 4.64 4.57 5/104 11494
/proc/meminfo: memFree=2973896/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=116736 CPUtime=3755.53
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 21968 0 0 0 375312 241 0 0 25 0 4 0 1117076975 119537664 21883 4294967295 134512640 135305190 3215353248 3215351424 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 29184 21883 79 194 0 28988 0
[pid=8840/tid=8841] ppid=8837 vsize=116736 CPUtime=941.02
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3334 0 0 0 94058 44 0 0 25 0 4 0 1117076988 119537664 21883 4294967295 134512640 135305190 3215353248 3081592000 134528771 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=116736 CPUtime=939.62
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3894 0 0 0 93894 68 0 0 25 0 4 0 1117076988 119537664 21883 4294967295 134512640 135305190 3215353248 3073203392 134528753 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=116736 CPUtime=936.69
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 6332 0 0 0 93616 53 0 0 25 0 4 0 1117076988 119537664 21883 4294967295 134512640 135305190 3215353248 3064814784 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3756.61
Current children cumulated vsize (KiB) 119152



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.45 4.60 4.56 5/104 11681
/proc/meminfo: memFree=2971292/3368532 swapFree=1953580/1959888
[pid=8837] ppid=8835 vsize=2416 CPUtime=1.08
/proc/8837/stat : 8837 (manysat.sh) S 8835 8837 19648 0 -1 4194304 371 4284 0 0 0 0 101 7 18 0 1 0 1117076867 2473984 275 4294967295 134512640 135169312 3215203712 3215199928 3085303534 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/8837/statm: 604 275 231 161 0 43 0
[pid=8840] ppid=8837 vsize=117472 CPUtime=3985.9
/proc/8840/stat : 8840 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202496 22107 0 0 0 398336 254 0 0 25 0 4 0 1117076975 120291328 22022 4294967295 134512640 135305190 3215353248 3215351152 134557163 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8840/statm: 29368 22022 79 194 0 29172 0
[pid=8840/tid=8841] ppid=8837 vsize=117472 CPUtime=998.71
/proc/8840/task/8841/stat : 8841 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3409 0 0 0 99826 45 0 0 25 0 4 0 1117076988 120291328 22022 4294967295 134512640 135305190 3215353248 3081591728 134557484 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8840/tid=8842] ppid=8837 vsize=117472 CPUtime=997.3
/proc/8840/task/8842/stat : 8842 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 3916 0 0 0 99657 73 0 0 25 0 4 0 1117076988 120291328 22022 4294967295 134512640 135305190 3215353248 3073203072 134552678 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8840/tid=8843] ppid=8837 vsize=117472 CPUtime=994.18
/proc/8840/task/8843/stat : 8843 (manysat1.1_stat) R 8837 8837 19648 0 -1 4202560 6332 0 0 0 99360 58 0 0 25 0 4 0 1117076988 120291328 22022 4294967295 134512640 135305190 3215353248 3064814784 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3986.98
Current children cumulated vsize (KiB) 119888

Sending SIGTERM to process tree (bottom up)
Real time (s): 43
 D1000.03
CPU time (s): 3987.06
CPU user time (s): 3984.45
CPU system time (s): 2.61
CPU usage (%): 398.693
Max. virtual memory (cumulated for all children) (KiB): 119888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3984.45
system time used= 2.61
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27037
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= 6742
involuntary context switches= 179046

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 17:22:04
IDJOB=1779397
IDBENCH=70849
IDSOLVER=626
FILE ID=/1779397-1243524124
PBS_JOBID=
Free space on /tmp= 15883 MiB

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

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

MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED= 409622767

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:       3065080 kB
Buffers:         27500 kB
Cached:         197528 kB
SwapCached:       2424 kB
Active:          91200 kB
Inactive:       144504 kB
HighTotal:     2489216 kB
HighFree:      2278208 kB
LowTotal:       879316 kB
LowFree:        786872 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            3112 kB
Writeback:           0 kB
AnonPages:       10180 kB
Mapped:           5100 kB
Slab:            58208 kB
SReclaimable:    49692 kB
SUnreclaim:       8516 kB
PageTables:        376 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:38:45