Trace number 1779229

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

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
MD5SUM5822cc7fe01f06c27406011d612b5e7d
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 variables69641
Number of clauses227010
Sum of the clauses size588274
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292498
Number of clauses of size 3134383
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.01/0.18	c ==============================================================================
0.01/0.18	c |           |     ORIGINAL     |              LEARNT              |          |
0.01/0.18	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.01/0.18	c ==============================================================================
0.01/0.18	c |         0 |  226367   586604 |   67910       0        0     nan |  0.000 % |
0.01/0.89	c |         0 |  163489   553284 |      --       0       --      -- |     --   | -62878/-33320
0.01/0.89	c ==============================================================================
0.01/0.89	c Result  :   #vars: 28527   #clauses: 163489   #literals: 553284
0.01/0.89	c CPU time:   0.86 s
0.01/0.89	c ==============================================================================
3987.46/1000.04	HOME/manysat.sh: line 55:  2132 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-1779229-1243522025/watcher-1779229-1243522025 -o /tmp/evaluation-result-1779229-1243522025/solver-1779229-1243522025 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779229-1243522025.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.32 4.49 4.53 2/99 2128
/proc/meminfo: memFree=3064912/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2396 CPUtime=0.01
/proc/2128/stat : 2128 (manysat.sh) R 2126 2128 19648 0 -1 4194304 238 0 0 0 0 1 0 0 25 0 1 0 1116866978 2453504 179 4294967295 134512640 135169312 3220195920 3220184868 3084880939 0 0 0 0 0 0 0 17 2 0 0 0
/proc/2128/statm: 599 179 143 161 0 38 0

[startup+0.090619 s]
/proc/loadavg: 4.32 4.49 4.53 2/99 2128
/proc/meminfo: memFree=3064912/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2412 CPUtime=0.01
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 349 0 0 0 0 1 0 0 25 0 1 0 1116866978 2469888 273 4294967295 134512640 135169312 3220195920 3220194456 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2128/statm: 603 273 231 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412

[startup+0.110617 s]
/proc/loadavg: 4.32 4.49 4.53 2/99 2128
/proc/meminfo: memFree=3064912/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2412 CPUtime=0.01
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 349 0 0 0 0 1 0 0 25 0 1 0 1116866978 2469888 273 4294967295 134512640 135169312 3220195920 3220194456 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2128/statm: 603 273 231 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412

[startup+0.310598 s]
/proc/loadavg: 4.32 4.49 4.53 2/99 2128
/proc/meminfo: memFree=3064912/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2412 CPUtime=0.01
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 349 0 0 0 0 1 0 0 25 0 1 0 1116866978 2469888 273 4294967295 134512640 135169312 3220195920 3220194456 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2128/statm: 603 273 231 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412

[startup+0.710559 s]
/proc/loadavg: 4.32 4.49 4.53 2/99 2128
/proc/meminfo: memFree=3064912/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2412 CPUtime=0.01
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 349 0 0 0 0 1 0 0 25 0 1 0 1116866978 2469888 273 4294967295 134512640 135169312 3220195920 3220194456 3085164270 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2128/statm: 603 273 231 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412

[startup+1.51049 s]
/proc/loadavg: 4.32 4.49 4.53 2/101 2131
/proc/meminfo: memFree=3023028/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2416

[startup+3.11034 s]
/proc/loadavg: 4.13 4.44 4.52 5/104 2135
/proc/meminfo: memFree=3002848/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=87276 CPUtime=6.46
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 14534 0 0 0 598 48 0 0 16 0 4 0 1116867090 89370624 14468 4294967295 134512640 135305190 3218608320 3218606496 134528227 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/2132/statm: 21819 14468 79 194 0 21623 0
[pid=2132/tid=2133] ppid=2128 vsize=87276 CPUtime=1.46
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 704 0 0 0 139 7 0 0 16 0 4 0 1116867126 89370624 14468 4294967295 134512640 135305190 3218608320 3074452672 134528603 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=87276 CPUtime=1.46
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 755 0 0 0 140 6 0 0 16 0 4 0 1116867126 89370624 14468 4294967295 134512640 135305190 3218608320 3066064064 134528771 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=87276 CPUtime=1.58
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 756 0 0 0 144 14 0 0 16 0 4 0 1116867126 89370624 14468 4294967295 134512640 135305190 3218608320 3057675120 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 89692

