Trace number 1779562

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-28-s100.cnf
MD5SUM06e51f5d7b210924fc518c0569affee4
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 variables32151
Number of clauses96786
Sum of the clauses size228372
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261858
Number of clauses of size 334864
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.07/0.07	c ==============================================================================
0.07/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.07/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.07/0.07	c ==============================================================================
0.07/0.07	c |         0 |   96586   227896 |   28975       0        0     nan |  0.000 % |
1.02/1.02	c |         0 |   59532   176727 |      --       0       --      -- |     --   | -36714/-50193
1.02/1.02	c ==============================================================================
1.02/1.02	c Result  :   #vars: 14331   #clauses: 59532   #literals: 176727
1.02/1.02	c CPU time:   0.98 s
1.02/1.02	c ==============================================================================
3984.84/1000.04	HOME/manysat.sh: line 55: 27387 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-1779562-1243527643/watcher-1779562-1243527643 -o /tmp/evaluation-result-1779562-1243527643/solver-1779562-1243527643 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779562-1243527643.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.64 4.53 4.52 3/109 27383
/proc/meminfo: memFree=2273492/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2412 CPUtime=0.01
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117427075 2469888 273 4294967295 134512640 135169312 3217463216 3217461752 3085328110 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/27383/statm: 603 273 231 161 0 42 0
[pid=27384] ppid=27383 vsize=2464 CPUtime=0
/proc/27384/stat : 27384 (SatElite) R 27383 27383 29143 0 -1 4202496 476 0 0 0 0 0 0 0 18 0 1 0 1117427075 2523136 412 4294967295 134512640 135034092 3219239200 3219235488 134544849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27384/statm: 616 414 50 128 0 486 0

[startup+0.060599 s]
/proc/loadavg: 4.64 4.53 4.52 3/109 27383
/proc/meminfo: memFree=2273492/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2412 CPUtime=0.01
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117427075 2469888 273 4294967295 134512640 135169312 3217463216 3217461752 3085328110 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/27383/statm: 603 273 231 161 0 42 0
[pid=27384] ppid=27383 vsize=10564 CPUtime=0.06
/proc/27384/stat : 27384 (SatElite) R 27383 27383 29143 0 -1 4202496 2529 0 0 0 5 1 0 0 18 0 1 0 1117427075 10817536 2465 4294967295 134512640 135034092 3219239200 3219235192 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27384/statm: 2641 2466 50 128 0 2511 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12976

[startup+0.110581 s]
/proc/loadavg: 4.64 4.53 4.52 3/109 27383
/proc/meminfo: memFree=2273492/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2412 CPUtime=0.01
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117427075 2469888 273 4294967295 134512640 135169312 3217463216 3217461752 3085328110 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/27383/statm: 603 273 231 161 0 42 0
[pid=27384] ppid=27383 vsize=14296 CPUtime=0.11
/proc/27384/stat : 27384 (SatElite) R 27383 27383 29143 0 -1 4202496 3507 0 0 0 10 1 0 0 18 0 1 0 1117427075 14639104 3329 4294967295 134512640 135034092 3219239200 3219235196 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27384/statm: 3574 3329 67 128 0 3444 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16708

[startup+0.31057 s]
/proc/loadavg: 4.64 4.53 4.52 3/109 27383
/proc/meminfo: memFree=2273492/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2412 CPUtime=0.01
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117427075 2469888 273 4294967295 134512640 135169312 3217463216 3217461752 3085328110 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/27383/statm: 603 273 231 161 0 42 0
[pid=27384] ppid=27383 vsize=15000 CPUtime=0.31
/proc/27384/stat : 27384 (SatElite) R 27383 27383 29143 0 -1 4202496 3645 0 0 0 30 1 0 0 18 0 1 0 1117427075 15360000 3467 4294967295 134512640 135034092 3219239200 3219235196 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27384/statm: 3750 3467 67 128 0 3620 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17412

