Trace number 1778866

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) 3989.24 1000.04

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
MD5SUM8d76aa747359ea8ccf15726792949452
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 variables8527
Number of clauses25484
Sum of the clauses size59460
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 216988
Number of clauses of size 38494
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.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   25482    59458 |    7644       0        0     nan |  0.000 % |
0.12/0.12	c |         0 |   19097    53996 |      --       0       --      -- |     --   | -6383/-5457
0.12/0.12	c ==============================================================================
0.12/0.12	c Result  :   #vars: 4641   #clauses: 19097   #literals: 53996
0.12/0.12	c CPU time:   0.11 s
0.12/0.12	c ==============================================================================
3989.17/1000.03	HOME/manysat.sh: line 55: 16324 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-1778866-1243515973/watcher-1778866-1243515973 -o /tmp/evaluation-result-1778866-1243515973/solver-1778866-1243515973 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1778866-1243515973.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.36 4.37 4.31 3/97 16321
/proc/meminfo: memFree=2915232/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2416 CPUtime=0.01
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 347 0 0 0 1 0 0 0 18 0 1 0 1105734586 2473984 272 4294967295 134512640 135169312 3216843440 3216841976 3085741806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16321/statm: 604 272 231 161 0 43 0
[pid=16322] ppid=16321 vsize=1176 CPUtime=0
/proc/16322/stat : 16322 (SatElite) R 16321 16321 21691 0 -1 4202496 228 0 0 0 0 0 0 0 18 0 1 0 1105734586 1204224 165 4294967295 134512640 135034092 3213646800 3213643144 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/16322/statm: 294 165 49 128 0 164 0

[startup+0.090553 s]
/proc/loadavg: 4.36 4.37 4.31 3/97 16321
/proc/meminfo: memFree=2915232/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2416 CPUtime=0.01
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 347 0 0 0 1 0 0 0 18 0 1 0 1105734586 2473984 272 4294967295 134512640 135169312 3216843440 3216841976 3085741806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16321/statm: 604 272 231 161 0 43 0
[pid=16322] ppid=16321 vsize=5836 CPUtime=0.09
/proc/16322/stat : 16322 (SatElite) R 16321 16321 21691 0 -1 4202496 1270 0 0 0 8 1 0 0 18 0 1 0 1105734586 5976064 1185 4294967295 134512640 135034092 3213646800 3213643040 134566409 0 0 0 3 0 0 0 17 1 0 0 0
/proc/16322/statm: 1459 1185 67 128 0 1329 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8252

[startup+0.110552 s]
/proc/loadavg: 4.36 4.37 4.31 3/97 16321
/proc/meminfo: memFree=2915232/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2416 CPUtime=0.01
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 347 0 0 0 1 0 0 0 18 0 1 0 1105734586 2473984 272 4294967295 134512640 135169312 3216843440 3216841976 3085741806 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/16321/statm: 604 272 231 161 0 43 0
[pid=16322] ppid=16321 vsize=5836 CPUtime=0.11
/proc/16322/stat : 16322 (SatElite) R 16321 16321 21691 0 -1 4202496 1270 0 0 0 10 1 0 0 18 0 1 0 1105734586 5976064 1185 4294967295 134512640 135034092 3213646800 3213643104 134569568 0 0 0 3 0 0 0 17 1 0 0 0
/proc/16322/statm: 1459 1185 67 128 0 1329 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8252

[startup+0.310546 s]
/proc/loadavg: 4.36 4.37 4.31 3/97 16321
/proc/meminfo: memFree=2915232/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2420

[startup+0.710516 s]
/proc/loadavg: 4.36 4.37 4.31 3/97 16321
/proc/meminfo: memFree=2915232/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2420