[startup+6.31004 s]
/proc/loadavg: 4.13 4.44 4.52 6/104 2135
/proc/meminfo: memFree=2998916/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=89544 CPUtime=19.21
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 15152 0 0 0 1870 51 0 0 19 0 4 0 1116867090 91693056 15086 4294967295 134512640 135305190 3218608320 3218606224 134558366 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2132/statm: 22386 15086 79 194 0 22190 0
[pid=2132/tid=2133] ppid=2128 vsize=89544 CPUtime=4.66
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 835 0 0 0 459 7 0 0 19 0 4 0 1116867126 91693056 15086 4294967295 134512640 135305190 3218608320 3074452336 134551860 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=89544 CPUtime=4.63
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 898 0 0 0 457 6 0 0 19 0 4 0 1116867126 91693056 15086 4294967295 134512640 135305190 3218608320 3066063744 134553344 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=89544 CPUtime=4.78
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 964 0 0 0 461 17 0 0 20 0 4 0 1116867126 91693056 15086 4294967295 134512640 135305190 3218608320 3057675456 134528837 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.32
Current children cumulated vsize (KiB) 91960

[startup+12.7094 s]
/proc/loadavg: 4.11 4.43 4.51 5/104 2135
/proc/meminfo: memFree=2994724/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=92828 CPUtime=44.79
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 16028 0 0 0 4427 52 0 0 25 0 4 0 1116867090 95055872 15962 4294967295 134512640 135305190 3218608320 3218606160 134551729 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2132/statm: 23207 15962 79 194 0 23011 0
[pid=2132/tid=2133] ppid=2128 vsize=92828 CPUtime=11.06
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 1106 0 0 0 1098 8 0 0 25 0 4 0 1116867126 95055872 15962 4294967295 134512640 135305190 3218608320 3074452416 134542048 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=92828 CPUtime=11.03
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 1082 0 0 0 1097 6 0 0 25 0 4 0 1116867126 95055872 15962 4294967295 134512640 135305190 3218608320 3066064064 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=92828 CPUtime=11.18
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 1166 0 0 0 1101 17 0 0 25 0 4 0 1116867126 95055872 15962 4294967295 134512640 135305190 3218608320 3057675456 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.9
Current children cumulated vsize (KiB) 95244

[startup+25.5082 s]
/proc/loadavg: 4.17 4.43 4.51 6/105 2180
/proc/meminfo: memFree=2988576/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=97940 CPUtime=95.86
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 17363 0 0 0 9529 57 0 0 25 0 4 0 1116867090 100290560 17297 4294967295 134512640 135305190 3218608320 3218606496 134528503 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2132/statm: 24485 17297 79 194 0 24289 0
[pid=2132/tid=2133] ppid=2128 vsize=97940 CPUtime=23.81
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 1440 0 0 0 2370 11 0 0 25 0 4 0 1116867126 100290560 17297 4294967295 134512640 135305190 3218608320 3074452672 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=97940 CPUtime=23.82
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 1387 0 0 0 2376 6 0 0 25 0 4 0 1116867126 100290560 17297 4294967295 134512640 135305190 3218608320 3066064064 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=97940 CPUtime=23.98
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 1526 0 0 0 2379 19 0 0 25 0 4 0 1116867126 100290560 17297 4294967295 134512640 135305190 3218608320 3057675184 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 96.97
Current children cumulated vsize (KiB) 100356

