Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

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

Trace number 7758

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        867416 kB
Buffers:         31560 kB
Cached:         106460 kB
SwapCached:        904 kB
Active:          69284 kB
Inactive:        71484 kB
HighTotal:      131008 kB
HighFree:        21952 kB
LowTotal:       903652 kB
LowFree:        845464 kB
SwapTotal:     2097892 kB
SwapFree:      2096536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            20932 kB
Committed_AS:    64152 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:13:23 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 4880 7 1200.21 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/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859048067 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 41 3 40 18 0 23 0
[pid=1593] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0034 s]
Raw data (loadavg): 0.84 0.92 0.73 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1290 0 0 0 993 4 0 0 25 0 1 0 1859048067 6860800 1256 4294967295 134512640 134578447 3221224624 3221223520 134520040 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 1675 1256 566 18 0 1657 0
[pid=1593] vsize: 6700
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 6700

[startup+20.0041 s]
Raw data (loadavg): 0.86 0.92 0.73 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1296 0 0 0 1993 4 0 0 25 0 1 0 1859048067 7020544 1262 4294967295 134512640 134578447 3221224624 3221223520 134519910 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 1714 1262 566 18 0 1696 0
[pid=1593] vsize: 6856
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 6856

[startup+30.0048 s]
Raw data (loadavg): 0.88 0.92 0.73 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1299 0 0 0 2994 4 0 0 25 0 1 0 1859048067 7020544 1265 4294967295 134512640 134578447 3221224624 3221223552 134531685 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 1714 1265 566 18 0 1696 0
[pid=1593] vsize: 6856
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 6856

[startup+40.0045 s]
Raw data (loadavg): 0.90 0.92 0.73 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1402 0 0 0 3993 4 0 0 25 0 1 0 1859048067 7413760 1368 4294967295 134512640 134578447 3221224624 3221223584 134559002 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 1810 1368 566 18 0 1792 0
[pid=1593] vsize: 7240
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 7240

[startup+50.0052 s]
Raw data (loadavg): 0.91 0.93 0.74 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1503 0 0 0 4993 5 0 0 25 0 1 0 1859048067 7811072 1469 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 1907 1469 566 18 0 1889 0
[pid=1593] vsize: 7628
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 7628

[startup+60.0059 s]
Raw data (loadavg): 0.93 0.93 0.74 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1552 0 0 0 5993 5 0 0 25 0 1 0 1859048067 7946240 1518 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 1940 1518 566 18 0 1922 0
[pid=1593] vsize: 7760
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 7760

[startup+70.0056 s]
Raw data (loadavg): 0.94 0.93 0.74 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1556 0 0 0 6993 5 0 0 25 0 1 0 1859048067 8089600 1522 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 1975 1522 566 18 0 1957 0
[pid=1593] vsize: 7900
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 7900

[startup+80.0064 s]
Raw data (loadavg): 0.95 0.93 0.74 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1636 0 0 0 7993 5 0 0 25 0 1 0 1859048067 8351744 1602 4294967295 134512640 134578447 3221224624 3221223648 134554100 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2039 1602 566 18 0 2021 0
[pid=1593] vsize: 8156
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 8156

[startup+90.0071 s]
Raw data (loadavg): 0.95 0.93 0.74 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1636 0 0 0 8993 5 0 0 25 0 1 0 1859048067 8351744 1602 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2039 1602 566 18 0 2021 0
[pid=1593] vsize: 8156
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 8156

[startup+100.008 s]
Raw data (loadavg): 0.96 0.94 0.75 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1688 0 0 0 9994 5 0 0 25 0 1 0 1859048067 8617984 1654 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2104 1654 566 18 0 2086 0
[pid=1593] vsize: 8416
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 8416

[startup+110.009 s]
Raw data (loadavg): 0.97 0.94 0.75 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1776 0 0 0 10994 5 0 0 25 0 1 0 1859048067 8884224 1742 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2169 1742 566 18 0 2151 0
[pid=1593] vsize: 8676
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 8676

