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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
MD5SUM0b6e5fd99af8bfe5c5be00124c8da261
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16768
Optimality of the best value was proved NO
Number of terms in the objective function 125
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1062015
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 268444670
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.13
Number of variables18711
Total number of constraints5602
Number of constraints which are clauses563
Number of constraints which are cardinality constraints (but not clauses)1681
Number of constraints which are nor clauses,nor cardinality constraints3358
Minimum length of a constraint1
Maximum length of a constraint55

Trace number 8709

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-20 17:50:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5850 boxname=wulflinc24 idbench=1162 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  0b6e5fd99af8bfe5c5be00124c8da261  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5850
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        825060 kB
Buffers:         32384 kB
Cached:         148696 kB
SwapCached:        820 kB
Active:          61056 kB
Inactive:       122736 kB
HighTotal:      131008 kB
HighFree:         3752 kB
LowTotal:       903652 kB
LowFree:        821308 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            20104 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 18:10:32 (client local time) WITH STATUS 0 IN 1200.14 SECONDS
stats: 5850 7 1200.14 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/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860471904 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22145/statm): 41 3 40 18 0 23 0
[pid=22145] 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.0025 s]
Raw data (loadavg): 0.76 0.94 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 3146 0 0 0 984 10 0 0 25 0 1 0 1860471904 15454208 3112 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22145/statm): 3773 3112 566 18 0 3755 0
[pid=22145] vsize: 15092
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 15092

[startup+20.0032 s]
Raw data (loadavg): 0.80 0.94 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 3420 0 0 0 1982 11 0 0 25 0 1 0 1860471904 16646144 3386 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22145/statm): 4064 3386 566 18 0 4046 0
[pid=22145] vsize: 16256
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 16256

[startup+30.0039 s]
Raw data (loadavg): 0.83 0.94 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 3611 0 0 0 2981 12 0 0 25 0 1 0 1860471904 17448960 3577 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22145/statm): 4260 3577 566 18 0 4242 0
[pid=22145] vsize: 17040
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 17040

[startup+40.0046 s]
Raw data (loadavg): 0.86 0.94 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 3852 0 0 0 3980 13 0 0 25 0 1 0 1860471904 18391040 3818 4294967295 134512640 134578447 3221224624 3221223412 1075289770 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22145/statm): 4490 3818 566 18 0 4472 0
[pid=22145] vsize: 17960
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 17960

[startup+50.0053 s]
Raw data (loadavg): 0.88 0.94 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4126 0 0 0 4978 15 0 0 25 0 1 0 1860471904 19574784 4092 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22145/statm): 4779 4092 566 18 0 4761 0
[pid=22145] vsize: 19116
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (Kb) 19116

[startup+60.005 s]
Raw data (loadavg): 0.90 0.94 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4439 0 0 0 5977 16 0 0 25 0 1 0 1860471904 20774912 4405 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 5072 4405 566 18 0 5054 0
[pid=22145] vsize: 20288
Current children cumulated CPU time (s) 59.93
Current children cumulated vsize (Kb) 20288

[startup+70.0057 s]
Raw data (loadavg): 0.91 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4811 0 0 0 6977 16 0 0 25 0 1 0 1860471904 22339584 4777 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 5454 4777 566 18 0 5436 0
[pid=22145] vsize: 21816
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 21816

[startup+80.0064 s]
Raw data (loadavg): 0.92 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4935 0 0 0 7977 17 0 0 25 0 1 0 1860471904 22880256 4901 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 5586 4901 566 18 0 5568 0
[pid=22145] vsize: 22344
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 22344

[startup+90.007 s]
Raw data (loadavg): 0.94 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4935 0 0 0 8977 17 0 0 25 0 1 0 1860471904 22880256 4901 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 5586 4901 566 18 0 5568 0
[pid=22145] vsize: 22344
Current children cumulated CPU time (s) 89.94
Current children cumulated vsize (Kb) 22344

[startup+100.007 s]
Raw data (loadavg): 0.95 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4935 0 0 0 9977 17 0 0 25 0 1 0 1860471904 22880256 4901 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 5586 4901 566 18 0 5568 0
[pid=22145] vsize: 22344
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 22344

[startup+110.006 s]
Raw data (loadavg): 0.95 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5164 0 0 0 10976 17 0 0 25 0 1 0 1860471904 23793664 5130 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 5809 5130 566 18 0 5791 0
[pid=22145] vsize: 23236
Current children cumulated CPU time (s) 109.93
Current children cumulated vsize (Kb) 23236