[startup+0.71055 s]
/proc/loadavg: 4.64 4.53 4.52 3/109 27383
/proc/meminfo: memFree=2273492/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2412 CPUtime=0.01
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117427075 2469888 273 4294967295 134512640 135169312 3217463216 3217461752 3085328110 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/27383/statm: 603 273 231 161 0 42 0
[pid=27384] ppid=27383 vsize=15388 CPUtime=0.71
/proc/27384/stat : 27384 (SatElite) R 27383 27383 29143 0 -1 4202496 3786 0 0 0 67 4 0 0 18 0 1 0 1117427075 15757312 3608 4294967295 134512640 135034092 3219239200 3219235440 134566307 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27384/statm: 3847 3608 67 128 0 3717 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 17800

[startup+1.51052 s]
/proc/loadavg: 4.64 4.53 4.52 2/111 27386
/proc/meminfo: memFree=2254844/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 2416

[startup+3.11043 s]
/proc/loadavg: 4.35 4.47 4.50 5/114 27390
/proc/meminfo: memFree=2248404/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=49664 CPUtime=7.59
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 5548 0 0 0 756 3 0 0 20 0 4 0 1117427184 50855936 5483 4294967295 134512640 135305190 3217207136 3217205312 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/27387/statm: 12416 5483 79 194 0 12220 0
[pid=27387/tid=27388] ppid=27383 vsize=49664 CPUtime=1.88
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 209 0 0 0 187 1 0 0 20 0 4 0 1117427197 50855936 5483 4294967295 134512640 135305190 3217207136 3082345664 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=49664 CPUtime=1.85
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 216 0 0 0 185 0 0 0 22 0 4 0 1117427197 50855936 5483 4294967295 134512640 135305190 3217207136 3073956804 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=49664 CPUtime=1.86
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 244 0 0 0 185 1 0 0 24 0 4 0 1117427197 50855936 5483 4294967295 134512640 135305190 3217207136 3065568448 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 52080

[startup+6.31027 s]
/proc/loadavg: 4.35 4.47 4.50 6/114 27390
/proc/meminfo: memFree=2247188/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=50672 CPUtime=20.37
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 5776 0 0 0 2032 5 0 0 25 0 4 0 1117427184 51888128 5711 4294967295 134512640 135305190 3217207136 3217205312 134528480 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/27387/statm: 12668 5711 79 194 0 12472 0
[pid=27387/tid=27388] ppid=27383 vsize=50672 CPUtime=5.08
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 247 0 0 0 506 2 0 0 25 0 4 0 1117427197 51888128 5711 4294967295 134512640 135305190 3217207136 3082345664 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=50672 CPUtime=5.05
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 256 0 0 0 505 0 0 0 25 0 4 0 1117427197 51888128 5711 4294967295 134512640 135305190 3217207136 3073956736 134554294 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=50672 CPUtime=5.04
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 359 0 0 0 503 1 0 0 25 0 4 0 1117427197 51888128 5711 4294967295 134512640 135305190 3217207136 3065568448 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.47
Current children cumulated vsize (KiB) 53088

[startup+12.7099 s]
/proc/loadavg: 4.38 4.47 4.50 5/114 27390
/proc/meminfo: memFree=2245052/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=52360 CPUtime=45.95
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 6243 0 0 0 4588 7 0 0 25 0 4 0 1117427184 53616640 6178 4294967295 134512640 135305190 3217207136 3217205312 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/27387/statm: 13090 6178 79 194 0 12894 0
[pid=27387/tid=27388] ppid=27383 vsize=52360 CPUtime=11.48
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 310 0 0 0 1146 2 0 0 25 0 4 0 1117427197 53616640 6178 4294967295 134512640 135305190 3217207136 3082345392 134557241 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=52360 CPUtime=11.45
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 319 0 0 0 1144 1 0 0 25 0 4 0 1117427197 53616640 6178 4294967295 134512640 135305190 3217207136 3073957056 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=52360 CPUtime=11.42
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 653 0 0 0 1140 2 0 0 25 0 4 0 1117427197 53616640 6178 4294967295 134512640 135305190 3217207136 3065568448 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.05
Current children cumulated vsize (KiB) 54776

