Trace number 1776871

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)UNSAT 2799.14 701.217

General information on the benchmark

Namealoul-chnl11-13.cnf
MD5SUMc7162bc1ddb6d2592f237fef1b04b5ce
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.39
Satisfiable
(Un)Satisfiability was proved
Number of variables286
Number of clauses1742
Sum of the clauses size3718
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21716
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

Solver Data 

0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    1742     3718 |     522       0        0     nan |  0.000 % |
0.00/0.00	c |         0 |    1716     6240 |      --       0       --      -- |     --   | -26/2522
0.00/0.00	c ==============================================================================
0.00/0.00	c Result  :   #vars: 260   #clauses: 1716   #literals: 6240
0.00/0.00	c CPU time:   0 s
0.00/0.00	c ==============================================================================
2798.77/701.20	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
2798.77/701.20	c ============================[ Problem Statistics ]=============================
2798.77/701.20	c |                                                                             |
2798.77/701.20	c threadId              : 2
2798.77/701.20	c restarts              : 28
2798.77/701.20	c conflicts             : 11391854       (4073 /sec)
2798.77/701.20	c decisions             : 13431834       (1.84 % random) (4802 /sec)
2798.77/701.20	c propagations          : 140502268      (50236 /sec)
2798.77/701.20	c conflict literals     : 554707749      (5.42 % deleted)
2798.77/701.20	c Memory used           : 261.56 MB
2798.77/701.20	c CPU time              : 2796.86 s
2798.77/701.20	
2798.77/701.20	c --->m=4, e=8, aimd=0, HOME/21227_many.cnf	time: 699.215	conflicts: 11391854     
2799.14/701.21	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1776871-1243513856/watcher-1776871-1243513856 -o /tmp/evaluation-result-1776871-1243513856/solver-1776871-1243513856 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776871-1243513856.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.39 4.44 4.42 3/96 21227
/proc/meminfo: memFree=2946752/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2416 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1105486774 2473984 273 4294967295 134512640 135169312 3218247792 3218246328 3085512430 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/21227/statm: 604 273 231 161 0 43 0
[pid=21228] ppid=21227 vsize=900 CPUtime=0
/proc/21228/stat : 21228 (SatElite) R 21227 21227 1628 0 -1 4202496 196 0 0 0 0 0 0 0 18 0 1 0 1105486775 921600 133 4294967295 134512640 135034092 3218649232 3218645552 134675816 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21228/statm: 225 133 67 128 0 95 0

[startup+0.039043 s]
/proc/loadavg: 4.39 4.44 4.42 3/96 21227
/proc/meminfo: memFree=2946752/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2420

[startup+0.136799 s]
/proc/loadavg: 4.39 4.44 4.42 3/96 21227
/proc/meminfo: memFree=2946752/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2420

[startup+0.679149 s]
/proc/loadavg: 4.39 4.44 4.42 3/96 21227
/proc/meminfo: memFree=2946752/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2420

[startup+0.779141 s]
/proc/loadavg: 4.39 4.44 4.42 3/96 21227
/proc/meminfo: memFree=2946752/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2420

[startup+1.51909 s]
/proc/loadavg: 4.43 4.45 4.42 6/101 21234
/proc/meminfo: memFree=2937956/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=38960 CPUtime=5.89
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 2865 0 0 0 586 3 0 0 16 0 4 0 1105486775 39895040 2797 4294967295 134512640 135305190 3216277120 3216275296 134528376 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 9740 2797 79 194 0 9544 0
[pid=21230/tid=21231] ppid=21227 vsize=38960 CPUtime=1.44
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 647 0 0 0 142 2 0 0 19 0 4 0 1105486776 39895040 2797 4294967295 134512640 135305190 3216277120 3086175424 134528406 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=38960 CPUtime=1.48
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 602 0 0 0 147 1 0 0 16 0 4 0 1105486776 39895040 2797 4294967295 134512640 135305190 3216277120 3077786816 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=38960 CPUtime=1.45
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 719 0 0 0 145 0 0 0 16 0 4 0 1105486776 39895040 2797 4294967295 134512640 135305190 3216277120 3069398208 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 41380

