Trace number 1779571

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 0/2009-03-20 (4 threads)? (TO) 3988.47 1000.03

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-25-s100.cnf
MD5SUMc4b5df05f50ec97b624a18161f6d43b5
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 variables31931
Number of clauses96111
Sum of the clauses size226723
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261482
Number of clauses of size 334565
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.05/0.07	c ==============================================================================
0.05/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.05/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.05/0.07	c ==============================================================================
0.05/0.07	c |         0 |   95911   226247 |   28773       0        0     nan |  0.000 % |
0.90/1.00	c |         0 |   59414   177649 |      --       0       --      -- |     --   | -36157/-47622
0.90/1.00	c ==============================================================================
0.90/1.00	c Result  :   #vars: 14275   #clauses: 59414   #literals: 177649
0.90/1.00	c CPU time:   0.97 s
0.90/1.00	c ==============================================================================
3988.41/1000.02	HOME/manysat.sh: line 55: 18171 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-1779571-1243527187/watcher-1779571-1243527187 -o /tmp/evaluation-result-1779571-1243527187/solver-1779571-1243527187 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779571-1243527187.cnf aimd 0 

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.60 4.62 4.56 3/99 18168
/proc/meminfo: memFree=3062524/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2416 CPUtime=0
/proc/18168/stat : 18168 (manysat.sh) R 18166 18168 19648 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1117383105 2473984 273 4294967295 134512640 135169312 3215687168 3215685644 3085604724 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/18168/statm: 604 273 231 161 0 43 0
[pid=18169] ppid=18168 vsize=2464 CPUtime=0
/proc/18169/stat : 18169 (SatElite) R 18168 18168 19648 0 -1 4202496 448 0 0 0 0 0 0 0 18 0 1 0 1117383105 2523136 385 4294967295 134512640 135034092 3219065088 3219061376 134544849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18169/statm: 616 387 50 128 0 486 0

[startup+0.058147 s]
/proc/loadavg: 4.60 4.62 4.56 3/99 18168
/proc/meminfo: memFree=3062524/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2416 CPUtime=0
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117383105 2473984 273 4294967295 134512640 135169312 3215687168 3215685704 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/18168/statm: 604 273 231 161 0 43 0
[pid=18169] ppid=18168 vsize=10568 CPUtime=0.05
/proc/18169/stat : 18169 (SatElite) R 18168 18168 19648 0 -1 4202496 2536 0 0 0 5 0 0 0 20 0 1 0 1117383105 10821632 2473 4294967295 134512640 135034092 3219065088 3219061432 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18169/statm: 2642 2474 50 128 0 2512 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12984

[startup+0.108126 s]
/proc/loadavg: 4.60 4.62 4.56 3/99 18168
/proc/meminfo: memFree=3062524/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2416 CPUtime=0
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117383105 2473984 273 4294967295 134512640 135169312 3215687168 3215685704 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/18168/statm: 604 273 231 161 0 43 0
[pid=18169] ppid=18168 vsize=14284 CPUtime=0.1
/proc/18169/stat : 18169 (SatElite) R 18168 18168 19648 0 -1 4202496 3598 0 0 0 10 0 0 0 20 0 1 0 1117383105 14626816 3312 4294967295 134512640 135034092 3219065088 3219061084 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18169/statm: 3571 3312 67 128 0 3441 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16700

[startup+0.308105 s]
/proc/loadavg: 4.60 4.62 4.56 3/99 18168
/proc/meminfo: memFree=3062524/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2416 CPUtime=0
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117383105 2473984 273 4294967295 134512640 135169312 3215687168 3215685704 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/18168/statm: 604 273 231 161 0 43 0
[pid=18169] ppid=18168 vsize=14988 CPUtime=0.3
/proc/18169/stat : 18169 (SatElite) R 18168 18168 19648 0 -1 4202496 3735 0 0 0 27 3 0 0 20 0 1 0 1117383105 15347712 3449 4294967295 134512640 135034092 3219065088 3219061084 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18169/statm: 3747 3449 67 128 0 3617 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17404

