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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb
MD5SUM	bd41ba4f2ddbc80664ba643e2dc93b96
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	75648
Biggest coefficient in the objective function	100303
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	7576279200
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	100303
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7576279200
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.75158
Number of variables	204880
Total number of constraints	364368
Number of constraints which are clauses	129232
Number of constraints which are cardinality constraints (but not clauses)	210685
Number of constraints which are nor clauses,nor cardinality constraints	24451
Minimum length of a constraint	1
Maximum length of a constraint	120
Trace number 39198

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 23:12:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27260 boxname=wulflinc6 idbench=1388 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-stp3d.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-stp3d.opb
IDLAUNCH: 27260
/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:        122840 kB
Buffers:         33628 kB
Cached:         856008 kB
SwapCached:        552 kB
Active:          53112 kB
Inactive:       838604 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        122588 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14468 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 23:32:15 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 27260 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 25062
Raw data (stat): 25062 (runsolver) R 25061 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853650735 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+9.99985 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 8403 0 0 0 974 24 0 0 25 0 1 0 853650735 38621184 8378 4294967295 134512640 134581267 3221224576 3217028708 1075668638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9429 8378 566 18 0 9411 0
vsize: 37716
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 14738 0 0 0 1955 44 0 0 25 0 1 0 853650735 64536576 14713 4294967295 134512640 134581267 3221224576 3217028708 1075668638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15756 14713 566 18 0 15738 0
vsize: 63024
[startup+30.0001 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 178896 0 0 0 2621 379 0 0 25 0 1 0 853650735 101785600 22367 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22375 566 18 0 24832 0
vsize: 99400
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 470533 0 0 0 3036 963 0 0 25 0 1 0 853650735 101785600 22353 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22361 566 18 0 24832 0
vsize: 99400
[startup+50.0007 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 762276 0 0 0 3443 1557 0 0 25 0 1 0 853650735 101785600 22445 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22445 566 18 0 24832 0
vsize: 99400
[startup+60.0006 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 1054217 0 0 0 3855 2145 0 0 25 0 1 0 853650735 101785600 22333 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22341 566 18 0 24832 0
vsize: 99400
[startup+69.9997 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 1345573 0 0 0 4266 2735 0 0 25 0 1 0 853650735 101785600 22440 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22445 566 18 0 24832 0
vsize: 99400
[startup+80.0002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 1636711 0 0 0 4681 3320 0 0 25 0 1 0 853650735 101785600 22329 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22337 566 18 0 24832 0
vsize: 99400
[startup+90 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 1927851 0 0 0 5092 3909 0 0 25 0 1 0 853650735 101785600 22421 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22429 566 18 0 24832 0
vsize: 99400
[startup+99.9995 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 2218923 0 0 0 5509 4492 0 0 25 0 1 0 853650735 100962304 22244 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22252 566 18 0 24832 0
vsize: 98596
[startup+110 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 2510053 0 0 0 5929 5073 0 0 25 0 1 0 853650735 101785600 22326 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22335 566 18 0 24832 0
vsize: 99400
[startup+119.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 2801157 0 0 0 6339 5663 0 0 25 0 1 0 853650735 101785600 22383 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22390 566 18 0 24832 0
vsize: 99400
[startup+129.999 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 3092245 0 0 0 6752 6250 0 0 25 0 1 0 853650735 101785600 22422 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22429 566 18 0 24832 0
vsize: 99400
[startup+139.998 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 3383289 0 0 0 7172 6831 0 0 25 0 1 0 853650735 101785600 22418 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22426 566 18 0 24832 0
vsize: 99400
[startup+149.998 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 3674335 0 0 0 7593 7410 0 0 25 0 1 0 853650735 101785600 22416 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22423 566 18 0 24832 0
vsize: 99400
[startup+159.997 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 3965480 0 0 0 8009 7994 0 0 25 0 1 0 853650735 101785600 22313 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22321 566 18 0 24832 0
vsize: 99400
[startup+169.996 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 4256633 0 0 0 8425 8579 0 0 25 0 1 0 853650735 101785600 22417 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22424 566 18 0 24832 0
vsize: 99400
[startup+179.996 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 4547704 0 0 0 8844 9160 0 0 25 0 1 0 853650735 101785600 22440 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22445 566 18 0 24832 0
vsize: 99400
[startup+189.996 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 4838818 0 0 0 9254 9750 0 0 25 0 1 0 853650735 101785600 22305 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22314 566 18 0 24832 0
vsize: 99400
[startup+199.996 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 5129863 0 0 0 9663 10342 0 0 25 0 1 0 853650735 101785600 22302 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22311 566 18 0 24832 0
vsize: 99400
[startup+209.996 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 5420880 0 0 0 10071 10934 0 0 25 0 1 0 853650735 101785600 22271 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22281 566 18 0 24832 0
vsize: 99400
[startup+219.996 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 5711924 0 0 0 10480 11526 0 0 25 0 1 0 853650735 101785600 22267 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22276 566 18 0 24832 0
vsize: 99400
[startup+229.995 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 6002989 0 0 0 10891 12114 0 0 25 0 1 0 853650735 101785600 22284 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22292 566 18 0 24832 0
vsize: 99400
[startup+239.995 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 6293982 0 0 0 11305 12700 0 0 25 0 1 0 853650735 101785600 22430 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22438 566 18 0 24832 0
vsize: 99400
[startup+249.995 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 6585045 0 0 0 11717 13289 0 0 25 0 1 0 853650735 101785600 22445 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22445 566 18 0 24832 0
vsize: 99400
[startup+259.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 6876224 0 0 0 12135 13871 0 0 25 0 1 0 853650735 101785600 22375 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22383 566 18 0 24832 0
vsize: 99400
[startup+269.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 7167289 0 0 0 12548 14459 0 0 25 0 1 0 853650735 101785600 22392 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22400 566 18 0 24832 0
vsize: 99400
[startup+279.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 7458390 0 0 0 12969 15038 0 0 25 0 1 0 853650735 101785600 22445 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24649 22244 566 18 0 24631 0
vsize: 99400
[startup+289.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 7749483 0 0 0 13381 15626 0 0 25 0 1 0 853650735 101785600 22289 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22298 566 18 0 24832 0
vsize: 99400
[startup+299.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 8040620 0 0 0 13800 16208 0 0 25 0 1 0 853650735 101785600 22378 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22386 566 18 0 24832 0
vsize: 99400
[startup+309.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 8331884 0 0 0 14216 16792 0 0 25 0 1 0 853650735 101785600 22393 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22401 566 18 0 24832 0
vsize: 99400
[startup+319.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 8622975 0 0 0 14631 17377 0 0 25 0 1 0 853650735 101785600 22436 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22444 566 18 0 24832 0
vsize: 99400
[startup+329.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 8914150 0 0 0 15039 17969 0 0 25 0 1 0 853650735 101785600 22362 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22370 566 18 0 24832 0
vsize: 99400
[startup+339.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 9205191 0 0 0 15453 18556 0 0 25 0 1 0 853650735 101785600 22355 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22362 566 18 0 24832 0
vsize: 99400
[startup+349.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 9496252 0 0 0 15865 19144 0 0 25 0 1 0 853650735 101785600 22368 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22377 566 18 0 24832 0
vsize: 99400
[startup+359.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 9787377 0 0 0 16268 19741 0 0 25 0 1 0 853650735 101785600 22445 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22445 566 18 0 24832 0
vsize: 99400
[startup+369.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 10078539 0 0 0 16684 20326 0 0 25 0 1 0 853650735 101785600 22358 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22367 566 18 0 24832 0
vsize: 99400
[startup+379.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 10369626 0 0 0 17094 20916 0 0 25 0 1 0 853650735 101785600 22397 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22404 566 18 0 24832 0
vsize: 99400
[startup+389.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 10660772 0 0 0 17507 21504 0 0 25 0 1 0 853650735 101785600 22294 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22303 566 18 0 24832 0
vsize: 99400
[startup+399.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 10951863 0 0 0 17927 22084 0 0 25 0 1 0 853650735 101785600 22337 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22346 566 18 0 24832 0
vsize: 99400
[startup+409.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 11242937 0 0 0 18346 22665 0 0 25 0 1 0 853650735 101785600 22363 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22371 566 18 0 24832 0
vsize: 99400
[startup+419.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 11533983 0 0 0 18760 23251 0 0 25 0 1 0 853650735 101785600 22361 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22369 566 18 0 24832 0
vsize: 99400
[startup+429.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 11825201 0 0 0 19176 23836 0 0 25 0 1 0 853650735 101785600 22330 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22340 566 18 0 24832 0
vsize: 99400
[startup+439.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 12116530 0 0 0 19593 24419 0 0 25 0 1 0 853650735 101785600 22410 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22418 566 18 0 24832 0
vsize: 99400
[startup+449.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 12407611 0 0 0 20009 25003 0 0 25 0 1 0 853650735 101785600 22443 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22445 566 18 0 24832 0
vsize: 99400
[startup+459.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 12698655 0 0 0 20416 25596 0 0 25 0 1 0 853650735 101785600 22439 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22445 566 18 0 24832 0
vsize: 99400
[startup+469.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 12989694 0 0 0 20825 26188 0 0 25 0 1 0 853650735 101785600 22430 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22438 566 18 0 24832 0
vsize: 99400
[startup+479.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 13281736 0 0 0 21240 26773 0 0 25 0 1 0 853650735 102309888 22419 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22427 566 18 0 24960 0
vsize: 99912
[startup+489.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 13574439 0 0 0 21653 27361 0 0 25 0 1 0 853650735 102309888 22466 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22474 566 18 0 24960 0
vsize: 99912
[startup+499.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 13866176 0 0 0 22065 27949 0 0 25 0 1 0 853650735 102309888 22351 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22361 566 18 0 24960 0
vsize: 99912
[startup+509.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 14158101 0 0 0 22483 28531 0 0 25 0 1 0 853650735 102309888 22425 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22432 566 18 0 24960 0
vsize: 99912
[startup+519.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 14450158 0 0 0 22892 29122 0 0 25 0 1 0 853650735 102309888 22428 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22436 566 18 0 24960 0
vsize: 99912
[startup+529.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 14742184 0 0 0 23307 29708 0 0 25 0 1 0 853650735 102309888 22401 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22410 566 18 0 24960 0
vsize: 99912
[startup+539.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 15034720 0 0 0 23723 30292 0 0 25 0 1 0 853650735 102309888 22482 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22490 566 18 0 24960 0
vsize: 99912
[startup+549.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 15327563 0 0 0 24139 30877 0 0 25 0 1 0 853650735 102309888 22468 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22476 566 18 0 24960 0
vsize: 99912
[startup+559.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 15620071 0 0 0 24555 31461 0 0 25 0 1 0 853650735 102309888 22521 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22521 566 18 0 24960 0
vsize: 99912
[startup+569.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 15912514 0 0 0 24974 32042 0 0 25 0 1 0 853650735 102309888 22509 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22517 566 18 0 24960 0
vsize: 99912
[startup+579.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 16205112 0 0 0 25384 32632 0 0 25 0 1 0 853650735 102309888 22451 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22459 566 18 0 24960 0
vsize: 99912
[startup+589.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 16497124 0 0 0 25798 33219 0 0 25 0 1 0 853650735 102309888 22410 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22419 566 18 0 24960 0
vsize: 99912
[startup+599.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 16789088 0 0 0 26214 33803 0 0 25 0 1 0 853650735 102309888 22522 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22527 566 18 0 24960 0
vsize: 99912
[startup+609.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 17080946 0 0 0 26629 34389 0 0 25 0 1 0 853650735 102309888 22528 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22528 566 18 0 24960 0
vsize: 99912
[startup+619.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 17372795 0 0 0 27041 34977 0 0 25 0 1 0 853650735 102309888 22525 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22530 566 18 0 24960 0
vsize: 99912
[startup+629.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 17664782 0 0 0 27448 35571 0 0 25 0 1 0 853650735 102309888 22459 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22466 566 18 0 24960 0
vsize: 99912
[startup+639.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 17956512 0 0 0 27857 36161 0 0 25 0 1 0 853650735 102309888 22337 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22347 566 18 0 24960 0
vsize: 99912
[startup+649.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 18248745 0 0 0 28261 36758 0 0 25 0 1 0 853650735 102309888 22517 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22524 566 18 0 24960 0
vsize: 99912
[startup+659.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 18541277 0 0 0 28684 37335 0 0 25 0 1 0 853650735 102309888 22393 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22401 566 18 0 24960 0
vsize: 99912
[startup+669.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 18834452 0 0 0 29106 37914 0 0 25 0 1 0 853650735 102309888 22510 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22517 566 18 0 24960 0
vsize: 99912
[startup+679.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 19127535 0 0 0 29519 38501 0 0 25 0 1 0 853650735 102309888 22535 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22538 566 18 0 24960 0
vsize: 99912
[startup+689.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 19420196 0 0 0 29938 39082 0 0 25 0 1 0 853650735 102309888 22540 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24777 22339 566 18 0 24759 0
vsize: 99912
[startup+699.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 19712853 0 0 0 30360 39660 0 0 25 0 1 0 853650735 102309888 22541 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22541 566 18 0 24960 0
vsize: 99912
[startup+709.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 20005074 0 0 0 30783 40239 0 0 25 0 1 0 853650735 102309888 22508 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22517 566 18 0 24960 0
vsize: 99912
[startup+719.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 20296837 0 0 0 31193 40829 0 0 25 0 1 0 853650735 102309888 22419 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22428 566 18 0 24960 0
vsize: 99912
[startup+729.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 20588622 0 0 0 31610 41412 0 0 25 0 1 0 853650735 102309888 22352 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22361 566 18 0 24960 0
vsize: 99912
[startup+739.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 20880814 0 0 0 32023 41999 0 0 25 0 1 0 853650735 102309888 22491 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22499 566 18 0 24960 0
vsize: 99912
[startup+749.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 21172701 0 0 0 32445 42577 0 0 25 0 1 0 853650735 102309888 22526 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22534 566 18 0 24960 0
vsize: 99912
[startup+759.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 21465054 0 0 0 32862 43161 0 0 25 0 1 0 853650735 102309888 22424 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22433 566 18 0 24960 0
vsize: 99912
[startup+769.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 21757723 0 0 0 33276 43747 0 0 25 0 1 0 853650735 102309888 22437 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22446 566 18 0 24960 0
vsize: 99912
[startup+779.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 22049880 0 0 0 33698 44326 0 0 25 0 1 0 853650735 102309888 22541 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22549 566 18 0 24960 0
vsize: 99912
[startup+789.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 22342102 0 0 0 34114 44910 0 0 25 0 1 0 853650735 102309888 22509 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22517 566 18 0 24960 0
vsize: 99912
[startup+799.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 22634321 0 0 0 34529 45495 0 0 25 0 1 0 853650735 102309888 22474 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22482 566 18 0 24960 0
vsize: 99912
[startup+809.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 22926316 0 0 0 34941 46084 0 0 25 0 1 0 853650735 102309888 22416 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22425 566 18 0 24960 0
vsize: 99912
[startup+819.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 23218408 0 0 0 35362 46663 0 0 25 0 1 0 853650735 102309888 22455 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22464 566 18 0 24960 0
vsize: 99912
[startup+829.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 23510164 0 0 0 35784 47241 0 0 25 0 1 0 853650735 102309888 22560 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22560 566 18 0 24960 0
vsize: 99912
[startup+839.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 23801916 0 0 0 36190 47836 0 0 25 0 1 0 853650735 102309888 22460 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22469 566 18 0 24960 0
vsize: 99912
[startup+849.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 24093743 0 0 0 36597 48430 0 0 25 0 1 0 853650735 102309888 22435 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22445 566 18 0 24960 0
vsize: 99912
[startup+859.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 24385549 0 0 0 37010 49016 0 0 25 0 1 0 853650735 102309888 22389 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22399 566 18 0 24960 0
vsize: 99912
[startup+869.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 24677642 0 0 0 37423 49604 0 0 25 0 1 0 853650735 102309888 22430 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22439 566 18 0 24960 0
vsize: 99912
[startup+879.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 24970235 0 0 0 37838 50189 0 0 25 0 1 0 853650735 102309888 22567 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22567 566 18 0 24960 0
vsize: 99912
[startup+889.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 25263093 0 0 0 38252 50776 0 0 25 0 1 0 853650735 102309888 22568 4294967295 134512640 134581267 3221224576 3221223584 134531647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22568 566 18 0 24960 0
vsize: 99912
[startup+899.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 25555952 0 0 0 38665 51362 0 0 25 0 1 0 853650735 102309888 22570 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24777 22369 566 18 0 24759 0
vsize: 99912
[startup+909.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 25848807 0 0 0 39080 51948 0 0 25 0 1 0 853650735 102309888 22568 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22571 566 18 0 24960 0
vsize: 99912
[startup+919.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 26141513 0 0 0 39500 52529 0 0 25 0 1 0 853650735 102309888 22417 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22427 566 18 0 24960 0
vsize: 99912
[startup+929.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 26433234 0 0 0 39910 53119 0 0 25 0 1 0 853650735 102834176 22487 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22495 566 18 0 25088 0
vsize: 100424
[startup+939.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 26724162 0 0 0 40330 53700 0 0 25 0 1 0 853650735 102834176 22568 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22575 566 18 0 25088 0
vsize: 100424
[startup+949.998 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 27015325 0 0 0 40751 54279 0 0 25 0 1 0 853650735 102834176 22482 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22490 566 18 0 25088 0
vsize: 100424
[startup+959.998 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 27306323 0 0 0 41164 54866 0 0 25 0 1 0 853650735 102834176 22432 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22441 566 18 0 25088 0
vsize: 100424
[startup+969.998 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 27597442 0 0 0 41578 55453 0 0 25 0 1 0 853650735 102834176 22503 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22511 566 18 0 25088 0
vsize: 100424
[startup+979.998 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 27888776 0 0 0 41990 56041 0 0 25 0 1 0 853650735 102834176 22387 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22396 566 18 0 25088 0
vsize: 100424
[startup+989.998 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 28180439 0 0 0 42405 56626 0 0 25 0 1 0 853650735 102834176 22399 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22409 566 18 0 25088 0
vsize: 100424
[startup+999.998 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 28471937 0 0 0 42816 57215 0 0 25 0 1 0 853650735 102834176 22447 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22456 566 18 0 25088 0
vsize: 100424
[startup+1010 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 28763465 0 0 0 43227 57805 0 0 25 0 1 0 853650735 102834176 22525 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22533 566 18 0 25088 0
vsize: 100424
[startup+1020 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 29054973 0 0 0 43651 58381 0 0 25 0 1 0 853650735 102834176 22583 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22587 566 18 0 25088 0
vsize: 100424
[startup+1030 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 29346726 0 0 0 44057 58975 0 0 25 0 1 0 853650735 102834176 22484 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22492 566 18 0 25088 0
vsize: 100424
[startup+1040 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 29638031 0 0 0 44475 59558 0 0 25 0 1 0 853650735 102834176 22540 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22547 566 18 0 25088 0
vsize: 100424
[startup+1050 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 29928929 0 0 0 44882 60151 0 0 25 0 1 0 853650735 102834176 22591 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22591 566 18 0 25088 0
vsize: 100424
[startup+1060 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 30219254 0 0 0 45294 60740 0 0 25 0 1 0 853650735 102834176 22471 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22480 566 18 0 25088 0
vsize: 100424
[startup+1070 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 30509572 0 0 0 45712 61322 0 0 25 0 1 0 853650735 102834176 22545 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22553 566 18 0 25088 0
vsize: 100424
[startup+1080 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 30800030 0 0 0 46125 61909 0 0 25 0 1 0 853650735 102834176 22558 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22565 566 18 0 25088 0
vsize: 100424
[startup+1090 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 31090454 0 0 0 46539 62496 0 0 25 0 1 0 853650735 102834176 22537 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22545 566 18 0 25088 0
vsize: 100424
[startup+1100 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 31380969 0 0 0 46948 63087 0 0 25 0 1 0 853650735 102834176 22406 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22416 566 18 0 25088 0
vsize: 100424
[startup+1110 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 31671763 0 0 0 47361 63674 0 0 25 0 1 0 853650735 102834176 22554 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22561 566 18 0 25088 0
vsize: 100424
[startup+1120 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 31962677 0 0 0 47782 64254 0 0 25 0 1 0 853650735 102834176 22420 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22429 566 18 0 25088 0
vsize: 100424
[startup+1130 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 32253514 0 0 0 48194 64841 0 0 25 0 1 0 853650735 102834176 22410 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22419 566 18 0 25088 0
vsize: 100424
[startup+1140 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 32544443 0 0 0 48605 65431 0 0 25 0 1 0 853650735 102834176 22492 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22500 566 18 0 25088 0
vsize: 100424
[startup+1150 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 32835078 0 0 0 49021 66015 0 0 25 0 1 0 853650735 102834176 22481 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22490 566 18 0 25088 0
vsize: 100424
[startup+1160 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 33125648 0 0 0 49434 66603 0 0 25 0 1 0 853650735 102834176 22606 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24905 22405 566 18 0 24887 0
vsize: 100424
[startup+1170 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 33416596 0 0 0 49851 67186 0 0 25 0 1 0 853650735 102834176 22506 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22515 566 18 0 25088 0
vsize: 100424
[startup+1180 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 33707526 0 0 0 50265 67773 0 0 25 0 1 0 853650735 102834176 22589 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22598 566 18 0 25088 0
vsize: 100424
[startup+1190 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 33998943 0 0 0 50681 68357 0 0 25 0 1 0 853650735 102834176 22556 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22564 566 18 0 25088 0
vsize: 100424
[startup+1200 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 25062
Raw data (stat): 25062 (Pueblo-v2) R 25061 25568 25567 0 -1 0 34290559 0 0 0 51096 68943 0 0 25 0 1 0 853650735 102834176 22521 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22530 566 18 0 25088 0
vsize: 100424
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 25062
Raw data (stat): 25062 (Pueblo-v2) Z 25061 25568 25567 0 -1 1036 34290578 0 0 0 51096 68947 0 0 25 0 1 0 853650735 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.05
CPU time (s): 1200.44
CPU user time (s): 510.96
CPU system time (s): 689.476
CPU usage (%): 100.032
Max. virtual memory (Kb): 100424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####