[startup+51.1058 s]
/proc/loadavg: 4.36 4.46 4.52 6/104 2321
/proc/meminfo: memFree=2978704/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=108484 CPUtime=197.97
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 19974 0 0 0 19732 65 0 0 25 0 4 0 1116867090 111087616 19908 4294967295 134512640 135305190 3218608320 3218606496 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 27121 19908 79 194 0 26925 0
[pid=2132/tid=2133] ppid=2128 vsize=108484 CPUtime=49.4
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 2003 0 0 0 4929 11 0 0 25 0 4 0 1116867126 111087616 19908 4294967295 134512640 135305190 3218608320 3074452400 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=108484 CPUtime=49.29
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 1816 0 0 0 4918 11 0 0 25 0 4 0 1116867126 111087616 19908 4294967295 134512640 135305190 3218608320 3066064064 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=108484 CPUtime=49.51
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 2476 0 0 0 4930 21 0 0 25 0 4 0 1116867126 111087616 19908 4294967295 134512640 135305190 3218608320 3057675120 134551697 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 199.08
Current children cumulated vsize (KiB) 110900

[startup+102.321 s]
/proc/loadavg: 4.61 4.50 4.53 5/104 2509
/proc/meminfo: memFree=2962708/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=125036 CPUtime=402.33
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 23938 0 0 0 40148 85 0 0 25 0 4 0 1116867090 128036864 23845 4294967295 134512640 135305190 3218608320 3218606496 134528252 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 31259 23845 79 194 0 31063 0
[pid=2132/tid=2133] ppid=2128 vsize=125036 CPUtime=100.35
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 2740 0 0 0 10022 13 0 0 25 0 4 0 1116867126 128036864 23845 4294967295 134512640 135305190 3218608320 3074452336 134551799 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=125036 CPUtime=100.43
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 2827 0 0 0 10031 12 0 0 25 0 4 0 1116867126 128036864 23845 4294967295 134512640 135305190 3218608320 3066064064 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=125036 CPUtime=100.62
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 3649 0 0 0 10034 28 0 0 25 0 4 0 1116867126 128036864 23845 4294967295 134512640 135305190 3218608320 3057675456 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 403.44
Current children cumulated vsize (KiB) 127452

[startup+162.315 s]
/proc/loadavg: 4.72 4.52 4.53 7/105 2695
/proc/meminfo: memFree=2957624/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=129096 CPUtime=641.76
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 24995 0 0 0 64083 93 0 0 25 0 4 0 1116867090 132194304 24875 4294967295 134512640 135305190 3218608320 3218606496 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 32274 24875 79 194 0 32078 0
[pid=2132/tid=2133] ppid=2128 vsize=129096 CPUtime=159.95
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 2932 0 0 0 15980 15 0 0 25 0 4 0 1116867126 132194304 24875 4294967295 134512640 135305190 3218608320 3074452672 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=129096 CPUtime=160.37
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 3171 0 0 0 16023 14 0 0 25 0 4 0 1116867126 132194304 24875 4294967295 134512640 135305190 3218608320 3066064064 134528512 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=129096 CPUtime=160.53
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 3872 0 0 0 16023 30 0 0 25 0 4 0 1116867126 132194304 24875 4294967295 134512640 135305190 3218608320 3057675120 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 642.87
Current children cumulated vsize (KiB) 131512

[startup+222.309 s]
/proc/loadavg: 4.54 4.49 4.52 6/105 2844
/proc/meminfo: memFree=2942900/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=145008 CPUtime=881.47
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 28854 0 0 0 88033 114 0 0 25 0 4 0 1116867090 148488192 28734 4294967295 134512640 135305190 3218608320 3218606496 134528263 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 36252 28734 79 194 0 36056 0
[pid=2132/tid=2133] ppid=2128 vsize=145008 CPUtime=219.85

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

Current children cumulated vsize (KiB) 196380