[startup+3.10899 s]
/proc/loadavg: 4.43 4.45 4.42 7/101 21234
/proc/meminfo: memFree=2929420/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=51216 CPUtime=12.25
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 5907 0 0 0 1219 6 0 0 17 0 4 0 1105486775 52445184 5839 4294967295 134512640 135305190 3216277120 3216275296 134528248 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 12804 5839 79 194 0 12608 0
[pid=21230/tid=21231] ppid=21227 vsize=51216 CPUtime=3.03
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 1193 0 0 0 300 3 0 0 23 0 4 0 1105486776 52445184 5839 4294967295 134512640 135305190 3216277120 3086175424 134528428 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=51216 CPUtime=3.07
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 1249 0 0 0 305 2 0 0 15 0 4 0 1105486776 52445184 5839 4294967295 134512640 135305190 3216277120 3077786496 134554737 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=51216 CPUtime=3.04
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 1755 0 0 0 303 1 0 0 16 0 4 0 1105486776 52445184 5839 4294967295 134512640 135305190 3216277120 3069398208 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 53636

[startup+6.30877 s]
/proc/loadavg: 4.43 4.45 4.42 6/101 21235
/proc/meminfo: memFree=2912592/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=64568 CPUtime=25.04
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 9200 0 0 0 2496 8 0 0 21 0 4 0 1105486775 66117632 9132 4294967295 134512640 135305190 3216277120 3216275296 134528136 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 16142 9132 79 194 0 15946 0
[pid=21230/tid=21231] ppid=21227 vsize=64568 CPUtime=6.23
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 1736 0 0 0 620 3 0 0 24 0 4 0 1105486776 66117632 9132 4294967295 134512640 135305190 3216277120 3086175312 134538611 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=64568 CPUtime=6.27
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 2178 0 0 0 624 3 0 0 15 0 4 0 1105486776 66117632 9132 4294967295 134512640 135305190 3216277120 3077786884 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=64568 CPUtime=6.23
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 2859 0 0 0 621 2 0 0 18 0 4 0 1105486776 66117632 9132 4294967295 134512640 135305190 3216277120 3069398276 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 66988

[startup+12.7083 s]
/proc/loadavg: 4.52 4.46 4.42 6/101 21236
/proc/meminfo: memFree=2903660/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=72936 CPUtime=50.61
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 11107 0 0 0 5051 10 0 0 25 0 4 0 1105486775 74686464 11039 4294967295 134512640 135305190 3216277120 3216275296 134528402 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 18234 11039 79 194 0 18038 0
[pid=21230/tid=21231] ppid=21227 vsize=72936 CPUtime=12.62
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 2399 0 0 0 1258 4 0 0 25 0 4 0 1105486776 74686464 11039 4294967295 134512640 135305190 3216277120 3086175424 134528418 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=72936 CPUtime=12.65
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 2458 0 0 0 1261 4 0 0 16 0 4 0 1105486776 74686464 11039 4294967295 134512640 135305190 3216277120 3077786816 134528418 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=72936 CPUtime=12.63
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 3566 0 0 0 1261 2 0 0 25 0 4 0 1105486776 74686464 11039 4294967295 134512640 135305190 3216277120 3069398208 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 75356

[startup+25.5175 s]
/proc/loadavg: 4.52 4.47 4.42 5/101 21236
/proc/meminfo: memFree=2893960/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=84020 CPUtime=101.82
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 13546 0 0 0 10171 11 0 0 25 0 4 0 1105486775 86036480 13478 4294967295 134512640 135305190 3216277120 3216275296 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 21005 13478 79 194 0 20809 0
[pid=21230/tid=21231] ppid=21227 vsize=84020 CPUtime=25.41
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 2614 0 0 0 2537 4 0 0 25 0 4 0 1105486776 86036480 13478 4294967295 134512640 135305190 3216277120 3086175424 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=84020 CPUtime=25.46
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 3295 0 0 0 2541 5 0 0 25 0 4 0 1105486776 86036480 13478 4294967295 134512640 135305190 3216277120 3077786816 134528397 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=84020 CPUtime=25.43
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 4428 0 0 0 2541 2 0 0 25 0 4 0 1105486776 86036480 13478 4294967295 134512640 135305190 3216277120 3069398208 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 86440

