Trace number 1779394

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ManySAT 1.1 aimd 1/2009-03-20 (4 threads)? (TO) 3986.13 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 % |
1.02/1.01	c |         0 |   59330   176425 |      --       0       --      -- |     --   | -36291/-48960
1.02/1.01	c ==============================================================================
1.02/1.01	c Result  :   #vars: 14275   #clauses: 59330   #literals: 176425
1.02/1.01	c CPU time:   0.99 s
1.02/1.01	c ==============================================================================
3986.06/1000.03	HOME/manysat.sh: line 55: 22293 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-1779394-1243524353/watcher-1779394-1243524353 -o /tmp/evaluation-result-1779394-1243524353/solver-1779394-1243524353 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779394-1243524353.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.25 4.49 4.48 3/96 22290
/proc/meminfo: memFree=2931764/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2412 CPUtime=0
/proc/22290/stat : 22290 (manysat.sh) R 22288 22290 1628 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 1106536481 2469888 273 4294967295 134512640 135169312 3216158320 3216156796 3085100916 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/22290/statm: 603 273 231 161 0 42 0
[pid=22291] ppid=22290 vsize=2464 CPUtime=0
/proc/22291/stat : 22291 (SatElite) R 22290 22290 1628 0 -1 4202496 452 0 0 0 0 0 0 0 18 0 1 0 1106536481 2523136 389 4294967295 134512640 135034092 3219335488 3219331776 134544963 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22291/statm: 616 392 50 128 0 486 0

[startup+0.073841 s]
/proc/loadavg: 4.25 4.49 4.48 3/96 22290
/proc/meminfo: memFree=2931764/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2412 CPUtime=0
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106536481 2469888 273 4294967295 134512640 135169312 3216158320 3216156856 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 603 273 231 161 0 42 0
[pid=22291] ppid=22290 vsize=12588 CPUtime=0.07
/proc/22291/stat : 22291 (SatElite) R 22290 22290 1628 0 -1 4202496 3051 0 0 0 5 2 0 0 19 0 1 0 1106536481 12890112 2988 4294967295 134512640 135034092 3219335488 3219332236 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22291/statm: 3241 2993 63 128 0 3111 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15000

[startup+0.113835 s]
/proc/loadavg: 4.25 4.49 4.48 3/96 22290
/proc/meminfo: memFree=2931764/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2412 CPUtime=0
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106536481 2469888 273 4294967295 134512640 135169312 3216158320 3216156856 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 603 273 231 161 0 42 0
[pid=22291] ppid=22290 vsize=13992 CPUtime=0.11
/proc/22291/stat : 22291 (SatElite) R 22290 22290 1628 0 -1 4202496 3583 0 0 0 8 3 0 0 20 0 1 0 1106536481 14327808 3316 4294967295 134512640 135034092 3219335488 3219331484 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22291/statm: 3498 3316 67 128 0 3368 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16404

[startup+0.31382 s]
/proc/loadavg: 4.25 4.49 4.48 3/96 22290
/proc/meminfo: memFree=2931764/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2412 CPUtime=0
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106536481 2469888 273 4294967295 134512640 135169312 3216158320 3216156856 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 603 273 231 161 0 42 0
[pid=22291] ppid=22290 vsize=14696 CPUtime=0.31
/proc/22291/stat : 22291 (SatElite) R 22290 22290 1628 0 -1 4202496 3718 0 0 0 28 3 0 0 20 0 1 0 1106536481 15048704 3451 4294967295 134512640 135034092 3219335488 3219331484 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22291/statm: 3674 3451 67 128 0 3544 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 17108

[startup+0.713792 s]
/proc/loadavg: 4.25 4.49 4.48 3/96 22290
/proc/meminfo: memFree=2931764/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2412 CPUtime=0
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106536481 2469888 273 4294967295 134512640 135169312 3216158320 3216156856 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 603 273 231 161 0 42 0
[pid=22291] ppid=22290 vsize=15460 CPUtime=0.71
/proc/22291/stat : 22291 (SatElite) R 22290 22290 1628 0 -1 4202496 3862 0 0 0 68 3 0 0 21 0 1 0 1106536481 15831040 3595 4294967295 134512640 135034092 3219335488 3219331728 134566167 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22291/statm: 3865 3595 67 128 0 3735 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 17872