[startup+0.708069 s]
/proc/loadavg: 4.60 4.62 4.56 3/99 18168
/proc/meminfo: memFree=3062524/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2416 CPUtime=0
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117383105 2473984 273 4294967295 134512640 135169312 3215687168 3215685704 3085602542 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/18168/statm: 604 273 231 161 0 43 0
[pid=18169] ppid=18168 vsize=15504 CPUtime=0.7
/proc/18169/stat : 18169 (SatElite) R 18168 18168 19648 0 -1 4202496 3905 0 0 0 67 3 0 0 21 0 1 0 1117383105 15876096 3619 4294967295 134512640 135034092 3219065088 3219061328 134566628 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18169/statm: 3876 3619 67 128 0 3746 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17920

[startup+1.508 s]
/proc/loadavg: 4.60 4.62 4.56 2/101 18170
/proc/meminfo: memFree=3044024/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 2420

[startup+3.10785 s]
/proc/loadavg: 4.60 4.62 4.56 6/104 18174
/proc/meminfo: memFree=3037220/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=49508 CPUtime=7.68
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 5513 0 0 0 764 4 0 0 19 0 4 0 1117383213 50696192 5447 4294967295 134512640 135305190 3213497312 3213495488 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 12377 5447 79 194 0 12181 0
[pid=18171/tid=18172] ppid=18168 vsize=49508 CPUtime=1.87
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 204 0 0 0 187 0 0 0 20 0 4 0 1117383225 50696192 5447 4294967295 134512640 135305190 3213497312 3082165168 134556787 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=49508 CPUtime=1.89
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 211 0 0 0 189 0 0 0 20 0 4 0 1117383225 50696192 5447 4294967295 134512640 135305190 3213497312 3073776512 134552302 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=49508 CPUtime=1.89
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 283 0 0 0 186 3 0 0 21 0 4 0 1117383225 50696192 5447 4294967295 134512640 135305190 3213497312 3065387888 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 51928

[startup+6.31754 s]
/proc/loadavg: 4.55 4.61 4.56 6/104 18174
/proc/meminfo: memFree=3036600/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=50168 CPUtime=20.51
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 5687 0 0 0 2045 6 0 0 25 0 4 0 1117383213 51372032 5621 4294967295 134512640 135305190 3213497312 3213495488 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 12542 5621 79 194 0 12346 0
[pid=18171/tid=18172] ppid=18168 vsize=50168 CPUtime=5.07
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 259 0 0 0 507 0 0 0 25 0 4 0 1117383225 51372032 5621 4294967295 134512640 135305190 3213497312 3082165440 134528319 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=50168 CPUtime=5.1
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 250 0 0 0 508 2 0 0 25 0 4 0 1117383225 51372032 5621 4294967295 134512640 135305190 3213497312 3073776448 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=50168 CPUtime=5.1
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 317 0 0 0 507 3 0 0 25 0 4 0 1117383225 51372032 5621 4294967295 134512640 135305190 3213497312 3065387888 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.58
Current children cumulated vsize (KiB) 52588

[startup+12.7169 s]
/proc/loadavg: 4.58 4.61 4.56 5/104 18175
/proc/meminfo: memFree=3034556/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=51436 CPUtime=46.09
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 6037 0 0 0 4603 6 0 0 25 0 4 0 1117383213 52670464 5971 4294967295 134512640 135305190 3213497312 3213495488 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 12859 5971 79 194 0 12663 0
[pid=18171/tid=18172] ppid=18168 vsize=51436 CPUtime=11.45
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 328 0 0 0 1145 0 0 0 25 0 4 0 1117383225 52670464 5971 4294967295 134512640 135305190 3213497312 3082165440 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=51436 CPUtime=11.5
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 297 0 0 0 1148 2 0 0 25 0 4 0 1117383225 52670464 5971 4294967295 134512640 135305190 3213497312 3073776832 134528399 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=51436 CPUtime=11.5
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 478 0 0 0 1147 3 0 0 25 0 4 0 1117383225 52670464 5971 4294967295 134512640 135305190 3213497312 3065388224 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.16
Current children cumulated vsize (KiB) 53856

