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

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
MD5SUM7872170cf5be0e3f0e6be125266c16ee
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 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 12800
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 879673
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables19292
Total number of constraints4170
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1403
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint1
Maximum length of a constraint980

Trace number 8491

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-20 16:41:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5628 boxname=wulflinc19 idbench=940 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  7872170cf5be0e3f0e6be125266c16ee  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-aflow40b.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5628
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        840428 kB
Buffers:         32324 kB
Cached:         133188 kB
SwapCached:        884 kB
Active:          64500 kB
Inactive:       103644 kB
HighTotal:      131008 kB
HighFree:        14672 kB
LowTotal:       903652 kB
LowFree:        825756 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5564 kB
Slab:            20460 kB
Committed_AS:    64152 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 17:01:46 (client local time) WITH STATUS 0 IN 1209.84 SECONDS
stats: 5628 7 1209.84 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/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860041596 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 41 3 40 18 0 23 0
[pid=15937] 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.0044 s]
Raw data (loadavg): 0.93 0.95 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 2855 0 0 0 988 9 0 0 25 0 1 0 1860041596 14290944 2821 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 3489 2821 566 18 0 3471 0
[pid=15937] vsize: 13956
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 13956

[startup+20.0052 s]
Raw data (loadavg): 0.94 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 2877 0 0 0 1987 9 0 0 25 0 1 0 1860041596 14475264 2843 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 3534 2843 566 18 0 3516 0
[pid=15937] vsize: 14136
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 14136

[startup+30.005 s]
Raw data (loadavg): 0.95 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 3075 0 0 0 2985 10 0 0 25 0 1 0 1860041596 15175680 3041 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 3705 3041 566 18 0 3687 0
[pid=15937] vsize: 14820
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 14820

[startup+40.0058 s]
Raw data (loadavg): 0.96 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 3279 0 0 0 3984 11 0 0 25 0 1 0 1860041596 15966208 3245 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 3898 3245 566 18 0 3880 0
[pid=15937] vsize: 15592
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 15592

[startup+50.0066 s]
Raw data (loadavg): 0.96 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 3721 0 0 0 4982 13 0 0 25 0 1 0 1860041596 17813504 3687 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 4349 3687 566 18 0 4331 0
[pid=15937] vsize: 17396
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 17396

[startup+60.0074 s]
Raw data (loadavg): 0.97 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4009 0 0 0 5980 14 0 0 25 0 1 0 1860041596 19001344 3975 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 4639 3975 566 18 0 4621 0
[pid=15937] vsize: 18556
Current children cumulated CPU time (s) 59.94
Current children cumulated vsize (Kb) 18556

[startup+70.0082 s]
Raw data (loadavg): 0.97 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4261 0 0 0 6976 17 0 0 25 0 1 0 1860041596 20049920 4227 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 4895 4227 566 18 0 4877 0
[pid=15937] vsize: 19580
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 19580

[startup+80.008 s]
Raw data (loadavg): 0.98 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4562 0 0 0 7974 19 0 0 25 0 1 0 1860041596 21241856 4528 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 5186 4528 566 18 0 5168 0
[pid=15937] vsize: 20744
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 20744

[startup+90.0088 s]
Raw data (loadavg): 0.98 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4638 0 0 0 8974 19 0 0 25 0 1 0 1860041596 21639168 4604 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 5283 4604 566 18 0 5265 0
[pid=15937] vsize: 21132
Current children cumulated CPU time (s) 89.93
Current children cumulated vsize (Kb) 21132