[startup+51.1157 s]
/proc/loadavg: 4.47 4.46 4.42 5/101 21420
/proc/meminfo: memFree=2878752/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=99384 CPUtime=203.91
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 17390 0 0 0 20367 24 0 0 25 0 4 0 1105486775 101769216 17282 4294967295 134512640 135305190 3216277120 3216275296 134528402 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 24846 17282 79 194 0 24650 0
[pid=21230/tid=21231] ppid=21227 vsize=99384 CPUtime=50.9
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 3622 0 0 0 5083 7 0 0 25 0 4 0 1105486776 101769216 17282 4294967295 134512640 135305190 3216277120 3086175424 134528406 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=99384 CPUtime=50.95
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 4373 0 0 0 5086 9 0 0 25 0 4 0 1105486776 101769216 17282 4294967295 134512640 135305190 3216277120 3077786816 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=99384 CPUtime=50.98
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 5836 0 0 0 5093 5 0 0 25 0 4 0 1105486776 101769216 17282 4294967295 134512640 135305190 3216277120 3069398208 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 101804

[startup+102.312 s]
/proc/loadavg: 4.24 4.39 4.40 5/101 21612
/proc/meminfo: memFree=2857152/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=123240 CPUtime=408.18
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 22597 0 0 0 40777 41 0 0 25 0 4 0 1105486775 126197760 22449 4294967295 134512640 135305190 3216277120 3216275296 134528310 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 30810 22449 79 194 0 30614 0
[pid=21230/tid=21231] ppid=21227 vsize=123240 CPUtime=101.84
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 4320 0 0 0 10173 11 0 0 25 0 4 0 1105486776 126197760 22449 4294967295 134512640 135305190 3216277120 3086175424 134528777 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=123240 CPUtime=101.94
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 4981 0 0 0 10180 14 0 0 25 0 4 0 1105486776 126197760 22449 4294967295 134512640 135305190 3216277120 3077786816 134528875 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=123240 CPUtime=102.18
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 9031 0 0 0 10208 10 0 0 25 0 4 0 1105486776 126197760 22449 4294967295 134512640 135305190 3216277120 3069398208 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 125660

[startup+162.318 s]
/proc/loadavg: 4.16 4.34 4.38 5/101 21801
/proc/meminfo: memFree=2841420/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=137696 CPUtime=647.69
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 26077 0 0 0 64714 55 0 0 25 0 4 0 1105486775 141000704 25929 4294967295 134512640 135305190 3216277120 3216275144 134695249 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 34424 25929 79 194 0 34228 0
[pid=21230/tid=21231] ppid=21227 vsize=137696 CPUtime=161.84
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 4537 0 0 0 16170 14 0 0 25 0 4 0 1105486776 141000704 25929 4294967295 134512640 135305190 3216277120 3086175424 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=137696 CPUtime=161.67
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 6405 0 0 0 16152 15 0 0 25 0 4 0 1105486776 141000704 25929 4294967295 134512640 135305190 3216277120 3077786664 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=137696 CPUtime=162.04
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 10778 0 0 0 16186 18 0 0 25 0 4 0 1105486776 141000704 25929 4294967295 134512640 135305190 3216277120 3069398208 134528310 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.69

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

