Trace number 1779322

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) 3986.73 43

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-31-s100.cnf
MD5SUM5dbb80f29538e26a3285bf497c57f592
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 variables32310
Number of clauses97279
Sum of the clauses size229607
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262102
Number of clauses of size 335113
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.03/0.07	c ==============================================================================
0.03/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.03/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.03/0.07	c ==============================================================================
0.03/0.07	c |         0 |   97087   229155 |   29126       0        0     nan |  0.000 % |
1.00/1.01	c |         0 |   60326   180505 |      --       0       --      -- |     --   | -36641/-48226
1.00/1.01	c ==============================================================================
1.00/1.01	c Result  :   #vars: 14508   #clauses: 60326   #literals: 180505
1.00/1.01	c CPU time:   0.97 s
1.00/1.01	c ==============================================================================
3986.65/1000.03	HOME/manysat.sh: line 55: 19217 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-1779322-1243523351/watcher-1779322-1243523351 -o /tmp/evaluation-result-1779322-1243523351/solver-1779322-1243523351 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779322-1243523351.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.62 4.43 4.43 3/96 19214
/proc/meminfo: memFree=2932604/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2416 CPUtime=0
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106436306 2473984 273 4294967295 134512640 135169312 3220341360 3220339896 3085225710 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/19214/statm: 604 273 231 161 0 43 0
[pid=19215] ppid=19214 vsize=2464 CPUtime=0
/proc/19215/stat : 19215 (SatElite) R 19214 19214 1628 0 -1 4202496 435 0 0 0 0 0 0 0 18 0 1 0 1106436306 2523136 372 4294967295 134512640 135034092 3215004960 3215001248 134544963 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19215/statm: 616 375 50 128 0 486 0

[startup+0.028731 s]
/proc/loadavg: 4.62 4.43 4.43 3/96 19214
/proc/meminfo: memFree=2932604/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2416 CPUtime=0
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106436306 2473984 273 4294967295 134512640 135169312 3220341360 3220339896 3085225710 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/19214/statm: 604 273 231 161 0 43 0
[pid=19215] ppid=19214 vsize=6752 CPUtime=0.03
/proc/19215/stat : 19215 (SatElite) R 19214 19214 1628 0 -1 4202496 1590 0 0 0 3 0 0 0 18 0 1 0 1106436306 6914048 1527 4294967295 134512640 135034092 3215004960 3215001304 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19215/statm: 1688 1527 50 128 0 1558 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9168

[startup+0.108725 s]
/proc/loadavg: 4.62 4.43 4.43 3/96 19214
/proc/meminfo: memFree=2932604/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2416 CPUtime=0
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106436306 2473984 273 4294967295 134512640 135169312 3220341360 3220339896 3085225710 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/19214/statm: 604 273 231 161 0 43 0
[pid=19215] ppid=19214 vsize=14184 CPUtime=0.11
/proc/19215/stat : 19215 (SatElite) R 19214 19214 1628 0 -1 4202496 3493 0 0 0 9 2 0 0 18 0 1 0 1106436306 14524416 3324 4294967295 134512640 135034092 3215004960 3215000956 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19215/statm: 3546 3324 67 128 0 3416 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16600

[startup+0.308711 s]
/proc/loadavg: 4.62 4.43 4.43 3/96 19214
/proc/meminfo: memFree=2932604/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2416 CPUtime=0
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106436306 2473984 273 4294967295 134512640 135169312 3220341360 3220339896 3085225710 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/19214/statm: 604 273 231 161 0 43 0
[pid=19215] ppid=19214 vsize=14788 CPUtime=0.3
/proc/19215/stat : 19215 (SatElite) R 19214 19214 1628 0 -1 4202496 3629 0 0 0 26 4 0 0 18 0 1 0 1106436306 15142912 3460 4294967295 134512640 135034092 3215004960 3215000956 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19215/statm: 3697 3460 67 128 0 3567 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17204

