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-pp08aCUTS.opb
MD5SUMd1b87efc35bcd73acfc5183bbe3df4f0
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 2304
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 178464600
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 178464600
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables3288
Total number of constraints374
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints310
Minimum length of a constraint1
Maximum length of a constraint123

Trace number 8535

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-20 16:51:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5663 boxname=wulflinc3 idbench=975 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  d1b87efc35bcd73acfc5183bbe3df4f0  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5663
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 2
cpu MHz		: 451.190
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:        778968 kB
Buffers:         31972 kB
Cached:         196644 kB
SwapCached:        816 kB
Active:         100288 kB
Inactive:       131000 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        778716 kB
SwapTotal:     2097136 kB
SwapFree:      2095752 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18588 kB
Committed_AS:    72364 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:11:56 (client local time) WITH STATUS 0 IN 1200.15 SECONDS
stats: 5663 7 1200.15 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/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801879982 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 41 3 40 18 0 23 0
[pid=12542] 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.0033 s]
Raw data (loadavg): 0.93 0.95 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 774 0 0 0 995 3 0 0 25 0 1 0 1801879982 4743168 740 4294967295 134512640 134578447 3221224624 3221223560 134531661 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1158 740 566 18 0 1140 0
[pid=12542] vsize: 4632
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 4632

[startup+20.0042 s]
Raw data (loadavg): 0.94 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1069 0 0 0 1993 4 0 0 25 0 1 0 1801879982 5931008 1035 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1448 1035 566 18 0 1430 0
[pid=12542] vsize: 5792
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 5792

[startup+30.005 s]
Raw data (loadavg): 0.95 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1103 0 0 0 2993 4 0 0 25 0 1 0 1801879982 6062080 1069 4294967295 134512640 134578447 3221224624 3221223600 134558343 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1480 1069 566 18 0 1462 0
[pid=12542] vsize: 5920
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 5920

[startup+40.0059 s]
Raw data (loadavg): 0.95 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 3992 5 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559020 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 6180

[startup+50.0067 s]
Raw data (loadavg): 0.96 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 4992 5 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 6180

[startup+60.0075 s]
Raw data (loadavg): 0.97 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 5992 5 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223524 1075289770 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 6180

[startup+70.0084 s]
Raw data (loadavg): 0.97 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 6992 6 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 6180

[startup+80.0102 s]
Raw data (loadavg): 0.98 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 7991 6 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 6180

[startup+90.011 s]
Raw data (loadavg): 0.98 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 8991 6 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 6180

[startup+100.011 s]
Raw data (loadavg): 0.98 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 9990 7 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 6180

[startup+110.012 s]
Raw data (loadavg): 0.98 0.96 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 10990 7 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517673 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 6180