[startup+25.5157 s]
/proc/loadavg: 4.45 4.58 4.55 5/104 18177
/proc/meminfo: memFree=3032512/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=53792 CPUtime=97.2
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 6675 0 0 0 9711 9 0 0 25 0 4 0 1117383213 55083008 6609 4294967295 134512640 135305190 3213497312 3213495488 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 13448 6609 79 194 0 13252 0
[pid=18171/tid=18172] ppid=18168 vsize=53792 CPUtime=24.16
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 446 0 0 0 2415 1 0 0 25 0 4 0 1117383225 55083008 6609 4294967295 134512640 135305190 3213497312 3082165440 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=53792 CPUtime=24.3
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 383 0 0 0 2427 3 0 0 25 0 4 0 1117383225 55083008 6609 4294967295 134512640 135305190 3213497312 3073776832 134528402 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=53792 CPUtime=24.3
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 774 0 0 0 2426 4 0 0 25 0 4 0 1117383225 55083008 6609 4294967295 134512640 135305190 3213497312 3065387952 134558366 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.27
Current children cumulated vsize (KiB) 56212

[startup+51.1133 s]
/proc/loadavg: 4.74 4.63 4.56 6/105 18272
/proc/meminfo: memFree=3025844/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=58664 CPUtime=199.11
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 7976 0 0 0 19898 13 0 0 25 0 4 0 1117383213 60071936 7910 4294967295 134512640 135305190 3213497312 3213495488 134528936 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 14666 7910 79 194 0 14470 0
[pid=18171/tid=18172] ppid=18168 vsize=58664 CPUtime=49.64
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 718 0 0 0 4962 2 0 0 25 0 4 0 1117383225 60071936 7910 4294967295 134512640 135305190 3213497312 3082165440 134528283 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=58664 CPUtime=49.81
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 586 0 0 0 4975 6 0 0 25 0 4 0 1117383225 60071936 7910 4294967295 134512640 135305190 3213497312 3073776512 134553464 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=58664 CPUtime=49.65
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 1338 0 0 0 4961 4 0 0 25 0 4 0 1117383225 60071936 7910 4294967295 134512640 135305190 3213497312 3065388224 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.18
Current children cumulated vsize (KiB) 61084

[startup+102.308 s]
/proc/loadavg: 4.51 4.59 4.55 5/104 18366
/proc/meminfo: memFree=3019292/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=67156 CPUtime=403.47
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 9919 0 0 0 40316 31 0 0 25 0 4 0 1117383213 68767744 9853 4294967295 134512640 135305190 3213497312 3213495488 134528506 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 16789 9853 79 194 0 16593 0
[pid=18171/tid=18172] ppid=18168 vsize=67156 CPUtime=100.83
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 1067 0 0 0 10080 3 0 0 25 0 4 0 1117383225 68767744 9853 4294967295 134512640 135305190 3213497312 3082165168 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=67156 CPUtime=100.68
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 1022 0 0 0 10050 18 0 0 25 0 4 0 1117383225 68767744 9853 4294967295 134512640 135305190 3213497312 3073776512 134555033 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=67156 CPUtime=100.75
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2008 0 0 0 10067 8 0 0 25 0 4 0 1117383225 68767744 9853 4294967295 134512640 135305190 3213497312 3065388224 134528245 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 404.54
Current children cumulated vsize (KiB) 69576

[startup+162.303 s]
/proc/loadavg: 4.46 4.57 4.54 5/104 18553
/proc/meminfo: memFree=3012868/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=73664 CPUtime=642.86
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 11530 0 0 0 64239 47 0 0 25 0 4 0 1117383213 75431936 11464 4294967295 134512640 135305190 3213497312 3213495488 134530646 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 18416 11464 79 194 0 18220 0
[pid=18171/tid=18172] ppid=18168 vsize=73664 CPUtime=160.78
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 1278 0 0 0 16070 8 0 0 25 0 4 0 1117383225 75431936 11464 4294967295 134512640 135305190 3213497312 3082165440 134528523 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=73664 CPUtime=160.46
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 1416 0 0 0 16021 25 0 0 25 0 4 0 1117383225 75431936 11464 4294967295 134512640 135305190 3213497312 3073776832 134528229 0 0 0 3 0 0 0 -1 3 0 0 0

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