/proc/loadavg: 4.50 4.42 4.38 5/101 23309
/proc/meminfo: memFree=2736276/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=263096 CPUtime=2658.13
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 53052 0 0 0 265594 219 0 0 25 0 4 0 1105486775 269410304 52860 4294967295 134512640 135305190 3216277120 3216275296 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 65774 52860 79 194 0 65578 0
[pid=21230/tid=21231] ppid=21227 vsize=263096 CPUtime=664.4
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 8758 0 0 0 66371 69 0 0 25 0 4 0 1105486776 269410304 52860 4294967295 134512640 135305190 3216277120 3086175424 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=263096 CPUtime=664.28
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 11147 0 0 0 66387 41 0 0 25 0 4 0 1105486776 269410304 52860 4294967295 134512640 135305190 3216277120 3077786816 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=263096 CPUtime=664.67
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 23976 0 0 0 66400 67 0 0 25 0 4 0 1105486776 269410304 52860 4294967295 134512640 135305190 3216277120 3069398208 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2658.13
Current children cumulated vsize (KiB) 265516

[startup+678.713 s]
/proc/loadavg: 4.39 4.40 4.37 5/101 23311
/proc/meminfo: memFree=2735224/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=263864 CPUtime=2709.3
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 53312 0 0 0 270708 222 0 0 25 0 4 0 1105486775 270196736 53120 4294967295 134512640 135305190 3216277120 3216275296 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 65966 53120 79 194 0 65770 0
[pid=21230/tid=21231] ppid=21227 vsize=263864 CPUtime=677.2
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 8767 0 0 0 67649 71 0 0 25 0 4 0 1105486776 270196736 53120 4294967295 134512640 135305190 3216277120 3086175424 134528286 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=263864 CPUtime=677.08
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 11211 0 0 0 67667 41 0 0 25 0 4 0 1105486776 270196736 53120 4294967295 134512640 135305190 3216277120 3077786496 134552865 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=263864 CPUtime=677.47
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 24153 0 0 0 67679 68 0 0 25 0 4 0 1105486776 270196736 53120 4294967295 134512640 135305190 3216277120 3069398208 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2709.3
Current children cumulated vsize (KiB) 266284

[startup+691.512 s]
/proc/loadavg: 4.48 4.42 4.37 6/101 23313
/proc/meminfo: memFree=2734164/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=265684 CPUtime=2760.42
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 53685 0 0 0 275819 223 0 0 25 0 4 0 1105486775 272060416 53493 4294967295 134512640 135305190 3216277120 3216275296 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 66421 53493 79 194 0 66225 0
[pid=21230/tid=21231] ppid=21227 vsize=265684 CPUtime=690
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 8767 0 0 0 68929 71 0 0 25 0 4 0 1105486776 272060416 53493 4294967295 134512640 135305190 3216277120 3086175424 134528771 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=265684 CPUtime=689.88
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 11260 0 0 0 68946 42 0 0 25 0 4 0 1105486776 272060416 53493 4294967295 134512640 135305190 3216277120 3077786432 134551681 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=265684 CPUtime=690.27
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 24473 0 0 0 68959 68 0 0 25 0 4 0 1105486776 272060416 53493 4294967295 134512640 135305190 3216277120 3069398208 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2760.42
Current children cumulated vsize (KiB) 268104

[startup+697.912 s]
/proc/loadavg: 4.41 4.41 4.37 5/101 23313
/proc/meminfo: memFree=2733544/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=266220 CPUtime=2786
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 53797 0 0 0 278377 223 0 0 25 0 4 0 1105486775 272609280 53605 4294967295 134512640 135305190 3216277120 3216275296 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 66555 53605 79 194 0 66359 0
[pid=21230/tid=21231] ppid=21227 vsize=266220 CPUtime=696.4
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 8809 0 0 0 69569 71 0 0 25 0 4 0 1105486776 272609280 53605 4294967295 134512640 135305190 3216277120 3086175424 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=266220 CPUtime=696.28
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 11260 0 0 0 69586 42 0 0 25 0 4 0 1105486776 272609280 53605 4294967295 134512640 135305190 3216277120 3077786816 134528277 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=266220 CPUtime=696.67
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 24543 0 0 0 69599 68 0 0 25 0 4 0 1105486776 272609280 53605 4294967295 134512640 135305190 3216277120 3069398208 134528263 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2786
Current children cumulated vsize (KiB) 268640