[startup+522.311 s]
/proc/loadavg: 4.53 4.54 4.53 7/105 3736
/proc/meminfo: memFree=2886688/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=201892 CPUtime=2079.29
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 43010 0 0 0 207733 196 0 0 25 0 4 0 1116867090 206737408 42890 4294967295 134512640 135305190 3218608320 3218606496 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 50473 42890 79 194 0 50277 0
[pid=2132/tid=2133] ppid=2128 vsize=201892 CPUtime=518.84
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 6594 0 0 0 51836 48 0 0 25 0 4 0 1116867126 206737408 42890 4294967295 134512640 135305190 3218608320 3074452400 134556904 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=201892 CPUtime=519.83
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 8124 0 0 0 51953 30 0 0 25 0 4 0 1116867126 206737408 42890 4294967295 134512640 135305190 3218608320 3066063680 134551628 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=201892 CPUtime=520.3
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 8808 0 0 0 51972 58 0 0 25 0 4 0 1116867126 206737408 42890 4294967295 134512640 135305190 3218608320 3057675120 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2080.4
Current children cumulated vsize (KiB) 204308

[startup+582.305 s]
/proc/loadavg: 4.67 4.55 4.53 7/105 3930
/proc/meminfo: memFree=2880380/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=206384 CPUtime=2318.68
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 44247 0 0 0 231658 210 0 0 25 0 4 0 1116867090 211337216 44127 4294967295 134512640 135305190 3218608320 3218606496 134528319 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 51596 44127 79 194 0 51400 0
[pid=2132/tid=2133] ppid=2128 vsize=206384 CPUtime=578.81
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 6813 0 0 0 57832 49 0 0 25 0 4 0 1116867126 211337216 44127 4294967295 134512640 135305190 3218608320 3074452672 134528545 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=206384 CPUtime=579.65
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 8481 0 0 0 57930 35 0 0 25 0 4 0 1116867126 211337216 44127 4294967295 134512640 135305190 3218608320 3066064064 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=206384 CPUtime=580.26
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 9166 0 0 0 57966 60 0 0 25 0 4 0 1116867126 211337216 44127 4294967295 134512640 135305190 3218608320 3057675456 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2319.79
Current children cumulated vsize (KiB) 208800

[startup+642.319 s]
/proc/loadavg: 4.53 4.55 4.53 7/105 4096
/proc/meminfo: memFree=2869032/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=218212 CPUtime=2558.46
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 47209 0 0 0 255606 240 0 0 25 0 4 0 1116867090 223449088 47089 4294967295 134512640 135305190 3218608320 3218606224 134556558 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 54553 47089 79 194 0 54357 0
[pid=2132/tid=2133] ppid=2128 vsize=218212 CPUtime=638.8
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 7391 0 0 0 63825 55 0 0 25 0 4 0 1116867126 223449088 47090 4294967295 134512640 135305190 3218608320 3074452672 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=218212 CPUtime=639.47
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 9289 0 0 0 63900 47 0 0 25 0 4 0 1116867126 223449088 47090 4294967295 134512640 135305190 3218608320 3066063680 134551793 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=218212 CPUtime=640.21
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 10058 0 0 0 63954 67 0 0 25 0 4 0 1116867126 223449088 47090 4294967295 134512640 135305190 3218608320 3057675136 134843311 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2559.57
Current children cumulated vsize (KiB) 220628

[startup+702.314 s]
/proc/loadavg: 4.54 4.56 4.54 5/104 4253
/proc/meminfo: memFree=2850220/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=237544 CPUtime=2798.13
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 52038 0 0 0 279557 256 0 0 25 0 4 0 1116867090 243245056 51918 4294967295 134512640 135305190 3218608320 3218606496 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 59386 51918 79 194 0 59190 0
[pid=2132/tid=2133] ppid=2128 vsize=237544 CPUtime=698.77
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 8529 0 0 0 69818 59 0 0 25 0 4 0 1116867126 243245056 51918 4294967295 134512640 135305190 3218608320 3074452672 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=237544 CPUtime=699.38
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 10504 0 0 0 69884 54 0 0 25 0 4 0 1116867126 243245056 51918 4294967295 134512640 135305190 3218608320 3066064064 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=237544 CPUtime=700.2
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 11522 0 0 0 69949 71 0 0 25 0 4 0 1116867126 243245056 51918 4294967295 134512640 135305190 3218608320 3057675456 134528223 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2799.24
Current children cumulated vsize (KiB) 239960

