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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
MD5SUMed503628984a48598e5d5a4b8388e97a
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 4250
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4250
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4250
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables4250
Total number of constraints68397
Number of constraints which are clauses68397
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint17

Trace number 7654

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-20 13:17:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4813 boxname=wulflinc17 idbench=125 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc17/normalized-g125.17.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4813
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        883720 kB
Buffers:         30212 kB
Cached:          91372 kB
SwapCached:        612 kB
Active:          39692 kB
Inactive:        84396 kB
HighTotal:      131008 kB
HighFree:        35588 kB
LowTotal:       903652 kB
LowFree:        848132 kB
SwapTotal:     2097892 kB
SwapFree:      2096676 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            21124 kB
Committed_AS:    64320 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 13:38:00 (client local time) WITH STATUS 0 IN 1209.69 SECONDS
stats: 4813 7 1209.69 0

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1858859847 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21826/statm): 41 3 40 18 0 23 0
[pid=21826] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0034 s]
Raw data (loadavg): 0.44 0.18 0.06 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 2928 0 0 0 988 7 0 0 25 0 1 0 1858859847 14090240 2894 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21826/statm): 3440 2894 566 18 0 3422 0
[pid=21826] vsize: 13760
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 13760

[startup+20.004 s]
Raw data (loadavg): 0.52 0.21 0.07 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 3274 0 0 0 1986 8 0 0 25 0 1 0 1858859847 15392768 3240 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 3758 3240 566 18 0 3740 0
[pid=21826] vsize: 15032
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 15032

[startup+30.0046 s]
Raw data (loadavg): 0.60 0.23 0.08 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 4487 0 0 0 2982 11 0 0 25 0 1 0 1858859847 20398080 4453 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 4980 4453 566 18 0 4962 0
[pid=21826] vsize: 19920
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 19920

[startup+40.0052 s]
Raw data (loadavg): 0.66 0.26 0.09 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 5579 0 0 0 3978 14 0 0 25 0 1 0 1858859847 24887296 5545 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 6076 5545 566 18 0 6058 0
[pid=21826] vsize: 24304
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 24304

[startup+50.0058 s]
Raw data (loadavg): 0.71 0.28 0.10 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 6585 0 0 0 4974 18 0 0 25 0 1 0 1858859847 28966912 6551 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 7072 6551 566 18 0 7054 0
[pid=21826] vsize: 28288
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (Kb) 28288

[startup+60.0064 s]
Raw data (loadavg): 0.75 0.30 0.11 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 7594 0 0 0 5970 21 0 0 25 0 1 0 1858859847 33210368 7560 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 8108 7560 566 18 0 8090 0
[pid=21826] vsize: 32432
Current children cumulated CPU time (s) 59.91
Current children cumulated vsize (Kb) 32432

[startup+70.007 s]
Raw data (loadavg): 0.79 0.33 0.12 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 8555 0 0 0 6967 23 0 0 25 0 1 0 1858859847 37163008 8521 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 9073 8521 566 18 0 9055 0
[pid=21826] vsize: 36292
Current children cumulated CPU time (s) 69.9
Current children cumulated vsize (Kb) 36292

[startup+80.0066 s]
Raw data (loadavg): 0.82 0.35 0.13 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 9351 0 0 0 7965 25 0 0 25 0 1 0 1858859847 40407040 9317 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 9865 9317 566 18 0 9847 0
[pid=21826] vsize: 39460
Current children cumulated CPU time (s) 79.9
Current children cumulated vsize (Kb) 39460

[startup+90.0072 s]
Raw data (loadavg): 0.85 0.37 0.13 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 10372 0 0 0 8961 28 0 0 25 0 1 0 1858859847 44531712 10338 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 10872 10338 566 18 0 10854 0
[pid=21826] vsize: 43488
Current children cumulated CPU time (s) 89.89
Current children cumulated vsize (Kb) 43488

[startup+100.008 s]
Raw data (loadavg): 0.87 0.39 0.14 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 11321 0 0 0 9958 31 0 0 25 0 1 0 1858859847 48451584 11287 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 11829 11287 566 18 0 11811 0
[pid=21826] vsize: 47316
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (Kb) 47316

[startup+110.008 s]
Raw data (loadavg): 0.89 0.41 0.15 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 12121 0 0 0 10955 33 0 0 25 0 1 0 1858859847 51716096 12087 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 12626 12087 566 18 0 12608 0
[pid=21826] vsize: 50504
Current children cumulated CPU time (s) 109.88
Current children cumulated vsize (Kb) 50504