[startup+0.708684 s]
/proc/loadavg: 4.62 4.43 4.43 3/96 19214
/proc/meminfo: memFree=2932604/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2416 CPUtime=0
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106436306 2473984 273 4294967295 134512640 135169312 3220341360 3220339896 3085225710 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/19214/statm: 604 273 231 161 0 43 0
[pid=19215] ppid=19214 vsize=15564 CPUtime=0.7
/proc/19215/stat : 19215 (SatElite) R 19214 19214 1628 0 -1 4202496 3845 0 0 0 66 4 0 0 18 0 1 0 1106436306 15937536 3676 4294967295 134512640 135034092 3215004960 3215001200 134566579 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19215/statm: 3891 3676 90 128 0 3761 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17980

[startup+1.50864 s]
/proc/loadavg: 4.33 4.37 4.41 2/98 19216
/proc/meminfo: memFree=2914268/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 2420

[startup+3.10853 s]
/proc/loadavg: 4.33 4.37 4.41 5/101 19220
/proc/meminfo: memFree=2907460/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=49828 CPUtime=7.62
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 5610 0 0 0 752 10 0 0 21 0 4 0 1106436415 51023872 5542 4294967295 134512640 135305190 3214234768 3214232944 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19217/statm: 12457 5542 79 194 0 12261 0
[pid=19217/tid=19218] ppid=19214 vsize=49828 CPUtime=1.87
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 192 0 0 0 184 3 0 0 19 0 4 0 1106436428 51023872 5542 4294967295 134512640 135305190 3214234768 3082144960 134530552 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=49828 CPUtime=1.88
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 207 0 0 0 186 2 0 0 20 0 4 0 1106436428 51023872 5542 4294967295 134512640 135305190 3214234768 3073756352 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=49828 CPUtime=1.87
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 278 0 0 0 187 0 0 0 22 0 4 0 1106436428 51023872 5542 4294967295 134512640 135305190 3214234768 3065367744 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 52248

[startup+6.30831 s]
/proc/loadavg: 4.31 4.37 4.40 5/101 19220
/proc/meminfo: memFree=2906344/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=50732 CPUtime=20.42
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 5884 0 0 0 2032 10 0 0 25 0 4 0 1106436415 51949568 5816 4294967295 134512640 135305190 3214234768 3214232944 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19217/statm: 12683 5816 79 194 0 12487 0
[pid=19217/tid=19218] ppid=19214 vsize=50732 CPUtime=5.07
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 255 0 0 0 504 3 0 0 25 0 4 0 1106436428 51949568 5816 4294967295 134512640 135305190 3214234768 3082144688 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=50732 CPUtime=5.08
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 246 0 0 0 506 2 0 0 25 0 4 0 1106436428 51949568 5816 4294967295 134512640 135305190 3214234768 3073756352 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=50732 CPUtime=5.07
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 425 0 0 0 507 0 0 0 25 0 4 0 1106436428 51949568 5816 4294967295 134512640 135305190 3214234768 3065367744 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.5
Current children cumulated vsize (KiB) 53152

[startup+12.7079 s]
/proc/loadavg: 4.28 4.36 4.40 5/101 19221
/proc/meminfo: memFree=2904696/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=52304 CPUtime=46.01
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 6273 0 0 0 4589 12 0 0 25 0 4 0 1106436415 53559296 6205 4294967295 134512640 135305190 3214234768 3214232672 134557423 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19217/statm: 13076 6205 79 194 0 12880 0
[pid=19217/tid=19218] ppid=19214 vsize=52304 CPUtime=11.47
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 315 0 0 0 1144 3 0 0 25 0 4 0 1106436428 53559296 6205 4294967295 134512640 135305190 3214234768 3082144688 134558312 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=52304 CPUtime=11.47
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 349 0 0 0 1145 2 0 0 25 0 4 0 1106436428 53559296 6205 4294967295 134512640 135305190 3214234768 3073756032 134553482 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=52304 CPUtime=11.47
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 615 0 0 0 1146 1 0 0 25 0 4 0 1106436428 53559296 6205 4294967295 134512640 135305190 3214234768 3065367744 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.09
Current children cumulated vsize (KiB) 54724