[startup+1.51375 s]
/proc/loadavg: 4.25 4.49 4.48 2/98 22292
/proc/meminfo: memFree=2913028/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2416

[startup+3.11364 s]
/proc/loadavg: 4.25 4.49 4.48 7/101 22296
/proc/meminfo: memFree=2906664/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=49564 CPUtime=7.62
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 5607 0 0 0 750 12 0 0 21 0 4 0 1106536589 50753536 5523 4294967295 134512640 135305190 3217364880 3217363056 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22293/statm: 12391 5523 79 194 0 12195 0
[pid=22293/tid=22294] ppid=22290 vsize=49564 CPUtime=1.87
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 195 0 0 0 186 1 0 0 19 0 4 0 1106536602 50753536 5523 4294967295 134512640 135305190 3217364880 3081436352 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=49564 CPUtime=1.9
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 219 0 0 0 185 5 0 0 19 0 4 0 1106536602 50753536 5523 4294967295 134512640 135305190 3217364880 3073047744 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=49564 CPUtime=1.88
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 331 0 0 0 187 1 0 0 23 0 4 0 1106536602 50753536 5523 4294967295 134512640 135305190 3217364880 3064659136 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.71
Current children cumulated vsize (KiB) 51980

[startup+6.31342 s]
/proc/loadavg: 4.23 4.48 4.48 5/101 22297
/proc/meminfo: memFree=2905488/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=50352 CPUtime=20.41
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 5812 0 0 0 2028 13 0 0 25 0 4 0 1106536589 51560448 5728 4294967295 134512640 135305190 3217364880 3217363056 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22293/statm: 12588 5728 79 194 0 12392 0
[pid=22293/tid=22294] ppid=22290 vsize=50352 CPUtime=5.07
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 238 0 0 0 506 1 0 0 25 0 4 0 1106536602 51560448 5728 4294967295 134512640 135305190 3217364880 3081436352 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=50352 CPUtime=5.1
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 275 0 0 0 504 6 0 0 25 0 4 0 1106536602 51560448 5728 4294967295 134512640 135305190 3217364880 3073047744 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=50352 CPUtime=5.08
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 410 0 0 0 507 1 0 0 25 0 4 0 1106536602 51560448 5728 4294967295 134512640 135305190 3217364880 3064659136 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.5
Current children cumulated vsize (KiB) 52768

[startup+12.713 s]
/proc/loadavg: 4.21 4.47 4.47 6/101 22299
/proc/meminfo: memFree=2904000/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=51544 CPUtime=46
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 6142 0 0 0 4585 15 0 0 25 0 4 0 1106536589 52781056 6058 4294967295 134512640 135305190 3217364880 3217363056 134528227 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22293/statm: 12886 6058 79 194 0 12690 0
[pid=22293/tid=22294] ppid=22290 vsize=51544 CPUtime=11.47
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 309 0 0 0 1145 2 0 0 25 0 4 0 1106536602 52781056 6058 4294967295 134512640 135305190 3217364880 3081436352 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=51544 CPUtime=11.5
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 363 0 0 0 1144 6 0 0 25 0 4 0 1106536602 52781056 6058 4294967295 134512640 135305190 3217364880 3073047744 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=51544 CPUtime=11.48
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 511 0 0 0 1147 1 0 0 25 0 4 0 1106536602 52781056 6058 4294967295 134512640 135305190 3217364880 3064659136 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.09
Current children cumulated vsize (KiB) 53960