[startup+25.5093 s]
/proc/loadavg: 4.39 4.47 4.50 5/114 27391
/proc/meminfo: memFree=2241644/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=55676 CPUtime=97.07
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 7114 0 0 0 9699 8 0 0 25 0 4 0 1117427184 57012224 7049 4294967295 134512640 135305190 3217207136 3217205040 134556558 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/27387/statm: 13919 7049 79 194 0 13723 0
[pid=27387/tid=27388] ppid=27383 vsize=55676 CPUtime=24.28
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 530 0 0 0 2426 2 0 0 25 0 4 0 1117427197 57012224 7049 4294967295 134512640 135305190 3217207136 3082345664 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=55676 CPUtime=24.25
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 486 0 0 0 2424 1 0 0 25 0 4 0 1117427197 57012224 7049 4294967295 134512640 135305190 3217207136 3073957056 134528446 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=55676 CPUtime=24.14
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 959 0 0 0 2412 2 0 0 25 0 4 0 1117427197 57012224 7049 4294967295 134512640 135305190 3217207136 3065568112 134551681 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.17
Current children cumulated vsize (KiB) 58092

[startup+51.1079 s]
/proc/loadavg: 4.33 4.45 4.49 6/115 27421
/proc/meminfo: memFree=2237064/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=59584 CPUtime=199.26
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 8102 0 0 0 19915 11 0 0 25 0 4 0 1117427184 61014016 8037 4294967295 134512640 135305190 3217207136 3217205312 134528506 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/27387/statm: 14896 8037 79 194 0 14700 0
[pid=27387/tid=27388] ppid=27383 vsize=59584 CPUtime=49.87
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 666 0 0 0 4985 2 0 0 25 0 4 0 1117427197 61014016 8037 4294967295 134512640 135305190 3217207136 3082345392 134556770 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=59584 CPUtime=49.85
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 713 0 0 0 4984 1 0 0 25 0 4 0 1117427197 61014016 8037 4294967295 134512640 135305190 3217207136 3073956736 134555097 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=59584 CPUtime=49.56
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 1442 0 0 0 4951 5 0 0 25 0 4 0 1117427197 61014016 8037 4294967295 134512640 135305190 3217207136 3065568448 134528808 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) 62000

[startup+102.315 s]
/proc/loadavg: 4.58 4.50 4.51 5/114 27580
/proc/meminfo: memFree=2227524/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=69072 CPUtime=403.43
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 10572 0 0 0 40313 30 0 0 25 0 4 0 1117427184 70729728 10507 4294967295 134512640 135305190 3217207136 3217205312 134528379 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/27387/statm: 17268 10507 79 194 0 17072 0
[pid=27387/tid=27388] ppid=27383 vsize=69072 CPUtime=101.08
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 1203 0 0 0 10104 4 0 0 25 0 4 0 1117427197 70729728 10507 4294967295 134512640 135305190 3217207136 3082345664 134530682 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=69072 CPUtime=101.04
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 1158 0 0 0 10100 4 0 0 25 0 4 0 1117427197 70729728 10507 4294967295 134512640 135305190 3217207136 3073956672 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=69072 CPUtime=100.18
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 2447 0 0 0 10005 13 0 0 25 0 4 0 1117427197 70729728 10507 4294967295 134512640 135305190 3217207136 3065568448 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 404.53
Current children cumulated vsize (KiB) 71488

[startup+162.312 s]
/proc/loadavg: 4.71 4.56 4.52 5/114 27768
/proc/meminfo: memFree=2219464/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=78228 CPUtime=642.64
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 12626 0 0 0 64213 51 0 0 25 0 4 0 1117427184 80105472 12561 4294967295 134512640 135305190 3217207136 3217205312 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/27387/statm: 19557 12561 79 194 0 19361 0
[pid=27387/tid=27388] ppid=27383 vsize=78228 CPUtime=161.06
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 1575 0 0 0 16100 6 0 0 25 0 4 0 1117427197 80105472 12561 4294967295 134512640 135305190 3217207136 3082345664 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=78228 CPUtime=161.02
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 1715 0 0 0 16093 9 0 0 25 0 4 0 1117427197 80105472 12561 4294967295 134512640 135305190 3217207136 3073956736 134553482 0 0 0 3 0 0 0 -1 1 0 0 0

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