[startup+25.507 s]
/proc/loadavg: 4.31 4.37 4.40 6/101 19221
/proc/meminfo: memFree=2901660/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=54932 CPUtime=97.2
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 6981 0 0 0 9701 19 0 0 25 0 4 0 1106436415 56250368 6913 4294967295 134512640 135305190 3214234768 3214232944 134528189 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19217/statm: 13733 6913 79 194 0 13537 0
[pid=19217/tid=19218] ppid=19214 vsize=54932 CPUtime=24.27
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 441 0 0 0 2424 3 0 0 25 0 4 0 1106436428 56250368 6913 4294967295 134512640 135305190 3214234768 3082144960 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=54932 CPUtime=24.26
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 474 0 0 0 2423 3 0 0 25 0 4 0 1106436428 56250368 6913 4294967295 134512640 135305190 3214234768 3073756032 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=54932 CPUtime=24.27
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 902 0 0 0 2426 1 0 0 25 0 4 0 1106436428 56250368 6913 4294967295 134512640 135305190 3214234768 3065367744 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.28
Current children cumulated vsize (KiB) 57352

[startup+51.1052 s]
/proc/loadavg: 4.50 4.41 4.41 5/101 19408
/proc/meminfo: memFree=2897024/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=59356 CPUtime=199.22
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 8139 0 0 0 19897 25 0 0 25 0 4 0 1106436415 60780544 8071 4294967295 134512640 135305190 3214234768 3214232944 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19217/statm: 14839 8071 79 194 0 14643 0
[pid=19217/tid=19218] ppid=19214 vsize=59356 CPUtime=49.74
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 710 0 0 0 4969 5 0 0 25 0 4 0 1106436428 60780544 8071 4294967295 134512640 135305190 3214234768 3082144960 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=59356 CPUtime=49.75
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 697 0 0 0 4972 3 0 0 25 0 4 0 1106436428 60780544 8071 4294967295 134512640 135305190 3214234768 3073756352 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=59356 CPUtime=49.73
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 1336 0 0 0 4971 2 0 0 25 0 4 0 1106436428 60780544 8071 4294967295 134512640 135305190 3214234768 3065367472 134558366 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.3
Current children cumulated vsize (KiB) 61776

[startup+102.312 s]
/proc/loadavg: 4.42 4.39 4.41 6/102 19506
/proc/meminfo: memFree=2885148/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=70720 CPUtime=403.71
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 10832 0 0 0 40327 44 0 0 25 0 4 0 1106436415 72417280 10764 4294967295 134512640 135305190 3214234768 3214232944 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19217/statm: 17680 10764 79 194 0 17484 0
[pid=19217/tid=19218] ppid=19214 vsize=70720 CPUtime=100.83
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 1150 0 0 0 10074 9 0 0 25 0 4 0 1106436428 72417280 10764 4294967295 134512640 135305190 3214234768 3082144960 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=70720 CPUtime=100.85
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 1112 0 0 0 10080 5 0 0 25 0 4 0 1106436428 72417280 10764 4294967295 134512640 135305190 3214234768 3073756352 134528195 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=70720 CPUtime=100.82
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 2620 0 0 0 10069 13 0 0 25 0 4 0 1106436428 72417280 10764 4294967295 134512640 135305190 3214234768 3065367744 134528747 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 404.79
Current children cumulated vsize (KiB) 73140

[startup+162.318 s]
/proc/loadavg: 4.60 4.45 4.43 6/102 19663
/proc/meminfo: memFree=2878832/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=76824 CPUtime=643.06
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 12270 0 0 0 64249 57 0 0 25 0 4 0 1106436415 78667776 12202 4294967295 134512640 135305190 3214234768 3214232944 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/19217/statm: 19206 12202 79 194 0 19010 0
[pid=19217/tid=19218] ppid=19214 vsize=76824 CPUtime=160.73
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 1308 0 0 0 16062 11 0 0 25 0 4 0 1106436428 78667776 12202 4294967295 134512640 135305190 3214234768 3082144688 134556798 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=76824 CPUtime=160.85
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 1735 0 0 0 16075 10 0 0 25 0 4 0 1106436428 78667776 12202 4294967295 134512640 135305190 3214234768 3073755968 134551651 0 0 0 3 0 0 0 -1 1 0 0 0

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