[startup+120.008 s]
Raw data (loadavg): 0.97 0.94 0.75 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1776 0 0 0 11994 5 0 0 25 0 1 0 1859048067 8884224 1742 4294967295 134512640 134578447 3221224624 3221223520 134519982 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2169 1742 566 18 0 2151 0
[pid=1593] vsize: 8676
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 8676

[startup+130.008 s]
Raw data (loadavg): 0.98 0.94 0.75 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1816 0 0 0 12994 6 0 0 25 0 1 0 1859048067 9019392 1782 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2202 1782 566 18 0 2184 0
[pid=1593] vsize: 8808
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 8808

[startup+140.008 s]
Raw data (loadavg): 0.98 0.94 0.75 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1829 0 0 0 13994 6 0 0 25 0 1 0 1859048067 9150464 1795 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2234 1795 566 18 0 2216 0
[pid=1593] vsize: 8936
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 8936

[startup+150.008 s]
Raw data (loadavg): 0.98 0.94 0.75 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1829 0 0 0 14994 6 0 0 25 0 1 0 1859048067 9150464 1795 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2234 1795 566 18 0 2216 0
[pid=1593] vsize: 8936
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 8936

[startup+160.008 s]
Raw data (loadavg): 0.98 0.94 0.76 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1922 0 0 0 15994 6 0 0 25 0 1 0 1859048067 9609216 1888 4294967295 134512640 134578447 3221224624 3221223584 134558903 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2346 1888 566 18 0 2328 0
[pid=1593] vsize: 9384
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 9384