[startup+699.512 s]
/proc/loadavg: 4.41 4.41 4.37 5/101 23313
/proc/meminfo: memFree=2733420/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=267672 CPUtime=2792.39
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 53951 0 0 0 279014 225 0 0 25 0 4 0 1105486775 274096128 53759 4294967295 134512640 135305190 3216277120 3216275296 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 66918 53759 79 194 0 66722 0
[pid=21230/tid=21231] ppid=21227 vsize=267672 CPUtime=698
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 8809 0 0 0 69729 71 0 0 25 0 4 0 1105486776 274096128 53759 4294967295 134512640 135305190 3216277120 3086175424 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=267672 CPUtime=697.88
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 11340 0 0 0 69745 43 0 0 25 0 4 0 1105486776 274096128 53759 4294967295 134512640 135305190 3216277120 3077786816 134530607 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=267672 CPUtime=698.27
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 24617 0 0 0 69758 69 0 0 25 0 4 0 1105486776 274096128 53759 4294967295 134512640 135305190 3216277120 3069398208 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2792.39
Current children cumulated vsize (KiB) 270092

[startup+700.312 s]
/proc/loadavg: 4.41 4.41 4.37 6/101 23313
/proc/meminfo: memFree=2732976/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=267672 CPUtime=2795.59
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 54007 0 0 0 279334 225 0 0 25 0 4 0 1105486775 274096128 53815 4294967295 134512640 135305190 3216277120 3216275296 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 66918 53815 79 194 0 66722 0
[pid=21230/tid=21231] ppid=21227 vsize=267672 CPUtime=698.8
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 8809 0 0 0 69809 71 0 0 25 0 4 0 1105486776 274096128 53815 4294967295 134512640 135305190 3216277120 3086175424 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=267672 CPUtime=698.68
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 11366 0 0 0 69825 43 0 0 25 0 4 0 1105486776 274096128 53815 4294967295 134512640 135305190 3216277120 3077786704 134538524 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=267672 CPUtime=699.07
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 24647 0 0 0 69838 69 0 0 25 0 4 0 1105486776 274096128 53815 4294967295 134512640 135305190 3216277120 3069398208 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2795.59
Current children cumulated vsize (KiB) 270092

[startup+700.712 s]
/proc/loadavg: 4.41 4.41 4.37 6/101 23313
/proc/meminfo: memFree=2732976/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=267832 CPUtime=2797.17
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 54041 0 0 0 279491 226 0 0 25 0 4 0 1105486775 274259968 53849 4294967295 134512640 135305190 3216277120 3216275296 134528376 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 66958 53849 79 194 0 66762 0
[pid=21230/tid=21231] ppid=21227 vsize=267832 CPUtime=699.2
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 8809 0 0 0 69849 71 0 0 25 0 4 0 1105486776 274259968 53849 4294967295 134512640 135305190 3216277120 3086175424 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=267832 CPUtime=699.08
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 11366 0 0 0 69865 43 0 0 25 0 4 0 1105486776 274259968 53849 4294967295 134512640 135305190 3216277120 3077786496 134554408 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=267832 CPUtime=699.47
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 24681 0 0 0 69877 70 0 0 25 0 4 0 1105486776 274259968 53849 4294967295 134512640 135305190 3216277120 3069398208 134528539 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2797.17
Current children cumulated vsize (KiB) 270252