[startup+25.5121 s]
/proc/loadavg: 4.16 4.45 4.47 5/101 22300
/proc/meminfo: memFree=2901212/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=54164 CPUtime=97.16
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 6819 0 0 0 9699 17 0 0 25 0 4 0 1106536589 55463936 6735 4294967295 134512640 135305190 3217364880 3217362720 134551978 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22293/statm: 13541 6735 79 194 0 13345 0
[pid=22293/tid=22294] ppid=22290 vsize=54164 CPUtime=24.27
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 472 0 0 0 2425 2 0 0 25 0 4 0 1106536602 55463936 6735 4294967295 134512640 135305190 3217364880 3081436080 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=54164 CPUtime=24.3
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 514 0 0 0 2423 7 0 0 25 0 4 0 1106536602 55463936 6735 4294967295 134512640 135305190 3217364880 3073047744 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=54164 CPUtime=24.28
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 712 0 0 0 2426 2 0 0 25 0 4 0 1106536602 55463936 6735 4294967295 134512640 135305190 3217364880 3064659136 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.25
Current children cumulated vsize (KiB) 56580

[startup+51.1103 s]
/proc/loadavg: 4.25 4.44 4.46 5/101 22484
/proc/meminfo: memFree=2896932/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=58672 CPUtime=199.19
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 7981 0 0 0 19893 26 0 0 25 0 4 0 1106536589 60080128 7897 4294967295 134512640 135305190 3217364880 3217363056 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22293/statm: 14668 7897 79 194 0 14472 0
[pid=22293/tid=22294] ppid=22290 vsize=58672 CPUtime=49.78
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 742 0 0 0 4969 9 0 0 25 0 4 0 1106536602 60080128 7897 4294967295 134512640 135305190 3217364880 3081436352 134528794 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=58672 CPUtime=49.81
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 745 0 0 0 4974 7 0 0 25 0 4 0 1106536602 60080128 7897 4294967295 134512640 135305190 3217364880 3073047744 134528506 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=58672 CPUtime=49.76
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 1168 0 0 0 4972 4 0 0 25 0 4 0 1106536602 60080128 7897 4294967295 134512640 135305190 3217364880 3064659136 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.28
Current children cumulated vsize (KiB) 61088

[startup+102.317 s]
/proc/loadavg: 4.25 4.40 4.45 6/101 22672
/proc/meminfo: memFree=2885020/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=71092 CPUtime=403.54
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 10905 0 0 0 40313 41 0 0 25 0 4 0 1106536589 72798208 10821 4294967295 134512640 135305190 3217364880 3217363056 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22293/statm: 17773 10821 79 194 0 17577 0
[pid=22293/tid=22294] ppid=22290 vsize=71092 CPUtime=100.76
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 1171 0 0 0 10064 12 0 0 25 0 4 0 1106536602 72798208 10821 4294967295 134512640 135305190 3217364880 3081436352 134528539 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=71092 CPUtime=100.85
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 1595 0 0 0 10075 10 0 0 25 0 4 0 1106536602 72798208 10821 4294967295 134512640 135305190 3217364880 3073047360 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=71092 CPUtime=100.96
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 2197 0 0 0 10088 8 0 0 25 0 4 0 1106536602 72798208 10821 4294967295 134512640 135305190 3217364880 3064659136 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.63
Current children cumulated vsize (KiB) 73508

[startup+162.313 s]
/proc/loadavg: 4.42 4.42 4.45 6/102 22777
/proc/meminfo: memFree=2874032/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=80164 CPUtime=642.78
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 13163 0 0 0 64226 52 0 0 25 0 4 0 1106536589 82087936 13079 4294967295 134512640 135305190 3217364880 3217362784 134557501 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22293/statm: 20041 13079 79 194 0 19845 0
[pid=22293/tid=22294] ppid=22290 vsize=80164 CPUtime=160.59
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 1465 0 0 0 16043 16 0 0 25 0 4 0 1106536602 82087936 13079 4294967295 134512640 135305190 3217364880 3081436352 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=80164 CPUtime=160.84
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 2506 0 0 0 16071 13 0 0 25 0 4 0 1106536602 82087936 13079 4294967295 134512640 135305190 3217364880 3073047744 134528582 0 0 0 3 0 0 0 -1 1 0 0 0

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

/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 4708 0 0 0 46041 25 0 0 25 0 4 0 1106536602 105840640 18615 4294967295 134512640 135305190 3217364880 3064659136 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1840.6
Current children cumulated vsize (KiB) 105776