[startup+522.313 s]
/proc/loadavg: 4.61 4.57 4.54 6/115 28881
/proc/meminfo: memFree=2192644/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=103640 CPUtime=2077.56
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 18806 0 0 0 207581 175 0 0 25 0 4 0 1117427184 106127360 18741 4294967295 134512640 135305190 3217207136 3217205308 134570384 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27387/statm: 25910 18741 79 194 0 25714 0
[pid=27387/tid=27388] ppid=27383 vsize=103640 CPUtime=520.96
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 2651 0 0 0 52067 29 0 0 25 0 4 0 1117427197 106127360 18741 4294967295 134512640 135305190 3217207136 3082345392 134558351 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=103640 CPUtime=520.54
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 3550 0 0 0 52004 50 0 0 25 0 4 0 1117427197 106127360 18741 4294967295 134512640 135305190 3217207136 3073956672 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=103640 CPUtime=517.77
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 5039 0 0 0 51730 47 0 0 25 0 4 0 1117427197 106127360 18741 4294967295 134512640 135305190 3217207136 3065568448 134528388 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2078.66
Current children cumulated vsize (KiB) 106056

[startup+582.31 s]
/proc/loadavg: 4.78 4.61 4.55 6/115 29020
/proc/meminfo: memFree=2187840/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=107880 CPUtime=2317.24
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 19915 0 0 0 231531 193 0 0 25 0 4 0 1117427184 110469120 19850 4294967295 134512640 135305190 3217207136 3217205312 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27387/statm: 26970 19850 79 194 0 26774 0
[pid=27387/tid=27388] ppid=27383 vsize=107880 CPUtime=580.94
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 2907 0 0 0 58060 34 0 0 25 0 4 0 1117427197 110469120 19850 4294967295 134512640 135305190 3217207136 3082345632 134570412 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=107880 CPUtime=580.53
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 3762 0 0 0 58000 53 0 0 25 0 4 0 1117427197 110469120 19850 4294967295 134512640 135305190 3217207136 3073957056 134528458 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=107880 CPUtime=577.64
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 5398 0 0 0 57712 52 0 0 25 0 4 0 1117427197 110469120 19850 4294967295 134512640 135305190 3217207136 3065568448 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2318.34
Current children cumulated vsize (KiB) 110296

[startup+642.317 s]
/proc/loadavg: 4.46 4.55 4.54 7/115 29178
/proc/meminfo: memFree=2187600/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=109204 CPUtime=2556.58
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 20276 0 0 0 255453 205 0 0 25 0 4 0 1117427184 111824896 20211 4294967295 134512640 135305190 3217207136 3217205312 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27387/statm: 27301 20211 79 194 0 27105 0
[pid=27387/tid=27388] ppid=27383 vsize=109204 CPUtime=640.93
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 2950 0 0 0 64056 37 0 0 25 0 4 0 1117427197 111824896 20211 4294967295 134512640 135305190 3217207136 3082345328 134551681 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=109204 CPUtime=640.53
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 3820 0 0 0 63997 56 0 0 25 0 4 0 1117427197 111824896 20211 4294967295 134512640 135305190 3217207136 3073956736 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=109204 CPUtime=637.41
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 5538 0 0 0 63685 56 0 0 25 0 4 0 1117427197 111824896 20211 4294967295 134512640 135305190 3217207136 3065568448 134528594 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2557.68
Current children cumulated vsize (KiB) 111620