[startup+1.51045 s]
/proc/loadavg: 4.36 4.37 4.31 5/102 16327
/proc/meminfo: memFree=2907612/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=36688 CPUtime=5.33
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 2237 0 0 0 529 4 0 0 20 0 4 0 1105734600 37568512 2171 4294967295 134512640 135305190 3214660848 3214658688 134551681 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 9172 2171 79 194 0 8976 0
[pid=16324/tid=16325] ppid=16321 vsize=36688 CPUtime=1.32
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 130 0 0 0 132 0 0 0 21 0 4 0 1105734603 37568512 2171 4294967295 134512640 135305190 3214660848 3086331072 134528319 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=36688 CPUtime=1.32
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 110 0 0 0 131 1 0 0 21 0 4 0 1105734603 37568512 2171 4294967295 134512640 135305190 3214660848 3077942144 134553448 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=36688 CPUtime=1.33
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 244 0 0 0 132 1 0 0 21 0 4 0 1105734603 37568512 2171 4294967295 134512640 135305190 3214660848 3069553856 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 39108

[startup+3.11033 s]
/proc/loadavg: 4.36 4.37 4.31 5/102 16327
/proc/meminfo: memFree=2906628/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=37612 CPUtime=11.73
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 2516 0 0 0 1169 4 0 0 25 0 4 0 1105734600 38514688 2450 4294967295 134512640 135305190 3214660848 3214659024 134530700 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 9403 2450 79 194 0 9207 0
[pid=16324/tid=16325] ppid=16321 vsize=37612 CPUtime=2.92
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 179 0 0 0 292 0 0 0 25 0 4 0 1105734603 38514688 2450 4294967295 134512640 135305190 3214660848 3086330800 134557414 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=37612 CPUtime=2.92
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 173 0 0 0 291 1 0 0 25 0 4 0 1105734603 38514688 2450 4294967295 134512640 135305190 3214660848 3077942144 134552855 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=37612 CPUtime=2.93
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 360 0 0 0 292 1 0 0 25 0 4 0 1105734603 38514688 2450 4294967295 134512640 135305190 3214660848 3069553856 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 40032

[startup+6.31007 s]
/proc/loadavg: 4.33 4.36 4.30 6/102 16327
/proc/meminfo: memFree=2904548/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=39856 CPUtime=24.5
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 3100 0 0 0 2444 6 0 0 25 0 4 0 1105734600 40812544 3034 4294967295 134512640 135305190 3214660848 3214659024 134528837 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 9964 3034 79 194 0 9768 0
[pid=16324/tid=16325] ppid=16321 vsize=39856 CPUtime=6.12
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 281 0 0 0 612 0 0 0 25 0 4 0 1105734603 40812544 3034 4294967295 134512640 135305190 3214660848 3086331072 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=39856 CPUtime=6.12
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 353 0 0 0 609 3 0 0 25 0 4 0 1105734603 40812544 3034 4294967295 134512640 135305190 3214660848 3077942464 134528329 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=39856 CPUtime=6.1
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 555 0 0 0 609 1 0 0 25 0 4 0 1105734603 40812544 3034 4294967295 134512640 135305190 3214660848 3069553856 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 42276

[startup+12.7096 s]
/proc/loadavg: 4.31 4.35 4.30 6/102 16333
/proc/meminfo: memFree=2899672/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=44084 CPUtime=50.08
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 4202 0 0 0 5000 8 0 0 25 0 4 0 1105734600 45142016 4136 4294967295 134512640 135305190 3214660848 3214658752 134557229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 11021 4136 79 194 0 10825 0
[pid=16324/tid=16325] ppid=16321 vsize=44084 CPUtime=12.52
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 516 0 0 0 1251 1 0 0 25 0 4 0 1105734603 45142016 4136 4294967295 134512640 135305190 3214660848 3086331072 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=44084 CPUtime=12.52
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 591 0 0 0 1249 3 0 0 25 0 4 0 1105734603 45142016 4136 4294967295 134512640 135305190 3214660848 3077942144 134553417 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=44084 CPUtime=12.48
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 994 0 0 0 1246 2 0 0 25 0 4 0 1105734603 45142016 4136 4294967295 134512640 135305190 3214660848 3069553584 134558408 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.23
Current children cumulated vsize (KiB) 46504