[startup+762.318 s]
/proc/loadavg: 4.34 4.52 4.52 5/104 4442
/proc/meminfo: memFree=2847864/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=238672 CPUtime=3037.98
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 52375 0 0 0 303527 271 0 0 25 0 4 0 1116867090 244400128 52255 4294967295 134512640 135305190 3218608320 3218606496 134528771 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 59668 52255 79 194 0 59472 0
[pid=2132/tid=2133] ppid=2128 vsize=238672 CPUtime=758.74
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 8532 0 0 0 75810 64 0 0 25 0 4 0 1116867126 244400128 52255 4294967295 134512640 135305190 3218608320 3074452672 134528506 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=238672 CPUtime=759.39
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 10758 0 0 0 75884 55 0 0 25 0 4 0 1116867126 244400128 52255 4294967295 134512640 135305190 3218608320 3066064064 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=238672 CPUtime=760.2
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 11563 0 0 0 75946 74 0 0 25 0 4 0 1116867126 244400128 52255 4294967295 134512640 135305190 3218608320 3057675456 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3039.09
Current children cumulated vsize (KiB) 241088

[startup+822.312 s]
/proc/loadavg: 4.44 4.54 4.53 5/104 4628
/proc/meminfo: memFree=2839308/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=248816 CPUtime=3277.18
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 54866 0 0 0 327421 297 0 0 25 0 4 0 1116867090 254787584 54746 4294967295 134512640 135305190 3218608320 3218606224 134556558 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 62204 54746 79 194 0 62008 0
[pid=2132/tid=2133] ppid=2128 vsize=248816 CPUtime=818.52
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 9028 0 0 0 81785 67 0 0 25 0 4 0 1116867126 254787584 54746 4294967295 134512640 135305190 3218608320 3074452672 134528506 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=248816 CPUtime=819.01
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 11345 0 0 0 81844 57 0 0 25 0 4 0 1116867126 254787584 54746 4294967295 134512640 135305190 3218608320 3066064064 134528256 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=248816 CPUtime=820.09
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 12291 0 0 0 81929 80 0 0 25 0 4 0 1116867126 254787584 54746 4294967295 134512640 135305190 3218608320 3057675456 134528609 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3278.29
Current children cumulated vsize (KiB) 251232

[startup+882.307 s]
/proc/loadavg: 4.57 4.58 4.55 5/104 4817
/proc/meminfo: memFree=2827280/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=259044 CPUtime=3516.67
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 57574 0 0 0 351357 310 0 0 25 0 4 0 1116867090 265261056 57454 4294967295 134512640 135305190 3218608320 3218606224 134556734 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 64761 57454 79 194 0 64565 0
[pid=2132/tid=2133] ppid=2128 vsize=259044 CPUtime=878.47
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 9589 0 0 0 87780 67 0 0 25 0 4 0 1116867126 265261056 57454 4294967295 134512640 135305190 3218608320 3074452672 134530592 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=259044 CPUtime=878.84
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 12094 0 0 0 87825 59 0 0 25 0 4 0 1116867126 265261056 57454 4294967295 134512640 135305190 3218608320 3066063744 134552678 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=259044 CPUtime=879.9
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 13048 0 0 0 87907 83 0 0 25 0 4 0 1116867126 265261056 57454 4294967295 134512640 135305190 3218608320 3057675120 134551671 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3517.78
Current children cumulated vsize (KiB) 261460