[startup+702.314 s]
/proc/loadavg: 4.39 4.52 4.53 6/115 29312
/proc/meminfo: memFree=2186728/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=110180 CPUtime=2795.91
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 20481 0 0 0 279373 218 0 0 25 0 4 0 1117427184 112824320 20416 4294967295 134512640 135305190 3217207136 3217205040 134556920 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27387/statm: 27545 20416 79 194 0 27349 0
[pid=27387/tid=27388] ppid=27383 vsize=110180 CPUtime=700.69
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 2976 0 0 0 70030 39 0 0 25 0 4 0 1117427197 112824320 20416 4294967295 134512640 135305190 3217207136 3082345328 134551684 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=110180 CPUtime=700.52
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 3999 0 0 0 69993 59 0 0 25 0 4 0 1117427197 112824320 20416 4294967295 134512640 135305190 3217207136 3073957056 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=110180 CPUtime=697.31
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 5538 0 0 0 69669 62 0 0 25 0 4 0 1117427197 112824320 20416 4294967295 134512640 135305190 3217207136 3065568448 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2797.01
Current children cumulated vsize (KiB) 112596

[startup+762.321 s]
/proc/loadavg: 4.28 4.48 4.51 6/114 29478
/proc/meminfo: memFree=2185984/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=111312 CPUtime=3035.7
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 20649 0 0 0 303343 227 0 0 25 0 4 0 1117427184 113983488 20584 4294967295 134512640 135305190 3217207136 3217205312 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27387/statm: 27828 20584 79 194 0 27632 0
[pid=27387/tid=27388] ppid=27383 vsize=111312 CPUtime=760.7
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 3065 0 0 0 76028 42 0 0 25 0 4 0 1117427197 113983488 20584 4294967295 134512640 135305190 3217207136 3082345664 134528520 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=111312 CPUtime=760.52
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 4060 0 0 0 75989 63 0 0 25 0 4 0 1117427197 113983488 20584 4294967295 134512640 135305190 3217207136 3073957056 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=111312 CPUtime=757.31
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 5546 0 0 0 75669 62 0 0 25 0 4 0 1117427197 113983488 20584 4294967295 134512640 135305190 3217207136 3065568448 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3036.8
Current children cumulated vsize (KiB) 113728

[startup+822.308 s]
/proc/loadavg: 4.25 4.45 4.50 6/114 29666
/proc/meminfo: memFree=2185860/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=111480 CPUtime=3275.3
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 20717 0 0 0 327284 246 0 0 25 0 4 0 1117427184 114155520 20652 4294967295 134512640 135305190 3217207136 3217205312 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27387/statm: 27870 20652 79 194 0 27674 0
[pid=27387/tid=27388] ppid=27383 vsize=111480 CPUtime=820.69
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 3103 0 0 0 82016 53 0 0 25 0 4 0 1117427197 114155520 20652 4294967295 134512640 135305190 3217207136 3082345392 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=111480 CPUtime=820.49
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 4060 0 0 0 81982 67 0 0 25 0 4 0 1117427197 114155520 20652 4294967295 134512640 135305190 3217207136 3073957056 134528442 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=111480 CPUtime=817.29
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 5572 0 0 0 81665 64 0 0 25 0 4 0 1117427197 114155520 20652 4294967295 134512640 135305190 3217207136 3065568448 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3276.4
Current children cumulated vsize (KiB) 113896

[startup+882.305 s]
/proc/loadavg: 4.16 4.39 4.48 5/114 29854
/proc/meminfo: memFree=2183132/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=114364 CPUtime=3514.66
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 21419 0 0 0 351199 267 0 0 25 0 4 0 1117427184 117108736 21354 4294967295 134512640 135305190 3217207136 3217205312 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27387/statm: 28591 21354 79 194 0 28395 0
[pid=27387/tid=27388] ppid=27383 vsize=114364 CPUtime=880.65
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 3179 0 0 0 88009 56 0 0 25 0 4 0 1117427197 117108736 21354 4294967295 134512640 135305190 3217207136 3082345392 134556558 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=114364 CPUtime=880.36
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 4101 0 0 0 87966 70 0 0 25 0 4 0 1117427197 117108736 21354 4294967295 134512640 135305190 3217207136 3073957056 134528548 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=114364 CPUtime=877.03
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 5994 0 0 0 87634 69 0 0 25 0 4 0 1117427197 117108736 21354 4294967295 134512640 135305190 3217207136 3065568448 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3515.76
Current children cumulated vsize (KiB) 116780