[startup+25.5086 s]
/proc/loadavg: 4.24 4.33 4.30 6/102 16333
/proc/meminfo: memFree=2893960/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=49692 CPUtime=101.22
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 5639 0 0 0 10102 20 0 0 25 0 4 0 1105734600 50884608 5573 4294967295 134512640 135305190 3214660848 3214658688 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 12423 5573 79 194 0 12227 0
[pid=16324/tid=16325] ppid=16321 vsize=49692 CPUtime=25.32
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 710 0 0 0 2528 4 0 0 25 0 4 0 1105734603 50884608 5573 4294967295 134512640 135305190 3214660848 3086331072 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=49692 CPUtime=25.32
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 1009 0 0 0 2526 6 0 0 25 0 4 0 1105734603 50884608 5573 4294967295 134512640 135305190 3214660848 3077942080 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=49692 CPUtime=25.22
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 1458 0 0 0 2516 6 0 0 25 0 4 0 1105734603 50884608 5573 4294967295 134512640 135305190 3214660848 3069553584 134557398 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 52112

[startup+51.1066 s]
/proc/loadavg: 4.24 4.32 4.29 5/102 16335
/proc/meminfo: memFree=2887304/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=56788 CPUtime=203.55
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 7185 0 0 0 20332 23 0 0 25 0 4 0 1105734600 58150912 7119 4294967295 134512640 135305190 3214660848 3214658752 134557272 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 14197 7119 79 194 0 14001 0
[pid=16324/tid=16325] ppid=16321 vsize=56788 CPUtime=50.92
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 1048 0 0 0 5087 5 0 0 25 0 4 0 1105734603 58150912 7119 4294967295 134512640 135305190 3214660848 3086331072 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=56788 CPUtime=50.92
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 1347 0 0 0 5086 6 0 0 25 0 4 0 1105734603 58150912 7119 4294967295 134512640 135305190 3214660848 3077942464 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=56788 CPUtime=50.75
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 2004 0 0 0 5068 7 0 0 25 0 4 0 1105734603 58150912 7119 4294967295 134512640 135305190 3214660848 3069553584 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (KiB) 59208

[startup+102.313 s]
/proc/loadavg: 4.33 4.35 4.30 6/102 16522
/proc/meminfo: memFree=2881136/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=63136 CPUtime=408
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 8783 0 0 0 40767 33 0 0 25 0 4 0 1105734600 64651264 8717 4294967295 134512640 135305190 3214660848 3214659024 134528341 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 15784 8717 79 194 0 15588 0
[pid=16324/tid=16325] ppid=16321 vsize=63136 CPUtime=102.06
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 1413 0 0 0 10199 7 0 0 25 0 4 0 1105734603 64651264 8717 4294967295 134512640 135305190 3214660848 3086331072 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=63136 CPUtime=102.13
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 1625 0 0 0 10203 10 0 0 25 0 4 0 1105734603 64651264 8717 4294967295 134512640 135305190 3214660848 3077942144 134553387 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=63136 CPUtime=101.69
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 2575 0 0 0 10160 9 0 0 25 0 4 0 1105734603 64651264 8717 4294967295 134512640 135305190 3214660848 3069553856 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 65556

[startup+162.308 s]
/proc/loadavg: 4.34 4.35 4.30 5/102 16711
/proc/meminfo: memFree=2873936/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=70636 CPUtime=647.19
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 10526 0 0 0 64662 57 0 0 25 0 4 0 1105734600 72331264 10460 4294967295 134512640 135305190 3214660848 3214659024 134528501 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/16324/statm: 17659 10460 79 194 0 17463 0
[pid=16324/tid=16325] ppid=16321 vsize=70636 CPUtime=161.98

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