/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 5506 0 0 0 45846 36 0 0 25 0 4 0 1106436428 105357312 18551 4294967295 134512640 135305190 3214234768 3065367472 134557133 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1841.05
Current children cumulated vsize (KiB) 105308

[startup+522.313 s]
/proc/loadavg: 4.60 4.55 4.47 6/101 20739
/proc/meminfo: memFree=2852952/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=103856 CPUtime=2079.54
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 18827 0 0 0 207800 154 0 0 25 0 4 0 1106436415 106348544 18755 4294967295 134512640 135305190 3214234768 3214232944 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/19217/statm: 25964 18755 79 194 0 25768 0
[pid=19217/tid=19218] ppid=19214 vsize=103856 CPUtime=520.26
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 2588 0 0 0 51999 27 0 0 25 0 4 0 1106436428 106348544 18755 4294967295 134512640 135305190 3214234768 3082144960 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=103856 CPUtime=520.3
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3068 0 0 0 51995 35 0 0 25 0 4 0 1106436428 106348544 18755 4294967295 134512640 135305190 3214234768 3073756032 134552855 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=103856 CPUtime=518.65
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 5614 0 0 0 51825 40 0 0 25 0 4 0 1106436428 106348544 18755 4294967295 134512640 135305190 3214234768 3065367744 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2080.62
Current children cumulated vsize (KiB) 106276

[startup+582.309 s]
/proc/loadavg: 4.65 4.60 4.49 6/101 20927
/proc/meminfo: memFree=2848124/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=109288 CPUtime=2319.03
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 20178 0 0 0 231725 178 0 0 25 0 4 0 1106436415 111910912 20106 4294967295 134512640 135305190 3214234768 3214232944 134528520 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/19217/statm: 27322 20106 79 194 0 27126 0
[pid=19217/tid=19218] ppid=19214 vsize=109288 CPUtime=580.14
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 2884 0 0 0 57978 36 0 0 25 0 4 0 1106436428 111910912 20106 4294967295 134512640 135305190 3214234768 3082144960 134528277 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=109288 CPUtime=580.19
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3276 0 0 0 57974 45 0 0 25 0 4 0 1106436428 111910912 20106 4294967295 134512640 135305190 3214234768 3073756352 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=109288 CPUtime=578.6
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 6187 0 0 0 57819 41 0 0 25 0 4 0 1106436428 111910912 20106 4294967295 134512640 135305190 3214234768 3065367472 134556807 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2320.11
Current children cumulated vsize (KiB) 111708

[startup+642.305 s]
/proc/loadavg: 4.48 4.56 4.48 5/101 21116
/proc/meminfo: memFree=2846868/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=109728 CPUtime=2558.52
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 20303 0 0 0 255659 193 0 0 25 0 4 0 1106436415 112361472 20231 4294967295 134512640 135305190 3214234768 3214232944 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19217/statm: 27432 20231 79 194 0 27236 0
[pid=19217/tid=19218] ppid=19214 vsize=109728 CPUtime=639.91
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 2961 0 0 0 63950 41 0 0 25 0 4 0 1106436428 112361472 20231 4294967295 134512640 135305190 3214234768 3082144960 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=109728 CPUtime=640.13
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3278 0 0 0 63966 47 0 0 25 0 4 0 1106436428 112361472 20231 4294967295 134512640 135305190 3214234768 3073756352 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=109728 CPUtime=638.47
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 6188 0 0 0 63800 47 0 0 25 0 4 0 1106436428 112361472 20231 4294967295 134512640 135305190 3214234768 3065367744 134528875 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2559.6
Current children cumulated vsize (KiB) 112148