[startup+120.009 s]
Raw data (loadavg): 0.91 0.43 0.16 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 12844 0 0 0 11952 35 0 0 25 0 1 0 1858859847 54677504 12810 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 13349 12810 566 18 0 13331 0
[pid=21826] vsize: 53396
Current children cumulated CPU time (s) 119.87
Current children cumulated vsize (Kb) 53396

[startup+130.009 s]
Raw data (loadavg): 0.92 0.45 0.17 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 13554 0 0 0 12949 37 0 0 25 0 1 0 1858859847 57552896 13520 4294967295 134512640 134578447 3221224624 3221223520 134519989 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 14051 13520 566 18 0 14033 0
[pid=21826] vsize: 56204
Current children cumulated CPU time (s) 129.86
Current children cumulated vsize (Kb) 56204

[startup+140.009 s]
Raw data (loadavg): 0.93 0.46 0.18 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 14246 0 0 0 13947 39 0 0 25 0 1 0 1858859847 60407808 14212 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 14748 14212 566 18 0 14730 0
[pid=21826] vsize: 58992
Current children cumulated CPU time (s) 139.86
Current children cumulated vsize (Kb) 58992

[startup+150.01 s]
Raw data (loadavg): 0.94 0.48 0.19 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 14855 0 0 0 14945 41 0 0 25 0 1 0 1858859847 63041536 14821 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 15391 14821 566 18 0 15373 0
[pid=21826] vsize: 61564
Current children cumulated CPU time (s) 149.86
Current children cumulated vsize (Kb) 61564

[startup+160.009 s]
Raw data (loadavg): 0.95 0.50 0.19 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 15461 0 0 0 15942 42 0 0 25 0 1 0 1858859847 65531904 15427 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 15999 15427 566 18 0 15981 0
[pid=21826] vsize: 63996
Current children cumulated CPU time (s) 159.84
Current children cumulated vsize (Kb) 63996

[startup+170.01 s]
Raw data (loadavg): 0.96 0.51 0.20 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 16068 0 0 0 16939 44 0 0 25 0 1 0 1858859847 68022272 16034 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 16607 16034 566 18 0 16589 0
[pid=21826] vsize: 66428
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (Kb) 66428

[startup+180.01 s]
Raw data (loadavg): 0.96 0.53 0.21 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 16637 0 0 0 17938 46 0 0 25 0 1 0 1858859847 70332416 16603 4294967295 134512640 134578447 3221224624 3221223536 134557233 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 17171 16604 566 18 0 17153 0
[pid=21826] vsize: 68684
Current children cumulated CPU time (s) 179.84
Current children cumulated vsize (Kb) 68684

[startup+190.01 s]
Raw data (loadavg): 0.97 0.54 0.22 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 17306 0 0 0 18935 48 0 0 25 0 1 0 1858859847 73064448 17272 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 17838 17272 566 18 0 17820 0
[pid=21826] vsize: 71352
Current children cumulated CPU time (s) 189.83
Current children cumulated vsize (Kb) 71352

[startup+200.01 s]
Raw data (loadavg): 0.97 0.56 0.23 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 17917 0 0 0 19933 48 0 0 25 0 1 0 1858859847 75563008 17883 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 18448 17883 566 18 0 18430 0
[pid=21826] vsize: 73792
Current children cumulated CPU time (s) 199.81
Current children cumulated vsize (Kb) 73792

[startup+210.009 s]
Raw data (loadavg): 0.98 0.57 0.23 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 18536 0 0 0 20930 50 0 0 25 0 1 0 1858859847 78118912 18502 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 19072 18502 566 18 0 19054 0
[pid=21826] vsize: 76288
Current children cumulated CPU time (s) 209.8
Current children cumulated vsize (Kb) 76288

[startup+220.01 s]
Raw data (loadavg): 0.98 0.59 0.24 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 19293 0 0 0 21927 52 0 0 25 0 1 0 1858859847 81141760 19259 4294967295 134512640 134578447 3221224624 3221223244 1075289077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 19810 19259 566 18 0 19792 0
[pid=21826] vsize: 79240
Current children cumulated CPU time (s) 219.79
Current children cumulated vsize (Kb) 79240

[startup+230.01 s]
Raw data (loadavg): 0.98 0.60 0.25 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 19982 0 0 0 22924 55 0 0 25 0 1 0 1858859847 83992576 19948 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 20506 19948 566 18 0 20488 0
[pid=21826] vsize: 82024
Current children cumulated CPU time (s) 229.79
Current children cumulated vsize (Kb) 82024

[startup+240.01 s]
Raw data (loadavg): 0.98 0.61 0.26 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 20639 0 0 0 23922 57 0 0 25 0 1 0 1858859847 86650880 20605 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 21155 20605 566 18 0 21137 0
[pid=21826] vsize: 84620
Current children cumulated CPU time (s) 239.79
Current children cumulated vsize (Kb) 84620

