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/miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1185.16
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 38774

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        898124 kB
Buffers:         24092 kB
Cached:          89984 kB
SwapCached:        232 kB
Active:          35340 kB
Inactive:        81384 kB
HighTotal:      131008 kB
HighFree:        37688 kB
LowTotal:       903652 kB
LowFree:        860436 kB
SwapTotal:     2097136 kB
SwapFree:      2096476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6336 kB
Slab:            14092 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 17:07:34 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 26829 7 1200.24 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.92 0.95 0.93 2/54 12035
Raw data (stat): 12035 (runsolver) R 12034 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851335115 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+9.99998 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 2140 0 0 0 993 5 0 0 25 0 1 0 851335115 14667776 2114 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3581 2114 566 18 0 3563 0
vsize: 14324
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 2775 0 0 0 1992 7 0 0 25 0 1 0 851335115 17297408 2749 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4223 2749 566 18 0 4205 0
vsize: 16892
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 3446 0 0 0 2991 8 0 0 25 0 1 0 851335115 20058112 3420 4294967295 134512640 134581267 3221224576 3221223616 134565252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4897 3420 566 18 0 4879 0
vsize: 19588
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 3892 0 0 0 3990 9 0 0 25 0 1 0 851335115 21897216 3866 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5346 3866 566 18 0 5328 0
vsize: 21384
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4120 0 0 0 4989 10 0 0 25 0 1 0 851335115 22814720 4094 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5570 4094 566 18 0 5552 0
vsize: 22280
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4121 0 0 0 5989 10 0 0 25 0 1 0 851335115 22814720 4095 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5570 4095 566 18 0 5552 0
vsize: 22280
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4121 0 0 0 6989 10 0 0 25 0 1 0 851335115 22814720 4095 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5570 4095 566 18 0 5552 0
vsize: 22280
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4121 0 0 0 7990 10 0 0 25 0 1 0 851335115 22814720 4095 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5570 4095 566 18 0 5552 0
vsize: 22280
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4138 0 0 0 8990 10 0 0 25 0 1 0 851335115 22949888 4112 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 4112 566 18 0 5585 0
vsize: 22412
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4526 0 0 0 9989 11 0 0 25 0 1 0 851335115 24518656 4500 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5986 4500 566 18 0 5968 0
vsize: 23944
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4912 0 0 0 10988 12 0 0 25 0 1 0 851335115 26091520 4886 4294967295 134512640 134581267 3221224576 3221223472 134517779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4886 566 18 0 6352 0
vsize: 25480
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4912 0 0 0 11988 12 0 0 25 0 1 0 851335115 26091520 4886 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4886 566 18 0 6352 0
vsize: 25480
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4912 0 0 0 12988 12 0 0 25 0 1 0 851335115 26091520 4886 4294967295 134512640 134581267 3221224576 3221223520 134559270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4886 566 18 0 6352 0
vsize: 25480
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4912 0 0 0 13989 12 0 0 25 0 1 0 851335115 26091520 4886 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4886 566 18 0 6352 0
vsize: 25480
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4913 0 0 0 14989 12 0 0 25 0 1 0 851335115 26091520 4887 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4887 566 18 0 6352 0
vsize: 25480
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 4913 0 0 0 15989 12 0 0 25 0 1 0 851335115 26091520 4887 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4887 566 18 0 6352 0
vsize: 25480
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5116 0 0 0 16989 12 0 0 25 0 1 0 851335115 26877952 5090 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6562 5090 566 18 0 6544 0
vsize: 26248
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5116 0 0 0 17989 12 0 0 25 0 1 0 851335115 26877952 5090 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6562 5090 566 18 0 6544 0
vsize: 26248
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5493 0 0 0 18988 13 0 0 25 0 1 0 851335115 28483584 5467 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5467 566 18 0 6936 0
vsize: 27816
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5493 0 0 0 19989 13 0 0 25 0 1 0 851335115 28483584 5467 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5467 566 18 0 6936 0
vsize: 27816
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5494 0 0 0 20989 13 0 0 25 0 1 0 851335115 28483584 5468 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5468 566 18 0 6936 0
vsize: 27816
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5494 0 0 0 21989 13 0 0 25 0 1 0 851335115 28483584 5468 4294967295 134512640 134581267 3221224576 3221223568 134560902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5468 566 18 0 6936 0
vsize: 27816
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5494 0 0 0 22989 13 0 0 25 0 1 0 851335115 28483584 5468 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5468 566 18 0 6936 0
vsize: 27816
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5494 0 0 0 23989 13 0 0 25 0 1 0 851335115 28483584 5468 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5468 566 18 0 6936 0
vsize: 27816
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5494 0 0 0 24990 13 0 0 25 0 1 0 851335115 28483584 5468 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5468 566 18 0 6936 0
vsize: 27816
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5494 0 0 0 25990 13 0 0 25 0 1 0 851335115 28483584 5468 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5468 566 18 0 6936 0
vsize: 27816
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5494 0 0 0 26990 13 0 0 25 0 1 0 851335115 28483584 5468 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5468 566 18 0 6936 0
vsize: 27816
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5494 0 0 0 27990 13 0 0 25 0 1 0 851335115 28483584 5468 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5468 566 18 0 6936 0
vsize: 27816
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5494 0 0 0 28990 13 0 0 25 0 1 0 851335115 28483584 5468 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5468 566 18 0 6936 0
vsize: 27816
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5766 0 0 0 29990 14 0 0 25 0 1 0 851335115 29659136 5740 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7241 5740 566 18 0 7223 0
vsize: 28964
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5766 0 0 0 30990 14 0 0 25 0 1 0 851335115 29659136 5740 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7241 5740 566 18 0 7223 0
vsize: 28964
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5766 0 0 0 31990 14 0 0 25 0 1 0 851335115 29642752 5740 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7237 5740 566 18 0 7219 0
vsize: 28948
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5766 0 0 0 32990 14 0 0 25 0 1 0 851335115 29642752 5740 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7237 5740 566 18 0 7219 0
vsize: 28948
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5766 0 0 0 33991 14 0 0 25 0 1 0 851335115 29642752 5740 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7237 5740 566 18 0 7219 0
vsize: 28948
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5766 0 0 0 34991 14 0 0 25 0 1 0 851335115 29642752 5740 4294967295 134512640 134581267 3221224576 3221223568 134560717 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7237 5740 566 18 0 7219 0
vsize: 28948
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5766 0 0 0 35991 14 0 0 25 0 1 0 851335115 29642752 5740 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7237 5740 566 18 0 7219 0
vsize: 28948
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5766 0 0 0 36991 14 0 0 25 0 1 0 851335115 29642752 5740 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7237 5740 566 18 0 7219 0
vsize: 28948
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 5766 0 0 0 37991 14 0 0 25 0 1 0 851335115 29642752 5740 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7237 5740 566 18 0 7219 0
vsize: 28948
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6066 0 0 0 38990 15 0 0 25 0 1 0 851335115 30814208 6040 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7523 6040 566 18 0 7505 0
vsize: 30092
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6121 0 0 0 39990 15 0 0 25 0 1 0 851335115 31076352 6095 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7587 6095 566 18 0 7569 0
vsize: 30348
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6121 0 0 0 40991 15 0 0 25 0 1 0 851335115 31076352 6095 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7587 6095 566 18 0 7569 0
vsize: 30348
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6377 0 0 0 41991 15 0 0 25 0 1 0 851335115 32124928 6351 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 6351 566 18 0 7825 0
vsize: 31372
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6377 0 0 0 42991 15 0 0 25 0 1 0 851335115 32124928 6351 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 6351 566 18 0 7825 0
vsize: 31372
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6377 0 0 0 43991 15 0 0 25 0 1 0 851335115 32124928 6351 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 6351 566 18 0 7825 0
vsize: 31372
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6599 0 0 0 44991 16 0 0 25 0 1 0 851335115 33042432 6573 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8067 6573 566 18 0 8049 0
vsize: 32268
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6631 0 0 0 45991 16 0 0 25 0 1 0 851335115 33284096 6605 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6605 566 18 0 8108 0
vsize: 32504
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6631 0 0 0 46991 16 0 0 25 0 1 0 851335115 33284096 6605 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6605 566 18 0 8108 0
vsize: 32504
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6631 0 0 0 47991 16 0 0 25 0 1 0 851335115 33284096 6605 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6605 566 18 0 8108 0
vsize: 32504
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6631 0 0 0 48992 16 0 0 25 0 1 0 851335115 33284096 6605 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6605 566 18 0 8108 0
vsize: 32504
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6631 0 0 0 49992 16 0 0 25 0 1 0 851335115 33284096 6605 4294967295 134512640 134581267 3221224576 3221223536 134554664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6605 566 18 0 8108 0
vsize: 32504
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 50992 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 51992 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 52992 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 53993 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 54993 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223648 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 55993 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 56993 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 57993 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 58994 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 59994 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 60994 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223508 1075289756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 61994 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 62994 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6632 0 0 0 63995 16 0 0 25 0 1 0 851335115 33284096 6606 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8126 6606 566 18 0 8108 0
vsize: 32504
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6917 0 0 0 64994 16 0 0 25 0 1 0 851335115 34332672 6891 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6891 566 18 0 8364 0
vsize: 33528
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6917 0 0 0 65994 16 0 0 25 0 1 0 851335115 34332672 6891 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6891 566 18 0 8364 0
vsize: 33528
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6917 0 0 0 66995 16 0 0 25 0 1 0 851335115 34332672 6891 4294967295 134512640 134581267 3221224576 3221223488 134527707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6891 566 18 0 8364 0
vsize: 33528
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6917 0 0 0 67995 16 0 0 25 0 1 0 851335115 34332672 6891 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6891 566 18 0 8364 0
vsize: 33528
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6917 0 0 0 68995 16 0 0 25 0 1 0 851335115 34332672 6891 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6891 566 18 0 8364 0
vsize: 33528
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6917 0 0 0 69995 16 0 0 25 0 1 0 851335115 34332672 6891 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6891 566 18 0 8364 0
vsize: 33528
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 70995 16 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 71995 16 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223548 134554608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 72996 16 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 73996 16 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12035
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 74996 16 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+760.021 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 12088
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 75987 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+770.026 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 12088
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 76987 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+780.026 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 12088
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 77988 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+790.027 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 12088
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 78988 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+800.028 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 12088
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 79988 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+810.027 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 12088
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 80988 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+820.028 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 12088
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 81989 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+830.028 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 82989 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+840.029 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 83989 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223520 134558824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+850.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 84989 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223556 134561052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+860.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 85989 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+870.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 86990 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223504 134520105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+880.031 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 87990 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 88990 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 89990 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 90990 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223504 134519910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 91991 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+930.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 92991 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 93991 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223504 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+950.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 94991 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+960.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 95992 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223520 134559235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+970.036 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 6918 0 0 0 96992 25 0 0 25 0 1 0 851335115 34332672 6892 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 6892 566 18 0 8364 0
vsize: 33528
[startup+980.037 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7304 0 0 0 97991 26 0 0 25 0 1 0 851335115 35897344 7278 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8764 7278 566 18 0 8746 0
vsize: 35056
[startup+990.038 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7320 0 0 0 98991 26 0 0 25 0 1 0 851335115 36032512 7294 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8797 7294 566 18 0 8779 0
vsize: 35188
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7320 0 0 0 99991 26 0 0 25 0 1 0 851335115 36032512 7294 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8797 7294 566 18 0 8779 0
vsize: 35188
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7486 0 0 0 100991 27 0 0 25 0 1 0 851335115 36687872 7460 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8957 7460 566 18 0 8939 0
vsize: 35828
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7830 0 0 0 101991 28 0 0 25 0 1 0 851335115 38129664 7804 4294967295 134512640 134581267 3221224576 3221223536 134554613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7804 566 18 0 9291 0
vsize: 37236
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7830 0 0 0 102991 28 0 0 25 0 1 0 851335115 38129664 7804 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7804 566 18 0 9291 0
vsize: 37236
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7831 0 0 0 103991 28 0 0 25 0 1 0 851335115 38129664 7805 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7805 566 18 0 9291 0
vsize: 37236
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7831 0 0 0 104991 28 0 0 25 0 1 0 851335115 38129664 7805 4294967295 134512640 134581267 3221224576 3221223472 134517524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9309 7805 566 18 0 9291 0
vsize: 37236
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12090
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7831 0 0 0 105991 28 0 0 25 0 1 0 851335115 38129664 7805 4294967295 134512640 134581267 3221224576 3221223632 134556074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7805 566 18 0 9291 0
vsize: 37236
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7831 0 0 0 106991 28 0 0 25 0 1 0 851335115 38129664 7805 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7805 566 18 0 9291 0
vsize: 37236
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7831 0 0 0 107991 28 0 0 25 0 1 0 851335115 38129664 7805 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7805 566 18 0 9291 0
vsize: 37236
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7832 0 0 0 108991 28 0 0 25 0 1 0 851335115 38129664 7806 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7806 566 18 0 9291 0
vsize: 37236
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7832 0 0 0 109991 28 0 0 25 0 1 0 851335115 38129664 7806 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7806 566 18 0 9291 0
vsize: 37236
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7832 0 0 0 110992 28 0 0 25 0 1 0 851335115 38129664 7806 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7806 566 18 0 9291 0
vsize: 37236
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 7832 0 0 0 111992 28 0 0 25 0 1 0 851335115 38129664 7806 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7806 566 18 0 9291 0
vsize: 37236
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 8085 0 0 0 112991 29 0 0 25 0 1 0 851335115 39174144 8059 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9564 8059 566 18 0 9546 0
vsize: 38256
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 8247 0 0 0 113991 29 0 0 25 0 1 0 851335115 39829504 8221 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9724 8221 566 18 0 9706 0
vsize: 38896
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 8247 0 0 0 114991 29 0 0 25 0 1 0 851335115 39829504 8221 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9724 8221 566 18 0 9706 0
vsize: 38896
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 8247 0 0 0 115991 29 0 0 25 0 1 0 851335115 39829504 8221 4294967295 134512640 134581267 3221224576 3221223616 134565249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9724 8221 566 18 0 9706 0
vsize: 38896
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 8247 0 0 0 116991 29 0 0 25 0 1 0 851335115 39829504 8221 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9724 8221 566 18 0 9706 0
vsize: 38896
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 8247 0 0 0 117991 29 0 0 25 0 1 0 851335115 39829504 8221 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9724 8221 566 18 0 9706 0
vsize: 38896
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 8247 0 0 0 118992 29 0 0 25 0 1 0 851335115 39829504 8221 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9724 8221 566 18 0 9706 0
vsize: 38896
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 12092
Raw data (stat): 12035 (Pueblo-v2) R 12034 20224 20223 0 -1 0 8247 0 0 0 119992 29 0 0 25 0 1 0 851335115 39829504 8221 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9724 8221 566 18 0 9706 0
vsize: 38896
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.94 1/54 12092
Raw data (stat): 12035 (Pueblo-v2) Z 12034 20224 20223 0 -1 1036 8247 0 0 0 119992 31 0 0 25 0 1 0 851335115 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.24
CPU user time (s): 1199.92
CPU system time (s): 0.313952
CPU usage (%): 100.014
Max. virtual memory (Kb): 38896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####