[startup+942.301 s]
/proc/loadavg: 4.42 4.42 4.48 5/114 30042
/proc/meminfo: memFree=2179776/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=117368 CPUtime=3753.38
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 22201 0 0 0 375042 296 0 0 25 0 4 0 1117427184 120184832 22136 4294967295 134512640 135305190 3217207136 3217205040 134558354 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27387/statm: 29342 22136 79 194 0 29146 0
[pid=27387/tid=27388] ppid=27383 vsize=117368 CPUtime=940.53
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 3376 0 0 0 93996 57 0 0 25 0 4 0 1117427197 120184832 22136 4294967295 134512640 135305190 3217207136 3082345328 134551746 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=117368 CPUtime=940.14
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 4201 0 0 0 93935 79 0 0 25 0 4 0 1117427197 120184832 22136 4294967295 134512640 135305190 3217207136 3073957056 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=117368 CPUtime=936.96
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 6295 0 0 0 93623 73 0 0 25 0 4 0 1117427197 120184832 22136 4294967295 134512640 135305190 3217207136 3065568448 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3754.48
Current children cumulated vsize (KiB) 119784



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.43 4.43 4.47 5/114 30233
/proc/meminfo: memFree=2177800/3368532 swapFree=1959840/1959888
[pid=27383] ppid=27381 vsize=2416 CPUtime=1.1
/proc/27383/stat : 27383 (manysat.sh) S 27381 27383 29143 0 -1 4194304 369 4223 0 0 0 1 105 4 18 0 1 0 1117427075 2473984 274 4294967295 134512640 135169312 3217463216 3217459432 3085328110 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27383/statm: 604 274 231 161 0 43 0
[pid=27387] ppid=27383 vsize=118372 CPUtime=3983.74
/proc/27387/stat : 27387 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202496 22417 0 0 0 398061 313 0 0 25 0 4 0 1117427184 121212928 22352 4294967295 134512640 135305190 3217207136 3217205312 134528428 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27387/statm: 29593 22352 79 194 0 29397 0
[pid=27387/tid=27388] ppid=27383 vsize=118372 CPUtime=998.08
/proc/27387/task/27388/stat : 27388 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 3470 0 0 0 99747 61 0 0 25 0 4 0 1117427197 121212928 22352 4294967295 134512640 135305190 3217207136 3082345664 134528195 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27387/tid=27389] ppid=27383 vsize=118372 CPUtime=997.79
/proc/27387/task/27389/stat : 27389 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 4321 0 0 0 99696 83 0 0 25 0 4 0 1117427197 121212928 22352 4294967295 134512640 135305190 3217207136 3073957056 134528630 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27387/tid=27390] ppid=27383 vsize=118372 CPUtime=994.61
/proc/27387/task/27390/stat : 27390 (manysat1.1_stat) R 27383 27383 29143 0 -1 4202560 6295 0 0 0 99385 76 0 0 25 0 4 0 1117427197 121212928 22352 4294967295 134512640 135305190 3217207136 3065568448 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3984.84
Current children cumulated vsize (KiB) 120788

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.05
CPU time (s): 3984.92
CPU user time (s): 3981.74
CPU system time (s): 3.18
CPU usage (%): 398.473
Max. virtual memory (cumulated for all children) (KiB): 120788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3981.74
system time used= 3.18
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27284
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= 4843
involuntary context switches= 181016

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 18:20:43
IDJOB=1779562
IDBENCH=70875
IDSOLVER=626
FILE ID=/1779562-1243527643
PBS_JOBID=
Free space on /tmp= 7986 MiB

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

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

MD5SUM BENCH= 06e51f5d7b210924fc518c0569affee4
RANDOM SEED= 951186662

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:       2273936 kB
Buffers:         33968 kB
Cached:         940416 kB
SwapCached:          0 kB
Active:          50320 kB
Inactive:       943416 kB
HighTotal:     2489216 kB
HighFree:      1643144 kB
LowTotal:       879316 kB
LowFree:        630792 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            3168 kB
Writeback:           0 kB
AnonPages:       19160 kB
Mapped:           7772 kB
Slab:            91996 kB
SReclaimable:    78656 kB
SUnreclaim:      13340 kB
PageTables:        508 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 18:37:23