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/miplib/normalized-mps-v2-13-7-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.119981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 39095

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 20:18:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27153 boxname=wulflinc3 idbench=1281 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 27153
/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:        305048 kB
Buffers:         19944 kB
Cached:         686948 kB
SwapCached:        240 kB
Active:          29776 kB
Inactive:       679632 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        304796 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14328 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 20:38:46 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27153 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 1/54 19514
Raw data (stat): 19514 (runsolver) R 19513 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852602465 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.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 2156 0 0 0 994 4 0 0 25 0 1 0 852602465 14852096 2130 4294967295 134512640 134581267 3221224576 3221223632 134555781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2130 566 18 0 3608 0
vsize: 14504
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 2384 0 0 0 1994 5 0 0 25 0 1 0 852602465 15642624 2358 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3819 2358 566 18 0 3801 0
vsize: 15276
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 2977 0 0 0 2993 6 0 0 25 0 1 0 852602465 18132992 2951 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4427 2951 566 18 0 4409 0
vsize: 17708
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 3447 0 0 0 3993 7 0 0 25 0 1 0 852602465 20099072 3421 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4907 3421 566 18 0 4889 0
vsize: 19628
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 3797 0 0 0 4992 7 0 0 25 0 1 0 852602465 21540864 3771 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5259 3771 566 18 0 5241 0
vsize: 21036
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 3931 0 0 0 5992 8 0 0 25 0 1 0 852602465 22069248 3905 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 3905 566 18 0 5370 0
vsize: 21552
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 4089 0 0 0 6992 8 0 0 25 0 1 0 852602465 22728704 4063 4294967295 134512640 134581267 3221224576 3221223456 134520278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5549 4063 566 18 0 5531 0
vsize: 22196
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 4324 0 0 0 7992 8 0 0 25 0 1 0 852602465 23646208 4298 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5773 4298 566 18 0 5755 0
vsize: 23092
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 4705 0 0 0 8991 10 0 0 25 0 1 0 852602465 25231360 4679 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6160 4679 566 18 0 6142 0
vsize: 24640
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 4705 0 0 0 9991 10 0 0 25 0 1 0 852602465 25231360 4679 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6160 4679 566 18 0 6142 0
vsize: 24640
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 4936 0 0 0 10991 10 0 0 25 0 1 0 852602465 26173440 4910 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6390 4910 566 18 0 6372 0
vsize: 25560
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5039 0 0 0 11991 10 0 0 25 0 1 0 852602465 26566656 5013 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5039 0 0 0 12991 10 0 0 25 0 1 0 852602465 26566656 5013 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5039 0 0 0 13991 10 0 0 25 0 1 0 852602465 26566656 5013 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5039 0 0 0 14992 10 0 0 25 0 1 0 852602465 26566656 5013 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 15991 11 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 16991 11 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 17991 11 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 18991 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 19991 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 20991 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 21991 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 22991 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 23991 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 24991 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 25991 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 26991 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 27992 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 28992 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5297 0 0 0 29992 12 0 0 25 0 1 0 852602465 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5298 0 0 0 30992 12 0 0 25 0 1 0 852602465 27619328 5272 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5272 566 18 0 6725 0
vsize: 26972
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5298 0 0 0 31992 12 0 0 25 0 1 0 852602465 27619328 5272 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6743 5272 566 18 0 6725 0
vsize: 26972
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5367 0 0 0 32992 13 0 0 25 0 1 0 852602465 28004352 5341 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6837 5341 566 18 0 6819 0
vsize: 27348
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5575 0 0 0 33992 13 0 0 25 0 1 0 852602465 28790784 5549 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7029 5549 566 18 0 7011 0
vsize: 28116
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5575 0 0 0 34992 13 0 0 25 0 1 0 852602465 28790784 5549 4294967295 134512640 134581267 3221224576 3221223440 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7029 5549 566 18 0 7011 0
vsize: 28116
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5575 0 0 0 35992 13 0 0 25 0 1 0 852602465 28790784 5549 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7029 5549 566 18 0 7011 0
vsize: 28116
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5646 0 0 0 36992 13 0 0 25 0 1 0 852602465 29057024 5620 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7094 5620 566 18 0 7076 0
vsize: 28376
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5646 0 0 0 37992 13 0 0 25 0 1 0 852602465 29057024 5620 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7094 5620 566 18 0 7076 0
vsize: 28376
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5782 0 0 0 38992 14 0 0 25 0 1 0 852602465 29581312 5756 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7222 5756 566 18 0 7204 0
vsize: 28888
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5876 0 0 0 39992 14 0 0 25 0 1 0 852602465 29970432 5850 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7317 5850 566 18 0 7299 0
vsize: 29268
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5876 0 0 0 40992 14 0 0 25 0 1 0 852602465 29970432 5850 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7317 5850 566 18 0 7299 0
vsize: 29268
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5885 0 0 0 41992 14 0 0 25 0 1 0 852602465 30158848 5859 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5885 0 0 0 42992 14 0 0 25 0 1 0 852602465 30158848 5859 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5885 0 0 0 43993 14 0 0 25 0 1 0 852602465 30158848 5859 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5885 0 0 0 44993 14 0 0 25 0 1 0 852602465 30158848 5859 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5885 0 0 0 45993 14 0 0 25 0 1 0 852602465 30158848 5859 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5924 0 0 0 46993 14 0 0 25 0 1 0 852602465 30289920 5898 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 5898 566 18 0 7377 0
vsize: 29580
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5924 0 0 0 47993 14 0 0 25 0 1 0 852602465 30289920 5898 4294967295 134512640 134581267 3221224576 3221223504 134519955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 5898 566 18 0 7377 0
vsize: 29580
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5924 0 0 0 48993 14 0 0 25 0 1 0 852602465 30289920 5898 4294967295 134512640 134581267 3221224576 3221223632 134556093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 5898 566 18 0 7377 0
vsize: 29580
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5941 0 0 0 49994 14 0 0 25 0 1 0 852602465 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5941 0 0 0 50994 14 0 0 25 0 1 0 852602465 30449664 5915 4294967295 134512640 134581267 3221224576 3221223504 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5941 0 0 0 51994 14 0 0 25 0 1 0 852602465 30449664 5915 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5941 0 0 0 52994 15 0 0 25 0 1 0 852602465 30449664 5915 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5941 0 0 0 53994 15 0 0 25 0 1 0 852602465 30449664 5915 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5941 0 0 0 54995 15 0 0 25 0 1 0 852602465 30449664 5915 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5941 0 0 0 55995 15 0 0 25 0 1 0 852602465 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5942 0 0 0 56995 15 0 0 25 0 1 0 852602465 30449664 5916 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5916 566 18 0 7416 0
vsize: 29736
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 5942 0 0 0 57995 15 0 0 25 0 1 0 852602465 30449664 5916 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5916 566 18 0 7416 0
vsize: 29736
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 6367 0 0 0 58994 16 0 0 25 0 1 0 852602465 32137216 6341 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7846 6341 566 18 0 7828 0
vsize: 31384
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 6678 0 0 0 59994 16 0 0 25 0 1 0 852602465 33431552 6652 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8162 6652 566 18 0 8144 0
vsize: 32648
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 7060 0 0 0 60992 18 0 0 25 0 1 0 852602465 35004416 7034 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8546 7034 566 18 0 8528 0
vsize: 34184
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 7705 0 0 0 61990 20 0 0 25 0 1 0 852602465 37715968 7679 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9208 7679 566 18 0 9190 0
vsize: 36832
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8332 0 0 0 62990 21 0 0 25 0 1 0 852602465 40284160 8306 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9835 8306 566 18 0 9817 0
vsize: 39340
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8550 0 0 0 63989 22 0 0 25 0 1 0 852602465 41066496 8524 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8550 0 0 0 64990 22 0 0 25 0 1 0 852602465 41066496 8524 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8550 0 0 0 65990 22 0 0 25 0 1 0 852602465 41066496 8524 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8550 0 0 0 66990 22 0 0 25 0 1 0 852602465 41066496 8524 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8550 0 0 0 67990 22 0 0 25 0 1 0 852602465 41066496 8524 4294967295 134512640 134581267 3221224576 3221223552 134560967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 68990 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 69991 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 70991 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 71991 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 72991 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 73991 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 74991 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 75992 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 76992 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 77992 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 78991 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 79992 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 80992 22 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134560599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 81992 23 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 82992 23 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 83992 23 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 84992 23 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 85992 23 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 86992 23 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 87993 23 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134520030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8552 0 0 0 88993 23 0 0 25 0 1 0 852602465 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 89993 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 90993 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223320 1075288187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 91993 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 92993 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 93993 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 94993 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134520105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 95994 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 96994 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 97994 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8553 0 0 0 98994 23 0 0 25 0 1 0 852602465 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8554 0 0 0 99994 23 0 0 25 0 1 0 852602465 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8554 0 0 0 100994 23 0 0 25 0 1 0 852602465 41066496 8528 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8554 0 0 0 101994 23 0 0 25 0 1 0 852602465 41066496 8528 4294967295 134512640 134581267 3221224576 3221223568 134561096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8554 0 0 0 102995 23 0 0 25 0 1 0 852602465 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8554 0 0 0 103995 23 0 0 25 0 1 0 852602465 41066496 8528 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 104995 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 105995 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 106995 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 107995 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 108996 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223492 1075285509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 109996 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 110996 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 111996 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 112996 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 113996 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8555 0 0 0 114997 23 0 0 25 0 1 0 852602465 41066496 8529 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8629 0 0 0 115997 24 0 0 25 0 1 0 852602465 41459712 8603 4294967295 134512640 134581267 3221224576 3221223568 134560622 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10122 8603 566 18 0 10104 0
vsize: 40488
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8700 0 0 0 116997 24 0 0 25 0 1 0 852602465 41758720 8674 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 8674 566 18 0 10177 0
vsize: 40780
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8714 0 0 0 117997 24 0 0 25 0 1 0 852602465 41955328 8688 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10243 8688 566 18 0 10225 0
vsize: 40972
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8984 0 0 0 118997 24 0 0 25 0 1 0 852602465 43008000 8958 4294967295 134512640 134581267 3221224576 3221223488 134527689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10500 8958 566 18 0 10482 0
vsize: 42000
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19514
Raw data (stat): 19514 (Pueblo-v2) R 19513 20224 20223 0 -1 0 8984 0 0 0 119997 24 0 0 25 0 1 0 852602465 43008000 8958 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10500 8958 566 18 0 10482 0
vsize: 42000
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19514
Raw data (stat): 19514 (Pueblo-v2) Z 19513 20224 20223 0 -1 1036 8984 0 0 0 119997 26 0 0 25 0 1 0 852602465 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.24
CPU user time (s): 1199.98
CPU system time (s): 0.263959
CPU usage (%): 100.016
Max. virtual memory (Kb): 42000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####