[startup+522.31 s]
/proc/loadavg: 4.47 4.45 4.36 5/102 17843
/proc/meminfo: memFree=2849260/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=94628 CPUtime=2083.12
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 16563 0 0 0 208177 135 0 0 25 0 4 0 1105734600 96899072 16482 4294967295 134512640 135305190 3214660848 3214659024 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16324/statm: 23657 16482 79 194 0 23461 0
[pid=16324/tid=16325] ppid=16321 vsize=94628 CPUtime=521.26
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 2851 0 0 0 52104 22 0 0 25 0 4 0 1105734603 96899072 16482 4294967295 134512640 135305190 3214660848 3086331072 134530579 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=94628 CPUtime=521.33
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 3537 0 0 0 52101 32 0 0 25 0 4 0 1105734603 96899072 16482 4294967295 134512640 135305190 3214660848 3077942464 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=94628 CPUtime=520.92
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 5367 0 0 0 52039 53 0 0 25 0 4 0 1105734603 96899072 16482 4294967295 134512640 135305190 3214660848 3069553584 134557493 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2083.27
Current children cumulated vsize (KiB) 97048

[startup+582.305 s]
/proc/loadavg: 4.36 4.43 4.35 5/102 18030
/proc/meminfo: memFree=2840456/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=105600 CPUtime=2322.67
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 19096 0 0 0 232126 141 0 0 25 0 4 0 1105734600 108134400 19015 4294967295 134512640 135305190 3214660848 3214659024 134528418 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16324/statm: 26400 19015 79 194 0 26204 0
[pid=16324/tid=16325] ppid=16321 vsize=105600 CPUtime=581.19
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 3298 0 0 0 58096 23 0 0 25 0 4 0 1105734603 108134400 19015 4294967295 134512640 135305190 3214660848 3086331072 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=105600 CPUtime=581.28
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 4224 0 0 0 58094 34 0 0 25 0 4 0 1105734603 108134400 19015 4294967295 134512640 135305190 3214660848 3077942464 134528515 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=105600 CPUtime=580.73
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 6142 0 0 0 58018 55 0 0 25 0 4 0 1105734603 108134400 19015 4294967295 134512640 135305190 3214660848 3069553856 134528771 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2322.82
Current children cumulated vsize (KiB) 108020

[startup+642.31 s]
/proc/loadavg: 4.22 4.38 4.34 5/102 18217
/proc/meminfo: memFree=2836372/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=107672 CPUtime=2562.06
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 19693 0 0 0 256052 154 0 0 25 0 4 0 1105734600 110256128 19612 4294967295 134512640 135305190 3214660848 3214659024 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16324/statm: 26918 19612 79 194 0 26722 0
[pid=16324/tid=16325] ppid=16321 vsize=107672 CPUtime=640.98
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 3366 0 0 0 64066 32 0 0 25 0 4 0 1105734603 110256128 19612 4294967295 134512640 135305190 3214660848 3086331072 134528277 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=107672 CPUtime=641.09
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 4388 0 0 0 64073 36 0 0 25 0 4 0 1105734603 110256128 19612 4294967295 134512640 135305190 3214660848 3077942352 134538136 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=107672 CPUtime=640.6
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 6421 0 0 0 64003 57 0 0 25 0 4 0 1105734603 110256128 19612 4294967295 134512640 135305190 3214660848 3069553856 134528501 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562.21
Current children cumulated vsize (KiB) 110092

[startup+702.315 s]
/proc/loadavg: 4.59 4.46 4.37 5/102 18409
/proc/meminfo: memFree=2835612/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=108188 CPUtime=2801.38
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 19816 0 0 0 279977 161 0 0 25 0 4 0 1105734600 110784512 19735 4294967295 134512640 135305190 3214660848 3214659024 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/16324/statm: 27047 19735 79 194 0 26851 0
[pid=16324/tid=16325] ppid=16321 vsize=108188 CPUtime=700.77
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 3411 0 0 0 70042 35 0 0 25 0 4 0 1105734603 110784512 19735 4294967295 134512640 135305190 3214660848 3086331072 134528548 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=108188 CPUtime=701.07
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 4466 0 0 0 70070 37 0 0 25 0 4 0 1105734603 110784512 19735 4294967295 134512640 135305190 3214660848 3077942464 134528536 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=108188 CPUtime=700.59
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 6421 0 0 0 70000 59 0 0 25 0 4 0 1105734603 110784512 19735 4294967295 134512640 135305190 3214660848 3069553856 134528277 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.53
Current children cumulated vsize (KiB) 110608