[startup+120.007 s]
Raw data (loadavg): 0.96 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5421 0 0 0 11976 17 0 0 25 0 1 0 1860471904 24842240 5387 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 6065 5387 566 18 0 6047 0
[pid=22145] vsize: 24260
Current children cumulated CPU time (s) 119.93
Current children cumulated vsize (Kb) 24260

[startup+130.007 s]
Raw data (loadavg): 0.97 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5639 0 0 0 12975 18 0 0 25 0 1 0 1860471904 25784320 5605 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 6295 5605 566 18 0 6277 0
[pid=22145] vsize: 25180
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 25180

[startup+140.008 s]
Raw data (loadavg): 0.97 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5639 0 0 0 13975 18 0 0 25 0 1 0 1860471904 25784320 5605 4294967295 134512640 134578447 3221224624 3221223564 134527396 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 6295 5605 566 18 0 6277 0
[pid=22145] vsize: 25180
Current children cumulated CPU time (s) 139.93
Current children cumulated vsize (Kb) 25180

[startup+150.008 s]
Raw data (loadavg): 0.97 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5639 0 0 0 14975 18 0 0 25 0 1 0 1860471904 25784320 5605 4294967295 134512640 134578447 3221224624 3221223456 134558372 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 6295 5605 566 18 0 6277 0
[pid=22145] vsize: 25180
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 25180

