PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM	4f0cac14ed3568050c2c57bb69fdb664
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 38740

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 16:09:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26799 boxname=wulflinc6 idbench=927 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 26799
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        730672 kB
Buffers:         33720 kB
Cached:         249424 kB
SwapCached:        552 kB
Active:          57084 kB
Inactive:       228208 kB
HighTotal:      131008 kB
HighFree:         1260 kB
LowTotal:       903652 kB
LowFree:        729412 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13112 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 16:29:12 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 26799 7 1200.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 1/54 17787
Raw data (stat): 17787 (runsolver) R 17786 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851112070 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 1457 0 0 0 997 2 0 0 25 0 1 0 851112070 11685888 1431 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2853 1431 566 18 0 2835 0
vsize: 11412
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 1622 0 0 0 1997 2 0 0 25 0 1 0 851112070 12333056 1596 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 1596 566 18 0 2993 0
vsize: 12044
[startup+30.002 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 2383 0 0 0 2996 3 0 0 25 0 1 0 851112070 15474688 2357 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3778 2357 566 18 0 3760 0
vsize: 15112
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 2545 0 0 0 3996 4 0 0 25 0 1 0 851112070 16093184 2519 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3929 2519 566 18 0 3911 0
vsize: 15716
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 2901 0 0 0 4996 4 0 0 25 0 1 0 851112070 17489920 2875 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4270 2875 566 18 0 4252 0
vsize: 17080
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 2901 0 0 0 5996 4 0 0 25 0 1 0 851112070 17489920 2875 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4270 2875 566 18 0 4252 0
vsize: 17080
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3419 0 0 0 6995 6 0 0 25 0 1 0 851112070 19718144 3393 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3393 566 18 0 4796 0
vsize: 19256
[startup+80.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3419 0 0 0 7995 6 0 0 25 0 1 0 851112070 19714048 3393 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4813 3393 566 18 0 4795 0
vsize: 19252
[startup+90.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3419 0 0 0 8996 6 0 0 25 0 1 0 851112070 19173376 3289 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4681 3289 566 18 0 4663 0
vsize: 18724
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3420 0 0 0 9996 6 0 0 25 0 1 0 851112070 19173376 3290 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4681 3290 566 18 0 4663 0
vsize: 18724
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3635 0 0 0 10996 6 0 0 25 0 1 0 851112070 20160512 3505 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4922 3505 566 18 0 4904 0
vsize: 19688
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3888 0 0 0 11996 7 0 0 25 0 1 0 851112070 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3888 0 0 0 12996 7 0 0 25 0 1 0 851112070 21168128 3758 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3888 0 0 0 13997 7 0 0 25 0 1 0 851112070 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3888 0 0 0 14997 7 0 0 25 0 1 0 851112070 21168128 3758 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3888 0 0 0 15998 7 0 0 25 0 1 0 851112070 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3888 0 0 0 16998 7 0 0 25 0 1 0 851112070 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3888 0 0 0 17998 7 0 0 25 0 1 0 851112070 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3888 0 0 0 18999 7 0 0 25 0 1 0 851112070 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 3888 0 0 0 19999 7 0 0 25 0 1 0 851112070 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 4074 0 0 0 20999 7 0 0 25 0 1 0 851112070 21909504 3944 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5349 3944 566 18 0 5331 0
vsize: 21396
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 4138 0 0 0 21999 7 0 0 25 0 1 0 851112070 22159360 4008 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4008 566 18 0 5392 0
vsize: 21640
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 4456 0 0 0 22999 8 0 0 25 0 1 0 851112070 23511040 4326 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 4456 0 0 0 23999 8 0 0 25 0 1 0 851112070 23511040 4326 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 4456 0 0 0 24999 8 0 0 25 0 1 0 851112070 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 4456 0 0 0 26000 8 0 0 25 0 1 0 851112070 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 4456 0 0 0 27000 8 0 0 25 0 1 0 851112070 23511040 4326 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 4805 0 0 0 27999 9 0 0 25 0 1 0 851112070 24883200 4675 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6075 4675 566 18 0 6057 0
vsize: 24300
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 4889 0 0 0 28999 10 0 0 25 0 1 0 851112070 25260032 4759 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6167 4759 566 18 0 6149 0
vsize: 24668
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5509 0 0 0 29998 12 0 0 25 0 1 0 851112070 27734016 5379 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6771 5379 566 18 0 6753 0
vsize: 27084
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5604 0 0 0 30998 12 0 0 25 0 1 0 851112070 28225536 5474 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6891 5474 566 18 0 6873 0
vsize: 27564
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 31998 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 32998 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 33999 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 34999 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 35999 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 37000 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 38000 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 39000 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 40001 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 5605 0 0 0 41001 12 0 0 25 0 1 0 851112070 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 42000 13 0 0 25 0 1 0 851112070 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 43001 13 0 0 25 0 1 0 851112070 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 44001 13 0 0 25 0 1 0 851112070 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 45002 13 0 0 25 0 1 0 851112070 30294016 5988 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 46002 13 0 0 25 0 1 0 851112070 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 47002 13 0 0 25 0 1 0 851112070 30294016 5988 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 48003 13 0 0 25 0 1 0 851112070 30294016 5988 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 49003 13 0 0 25 0 1 0 851112070 30089216 5955 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7346 5955 566 18 0 7328 0
vsize: 29384
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 50003 13 0 0 25 0 1 0 851112070 30060544 5948 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7339 5948 566 18 0 7321 0
vsize: 29356
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 51004 13 0 0 25 0 1 0 851112070 30060544 5948 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7339 5948 566 18 0 7321 0
vsize: 29356
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 52004 13 0 0 25 0 1 0 851112070 30052352 5946 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 53005 13 0 0 25 0 1 0 851112070 30052352 5946 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 54005 13 0 0 25 0 1 0 851112070 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 55005 13 0 0 25 0 1 0 851112070 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 56005 14 0 0 25 0 1 0 851112070 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 57006 14 0 0 25 0 1 0 851112070 30052352 5946 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 58006 14 0 0 25 0 1 0 851112070 30052352 5946 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 59007 14 0 0 25 0 1 0 851112070 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 60007 14 0 0 25 0 1 0 851112070 30048256 5945 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 61007 14 0 0 25 0 1 0 851112070 30048256 5945 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 62008 14 0 0 25 0 1 0 851112070 30048256 5945 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 63008 14 0 0 25 0 1 0 851112070 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 64008 14 0 0 25 0 1 0 851112070 30048256 5945 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 65009 14 0 0 25 0 1 0 851112070 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6118 0 0 0 66009 14 0 0 25 0 1 0 851112070 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6263 0 0 0 67009 14 0 0 25 0 1 0 851112070 30679040 6090 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 6090 566 18 0 7472 0
vsize: 29960
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6263 0 0 0 68009 14 0 0 25 0 1 0 851112070 30679040 6090 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 6090 566 18 0 7472 0
vsize: 29960
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 6874 0 0 0 69008 16 0 0 25 0 1 0 851112070 33153024 6701 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8094 6701 566 18 0 8076 0
vsize: 32376
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 70008 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 71009 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 72009 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 73009 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 74010 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 75010 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 76010 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 77011 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223492 1075285501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 78011 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 79011 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134566357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 80012 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 81012 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 82013 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 83013 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 84013 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 85014 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 86014 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 87014 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 88015 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 89015 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 90016 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 91016 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 92016 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 93017 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 94017 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 95017 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134527752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 96018 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 97018 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 98018 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 99019 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 100019 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 101020 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 102020 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 103020 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 104021 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 105021 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1060.05 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 106022 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1070.05 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 107022 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1080.05 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 108022 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1090.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 109023 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1100.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 110023 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1110.05 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 111023 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1120.05 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 112024 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1130.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 113024 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1140.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 114024 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1150.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 115025 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223456 134520258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1160.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 116025 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1170.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 117026 16 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1180.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7005 0 0 0 118026 17 0 0 25 0 1 0 851112070 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1190.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7776 0 0 0 119024 18 0 0 25 0 1 0 851112070 36909056 7603 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9011 7603 566 18 0 8993 0
vsize: 36044
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17787
Raw data (stat): 17787 (Pueblo-v2) R 17786 25568 25567 0 -1 0 7863 0 0 0 120025 19 0 0 25 0 1 0 851112070 37277696 7690 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9101 7690 566 18 0 9083 0
vsize: 36404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 17787
Raw data (stat): 17787 (Pueblo-v2) Z 17786 25568 25567 0 -1 1036 7863 0 0 0 120025 20 0 0 25 0 1 0 851112070 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.46
CPU user time (s): 1200.25
CPU system time (s): 0.205968
CPU usage (%): 100.032
Max. virtual memory (Kb): 36404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####