[startup+762.311 s]
/proc/loadavg: 4.46 4.45 4.37 6/102 18602
/proc/meminfo: memFree=2833232/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=111052 CPUtime=3040.63
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 20609 0 0 0 303889 174 0 0 25 0 4 0 1105734600 113717248 20528 4294967295 134512640 135305190 3214660848 3214659024 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 27763 20528 79 194 0 27567 0
[pid=16324/tid=16325] ppid=16321 vsize=111052 CPUtime=760.56
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 3790 0 0 0 76017 39 0 0 25 0 4 0 1105734603 113717248 20528 4294967295 134512640 135305190 3214660848 3086331072 134528376 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=111052 CPUtime=761.05
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 4606 0 0 0 76066 39 0 0 25 0 4 0 1105734603 113717248 20528 4294967295 134512640 135305190 3214660848 3077942464 134528536 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=111052 CPUtime=760.49
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 6563 0 0 0 75987 62 0 0 25 0 4 0 1105734603 113717248 20528 4294967295 134512640 135305190 3214660848 3069553584 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.78
Current children cumulated vsize (KiB) 113472

[startup+822.306 s]
/proc/loadavg: 4.49 4.47 4.38 5/102 18789
/proc/meminfo: memFree=2831340/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=113772 CPUtime=3279.8
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 20968 0 0 0 327792 188 0 0 25 0 4 0 1105734600 116502528 20887 4294967295 134512640 135305190 3214660848 3214659024 134528576 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 28443 20887 79 194 0 28247 0
[pid=16324/tid=16325] ppid=16321 vsize=113772 CPUtime=820.04
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 3806 0 0 0 81962 42 0 0 25 0 4 0 1105734603 116502528 20887 4294967295 134512640 135305190 3214660848 3086331072 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=113772 CPUtime=820.91
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 4620 0 0 0 82048 43 0 0 25 0 4 0 1105734603 116502528 20887 4294967295 134512640 135305190 3214660848 3077942144 134555084 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=113772 CPUtime=820.42
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 6721 0 0 0 81975 67 0 0 25 0 4 0 1105734603 116502528 20887 4294967295 134512640 135305190 3214660848 3069553856 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.95
Current children cumulated vsize (KiB) 116192

[startup+882.311 s]
/proc/loadavg: 4.45 4.46 4.37 5/102 18976
/proc/meminfo: memFree=2829304/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=114852 CPUtime=3519.13
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 21216 0 0 0 351710 203 0 0 25 0 4 0 1105734600 117608448 21135 4294967295 134512640 135305190 3214660848 3214659024 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 28713 21135 79 194 0 28517 0
[pid=16324/tid=16325] ppid=16321 vsize=114852 CPUtime=879.81
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 3806 0 0 0 87936 45 0 0 25 0 4 0 1105734603 117608448 21135 4294967295 134512640 135305190 3214660848 3086331072 134528431 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=114852 CPUtime=880.76
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 4664 0 0 0 88029 47 0 0 25 0 4 0 1105734603 117608448 21135 4294967295 134512640 135305190 3214660848 3077942464 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=114852 CPUtime=880.31
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 6925 0 0 0 87963 68 0 0 25 0 4 0 1105734603 117608448 21135 4294967295 134512640 135305190 3214660848 3069553856 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.28
Current children cumulated vsize (KiB) 117272

