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/miplib3/normalized-mps-v2-13-7-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.120981
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 39208

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 23:32:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27270 boxname=wulflinc6 idbench=1398 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 27270
/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:        145700 kB
Buffers:         33644 kB
Cached:         833484 kB
SwapCached:        552 kB
Active:          30180 kB
Inactive:       839056 kB
HighTotal:      131008 kB
HighFree:         3416 kB
LowTotal:       903652 kB
LowFree:        142284 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14168 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 23:52:26 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 27270 7 1200.42 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.93 0.95 0.91 2/54 25154
Raw data (stat): 25154 (runsolver) R 25153 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853771826 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.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 2156 0 0 0 992 7 0 0 25 0 1 0 853771826 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.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 2382 0 0 0 1991 7 0 0 25 0 1 0 853771826 15642624 2356 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3819 2356 566 18 0 3801 0
vsize: 15276
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 2977 0 0 0 2990 9 0 0 25 0 1 0 853771826 18132992 2951 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 2951 566 18 0 4409 0
vsize: 17708
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 3442 0 0 0 3988 11 0 0 25 0 1 0 853771826 20099072 3416 4294967295 134512640 134581267 3221224576 3221223504 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4907 3416 566 18 0 4889 0
vsize: 19628
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 3797 0 0 0 4987 12 0 0 25 0 1 0 853771826 21540864 3771 4294967295 134512640 134581267 3221224576 3221223472 134517888 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.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 3929 0 0 0 5987 13 0 0 25 0 1 0 853771826 22069248 3903 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 3903 566 18 0 5370 0
vsize: 21552
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 4089 0 0 0 6986 13 0 0 25 0 1 0 853771826 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.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 4330 0 0 0 7986 14 0 0 25 0 1 0 853771826 23646208 4304 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5773 4304 566 18 0 5755 0
vsize: 23092
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 4705 0 0 0 8986 15 0 0 25 0 1 0 853771826 25231360 4679 4294967295 134512640 134581267 3221224576 3221223552 134560693 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.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 4705 0 0 0 9986 15 0 0 25 0 1 0 853771826 25231360 4679 4294967295 134512640 134581267 3221224576 3221223504 134520084 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 4953 0 0 0 10986 16 0 0 25 0 1 0 853771826 26308608 4927 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6423 4927 566 18 0 6405 0
vsize: 25692
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5039 0 0 0 11985 16 0 0 25 0 1 0 853771826 26566656 5013 4294967295 134512640 134581267 3221224576 3221223472 134517905 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5039 0 0 0 12986 16 0 0 25 0 1 0 853771826 26566656 5013 4294967295 134512640 134581267 3221224576 3221223472 134517862 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5039 0 0 0 13986 16 0 0 25 0 1 0 853771826 26566656 5013 4294967295 134512640 134581267 3221224576 3221223648 134531368 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5080 0 0 0 14986 16 0 0 25 0 1 0 853771826 26832896 5054 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6551 5055 566 18 0 6533 0
vsize: 26204
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 15986 17 0 0 25 0 1 0 853771826 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 16986 17 0 0 25 0 1 0 853771826 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+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 17986 17 0 0 25 0 1 0 853771826 27619328 5271 4294967295 134512640 134581267 3221224576 3221223440 134528243 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 18987 17 0 0 25 0 1 0 853771826 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519931 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 19987 17 0 0 25 0 1 0 853771826 27619328 5271 4294967295 134512640 134581267 3221224576 3221223568 134561117 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 20987 17 0 0 25 0 1 0 853771826 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+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 21988 17 0 0 25 0 1 0 853771826 27619328 5271 4294967295 134512640 134581267 3221224576 3221223468 134560148 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 22988 17 0 0 25 0 1 0 853771826 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+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 23988 17 0 0 25 0 1 0 853771826 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+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 24989 17 0 0 25 0 1 0 853771826 27619328 5271 4294967295 134512640 134581267 3221224576 3221223568 134561015 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 25989 17 0 0 25 0 1 0 853771826 27619328 5271 4294967295 134512640 134581267 3221224576 3221223552 134560674 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 26989 17 0 0 25 0 1 0 853771826 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519947 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 27990 17 0 0 25 0 1 0 853771826 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517873 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 28990 17 0 0 25 0 1 0 853771826 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+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5297 0 0 0 29990 17 0 0 25 0 1 0 853771826 27619328 5271 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5298 0 0 0 30990 17 0 0 25 0 1 0 853771826 27619328 5272 4294967295 134512640 134581267 3221224576 3221223568 134561040 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5298 0 0 0 31991 17 0 0 25 0 1 0 853771826 27619328 5272 4294967295 134512640 134581267 3221224576 3221223488 134527782 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5561 0 0 0 32990 18 0 0 25 0 1 0 853771826 28790784 5535 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7029 5535 566 18 0 7011 0
vsize: 28116
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5575 0 0 0 33991 18 0 0 25 0 1 0 853771826 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5575 0 0 0 34991 18 0 0 25 0 1 0 853771826 28790784 5549 4294967295 134512640 134581267 3221224576 3221223472 134517894 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5575 0 0 0 35991 18 0 0 25 0 1 0 853771826 28790784 5549 4294967295 134512640 134581267 3221224576 3221223352 1075291621 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5646 0 0 0 36992 18 0 0 25 0 1 0 853771826 29057024 5620 4294967295 134512640 134581267 3221224576 3221223568 134561015 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5646 0 0 0 37992 18 0 0 25 0 1 0 853771826 29057024 5620 4294967295 134512640 134581267 3221224576 3221223472 134517815 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5876 0 0 0 38992 19 0 0 25 0 1 0 853771826 29970432 5850 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7317 5850 566 18 0 7299 0
vsize: 29268
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5876 0 0 0 39992 19 0 0 25 0 1 0 853771826 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+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5876 0 0 0 40992 19 0 0 25 0 1 0 853771826 29970432 5850 4294967295 134512640 134581267 3221224576 3221223472 134517897 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5885 0 0 0 41993 19 0 0 25 0 1 0 853771826 30158848 5859 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5885 0 0 0 42993 19 0 0 25 0 1 0 853771826 30158848 5859 4294967295 134512640 134581267 3221224576 3221223472 134517894 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5885 0 0 0 43994 19 0 0 25 0 1 0 853771826 30158848 5859 4294967295 134512640 134581267 3221224576 3221223548 134519895 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5885 0 0 0 44994 19 0 0 25 0 1 0 853771826 30158848 5859 4294967295 134512640 134581267 3221224576 3221223560 134560628 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5885 0 0 0 45994 19 0 0 25 0 1 0 853771826 30158848 5859 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5924 0 0 0 46994 19 0 0 25 0 1 0 853771826 30289920 5898 4294967295 134512640 134581267 3221224576 3221223472 134517878 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5924 0 0 0 47995 19 0 0 25 0 1 0 853771826 30289920 5898 4294967295 134512640 134581267 3221224576 3221223488 134527407 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5941 0 0 0 48995 19 0 0 25 0 1 0 853771826 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+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5941 0 0 0 49995 19 0 0 25 0 1 0 853771826 30449664 5915 4294967295 134512640 134581267 3221224576 3221223488 134527407 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5941 0 0 0 50995 20 0 0 25 0 1 0 853771826 30449664 5915 4294967295 134512640 134581267 3221224576 3221223520 134559268 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5941 0 0 0 51995 20 0 0 25 0 1 0 853771826 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517865 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5941 0 0 0 52996 20 0 0 25 0 1 0 853771826 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517905 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5941 0 0 0 53996 20 0 0 25 0 1 0 853771826 30449664 5915 4294967295 134512640 134581267 3221224576 3221223504 134519803 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5941 0 0 0 54996 20 0 0 25 0 1 0 853771826 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517865 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5942 0 0 0 55996 20 0 0 25 0 1 0 853771826 30449664 5916 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 5916 566 18 0 7416 0
vsize: 29736
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 5942 0 0 0 56997 20 0 0 25 0 1 0 853771826 30449664 5916 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 6183 0 0 0 57996 21 0 0 25 0 1 0 853771826 31363072 6157 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7657 6157 566 18 0 7639 0
vsize: 30628
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 6678 0 0 0 58996 22 0 0 25 0 1 0 853771826 33431552 6652 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8162 6652 566 18 0 8144 0
vsize: 32648
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 6919 0 0 0 59996 22 0 0 25 0 1 0 853771826 34484224 6893 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8419 6893 566 18 0 8401 0
vsize: 33676
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 7578 0 0 0 60994 24 0 0 25 0 1 0 853771826 37072896 7552 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9051 7552 566 18 0 9033 0
vsize: 36204
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8233 0 0 0 61993 26 0 0 25 0 1 0 853771826 39772160 8207 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9710 8207 566 18 0 9692 0
vsize: 38840
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8550 0 0 0 62992 27 0 0 25 0 1 0 853771826 41066496 8524 4294967295 134512640 134581267 3221224576 3221223480 134527743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8550 0 0 0 63992 27 0 0 25 0 1 0 853771826 41066496 8524 4294967295 134512640 134581267 3221224576 3221223504 134519947 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8550 0 0 0 64993 27 0 0 25 0 1 0 853771826 41066496 8524 4294967295 134512640 134581267 3221224576 3221223568 134560930 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8550 0 0 0 65993 27 0 0 25 0 1 0 853771826 41066496 8524 4294967295 134512640 134581267 3221224576 3221223504 134519931 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8550 0 0 0 66993 27 0 0 25 0 1 0 853771826 41066496 8524 4294967295 134512640 134581267 3221224576 3221223504 134520043 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 67994 27 0 0 25 0 1 0 853771826 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+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 68994 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134561012 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 69994 27 0 0 25 0 1 0 853771826 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+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 70995 27 0 0 25 0 1 0 853771826 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+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 71995 27 0 0 25 0 1 0 853771826 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+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 72996 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517862 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 73996 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519958 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 74996 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519947 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 75997 27 0 0 25 0 1 0 853771826 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+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 76997 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223520 134558768 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 77997 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517888 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 78998 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517844 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 79998 27 0 0 25 0 1 0 853771826 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+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 80998 27 0 0 25 0 1 0 853771826 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+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 81999 27 0 0 25 0 1 0 853771826 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 82999 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517905 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 83999 27 0 0 25 0 1 0 853771826 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+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 85000 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517878 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 86000 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223488 134527695 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 87000 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134520084 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8552 0 0 0 88001 27 0 0 25 0 1 0 853771826 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519931 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 89001 27 0 0 25 0 1 0 853771826 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 90001 27 0 0 25 0 1 0 853771826 41066496 8527 4294967295 134512640 134581267 3221224576 3221223568 134561040 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 91002 27 0 0 25 0 1 0 853771826 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134520084 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 92002 27 0 0 25 0 1 0 853771826 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519797 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 93002 27 0 0 25 0 1 0 853771826 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+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 94003 27 0 0 25 0 1 0 853771826 41066496 8527 4294967295 134512640 134581267 3221224576 3221223488 134527442 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 95003 27 0 0 25 0 1 0 853771826 41066496 8527 4294967295 134512640 134581267 3221224576 3221223488 134527737 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 96004 27 0 0 25 0 1 0 853771826 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519952 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 97004 27 0 0 25 0 1 0 853771826 41066496 8527 4294967295 134512640 134581267 3221224576 3221223488 134527454 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8553 0 0 0 98004 27 0 0 25 0 1 0 853771826 41066496 8527 4294967295 134512640 134581267 3221224576 3221223440 134560433 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8554 0 0 0 99004 27 0 0 25 0 1 0 853771826 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8554 0 0 0 100005 27 0 0 25 0 1 0 853771826 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8554 0 0 0 101005 27 0 0 25 0 1 0 853771826 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517873 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8554 0 0 0 102005 27 0 0 25 0 1 0 853771826 41066496 8528 4294967295 134512640 134581267 3221224576 3221223504 134520076 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 103006 27 0 0 25 0 1 0 853771826 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 104006 27 0 0 25 0 1 0 853771826 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+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 105007 27 0 0 25 0 1 0 853771826 41066496 8529 4294967295 134512640 134581267 3221224576 3221223568 134561090 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 106007 27 0 0 25 0 1 0 853771826 41066496 8529 4294967295 134512640 134581267 3221224576 3221223472 134517767 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 107007 27 0 0 25 0 1 0 853771826 41066496 8529 4294967295 134512640 134581267 3221224576 3221223472 134517880 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 108007 27 0 0 25 0 1 0 853771826 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+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 109007 28 0 0 25 0 1 0 853771826 41066496 8529 4294967295 134512640 134581267 3221224576 3221223440 134560188 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 110008 28 0 0 25 0 1 0 853771826 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134519844 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 111008 28 0 0 25 0 1 0 853771826 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 112008 28 0 0 25 0 1 0 853771826 41066496 8529 4294967295 134512640 134581267 3221224576 3221223488 134527667 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8555 0 0 0 113008 28 0 0 25 0 1 0 853771826 41066496 8529 4294967295 134512640 134581267 3221224576 3221223472 134517888 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 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8623 0 0 0 114009 28 0 0 25 0 1 0 853771826 41459712 8597 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10122 8597 566 18 0 10104 0
vsize: 40488
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8674 0 0 0 115009 29 0 0 25 0 1 0 853771826 41758720 8648 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 8648 566 18 0 10177 0
vsize: 40780
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8714 0 0 0 116009 29 0 0 25 0 1 0 853771826 41955328 8688 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10243 8688 566 18 0 10225 0
vsize: 40972
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8984 0 0 0 117009 29 0 0 25 0 1 0 853771826 43008000 8958 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10500 8958 566 18 0 10482 0
vsize: 42000
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8984 0 0 0 118010 29 0 0 25 0 1 0 853771826 43008000 8958 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10500 8958 566 18 0 10482 0
vsize: 42000
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8985 0 0 0 119010 29 0 0 25 0 1 0 853771826 43008000 8959 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10500 8959 566 18 0 10482 0
vsize: 42000
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25154
Raw data (stat): 25154 (Pueblo-v2) R 25153 25568 25567 0 -1 0 8986 0 0 0 120010 29 0 0 25 0 1 0 853771826 43008000 8960 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10500 8960 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 25154
Raw data (stat): 25154 (Pueblo-v2) Z 25153 25568 25567 0 -1 1036 8986 0 0 0 120010 31 0 0 25 0 1 0 853771826 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.42
CPU user time (s): 1200.11
CPU system time (s): 0.310952
CPU usage (%): 100.031
Max. virtual memory (Kb): 42000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####