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/miplib3/normalized-mps-v2-20-10-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4742
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
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.33
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 38851

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 18:04:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26910 boxname=wulflinc4 idbench=1038 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 26910
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        299184 kB
Buffers:         34976 kB
Cached:         677912 kB
SwapCached:        568 kB
Active:          43304 kB
Inactive:       671632 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        298932 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14880 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 18:24:37 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 26910 7 1200.26 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.51 0.81 0.85 1/54 16482
Raw data (stat): 16482 (runsolver) R 16481 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851796467 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.59 0.81 0.86 2/54 16482
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 1421 0 0 0 995 3 0 0 25 0 1 0 851796467 11395072 1395 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1395 566 18 0 2764 0
vsize: 11128
[startup+20.0023 s]
Raw data (loadavg): 0.65 0.82 0.86 2/54 16482
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 1713 0 0 0 1995 3 0 0 25 0 1 0 851796467 12570624 1687 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3069 1687 566 18 0 3051 0
vsize: 12276
[startup+30.0019 s]
Raw data (loadavg): 0.70 0.82 0.86 2/54 16482
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 2292 0 0 0 2995 4 0 0 25 0 1 0 851796467 15028224 2266 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2268 566 18 0 3651 0
vsize: 14676
[startup+40.0018 s]
Raw data (loadavg): 0.75 0.83 0.86 2/54 16482
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 2617 0 0 0 3994 5 0 0 25 0 1 0 851796467 16310272 2591 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3982 2591 566 18 0 3964 0
vsize: 15928
[startup+50.0016 s]
Raw data (loadavg): 0.79 0.83 0.86 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 2816 0 0 0 4994 6 0 0 25 0 1 0 851796467 17076224 2790 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4169 2790 566 18 0 4151 0
vsize: 16676
[startup+60.0025 s]
Raw data (loadavg): 0.82 0.84 0.86 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 2816 0 0 0 5994 6 0 0 25 0 1 0 851796467 16896000 2749 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4125 2749 566 18 0 4107 0
vsize: 16500
[startup+70.0034 s]
Raw data (loadavg): 0.85 0.84 0.86 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 2816 0 0 0 6994 6 0 0 25 0 1 0 851796467 16891904 2748 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4124 2748 566 18 0 4106 0
vsize: 16496
[startup+80.0035 s]
Raw data (loadavg): 0.87 0.85 0.86 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 2816 0 0 0 7994 6 0 0 25 0 1 0 851796467 16891904 2748 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4124 2748 566 18 0 4106 0
vsize: 16496
[startup+90.0041 s]
Raw data (loadavg): 0.89 0.85 0.86 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 2889 0 0 0 8994 6 0 0 25 0 1 0 851796467 17293312 2821 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4222 2821 566 18 0 4204 0
vsize: 16888
[startup+100.004 s]
Raw data (loadavg): 0.91 0.86 0.86 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3014 0 0 0 9994 6 0 0 25 0 1 0 851796467 17805312 2946 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4347 2946 566 18 0 4329 0
vsize: 17388
[startup+110.005 s]
Raw data (loadavg): 0.92 0.86 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3014 0 0 0 10995 6 0 0 25 0 1 0 851796467 17805312 2946 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4347 2946 566 18 0 4329 0
vsize: 17388
[startup+120.006 s]
Raw data (loadavg): 0.93 0.87 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3146 0 0 0 11995 6 0 0 25 0 1 0 851796467 18309120 3078 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4470 3078 566 18 0 4452 0
vsize: 17880
[startup+130.006 s]
Raw data (loadavg): 0.94 0.87 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 12994 7 0 0 25 0 1 0 851796467 20176896 3548 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4926 3548 566 18 0 4908 0
vsize: 19704
[startup+140.007 s]
Raw data (loadavg): 0.95 0.87 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 13994 7 0 0 25 0 1 0 851796467 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+150.007 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 14994 7 0 0 25 0 1 0 851796467 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+160.008 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 15994 7 0 0 25 0 1 0 851796467 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+170.008 s]
Raw data (loadavg): 0.97 0.88 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 16995 7 0 0 25 0 1 0 851796467 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+180.008 s]
Raw data (loadavg): 0.97 0.89 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 17995 7 0 0 25 0 1 0 851796467 20164608 3547 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+190.009 s]
Raw data (loadavg): 0.98 0.89 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 18995 7 0 0 25 0 1 0 851796467 20148224 3543 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+200.01 s]
Raw data (loadavg): 0.98 0.89 0.87 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 19995 7 0 0 25 0 1 0 851796467 20148224 3543 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+210.01 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 20995 7 0 0 25 0 1 0 851796467 20148224 3543 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+220.012 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 21996 7 0 0 25 0 1 0 851796467 20148224 3543 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+230.011 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 22996 7 0 0 25 0 1 0 851796467 20148224 3543 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+240.012 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3616 0 0 0 23996 7 0 0 25 0 1 0 851796467 20148224 3543 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+250.013 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 3730 0 0 0 24996 7 0 0 25 0 1 0 851796467 20647936 3657 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5041 3657 566 18 0 5023 0
vsize: 20164
[startup+260.014 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 25995 9 0 0 25 0 1 0 851796467 23396352 4323 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5712 4323 566 18 0 5694 0
vsize: 22848
[startup+270.014 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 26995 9 0 0 25 0 1 0 851796467 23273472 4306 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5682 4306 566 18 0 5664 0
vsize: 22728
[startup+280.014 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 27995 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223456 134520282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+290.015 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 28995 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+300.014 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 29996 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+310.016 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 30996 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+320.016 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 31996 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+330.016 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 32996 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+340.016 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 33996 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+350.016 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 34996 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+360.016 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 35997 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+370.017 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 36997 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+380.016 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 37997 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+390.017 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 38997 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+400.017 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 39997 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+410.018 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 40998 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+420.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 41998 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+430.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 42998 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+440.019 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 43998 9 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+450.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 44998 10 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+460.019 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 45998 10 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+470.019 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 46998 10 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+480.019 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 47998 10 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223228 1075289104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+490.019 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 48998 10 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+500.02 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 49998 10 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+510.02 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4396 0 0 0 50998 10 0 0 25 0 1 0 851796467 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+520.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4597 0 0 0 51998 10 0 0 25 0 1 0 851796467 23687168 4391 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5783 4391 566 18 0 5765 0
vsize: 23132
[startup+530.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 52997 11 0 0 25 0 1 0 851796467 25116672 4738 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6132 4738 566 18 0 6114 0
vsize: 24528
[startup+540.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 53998 11 0 0 25 0 1 0 851796467 25116672 4738 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6132 4738 566 18 0 6114 0
vsize: 24528
[startup+550.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 54998 11 0 0 25 0 1 0 851796467 25116672 4738 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6132 4738 566 18 0 6114 0
vsize: 24528
[startup+560.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 55998 11 0 0 25 0 1 0 851796467 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+570.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 56998 11 0 0 25 0 1 0 851796467 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+580.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 57998 11 0 0 25 0 1 0 851796467 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+590.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 58999 11 0 0 25 0 1 0 851796467 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+600.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 59999 11 0 0 25 0 1 0 851796467 25010176 4730 4294967295 134512640 134581267 3221224576 3221223452 1075285088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+610.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 60999 11 0 0 25 0 1 0 851796467 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+620.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 61999 11 0 0 25 0 1 0 851796467 24985600 4724 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6100 4724 566 18 0 6082 0
vsize: 24400
[startup+630.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 62999 12 0 0 25 0 1 0 851796467 24985600 4724 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6100 4724 566 18 0 6082 0
vsize: 24400
[startup+640.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 63999 12 0 0 25 0 1 0 851796467 24981504 4723 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6099 4723 566 18 0 6081 0
vsize: 24396
[startup+650.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 65000 12 0 0 25 0 1 0 851796467 24977408 4722 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6098 4722 566 18 0 6080 0
vsize: 24392
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 66000 12 0 0 25 0 1 0 851796467 24977408 4722 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6098 4722 566 18 0 6080 0
vsize: 24392
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 67000 12 0 0 25 0 1 0 851796467 24969216 4720 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 68000 12 0 0 25 0 1 0 851796467 24969216 4720 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 69000 12 0 0 25 0 1 0 851796467 24969216 4720 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 70000 12 0 0 25 0 1 0 851796467 24928256 4710 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6086 4710 566 18 0 6068 0
vsize: 24344
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 71001 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223568 134561076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 72001 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 73001 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 74001 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 75001 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 76002 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 77002 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 78002 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 79002 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 4944 0 0 0 80002 12 0 0 25 0 1 0 851796467 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 81002 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 82002 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 83002 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 84002 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 85002 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+860.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 86005 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+870.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 87005 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+880.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 88005 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+890.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 89005 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+900.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 90005 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 91006 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+920.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 92006 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+930.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 93006 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+940.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 94006 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+950.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 95006 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+960.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 96006 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+970.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 97007 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+980.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 98007 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+990.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 99007 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 100007 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 101007 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 102007 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 103008 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 104008 13 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 105007 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 106007 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 107008 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 108008 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 109008 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 110008 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 111008 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 112008 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 113008 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 114008 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223440 134528097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 115009 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1160.06 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 116009 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1170.06 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 117009 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1180.06 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 118009 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1190.06 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 119009 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1200.06 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 16484
Raw data (stat): 16482 (Pueblo-v2) R 16481 21152 21151 0 -1 0 5298 0 0 0 120009 14 0 0 25 0 1 0 851796467 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.07 1.00 0.92 1/54 16484
Raw data (stat): 16482 (Pueblo-v2) Z 16481 21152 21151 0 -1 1036 5298 0 0 0 120009 15 0 0 25 0 1 0 851796467 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.26
CPU user time (s): 1200.1
CPU system time (s): 0.159975
CPU usage (%): 100.015
Max. virtual memory (Kb): 25724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####