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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb
MD5SUM	60f638829868e3a2820fb14a59c3225e
Bench Category	optimization, big integers (OPTBIGINT)
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	31460
Biggest coefficient in the objective function	977797120
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	331425197400
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	977797120
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	331425197400
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.311952
Number of variables	36360
Total number of constraints	1503
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1503
Minimum length of a constraint	40
Maximum length of a constraint	4060
Trace number 39057

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 19:40:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27080 boxname=wulflinc2 idbench=1208 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  60f638829868e3a2820fb14a59c3225e  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-degen3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-degen3.opb
IDLAUNCH: 27080
/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:        449720 kB
Buffers:         27712 kB
Cached:         534168 kB
SwapCached:       1160 kB
Active:          45320 kB
Inactive:       519020 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        449468 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14868 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 20:00:19 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27080 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.56 0.77 0.86 2/54 31424
Raw data (stat): 31424 (runsolver) R 31423 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852383312 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.0006 s]
Raw data (loadavg): 0.62 0.78 0.86 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 38883 0 0 0 930 68 0 0 25 0 1 0 852383312 32690176 6133 4294967295 134512640 134581267 3221224576 3221220864 134532711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7981 6133 566 18 0 7963 0
vsize: 31924
[startup+20.0012 s]
Raw data (loadavg): 0.68 0.78 0.86 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87785 0 0 0 1852 147 0 0 25 0 1 0 852383312 39555072 7803 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7803 566 18 0 9639 0
vsize: 38628
[startup+30.0019 s]
Raw data (loadavg): 0.73 0.79 0.86 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87787 0 0 0 2852 147 0 0 25 0 1 0 852383312 39555072 7805 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7805 566 18 0 9639 0
vsize: 38628
[startup+40.0026 s]
Raw data (loadavg): 0.77 0.80 0.86 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87788 0 0 0 3852 147 0 0 25 0 1 0 852383312 39555072 7806 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7806 566 18 0 9639 0
vsize: 38628
[startup+50.0036 s]
Raw data (loadavg): 0.81 0.80 0.86 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 4851 148 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+60.004 s]
Raw data (loadavg): 0.83 0.81 0.86 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 5851 148 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+70.0037 s]
Raw data (loadavg): 0.86 0.82 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 6851 149 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+80.0044 s]
Raw data (loadavg): 0.88 0.82 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 7850 149 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+90.0051 s]
Raw data (loadavg): 0.90 0.83 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 8850 149 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+100.005 s]
Raw data (loadavg): 0.91 0.83 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 9849 150 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+110.006 s]
Raw data (loadavg): 0.93 0.84 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 10849 150 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+120.006 s]
Raw data (loadavg): 0.94 0.84 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 11849 151 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+130.007 s]
Raw data (loadavg): 0.95 0.85 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 12849 151 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+140.008 s]
Raw data (loadavg): 0.95 0.85 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 13848 151 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+150.008 s]
Raw data (loadavg): 0.96 0.86 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 14848 151 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+160.009 s]
Raw data (loadavg): 0.97 0.86 0.87 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 15848 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+170.009 s]
Raw data (loadavg): 0.97 0.86 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 16848 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+180.009 s]
Raw data (loadavg): 0.98 0.87 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 17848 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+190.01 s]
Raw data (loadavg): 0.98 0.87 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 18848 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+200.01 s]
Raw data (loadavg): 0.98 0.87 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 19848 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+210.01 s]
Raw data (loadavg): 0.98 0.88 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 20848 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+220.011 s]
Raw data (loadavg): 0.99 0.88 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 21849 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+230.012 s]
Raw data (loadavg): 0.99 0.89 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 22849 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+240.012 s]
Raw data (loadavg): 0.99 0.89 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 23849 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+250.012 s]
Raw data (loadavg): 0.99 0.89 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 24849 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+260.013 s]
Raw data (loadavg): 0.99 0.89 0.88 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 25849 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+270.012 s]
Raw data (loadavg): 0.99 0.90 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 26850 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+280.013 s]
Raw data (loadavg): 0.99 0.90 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 27850 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+290.014 s]
Raw data (loadavg): 0.99 0.90 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 28850 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+300.014 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 29850 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+310.014 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 30851 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+320.014 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 31851 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+330.015 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 32851 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+340.014 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 33851 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+350.014 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 34851 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+360.015 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 35851 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+370.014 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 36851 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+380.015 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 37852 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+390.015 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 38852 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+400.015 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 39852 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+410.016 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 40852 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+420.016 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 41852 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+430.017 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 42853 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+440.016 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 43853 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+450.016 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 44853 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+460.017 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 45853 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+470.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 46853 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+480.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 47854 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+490.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 48854 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+500.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 49854 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+510.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 50855 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+520.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 51855 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+530.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 52855 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+540.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 53855 152 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+550.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 54855 153 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+560.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 55856 153 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+570.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 56856 153 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+580.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 57856 153 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+590.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 58856 153 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+600.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 59856 153 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+610.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 60856 153 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+620.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 61856 153 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+630.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 62856 153 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+640.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 63856 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+650.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 64856 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+660.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 65857 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+670.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 66857 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+680.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 67857 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+690.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 68857 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+700.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 69857 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+710.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 70858 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 71858 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 72858 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 73858 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 74858 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 75858 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 76858 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223440 134527212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 77859 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 78859 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 79859 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 80859 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 81859 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 82860 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 83860 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 84860 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 85860 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 86860 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 87861 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 88861 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 89861 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 90861 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 91861 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 92861 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 93862 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 94862 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 95862 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 96862 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 97862 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87793 0 0 0 98862 154 0 0 25 0 1 0 852383312 39555072 7811 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7811 566 18 0 9639 0
vsize: 38628
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87819 0 0 0 99862 155 0 0 25 0 1 0 852383312 39686144 7837 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9689 7837 566 18 0 9671 0
vsize: 38756
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87849 0 0 0 100863 155 0 0 25 0 1 0 852383312 39686144 7867 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9689 7867 566 18 0 9671 0
vsize: 38756
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87881 0 0 0 101863 155 0 0 25 0 1 0 852383312 39817216 7899 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 7899 566 18 0 9703 0
vsize: 38884
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87910 0 0 0 102863 155 0 0 25 0 1 0 852383312 39948288 7928 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9753 7928 566 18 0 9735 0
vsize: 39012
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87939 0 0 0 103863 155 0 0 25 0 1 0 852383312 40079360 7957 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9785 7957 566 18 0 9767 0
vsize: 39140
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 87974 0 0 0 104863 155 0 0 25 0 1 0 852383312 40214528 7992 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9818 7992 566 18 0 9800 0
vsize: 39272
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88007 0 0 0 105863 155 0 0 25 0 1 0 852383312 40345600 8025 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9850 8025 566 18 0 9832 0
vsize: 39400
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88037 0 0 0 106864 155 0 0 25 0 1 0 852383312 40476672 8055 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9882 8055 566 18 0 9864 0
vsize: 39528
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88068 0 0 0 107864 155 0 0 25 0 1 0 852383312 40607744 8086 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9914 8086 566 18 0 9896 0
vsize: 39656
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88096 0 0 0 108864 155 0 0 25 0 1 0 852383312 40738816 8114 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9946 8114 566 18 0 9928 0
vsize: 39784
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88101 0 0 0 109864 155 0 0 25 0 1 0 852383312 40738816 8119 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9946 8119 566 18 0 9928 0
vsize: 39784
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88125 0 0 0 110864 155 0 0 25 0 1 0 852383312 40869888 8143 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9978 8143 566 18 0 9960 0
vsize: 39912
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88169 0 0 0 111864 155 0 0 25 0 1 0 852383312 41185280 8187 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10055 8187 566 18 0 10037 0
vsize: 40220
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88184 0 0 0 112865 155 0 0 25 0 1 0 852383312 41185280 8202 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10055 8202 566 18 0 10037 0
vsize: 40220
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88206 0 0 0 113865 155 0 0 25 0 1 0 852383312 41316352 8224 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10087 8224 566 18 0 10069 0
vsize: 40348
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88234 0 0 0 114865 155 0 0 25 0 1 0 852383312 41316352 8252 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10087 8252 566 18 0 10069 0
vsize: 40348
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88235 0 0 0 115865 155 0 0 25 0 1 0 852383312 41447424 8253 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10119 8253 566 18 0 10101 0
vsize: 40476
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88236 0 0 0 116865 155 0 0 25 0 1 0 852383312 41447424 8254 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10119 8254 566 18 0 10101 0
vsize: 40476
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31424
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88237 0 0 0 117865 156 0 0 25 0 1 0 852383312 41447424 8255 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10119 8255 566 18 0 10101 0
vsize: 40476
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31477
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88239 0 0 0 118865 156 0 0 25 0 1 0 852383312 41447424 8257 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10119 8257 566 18 0 10101 0
vsize: 40476
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31477
Raw data (stat): 31424 (Pueblo-v2) R 31423 31399 31398 0 -1 0 88241 0 0 0 119864 157 0 0 25 0 1 0 852383312 41447424 8259 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10119 8259 566 18 0 10101 0
vsize: 40476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 31477
Raw data (stat): 31424 (Pueblo-v2) Z 31423 31399 31398 0 -1 1036 88241 0 0 0 119865 158 0 0 25 0 1 0 852383312 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.06
CPU time (s): 1200.24
CPU user time (s): 1198.65
CPU system time (s): 1.58676
CPU usage (%): 100.015
Max. virtual memory (Kb): 40476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####