PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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.74658
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 38815

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        322928 kB
Buffers:         26976 kB
Cached:         661700 kB
SwapCached:        232 kB
Active:          61260 kB
Inactive:       630032 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        322676 kB
SwapTotal:     2097136 kB
SwapFree:      2096476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6336 kB
Slab:            14816 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 17:52:59 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 26876 7 1200.28 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.88 0.93 0.90 1/54 13393
Raw data (stat): 13393 (runsolver) R 13392 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851607592 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.0005 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 8459 0 0 0 973 26 0 0 25 0 1 0 851607592 38756352 8434 4294967295 134512640 134581267 3221224576 3217028856 1075321319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 8434 566 18 0 9444 0
vsize: 37848
[startup+20.0015 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 14765 0 0 0 1953 46 0 0 25 0 1 0 851607592 64671744 14740 4294967295 134512640 134581267 3221224576 3217028852 1074960297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15789 14740 566 18 0 15771 0
vsize: 63156
[startup+30.0021 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 180180 0 0 0 2620 378 0 0 25 0 1 0 851607592 100962304 22244 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24649 22244 566 18 0 24631 0
vsize: 98596
[startup+40.0033 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 471247 0 0 0 3035 964 0 0 25 0 1 0 851607592 101785600 22263 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22263 566 18 0 24832 0
vsize: 99400
[startup+50.0041 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 763059 0 0 0 3445 1553 0 0 25 0 1 0 851607592 101785600 22424 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22424 566 18 0 24832 0
vsize: 99400
[startup+60.0045 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 1055736 0 0 0 3862 2136 0 0 25 0 1 0 851607592 101785600 22445 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22445 566 18 0 24832 0
vsize: 99400
[startup+70.0058 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 1348874 0 0 0 4279 2719 0 0 25 0 1 0 851607592 101785600 22324 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22324 566 18 0 24832 0
vsize: 99400
[startup+80.0067 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 1641385 0 0 0 4695 3303 0 0 25 0 1 0 851607592 101785600 22380 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22380 566 18 0 24832 0
vsize: 99400
[startup+90.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 1933783 0 0 0 5119 3880 0 0 25 0 1 0 851607592 101785600 22324 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22324 566 18 0 24832 0
vsize: 99400
[startup+100.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 2225531 0 0 0 5526 4473 0 0 25 0 1 0 851607592 101785600 22420 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22420 566 18 0 24832 0
vsize: 99400
[startup+110.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 2517259 0 0 0 5944 5055 0 0 25 0 1 0 851607592 101785600 22296 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22296 566 18 0 24832 0
vsize: 99400
[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 2810090 0 0 0 6361 5638 0 0 25 0 1 0 851607592 101785600 22270 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22270 566 18 0 24832 0
vsize: 99400
[startup+130.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 3102844 0 0 0 6777 6222 0 0 25 0 1 0 851607592 101785600 22369 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22369 566 18 0 24832 0
vsize: 99400
[startup+140.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 3394429 0 0 0 7185 6814 0 0 25 0 1 0 851607592 101785600 22302 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22302 566 18 0 24832 0
vsize: 99400
[startup+150.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 3685793 0 0 0 7593 7406 0 0 25 0 1 0 851607592 101785600 22417 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22417 566 18 0 24832 0
vsize: 99400
[startup+160.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 3978054 0 0 0 8006 7992 0 0 25 0 1 0 851607592 101785600 22424 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22424 566 18 0 24832 0
vsize: 99400
[startup+170.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 4270126 0 0 0 8416 8583 0 0 25 0 1 0 851607592 101785600 22443 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22443 566 18 0 24832 0
vsize: 99400
[startup+180.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 4561954 0 0 0 8831 9168 0 0 25 0 1 0 851607592 101785600 22419 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22419 566 18 0 24832 0
vsize: 99400
[startup+190.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 4854508 0 0 0 9250 9749 0 0 25 0 1 0 851607592 101785600 22317 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24850 22317 566 18 0 24832 0
vsize: 99400
[startup+200.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 5147292 0 0 0 9671 10328 0 0 25 0 1 0 851607592 100962304 22244 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24649 22244 566 18 0 24631 0
vsize: 98596
[startup+210.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 5436543 0 0 0 10080 10919 0 0 25 0 1 0 851607592 101785600 22256 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22265 566 18 0 24832 0
vsize: 99400
[startup+220.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 5724084 0 0 0 10495 11505 0 0 25 0 1 0 851607592 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+230.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 6011992 0 0 0 10906 12093 0 0 25 0 1 0 851607592 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+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 6299616 0 0 0 11315 12685 0 0 25 0 1 0 851607592 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+250.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 6587356 0 0 0 11724 13276 0 0 25 0 1 0 851607592 101785600 22344 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22352 566 18 0 24832 0
vsize: 99400
[startup+260.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 6875508 0 0 0 12134 13866 0 0 25 0 1 0 851607592 101785600 22262 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22271 566 18 0 24832 0
vsize: 99400
[startup+270.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 7163790 0 0 0 12547 14453 0 0 25 0 1 0 851607592 101785600 22310 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22319 566 18 0 24832 0
vsize: 99400
[startup+280.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 7451958 0 0 0 12964 15036 0 0 25 0 1 0 851607592 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+290.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 7740259 0 0 0 13381 15619 0 0 25 0 1 0 851607592 101785600 22311 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22320 566 18 0 24832 0
vsize: 99400
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 8028577 0 0 0 13790 16211 0 0 25 0 1 0 851607592 101785600 22395 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22402 566 18 0 24832 0
vsize: 99400
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 8316931 0 0 0 14196 16805 0 0 25 0 1 0 851607592 101785600 22314 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22322 566 18 0 24832 0
vsize: 99400
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 8605583 0 0 0 14612 17389 0 0 25 0 1 0 851607592 101785600 22330 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22338 566 18 0 24832 0
vsize: 99400
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 8894334 0 0 0 15031 17971 0 0 25 0 1 0 851607592 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+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 9183181 0 0 0 15447 18555 0 0 25 0 1 0 851607592 101785600 22254 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22264 566 18 0 24832 0
vsize: 99400
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 9471794 0 0 0 15869 19133 0 0 25 0 1 0 851607592 101785600 22432 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22439 566 18 0 24832 0
vsize: 99400
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 9760584 0 0 0 16291 19711 0 0 25 0 1 0 851607592 101785600 22385 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22393 566 18 0 24832 0
vsize: 99400
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 10049143 0 0 0 16700 20303 0 0 25 0 1 0 851607592 101785600 22308 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22317 566 18 0 24832 0
vsize: 99400
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 10337761 0 0 0 17109 20893 0 0 25 0 1 0 851607592 101785600 22290 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+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 10626676 0 0 0 17518 21485 0 0 25 0 1 0 851607592 101785600 22368 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+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 10915507 0 0 0 17933 22070 0 0 25 0 1 0 851607592 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+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 11204154 0 0 0 18347 22656 0 0 25 0 1 0 851607592 101785600 22373 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22381 566 18 0 24832 0
vsize: 99400
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 11492489 0 0 0 18767 23236 0 0 25 0 1 0 851607592 101785600 22273 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22282 566 18 0 24832 0
vsize: 99400
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 11781060 0 0 0 19185 23819 0 0 25 0 1 0 851607592 101785600 22409 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+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 12069332 0 0 0 19602 24402 0 0 25 0 1 0 851607592 101785600 22246 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22256 566 18 0 24832 0
vsize: 99400
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 12357725 0 0 0 20020 24984 0 0 25 0 1 0 851607592 101785600 22405 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22412 566 18 0 24832 0
vsize: 99400
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 12646107 0 0 0 20437 25567 0 0 25 0 1 0 851607592 101785600 22352 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22359 566 18 0 24832 0
vsize: 99400
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 12934475 0 0 0 20851 26153 0 0 25 0 1 0 851607592 101785600 22285 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24850 22294 566 18 0 24832 0
vsize: 99400
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 13222800 0 0 0 21261 26744 0 0 25 0 1 0 851607592 102309888 22376 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22386 566 18 0 24960 0
vsize: 99912
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 13510513 0 0 0 21666 27338 0 0 25 0 1 0 851607592 102309888 22458 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+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 13798076 0 0 0 22088 27917 0 0 25 0 1 0 851607592 102309888 22390 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+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 14085337 0 0 0 22503 28502 0 0 25 0 1 0 851607592 102309888 22422 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22430 566 18 0 24960 0
vsize: 99912
[startup+520.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 14372907 0 0 0 22911 29096 0 0 25 0 1 0 851607592 102309888 22362 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22371 566 18 0 24960 0
vsize: 99912
[startup+530.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 14660091 0 0 0 23314 29694 0 0 25 0 1 0 851607592 102309888 22517 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22517 566 18 0 24960 0
vsize: 99912
[startup+540.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 14947522 0 0 0 23725 30282 0 0 25 0 1 0 851607592 102309888 22518 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22518 566 18 0 24960 0
vsize: 99912
[startup+550.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 15235752 0 0 0 24143 30867 0 0 25 0 1 0 851607592 102309888 22514 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22519 566 18 0 24960 0
vsize: 99912
[startup+560.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 15523390 0 0 0 24550 31460 0 0 25 0 1 0 851607592 102309888 22521 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24777 22320 566 18 0 24759 0
vsize: 99912
[startup+570.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 15811217 0 0 0 24971 32039 0 0 25 0 1 0 851607592 102309888 22516 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22522 566 18 0 24960 0
vsize: 99912
[startup+580.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 16098655 0 0 0 25377 32633 0 0 25 0 1 0 851607592 102309888 22524 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22524 566 18 0 24960 0
vsize: 99912
[startup+590.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 16386086 0 0 0 25788 33222 0 0 25 0 1 0 851607592 102309888 22525 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22525 566 18 0 24960 0
vsize: 99912
[startup+600.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 16673623 0 0 0 26192 33819 0 0 25 0 1 0 851607592 102309888 22431 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+610.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 16961414 0 0 0 26604 34406 0 0 25 0 1 0 851607592 102309888 22391 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22400 566 18 0 24960 0
vsize: 99912
[startup+620.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 17249192 0 0 0 27012 34998 0 0 25 0 1 0 851607592 102309888 22336 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22345 566 18 0 24960 0
vsize: 99912
[startup+630.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 17537161 0 0 0 27429 35582 0 0 25 0 1 0 851607592 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+640.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 17825470 0 0 0 27849 36162 0 0 25 0 1 0 851607592 102309888 22347 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22357 566 18 0 24960 0
vsize: 99912
[startup+650.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 18113984 0 0 0 28262 36750 0 0 25 0 1 0 851607592 102309888 22426 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22434 566 18 0 24960 0
vsize: 99912
[startup+660.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 18401980 0 0 0 28671 37341 0 0 25 0 1 0 851607592 102309888 22389 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22398 566 18 0 24960 0
vsize: 99912
[startup+670.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 18689987 0 0 0 29079 37933 0 0 25 0 1 0 851607592 102309888 22363 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22372 566 18 0 24960 0
vsize: 99912
[startup+680.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 18978263 0 0 0 29492 38521 0 0 25 0 1 0 851607592 102309888 22405 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22414 566 18 0 24960 0
vsize: 99912
[startup+690.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 19266229 0 0 0 29913 39099 0 0 25 0 1 0 851607592 102309888 22539 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22539 566 18 0 24960 0
vsize: 99912
[startup+700.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 19554630 0 0 0 30330 39683 0 0 25 0 1 0 851607592 102309888 22505 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22512 566 18 0 24960 0
vsize: 99912
[startup+710.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 19843192 0 0 0 30739 40274 0 0 25 0 1 0 851607592 102309888 22431 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+720.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 20131135 0 0 0 31155 40858 0 0 25 0 1 0 851607592 102309888 22542 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22543 566 18 0 24960 0
vsize: 99912
[startup+730.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 20419040 0 0 0 31567 41446 0 0 25 0 1 0 851607592 102309888 22414 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22424 566 18 0 24960 0
vsize: 99912
[startup+740.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 20707050 0 0 0 31982 42031 0 0 25 0 1 0 851607592 102309888 22391 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22400 566 18 0 24960 0
vsize: 99912
[startup+750.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 20995440 0 0 0 32393 42621 0 0 25 0 1 0 851607592 102309888 22346 4294967295 134512640 134581267 3221224576 3221223364 1075298458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22356 566 18 0 24960 0
vsize: 99912
[startup+760.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 21283628 0 0 0 32816 43198 0 0 25 0 1 0 851607592 102309888 22501 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22508 566 18 0 24960 0
vsize: 99912
[startup+770.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 21571686 0 0 0 33231 43784 0 0 25 0 1 0 851607592 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+780.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 21859661 0 0 0 33641 44373 0 0 25 0 1 0 851607592 102309888 22468 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22475 566 18 0 24960 0
vsize: 99912
[startup+790.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 22147568 0 0 0 34044 44970 0 0 25 0 1 0 851607592 102309888 22543 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22551 566 18 0 24960 0
vsize: 99912
[startup+800.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 22434823 0 0 0 34463 45551 0 0 25 0 1 0 851607592 102309888 22368 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22377 566 18 0 24960 0
vsize: 99912
[startup+810.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 22722039 0 0 0 34883 46132 0 0 25 0 1 0 851607592 102309888 22556 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22556 566 18 0 24960 0
vsize: 99912
[startup+820.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 23009326 0 0 0 35291 46724 0 0 25 0 1 0 851607592 102309888 22413 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22422 566 18 0 24960 0
vsize: 99912
[startup+830.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 23297082 0 0 0 35701 47314 0 0 25 0 1 0 851607592 102309888 22538 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22545 566 18 0 24960 0
vsize: 99912
[startup+840.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 23584575 0 0 0 36119 47897 0 0 25 0 1 0 851607592 102309888 22400 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22409 566 18 0 24960 0
vsize: 99912
[startup+850.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 23872494 0 0 0 36528 48488 0 0 25 0 1 0 851607592 102309888 22487 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22495 566 18 0 24960 0
vsize: 99912
[startup+860.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 24160330 0 0 0 36944 49072 0 0 25 0 1 0 851607592 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+870.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 24448562 0 0 0 37356 49660 0 0 25 0 1 0 851607592 102309888 22489 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22497 566 18 0 24960 0
vsize: 99912
[startup+880.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 24737391 0 0 0 37777 50239 0 0 25 0 1 0 851607592 102309888 22481 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22489 566 18 0 24960 0
vsize: 99912
[startup+890.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 25026515 0 0 0 38194 50823 0 0 25 0 1 0 851607592 102309888 22567 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24777 22366 566 18 0 24759 0
vsize: 99912
[startup+900.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 25315956 0 0 0 38605 51412 0 0 25 0 1 0 851607592 102309888 22568 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24777 22367 566 18 0 24759 0
vsize: 99912
[startup+910.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 25605497 0 0 0 39024 51994 0 0 25 0 1 0 851607592 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+920.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 25894346 0 0 0 39444 52574 0 0 25 0 1 0 851607592 102309888 22480 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 22488 566 18 0 24960 0
vsize: 99912
[startup+930.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 26183219 0 0 0 39854 53164 0 0 25 0 1 0 851607592 102309888 22516 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+940.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 26472296 0 0 0 40268 53750 0 0 25 0 1 0 851607592 102834176 22555 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+950.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 26760838 0 0 0 40683 54335 0 0 25 0 1 0 851607592 102834176 22461 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22470 566 18 0 25088 0
vsize: 100424
[startup+960.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 27049526 0 0 0 41094 54924 0 0 25 0 1 0 851607592 102834176 22513 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22521 566 18 0 25088 0
vsize: 100424
[startup+970.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 27338474 0 0 0 41510 55509 0 0 25 0 1 0 851607592 102834176 22423 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22431 566 18 0 25088 0
vsize: 100424
[startup+980.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 27628173 0 0 0 41923 56096 0 0 25 0 1 0 851607592 102834176 22481 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22489 566 18 0 25088 0
vsize: 100424
[startup+990.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 27917481 0 0 0 42342 56677 0 0 25 0 1 0 851607592 102834176 22550 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22557 566 18 0 25088 0
vsize: 100424
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 28206755 0 0 0 42757 57262 0 0 25 0 1 0 851607592 102834176 22384 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22393 566 18 0 25088 0
vsize: 100424
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 28496422 0 0 0 43177 57842 0 0 25 0 1 0 851607592 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+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 28786346 0 0 0 43595 58424 0 0 25 0 1 0 851607592 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+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 29075838 0 0 0 44018 59002 0 0 25 0 1 0 851607592 102834176 22544 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22552 566 18 0 25088 0
vsize: 100424
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 29364769 0 0 0 44434 59586 0 0 25 0 1 0 851607592 102834176 22437 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22446 566 18 0 25088 0
vsize: 100424
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 29653813 0 0 0 44851 60169 0 0 25 0 1 0 851607592 102834176 22443 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22452 566 18 0 25088 0
vsize: 100424
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 29942955 0 0 0 45264 60757 0 0 25 0 1 0 851607592 102834176 22547 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22554 566 18 0 25088 0
vsize: 100424
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 30231993 0 0 0 45674 61347 0 0 25 0 1 0 851607592 102834176 22547 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22554 566 18 0 25088 0
vsize: 100424
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 30521142 0 0 0 46079 61942 0 0 25 0 1 0 851607592 102834176 22457 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22467 566 18 0 25088 0
vsize: 100424
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 30810121 0 0 0 46496 62525 0 0 25 0 1 0 851607592 102834176 22398 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22408 566 18 0 25088 0
vsize: 100424
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 31099156 0 0 0 46907 63114 0 0 25 0 1 0 851607592 102834176 22596 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24905 22395 566 18 0 24887 0
vsize: 100424
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 31388521 0 0 0 47331 63690 0 0 25 0 1 0 851607592 102834176 22521 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22529 566 18 0 25088 0
vsize: 100424
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 31678424 0 0 0 47752 64270 0 0 25 0 1 0 851607592 102834176 22582 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22589 566 18 0 25088 0
vsize: 100424
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 31968029 0 0 0 48167 64855 0 0 25 0 1 0 851607592 102834176 22546 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22554 566 18 0 25088 0
vsize: 100424
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 32257245 0 0 0 48582 65440 0 0 25 0 1 0 851607592 102834176 22523 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
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 32546364 0 0 0 49002 66020 0 0 25 0 1 0 851607592 102010880 22403 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22411 566 18 0 25088 0
vsize: 99620
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 32835604 0 0 0 49429 66593 0 0 25 0 1 0 851607592 102834176 22605 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22605 566 18 0 25088 0
vsize: 100424
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 33124950 0 0 0 49845 67178 0 0 25 0 1 0 851607592 102834176 22511 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22519 566 18 0 25088 0
vsize: 100424
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 33414851 0 0 0 50266 67756 0 0 25 0 1 0 851607592 102834176 22570 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22577 566 18 0 25088 0
vsize: 100424
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 33704064 0 0 0 50680 68343 0 0 25 0 1 0 851607592 102834176 22544 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22552 566 18 0 25088 0
vsize: 100424
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13393
Raw data (stat): 13393 (Pueblo-v2) R 13392 20224 20223 0 -1 0 33993368 0 0 0 51103 68920 0 0 25 0 1 0 851607592 102834176 22609 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25106 22611 566 18 0 25088 0
vsize: 100424
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13393
Raw data (stat): 13393 (Pueblo-v2) Z 13392 20224 20223 0 -1 1036 33993370 0 0 0 51103 68924 0 0 25 0 1 0 851607592 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.14
CPU time (s): 1200.28
CPU user time (s): 511.039
CPU system time (s): 689.245
CPU usage (%): 100.012
Max. virtual memory (Kb): 100424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####