[startup+942.311 s]
/proc/loadavg: 4.60 4.59 4.55 6/104 5006
/proc/meminfo: memFree=2826652/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=260408 CPUtime=3756.19
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 57742 0 0 0 375302 317 0 0 25 0 4 0 1116867090 266657792 57622 4294967295 134512640 135305190 3218608320 3218606224 134556558 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 65102 57622 79 194 0 64906 0
[pid=2132/tid=2133] ppid=2128 vsize=260408 CPUtime=938.45
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 9613 0 0 0 93777 68 0 0 25 0 4 0 1116867126 266657792 57622 4294967295 134512640 135305190 3218608320 3074452672 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=260408 CPUtime=938.52
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 12202 0 0 0 93792 60 0 0 25 0 4 0 1116867126 266657792 57622 4294967295 134512640 135305190 3218608320 3066064064 134528341 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=260408 CPUtime=939.76
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 13066 0 0 0 93890 86 0 0 25 0 4 0 1116867126 266657792 57622 4294967295 134512640 135305190 3218608320 3057675456 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3757.3
Current children cumulated vsize (KiB) 262824



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.41 4.54 4.53 6/104 5196
/proc/meminfo: memFree=2817236/3368532 swapFree=1953580/1959888
[pid=2128] ppid=2126 vsize=2416 CPUtime=1.11
/proc/2128/stat : 2128 (manysat.sh) S 2126 2128 19648 0 -1 4194304 369 9930 0 0 0 1 103 7 18 0 1 0 1116866978 2473984 274 4294967295 134512640 135169312 3220195920 3220192136 3085164270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/2128/statm: 604 274 231 161 0 43 0
[pid=2132] ppid=2128 vsize=271076 CPUtime=3986.35
/proc/2132/stat : 2132 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202496 60409 0 0 0 398298 337 0 0 25 0 4 0 1116867090 277581824 60289 4294967295 134512640 135305190 3218608320 3218606496 134528446 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2132/statm: 67769 60289 79 194 0 67573 0
[pid=2132/tid=2133] ppid=2128 vsize=271076 CPUtime=996.13
/proc/2132/task/2133/stat : 2133 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 10210 0 0 0 99541 72 0 0 25 0 4 0 1116867126 277581824 60290 4294967295 134512640 135305190 3218608320 3074452616 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2132/tid=2134] ppid=2128 vsize=271076 CPUtime=995.91
/proc/2132/task/2134/stat : 2134 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 12883 0 0 0 99529 62 0 0 25 0 4 0 1116867126 277581824 60290 4294967295 134512640 135305190 3218608320 3066064064 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2132/tid=2135] ppid=2128 vsize=271076 CPUtime=997.24
/proc/2132/task/2135/stat : 2135 (manysat1.1_stat) R 2128 2128 19648 0 -1 4202560 13948 0 0 0 99631 93 0 0 25 0 4 0 1116867126 277581824 60290 4294967295 134512640 135305190 3218608320 3057675456 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3987.46
Current children cumulated vsize (KiB) 273492

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1000.05
CPU time (s): 3987.54
CPU user time (s): 3984.08
CPU system time (s): 3.46
CPU usage (%): 398.733
Max. virtual memory (cumulated for all children) (KiB): 273492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3984.08
system time used= 3.46
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70985
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= 45788
involuntary context switches= 184788

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 16:47:05
IDJOB=1779229
IDBENCH=70824
IDSOLVER=623
FILE ID=/1779229-1243522025
PBS_JOBID=
Free space on /tmp= 15881 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-14.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779229-1243522025/watcher-1779229-1243522025 -o /tmp/evaluation-result-1779229-1243522025/solver-1779229-1243522025 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779229-1243522025.cnf aimd 1

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

MD5SUM BENCH= 5822cc7fe01f06c27406011d612b5e7d
RANDOM SEED= 646946240

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:       3064912 kB
Buffers:         27188 kB
Cached:         198688 kB
SwapCached:       2424 kB
Active:          93240 kB
Inactive:       143488 kB
HighTotal:     2489216 kB
HighFree:      2277500 kB
LowTotal:       879316 kB
LowFree:        787412 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            5816 kB
Writeback:           0 kB
AnonPages:        9948 kB
Mapped:           4808 kB
Slab:            57696 kB
SReclaimable:    49652 kB
SUnreclaim:       8044 kB
PageTables:        520 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= 15881 MiB
End job on  at 2009-05-28 17:03:46