[startup+250.011 s]
Raw data (loadavg): 0.99 0.62 0.26 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 21245 0 0 0 24920 58 0 0 25 0 1 0 1858859847 89235456 21211 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 21786 21211 566 18 0 21768 0
[pid=21826] vsize: 87144
Current children cumulated CPU time (s) 249.78
Current children cumulated vsize (Kb) 87144

[startup+260.01 s]
Raw data (loadavg): 0.99 0.64 0.27 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 21866 0 0 0 25918 60 0 0 25 0 1 0 1858859847 91701248 21832 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 22388 21832 566 18 0 22370 0
[pid=21826] vsize: 89552
Current children cumulated CPU time (s) 259.78
Current children cumulated vsize (Kb) 89552

[startup+270.01 s]
Raw data (loadavg): 0.99 0.65 0.28 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 22493 0 0 0 26915 63 0 0 25 0 1 0 1858859847 94257152 22459 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 23012 22459 566 18 0 22994 0
[pid=21826] vsize: 92048
Current children cumulated CPU time (s) 269.78
Current children cumulated vsize (Kb) 92048

[startup+280.01 s]
Raw data (loadavg): 0.99 0.66 0.29 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 23078 0 0 0 27913 65 0 0 25 0 1 0 1858859847 96649216 23044 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 23596 23044 566 18 0 23578 0
[pid=21826] vsize: 94384
Current children cumulated CPU time (s) 279.78
Current children cumulated vsize (Kb) 94384

[startup+290.01 s]
Raw data (loadavg): 0.99 0.67 0.29 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 23629 0 0 0 28910 66 0 0 25 0 1 0 1858859847 98926592 23595 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 24152 23595 566 18 0 24134 0
[pid=21826] vsize: 96608
Current children cumulated CPU time (s) 289.76
Current children cumulated vsize (Kb) 96608

[startup+300.01 s]
Raw data (loadavg): 0.99 0.68 0.30 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 24123 0 0 0 29908 68 0 0 25 0 1 0 1858859847 100937728 24089 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 24643 24089 566 18 0 24625 0
[pid=21826] vsize: 98572
Current children cumulated CPU time (s) 299.76
Current children cumulated vsize (Kb) 98572

[startup+310.009 s]
Raw data (loadavg): 0.99 0.69 0.31 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 24649 0 0 0 30906 70 0 0 25 0 1 0 1858859847 103104512 24615 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 25172 24615 566 18 0 25154 0
[pid=21826] vsize: 100688
Current children cumulated CPU time (s) 309.76
Current children cumulated vsize (Kb) 100688

[startup+320.009 s]
Raw data (loadavg): 0.99 0.70 0.31 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 25094 0 0 0 31904 71 0 0 25 0 1 0 1858859847 104984576 25060 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 25631 25060 566 18 0 25613 0
[pid=21826] vsize: 102524
Current children cumulated CPU time (s) 319.75
Current children cumulated vsize (Kb) 102524

[startup+330.009 s]
Raw data (loadavg): 0.99 0.71 0.32 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 25568 0 0 0 32903 72 0 0 25 0 1 0 1858859847 106881024 25534 4294967295 134512640 134578447 3221224624 3221223520 134519957 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 26094 25534 566 18 0 26076 0
[pid=21826] vsize: 104376
Current children cumulated CPU time (s) 329.75
Current children cumulated vsize (Kb) 104376

[startup+340.009 s]
Raw data (loadavg): 0.99 0.72 0.33 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 26092 0 0 0 33901 73 0 0 25 0 1 0 1858859847 109006848 26058 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 26613 26058 566 18 0 26595 0
[pid=21826] vsize: 106452
Current children cumulated CPU time (s) 339.74
Current children cumulated vsize (Kb) 106452

[startup+350.009 s]
Raw data (loadavg): 0.99 0.73 0.33 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 26577 0 0 0 34899 75 0 0 25 0 1 0 1858859847 111001600 26543 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 27100 26543 566 18 0 27082 0
[pid=21826] vsize: 108400
Current children cumulated CPU time (s) 349.74
Current children cumulated vsize (Kb) 108400

[startup+360.008 s]
Raw data (loadavg): 0.99 0.74 0.34 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 27051 0 0 0 35896 76 0 0 25 0 1 0 1858859847 113020928 27017 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 27593 27017 566 18 0 27575 0
[pid=21826] vsize: 110372
Current children cumulated CPU time (s) 359.72
Current children cumulated vsize (Kb) 110372

