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-air06.opb
MD5SUM	f85d0079133f298b06c25764b03ff228
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50233
Optimality of the best value was proved	NO
Number of terms in the objective function	8627
Biggest coefficient in the objective function	1859
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	4587852
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	1859
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	4587852
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.81
Number of variables	8627
Total number of constraints	9452
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9452
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	461
Trace number 39097

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 20:20:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27155 boxname=wulflinc2 idbench=1283 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f85d0079133f298b06c25764b03ff228  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air06.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air06.opb
IDLAUNCH: 27155
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        451176 kB
Buffers:         28276 kB
Cached:         532924 kB
SwapCached:       1160 kB
Active:          39020 kB
Inactive:       524592 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        450924 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14204 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 20:40:41 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27155 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 2/54 31666
Raw data (stat): 31666 (runsolver) R 31665 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852625540 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.0013 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 2111 0 0 0 993 5 0 0 25 0 1 0 852625540 14565376 2085 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2085 566 18 0 3538 0
vsize: 14224
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 2302 0 0 0 1993 6 0 0 25 0 1 0 852625540 15360000 2276 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3750 2276 566 18 0 3732 0
vsize: 15000
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 2611 0 0 0 2992 7 0 0 25 0 1 0 852625540 16674816 2585 4294967295 134512640 134581267 3221224576 3221223472 134527747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4071 2585 566 18 0 4053 0
vsize: 16284
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 2640 0 0 0 3992 7 0 0 25 0 1 0 852625540 16826368 2614 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4108 2614 566 18 0 4090 0
vsize: 16432
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 2796 0 0 0 4992 7 0 0 25 0 1 0 852625540 17489920 2770 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4270 2770 566 18 0 4252 0
vsize: 17080
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 2796 0 0 0 5992 7 0 0 25 0 1 0 852625540 17489920 2770 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4270 2770 566 18 0 4252 0
vsize: 17080
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3128 0 0 0 6991 8 0 0 25 0 1 0 852625540 18812928 3102 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4593 3102 566 18 0 4575 0
vsize: 18372
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3128 0 0 0 7992 8 0 0 25 0 1 0 852625540 18812928 3102 4294967295 134512640 134581267 3221224576 3221223440 134560172 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4593 3102 566 18 0 4575 0
vsize: 18372
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3194 0 0 0 8992 8 0 0 25 0 1 0 852625540 19075072 3168 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3168 566 18 0 4639 0
vsize: 18628
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3194 0 0 0 9992 8 0 0 25 0 1 0 852625540 19075072 3168 4294967295 134512640 134581267 3221224576 3221223616 134565021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3168 566 18 0 4639 0
vsize: 18628
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3330 0 0 0 10991 9 0 0 25 0 1 0 852625540 19591168 3304 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4783 3304 566 18 0 4765 0
vsize: 19132
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3330 0 0 0 11992 9 0 0 25 0 1 0 852625540 19591168 3304 4294967295 134512640 134581267 3221224576 3221223484 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4783 3304 566 18 0 4765 0
vsize: 19132
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3330 0 0 0 12992 9 0 0 25 0 1 0 852625540 19591168 3304 4294967295 134512640 134581267 3221224576 3221223568 134560972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4783 3304 566 18 0 4765 0
vsize: 19132
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3330 0 0 0 13992 9 0 0 25 0 1 0 852625540 19591168 3304 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4783 3304 566 18 0 4765 0
vsize: 19132
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3488 0 0 0 14992 10 0 0 25 0 1 0 852625540 20246528 3462 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4943 3462 566 18 0 4925 0
vsize: 19772
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3488 0 0 0 15992 10 0 0 25 0 1 0 852625540 20246528 3462 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4943 3462 566 18 0 4925 0
vsize: 19772
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3548 0 0 0 16992 10 0 0 25 0 1 0 852625540 20512768 3522 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5008 3522 566 18 0 4990 0
vsize: 20032
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3570 0 0 0 17992 10 0 0 25 0 1 0 852625540 20643840 3544 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5040 3544 566 18 0 5022 0
vsize: 20160
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3621 0 0 0 18992 10 0 0 25 0 1 0 852625540 20774912 3595 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5072 3595 566 18 0 5054 0
vsize: 20288
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3623 0 0 0 19992 10 0 0 25 0 1 0 852625540 20774912 3597 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5072 3597 566 18 0 5054 0
vsize: 20288
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3623 0 0 0 20993 10 0 0 25 0 1 0 852625540 20774912 3597 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5072 3597 566 18 0 5054 0
vsize: 20288
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3785 0 0 0 21992 10 0 0 25 0 1 0 852625540 21434368 3759 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3785 0 0 0 22993 10 0 0 25 0 1 0 852625540 21434368 3759 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3785 0 0 0 23993 11 0 0 25 0 1 0 852625540 21434368 3759 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3785 0 0 0 24993 11 0 0 25 0 1 0 852625540 21434368 3759 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3785 0 0 0 25993 11 0 0 25 0 1 0 852625540 21434368 3759 4294967295 134512640 134581267 3221224576 3221223520 134559228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3814 0 0 0 26993 11 0 0 25 0 1 0 852625540 21565440 3788 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5265 3788 566 18 0 5247 0
vsize: 21060
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3836 0 0 0 27994 11 0 0 25 0 1 0 852625540 21696512 3810 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 3810 566 18 0 5279 0
vsize: 21188
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3836 0 0 0 28994 11 0 0 25 0 1 0 852625540 21696512 3810 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 3810 566 18 0 5279 0
vsize: 21188
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3853 0 0 0 29994 11 0 0 25 0 1 0 852625540 21696512 3827 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5297 3827 566 18 0 5279 0
vsize: 21188
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 3955 0 0 0 30994 11 0 0 25 0 1 0 852625540 22183936 3929 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5416 3929 566 18 0 5398 0
vsize: 21664
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4007 0 0 0 31994 11 0 0 25 0 1 0 852625540 22446080 3981 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5480 3981 566 18 0 5462 0
vsize: 21920
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4223 0 0 0 32994 11 0 0 25 0 1 0 852625540 23232512 4197 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4223 0 0 0 33994 11 0 0 25 0 1 0 852625540 23232512 4197 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4223 0 0 0 34994 11 0 0 25 0 1 0 852625540 23232512 4197 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4223 0 0 0 35995 11 0 0 25 0 1 0 852625540 23232512 4197 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4223 0 0 0 36995 11 0 0 25 0 1 0 852625540 23232512 4197 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4223 0 0 0 37994 11 0 0 25 0 1 0 852625540 23232512 4197 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4223 0 0 0 38994 11 0 0 25 0 1 0 852625540 23232512 4197 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4351 0 0 0 39994 12 0 0 25 0 1 0 852625540 23842816 4325 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 4325 566 18 0 5803 0
vsize: 23284
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4525 0 0 0 40994 12 0 0 25 0 1 0 852625540 24551424 4499 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5994 4499 566 18 0 5976 0
vsize: 23976
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4525 0 0 0 41994 12 0 0 25 0 1 0 852625540 24551424 4499 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5994 4499 566 18 0 5976 0
vsize: 23976
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4525 0 0 0 42995 12 0 0 25 0 1 0 852625540 24551424 4499 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5994 4499 566 18 0 5976 0
vsize: 23976
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4525 0 0 0 43995 12 0 0 25 0 1 0 852625540 24551424 4499 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5994 4499 566 18 0 5976 0
vsize: 23976
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4525 0 0 0 44995 12 0 0 25 0 1 0 852625540 24551424 4499 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5994 4499 566 18 0 5976 0
vsize: 23976
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4525 0 0 0 45995 12 0 0 25 0 1 0 852625540 24535040 4499 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 4499 566 18 0 5972 0
vsize: 23960
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4525 0 0 0 46995 12 0 0 25 0 1 0 852625540 24535040 4499 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 4499 566 18 0 5972 0
vsize: 23960
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4525 0 0 0 47996 12 0 0 25 0 1 0 852625540 24535040 4499 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 4499 566 18 0 5972 0
vsize: 23960
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 48996 12 0 0 25 0 1 0 852625540 24535040 4500 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 4500 566 18 0 5972 0
vsize: 23960
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 49996 12 0 0 25 0 1 0 852625540 24535040 4500 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 4500 566 18 0 5972 0
vsize: 23960
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 50996 12 0 0 25 0 1 0 852625540 24535040 4500 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 4500 566 18 0 5972 0
vsize: 23960
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 51996 12 0 0 25 0 1 0 852625540 24535040 4500 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 4500 566 18 0 5972 0
vsize: 23960
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 52996 12 0 0 25 0 1 0 852625540 24530944 4500 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 53997 12 0 0 25 0 1 0 852625540 24530944 4500 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 54997 12 0 0 25 0 1 0 852625540 24530944 4500 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 55997 13 0 0 25 0 1 0 852625540 24530944 4500 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 56997 13 0 0 25 0 1 0 852625540 24530944 4500 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4526 0 0 0 57997 13 0 0 25 0 1 0 852625540 24530944 4500 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4761 0 0 0 58997 13 0 0 25 0 1 0 852625540 25460736 4735 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 4735 566 18 0 6198 0
vsize: 24864
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4761 0 0 0 59997 13 0 0 25 0 1 0 852625540 25460736 4735 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 4735 566 18 0 6198 0
vsize: 24864
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4761 0 0 0 60997 13 0 0 25 0 1 0 852625540 25460736 4735 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 4735 566 18 0 6198 0
vsize: 24864
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 61997 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 62997 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 63997 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223536 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 64997 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223556 134560947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 65997 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 66997 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 67998 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 68998 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 69998 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 70998 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 71998 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 72998 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 73999 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 4853 0 0 0 74999 14 0 0 25 0 1 0 852625540 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5017 0 0 0 75999 15 0 0 25 0 1 0 852625540 26517504 4991 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6474 4991 566 18 0 6456 0
vsize: 25896
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5026 0 0 0 76999 15 0 0 25 0 1 0 852625540 26648576 5000 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6506 5000 566 18 0 6488 0
vsize: 26024
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5026 0 0 0 77999 15 0 0 25 0 1 0 852625540 26648576 5000 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6506 5000 566 18 0 6488 0
vsize: 26024
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5026 0 0 0 78999 15 0 0 25 0 1 0 852625540 26648576 5000 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6506 5000 566 18 0 6488 0
vsize: 26024
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 79999 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134527752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 80999 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223568 134560858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 81999 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 82999 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 84000 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 85000 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 86000 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 87000 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 88000 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 89001 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 90001 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223456 134520297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 91001 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 92001 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 93001 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 94001 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 95002 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 96002 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 97002 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 98002 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 99002 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 100003 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 101003 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 102003 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 103003 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5064 0 0 0 104003 15 0 0 25 0 1 0 852625540 26775552 5038 4294967295 134512640 134581267 3221224576 3221223536 134554618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5088 0 0 0 105003 15 0 0 25 0 1 0 852625540 26906624 5062 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6569 5062 566 18 0 6551 0
vsize: 26276
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5088 0 0 0 106004 15 0 0 25 0 1 0 852625540 26906624 5062 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6569 5062 566 18 0 6551 0
vsize: 26276
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5088 0 0 0 107004 15 0 0 25 0 1 0 852625540 26906624 5062 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6569 5062 566 18 0 6551 0
vsize: 26276
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5128 0 0 0 108004 16 0 0 25 0 1 0 852625540 27037696 5102 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6601 5102 566 18 0 6583 0
vsize: 26404
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5175 0 0 0 109004 16 0 0 25 0 1 0 852625540 27172864 5149 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6634 5149 566 18 0 6616 0
vsize: 26536
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5175 0 0 0 110004 16 0 0 25 0 1 0 852625540 27172864 5149 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6634 5149 566 18 0 6616 0
vsize: 26536
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5221 0 0 0 111004 16 0 0 25 0 1 0 852625540 27435008 5195 4294967295 134512640 134581267 3221224576 3221223368 1075285744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6698 5195 566 18 0 6680 0
vsize: 26792
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5564 0 0 0 112003 17 0 0 25 0 1 0 852625540 28758016 5538 4294967295 134512640 134581267 3221224576 3221223632 134556093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7021 5538 566 18 0 7003 0
vsize: 28084
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5707 0 0 0 113003 17 0 0 25 0 1 0 852625540 29405184 5681 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7179 5681 566 18 0 7161 0
vsize: 28716
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5707 0 0 0 114003 17 0 0 25 0 1 0 852625540 29405184 5681 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7179 5681 566 18 0 7161 0
vsize: 28716
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5707 0 0 0 115003 17 0 0 25 0 1 0 852625540 29405184 5681 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7179 5681 566 18 0 7161 0
vsize: 28716
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5707 0 0 0 116003 18 0 0 25 0 1 0 852625540 29405184 5681 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7179 5681 566 18 0 7161 0
vsize: 28716
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5724 0 0 0 117003 18 0 0 25 0 1 0 852625540 29405184 5698 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7179 5698 566 18 0 7161 0
vsize: 28716
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5724 0 0 0 118003 18 0 0 25 0 1 0 852625540 29405184 5698 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7179 5698 566 18 0 7161 0
vsize: 28716
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5724 0 0 0 119003 18 0 0 25 0 1 0 852625540 29405184 5698 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7179 5698 566 18 0 7161 0
vsize: 28716
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31666
Raw data (stat): 31666 (Pueblo-v2) R 31665 31399 31398 0 -1 0 5724 0 0 0 120003 18 0 0 25 0 1 0 852625540 29405184 5698 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7179 5698 566 18 0 7161 0
vsize: 28716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 31666
Raw data (stat): 31666 (Pueblo-v2) Z 31665 31399 31398 0 -1 1036 5724 0 0 0 120003 20 0 0 25 0 1 0 852625540 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.04
CPU time (s): 1200.24
CPU user time (s): 1200.04
CPU system time (s): 0.201969
CPU usage (%): 100.016
Max. virtual memory (Kb): 28716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####