[startup+522.318 s]
/proc/loadavg: 4.72 4.61 4.51 5/101 23808
/proc/meminfo: memFree=2852172/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=104352 CPUtime=2079.03
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 19051 0 0 0 207769 134 0 0 25 0 4 0 1106536589 106856448 18967 4294967295 134512640 135305190 3217364880 3217363056 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22293/statm: 26088 18967 79 194 0 25892 0
[pid=22293/tid=22294] ppid=22290 vsize=104352 CPUtime=519.78
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 2614 0 0 0 51937 41 0 0 25 0 4 0 1106536602 106856448 18967 4294967295 134512640 135305190 3217364880 3081436016 134551572 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=104352 CPUtime=520.5
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 4114 0 0 0 52018 32 0 0 25 0 4 0 1106536602 106856448 18967 4294967295 134512640 135305190 3217364880 3073047744 134528277 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=104352 CPUtime=520.65
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 4831 0 0 0 52033 32 0 0 25 0 4 0 1106536602 106856448 18967 4294967295 134512640 135305190 3217364880 3064659136 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2080.12
Current children cumulated vsize (KiB) 106768

[startup+582.314 s]
/proc/loadavg: 4.67 4.63 4.53 6/101 23996
/proc/meminfo: memFree=2849816/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=108348 CPUtime=2318.39
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 19981 0 0 0 231688 151 0 0 25 0 4 0 1106536589 110948352 19897 4294967295 134512640 135305190 3217364880 3217362784 134557241 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22293/statm: 27087 19897 79 194 0 26891 0
[pid=22293/tid=22294] ppid=22290 vsize=108348 CPUtime=579.61
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 2744 0 0 0 57914 47 0 0 25 0 4 0 1106536602 110948352 19897 4294967295 134512640 135305190 3217364880 3081436352 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=108348 CPUtime=580.5
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 4250 0 0 0 58016 34 0 0 25 0 4 0 1106536602 110948352 19897 4294967295 134512640 135305190 3217364880 3073047744 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=108348 CPUtime=580.63
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 5226 0 0 0 58028 35 0 0 25 0 4 0 1106536602 110948352 19897 4294967295 134512640 135305190 3217364880 3064659136 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2319.48
Current children cumulated vsize (KiB) 110764

[startup+642.31 s]
/proc/loadavg: 4.37 4.56 4.51 5/101 24189
/proc/meminfo: memFree=2843740/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=112692 CPUtime=2557.85
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 21031 0 0 0 255616 169 0 0 25 0 4 0 1106536589 115396608 20947 4294967295 134512640 135305190 3217364880 3217363056 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22293/statm: 28173 20947 79 194 0 27977 0
[pid=22293/tid=22294] ppid=22290 vsize=112692 CPUtime=639.41
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 3032 0 0 0 63889 52 0 0 25 0 4 0 1106536602 115396608 20947 4294967295 134512640 135305190 3217364880 3081436352 134528203 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=112692 CPUtime=640.31
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 4436 0 0 0 63989 42 0 0 25 0 4 0 1106536602 115396608 20947 4294967295 134512640 135305190 3217364880 3073047744 134528289 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=112692 CPUtime=640.59
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 5482 0 0 0 64021 38 0 0 25 0 4 0 1106536602 115396608 20947 4294967295 134512640 135305190 3217364880 3064659136 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2558.94
Current children cumulated vsize (KiB) 115108

[startup+702.316 s]
/proc/loadavg: 4.26 4.50 4.49 5/101 24377
/proc/meminfo: memFree=2843616/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=113024 CPUtime=2797.36
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 21099 0 0 0 279551 185 0 0 25 0 4 0 1106536589 115736576 21015 4294967295 134512640 135305190 3217364880 3217363056 134528382 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22293/statm: 28256 21015 79 194 0 28060 0
[pid=22293/tid=22294] ppid=22290 vsize=113024 CPUtime=699.17
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 3041 0 0 0 69864 53 0 0 25 0 4 0 1106536602 115736576 21015 4294967295 134512640 135305190 3217364880 3081436352 134528136 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=113024 CPUtime=700.25
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 4493 0 0 0 69975 50 0 0 25 0 4 0 1106536602 115736576 21015 4294967295 134512640 135305190 3217364880 3073047744 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=113024 CPUtime=700.48
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 5482 0 0 0 70005 43 0 0 25 0 4 0 1106536602 115736576 21015 4294967295 134512640 135305190 3217364880 3064659136 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2798.45
Current children cumulated vsize (KiB) 115440