[startup+942.307 s]
/proc/loadavg: 4.55 4.48 4.38 5/102 19163
/proc/meminfo: memFree=2829668/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=115284 CPUtime=3758.65
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 21313 0 0 0 375654 211 0 0 25 0 4 0 1105734600 118050816 21232 4294967295 134512640 135305190 3214660848 3214658752 134556770 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 28821 21232 79 194 0 28625 0
[pid=16324/tid=16325] ppid=16321 vsize=115284 CPUtime=939.79
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 3896 0 0 0 93933 46 0 0 25 0 4 0 1105734603 118050816 21232 4294967295 134512640 135305190 3214660848 3086331072 134528237 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=115284 CPUtime=940.74
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 4665 0 0 0 94026 48 0 0 25 0 4 0 1105734603 118050816 21232 4294967295 134512640 135305190 3214660848 3077942080 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=115284 CPUtime=940.13
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 6925 0 0 0 93943 70 0 0 25 0 4 0 1105734603 118050816 21232 4294967295 134512640 135305190 3214660848 3069553584 134557493 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.8
Current children cumulated vsize (KiB) 117704



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.47 4.46 4.38 5/102 19352
/proc/meminfo: memFree=2829124/3368532 swapFree=1952996/1959888
[pid=16321] ppid=16319 vsize=2420 CPUtime=0.15
/proc/16321/stat : 16321 (manysat.sh) S 16319 16321 21691 0 -1 4194304 368 1301 0 0 1 0 13 1 17 0 1 0 1105734586 2478080 273 4294967295 134512640 135169312 3216843440 3216839656 3085741806 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/16321/statm: 605 273 231 161 0 44 0
[pid=16324] ppid=16321 vsize=116360 CPUtime=3989.02
/proc/16324/stat : 16324 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202496 21669 0 0 0 398682 220 0 0 25 0 4 0 1105734600 119152640 21588 4294967295 134512640 135305190 3214660848 3214659024 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/16324/statm: 29090 21588 79 194 0 28894 0
[pid=16324/tid=16325] ppid=16321 vsize=116360 CPUtime=997.45
/proc/16324/task/16325/stat : 16325 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 4072 0 0 0 99699 46 0 0 25 0 4 0 1105734603 119152640 21588 4294967295 134512640 135305190 3214660848 3086330800 134556748 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=16324/tid=16326] ppid=16321 vsize=116360 CPUtime=998.39
/proc/16324/task/16326/stat : 16326 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 4726 0 0 0 99789 50 0 0 25 0 4 0 1105734603 119152640 21588 4294967295 134512640 135305190 3214660848 3077942464 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=16324/tid=16327] ppid=16321 vsize=116360 CPUtime=997.62
/proc/16324/task/16327/stat : 16327 (manysat1.1_stat) R 16321 16321 21691 0 -1 4202560 6954 0 0 0 99690 72 0 0 25 0 4 0 1105734603 119152640 21588 4294967295 134512640 135305190 3214660848 3069553856 134528854 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3989.17
Current children cumulated vsize (KiB) 118780

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1000.04
CPU time (s): 3989.24
CPU user time (s): 3987.03
CPU system time (s): 2.21
CPU usage (%): 398.909
Max. virtual memory (cumulated for all children) (KiB): 118780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3987.03
system time used= 2.21
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23615
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= 4654
involuntary context switches= 179031

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-28 15:06:13
IDJOB=1778866
IDBENCH=70775
IDSOLVER=620
FILE ID=tipi45/1778866-1243515973
PBS_JOBID=
Free space on /tmp= 15501 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778866-1243515973/watcher-1778866-1243515973 -o /tmp/evaluation-result-1778866-1243515973/solver-1778866-1243515973 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1778866-1243515973.cnf aimd 0

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

MD5SUM BENCH= 8d76aa747359ea8ccf15726792949452
RANDOM SEED= 1114927929

Linux tipi45 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.081
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.41
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.081
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.081
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.081
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2915528 kB
Buffers:        137464 kB
Cached:         208380 kB
SwapCached:       2100 kB
Active:          87388 kB
Inactive:       267812 kB
HighTotal:     2489216 kB
HighFree:      2268436 kB
LowTotal:       879316 kB
LowFree:        647092 kB
SwapTotal:     1959888 kB
SwapFree:      1952996 kB
Dirty:            2112 kB
Writeback:           0 kB
AnonPages:        8432 kB
Mapped:           3392 kB
Slab:            85620 kB
SReclaimable:    74216 kB
SUnreclaim:      11404 kB
PageTables:        560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    89600 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15501 MiB
End job on tipi45 at 2009-05-28 15:22:53