[startup+702.311 s]
/proc/loadavg: 4.84 4.65 4.52 6/101 21301
/proc/meminfo: memFree=2845520/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=111016 CPUtime=2797.86
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 20679 0 0 0 279577 209 0 0 25 0 4 0 1106436415 113680384 20571 4294967295 134512640 135305190 3214234768 3214232944 134528623 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19217/statm: 27754 20571 79 194 0 27558 0
[pid=19217/tid=19218] ppid=19214 vsize=111016 CPUtime=699.55
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 2990 0 0 0 69908 47 0 0 25 0 4 0 1106436428 113680384 20571 4294967295 134512640 135305190 3214234768 3082144960 134528523 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=111016 CPUtime=700.08
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3590 0 0 0 69956 52 0 0 25 0 4 0 1106436428 113680384 20571 4294967295 134512640 135305190 3214234768 3073756032 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=111016 CPUtime=698.22
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 6214 0 0 0 69771 51 0 0 25 0 4 0 1106436428 113680384 20571 4294967295 134512640 135305190 3214234768 3065367472 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2798.94
Current children cumulated vsize (KiB) 113436

[startup+762.317 s]
/proc/loadavg: 4.74 4.64 4.52 5/101 21490
/proc/meminfo: memFree=2842240/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=115516 CPUtime=3037.01
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 21576 0 0 0 303473 228 0 0 25 0 4 0 1106436415 118288384 21468 4294967295 134512640 135305190 3214234768 3214232944 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19217/statm: 28879 21468 79 194 0 28683 0
[pid=19217/tid=19218] ppid=19214 vsize=115516 CPUtime=759.12
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3157 0 0 0 75865 47 0 0 25 0 4 0 1106436428 118288384 21468 4294967295 134512640 135305190 3214234768 3082144688 134556752 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=115516 CPUtime=759.65
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3916 0 0 0 75900 65 0 0 25 0 4 0 1106436428 118288384 21468 4294967295 134512640 135305190 3214234768 3073756352 134528438 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=115516 CPUtime=758.22
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 6419 0 0 0 75768 54 0 0 25 0 4 0 1106436428 118288384 21468 4294967295 134512640 135305190 3214234768 3065367472 134557200 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3038.09
Current children cumulated vsize (KiB) 117936

[startup+822.312 s]
/proc/loadavg: 4.46 4.58 4.50 5/101 21678
/proc/meminfo: memFree=2840676/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=117116 CPUtime=3276.2
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 22000 0 0 0 327377 243 0 0 25 0 4 0 1106436415 119926784 21892 4294967295 134512640 135305190 3214234768 3214232944 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19217/statm: 29279 21892 79 194 0 29083 0
[pid=19217/tid=19218] ppid=19214 vsize=117116 CPUtime=818.66
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3306 0 0 0 81816 50 0 0 25 0 4 0 1106436428 119926784 21892 4294967295 134512640 135305190 3214234768 3082144960 134530694 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=117116 CPUtime=819.51
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3997 0 0 0 81882 69 0 0 25 0 4 0 1106436428 119926784 21892 4294967295 134512640 135305190 3214234768 3073756032 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=117116 CPUtime=818.04
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 6542 0 0 0 81746 58 0 0 25 0 4 0 1106436428 119926784 21892 4294967295 134512640 135305190 3214234768 3065367472 134556789 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3277.28
Current children cumulated vsize (KiB) 119536

[startup+882.308 s]
/proc/loadavg: 4.46 4.55 4.50 5/101 21870
/proc/meminfo: memFree=2839544/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=118048 CPUtime=3515.6
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 22217 0 0 0 351306 254 0 0 25 0 4 0 1106436415 120881152 22109 4294967295 134512640 135305190 3214234768 3214232944 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19217/statm: 29512 22109 79 194 0 29316 0
[pid=19217/tid=19218] ppid=19214 vsize=118048 CPUtime=878.23
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3306 0 0 0 87769 54 0 0 25 0 4 0 1106436428 120881152 22109 4294967295 134512640 135305190 3214234768 3082144960 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=118048 CPUtime=879.51
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3998 0 0 0 87882 69 0 0 25 0 4 0 1106436428 120881152 22109 4294967295 134512640 135305190 3214234768 3073756352 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=118048 CPUtime=877.9
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 6636 0 0 0 87727 63 0 0 25 0 4 0 1106436428 120881152 22109 4294967295 134512640 135305190 3214234768 3065367744 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3516.68
Current children cumulated vsize (KiB) 120468