[startup+762.312 s]
/proc/loadavg: 4.58 4.54 4.50 5/101 24565
/proc/meminfo: memFree=2841988/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=113456 CPUtime=3036.66
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 21226 0 0 0 303468 198 0 0 25 0 4 0 1106536589 116178944 21142 4294967295 134512640 135305190 3217364880 3217363056 134528151 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22293/statm: 28364 21142 79 194 0 28168 0
[pid=22293/tid=22294] ppid=22290 vsize=113456 CPUtime=758.68
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 3050 0 0 0 75812 56 0 0 25 0 4 0 1106536602 116178944 21142 4294967295 134512640 135305190 3217364880 3081436080 134556726 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=113456 CPUtime=760.25
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 4597 0 0 0 75970 55 0 0 25 0 4 0 1106536602 116178944 21142 4294967295 134512640 135305190 3217364880 3073047424 134552678 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=113456 CPUtime=760.47
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 5483 0 0 0 76002 45 0 0 25 0 4 0 1106536602 116178944 21142 4294967295 134512640 135305190 3217364880 3064659136 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3037.75
Current children cumulated vsize (KiB) 115872

[startup+822.308 s]
/proc/loadavg: 4.48 4.52 4.49 6/101 24751
/proc/meminfo: memFree=2841880/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=115336 CPUtime=3276.01
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 21729 0 0 0 327392 209 0 0 25 0 4 0 1106536589 118104064 21645 4294967295 134512640 135305190 3217364880 3217363056 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22293/statm: 28834 21645 79 194 0 28638 0
[pid=22293/tid=22294] ppid=22290 vsize=115336 CPUtime=818.45
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 3183 0 0 0 81789 56 0 0 25 0 4 0 1106536602 118104064 21645 4294967295 134512640 135305190 3217364880 3081436080 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=115336 CPUtime=820.25
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 4771 0 0 0 81970 55 0 0 25 0 4 0 1106536602 118104064 21645 4294967295 134512640 135305190 3217364880 3073047744 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=115336 CPUtime=820.24
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 5561 0 0 0 81971 53 0 0 25 0 4 0 1106536602 118104064 21645 4294967295 134512640 135305190 3217364880 3064659136 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3277.1
Current children cumulated vsize (KiB) 117752

[startup+882.313 s]
/proc/loadavg: 4.58 4.52 4.49 5/101 24939
/proc/meminfo: memFree=2838656/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=117928 CPUtime=3515.48
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 22423 0 0 0 351328 220 0 0 25 0 4 0 1106536589 120758272 22339 4294967295 134512640 135305190 3217364880 3217363056 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22293/statm: 29482 22339 79 194 0 29286 0
[pid=22293/tid=22294] ppid=22290 vsize=117928 CPUtime=878.3
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 3266 0 0 0 87774 56 0 0 25 0 4 0 1106536602 120758272 22339 4294967295 134512640 135305190 3217364880 3081436352 134528784 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=117928 CPUtime=880.15
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 4890 0 0 0 87956 59 0 0 25 0 4 0 1106536602 120758272 22339 4294967295 134512640 135305190 3217364880 3073047744 134528428 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=117928 CPUtime=879.96
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 5948 0 0 0 87937 59 0 0 25 0 4 0 1106536602 120758272 22339 4294967295 134512640 135305190 3217364880 3064659136 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3516.57
Current children cumulated vsize (KiB) 120344

