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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM	44b9f0f81a9b533b0f9e0fd187bafc3d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	198658
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	38727219
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	30720
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	38727219
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	8.39472
Number of variables	874498
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	14080
Trace number 38964

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 19:07:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27008 boxname=wulflinc6 idbench=1136 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  44b9f0f81a9b533b0f9e0fd187bafc3d  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos9.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos9.opb
IDLAUNCH: 27008
/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:        292384 kB
Buffers:         34016 kB
Cached:         686436 kB
SwapCached:        552 kB
Active:         122976 kB
Inactive:       599600 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        292132 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14032 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 19:27:32 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 27008 7 1200.57 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.89 0.91 0.90 2/54 20095
Raw data (stat): 20095 (runsolver) R 20094 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852182216 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.001 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 9905 0 0 0 971 28 0 0 25 0 1 0 852182216 42983424 9880 4294967295 134512640 134581267 3221224576 3217028840 1075245120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10494 9880 566 18 0 10476 0
vsize: 41976
[startup+20.0016 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 24126 0 0 0 1929 70 0 0 25 0 1 0 852182216 101232640 24101 4294967295 134512640 134581267 3221224576 3217028860 1075243344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24715 24101 566 18 0 24697 0
vsize: 98860
[startup+30.0021 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 29605 0 0 0 2912 87 0 0 25 0 1 0 852182216 123600896 29580 4294967295 134512640 134581267 3221224576 3217028812 1075310604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30176 29582 566 18 0 30158 0
vsize: 120704
[startup+40.0032 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 32473 0 0 0 3901 98 0 0 25 0 1 0 852182216 135331840 32448 4294967295 134512640 134581267 3221224576 3217028856 1075310237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33040 32448 566 18 0 33022 0
vsize: 132160
[startup+50.004 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 35166 0 0 0 4889 111 0 0 25 0 1 0 852182216 146382848 35141 4294967295 134512640 134581267 3221224576 3217028848 1075243365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35738 35141 566 18 0 35720 0
vsize: 142952
[startup+60.0044 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 37874 0 0 0 5879 121 0 0 25 0 1 0 852182216 157429760 37849 4294967295 134512640 134581267 3221224576 3217028880 134541817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38435 37851 566 18 0 38417 0
vsize: 153740
[startup+70.0036 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 183943 0 0 0 6532 469 0 0 25 0 1 0 852182216 267128832 60528 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60536 566 18 0 65199 0
vsize: 260868
[startup+80.0038 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 447955 0 0 0 6899 1102 0 0 25 0 1 0 852182216 267128832 60345 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60352 566 18 0 65199 0
vsize: 260868
[startup+90.004 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 712129 0 0 0 7263 1738 0 0 25 0 1 0 852182216 267128832 60324 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60332 566 18 0 65199 0
vsize: 260868
[startup+100.004 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 976307 0 0 0 7639 2363 0 0 25 0 1 0 852182216 267128832 60307 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60314 566 18 0 65199 0
vsize: 260868
[startup+110.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 1240396 0 0 0 8013 2989 0 0 25 0 1 0 852182216 267128832 60201 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60208 566 18 0 65199 0
vsize: 260868
[startup+120.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 1504554 0 0 0 8387 3615 0 0 25 0 1 0 852182216 267128832 60164 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60171 566 18 0 65199 0
vsize: 260868
[startup+130.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 1768717 0 0 0 8762 4241 0 0 25 0 1 0 852182216 267128832 60132 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60139 566 18 0 65199 0
vsize: 260868
[startup+140.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 2032732 0 0 0 9137 4867 0 0 25 0 1 0 852182216 267128832 59952 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 59960 566 18 0 65199 0
vsize: 260868
[startup+150.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 2296695 0 0 0 9514 5489 0 0 25 0 1 0 852182216 267128832 60575 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60575 566 18 0 65199 0
vsize: 260868
[startup+160.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 2560559 0 0 0 9885 6118 0 0 25 0 1 0 852182216 267128832 60244 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60251 566 18 0 65199 0
vsize: 260868
[startup+170.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 2824509 0 0 0 10259 6745 0 0 25 0 1 0 852182216 267128832 59999 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60007 566 18 0 65199 0
vsize: 260868
[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 3088422 0 0 0 10626 7378 0 0 25 0 1 0 852182216 267128832 60572 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60575 566 18 0 65199 0
vsize: 260868
[startup+190.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 3352096 0 0 0 10994 8011 0 0 25 0 1 0 852182216 267128832 60051 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60058 566 18 0 65199 0
vsize: 260868
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 3615960 0 0 0 11366 8639 0 0 25 0 1 0 852182216 263626752 59720 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 59728 566 18 0 65199 0
vsize: 257448
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 3880152 0 0 0 11740 9265 0 0 25 0 1 0 852182216 267128832 60572 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60575 566 18 0 65199 0
vsize: 260868
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 4143989 0 0 0 12114 9891 0 0 25 0 1 0 852182216 267128832 60214 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60222 566 18 0 65199 0
vsize: 260868
[startup+230.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 4407718 0 0 0 12483 10523 0 0 25 0 1 0 852182216 267128832 59748 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 59757 566 18 0 65199 0
vsize: 260868
[startup+240.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 4671712 0 0 0 12851 11155 0 0 25 0 1 0 852182216 267128832 60402 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60409 566 18 0 65199 0
vsize: 260868
[startup+250.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 4935427 0 0 0 13224 11782 0 0 25 0 1 0 852182216 267128832 59922 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 59929 566 18 0 65199 0
vsize: 260868
[startup+260.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 5199348 0 0 0 13596 12411 0 0 25 0 1 0 852182216 267128832 60503 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60510 566 18 0 65199 0
vsize: 260868
[startup+270.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 5463292 0 0 0 13971 13036 0 0 25 0 1 0 852182216 267128832 60252 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60259 566 18 0 65199 0
vsize: 260868
[startup+280.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 5726955 0 0 0 14349 13659 0 0 25 0 1 0 852182216 263626752 59720 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 59728 566 18 0 65199 0
vsize: 257448
[startup+290.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 5990955 0 0 0 14716 14292 0 0 25 0 1 0 852182216 267128832 60380 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60387 566 18 0 65199 0
vsize: 260868
[startup+300.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 6254583 0 0 0 15087 14921 0 0 25 0 1 0 852182216 267128832 59813 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 59821 566 18 0 65199 0
vsize: 260868
[startup+310.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 6518427 0 0 0 15461 15547 0 0 25 0 1 0 852182216 267128832 60317 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60325 566 18 0 65199 0
vsize: 260868
[startup+320.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 6782352 0 0 0 15837 16172 0 0 25 0 1 0 852182216 267128832 60047 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60054 566 18 0 65199 0
vsize: 260868
[startup+330.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 7046371 0 0 0 16209 16800 0 0 25 0 1 0 852182216 267128832 59871 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 59878 566 18 0 65199 0
vsize: 260868
[startup+340.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 7310415 0 0 0 16580 17430 0 0 25 0 1 0 852182216 267128832 60575 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60575 566 18 0 65199 0
vsize: 260868
[startup+350.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 7574463 0 0 0 16951 18059 0 0 25 0 1 0 852182216 267128832 60428 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65217 60436 566 18 0 65199 0
vsize: 260868
[startup+360.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 7838713 0 0 0 17325 18685 0 0 25 0 1 0 852182216 267399168 60483 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65283 60490 566 18 0 65265 0
vsize: 261132
[startup+370.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 8102322 0 0 0 17696 19315 0 0 25 0 1 0 852182216 264437760 59897 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65415 59905 566 18 0 65397 0
vsize: 258240
[startup+380.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 8365230 0 0 0 18062 19949 0 0 25 0 1 0 852182216 268480512 60320 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65547 60327 566 18 0 65529 0
vsize: 262188
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 8627404 0 0 0 18428 20583 0 0 25 0 1 0 852182216 269021184 60864 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65679 60872 566 18 0 65661 0
vsize: 262716
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 8889398 0 0 0 18800 21212 0 0 25 0 1 0 852182216 269561856 60373 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65811 60381 566 18 0 65793 0
vsize: 263244
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 9152910 0 0 0 19170 21842 0 0 25 0 1 0 852182216 270102528 60545 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65943 60553 566 18 0 65925 0
vsize: 263772
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 9417345 0 0 0 19533 22479 0 0 25 0 1 0 852182216 270643200 60785 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66075 60793 566 18 0 66057 0
vsize: 264300
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 9681431 0 0 0 19904 23109 0 0 25 0 1 0 852182216 271048704 61531 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66174 61531 566 18 0 66156 0
vsize: 264696
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 9945688 0 0 0 20268 23745 0 0 25 0 1 0 852182216 271589376 61593 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66306 61600 566 18 0 66288 0
vsize: 265224
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 10210020 0 0 0 20639 24374 0 0 25 0 1 0 852182216 272130048 61730 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66438 61737 566 18 0 66420 0
vsize: 265752
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 10474070 0 0 0 21008 25006 0 0 25 0 1 0 852182216 272670720 61585 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66570 61592 566 18 0 66552 0
vsize: 266280
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 10738422 0 0 0 21380 25634 0 0 25 0 1 0 852182216 273211392 61742 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66702 61749 566 18 0 66684 0
vsize: 266808
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 11002873 0 0 0 21758 26257 0 0 25 0 1 0 852182216 273752064 61998 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66834 62005 566 18 0 66816 0
vsize: 267336
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 11266880 0 0 0 22134 26880 0 0 25 0 1 0 852182216 274292736 61810 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66966 61818 566 18 0 66948 0
vsize: 267864
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 11531146 0 0 0 22497 27518 0 0 25 0 1 0 852182216 274833408 61881 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67098 61888 566 18 0 67080 0
vsize: 268392
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 11795178 0 0 0 22860 28156 0 0 25 0 1 0 852182216 271872000 61718 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67230 61727 566 18 0 67212 0
vsize: 265500
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 12059504 0 0 0 23233 28783 0 0 25 0 1 0 852182216 275914752 62704 4294967295 134512640 134581267 3221224576 3221223392 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67362 62704 566 18 0 67344 0
vsize: 269448
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 12323738 0 0 0 23606 29410 0 0 25 0 1 0 852182216 276455424 62743 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67494 62750 566 18 0 67476 0
vsize: 269976
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 12587849 0 0 0 23984 30033 0 0 25 0 1 0 852182216 276996096 62659 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67626 62666 566 18 0 67608 0
vsize: 270504
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 12852011 0 0 0 24357 30659 0 0 25 0 1 0 852182216 277536768 62626 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67758 62633 566 18 0 67740 0
vsize: 271032
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 13116435 0 0 0 24731 31286 0 0 25 0 1 0 852182216 278077440 62855 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67890 62862 566 18 0 67872 0
vsize: 271560
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 13380488 0 0 0 25096 31921 0 0 25 0 1 0 852182216 278618112 62713 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68022 62721 566 18 0 68004 0
vsize: 272088
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 13644784 0 0 0 25464 32553 0 0 25 0 1 0 852182216 279158784 62814 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68154 62822 566 18 0 68136 0
vsize: 272616
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 13909085 0 0 0 25845 33173 0 0 25 0 1 0 852182216 279699456 62920 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68286 62928 566 18 0 68268 0
vsize: 273144
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 14173261 0 0 0 26221 33797 0 0 25 0 1 0 852182216 280285184 62901 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68429 62911 566 18 0 68411 0
vsize: 273716
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 14437800 0 0 0 26595 34423 0 0 25 0 1 0 852182216 280825856 63245 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68561 63252 566 18 0 68543 0
vsize: 274244
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 14702562 0 0 0 26962 35057 0 0 25 0 1 0 852182216 281366528 63812 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68693 63820 566 18 0 68675 0
vsize: 274772
[startup+630.005 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 14967085 0 0 0 27333 35686 0 0 25 0 1 0 852182216 281907200 64140 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68825 64140 566 18 0 68807 0
vsize: 275300
[startup+640.005 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 15231777 0 0 0 27709 36311 0 0 25 0 1 0 852182216 282447872 63783 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68957 63789 566 18 0 68939 0
vsize: 275828
[startup+650.004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 15496030 0 0 0 28076 36944 0 0 25 0 1 0 852182216 282988544 63840 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69089 63847 566 18 0 69071 0
vsize: 276356
[startup+660.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 15760881 0 0 0 28442 37578 0 0 25 0 1 0 852182216 283394048 64496 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69188 64504 566 18 0 69170 0
vsize: 276752
[startup+670.004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 16025097 0 0 0 28814 38206 0 0 25 0 1 0 852182216 283934720 64517 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69320 64524 566 18 0 69302 0
vsize: 277280
[startup+680.004 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 16289608 0 0 0 29194 38827 0 0 25 0 1 0 852182216 284475392 63978 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69452 63987 566 18 0 69434 0
vsize: 277808
[startup+690.004 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 16554242 0 0 0 29567 39454 0 0 25 0 1 0 852182216 285016064 64417 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69584 64425 566 18 0 69566 0
vsize: 278336
[startup+700.004 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 16819075 0 0 0 29930 40092 0 0 25 0 1 0 852182216 285556736 65055 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69716 65055 566 18 0 69698 0
vsize: 278864
[startup+710.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 17083607 0 0 0 30303 40719 0 0 25 0 1 0 852182216 286097408 64537 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69848 64544 566 18 0 69830 0
vsize: 279392
[startup+720.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 17348114 0 0 0 30671 41351 0 0 25 0 1 0 852182216 286638080 64849 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69980 64857 566 18 0 69962 0
vsize: 279920
[startup+730.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 17612650 0 0 0 31044 41978 0 0 25 0 1 0 852182216 287178752 65190 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70112 65197 566 18 0 70094 0
vsize: 280448
[startup+740.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 17877233 0 0 0 31413 42610 0 0 25 0 1 0 852182216 287719424 65578 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70244 65578 566 18 0 70226 0
vsize: 280976
[startup+750.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 18141668 0 0 0 31782 43241 0 0 25 0 1 0 852182216 288260096 64963 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70376 64963 566 18 0 70358 0
vsize: 281504
[startup+760.003 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 18405473 0 0 0 32149 43874 0 0 25 0 1 0 852182216 288800768 65428 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70508 65435 566 18 0 70490 0
vsize: 282032
[startup+770.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 18670416 0 0 0 32525 44499 0 0 25 0 1 0 852182216 289341440 65321 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70640 65328 566 18 0 70622 0
vsize: 282560
[startup+780.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 18935284 0 0 0 32898 45126 0 0 25 0 1 0 852182216 289882112 65994 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70772 66002 566 18 0 70754 0
vsize: 283088
[startup+790.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 19199717 0 0 0 33269 45756 0 0 25 0 1 0 852182216 286920704 65377 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70904 65385 566 18 0 70886 0
vsize: 280196
[startup+800.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 19464575 0 0 0 33635 46389 0 0 25 0 1 0 852182216 290963456 66040 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71036 66048 566 18 0 71018 0
vsize: 284144
[startup+810.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 19729223 0 0 0 34007 47018 0 0 25 0 1 0 852182216 288002048 65638 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71168 65647 566 18 0 71150 0
vsize: 281252
[startup+820.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 19994063 0 0 0 34385 47640 0 0 25 0 1 0 852182216 292044800 66283 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71300 66290 566 18 0 71282 0
vsize: 285200
[startup+830.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 20258763 0 0 0 34757 48269 0 0 25 0 1 0 852182216 292585472 65933 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71432 65942 566 18 0 71414 0
vsize: 285728
[startup+840.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 20523652 0 0 0 35136 48890 0 0 25 0 1 0 852182216 293126144 66627 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71564 66634 566 18 0 71546 0
vsize: 286256
[startup+850.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 20788500 0 0 0 35510 49517 0 0 25 0 1 0 852182216 293666816 66425 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71696 66432 566 18 0 71678 0
vsize: 286784
[startup+860.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 21053418 0 0 0 35881 50145 0 0 25 0 1 0 852182216 294207488 67148 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71828 67148 566 18 0 71810 0
vsize: 287312
[startup+870.004 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 21318099 0 0 0 36239 50788 0 0 25 0 1 0 852182216 294748160 66779 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71960 66786 566 18 0 71942 0
vsize: 287840
[startup+880.003 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 21583130 0 0 0 36615 51413 0 0 25 0 1 0 852182216 295153664 66760 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72059 66767 566 18 0 72041 0
vsize: 288236
[startup+890.004 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 21848028 0 0 0 36983 52045 0 0 25 0 1 0 852182216 295694336 67463 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72191 67470 566 18 0 72173 0
vsize: 288764
[startup+900.004 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 22112970 0 0 0 37360 52667 0 0 25 0 1 0 852182216 296235008 67355 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72323 67363 566 18 0 72305 0
vsize: 289292
[startup+910.005 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 22377612 0 0 0 37727 53301 0 0 25 0 1 0 852182216 296775680 67802 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71600 66947 566 18 0 71582 0
vsize: 289820
[startup+920.005 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 22642455 0 0 0 38103 53926 0 0 25 0 1 0 852182216 297316352 67595 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72587 67603 566 18 0 72569 0
vsize: 290348
[startup+930.005 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 22907134 0 0 0 38482 54547 0 0 25 0 1 0 852182216 297857024 67224 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72719 67234 566 18 0 72701 0
vsize: 290876
[startup+940.005 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 23171969 0 0 0 38848 55181 0 0 25 0 1 0 852182216 298397696 67864 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72851 67872 566 18 0 72833 0
vsize: 291404
[startup+950.005 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 23436771 0 0 0 39220 55810 0 0 25 0 1 0 852182216 298938368 67616 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72983 67624 566 18 0 72965 0
vsize: 291932
[startup+960.006 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 23701676 0 0 0 39592 56438 0 0 25 0 1 0 852182216 299479040 68326 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73115 68334 566 18 0 73097 0
vsize: 292460
[startup+970.006 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 23966316 0 0 0 39961 57070 0 0 25 0 1 0 852182216 300019712 67916 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73247 67923 566 18 0 73229 0
vsize: 292988
[startup+980.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 24231169 0 0 0 40329 57702 0 0 25 0 1 0 852182216 300560384 68574 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73379 68582 566 18 0 73361 0
vsize: 293516
[startup+990.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 24495887 0 0 0 40701 58330 0 0 25 0 1 0 852182216 301101056 68242 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73511 68250 566 18 0 73493 0
vsize: 294044
[startup+1000.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 24760820 0 0 0 41072 58960 0 0 25 0 1 0 852182216 301641728 68980 4294967295 134512640 134581267 3221224576 3221223392 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73643 68981 566 18 0 73625 0
vsize: 294572
[startup+1010.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 25025491 0 0 0 41439 59593 0 0 25 0 1 0 852182216 302182400 68601 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73775 68608 566 18 0 73757 0
vsize: 295100
[startup+1020.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 25290224 0 0 0 41810 60222 0 0 25 0 1 0 852182216 302723072 69139 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73907 69147 566 18 0 73889 0
vsize: 295628
[startup+1030.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 25554971 0 0 0 42184 60848 0 0 25 0 1 0 852182216 303263744 68836 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74039 68844 566 18 0 74021 0
vsize: 296156
[startup+1040.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 25819834 0 0 0 42553 61480 0 0 25 0 1 0 852182216 303804416 69504 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74171 69504 566 18 0 74153 0
vsize: 296684
[startup+1050.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 26084667 0 0 0 42919 62115 0 0 25 0 1 0 852182216 304345088 69287 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74303 69295 566 18 0 74285 0
vsize: 297212
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 26349361 0 0 0 43287 62747 0 0 25 0 1 0 852182216 304885760 68931 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74435 68941 566 18 0 74417 0
vsize: 297740
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 26614212 0 0 0 43649 63385 0 0 25 0 1 0 852182216 305426432 69587 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74567 69594 566 18 0 74549 0
vsize: 298268
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 26879070 0 0 0 44018 64017 0 0 25 0 1 0 852182216 305967104 69396 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74699 69403 566 18 0 74681 0
vsize: 298796
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 27143952 0 0 0 44383 64652 0 0 25 0 1 0 852182216 306507776 70082 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74831 70089 566 18 0 74813 0
vsize: 299324
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 27408613 0 0 0 44751 65284 0 0 25 0 1 0 852182216 307048448 69693 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74963 69701 566 18 0 74945 0
vsize: 299852
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 27673743 0 0 0 45127 65910 0 0 25 0 1 0 852182216 307453952 69773 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75062 69780 566 18 0 75044 0
vsize: 300248
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 27938416 0 0 0 45489 66549 0 0 25 0 1 0 852182216 307994624 70251 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75194 70258 566 18 0 75176 0
vsize: 300776
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 28202228 0 0 0 45858 67180 0 0 25 0 1 0 852182216 308662272 69868 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75357 69877 566 18 0 75339 0
vsize: 301428
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 28465454 0 0 0 46217 67822 0 0 25 0 1 0 852182216 309202944 70609 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75489 70617 566 18 0 75471 0
vsize: 301956
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 28728555 0 0 0 46580 68459 0 0 25 0 1 0 852182216 309743616 70370 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75621 70377 566 18 0 75603 0
vsize: 302484
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 28991651 0 0 0 46955 69084 0 0 25 0 1 0 852182216 310284288 70981 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75753 70988 566 18 0 75735 0
vsize: 303012
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 29254676 0 0 0 47318 69722 0 0 25 0 1 0 852182216 310824960 70666 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75885 70673 566 18 0 75867 0
vsize: 303540
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 29517827 0 0 0 47681 70359 0 0 25 0 1 0 852182216 311365632 71332 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76017 71332 566 18 0 75999 0
vsize: 304068
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 29780892 0 0 0 48051 70989 0 0 25 0 1 0 852182216 311906304 71057 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76149 71064 566 18 0 76131 0
vsize: 304596
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20095
Raw data (stat): 20095 (Pueblo-v2) R 20094 25568 25567 0 -1 0 30044057 0 0 0 48412 71630 0 0 25 0 1 0 852182216 312446976 70882 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76281 70891 566 18 0 76263 0
vsize: 305124
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 20095
Raw data (stat): 20095 (Pueblo-v2) Z 20094 25568 25567 0 -1 1036 30044342 0 0 0 48412 71645 0 0 22 0 1 0 852182216 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.23
CPU time (s): 1200.57
CPU user time (s): 484.122
CPU system time (s): 716.45
CPU usage (%): 100.029
Max. virtual memory (Kb): 305124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####