[startup+701.112 s]
/proc/loadavg: 4.41 4.41 4.37 5/101 23313
/proc/meminfo: memFree=2732800/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=267832 CPUtime=2798.77
/proc/21230/stat : 21230 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202496 54042 0 0 0 279650 227 0 0 25 0 4 0 1105486775 274259968 53850 4294967295 134512640 135305190 3216277120 3216275408 134565634 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 66958 53850 79 194 0 66762 0
[pid=21230/tid=21231] ppid=21227 vsize=267832 CPUtime=699.6
/proc/21230/task/21231/stat : 21231 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 8809 0 0 0 69889 71 0 0 25 0 4 0 1105486776 274259968 53850 4294967295 134512640 135305190 3216277120 3086175424 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21230/tid=21232] ppid=21227 vsize=267832 CPUtime=699.48
/proc/21230/task/21232/stat : 21232 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 11367 0 0 0 69905 43 0 0 25 0 4 0 1105486776 274259968 53850 4294967295 134512640 135305190 3216277120 3077786816 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=267832 CPUtime=699.87
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4202560 24681 0 0 0 69916 71 0 0 25 0 4 0 1105486776 274259968 53850 4294967295 134512640 135305190 3216277120 3069398208 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2798.77
Current children cumulated vsize (KiB) 270252

[startup+701.212 s]
/proc/loadavg: 4.41 4.41 4.37 5/101 23313
/proc/meminfo: memFree=2732800/3368532 swapFree=1954076/1959888
[pid=21227] ppid=21225 vsize=2420 CPUtime=0
/proc/21227/stat : 21227 (manysat.sh) S 21225 21227 1628 0 -1 4194304 370 201 0 0 0 0 0 0 18 0 1 0 1105486774 2478080 275 4294967295 134512640 135169312 3218247792 3218244008 3085512430 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21227/statm: 605 275 231 161 0 44 0
[pid=21230] ppid=21227 vsize=0 CPUtime=2799.14
/proc/21230/stat : 21230 (manysat1.1_stat) Z 21227 21227 1628 0 -1 4202500 54060 0 0 0 279686 228 0 0 25 0 2 0 1105486775 0 0 4294967295 0 0 0 0 0 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21230/statm: 0 0 0 0 0 0 0
[pid=21230/tid=21233] ppid=21227 vsize=0 CPUtime=699.97
/proc/21230/task/21233/stat : 21233 (manysat1.1_stat) R 21227 21227 1628 0 -1 4203588 24681 0 0 0 69925 72 0 0 25 0 2 0 1105486776 0 0 4294967295 0 0 0 0 0 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2799.14
Current children cumulated vsize (KiB) 2420

Child status: 20

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21227 and gives
#  childrusage.ru_utime.tv_sec=2796
#  childrusage.ru_utime.tv_usec=860000
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=280000
# CPU time returned by wait4() is 2799.14
# while last known CPU time is 2799.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 701.217
CPU time (s): 2799.14
CPU user time (s): 2796.86
CPU system time (s): 2.28
CPU usage (%): 399.183
Max. virtual memory (cumulated for all children) (KiB): 270252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2796.86
system time used= 2.28
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54904
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= 9978
involuntary context switches= 125583

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-28 14:30:56
IDJOB=1776871
IDBENCH=69602
IDSOLVER=620
FILE ID=tipi44/1776871-1243513856
PBS_JOBID=
Free space on /tmp= 15894 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT_RACE08/cnf/aloul-chnl11-13.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776871-1243513856/watcher-1776871-1243513856 -o /tmp/evaluation-result-1776871-1243513856/solver-1776871-1243513856 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1776871-1243513856.cnf aimd 0

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

MD5SUM BENCH= c7162bc1ddb6d2592f237fef1b04b5ce
RANDOM SEED= 1599592192

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:       2947196 kB
Buffers:        140480 kB
Cached:         173660 kB
SwapCached:       2180 kB
Active:         104244 kB
Inactive:       219692 kB
HighTotal:     2489216 kB
HighFree:      2303724 kB
LowTotal:       879316 kB
LowFree:        643472 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            1516 kB
Writeback:           0 kB
AnonPages:        8892 kB
Mapped:           3500 kB
Slab:            87280 kB
SReclaimable:    77112 kB
SUnreclaim:      10168 kB
PageTables:        528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88084 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15893 MiB
End job on tipi44 at 2009-05-28 14:42:38