[startup+942.314 s]
/proc/loadavg: 4.51 4.55 4.50 6/101 22059
/proc/meminfo: memFree=2838092/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=118676 CPUtime=3755.17
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 22393 0 0 0 375254 263 0 0 25 0 4 0 1106436415 121524224 22285 4294967295 134512640 135305190 3214234768 3214232944 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19217/statm: 29669 22285 79 194 0 29473 0
[pid=19217/tid=19218] ppid=19214 vsize=118676 CPUtime=938.1
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3317 0 0 0 93753 57 0 0 25 0 4 0 1106436428 121524224 22285 4294967295 134512640 135305190 3214234768 3082144960 134528603 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=118676 CPUtime=939.42
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 4087 0 0 0 93871 71 0 0 25 0 4 0 1106436428 121524224 22285 4294967295 134512640 135305190 3214234768 3073756352 134528301 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=118676 CPUtime=937.73
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 6636 0 0 0 93707 66 0 0 25 0 4 0 1106436428 121524224 22285 4294967295 134512640 135305190 3214234768 3065367744 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3756.25
Current children cumulated vsize (KiB) 121096



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.62 4.56 4.50 5/101 22244
/proc/meminfo: memFree=2837544/3368532 swapFree=1954076/1959888
[pid=19214] ppid=19212 vsize=2420 CPUtime=1.08
/proc/19214/stat : 19214 (manysat.sh) S 19212 19214 1628 0 -1 4194304 369 4064 0 0 0 0 104 4 18 0 1 0 1106436306 2478080 274 4294967295 134512640 135169312 3220341360 3220337576 3085225710 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/19214/statm: 605 274 231 161 0 44 0
[pid=19217] ppid=19214 vsize=119004 CPUtime=3985.57
/proc/19217/stat : 19217 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202496 22442 0 0 0 398281 276 0 0 25 0 4 0 1106436415 121860096 22334 4294967295 134512640 135305190 3214234768 3214232944 134528503 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19217/statm: 29751 22334 79 194 0 29555 0
[pid=19217/tid=19218] ppid=19214 vsize=119004 CPUtime=995.56
/proc/19217/task/19218/stat : 19218 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 3360 0 0 0 99498 58 0 0 25 0 4 0 1106436428 121860096 22334 4294967295 134512640 135305190 3214234768 3082144960 134528557 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19217/tid=19219] ppid=19214 vsize=119004 CPUtime=997.01
/proc/19217/task/19219/stat : 19219 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 4092 0 0 0 99627 74 0 0 25 0 4 0 1106436428 121860096 22334 4294967295 134512640 135305190 3214234768 3073756032 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19217/tid=19220] ppid=19214 vsize=119004 CPUtime=995.41
/proc/19217/task/19220/stat : 19220 (manysat1.1_stat) R 19214 19214 1628 0 -1 4202560 6636 0 0 0 99469 72 0 0 25 0 4 0 1106436428 121860096 22334 4294967295 134512640 135305190 3214234768 3065367744 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3986.65
Current children cumulated vsize (KiB) 121424

Sending SIGTERM to process tree (bottom up)
Real time (s): 43
 D1000.04
CPU time (s): 3986.73
CPU user time (s): 3983.93
CPU system time (s): 2.8
CPU usage (%): 398.658
Max. virtual memory (cumulated for all children) (KiB): 121424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3983.93
system time used= 2.8
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27153
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= 7541
involuntary context switches= 187348

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-28 17:09:11
IDJOB=1779322
IDBENCH=70839
IDSOLVER=626
FILE ID=tipi44/1779322-1243523351
PBS_JOBID=
Free space on /tmp= 15892 MiB

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

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

MD5SUM BENCH= 5dbb80f29538e26a3285bf497c57f592
RANDOM SEED= 1216585137

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:       2933152 kB
Buffers:        141236 kB
Cached:         186900 kB
SwapCached:       2180 kB
Active:         106572 kB
Inactive:       231060 kB
HighTotal:     2489216 kB
HighFree:      2290240 kB
LowTotal:       879316 kB
LowFree:        642912 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            3116 kB
Writeback:           0 kB
AnonPages:        9160 kB
Mapped:           3388 kB
Slab:            87448 kB
SReclaimable:    77288 kB
SUnreclaim:      10160 kB
PageTables:        496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88088 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:25:52