[startup+120.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 11989 8 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 6180

[startup+130.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 12989 8 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 6180

[startup+140.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 13989 8 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 6180

[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 14988 9 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223504 134527441 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 6180

[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 15988 10 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 6180

[startup+170.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 16987 10 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 6180

[startup+180.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 17987 10 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528460 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 6180

[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 18987 11 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223664 134554241 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 6180

[startup+200.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 19986 11 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134528383 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 6180

[startup+210.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 20986 12 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 6180

[startup+220.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 21986 12 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528492 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 6180

[startup+230.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 22986 12 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 6180

[startup+240.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 23985 13 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 239.98
Current children cumulated vsize (Kb) 6180

[startup+250.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 24985 13 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 6180

[startup+260.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 25985 14 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528490 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 6180

[startup+270.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 26984 14 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 269.98
Current children cumulated vsize (Kb) 6180

[startup+280.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 27984 14 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (Kb) 6180

[startup+290.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 28983 15 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 6180

[startup+300.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 29983 15 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 299.98
Current children cumulated vsize (Kb) 6180

[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 30983 15 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 309.98
Current children cumulated vsize (Kb) 6180

[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 31983 16 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 319.99
Current children cumulated vsize (Kb) 6180

[startup+330.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 32982 16 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 329.98
Current children cumulated vsize (Kb) 6180

[startup+340.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 33982 16 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134557228 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (Kb) 6180

[startup+350.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 34982 16 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 349.98
Current children cumulated vsize (Kb) 6180

[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 35982 17 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223472 134520270 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 359.99
Current children cumulated vsize (Kb) 6180

[startup+370.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 36981 17 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223368 1075285831 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 369.98
Current children cumulated vsize (Kb) 6180

[startup+380.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 37981 18 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 379.99
Current children cumulated vsize (Kb) 6180

[startup+390.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 38981 18 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 389.99
Current children cumulated vsize (Kb) 6180

[startup+400.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 39980 19 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 399.99
Current children cumulated vsize (Kb) 6180

[startup+410.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 40980 19 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 409.99
Current children cumulated vsize (Kb) 6180

[startup+420.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 41979 19 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223632 134563233 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 419.98
Current children cumulated vsize (Kb) 6180

[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 42979 20 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 429.99
Current children cumulated vsize (Kb) 6180

[startup+440.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 43979 20 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 439.99
Current children cumulated vsize (Kb) 6180

[startup+450.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 44979 20 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 449.99
Current children cumulated vsize (Kb) 6180

[startup+460.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 45979 21 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 460
Current children cumulated vsize (Kb) 6180

[startup+470.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 46978 21 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134519760 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 469.99
Current children cumulated vsize (Kb) 6180

[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 12542
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 47978 21 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 479.99
Current children cumulated vsize (Kb) 6180

[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.97 5/61 12568
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 48972 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 6180

[startup+500.043 s]
Raw data (loadavg): 1.07 0.99 0.97 2/56 12597
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 49972 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 499.99
Current children cumulated vsize (Kb) 6180

[startup+510.044 s]
Raw data (loadavg): 1.06 0.99 0.97 2/56 12597
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 50972 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 509.99
Current children cumulated vsize (Kb) 6180

[startup+520.044 s]
Raw data (loadavg): 1.05 0.99 0.97 2/56 12597
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 51972 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 519.99
Current children cumulated vsize (Kb) 6180

[startup+530.045 s]
Raw data (loadavg): 1.04 0.99 0.97 2/56 12597
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 52972 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 529.99
Current children cumulated vsize (Kb) 6180

[startup+540.046 s]
Raw data (loadavg): 1.03 0.99 0.97 2/56 12597
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 53973 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 540
Current children cumulated vsize (Kb) 6180

[startup+550.045 s]
Raw data (loadavg): 1.03 0.99 0.97 2/56 12597
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 54973 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 550
Current children cumulated vsize (Kb) 6180

[startup+560.046 s]
Raw data (loadavg): 1.02 0.99 0.97 2/56 12597
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 55973 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 560
Current children cumulated vsize (Kb) 6180

[startup+570.046 s]
Raw data (loadavg): 1.02 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 56973 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134557412 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 570
Current children cumulated vsize (Kb) 6180

[startup+580.047 s]
Raw data (loadavg): 1.02 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 57973 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 580
Current children cumulated vsize (Kb) 6180

[startup+590.048 s]
Raw data (loadavg): 1.01 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 58974 27 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 590.01
Current children cumulated vsize (Kb) 6180

[startup+600.049 s]
Raw data (loadavg): 1.01 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 59973 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 600.01
Current children cumulated vsize (Kb) 6180

[startup+610.049 s]
Raw data (loadavg): 1.01 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 60974 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 610.02
Current children cumulated vsize (Kb) 6180

[startup+620.049 s]
Raw data (loadavg): 1.01 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 61974 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 620.02
Current children cumulated vsize (Kb) 6180

[startup+630.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 62974 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 630.02
Current children cumulated vsize (Kb) 6180

[startup+640.051 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 63974 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (Kb) 6180

[startup+650.051 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 64974 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528490 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 650.02
Current children cumulated vsize (Kb) 6180

[startup+660.052 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 65974 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 660.02
Current children cumulated vsize (Kb) 6180

[startup+670.052 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 66975 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223472 134520247 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 670.03
Current children cumulated vsize (Kb) 6180

[startup+680.053 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 67975 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 680.03
Current children cumulated vsize (Kb) 6180

[startup+690.053 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 68975 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 690.03
Current children cumulated vsize (Kb) 6180

[startup+700.053 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 69975 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 700.03
Current children cumulated vsize (Kb) 6180

[startup+710.054 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 70975 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134556849 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 710.03
Current children cumulated vsize (Kb) 6180

[startup+720.054 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 71975 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 720.03
Current children cumulated vsize (Kb) 6180

[startup+730.054 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 72976 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 730.04
Current children cumulated vsize (Kb) 6180

[startup+740.055 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 73976 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 740.04
Current children cumulated vsize (Kb) 6180

[startup+750.055 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 74976 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 750.04
Current children cumulated vsize (Kb) 6180

[startup+760.056 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 75976 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 760.04
Current children cumulated vsize (Kb) 6180

[startup+770.056 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 76976 28 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 770.04
Current children cumulated vsize (Kb) 6180

[startup+780.057 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 77976 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 780.05
Current children cumulated vsize (Kb) 6180

[startup+790.058 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 78977 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 790.06
Current children cumulated vsize (Kb) 6180

[startup+800.058 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 79977 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134520047 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 800.06
Current children cumulated vsize (Kb) 6180

[startup+810.058 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 80977 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223228 1075289296 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 810.06
Current children cumulated vsize (Kb) 6180

[startup+820.059 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 81977 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223688 134560878 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 820.06
Current children cumulated vsize (Kb) 6180

[startup+830.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 82977 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559020 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 830.06
Current children cumulated vsize (Kb) 6180

[startup+840.061 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 83978 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 840.07
Current children cumulated vsize (Kb) 6180

[startup+850.062 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12601
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 84978 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 850.07
Current children cumulated vsize (Kb) 6180

[startup+860.062 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 85978 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 860.07
Current children cumulated vsize (Kb) 6180

[startup+870.062 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 86978 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 870.07
Current children cumulated vsize (Kb) 6180

[startup+880.063 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 87978 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528498 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 880.07
Current children cumulated vsize (Kb) 6180

[startup+890.064 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 88978 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 890.07
Current children cumulated vsize (Kb) 6180

[startup+900.064 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 89979 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223560 134519713 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 900.08
Current children cumulated vsize (Kb) 6180

[startup+910.064 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 90979 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 910.08
Current children cumulated vsize (Kb) 6180

[startup+920.064 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 91979 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 920.08
Current children cumulated vsize (Kb) 6180

[startup+930.065 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 92979 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 930.08
Current children cumulated vsize (Kb) 6180

[startup+940.066 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 93979 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517656 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 940.08
Current children cumulated vsize (Kb) 6180

[startup+950.066 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 94979 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 950.08
Current children cumulated vsize (Kb) 6180

[startup+960.067 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 95980 29 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 960.09
Current children cumulated vsize (Kb) 6180

[startup+970.067 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 96979 30 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 970.09
Current children cumulated vsize (Kb) 6180

[startup+980.068 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 97979 31 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 980.1
Current children cumulated vsize (Kb) 6180

[startup+990.068 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 98978 31 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 990.09
Current children cumulated vsize (Kb) 6180

[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 99978 31 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1000.09
Current children cumulated vsize (Kb) 6180

[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 100978 32 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134556858 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1010.1
Current children cumulated vsize (Kb) 6180

[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 101978 32 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223552 134516676 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1020.1
Current children cumulated vsize (Kb) 6180

[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 102978 32 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1030.1
Current children cumulated vsize (Kb) 6180

[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 103978 32 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1040.1
Current children cumulated vsize (Kb) 6180

[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 104978 32 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1050.1
Current children cumulated vsize (Kb) 6180

[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 105979 32 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1060.11
Current children cumulated vsize (Kb) 6180

[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 106979 32 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1070.11
Current children cumulated vsize (Kb) 6180

[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 107979 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1080.12
Current children cumulated vsize (Kb) 6180

[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 108979 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1090.12
Current children cumulated vsize (Kb) 6180

[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 109979 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1100.12
Current children cumulated vsize (Kb) 6180

[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 110979 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1110.12
Current children cumulated vsize (Kb) 6180

[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 111979 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1120.12
Current children cumulated vsize (Kb) 6180

[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 112979 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1130.12
Current children cumulated vsize (Kb) 6180

[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 113980 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1140.13
Current children cumulated vsize (Kb) 6180

[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 114980 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1150.13
Current children cumulated vsize (Kb) 6180

[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 115980 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1160.13
Current children cumulated vsize (Kb) 6180

[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 116980 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223584 134559082 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1170.13
Current children cumulated vsize (Kb) 6180

[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 117980 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1180.13
Current children cumulated vsize (Kb) 6180

[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 118980 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223472 134520192 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1190.13
Current children cumulated vsize (Kb) 6180

[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 119980 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (Kb) 6180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 12603
Raw data (/proc/12542/stat): 12542 (Pueblo) R 12541 12542 31915 0 -1 0 1175 0 0 0 119980 33 0 0 25 0 1 0 1801879982 6328320 1141 4294967295 134512640 134578447 3221224624 3221223192 1075289666 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12542/statm): 1545 1141 566 18 0 1527 0
[pid=12542] vsize: 6180
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (Kb) 6180

Sending SIGTERM to -12542
Sleeping 2 seconds
One traced child (pid=12542) 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.15
CPU user time (s): 1199.81
CPU system time (s): 0.342947
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (Kb): 6180

Verifier Data

ERROR: no interpretation found !