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-mod010.opb
MD5SUM	4f0cac14ed3568050c2c57bb69fdb664
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.78
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 39123

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 21:01:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27183 boxname=wulflinc2 idbench=1311 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 27183
/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:        447784 kB
Buffers:         29052 kB
Cached:         535616 kB
SwapCached:       1160 kB
Active:          38560 kB
Inactive:       528580 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        447532 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13984 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:21:26 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 27183 7 1200.23 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.91 0.95 0.90 2/54 32184
Raw data (stat): 32184 (runsolver) R 32183 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852870049 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+9.99967 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 1463 0 0 0 995 3 0 0 25 0 1 0 852870049 11673600 1437 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2850 1437 566 18 0 2832 0
vsize: 11400
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 1622 0 0 0 1995 3 0 0 25 0 1 0 852870049 12333056 1596 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 1596 566 18 0 2993 0
vsize: 12044
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 2383 0 0 0 2993 5 0 0 25 0 1 0 852870049 15474688 2357 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3778 2357 566 18 0 3760 0
vsize: 15112
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 2635 0 0 0 3993 5 0 0 25 0 1 0 852870049 16474112 2609 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4022 2609 566 18 0 4004 0
vsize: 16088
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 2901 0 0 0 4993 6 0 0 25 0 1 0 852870049 17489920 2875 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4270 2875 566 18 0 4252 0
vsize: 17080
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 2901 0 0 0 5993 6 0 0 25 0 1 0 852870049 17489920 2875 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4270 2875 566 18 0 4252 0
vsize: 17080
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3419 0 0 0 6992 7 0 0 25 0 1 0 852870049 19718144 3393 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4814 3393 566 18 0 4796 0
vsize: 19256
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3419 0 0 0 7992 7 0 0 25 0 1 0 852870049 19656704 3393 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4799 3393 566 18 0 4781 0
vsize: 19196
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3419 0 0 0 8993 7 0 0 25 0 1 0 852870049 19173376 3289 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3289 566 18 0 4663 0
vsize: 18724
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3420 0 0 0 9993 7 0 0 25 0 1 0 852870049 19173376 3290 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3290 566 18 0 4663 0
vsize: 18724
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3635 0 0 0 10992 7 0 0 25 0 1 0 852870049 20160512 3505 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4922 3505 566 18 0 4904 0
vsize: 19688
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3888 0 0 0 11992 8 0 0 25 0 1 0 852870049 21168128 3758 4294967295 134512640 134581267 3221224576 3221223396 1075289831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3888 0 0 0 12993 8 0 0 25 0 1 0 852870049 21168128 3758 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3888 0 0 0 13993 8 0 0 25 0 1 0 852870049 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3888 0 0 0 14993 8 0 0 25 0 1 0 852870049 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3888 0 0 0 15993 8 0 0 25 0 1 0 852870049 21168128 3758 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3888 0 0 0 16993 8 0 0 25 0 1 0 852870049 21168128 3758 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3888 0 0 0 17993 8 0 0 25 0 1 0 852870049 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3888 0 0 0 18994 8 0 0 25 0 1 0 852870049 21168128 3758 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 3888 0 0 0 19994 8 0 0 25 0 1 0 852870049 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 4113 0 0 0 20993 9 0 0 25 0 1 0 852870049 22036480 3983 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5380 3983 566 18 0 5362 0
vsize: 21520
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 4385 0 0 0 21992 9 0 0 25 0 1 0 852870049 23146496 4255 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5651 4255 566 18 0 5633 0
vsize: 22604
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 4456 0 0 0 22992 10 0 0 25 0 1 0 852870049 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 4456 0 0 0 23992 10 0 0 25 0 1 0 852870049 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 4456 0 0 0 24993 10 0 0 25 0 1 0 852870049 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 4456 0 0 0 25993 10 0 0 25 0 1 0 852870049 23511040 4326 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 4456 0 0 0 26993 10 0 0 25 0 1 0 852870049 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32184
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 4889 0 0 0 27992 11 0 0 25 0 1 0 852870049 25260032 4759 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6167 4759 566 18 0 6149 0
vsize: 24668
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5174 0 0 0 28992 11 0 0 25 0 1 0 852870049 26390528 5044 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6443 5044 566 18 0 6425 0
vsize: 25772
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5604 0 0 0 29991 12 0 0 25 0 1 0 852870049 28225536 5474 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6891 5474 566 18 0 6873 0
vsize: 27564
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5604 0 0 0 30991 12 0 0 25 0 1 0 852870049 28225536 5474 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6891 5474 566 18 0 6873 0
vsize: 27564
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5605 0 0 0 31992 12 0 0 25 0 1 0 852870049 28209152 5475 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5605 0 0 0 32992 12 0 0 25 0 1 0 852870049 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5605 0 0 0 33992 12 0 0 25 0 1 0 852870049 28209152 5475 4294967295 134512640 134581267 3221224576 3221223520 134558821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5605 0 0 0 34992 12 0 0 25 0 1 0 852870049 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5605 0 0 0 35992 12 0 0 25 0 1 0 852870049 28209152 5475 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5605 0 0 0 36992 12 0 0 25 0 1 0 852870049 28209152 5475 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5605 0 0 0 37993 12 0 0 25 0 1 0 852870049 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5605 0 0 0 38993 12 0 0 25 0 1 0 852870049 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5605 0 0 0 39993 12 0 0 25 0 1 0 852870049 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 5944 0 0 0 40993 13 0 0 25 0 1 0 852870049 29634560 5814 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7235 5814 566 18 0 7217 0
vsize: 28940
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 41992 14 0 0 25 0 1 0 852870049 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 42992 14 0 0 25 0 1 0 852870049 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 43992 14 0 0 25 0 1 0 852870049 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 44993 14 0 0 25 0 1 0 852870049 30294016 5988 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 45993 14 0 0 25 0 1 0 852870049 30294016 5988 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 46993 14 0 0 25 0 1 0 852870049 30294016 5988 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 47993 14 0 0 25 0 1 0 852870049 30089216 5955 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7346 5955 566 18 0 7328 0
vsize: 29384
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 48993 14 0 0 25 0 1 0 852870049 30060544 5948 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 5948 566 18 0 7321 0
vsize: 29356
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 49993 14 0 0 25 0 1 0 852870049 30060544 5948 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 5948 566 18 0 7321 0
vsize: 29356
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 50993 14 0 0 25 0 1 0 852870049 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 51993 14 0 0 25 0 1 0 852870049 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 52993 14 0 0 25 0 1 0 852870049 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 53993 14 0 0 25 0 1 0 852870049 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 54994 15 0 0 25 0 1 0 852870049 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 55994 15 0 0 25 0 1 0 852870049 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 56994 15 0 0 25 0 1 0 852870049 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 57994 15 0 0 25 0 1 0 852870049 30048256 5945 4294967295 134512640 134581267 3221224576 3221223288 1075291574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 58994 15 0 0 25 0 1 0 852870049 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 59994 15 0 0 25 0 1 0 852870049 30048256 5945 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 60995 15 0 0 25 0 1 0 852870049 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 61995 15 0 0 25 0 1 0 852870049 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 62995 15 0 0 25 0 1 0 852870049 30048256 5945 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 63995 15 0 0 25 0 1 0 852870049 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6118 0 0 0 64995 15 0 0 25 0 1 0 852870049 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6263 0 0 0 65995 15 0 0 25 0 1 0 852870049 30679040 6090 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7490 6090 566 18 0 7472 0
vsize: 29960
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6263 0 0 0 66995 15 0 0 25 0 1 0 852870049 30679040 6090 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7490 6090 566 18 0 7472 0
vsize: 29960
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 6886 0 0 0 67994 17 0 0 25 0 1 0 852870049 33275904 6713 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8124 6713 566 18 0 8106 0
vsize: 32496
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 68994 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 69994 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 70994 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 71994 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 72995 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 73995 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 74995 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 75995 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 76995 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 77996 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 78996 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 79996 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 80996 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 81996 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 82996 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134526898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 83997 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 84997 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 85997 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 86997 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 87997 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 88997 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 89998 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 90998 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 91998 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 92998 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 93998 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 94999 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 95999 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 96999 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 97999 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 98999 17 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 99999 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 101000 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 102000 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 103000 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 104000 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 105000 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 106000 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 107001 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 108001 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 109001 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 110001 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 111001 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 112001 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 113001 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 114001 18 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 115001 19 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7005 0 0 0 116001 19 0 0 25 0 1 0 852870049 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7619 0 0 0 117000 20 0 0 25 0 1 0 852870049 36278272 7446 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8857 7446 566 18 0 8839 0
vsize: 35428
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7863 0 0 0 117999 21 0 0 25 0 1 0 852870049 37277696 7690 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9101 7690 566 18 0 9083 0
vsize: 36404
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7863 0 0 0 118999 21 0 0 25 0 1 0 852870049 37277696 7690 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9101 7690 566 18 0 9083 0
vsize: 36404
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32186
Raw data (stat): 32184 (Pueblo-v2) R 32183 31399 31398 0 -1 0 7863 0 0 0 120000 21 0 0 25 0 1 0 852870049 37277696 7690 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9101 7690 566 18 0 9083 0
vsize: 36404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32186
Raw data (stat): 32184 (Pueblo-v2) Z 32183 31399 31398 0 -1 1036 7863 0 0 0 120000 22 0 0 25 0 1 0 852870049 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.03
CPU time (s): 1200.23
CPU user time (s): 1200
CPU system time (s): 0.228965
CPU usage (%): 100.017
Max. virtual memory (Kb): 36404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####