[startup+522.318 s]
/proc/loadavg: 4.77 4.62 4.56 5/104 19692
/proc/meminfo: memFree=2988524/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=98400 CPUtime=2080.31
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 17471 0 0 0 207900 131 0 0 25 0 4 0 1117383213 100761600 17405 4294967295 134512640 135305190 3213497312 3213495216 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 24600 17405 79 194 0 24404 0
[pid=18171/tid=18172] ppid=18168 vsize=98400 CPUtime=520.32
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2284 0 0 0 52010 22 0 0 25 0 4 0 1117383225 100761600 17405 4294967295 134512640 135305190 3213497312 3082165440 134530636 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=98400 CPUtime=519.18
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 3223 0 0 0 51863 55 0 0 25 0 4 0 1117383225 100761600 17405 4294967295 134512640 135305190 3213497312 3073776832 134528277 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=98400 CPUtime=519.85
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 4599 0 0 0 51952 33 0 0 25 0 4 0 1117383225 100761600 17405 4294967295 134512640 135305190 3213497312 3065388224 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2081.38
Current children cumulated vsize (KiB) 100820

[startup+582.313 s]
/proc/loadavg: 4.81 4.64 4.57 5/104 19881
/proc/meminfo: memFree=2982764/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=104648 CPUtime=2319.96
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 19065 0 0 0 231844 152 0 0 25 0 4 0 1117383213 107159552 18995 4294967295 134512640 135305190 3213497312 3213495488 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 26162 18995 79 194 0 25966 0
[pid=18171/tid=18172] ppid=18168 vsize=104648 CPUtime=580.26
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2553 0 0 0 58001 25 0 0 25 0 4 0 1117383225 107159552 18995 4294967295 134512640 135305190 3213497312 3082165440 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=104648 CPUtime=579.11
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 3584 0 0 0 57845 66 0 0 25 0 4 0 1117383225 107159552 18995 4294967295 134512640 135305190 3213497312 3073776832 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=104648 CPUtime=579.82
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 5185 0 0 0 57945 37 0 0 25 0 4 0 1117383225 107159552 18995 4294967295 134512640 135305190 3213497312 3065388224 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2321.03
Current children cumulated vsize (KiB) 107068

[startup+642.307 s]
/proc/loadavg: 4.84 4.65 4.57 5/104 20067
/proc/meminfo: memFree=2980464/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=105936 CPUtime=2559.76
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 19404 0 0 0 255812 164 0 0 25 0 4 0 1117383213 108478464 19334 4294967295 134512640 135305190 3213497312 3213495488 134528800 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 26484 19334 79 194 0 26288 0
[pid=18171/tid=18172] ppid=18168 vsize=105936 CPUtime=640.08
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2635 0 0 0 63980 28 0 0 25 0 4 0 1117383225 108478464 19334 4294967295 134512640 135305190 3213497312 3082165440 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=105936 CPUtime=639.09
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 3615 0 0 0 63839 70 0 0 25 0 4 0 1117383225 108478464 19334 4294967295 134512640 135305190 3213497312 3073776832 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=105936 CPUtime=639.82
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 5258 0 0 0 63942 40 0 0 25 0 4 0 1117383225 108478464 19334 4294967295 134512640 135305190 3213497312 3065388224 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2560.83
Current children cumulated vsize (KiB) 108356