[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5639 0 0 0 15975 18 0 0 25 0 1 0 1860471904 25784320 5605 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 6295 5605 566 18 0 6277 0
[pid=22145] vsize: 25180
Current children cumulated CPU time (s) 159.93
Current children cumulated vsize (Kb) 25180

[startup+170.008 s]
Raw data (loadavg): 0.98 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5804 0 0 0 16975 19 0 0 25 0 1 0 1860471904 26443776 5770 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 6456 5770 566 18 0 6438 0
[pid=22145] vsize: 25824
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 25824

[startup+180.007 s]
Raw data (loadavg): 0.98 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6176 0 0 0 17973 21 0 0 25 0 1 0 1860471904 27942912 6142 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 6822 6142 566 18 0 6804 0
[pid=22145] vsize: 27288
Current children cumulated CPU time (s) 179.94
Current children cumulated vsize (Kb) 27288

[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 18972 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0
[pid=22145] vsize: 28460
Current children cumulated CPU time (s) 189.94
Current children cumulated vsize (Kb) 28460

[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 19972 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0
[pid=22145] vsize: 28460
Current children cumulated CPU time (s) 199.94
Current children cumulated vsize (Kb) 28460

[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 20972 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0
[pid=22145] vsize: 28460
Current children cumulated CPU time (s) 209.94
Current children cumulated vsize (Kb) 28460

[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 21973 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0
[pid=22145] vsize: 28460
Current children cumulated CPU time (s) 219.95
Current children cumulated vsize (Kb) 28460

[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 22973 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223472 134527274 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0
[pid=22145] vsize: 28460
Current children cumulated CPU time (s) 229.95
Current children cumulated vsize (Kb) 28460

[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 23973 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223504 134527764 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0
[pid=22145] vsize: 28460
Current children cumulated CPU time (s) 239.95
Current children cumulated vsize (Kb) 28460

[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6491 0 0 0 24973 22 0 0 25 0 1 0 1860471904 29143040 6457 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7115 6457 566 18 0 7097 0
[pid=22145] vsize: 28460
Current children cumulated CPU time (s) 249.95
Current children cumulated vsize (Kb) 28460

[startup+260.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6713 0 0 0 25973 23 0 0 25 0 1 0 1860471904 30052352 6679 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7337 6679 566 18 0 7319 0
[pid=22145] vsize: 29348
Current children cumulated CPU time (s) 259.96
Current children cumulated vsize (Kb) 29348

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6927 0 0 0 26972 24 0 0 25 0 1 0 1860471904 30982144 6893 4294967295 134512640 134578447 3221224624 3221223456 134527084 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7564 6893 566 18 0 7546 0
[pid=22145] vsize: 30256
Current children cumulated CPU time (s) 269.96
Current children cumulated vsize (Kb) 30256

[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 7179 0 0 0 27971 24 0 0 25 0 1 0 1860471904 32055296 7145 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 7826 7145 566 18 0 7808 0
[pid=22145] vsize: 31304
Current children cumulated CPU time (s) 279.95
Current children cumulated vsize (Kb) 31304

[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 7505 0 0 0 28970 25 0 0 25 0 1 0 1860471904 33398784 7471 4294967295 134512640 134578447 3221224624 3221223484 134527144 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 8154 7471 566 18 0 8136 0
[pid=22145] vsize: 32616
Current children cumulated CPU time (s) 289.95
Current children cumulated vsize (Kb) 32616

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 7687 0 0 0 29970 26 0 0 25 0 1 0 1860471904 34058240 7653 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 8315 7653 566 18 0 8297 0
[pid=22145] vsize: 33260
Current children cumulated CPU time (s) 299.96
Current children cumulated vsize (Kb) 33260

[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 7875 0 0 0 30969 27 0 0 25 0 1 0 1860471904 34852864 7841 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 8509 7841 566 18 0 8491 0
[pid=22145] vsize: 34036
Current children cumulated CPU time (s) 309.96
Current children cumulated vsize (Kb) 34036

[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8070 0 0 0 31968 27 0 0 25 0 1 0 1860471904 35643392 8036 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 8702 8036 566 18 0 8684 0
[pid=22145] vsize: 34808
Current children cumulated CPU time (s) 319.95
Current children cumulated vsize (Kb) 34808

[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8310 0 0 0 32968 27 0 0 25 0 1 0 1860471904 36687872 8276 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 8957 8276 566 18 0 8939 0
[pid=22145] vsize: 35828
Current children cumulated CPU time (s) 329.95
Current children cumulated vsize (Kb) 35828

[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8520 0 0 0 33967 28 0 0 25 0 1 0 1860471904 37523456 8486 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9161 8486 566 18 0 9143 0
[pid=22145] vsize: 36644
Current children cumulated CPU time (s) 339.95
Current children cumulated vsize (Kb) 36644

[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 34967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 349.96
Current children cumulated vsize (Kb) 37288

[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 35967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 359.96
Current children cumulated vsize (Kb) 37288

[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 36967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 369.96
Current children cumulated vsize (Kb) 37288

[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 37967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223456 134528457 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 379.96
Current children cumulated vsize (Kb) 37288

[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 38967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 389.96
Current children cumulated vsize (Kb) 37288

[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 39967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 399.96
Current children cumulated vsize (Kb) 37288

[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 40967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 409.96
Current children cumulated vsize (Kb) 37288

[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 41968 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 419.97
Current children cumulated vsize (Kb) 37288

[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 42968 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 429.97
Current children cumulated vsize (Kb) 37288

[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 43968 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134528048 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 439.97
Current children cumulated vsize (Kb) 37288

[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 44968 30 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 449.98
Current children cumulated vsize (Kb) 37288

[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 45968 30 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (Kb) 37288

[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 46968 30 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0
[pid=22145] vsize: 37288
Current children cumulated CPU time (s) 469.98
Current children cumulated vsize (Kb) 37288

[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8735 0 0 0 47968 30 0 0 25 0 1 0 1860471904 38440960 8701 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9385 8701 566 18 0 9367 0
[pid=22145] vsize: 37540
Current children cumulated CPU time (s) 479.98
Current children cumulated vsize (Kb) 37540

[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8907 0 0 0 48967 31 0 0 25 0 1 0 1860471904 39084032 8873 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9542 8873 566 18 0 9524 0
[pid=22145] vsize: 38168
Current children cumulated CPU time (s) 489.98
Current children cumulated vsize (Kb) 38168

[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 9138 0 0 0 49966 32 0 0 25 0 1 0 1860471904 40120320 9104 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 9795 9104 566 18 0 9777 0
[pid=22145] vsize: 39180
Current children cumulated CPU time (s) 499.98
Current children cumulated vsize (Kb) 39180

[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 9373 0 0 0 50965 33 0 0 25 0 1 0 1860471904 41021440 9339 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10015 9339 566 18 0 9997 0
[pid=22145] vsize: 40060
Current children cumulated CPU time (s) 509.98
Current children cumulated vsize (Kb) 40060

[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 9611 0 0 0 51964 34 0 0 25 0 1 0 1860471904 42053632 9577 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10267 9577 566 18 0 10249 0
[pid=22145] vsize: 41068
Current children cumulated CPU time (s) 519.98
Current children cumulated vsize (Kb) 41068

[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 9843 0 0 0 52963 35 0 0 25 0 1 0 1860471904 42983424 9809 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10494 9809 566 18 0 10476 0
[pid=22145] vsize: 41976
Current children cumulated CPU time (s) 529.98
Current children cumulated vsize (Kb) 41976

[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10086 0 0 0 53962 35 0 0 25 0 1 0 1860471904 43900928 10052 4294967295 134512640 134578447 3221224624 3221223408 134532077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10718 10052 566 18 0 10700 0
[pid=22145] vsize: 42872
Current children cumulated CPU time (s) 539.97
Current children cumulated vsize (Kb) 42872

[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 54962 36 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 43128

[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 55963 36 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 559.99
Current children cumulated vsize (Kb) 43128

[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22145
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 56965 36 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 570.01
Current children cumulated vsize (Kb) 43128

[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22200
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 57963 37 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 580
Current children cumulated vsize (Kb) 43128

[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22200
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 58963 37 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 590
Current children cumulated vsize (Kb) 43128

[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22200
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 59963 37 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 600
Current children cumulated vsize (Kb) 43128

[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22200
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 60963 38 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 610.01
Current children cumulated vsize (Kb) 43128

[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22200
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 61962 38 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 620
Current children cumulated vsize (Kb) 43128

[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22200
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 62962 39 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 630.01
Current children cumulated vsize (Kb) 43128

[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22200
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 63962 39 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 640.01
Current children cumulated vsize (Kb) 43128

[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 64961 40 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134528057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 650.01
Current children cumulated vsize (Kb) 43128

[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 65961 40 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 660.01
Current children cumulated vsize (Kb) 43128

[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 66961 40 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 670.01
Current children cumulated vsize (Kb) 43128

[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 67960 41 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 680.01
Current children cumulated vsize (Kb) 43128

[startup+690.038 s]
Raw data (loadavg): 1.07 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 68960 41 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 690.01
Current children cumulated vsize (Kb) 43128

[startup+700.037 s]
Raw data (loadavg): 1.06 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 69960 42 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 700.02
Current children cumulated vsize (Kb) 43128

[startup+710.037 s]
Raw data (loadavg): 1.05 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 70960 42 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 710.02
Current children cumulated vsize (Kb) 43128

[startup+720.037 s]
Raw data (loadavg): 1.04 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 71960 42 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 720.02
Current children cumulated vsize (Kb) 43128

[startup+730.037 s]
Raw data (loadavg): 1.04 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 72960 43 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 730.03
Current children cumulated vsize (Kb) 43128

[startup+740.037 s]
Raw data (loadavg): 1.03 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 73960 43 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 740.03
Current children cumulated vsize (Kb) 43128

[startup+750.038 s]
Raw data (loadavg): 1.03 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 74960 43 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 750.03
Current children cumulated vsize (Kb) 43128

[startup+760.038 s]
Raw data (loadavg): 1.02 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 75959 44 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223536 134556875 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 760.03
Current children cumulated vsize (Kb) 43128

[startup+770.037 s]
Raw data (loadavg): 1.02 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 76959 44 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 770.03
Current children cumulated vsize (Kb) 43128

[startup+780.038 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 77959 44 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 780.03
Current children cumulated vsize (Kb) 43128

[startup+790.039 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 78959 45 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 790.04
Current children cumulated vsize (Kb) 43128

[startup+800.038 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 79959 45 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134528498 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 800.04
Current children cumulated vsize (Kb) 43128

[startup+810.039 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 80959 45 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134526956 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 810.04
Current children cumulated vsize (Kb) 43128

[startup+820.04 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 81958 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 820.04
Current children cumulated vsize (Kb) 43128

[startup+830.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 82958 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 830.04
Current children cumulated vsize (Kb) 43128

[startup+840.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 83959 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134527278 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 840.05
Current children cumulated vsize (Kb) 43128

[startup+850.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 84959 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 850.05
Current children cumulated vsize (Kb) 43128

[startup+860.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 85959 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 860.05
Current children cumulated vsize (Kb) 43128

[startup+870.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 86958 47 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 870.05
Current children cumulated vsize (Kb) 43128

[startup+880.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 87958 47 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 880.05
Current children cumulated vsize (Kb) 43128

[startup+890.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 88958 48 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 890.06
Current children cumulated vsize (Kb) 43128

[startup+900.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22204
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 89958 48 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 900.06
Current children cumulated vsize (Kb) 43128

[startup+910.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 90958 48 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 910.06
Current children cumulated vsize (Kb) 43128

[startup+920.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 91957 49 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134528426 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 920.06
Current children cumulated vsize (Kb) 43128

[startup+930.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 92957 49 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 930.06
Current children cumulated vsize (Kb) 43128

[startup+940.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 93957 50 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 940.07
Current children cumulated vsize (Kb) 43128

[startup+950.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 94956 50 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 950.06
Current children cumulated vsize (Kb) 43128

[startup+960.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 95956 51 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 960.07
Current children cumulated vsize (Kb) 43128

[startup+970.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 96956 51 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 970.07
Current children cumulated vsize (Kb) 43128

[startup+980.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 97956 52 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 980.08
Current children cumulated vsize (Kb) 43128

[startup+990.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 98956 52 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 990.08
Current children cumulated vsize (Kb) 43128

[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 99956 52 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1000.08
Current children cumulated vsize (Kb) 43128

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 100956 52 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528115 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1010.08
Current children cumulated vsize (Kb) 43128

[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 101956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1020.09
Current children cumulated vsize (Kb) 43128

[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 102956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134528420 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1030.09
Current children cumulated vsize (Kb) 43128

[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 103956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1040.09
Current children cumulated vsize (Kb) 43128

[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 104956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1050.09
Current children cumulated vsize (Kb) 43128

[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 105956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1060.09
Current children cumulated vsize (Kb) 43128

[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 106956 54 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1070.1
Current children cumulated vsize (Kb) 43128

[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 107956 54 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223568 134558739 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1080.1
Current children cumulated vsize (Kb) 43128

[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 108955 54 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1090.09
Current children cumulated vsize (Kb) 43128

[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 109955 55 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1100.1
Current children cumulated vsize (Kb) 43128

[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 110955 55 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1110.1
Current children cumulated vsize (Kb) 43128

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 111955 55 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1120.1
Current children cumulated vsize (Kb) 43128

[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 112955 56 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1130.11
Current children cumulated vsize (Kb) 43128

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 113954 56 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1140.1
Current children cumulated vsize (Kb) 43128

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 114954 56 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223584 134558605 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0
[pid=22145] vsize: 43128
Current children cumulated CPU time (s) 1150.1
Current children cumulated vsize (Kb) 43128

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10277 0 0 0 115953 58 0 0 25 0 1 0 1860471904 44679168 10243 4294967295 134512640 134578447 3221224624 3221223504 134527875 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 10908 10243 566 18 0 10890 0
[pid=22145] vsize: 43632
Current children cumulated CPU time (s) 1160.11
Current children cumulated vsize (Kb) 43632

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10463 0 0 0 116952 58 0 0 25 0 1 0 1860471904 45465600 10429 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 11100 10429 566 18 0 11082 0
[pid=22145] vsize: 44400
Current children cumulated CPU time (s) 1170.1
Current children cumulated vsize (Kb) 44400

[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10642 0 0 0 117951 60 0 0 25 0 1 0 1860471904 46247936 10608 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 11291 10608 566 18 0 11273 0
[pid=22145] vsize: 45164
Current children cumulated CPU time (s) 1180.11
Current children cumulated vsize (Kb) 45164

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10820 0 0 0 118950 61 0 0 25 0 1 0 1860471904 46903296 10786 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 11451 10786 566 18 0 11433 0
[pid=22145] vsize: 45804
Current children cumulated CPU time (s) 1190.11
Current children cumulated vsize (Kb) 45804

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10998 0 0 0 119949 61 0 0 25 0 1 0 1860471904 47693824 10964 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 11644 10964 566 18 0 11626 0
[pid=22145] vsize: 46576
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (Kb) 46576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 22206
Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10998 0 0 0 119950 61 0 0 25 0 1 0 1860471904 47693824 10964 4294967295 134512640 134578447 3221224624 3221223412 1075289770 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22145/statm): 11644 10964 566 18 0 11626 0
[pid=22145] vsize: 46576
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (Kb) 46576

Sending SIGTERM to -22145
Sleeping 2 seconds
One traced child (pid=22145) 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): 1200.08
CPU time (s): 1200.14
CPU user time (s): 1199.5
CPU system time (s): 0.638902
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (Kb): 46576

Verifier Data

ERROR: no interpretation found !