[startup+942.309 s]
/proc/loadavg: 4.59 4.54 4.50 5/101 25127
/proc/meminfo: memFree=2831836/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=125100 CPUtime=3754.87
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 23930 0 0 0 375244 243 0 0 25 0 4 0 1106536589 128102400 23846 4294967295 134512640 135305190 3217364880 3217362848 134549141 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22293/statm: 31275 23846 79 194 0 31079 0
[pid=22293/tid=22294] ppid=22290 vsize=125100 CPUtime=938.06
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 3531 0 0 0 93741 65 0 0 25 0 4 0 1106536602 128102400 23846 4294967295 134512640 135305190 3217364880 3081436352 134530682 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=125100 CPUtime=940.05
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 5158 0 0 0 93944 61 0 0 25 0 4 0 1106536602 128102400 23846 4294967295 134512640 135305190 3217364880 3073047744 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=125100 CPUtime=939.8
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 6546 0 0 0 93918 62 0 0 25 0 4 0 1106536602 128102400 23846 4294967295 134512640 135305190 3217364880 3064659136 134528858 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3755.96
Current children cumulated vsize (KiB) 127516



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.68 4.57 4.51 6/101 25320
/proc/meminfo: memFree=2831144/3368532 swapFree=1954076/1959888
[pid=22290] ppid=22288 vsize=2416 CPUtime=1.09
/proc/22290/stat : 22290 (manysat.sh) S 22288 22290 1628 0 -1 4194304 370 4284 0 0 0 0 105 4 18 0 1 0 1106536481 2473984 275 4294967295 134512640 135169312 3216158320 3216154536 3085098734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22290/statm: 604 275 231 161 0 43 0
[pid=22293] ppid=22290 vsize=126076 CPUtime=3984.97
/proc/22293/stat : 22293 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202496 24122 0 0 0 398230 267 0 0 25 0 4 0 1106536589 129101824 24038 4294967295 134512640 135305190 3217364880 3217362784 134557161 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22293/statm: 31519 24038 79 194 0 31323 0
[pid=22293/tid=22294] ppid=22290 vsize=126076 CPUtime=995.53
/proc/22293/task/22294/stat : 22294 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 3604 0 0 0 99479 74 0 0 25 0 4 0 1106536602 129101824 24038 4294967295 134512640 135305190 3217364880 3081436080 134556813 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22293/tid=22295] ppid=22290 vsize=126076 CPUtime=997.74
/proc/22293/task/22295/stat : 22295 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 5202 0 0 0 99710 64 0 0 25 0 4 0 1106536602 129101824 24038 4294967295 134512640 135305190 3217364880 3073047744 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22293/tid=22296] ppid=22290 vsize=126076 CPUtime=997.42
/proc/22293/task/22296/stat : 22296 (manysat1.1_stat) R 22290 22290 1628 0 -1 4202560 6546 0 0 0 99674 68 0 0 25 0 4 0 1106536602 129101824 24038 4294967295 134512640 135305190 3217364880 3064659136 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3986.06
Current children cumulated vsize (KiB) 128492

Sending SIGTERM to process tree (bottom up)
Real time (s): 43
 D1000.03
CPU time (s): 3986.13
CPU user time (s): 3983.42
CPU system time (s): 2.71
CPU usage (%): 398.599
Max. virtual memory (cumulated for all children) (KiB): 128492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3983.42
system time used= 2.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29050
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= 7887
involuntary context switches= 190846

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-28 17:25:53
IDJOB=1779394
IDBENCH=70849
IDSOLVER=623
FILE ID=tipi44/1779394-1243524353
PBS_JOBID=
Free space on /tmp= 15892 MiB

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

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

MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED= 1525958869

Linux tipi44 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.116
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.116
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.10
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.116
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2931764 kB
Buffers:        141300 kB
Cached:         187376 kB
SwapCached:       2180 kB
Active:         106984 kB
Inactive:       231548 kB
HighTotal:     2489216 kB
HighFree:      2289256 kB
LowTotal:       879316 kB
LowFree:        642508 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            3136 kB
Writeback:           0 kB
AnonPages:        9084 kB
Mapped:           3624 kB
Slab:            87388 kB
SReclaimable:    77296 kB
SUnreclaim:      10092 kB
PageTables:        464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15892 MiB
End job on tipi44 at 2009-05-28 17:42:33