[startup+702.311 s]
/proc/loadavg: 4.89 4.67 4.58 6/105 20253
/proc/meminfo: memFree=2980320/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=106420 CPUtime=2799.4
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 19536 0 0 0 279760 180 0 0 25 0 4 0 1117383213 108974080 19466 4294967295 134512640 135305190 3213497312 3213495488 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 26605 19466 79 194 0 26409 0
[pid=18171/tid=18172] ppid=18168 vsize=106420 CPUtime=699.99
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2635 0 0 0 69963 36 0 0 25 0 4 0 1117383225 108974080 19466 4294967295 134512640 135305190 3213497312 3082165168 134556770 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=106420 CPUtime=698.87
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 3729 0 0 0 69813 74 0 0 25 0 4 0 1117383225 108974080 19466 4294967295 134512640 135305190 3213497312 3073776832 134528428 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=106420 CPUtime=699.77
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 5258 0 0 0 69934 43 0 0 25 0 4 0 1117383225 108974080 19466 4294967295 134512640 135305190 3213497312 3065388224 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.47
Current children cumulated vsize (KiB) 108840

[startup+762.316 s]
/proc/loadavg: 4.63 4.63 4.56 7/105 20401
/proc/meminfo: memFree=2978200/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=108844 CPUtime=3038.99
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 19987 0 0 0 303707 192 0 0 25 0 4 0 1117383213 111456256 19917 4294967295 134512640 135305190 3213497312 3213495488 134528376 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 27211 19917 79 194 0 27015 0
[pid=18171/tid=18172] ppid=18168 vsize=108844 CPUtime=759.99
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2733 0 0 0 75962 37 0 0 25 0 4 0 1117383225 111456256 19917 4294967295 134512640 135305190 3213497312 3082165440 134528283 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=108844 CPUtime=758.72
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 3788 0 0 0 75793 79 0 0 25 0 4 0 1117383225 111456256 19917 4294967295 134512640 135305190 3213497312 3073776832 134528415 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=108844 CPUtime=759.52
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 5439 0 0 0 75905 47 0 0 25 0 4 0 1117383225 111456256 19917 4294967295 134512640 135305190 3213497312 3065387952 134556831 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.06
Current children cumulated vsize (KiB) 111264

[startup+822.31 s]
/proc/loadavg: 4.67 4.63 4.56 5/104 20635
/proc/meminfo: memFree=2975296/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=110900 CPUtime=3277.96
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 20411 0 0 0 327585 211 0 0 25 0 4 0 1117383213 113561600 20341 4294967295 134512640 135305190 3213497312 3213495216 134557161 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 27725 20341 79 194 0 27529 0
[pid=18171/tid=18172] ppid=18168 vsize=110900 CPUtime=819.85
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2916 0 0 0 81944 41 0 0 25 0 4 0 1117383225 113561600 20341 4294967295 134512640 135305190 3213497312 3082165440 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=110900 CPUtime=817.95
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 3800 0 0 0 81710 85 0 0 25 0 4 0 1117383225 113561600 20341 4294967295 134512640 135305190 3213497312 3073776512 134552882 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=110900 CPUtime=819.45
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 5512 0 0 0 81894 51 0 0 25 0 4 0 1117383225 113561600 20341 4294967295 134512640 135305190 3213497312 3065388224 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.03
Current children cumulated vsize (KiB) 113320

[startup+882.314 s]
/proc/loadavg: 4.55 4.59 4.55 6/105 20757
/proc/meminfo: memFree=2974796/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=112132 CPUtime=3517.43
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 20703 0 0 0 351512 231 0 0 25 0 4 0 1117383213 114823168 20633 4294967295 134512640 135305190 3213497312 3213495488 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 28033 20633 79 194 0 27837 0
[pid=18171/tid=18172] ppid=18168 vsize=112132 CPUtime=879.83
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2916 0 0 0 87939 44 0 0 25 0 4 0 1117383225 114823168 20633 4294967295 134512640 135305190 3213497312 3082165168 134556734 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=112132 CPUtime=877.84
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 3824 0 0 0 87693 91 0 0 25 0 4 0 1117383225 114823168 20633 4294967295 134512640 135305190 3213497312 3073776448 134551697 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=112132 CPUtime=879.45
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 5611 0 0 0 87894 51 0 0 25 0 4 0 1117383225 114823168 20633 4294967295 134512640 135305190 3213497312 3065388224 134528195 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.5
Current children cumulated vsize (KiB) 114552