[startup+370.009 s]
Raw data (loadavg): 0.99 0.74 0.35 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 27622 0 0 0 36895 77 0 0 25 0 1 0 1858859847 115302400 27588 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 28150 27588 566 18 0 28132 0
[pid=21826] vsize: 112600
Current children cumulated CPU time (s) 369.72
Current children cumulated vsize (Kb) 112600

[startup+380.009 s]
Raw data (loadavg): 0.99 0.75 0.35 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 28081 0 0 0 37893 78 0 0 25 0 1 0 1858859847 117207040 28047 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 28615 28047 566 18 0 28597 0
[pid=21826] vsize: 114460
Current children cumulated CPU time (s) 379.71
Current children cumulated vsize (Kb) 114460

[startup+390.009 s]
Raw data (loadavg): 0.99 0.76 0.36 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 28529 0 0 0 38892 79 0 0 25 0 1 0 1858859847 119013376 28495 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 29056 28495 566 18 0 29038 0
[pid=21826] vsize: 116224
Current children cumulated CPU time (s) 389.71
Current children cumulated vsize (Kb) 116224

[startup+400.01 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 29027 0 0 0 39890 80 0 0 25 0 1 0 1858859847 121061376 28993 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 29556 28993 566 18 0 29538 0
[pid=21826] vsize: 118224
Current children cumulated CPU time (s) 399.7
Current children cumulated vsize (Kb) 118224

[startup+410.009 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 29402 0 0 0 40890 81 0 0 25 0 1 0 1858859847 122630144 29368 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 29939 29368 566 18 0 29921 0
[pid=21826] vsize: 119756
Current children cumulated CPU time (s) 409.71
Current children cumulated vsize (Kb) 119756

[startup+420.009 s]
Raw data (loadavg): 0.99 0.78 0.38 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 29852 0 0 0 41889 82 0 0 25 0 1 0 1858859847 124473344 29818 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 30389 29818 566 18 0 30371 0
[pid=21826] vsize: 121556
Current children cumulated CPU time (s) 419.71
Current children cumulated vsize (Kb) 121556

[startup+430.01 s]
Raw data (loadavg): 0.99 0.79 0.39 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 30363 0 0 0 42887 83 0 0 25 0 1 0 1858859847 126529536 30329 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 30891 30329 566 18 0 30873 0
[pid=21826] vsize: 123564
Current children cumulated CPU time (s) 429.7
Current children cumulated vsize (Kb) 123564

[startup+440.01 s]
Raw data (loadavg): 0.99 0.79 0.39 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 30901 0 0 0 43885 85 0 0 25 0 1 0 1858859847 128716800 30867 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 31425 30867 566 18 0 31407 0
[pid=21826] vsize: 125700
Current children cumulated CPU time (s) 439.7
Current children cumulated vsize (Kb) 125700

[startup+450.01 s]
Raw data (loadavg): 0.99 0.80 0.40 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 31371 0 0 0 44883 86 0 0 25 0 1 0 1858859847 130658304 31337 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 31899 31337 566 18 0 31881 0
[pid=21826] vsize: 127596
Current children cumulated CPU time (s) 449.69
Current children cumulated vsize (Kb) 127596

[startup+460.009 s]
Raw data (loadavg): 0.99 0.81 0.40 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 31984 0 0 0 45881 88 0 0 25 0 1 0 1858859847 133115904 31950 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 32499 31950 566 18 0 32481 0
[pid=21826] vsize: 129996
Current children cumulated CPU time (s) 459.69
Current children cumulated vsize (Kb) 129996

[startup+470.01 s]
Raw data (loadavg): 0.99 0.81 0.41 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 32468 0 0 0 46878 90 0 0 25 0 1 0 1858859847 135159808 32434 4294967295 134512640 134578447 3221224624 3221223520 134519985 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 32998 32434 566 18 0 32980 0
[pid=21826] vsize: 131992
Current children cumulated CPU time (s) 469.68
Current children cumulated vsize (Kb) 131992

[startup+480.01 s]
Raw data (loadavg): 0.99 0.82 0.41 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 32875 0 0 0 47876 91 0 0 25 0 1 0 1858859847 136843264 32841 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 33409 32841 566 18 0 33391 0
[pid=21826] vsize: 133636
Current children cumulated CPU time (s) 479.67
Current children cumulated vsize (Kb) 133636

[startup+490.01 s]
Raw data (loadavg): 0.99 0.82 0.42 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 33393 0 0 0 48875 93 0 0 25 0 1 0 1858859847 138883072 33359 4294967295 134512640 134578447 3221224624 3221223520 134519854 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 33907 33359 566 18 0 33889 0
[pid=21826] vsize: 135628
Current children cumulated CPU time (s) 489.68
Current children cumulated vsize (Kb) 135628

[startup+500.011 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 33920 0 0 0 49872 95 0 0 25 0 1 0 1858859847 141406208 33886 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 34523 33886 566 18 0 34505 0
[pid=21826] vsize: 138092
Current children cumulated CPU time (s) 499.67
Current children cumulated vsize (Kb) 138092

[startup+510.01 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 34417 0 0 0 50870 97 0 0 25 0 1 0 1858859847 143429632 34383 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 35017 34383 566 18 0 34999 0
[pid=21826] vsize: 140068
Current children cumulated CPU time (s) 509.67
Current children cumulated vsize (Kb) 140068

[startup+520.011 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 34986 0 0 0 51868 99 0 0 25 0 1 0 1858859847 145694720 34952 4294967295 134512640 134578447 3221224624 3221223200 1075290883 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 35570 34952 566 18 0 35552 0
[pid=21826] vsize: 142280
Current children cumulated CPU time (s) 519.67
Current children cumulated vsize (Kb) 142280

[startup+530.011 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 35543 0 0 0 52865 101 0 0 25 0 1 0 1858859847 147922944 35509 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 36114 35509 566 18 0 36096 0
[pid=21826] vsize: 144456
Current children cumulated CPU time (s) 529.66
Current children cumulated vsize (Kb) 144456

[startup+540.011 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 36046 0 0 0 53863 103 0 0 25 0 1 0 1858859847 150032384 36012 4294967295 134512640 134578447 3221224624 3221223488 134517748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 36629 36012 566 18 0 36611 0
[pid=21826] vsize: 146516
Current children cumulated CPU time (s) 539.66
Current children cumulated vsize (Kb) 146516

[startup+550.011 s]
Raw data (loadavg): 0.99 0.85 0.46 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 36627 0 0 0 54861 105 0 0 25 0 1 0 1858859847 152391680 36593 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 37205 36593 566 18 0 37187 0
[pid=21826] vsize: 148820
Current children cumulated CPU time (s) 549.66
Current children cumulated vsize (Kb) 148820

[startup+560.01 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 37162 0 0 0 55858 106 0 0 25 0 1 0 1858859847 154624000 37128 4294967295 134512640 134578447 3221224624 3221223536 134556778 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 37750 37128 566 18 0 37732 0
[pid=21826] vsize: 151000
Current children cumulated CPU time (s) 559.64
Current children cumulated vsize (Kb) 151000

[startup+570.011 s]
Raw data (loadavg): 0.99 0.86 0.47 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 37606 0 0 0 56856 108 0 0 25 0 1 0 1858859847 156422144 37572 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 38189 37572 566 18 0 38171 0
[pid=21826] vsize: 152756
Current children cumulated CPU time (s) 569.64
Current children cumulated vsize (Kb) 152756

[startup+580.011 s]
Raw data (loadavg): 0.99 0.86 0.47 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 38102 0 0 0 57854 110 0 0 25 0 1 0 1858859847 158502912 38068 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 38697 38068 566 18 0 38679 0
[pid=21826] vsize: 154788
Current children cumulated CPU time (s) 579.64
Current children cumulated vsize (Kb) 154788

[startup+590.011 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 38584 0 0 0 58852 111 0 0 25 0 1 0 1858859847 160428032 38550 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 39167 38550 566 18 0 39149 0
[pid=21826] vsize: 156668
Current children cumulated CPU time (s) 589.63
Current children cumulated vsize (Kb) 156668

[startup+600.012 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 39079 0 0 0 59851 112 0 0 25 0 1 0 1858859847 162508800 39045 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 39675 39045 566 18 0 39657 0
[pid=21826] vsize: 158700
Current children cumulated CPU time (s) 599.63
Current children cumulated vsize (Kb) 158700

[startup+610.011 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 39568 0 0 0 60849 114 0 0 25 0 1 0 1858859847 164462592 39534 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 40152 39534 566 18 0 40134 0
[pid=21826] vsize: 160608
Current children cumulated CPU time (s) 609.63
Current children cumulated vsize (Kb) 160608

[startup+620.011 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 39971 0 0 0 61847 115 0 0 25 0 1 0 1858859847 166133760 39937 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 40560 39937 566 18 0 40542 0
[pid=21826] vsize: 162240
Current children cumulated CPU time (s) 619.62
Current children cumulated vsize (Kb) 162240

[startup+630.011 s]
Raw data (loadavg): 0.99 0.88 0.50 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 40301 0 0 0 62846 116 0 0 25 0 1 0 1858859847 167448576 40267 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 40881 40267 566 18 0 40863 0
[pid=21826] vsize: 163524
Current children cumulated CPU time (s) 629.62
Current children cumulated vsize (Kb) 163524

[startup+640.011 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 40688 0 0 0 63843 118 0 0 25 0 1 0 1858859847 168976384 40654 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 41254 40654 566 18 0 41236 0
[pid=21826] vsize: 165016
Current children cumulated CPU time (s) 639.61
Current children cumulated vsize (Kb) 165016

[startup+650.012 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 41133 0 0 0 64841 120 0 0 25 0 1 0 1858859847 170856448 41099 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 41713 41099 566 18 0 41695 0
[pid=21826] vsize: 166852
Current children cumulated CPU time (s) 649.61
Current children cumulated vsize (Kb) 166852

[startup+660.011 s]
Raw data (loadavg): 0.99 0.89 0.51 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 41474 0 0 0 65840 121 0 0 25 0 1 0 1858859847 172294144 41440 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 42064 41440 566 18 0 42046 0
[pid=21826] vsize: 168256
Current children cumulated CPU time (s) 659.61
Current children cumulated vsize (Kb) 168256

[startup+670.012 s]
Raw data (loadavg): 0.99 0.90 0.51 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 41867 0 0 0 66839 122 0 0 25 0 1 0 1858859847 173879296 41833 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 42451 41833 566 18 0 42433 0
[pid=21826] vsize: 169804
Current children cumulated CPU time (s) 669.61
Current children cumulated vsize (Kb) 169804

[startup+680.012 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 42317 0 0 0 67837 123 0 0 25 0 1 0 1858859847 175652864 42283 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 42884 42283 566 18 0 42866 0
[pid=21826] vsize: 171536
Current children cumulated CPU time (s) 679.6
Current children cumulated vsize (Kb) 171536

[startup+690.012 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 42684 0 0 0 68836 124 0 0 25 0 1 0 1858859847 177192960 42650 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 43260 42650 566 18 0 43242 0
[pid=21826] vsize: 173040
Current children cumulated CPU time (s) 689.6
Current children cumulated vsize (Kb) 173040

[startup+700.013 s]
Raw data (loadavg): 0.99 0.90 0.53 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 43116 0 0 0 69834 126 0 0 25 0 1 0 1858859847 178966528 43082 4294967295 134512640 134578447 3221224624 3221223472 134558160 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 43693 43082 566 18 0 43675 0
[pid=21826] vsize: 174772
Current children cumulated CPU time (s) 699.6
Current children cumulated vsize (Kb) 174772

[startup+710.013 s]
Raw data (loadavg): 0.99 0.91 0.53 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 43527 0 0 0 70833 127 0 0 25 0 1 0 1858859847 180633600 43493 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 44100 43493 566 18 0 44082 0
[pid=21826] vsize: 176400
Current children cumulated CPU time (s) 709.6
Current children cumulated vsize (Kb) 176400

[startup+720.013 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 43878 0 0 0 71831 128 0 0 25 0 1 0 1858859847 182145024 43844 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 44469 43844 566 18 0 44451 0
[pid=21826] vsize: 177876
Current children cumulated CPU time (s) 719.59
Current children cumulated vsize (Kb) 177876

[startup+730.013 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 44246 0 0 0 72830 129 0 0 25 0 1 0 1858859847 183554048 44212 4294967295 134512640 134578447 3221224624 3221223520 134519774 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 44813 44212 566 18 0 44795 0
[pid=21826] vsize: 179252
Current children cumulated CPU time (s) 729.59
Current children cumulated vsize (Kb) 179252

[startup+740.013 s]
Raw data (loadavg): 0.99 0.91 0.55 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 44637 0 0 0 73828 130 0 0 25 0 1 0 1858859847 185212928 44603 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 45218 44603 566 18 0 45200 0
[pid=21826] vsize: 180872
Current children cumulated CPU time (s) 739.58
Current children cumulated vsize (Kb) 180872

[startup+750.013 s]
Raw data (loadavg): 0.99 0.92 0.55 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 45057 0 0 0 74826 132 0 0 25 0 1 0 1858859847 186900480 45023 4294967295 134512640 134578447 3221224624 3221223520 134519724 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 45630 45023 566 18 0 45612 0
[pid=21826] vsize: 182520
Current children cumulated CPU time (s) 749.58
Current children cumulated vsize (Kb) 182520

[startup+760.012 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 45479 0 0 0 75825 134 0 0 25 0 1 0 1858859847 188596224 45445 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 46044 45445 566 18 0 46026 0
[pid=21826] vsize: 184176
Current children cumulated CPU time (s) 759.59
Current children cumulated vsize (Kb) 184176

[startup+770.013 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 45929 0 0 0 76822 135 0 0 25 0 1 0 1858859847 190513152 45895 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 46512 45895 566 18 0 46494 0
[pid=21826] vsize: 186048
Current children cumulated CPU time (s) 769.57
Current children cumulated vsize (Kb) 186048

[startup+780.013 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 46297 0 0 0 77821 137 0 0 25 0 1 0 1858859847 191963136 46263 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 46866 46263 566 18 0 46848 0
[pid=21826] vsize: 187464
Current children cumulated CPU time (s) 779.58
Current children cumulated vsize (Kb) 187464

[startup+790.013 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 46657 0 0 0 78820 138 0 0 25 0 1 0 1858859847 193413120 46623 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 47220 46623 566 18 0 47202 0
[pid=21826] vsize: 188880
Current children cumulated CPU time (s) 789.58
Current children cumulated vsize (Kb) 188880

[startup+800.013 s]
Raw data (loadavg): 0.99 0.93 0.57 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 47061 0 0 0 79818 139 0 0 25 0 1 0 1858859847 195063808 47027 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 47623 47027 566 18 0 47605 0
[pid=21826] vsize: 190492
Current children cumulated CPU time (s) 799.57
Current children cumulated vsize (Kb) 190492

[startup+810.012 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 47449 0 0 0 80816 141 0 0 25 0 1 0 1858859847 196677632 47415 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 48017 47415 566 18 0 47999 0
[pid=21826] vsize: 192068
Current children cumulated CPU time (s) 809.57
Current children cumulated vsize (Kb) 192068

[startup+820.012 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 47867 0 0 0 81814 143 0 0 25 0 1 0 1858859847 198422528 47833 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 48443 47833 566 18 0 48425 0
[pid=21826] vsize: 193772
Current children cumulated CPU time (s) 819.57
Current children cumulated vsize (Kb) 193772

[startup+830.013 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 48210 0 0 0 82813 144 0 0 25 0 1 0 1858859847 199790592 48176 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 48777 48176 566 18 0 48759 0
[pid=21826] vsize: 195108
Current children cumulated CPU time (s) 829.57
Current children cumulated vsize (Kb) 195108

[startup+840.013 s]
Raw data (loadavg): 0.99 0.93 0.59 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 48684 0 0 0 83811 145 0 0 25 0 1 0 1858859847 201768960 48650 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 49260 48650 566 18 0 49242 0
[pid=21826] vsize: 197040
Current children cumulated CPU time (s) 839.56
Current children cumulated vsize (Kb) 197040

[startup+850.014 s]
Raw data (loadavg): 0.99 0.94 0.59 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 49086 0 0 0 84810 146 0 0 25 0 1 0 1858859847 203386880 49052 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 49655 49052 566 18 0 49637 0
[pid=21826] vsize: 198620
Current children cumulated CPU time (s) 849.56
Current children cumulated vsize (Kb) 198620

[startup+860.013 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 49508 0 0 0 85807 148 0 0 25 0 1 0 1858859847 205123584 49474 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 50079 49474 566 18 0 50061 0
[pid=21826] vsize: 200316
Current children cumulated CPU time (s) 859.55
Current children cumulated vsize (Kb) 200316

[startup+870.013 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 49969 0 0 0 86805 150 0 0 25 0 1 0 1858859847 207003648 49935 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 50538 49935 566 18 0 50520 0
[pid=21826] vsize: 202152
Current children cumulated CPU time (s) 869.55
Current children cumulated vsize (Kb) 202152

[startup+880.014 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 50400 0 0 0 87804 151 0 0 25 0 1 0 1858859847 208740352 50366 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 50962 50366 566 18 0 50944 0
[pid=21826] vsize: 203848
Current children cumulated CPU time (s) 879.55
Current children cumulated vsize (Kb) 203848

[startup+890.014 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 50838 0 0 0 88802 152 0 0 25 0 1 0 1858859847 210587648 50804 4294967295 134512640 134578447 3221224624 3221223584 134559078 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 51413 50804 566 18 0 51395 0
[pid=21826] vsize: 205652
Current children cumulated CPU time (s) 889.54
Current children cumulated vsize (Kb) 205652

[startup+900.014 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51253 0 0 0 89800 154 0 0 25 0 1 0 1858859847 212316160 51219 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 51835 51219 566 18 0 51817 0
[pid=21826] vsize: 207340
Current children cumulated CPU time (s) 899.54
Current children cumulated vsize (Kb) 207340

[startup+910.013 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51657 0 0 0 90798 155 0 0 25 0 1 0 1858859847 213938176 51623 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52231 51623 566 18 0 52213 0
[pid=21826] vsize: 208924
Current children cumulated CPU time (s) 909.53
Current children cumulated vsize (Kb) 208924

[startup+920.014 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51986 0 0 0 91797 156 0 0 25 0 1 0 1858859847 215322624 51952 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51952 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 919.53
Current children cumulated vsize (Kb) 210276

[startup+930.014 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51986 0 0 0 92797 156 0 0 25 0 1 0 1858859847 215322624 51952 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51952 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 929.53
Current children cumulated vsize (Kb) 210276

[startup+940.014 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51986 0 0 0 93798 156 0 0 25 0 1 0 1858859847 215322624 51952 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51952 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 939.54
Current children cumulated vsize (Kb) 210276

[startup+950.015 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51986 0 0 0 94797 156 0 0 25 0 1 0 1858859847 215322624 51952 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51952 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 949.53
Current children cumulated vsize (Kb) 210276

[startup+960.014 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51986 0 0 0 95798 156 0 0 25 0 1 0 1858859847 215322624 51952 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51952 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 959.54
Current children cumulated vsize (Kb) 210276

[startup+970.015 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51986 0 0 0 96798 156 0 0 25 0 1 0 1858859847 215322624 51952 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51952 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 969.54
Current children cumulated vsize (Kb) 210276

[startup+980.015 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51987 0 0 0 97798 156 0 0 25 0 1 0 1858859847 215322624 51953 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51953 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 979.54
Current children cumulated vsize (Kb) 210276

[startup+990.015 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 98798 156 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 989.54
Current children cumulated vsize (Kb) 210276

[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 99799 156 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223600 134558515 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 999.55
Current children cumulated vsize (Kb) 210276

[startup+1010.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 100799 156 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1009.55
Current children cumulated vsize (Kb) 210276

[startup+1020.02 s]
Raw data (loadavg): 0.99 0.96 0.65 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 101799 156 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1019.55
Current children cumulated vsize (Kb) 210276

[startup+1030.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 102799 156 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1029.55
Current children cumulated vsize (Kb) 210276

[startup+1040.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 103799 157 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1039.56
Current children cumulated vsize (Kb) 210276

[startup+1050.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 104799 157 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519825 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1049.56
Current children cumulated vsize (Kb) 210276

[startup+1060.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 105799 157 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1059.56
Current children cumulated vsize (Kb) 210276

[startup+1070.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 106798 158 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1069.56
Current children cumulated vsize (Kb) 210276

[startup+1080.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 107798 159 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1079.57
Current children cumulated vsize (Kb) 210276

[startup+1090.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 108797 159 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1089.56
Current children cumulated vsize (Kb) 210276

[startup+1100.02 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 109797 159 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1099.56
Current children cumulated vsize (Kb) 210276

[startup+1110.02 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 110797 160 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1109.57
Current children cumulated vsize (Kb) 210276

[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.68 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 111797 160 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1119.57
Current children cumulated vsize (Kb) 210276

[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.68 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 112797 160 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1129.57
Current children cumulated vsize (Kb) 210276

[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 113798 160 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1139.58
Current children cumulated vsize (Kb) 210276

[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 114797 160 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1149.57
Current children cumulated vsize (Kb) 210276

[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 115797 160 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519969 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1159.57
Current children cumulated vsize (Kb) 210276

[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 116798 160 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1169.58
Current children cumulated vsize (Kb) 210276

[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 117797 161 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1179.58
Current children cumulated vsize (Kb) 210276

[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 118798 161 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1189.59
Current children cumulated vsize (Kb) 210276

[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 119798 161 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1199.59
Current children cumulated vsize (Kb) 210276

[startup+1210.02 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 120798 161 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1209.59
Current children cumulated vsize (Kb) 210276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.02 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 21826
Raw data (/proc/21826/stat): 21826 (Pueblo) R 21825 21826 19316 0 -1 0 51988 0 0 0 120798 161 0 0 25 0 1 0 1858859847 215322624 51954 4294967295 134512640 134578447 3221224624 3221223584 134559088 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21826/statm): 52569 51954 566 18 0 52551 0
[pid=21826] vsize: 210276
Current children cumulated CPU time (s) 1209.59
Current children cumulated vsize (Kb) 210276

Sending SIGTERM to -21826
Sleeping 2 seconds
One traced child (pid=21826) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1210.12
CPU time (s): 1209.69
CPU user time (s): 1207.98
CPU system time (s): 1.71174
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (Kb): 210276

Verifier Data

ERROR: no interpretation found !