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/miplib3/normalized-mps-v2-20-10-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
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.116981
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 38839

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        459328 kB
Buffers:         33872 kB
Cached:         519912 kB
SwapCached:        552 kB
Active:          58744 kB
Inactive:       497116 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        459076 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13768 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 18:11:57 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 26886 7 1200.46 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 2/54 18959
Raw data (stat): 18959 (runsolver) R 18958 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851728712 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 2156 0 0 0 994 5 0 0 25 0 1 0 851728712 14852096 2130 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3626 2130 566 18 0 3608 0
vsize: 14504
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 2385 0 0 0 1993 6 0 0 25 0 1 0 851728712 15773696 2359 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3851 2359 566 18 0 3833 0
vsize: 15404
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 2978 0 0 0 2992 7 0 0 25 0 1 0 851728712 18132992 2952 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 2952 566 18 0 4409 0
vsize: 17708
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 3451 0 0 0 3992 8 0 0 25 0 1 0 851728712 20099072 3425 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4907 3425 566 18 0 4889 0
vsize: 19628
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 3797 0 0 0 4992 8 0 0 25 0 1 0 851728712 21540864 3771 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5259 3771 566 18 0 5241 0
vsize: 21036
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 3950 0 0 0 5992 9 0 0 25 0 1 0 851728712 22200320 3924 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 3924 566 18 0 5402 0
vsize: 21680
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 4089 0 0 0 6992 9 0 0 25 0 1 0 851728712 22728704 4063 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5549 4063 566 18 0 5531 0
vsize: 22196
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 4327 0 0 0 7992 10 0 0 25 0 1 0 851728712 23646208 4301 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5773 4301 566 18 0 5755 0
vsize: 23092
[startup+90.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 4705 0 0 0 8991 10 0 0 25 0 1 0 851728712 25231360 4679 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6160 4679 566 18 0 6142 0
vsize: 24640
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 4705 0 0 0 9991 10 0 0 25 0 1 0 851728712 25231360 4679 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6160 4679 566 18 0 6142 0
vsize: 24640
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 4938 0 0 0 10991 11 0 0 25 0 1 0 851728712 26173440 4912 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 4912 566 18 0 6372 0
vsize: 25560
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5039 0 0 0 11991 11 0 0 25 0 1 0 851728712 26566656 5013 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5039 0 0 0 12992 11 0 0 25 0 1 0 851728712 26566656 5013 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5039 0 0 0 13992 11 0 0 25 0 1 0 851728712 26566656 5013 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5039 0 0 0 14993 11 0 0 25 0 1 0 851728712 26566656 5013 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 15992 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 16993 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 17993 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 18993 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 19994 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 20994 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 21994 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 22994 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 23995 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 24995 12 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 25995 13 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 26995 13 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 27996 13 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 28996 13 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5297 0 0 0 29996 13 0 0 25 0 1 0 851728712 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5298 0 0 0 30997 13 0 0 25 0 1 0 851728712 27619328 5272 4294967295 134512640 134581267 3221224576 3221223552 134560965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5272 566 18 0 6725 0
vsize: 26972
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5298 0 0 0 31997 13 0 0 25 0 1 0 851728712 27619328 5272 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5272 566 18 0 6725 0
vsize: 26972
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5395 0 0 0 32997 13 0 0 25 0 1 0 851728712 28004352 5369 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6837 5369 566 18 0 6819 0
vsize: 27348
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5575 0 0 0 33997 13 0 0 25 0 1 0 851728712 28790784 5549 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7029 5549 566 18 0 7011 0
vsize: 28116
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5575 0 0 0 34997 13 0 0 25 0 1 0 851728712 28790784 5549 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7029 5549 566 18 0 7011 0
vsize: 28116
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5575 0 0 0 35998 13 0 0 25 0 1 0 851728712 28790784 5549 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7029 5549 566 18 0 7011 0
vsize: 28116
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5646 0 0 0 36998 14 0 0 25 0 1 0 851728712 29057024 5620 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7094 5620 566 18 0 7076 0
vsize: 28376
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5646 0 0 0 37998 14 0 0 25 0 1 0 851728712 29057024 5620 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7094 5620 566 18 0 7076 0
vsize: 28376
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5794 0 0 0 38998 14 0 0 25 0 1 0 851728712 29712384 5768 4294967295 134512640 134581267 3221224576 3221223440 134560252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7254 5768 566 18 0 7236 0
vsize: 29016
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5876 0 0 0 39998 14 0 0 25 0 1 0 851728712 29970432 5850 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 5850 566 18 0 7299 0
vsize: 29268
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5876 0 0 0 40999 14 0 0 25 0 1 0 851728712 29970432 5850 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 5850 566 18 0 7299 0
vsize: 29268
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5885 0 0 0 41999 14 0 0 25 0 1 0 851728712 30158848 5859 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5885 0 0 0 42999 14 0 0 25 0 1 0 851728712 30158848 5859 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5885 0 0 0 44000 14 0 0 25 0 1 0 851728712 30158848 5859 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5885 0 0 0 45000 14 0 0 25 0 1 0 851728712 30158848 5859 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5885 0 0 0 46000 14 0 0 25 0 1 0 851728712 30158848 5859 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5924 0 0 0 47001 14 0 0 25 0 1 0 851728712 30289920 5898 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 5898 566 18 0 7377 0
vsize: 29580
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18959
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5924 0 0 0 48001 14 0 0 25 0 1 0 851728712 30289920 5898 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 5898 566 18 0 7377 0
vsize: 29580
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 18963
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5924 0 0 0 49001 14 0 0 25 0 1 0 851728712 30289920 5898 4294967295 134512640 134581267 3221224576 3221223468 134560148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 5898 566 18 0 7377 0
vsize: 29580
[startup+500.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 19012
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5941 0 0 0 50001 14 0 0 25 0 1 0 851728712 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+510.012 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19012
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5941 0 0 0 51002 14 0 0 25 0 1 0 851728712 30449664 5915 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+520.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19012
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5941 0 0 0 52002 14 0 0 25 0 1 0 851728712 30449664 5915 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+530.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19012
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5941 0 0 0 53002 14 0 0 25 0 1 0 851728712 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+540.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19012
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5941 0 0 0 54003 14 0 0 25 0 1 0 851728712 30449664 5915 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+550.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19012
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5941 0 0 0 55003 14 0 0 25 0 1 0 851728712 30449664 5915 4294967295 134512640 134581267 3221224576 3221223568 134560858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+560.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19012
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5941 0 0 0 56003 14 0 0 25 0 1 0 851728712 30449664 5915 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+570.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5942 0 0 0 57004 14 0 0 25 0 1 0 851728712 30449664 5916 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5916 566 18 0 7416 0
vsize: 29736
[startup+580.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 5942 0 0 0 58004 14 0 0 25 0 1 0 851728712 30449664 5916 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5916 566 18 0 7416 0
vsize: 29736
[startup+590.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 6407 0 0 0 59003 16 0 0 25 0 1 0 851728712 32268288 6381 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7878 6381 566 18 0 7860 0
vsize: 31512
[startup+600.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 6680 0 0 0 60003 16 0 0 25 0 1 0 851728712 33431552 6654 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8162 6654 566 18 0 8144 0
vsize: 32648
[startup+610.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 7097 0 0 0 61003 17 0 0 25 0 1 0 851728712 35139584 7071 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8579 7071 566 18 0 8561 0
vsize: 34316
[startup+620.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 7745 0 0 0 62001 18 0 0 25 0 1 0 851728712 37842944 7719 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9239 7719 566 18 0 9221 0
vsize: 36956
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8370 0 0 0 63000 20 0 0 25 0 1 0 851728712 40419328 8344 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9868 8344 566 18 0 9850 0
vsize: 39472
[startup+640.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8550 0 0 0 64001 21 0 0 25 0 1 0 851728712 41066496 8524 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+650.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8550 0 0 0 65001 21 0 0 25 0 1 0 851728712 41066496 8524 4294967295 134512640 134581267 3221224576 3221223440 134560284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+660.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8550 0 0 0 66001 21 0 0 25 0 1 0 851728712 41066496 8524 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8550 0 0 0 67002 21 0 0 25 0 1 0 851728712 41066496 8524 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+680.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8550 0 0 0 68002 21 0 0 25 0 1 0 851728712 41066496 8524 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 69002 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 70003 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223520 134558821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 71003 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223544 134527292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 72003 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+730.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 73004 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+740.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 74004 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 75004 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+760.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 76005 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+770.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 77005 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 78005 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19014
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 79006 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+800.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 80006 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 81007 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+820.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 82007 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+830.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 83007 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+840.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 84008 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+850.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 85008 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134560935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+860.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 86008 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+870.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 87009 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+880.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 88009 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+890.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8552 0 0 0 89010 21 0 0 25 0 1 0 851728712 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+900.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 90010 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+910.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 91010 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+920.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 92011 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+930.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 93011 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223456 134520304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+940.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 94011 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+950.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 95012 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+960.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 96012 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+970.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 97012 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+980.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 98013 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223464 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+990.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8553 0 0 0 99013 22 0 0 25 0 1 0 851728712 41066496 8527 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8554 0 0 0 100014 22 0 0 25 0 1 0 851728712 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8554 0 0 0 101014 22 0 0 25 0 1 0 851728712 41066496 8528 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8554 0 0 0 102014 22 0 0 25 0 1 0 851728712 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8554 0 0 0 103015 22 0 0 25 0 1 0 851728712 41066496 8528 4294967295 134512640 134581267 3221224576 3221223536 134554613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8554 0 0 0 104015 22 0 0 25 0 1 0 851728712 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 105015 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134520095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 106016 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 107016 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 108017 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 109017 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 110017 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 111018 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 112018 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 113019 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8555 0 0 0 114019 22 0 0 25 0 1 0 851728712 41066496 8529 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8588 0 0 0 115019 22 0 0 25 0 1 0 851728712 41328640 8562 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10090 8562 566 18 0 10072 0
vsize: 40360
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8639 0 0 0 116019 22 0 0 25 0 1 0 851728712 41598976 8613 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 8613 566 18 0 10138 0
vsize: 40624
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8703 0 0 0 117019 23 0 0 25 0 1 0 851728712 41758720 8677 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 8677 566 18 0 10177 0
vsize: 40780
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8749 0 0 0 118020 23 0 0 25 0 1 0 851728712 42086400 8723 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10275 8723 566 18 0 10257 0
vsize: 41100
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8984 0 0 0 119019 23 0 0 25 0 1 0 851728712 43008000 8958 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 8958 566 18 0 10482 0
vsize: 42000
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19016
Raw data (stat): 18959 (Pueblo-v2) R 18958 25568 25567 0 -1 0 8984 0 0 0 120020 23 0 0 25 0 1 0 851728712 43008000 8958 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 8958 566 18 0 10482 0
vsize: 42000
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 19016
Raw data (stat): 18959 (Pueblo-v2) Z 18958 25568 25567 0 -1 1036 8984 0 0 0 120020 25 0 0 25 0 1 0 851728712 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.46
CPU user time (s): 1200.2
CPU system time (s): 0.254961
CPU usage (%): 100.032
Max. virtual memory (Kb): 42000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####