[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4638 0 0 0 9973 20 0 0 25 0 1 0 1860041596 21639168 4604 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 5283 4604 566 18 0 5265 0
[pid=15937] vsize: 21132
Current children cumulated CPU time (s) 99.93
Current children cumulated vsize (Kb) 21132

[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4638 0 0 0 10972 21 0 0 25 0 1 0 1860041596 21639168 4604 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 5283 4604 566 18 0 5265 0
[pid=15937] vsize: 21132
Current children cumulated CPU time (s) 109.93
Current children cumulated vsize (Kb) 21132

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4832 0 0 0 11970 22 0 0 25 0 1 0 1860041596 22405120 4798 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 5470 4798 566 18 0 5452 0
[pid=15937] vsize: 21880
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 21880

[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4832 0 0 0 12970 23 0 0 25 0 1 0 1860041596 22405120 4798 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 5470 4798 566 18 0 5452 0
[pid=15937] vsize: 21880
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 21880

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4832 0 0 0 13969 23 0 0 25 0 1 0 1860041596 22405120 4798 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 5470 4798 566 18 0 5452 0
[pid=15937] vsize: 21880
Current children cumulated CPU time (s) 139.92
Current children cumulated vsize (Kb) 21880

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4899 0 0 0 14968 25 0 0 25 0 1 0 1860041596 22663168 4865 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 5533 4865 566 18 0 5515 0
[pid=15937] vsize: 22132
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 22132

[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5242 0 0 0 15966 26 0 0 25 0 1 0 1860041596 24096768 5208 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 5883 5208 566 18 0 5865 0
[pid=15937] vsize: 23532
Current children cumulated CPU time (s) 159.92
Current children cumulated vsize (Kb) 23532

[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5398 0 0 0 16965 27 0 0 25 0 1 0 1860041596 24748032 5364 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 6042 5364 566 18 0 6024 0
[pid=15937] vsize: 24168
Current children cumulated CPU time (s) 169.92
Current children cumulated vsize (Kb) 24168

[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5398 0 0 0 17965 27 0 0 25 0 1 0 1860041596 24748032 5364 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 6042 5364 566 18 0 6024 0
[pid=15937] vsize: 24168
Current children cumulated CPU time (s) 179.92
Current children cumulated vsize (Kb) 24168

[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5398 0 0 0 18964 28 0 0 25 0 1 0 1860041596 24748032 5364 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 6042 5364 566 18 0 6024 0
[pid=15937] vsize: 24168
Current children cumulated CPU time (s) 189.92
Current children cumulated vsize (Kb) 24168

[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5398 0 0 0 19964 28 0 0 25 0 1 0 1860041596 24748032 5364 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 6042 5364 566 18 0 6024 0
[pid=15937] vsize: 24168
Current children cumulated CPU time (s) 199.92
Current children cumulated vsize (Kb) 24168

[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5525 0 0 0 20963 28 0 0 25 0 1 0 1860041596 25223168 5491 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 6158 5491 566 18 0 6140 0
[pid=15937] vsize: 24632
Current children cumulated CPU time (s) 209.91
Current children cumulated vsize (Kb) 24632

[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5814 0 0 0 21961 29 0 0 25 0 1 0 1860041596 26353664 5780 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 6434 5780 566 18 0 6416 0
[pid=15937] vsize: 25736
Current children cumulated CPU time (s) 219.9
Current children cumulated vsize (Kb) 25736

[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 6028 0 0 0 22960 30 0 0 25 0 1 0 1860041596 27230208 5994 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 6648 5994 566 18 0 6630 0
[pid=15937] vsize: 26592
Current children cumulated CPU time (s) 229.9
Current children cumulated vsize (Kb) 26592

[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 6204 0 0 0 23959 31 0 0 25 0 1 0 1860041596 27996160 6170 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 6835 6170 566 18 0 6817 0
[pid=15937] vsize: 27340
Current children cumulated CPU time (s) 239.9
Current children cumulated vsize (Kb) 27340

[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 6501 0 0 0 24957 33 0 0 25 0 1 0 1860041596 29196288 6467 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 7128 6467 566 18 0 7110 0
[pid=15937] vsize: 28512
Current children cumulated CPU time (s) 249.9
Current children cumulated vsize (Kb) 28512

[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 6864 0 0 0 25955 33 0 0 25 0 1 0 1860041596 30728192 6830 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 7502 6830 566 18 0 7484 0
[pid=15937] vsize: 30008
Current children cumulated CPU time (s) 259.88
Current children cumulated vsize (Kb) 30008

[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7153 0 0 0 26954 34 0 0 25 0 1 0 1860041596 31903744 7119 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 7789 7119 566 18 0 7771 0
[pid=15937] vsize: 31156
Current children cumulated CPU time (s) 269.88
Current children cumulated vsize (Kb) 31156

[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 27953 35 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0
[pid=15937] vsize: 32160
Current children cumulated CPU time (s) 279.88
Current children cumulated vsize (Kb) 32160

[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 28952 35 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0
[pid=15937] vsize: 32160
Current children cumulated CPU time (s) 289.87
Current children cumulated vsize (Kb) 32160

[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 29952 36 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0
[pid=15937] vsize: 32160
Current children cumulated CPU time (s) 299.88
Current children cumulated vsize (Kb) 32160

[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 30951 36 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223456 134558433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0
[pid=15937] vsize: 32160
Current children cumulated CPU time (s) 309.87
Current children cumulated vsize (Kb) 32160

[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 31951 36 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0
[pid=15937] vsize: 32160
Current children cumulated CPU time (s) 319.87
Current children cumulated vsize (Kb) 32160

[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7455 0 0 0 32950 37 0 0 25 0 1 0 1860041596 33062912 7421 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 8072 7421 566 18 0 8054 0
[pid=15937] vsize: 32288
Current children cumulated CPU time (s) 329.87
Current children cumulated vsize (Kb) 32288

[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7784 0 0 0 33948 38 0 0 25 0 1 0 1860041596 34504704 7750 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 8424 7750 566 18 0 8406 0
[pid=15937] vsize: 33696
Current children cumulated CPU time (s) 339.86
Current children cumulated vsize (Kb) 33696

[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 8029 0 0 0 34947 40 0 0 25 0 1 0 1860041596 35512320 7995 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 8670 7995 566 18 0 8652 0
[pid=15937] vsize: 34680
Current children cumulated CPU time (s) 349.87
Current children cumulated vsize (Kb) 34680

[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 8266 0 0 0 35946 41 0 0 25 0 1 0 1860041596 36401152 8232 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 8887 8232 566 18 0 8869 0
[pid=15937] vsize: 35548
Current children cumulated CPU time (s) 359.87
Current children cumulated vsize (Kb) 35548

[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 8590 0 0 0 36944 42 0 0 25 0 1 0 1860041596 37793792 8556 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 9227 8556 566 18 0 9209 0
[pid=15937] vsize: 36908
Current children cumulated CPU time (s) 369.86
Current children cumulated vsize (Kb) 36908

[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 8810 0 0 0 37943 43 0 0 25 0 1 0 1860041596 38699008 8776 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 9448 8776 566 18 0 9430 0
[pid=15937] vsize: 37792
Current children cumulated CPU time (s) 379.86
Current children cumulated vsize (Kb) 37792

[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 9106 0 0 0 38942 44 0 0 25 0 1 0 1860041596 39821312 9072 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 9722 9072 566 18 0 9704 0
[pid=15937] vsize: 38888
Current children cumulated CPU time (s) 389.86
Current children cumulated vsize (Kb) 38888

[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 9471 0 0 0 39941 45 0 0 25 0 1 0 1860041596 41349120 9437 4294967295 134512640 134578447 3221224624 3221223340 1075285167 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10095 9437 566 18 0 10077 0
[pid=15937] vsize: 40380
Current children cumulated CPU time (s) 399.86
Current children cumulated vsize (Kb) 40380

[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 9761 0 0 0 40939 46 0 0 25 0 1 0 1860041596 42651648 9727 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10413 9727 566 18 0 10395 0
[pid=15937] vsize: 41652
Current children cumulated CPU time (s) 409.85
Current children cumulated vsize (Kb) 41652

[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10189 0 0 0 41936 48 0 0 25 0 1 0 1860041596 44306432 10155 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10817 10155 566 18 0 10799 0
[pid=15937] vsize: 43268
Current children cumulated CPU time (s) 419.84
Current children cumulated vsize (Kb) 43268

[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 42936 49 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 429.85
Current children cumulated vsize (Kb) 43624

[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 43936 49 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 439.85
Current children cumulated vsize (Kb) 43624

[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 44935 49 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 449.84
Current children cumulated vsize (Kb) 43624

[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 45934 49 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 459.83
Current children cumulated vsize (Kb) 43624

[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 46934 50 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 469.84
Current children cumulated vsize (Kb) 43624

[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 47933 50 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 479.83
Current children cumulated vsize (Kb) 43624

[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 48933 51 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 489.84
Current children cumulated vsize (Kb) 43624

[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 49932 51 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 499.83
Current children cumulated vsize (Kb) 43624

[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 50932 52 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 509.84
Current children cumulated vsize (Kb) 43624

[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 51932 52 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 519.84
Current children cumulated vsize (Kb) 43624

[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 52931 52 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 529.83
Current children cumulated vsize (Kb) 43624

[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 53931 52 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 539.83
Current children cumulated vsize (Kb) 43624

[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10270 0 0 0 54930 53 0 0 25 0 1 0 1860041596 44670976 10236 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 10906 10236 566 18 0 10888 0
[pid=15937] vsize: 43624
Current children cumulated CPU time (s) 549.83
Current children cumulated vsize (Kb) 43624

[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10416 0 0 0 55929 53 0 0 25 0 1 0 1860041596 45256704 10382 4294967295 134512640 134578447 3221224624 3221223488 134517843 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 11049 10382 566 18 0 11031 0
[pid=15937] vsize: 44196
Current children cumulated CPU time (s) 559.82
Current children cumulated vsize (Kb) 44196

[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10573 0 0 0 56928 54 0 0 25 0 1 0 1860041596 45940736 10539 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 11216 10539 566 18 0 11198 0
[pid=15937] vsize: 44864
Current children cumulated CPU time (s) 569.82
Current children cumulated vsize (Kb) 44864

[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10728 0 0 0 57928 55 0 0 25 0 1 0 1860041596 46571520 10694 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 11370 10694 566 18 0 11352 0
[pid=15937] vsize: 45480
Current children cumulated CPU time (s) 579.83
Current children cumulated vsize (Kb) 45480

[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10882 0 0 0 58927 55 0 0 25 0 1 0 1860041596 47190016 10848 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 11521 10848 566 18 0 11503 0
[pid=15937] vsize: 46084
Current children cumulated CPU time (s) 589.82
Current children cumulated vsize (Kb) 46084

[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11020 0 0 0 59927 56 0 0 25 0 1 0 1860041596 47702016 10986 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 11646 10986 566 18 0 11628 0
[pid=15937] vsize: 46584
Current children cumulated CPU time (s) 599.83
Current children cumulated vsize (Kb) 46584

[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11126 0 0 0 60926 56 0 0 25 0 1 0 1860041596 48254976 11092 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 11781 11092 566 18 0 11763 0
[pid=15937] vsize: 47124
Current children cumulated CPU time (s) 609.82
Current children cumulated vsize (Kb) 47124

[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11339 0 0 0 61926 57 0 0 25 0 1 0 1860041596 49029120 11305 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 11970 11305 566 18 0 11952 0
[pid=15937] vsize: 47880
Current children cumulated CPU time (s) 619.83
Current children cumulated vsize (Kb) 47880

[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11669 0 0 0 62924 58 0 0 25 0 1 0 1860041596 50384896 11635 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 12301 11635 566 18 0 12283 0
[pid=15937] vsize: 49204
Current children cumulated CPU time (s) 629.82
Current children cumulated vsize (Kb) 49204

[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11940 0 0 0 63924 59 0 0 25 0 1 0 1860041596 51466240 11906 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 12565 11906 566 18 0 12547 0
[pid=15937] vsize: 50260
Current children cumulated CPU time (s) 639.83
Current children cumulated vsize (Kb) 50260

[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 12168 0 0 0 64922 59 0 0 25 0 1 0 1860041596 52506624 12134 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 12819 12134 566 18 0 12801 0
[pid=15937] vsize: 51276
Current children cumulated CPU time (s) 649.81
Current children cumulated vsize (Kb) 51276

[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 12350 0 0 0 65921 60 0 0 25 0 1 0 1860041596 53157888 12316 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 12978 12316 566 18 0 12960 0
[pid=15937] vsize: 51912
Current children cumulated CPU time (s) 659.81
Current children cumulated vsize (Kb) 51912

[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 12513 0 0 0 66921 60 0 0 25 0 1 0 1860041596 53805056 12479 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 13136 12479 566 18 0 13118 0
[pid=15937] vsize: 52544
Current children cumulated CPU time (s) 669.81
Current children cumulated vsize (Kb) 52544

[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 12815 0 0 0 67920 61 0 0 25 0 1 0 1860041596 55123968 12781 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 13458 12781 566 18 0 13440 0
[pid=15937] vsize: 53832
Current children cumulated CPU time (s) 679.81
Current children cumulated vsize (Kb) 53832

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13050 0 0 0 68919 62 0 0 25 0 1 0 1860041596 56057856 13016 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 13686 13016 566 18 0 13668 0
[pid=15937] vsize: 54744
Current children cumulated CPU time (s) 689.81
Current children cumulated vsize (Kb) 54744

[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13305 0 0 0 69918 62 0 0 25 0 1 0 1860041596 57098240 13271 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 13940 13271 566 18 0 13922 0
[pid=15937] vsize: 55760
Current children cumulated CPU time (s) 699.8
Current children cumulated vsize (Kb) 55760

[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13513 0 0 0 70917 63 0 0 25 0 1 0 1860041596 57896960 13479 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 14135 13479 566 18 0 14117 0
[pid=15937] vsize: 56540
Current children cumulated CPU time (s) 709.8
Current children cumulated vsize (Kb) 56540

[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13760 0 0 0 71916 64 0 0 25 0 1 0 1860041596 58966016 13726 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 14396 13726 566 18 0 14378 0
[pid=15937] vsize: 57584
Current children cumulated CPU time (s) 719.8
Current children cumulated vsize (Kb) 57584

[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13983 0 0 0 72916 64 0 0 25 0 1 0 1860041596 59854848 13949 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 14613 13949 566 18 0 14595 0
[pid=15937] vsize: 58452
Current children cumulated CPU time (s) 729.8
Current children cumulated vsize (Kb) 58452

[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 14244 0 0 0 73915 65 0 0 25 0 1 0 1860041596 60997632 14210 4294967295 134512640 134578447 3221224624 3221223304 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 14892 14210 566 18 0 14874 0
[pid=15937] vsize: 59568
Current children cumulated CPU time (s) 739.8
Current children cumulated vsize (Kb) 59568

[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 14649 0 0 0 74913 66 0 0 25 0 1 0 1860041596 62619648 14615 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 15288 14615 566 18 0 15270 0
[pid=15937] vsize: 61152
Current children cumulated CPU time (s) 749.79
Current children cumulated vsize (Kb) 61152

[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 14945 0 0 0 75912 67 0 0 25 0 1 0 1860041596 63836160 14911 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 15585 14911 566 18 0 15567 0
[pid=15937] vsize: 62340
Current children cumulated CPU time (s) 759.79
Current children cumulated vsize (Kb) 62340

[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15184 0 0 0 76911 67 0 0 25 0 1 0 1860041596 64811008 15150 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 15823 15150 566 18 0 15805 0
[pid=15937] vsize: 63292
Current children cumulated CPU time (s) 769.78
Current children cumulated vsize (Kb) 63292

[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15298 0 0 0 77911 67 0 0 25 0 1 0 1860041596 65220608 15264 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 15923 15264 566 18 0 15905 0
[pid=15937] vsize: 63692
Current children cumulated CPU time (s) 779.78
Current children cumulated vsize (Kb) 63692

[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15364 0 0 0 78910 68 0 0 25 0 1 0 1860041596 65617920 15330 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 16020 15330 566 18 0 16002 0
[pid=15937] vsize: 64080
Current children cumulated CPU time (s) 789.78
Current children cumulated vsize (Kb) 64080

[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15431 0 0 0 79910 68 0 0 25 0 1 0 1860041596 65888256 15397 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 16086 15397 566 18 0 16068 0
[pid=15937] vsize: 64344
Current children cumulated CPU time (s) 799.78
Current children cumulated vsize (Kb) 64344

[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15687 0 0 0 80909 69 0 0 25 0 1 0 1860041596 66801664 15653 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 16309 15653 566 18 0 16291 0
[pid=15937] vsize: 65236
Current children cumulated CPU time (s) 809.78
Current children cumulated vsize (Kb) 65236

[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15808 0 0 0 81908 70 0 0 25 0 1 0 1860041596 67436544 15774 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 16464 15774 566 18 0 16446 0
[pid=15937] vsize: 65856
Current children cumulated CPU time (s) 819.78
Current children cumulated vsize (Kb) 65856

[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15905 0 0 0 82908 70 0 0 25 0 1 0 1860041596 67764224 15871 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 16544 15871 566 18 0 16526 0
[pid=15937] vsize: 66176
Current children cumulated CPU time (s) 829.78
Current children cumulated vsize (Kb) 66176

[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16013 0 0 0 83908 70 0 0 25 0 1 0 1860041596 68206592 15979 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 16652 15979 566 18 0 16634 0
[pid=15937] vsize: 66608
Current children cumulated CPU time (s) 839.78
Current children cumulated vsize (Kb) 66608

[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16181 0 0 0 84907 70 0 0 25 0 1 0 1860041596 68943872 16147 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 16832 16147 566 18 0 16814 0
[pid=15937] vsize: 67328
Current children cumulated CPU time (s) 849.77
Current children cumulated vsize (Kb) 67328

[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16357 0 0 0 85907 71 0 0 25 0 1 0 1860041596 69660672 16323 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15937/statm): 17007 16323 566 18 0 16989 0
[pid=15937] vsize: 68028
Current children cumulated CPU time (s) 859.78
Current children cumulated vsize (Kb) 68028

[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16577 0 0 0 86906 71 0 0 25 0 1 0 1860041596 70471680 16543 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 17205 16543 566 18 0 17187 0
[pid=15937] vsize: 68820
Current children cumulated CPU time (s) 869.77
Current children cumulated vsize (Kb) 68820

[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16704 0 0 0 87905 72 0 0 25 0 1 0 1860041596 71016448 16670 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 17338 16670 566 18 0 17320 0
[pid=15937] vsize: 69352
Current children cumulated CPU time (s) 879.77
Current children cumulated vsize (Kb) 69352

[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16890 0 0 0 88905 72 0 0 25 0 1 0 1860041596 71860224 16856 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 17544 16856 566 18 0 17526 0
[pid=15937] vsize: 70176
Current children cumulated CPU time (s) 889.77
Current children cumulated vsize (Kb) 70176

[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17031 0 0 0 89904 72 0 0 25 0 1 0 1860041596 72323072 16997 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 17657 16997 566 18 0 17639 0
[pid=15937] vsize: 70628
Current children cumulated CPU time (s) 899.76
Current children cumulated vsize (Kb) 70628

[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17150 0 0 0 90904 73 0 0 25 0 1 0 1860041596 72810496 17116 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 17776 17116 566 18 0 17758 0
[pid=15937] vsize: 71104
Current children cumulated CPU time (s) 909.77
Current children cumulated vsize (Kb) 71104

[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17269 0 0 0 91904 73 0 0 25 0 1 0 1860041596 73297920 17235 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 17895 17235 566 18 0 17877 0
[pid=15937] vsize: 71580
Current children cumulated CPU time (s) 919.77
Current children cumulated vsize (Kb) 71580

[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17381 0 0 0 92903 73 0 0 25 0 1 0 1860041596 73781248 17347 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18013 17347 566 18 0 17995 0
[pid=15937] vsize: 72052
Current children cumulated CPU time (s) 929.76
Current children cumulated vsize (Kb) 72052

[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17502 0 0 0 93903 74 0 0 25 0 1 0 1860041596 74276864 17468 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18134 17468 566 18 0 18116 0
[pid=15937] vsize: 72536
Current children cumulated CPU time (s) 939.77
Current children cumulated vsize (Kb) 72536

[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17642 0 0 0 94902 74 0 0 25 0 1 0 1860041596 74895360 17608 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18285 17608 566 18 0 18267 0
[pid=15937] vsize: 73140
Current children cumulated CPU time (s) 949.76
Current children cumulated vsize (Kb) 73140

[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17886 0 0 0 95901 75 0 0 25 0 1 0 1860041596 75911168 17852 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18533 17852 566 18 0 18515 0
[pid=15937] vsize: 74132
Current children cumulated CPU time (s) 959.76
Current children cumulated vsize (Kb) 74132

[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18107 0 0 0 96899 76 0 0 25 0 1 0 1860041596 76840960 18073 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18760 18073 566 18 0 18742 0
[pid=15937] vsize: 75040
Current children cumulated CPU time (s) 969.75
Current children cumulated vsize (Kb) 75040

[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 97899 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 979.75
Current children cumulated vsize (Kb) 75336

[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 98899 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 989.75
Current children cumulated vsize (Kb) 75336

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 99899 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 999.75
Current children cumulated vsize (Kb) 75336

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 100899 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1009.75
Current children cumulated vsize (Kb) 75336

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 101900 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1019.76
Current children cumulated vsize (Kb) 75336

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 102900 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1029.76
Current children cumulated vsize (Kb) 75336

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 103900 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1039.76
Current children cumulated vsize (Kb) 75336

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 104900 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1049.76
Current children cumulated vsize (Kb) 75336

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 105900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1059.77
Current children cumulated vsize (Kb) 75336

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 106900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1069.77
Current children cumulated vsize (Kb) 75336

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 107900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1079.77
Current children cumulated vsize (Kb) 75336

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 108900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1089.77
Current children cumulated vsize (Kb) 75336

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 15937
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 109900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1099.77
Current children cumulated vsize (Kb) 75336

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/57 15938
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 110901 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1109.78
Current children cumulated vsize (Kb) 75336

[startup+1120.04 s]
Raw data (loadavg): 1.07 0.99 0.93 2/56 15992
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 111900 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1119.78
Current children cumulated vsize (Kb) 75336

[startup+1130.04 s]
Raw data (loadavg): 1.06 0.99 0.93 2/56 15992
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 112900 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1129.78
Current children cumulated vsize (Kb) 75336

[startup+1140.05 s]
Raw data (loadavg): 1.05 0.99 0.93 2/56 15992
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 113900 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1139.78
Current children cumulated vsize (Kb) 75336

[startup+1150.05 s]
Raw data (loadavg): 1.04 0.99 0.93 2/56 15992
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 114900 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1149.78
Current children cumulated vsize (Kb) 75336

[startup+1160.05 s]
Raw data (loadavg): 1.03 0.99 0.93 2/56 15992
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 115901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1159.79
Current children cumulated vsize (Kb) 75336

[startup+1170.05 s]
Raw data (loadavg): 1.03 0.99 0.93 2/56 15992
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 116901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1169.79
Current children cumulated vsize (Kb) 75336

[startup+1180.05 s]
Raw data (loadavg): 1.02 0.99 0.93 2/56 15996
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 117901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1179.79
Current children cumulated vsize (Kb) 75336

[startup+1190.05 s]
Raw data (loadavg): 1.02 0.99 0.93 2/56 15996
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 118901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1189.79
Current children cumulated vsize (Kb) 75336

[startup+1200.05 s]
Raw data (loadavg): 1.02 0.99 0.93 2/56 15996
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 119901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223536 134556906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1199.79
Current children cumulated vsize (Kb) 75336

[startup+1210.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 15996
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 120901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1209.79
Current children cumulated vsize (Kb) 75336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 15996
Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 120901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0
[pid=15937] vsize: 75336
Current children cumulated CPU time (s) 1209.79
Current children cumulated vsize (Kb) 75336

Sending SIGTERM to -15937
Sleeping 2 seconds
One traced child (pid=15937) 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.09
CPU time (s): 1209.84
CPU user time (s): 1209.02
CPU system time (s): 0.818875
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (Kb): 75336

Verifier Data

ERROR: no interpretation found !