[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.76 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1922 0 0 0 16994 6 0 0 25 0 1 0 1859048067 9609216 1888 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2346 1888 566 18 0 2328 0
[pid=1593] vsize: 9384
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 9384

[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.76 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 1929 0 0 0 17994 6 0 0 25 0 1 0 1859048067 9609216 1895 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2346 1895 566 18 0 2328 0
[pid=1593] vsize: 9384
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 9384

[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.76 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2000 0 0 0 18994 6 0 0 25 0 1 0 1859048067 9875456 1966 4294967295 134512640 134578447 3221224624 3221223584 134559013 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2411 1966 566 18 0 2393 0
[pid=1593] vsize: 9644
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 9644

[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.76 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2000 0 0 0 19994 6 0 0 25 0 1 0 1859048067 9875456 1966 4294967295 134512640 134578447 3221224624 3221223496 134558258 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2411 1966 566 18 0 2393 0
[pid=1593] vsize: 9644
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 9644

[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.77 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2014 0 0 0 20994 6 0 0 25 0 1 0 1859048067 10010624 1980 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2444 1980 566 18 0 2426 0
[pid=1593] vsize: 9776
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 9776

[startup+220.009 s]
Raw data (loadavg): 0.99 0.95 0.77 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2210 0 0 0 21993 7 0 0 25 0 1 0 1859048067 10813440 2176 4294967295 134512640 134578447 3221224624 3221223472 134558163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2640 2176 566 18 0 2622 0
[pid=1593] vsize: 10560
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 10560

[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.77 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2245 0 0 0 22993 7 0 0 25 0 1 0 1859048067 10944512 2211 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2672 2211 566 18 0 2654 0
[pid=1593] vsize: 10688
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 10688

[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.77 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2250 0 0 0 23993 7 0 0 25 0 1 0 1859048067 10944512 2216 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2672 2216 566 18 0 2654 0
[pid=1593] vsize: 10688
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 10688

[startup+250.011 s]
Raw data (loadavg): 0.99 0.95 0.77 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2253 0 0 0 24993 7 0 0 25 0 1 0 1859048067 10944512 2219 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2672 2219 566 18 0 2654 0
[pid=1593] vsize: 10688
Current children cumulated CPU time (s) 250
Current children cumulated vsize (Kb) 10688

[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.78 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2283 0 0 0 25994 7 0 0 25 0 1 0 1859048067 11075584 2249 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2704 2249 566 18 0 2686 0
[pid=1593] vsize: 10816
Current children cumulated CPU time (s) 260.01
Current children cumulated vsize (Kb) 10816

[startup+270.011 s]
Raw data (loadavg): 0.99 0.95 0.78 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2289 0 0 0 26994 7 0 0 25 0 1 0 1859048067 11075584 2255 4294967295 134512640 134578447 3221224624 3221223584 134558842 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2704 2255 566 18 0 2686 0
[pid=1593] vsize: 10816
Current children cumulated CPU time (s) 270.01
Current children cumulated vsize (Kb) 10816

[startup+280.011 s]
Raw data (loadavg): 0.99 0.96 0.78 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2290 0 0 0 27994 7 0 0 25 0 1 0 1859048067 11075584 2256 4294967295 134512640 134578447 3221224624 3221223472 134558172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2704 2256 566 18 0 2686 0
[pid=1593] vsize: 10816
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 10816

[startup+290.011 s]
Raw data (loadavg): 0.99 0.96 0.78 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2296 0 0 0 28994 7 0 0 25 0 1 0 1859048067 11206656 2262 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2736 2262 566 18 0 2718 0
[pid=1593] vsize: 10944
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (Kb) 10944

[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.78 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2308 0 0 0 29994 7 0 0 25 0 1 0 1859048067 11206656 2274 4294967295 134512640 134578447 3221224624 3221223536 134557179 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2736 2274 566 18 0 2718 0
[pid=1593] vsize: 10944
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 10944

[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.79 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2308 0 0 0 30994 7 0 0 25 0 1 0 1859048067 11206656 2274 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2736 2274 566 18 0 2718 0
[pid=1593] vsize: 10944
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 10944

[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.79 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2487 0 0 0 31994 8 0 0 25 0 1 0 1859048067 11997184 2453 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2929 2453 566 18 0 2911 0
[pid=1593] vsize: 11716
Current children cumulated CPU time (s) 320.02
Current children cumulated vsize (Kb) 11716

[startup+330.013 s]
Raw data (loadavg): 0.99 0.96 0.79 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2487 0 0 0 32994 8 0 0 25 0 1 0 1859048067 11997184 2453 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2929 2453 566 18 0 2911 0
[pid=1593] vsize: 11716
Current children cumulated CPU time (s) 330.02
Current children cumulated vsize (Kb) 11716

[startup+340.013 s]
Raw data (loadavg): 0.99 0.96 0.79 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2488 0 0 0 33994 8 0 0 25 0 1 0 1859048067 11997184 2454 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2929 2454 566 18 0 2911 0
[pid=1593] vsize: 11716
Current children cumulated CPU time (s) 340.02
Current children cumulated vsize (Kb) 11716

[startup+350.014 s]
Raw data (loadavg): 0.99 0.96 0.79 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2494 0 0 0 34995 8 0 0 25 0 1 0 1859048067 11997184 2460 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 2929 2460 566 18 0 2911 0
[pid=1593] vsize: 11716
Current children cumulated CPU time (s) 350.03
Current children cumulated vsize (Kb) 11716

[startup+360.014 s]
Raw data (loadavg): 0.99 0.96 0.80 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2590 0 0 0 35995 8 0 0 25 0 1 0 1859048067 12394496 2556 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2556 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 360.03
Current children cumulated vsize (Kb) 12104

[startup+370.014 s]
Raw data (loadavg): 0.99 0.96 0.80 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2591 0 0 0 36995 8 0 0 25 0 1 0 1859048067 12394496 2557 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2557 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 370.03
Current children cumulated vsize (Kb) 12104

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2591 0 0 0 37995 8 0 0 25 0 1 0 1859048067 12394496 2557 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2557 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 380.03
Current children cumulated vsize (Kb) 12104

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2591 0 0 0 38995 8 0 0 25 0 1 0 1859048067 12394496 2557 4294967295 134512640 134578447 3221224624 3221223584 134559088 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2557 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 390.03
Current children cumulated vsize (Kb) 12104

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2591 0 0 0 39996 8 0 0 25 0 1 0 1859048067 12394496 2557 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2557 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 400.04
Current children cumulated vsize (Kb) 12104

[startup+410.016 s]
Raw data (loadavg): 1.23 1.02 0.82 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2591 0 0 0 40994 10 0 0 25 0 1 0 1859048067 12394496 2557 4294967295 134512640 134578447 3221224624 3221223576 134559033 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2557 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 410.04
Current children cumulated vsize (Kb) 12104

[startup+420.017 s]
Raw data (loadavg): 1.19 1.02 0.82 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2591 0 0 0 41994 10 0 0 25 0 1 0 1859048067 12394496 2557 4294967295 134512640 134578447 3221224624 3221223472 134558451 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2557 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 420.04
Current children cumulated vsize (Kb) 12104

[startup+430.017 s]
Raw data (loadavg): 1.16 1.02 0.82 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2591 0 0 0 42994 10 0 0 25 0 1 0 1859048067 12394496 2557 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2557 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 430.04
Current children cumulated vsize (Kb) 12104

[startup+440.017 s]
Raw data (loadavg): 1.14 1.02 0.82 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2591 0 0 0 43994 10 0 0 25 0 1 0 1859048067 12394496 2557 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2557 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 440.04
Current children cumulated vsize (Kb) 12104

[startup+450.018 s]
Raw data (loadavg): 1.12 1.01 0.83 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2591 0 0 0 44995 10 0 0 25 0 1 0 1859048067 12394496 2557 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2557 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 450.05
Current children cumulated vsize (Kb) 12104

[startup+460.018 s]
Raw data (loadavg): 1.10 1.01 0.83 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2593 0 0 0 45995 10 0 0 25 0 1 0 1859048067 12394496 2559 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2559 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 460.05
Current children cumulated vsize (Kb) 12104

[startup+470.017 s]
Raw data (loadavg): 1.08 1.01 0.83 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2594 0 0 0 46995 10 0 0 25 0 1 0 1859048067 12394496 2560 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2560 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 470.05
Current children cumulated vsize (Kb) 12104

[startup+480.018 s]
Raw data (loadavg): 1.07 1.01 0.83 2/56 1650
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2596 0 0 0 47995 10 0 0 25 0 1 0 1859048067 12394496 2562 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2562 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 480.05
Current children cumulated vsize (Kb) 12104

[startup+490.019 s]
Raw data (loadavg): 1.06 1.01 0.83 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2597 0 0 0 48995 10 0 0 25 0 1 0 1859048067 12394496 2563 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2563 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 490.05
Current children cumulated vsize (Kb) 12104

[startup+500.02 s]
Raw data (loadavg): 1.05 1.01 0.83 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2597 0 0 0 49995 10 0 0 25 0 1 0 1859048067 12394496 2563 4294967295 134512640 134578447 3221224624 3221223500 134558259 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2563 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 500.05
Current children cumulated vsize (Kb) 12104

[startup+510.02 s]
Raw data (loadavg): 1.04 1.01 0.83 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2597 0 0 0 50996 10 0 0 25 0 1 0 1859048067 12394496 2563 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2563 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 510.06
Current children cumulated vsize (Kb) 12104

[startup+520.02 s]
Raw data (loadavg): 1.03 1.01 0.83 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2597 0 0 0 51996 10 0 0 25 0 1 0 1859048067 12394496 2563 4294967295 134512640 134578447 3221224624 3221223472 134558409 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2563 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 520.06
Current children cumulated vsize (Kb) 12104

[startup+530.02 s]
Raw data (loadavg): 1.03 1.01 0.83 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2597 0 0 0 52996 10 0 0 25 0 1 0 1859048067 12394496 2563 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2563 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 530.06
Current children cumulated vsize (Kb) 12104

[startup+540.019 s]
Raw data (loadavg): 1.02 1.01 0.83 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2597 0 0 0 53996 10 0 0 25 0 1 0 1859048067 12394496 2563 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2563 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 540.06
Current children cumulated vsize (Kb) 12104

[startup+550.02 s]
Raw data (loadavg): 1.02 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2597 0 0 0 54996 10 0 0 25 0 1 0 1859048067 12394496 2563 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2563 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 550.06
Current children cumulated vsize (Kb) 12104

[startup+560.021 s]
Raw data (loadavg): 1.02 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2597 0 0 0 55996 10 0 0 25 0 1 0 1859048067 12394496 2563 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2563 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 560.06
Current children cumulated vsize (Kb) 12104

[startup+570.021 s]
Raw data (loadavg): 1.01 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2598 0 0 0 56997 10 0 0 25 0 1 0 1859048067 12394496 2564 4294967295 134512640 134578447 3221224624 3221223556 134552644 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2564 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 570.07
Current children cumulated vsize (Kb) 12104

[startup+580.02 s]
Raw data (loadavg): 1.01 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2598 0 0 0 57997 10 0 0 25 0 1 0 1859048067 12394496 2564 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2564 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 580.07
Current children cumulated vsize (Kb) 12104

[startup+590.02 s]
Raw data (loadavg): 1.01 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2604 0 0 0 58997 10 0 0 25 0 1 0 1859048067 12394496 2570 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2570 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 590.07
Current children cumulated vsize (Kb) 12104

[startup+600.021 s]
Raw data (loadavg): 1.01 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2611 0 0 0 59997 10 0 0 25 0 1 0 1859048067 12394496 2577 4294967295 134512640 134578447 3221224624 3221223584 134558886 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2577 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 600.07
Current children cumulated vsize (Kb) 12104

[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2611 0 0 0 60997 10 0 0 25 0 1 0 1859048067 12394496 2577 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3026 2577 566 18 0 3008 0
[pid=1593] vsize: 12104
Current children cumulated CPU time (s) 610.07
Current children cumulated vsize (Kb) 12104

[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2617 0 0 0 61997 10 0 0 25 0 1 0 1859048067 12558336 2583 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3066 2583 566 18 0 3048 0
[pid=1593] vsize: 12264
Current children cumulated CPU time (s) 620.07
Current children cumulated vsize (Kb) 12264

[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2618 0 0 0 62997 11 0 0 25 0 1 0 1859048067 12558336 2584 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3066 2584 566 18 0 3048 0
[pid=1593] vsize: 12264
Current children cumulated CPU time (s) 630.08
Current children cumulated vsize (Kb) 12264

[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2618 0 0 0 63997 11 0 0 25 0 1 0 1859048067 12558336 2584 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3066 2584 566 18 0 3048 0
[pid=1593] vsize: 12264
Current children cumulated CPU time (s) 640.08
Current children cumulated vsize (Kb) 12264

[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2618 0 0 0 64998 11 0 0 25 0 1 0 1859048067 12558336 2584 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3066 2584 566 18 0 3048 0
[pid=1593] vsize: 12264
Current children cumulated CPU time (s) 650.09
Current children cumulated vsize (Kb) 12264

[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2618 0 0 0 65998 11 0 0 25 0 1 0 1859048067 12558336 2584 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3066 2584 566 18 0 3048 0
[pid=1593] vsize: 12264
Current children cumulated CPU time (s) 660.09
Current children cumulated vsize (Kb) 12264

[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2727 0 0 0 66997 11 0 0 25 0 1 0 1859048067 12951552 2693 4294967295 134512640 134578447 3221224624 3221223520 134520047 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3162 2693 566 18 0 3144 0
[pid=1593] vsize: 12648
Current children cumulated CPU time (s) 670.08
Current children cumulated vsize (Kb) 12648

[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2727 0 0 0 67997 11 0 0 25 0 1 0 1859048067 12951552 2693 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3162 2693 566 18 0 3144 0
[pid=1593] vsize: 12648
Current children cumulated CPU time (s) 680.08
Current children cumulated vsize (Kb) 12648

[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2735 0 0 0 68998 11 0 0 25 0 1 0 1859048067 12951552 2701 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3162 2701 566 18 0 3144 0
[pid=1593] vsize: 12648
Current children cumulated CPU time (s) 690.09
Current children cumulated vsize (Kb) 12648

[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2735 0 0 0 69998 11 0 0 25 0 1 0 1859048067 12951552 2701 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3162 2701 566 18 0 3144 0
[pid=1593] vsize: 12648
Current children cumulated CPU time (s) 700.09
Current children cumulated vsize (Kb) 12648

[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2801 0 0 0 70998 11 0 0 25 0 1 0 1859048067 13217792 2767 4294967295 134512640 134578447 3221224624 3221223536 134557326 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3227 2767 566 18 0 3209 0
[pid=1593] vsize: 12908
Current children cumulated CPU time (s) 710.09
Current children cumulated vsize (Kb) 12908

[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2801 0 0 0 71998 11 0 0 25 0 1 0 1859048067 13217792 2767 4294967295 134512640 134578447 3221224624 3221223472 134558322 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3227 2767 566 18 0 3209 0
[pid=1593] vsize: 12908
Current children cumulated CPU time (s) 720.09
Current children cumulated vsize (Kb) 12908

[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2801 0 0 0 72998 12 0 0 25 0 1 0 1859048067 13217792 2767 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3227 2767 566 18 0 3209 0
[pid=1593] vsize: 12908
Current children cumulated CPU time (s) 730.1
Current children cumulated vsize (Kb) 12908

[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2802 0 0 0 73998 12 0 0 25 0 1 0 1859048067 13217792 2768 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3227 2768 566 18 0 3209 0
[pid=1593] vsize: 12908
Current children cumulated CPU time (s) 740.1
Current children cumulated vsize (Kb) 12908

[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2818 0 0 0 74998 12 0 0 25 0 1 0 1859048067 13348864 2784 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2784 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 750.1
Current children cumulated vsize (Kb) 13036

[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2819 0 0 0 75998 12 0 0 25 0 1 0 1859048067 13348864 2785 4294967295 134512640 134578447 3221224624 3221223472 134558340 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2785 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 760.1
Current children cumulated vsize (Kb) 13036

[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2819 0 0 0 76998 12 0 0 25 0 1 0 1859048067 13348864 2785 4294967295 134512640 134578447 3221224624 3221223552 134552645 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2785 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 770.1
Current children cumulated vsize (Kb) 13036

[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2820 0 0 0 77999 12 0 0 25 0 1 0 1859048067 13348864 2786 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2786 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 780.11
Current children cumulated vsize (Kb) 13036

[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2821 0 0 0 78999 12 0 0 25 0 1 0 1859048067 13348864 2787 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2787 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 790.11
Current children cumulated vsize (Kb) 13036

[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2821 0 0 0 79999 12 0 0 25 0 1 0 1859048067 13348864 2787 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2787 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 800.11
Current children cumulated vsize (Kb) 13036

[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2821 0 0 0 80999 12 0 0 25 0 1 0 1859048067 13348864 2787 4294967295 134512640 134578447 3221224624 3221223584 134558903 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2787 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 810.11
Current children cumulated vsize (Kb) 13036

[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2821 0 0 0 81999 12 0 0 25 0 1 0 1859048067 13348864 2787 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2787 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 820.11
Current children cumulated vsize (Kb) 13036

[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 83000 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 830.12
Current children cumulated vsize (Kb) 13036

[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 84000 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223472 134558200 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 840.12
Current children cumulated vsize (Kb) 13036

[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 85000 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 850.12
Current children cumulated vsize (Kb) 13036

[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 86000 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 860.12
Current children cumulated vsize (Kb) 13036

[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 87000 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 870.12
Current children cumulated vsize (Kb) 13036

[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 88001 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 880.13
Current children cumulated vsize (Kb) 13036

[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 89001 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 890.13
Current children cumulated vsize (Kb) 13036

[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 90001 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223472 134558340 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 900.13
Current children cumulated vsize (Kb) 13036

[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 91001 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 910.13
Current children cumulated vsize (Kb) 13036

[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 92001 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 920.13
Current children cumulated vsize (Kb) 13036

[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 93002 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223488 134520093 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 930.14
Current children cumulated vsize (Kb) 13036

[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2828 0 0 0 94002 12 0 0 25 0 1 0 1859048067 13348864 2794 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3259 2794 566 18 0 3241 0
[pid=1593] vsize: 13036
Current children cumulated CPU time (s) 940.14
Current children cumulated vsize (Kb) 13036

[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2837 0 0 0 95002 12 0 0 25 0 1 0 1859048067 13488128 2803 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3293 2803 566 18 0 3275 0
[pid=1593] vsize: 13172
Current children cumulated CPU time (s) 950.14
Current children cumulated vsize (Kb) 13172

[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2838 0 0 0 96003 12 0 0 25 0 1 0 1859048067 13488128 2804 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3293 2804 566 18 0 3275 0
[pid=1593] vsize: 13172
Current children cumulated CPU time (s) 960.15
Current children cumulated vsize (Kb) 13172

[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2838 0 0 0 97003 12 0 0 25 0 1 0 1859048067 13488128 2804 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3293 2804 566 18 0 3275 0
[pid=1593] vsize: 13172
Current children cumulated CPU time (s) 970.15
Current children cumulated vsize (Kb) 13172

[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2838 0 0 0 98003 12 0 0 25 0 1 0 1859048067 13488128 2804 4294967295 134512640 134578447 3221224624 3221223472 134558290 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3293 2804 566 18 0 3275 0
[pid=1593] vsize: 13172
Current children cumulated CPU time (s) 980.15
Current children cumulated vsize (Kb) 13172

[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2838 0 0 0 99003 12 0 0 25 0 1 0 1859048067 13488128 2804 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3293 2804 566 18 0 3275 0
[pid=1593] vsize: 13172
Current children cumulated CPU time (s) 990.15
Current children cumulated vsize (Kb) 13172

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2909 0 0 0 100003 12 0 0 25 0 1 0 1859048067 13754368 2875 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3358 2875 566 18 0 3340 0
[pid=1593] vsize: 13432
Current children cumulated CPU time (s) 1000.15
Current children cumulated vsize (Kb) 13432

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2912 0 0 0 101003 12 0 0 25 0 1 0 1859048067 13754368 2878 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3358 2878 566 18 0 3340 0
[pid=1593] vsize: 13432
Current children cumulated CPU time (s) 1010.15
Current children cumulated vsize (Kb) 13432

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2912 0 0 0 102003 12 0 0 25 0 1 0 1859048067 13754368 2878 4294967295 134512640 134578447 3221224624 3221223564 134552700 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3358 2878 566 18 0 3340 0
[pid=1593] vsize: 13432
Current children cumulated CPU time (s) 1020.15
Current children cumulated vsize (Kb) 13432

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2920 0 0 0 103004 12 0 0 25 0 1 0 1859048067 13754368 2886 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3358 2886 566 18 0 3340 0
[pid=1593] vsize: 13432
Current children cumulated CPU time (s) 1030.16
Current children cumulated vsize (Kb) 13432

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2930 0 0 0 104004 12 0 0 25 0 1 0 1859048067 13754368 2896 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3358 2896 566 18 0 3340 0
[pid=1593] vsize: 13432
Current children cumulated CPU time (s) 1040.16
Current children cumulated vsize (Kb) 13432

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2977 0 0 0 105004 12 0 0 25 0 1 0 1859048067 14069760 2943 4294967295 134512640 134578447 3221224624 3221223500 134558259 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3435 2943 566 18 0 3417 0
[pid=1593] vsize: 13740
Current children cumulated CPU time (s) 1050.16
Current children cumulated vsize (Kb) 13740

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2977 0 0 0 106004 12 0 0 25 0 1 0 1859048067 14069760 2943 4294967295 134512640 134578447 3221224624 3221223584 134559085 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3435 2943 566 18 0 3417 0
[pid=1593] vsize: 13740
Current children cumulated CPU time (s) 1060.16
Current children cumulated vsize (Kb) 13740

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2978 0 0 0 107004 12 0 0 25 0 1 0 1859048067 14069760 2944 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3435 2944 566 18 0 3417 0
[pid=1593] vsize: 13740
Current children cumulated CPU time (s) 1070.16
Current children cumulated vsize (Kb) 13740

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2984 0 0 0 108004 13 0 0 25 0 1 0 1859048067 14069760 2950 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3435 2950 566 18 0 3417 0
[pid=1593] vsize: 13740
Current children cumulated CPU time (s) 1080.17
Current children cumulated vsize (Kb) 13740

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 2989 0 0 0 109004 13 0 0 25 0 1 0 1859048067 14069760 2955 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3435 2955 566 18 0 3417 0
[pid=1593] vsize: 13740
Current children cumulated CPU time (s) 1090.17
Current children cumulated vsize (Kb) 13740

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3097 0 0 0 110004 13 0 0 25 0 1 0 1859048067 14462976 3063 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3531 3063 566 18 0 3513 0
[pid=1593] vsize: 14124
Current children cumulated CPU time (s) 1100.17
Current children cumulated vsize (Kb) 14124

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3097 0 0 0 111004 13 0 0 25 0 1 0 1859048067 14462976 3063 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3531 3063 566 18 0 3513 0
[pid=1593] vsize: 14124
Current children cumulated CPU time (s) 1110.17
Current children cumulated vsize (Kb) 14124

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3097 0 0 0 112004 13 0 0 25 0 1 0 1859048067 14462976 3063 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3531 3063 566 18 0 3513 0
[pid=1593] vsize: 14124
Current children cumulated CPU time (s) 1120.17
Current children cumulated vsize (Kb) 14124

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3097 0 0 0 113004 13 0 0 25 0 1 0 1859048067 14462976 3063 4294967295 134512640 134578447 3221224624 3221223584 134559085 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3531 3063 566 18 0 3513 0
[pid=1593] vsize: 14124
Current children cumulated CPU time (s) 1130.17
Current children cumulated vsize (Kb) 14124

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3104 0 0 0 114004 13 0 0 25 0 1 0 1859048067 14626816 3070 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3571 3070 566 18 0 3553 0
[pid=1593] vsize: 14284
Current children cumulated CPU time (s) 1140.17
Current children cumulated vsize (Kb) 14284

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3144 0 0 0 115004 13 0 0 25 0 1 0 1859048067 14757888 3110 4294967295 134512640 134578447 3221224624 3221223520 134519847 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3603 3110 566 18 0 3585 0
[pid=1593] vsize: 14412
Current children cumulated CPU time (s) 1150.17
Current children cumulated vsize (Kb) 14412

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3144 0 0 0 116005 13 0 0 25 0 1 0 1859048067 14757888 3110 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3603 3110 566 18 0 3585 0
[pid=1593] vsize: 14412
Current children cumulated CPU time (s) 1160.18
Current children cumulated vsize (Kb) 14412

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3144 0 0 0 117005 14 0 0 25 0 1 0 1859048067 14757888 3110 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3603 3110 566 18 0 3585 0
[pid=1593] vsize: 14412
Current children cumulated CPU time (s) 1170.19
Current children cumulated vsize (Kb) 14412

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3144 0 0 0 118005 14 0 0 25 0 1 0 1859048067 14757888 3110 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3603 3110 566 18 0 3585 0
[pid=1593] vsize: 14412
Current children cumulated CPU time (s) 1180.19
Current children cumulated vsize (Kb) 14412

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3144 0 0 0 119005 14 0 0 25 0 1 0 1859048067 14757888 3110 4294967295 134512640 134578447 3221224624 3221223552 134516652 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3603 3110 566 18 0 3585 0
[pid=1593] vsize: 14412
Current children cumulated CPU time (s) 1190.19
Current children cumulated vsize (Kb) 14412

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3144 0 0 0 120005 14 0 0 25 0 1 0 1859048067 14757888 3110 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3603 3110 566 18 0 3585 0
[pid=1593] vsize: 14412
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (Kb) 14412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 2660 0 -1 0 3144 0 0 0 120005 14 0 0 25 0 1 0 1859048067 14757888 3110 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3603 3110 566 18 0 3585 0
[pid=1593] vsize: 14412
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (Kb) 14412

Sending SIGTERM to -1593
Sleeping 2 seconds
One traced child (pid=1593) 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.06
CPU time (s): 1200.21
CPU user time (s): 1200.06
CPU system time (s): 0.147977
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (Kb): 14412

Verifier Data

ERROR: no interpretation found !