[startup+942.308 s]
/proc/loadavg: 4.58 4.60 4.55 8/105 20894
/proc/meminfo: memFree=2974580/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=112292 CPUtime=3756.87
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 20756 0 0 0 375435 252 0 0 25 0 4 0 1117383213 114987008 20686 4294967295 134512640 135305190 3213497312 3213495216 134556752 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 28073 20686 79 194 0 27877 0
[pid=18171/tid=18172] ppid=18168 vsize=112292 CPUtime=939.7
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2933 0 0 0 93924 46 0 0 25 0 4 0 1117383225 114987008 20686 4294967295 134512640 135305190 3213497312 3082165440 134528559 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=112292 CPUtime=937.5
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 3825 0 0 0 93657 93 0 0 25 0 4 0 1117383225 114987008 20686 4294967295 134512640 135305190 3213497312 3073776832 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=112292 CPUtime=939.45
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 5611 0 0 0 93888 57 0 0 25 0 4 0 1117383225 114987008 20686 4294967295 134512640 135305190 3213497312 3065388016 134547410 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.94
Current children cumulated vsize (KiB) 114712



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 4.58 4.61 4.55 6/104 21016
/proc/meminfo: memFree=2974900/3368532 swapFree=1953580/1959888
[pid=18168] ppid=18166 vsize=2420 CPUtime=1.07
/proc/18168/stat : 18168 (manysat.sh) S 18166 18168 19648 0 -1 4194304 371 4134 0 0 0 0 104 3 18 0 1 0 1117383105 2478080 275 4294967295 134512640 135169312 3215687168 3215683384 3085602542 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/18168/statm: 605 275 231 161 0 44 0
[pid=18171] ppid=18168 vsize=112916 CPUtime=3987.34
/proc/18171/stat : 18171 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202496 20895 0 0 0 398473 261 0 0 25 0 4 0 1117383213 115625984 20825 4294967295 134512640 135305190 3213497312 3213495488 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/18171/statm: 28229 20825 79 194 0 28033 0
[pid=18171/tid=18172] ppid=18168 vsize=112916 CPUtime=997.27
/proc/18171/task/18172/stat : 18172 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 2957 0 0 0 99680 47 0 0 25 0 4 0 1117383225 115625984 20825 4294967295 134512640 135305190 3213497312 3082165440 134528263 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=112916 CPUtime=994.99
/proc/18171/task/18173/stat : 18173 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 3940 0 0 0 99403 96 0 0 25 0 4 0 1117383225 115625984 20825 4294967295 134512640 135305190 3213497312 3073776832 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=112916 CPUtime=997.15
/proc/18171/task/18174/stat : 18174 (manysat1.1_stat) R 18168 18168 19648 0 -1 4202560 5611 0 0 0 99654 61 0 0 25 0 4 0 1117383225 115625984 20825 4294967295 134512640 135305190 3213497312 3065387952 134558470 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3988.41
Current children cumulated vsize (KiB) 115336

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.03
CPU time (s): 3988.47
CPU user time (s): 3985.83
CPU system time (s): 2.64
CPU usage (%): 398.834
Max. virtual memory (cumulated for all children) (KiB): 115336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3985.83
system time used= 2.64
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25476
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= 7977
involuntary context switches= 189250

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 18:13:07
IDJOB=1779571
IDBENCH=70878
IDSOLVER=620
FILE ID=/1779571-1243527187
PBS_JOBID=
Free space on /tmp= 15883 MiB

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

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

MD5SUM BENCH= c4b5df05f50ec97b624a18161f6d43b5
RANDOM SEED= 826414937

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3062820 kB
Buffers:         27656 kB
Cached:         200248 kB
SwapCached:       2424 kB
Active:          91392 kB
Inactive:       146984 kB
HighTotal:     2489216 kB
HighFree:      2276116 kB
LowTotal:       879316 kB
LowFree:        786704 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:            2944 kB
Writeback:           0 kB
AnonPages:        9748 kB
Mapped:           4848 kB
Slab:            58024 kB
SReclaimable:    49736 kB
SUnreclaim:       8288 kB
PageTables:        520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93916 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15878 MiB
End job on  at 2009-05-28 18:29:49