PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb
MD5SUM	ef7064a9be2b712276f7b600af28e2b0
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	1176.54
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 38865

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 18:24:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26922 boxname=wulflinc2 idbench=1050 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 26922
/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:        793896 kB
Buffers:         26268 kB
Cached:         192620 kB
SwapCached:       1160 kB
Active:          31820 kB
Inactive:       189552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        793644 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13648 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 18:44:08 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 26922 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.92 0.97 0.91 2/54 27644
Raw data (stat): 27644 (runsolver) R 27643 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851926183 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 1458 0 0 0 996 2 0 0 25 0 1 0 851926183 11673600 1432 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2850 1432 566 18 0 2832 0
vsize: 11400
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 1622 0 0 0 1995 3 0 0 25 0 1 0 851926183 12333056 1596 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 1596 566 18 0 2993 0
vsize: 12044
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 2383 0 0 0 2994 4 0 0 25 0 1 0 851926183 15474688 2357 4294967295 134512640 134581267 3221224576 3221223456 134520266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3778 2357 566 18 0 3760 0
vsize: 15112
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 2570 0 0 0 3994 5 0 0 25 0 1 0 851926183 16203776 2544 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 2544 566 18 0 3938 0
vsize: 15824
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 2901 0 0 0 4994 5 0 0 25 0 1 0 851926183 17489920 2875 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4270 2875 566 18 0 4252 0
vsize: 17080
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 2901 0 0 0 5994 5 0 0 25 0 1 0 851926183 17489920 2875 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4270 2875 566 18 0 4252 0
vsize: 17080
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3419 0 0 0 6993 6 0 0 25 0 1 0 851926183 19718144 3393 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3393 566 18 0 4796 0
vsize: 19256
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3419 0 0 0 7993 6 0 0 25 0 1 0 851926183 19656704 3393 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 3393 566 18 0 4781 0
vsize: 19196
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3419 0 0 0 8993 6 0 0 25 0 1 0 851926183 19173376 3289 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4681 3289 566 18 0 4663 0
vsize: 18724
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3420 0 0 0 9994 6 0 0 25 0 1 0 851926183 19173376 3290 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4681 3290 566 18 0 4663 0
vsize: 18724
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3635 0 0 0 10994 7 0 0 25 0 1 0 851926183 20160512 3505 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4922 3505 566 18 0 4904 0
vsize: 19688
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3888 0 0 0 11993 7 0 0 25 0 1 0 851926183 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3888 0 0 0 12993 7 0 0 25 0 1 0 851926183 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3888 0 0 0 13993 7 0 0 25 0 1 0 851926183 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3888 0 0 0 14994 7 0 0 25 0 1 0 851926183 21168128 3758 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3888 0 0 0 15994 7 0 0 25 0 1 0 851926183 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3888 0 0 0 16994 7 0 0 25 0 1 0 851926183 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3888 0 0 0 17994 7 0 0 25 0 1 0 851926183 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3888 0 0 0 18994 7 0 0 25 0 1 0 851926183 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 3888 0 0 0 19995 7 0 0 25 0 1 0 851926183 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 4113 0 0 0 20994 8 0 0 25 0 1 0 851926183 22036480 3983 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5380 3983 566 18 0 5362 0
vsize: 21520
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 4159 0 0 0 21994 9 0 0 25 0 1 0 851926183 22282240 4029 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5440 4029 566 18 0 5422 0
vsize: 21760
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 4456 0 0 0 22993 9 0 0 25 0 1 0 851926183 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 4456 0 0 0 23993 9 0 0 25 0 1 0 851926183 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 4456 0 0 0 24994 9 0 0 25 0 1 0 851926183 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 4456 0 0 0 25994 9 0 0 25 0 1 0 851926183 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5740 4326 566 18 0 5722 0
vsize: 22960
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 4456 0 0 0 26994 9 0 0 25 0 1 0 851926183 23511040 4326 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 4819 0 0 0 27993 11 0 0 25 0 1 0 851926183 25006080 4689 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6105 4689 566 18 0 6087 0
vsize: 24420
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 4891 0 0 0 28993 11 0 0 25 0 1 0 851926183 25260032 4761 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6167 4761 566 18 0 6149 0
vsize: 24668
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5527 0 0 0 29992 12 0 0 25 0 1 0 851926183 27865088 5397 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6803 5397 566 18 0 6785 0
vsize: 27212
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5604 0 0 0 30992 12 0 0 25 0 1 0 851926183 28225536 5474 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6891 5474 566 18 0 6873 0
vsize: 27564
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 31992 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 32992 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 33993 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 34993 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 35993 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 36993 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 37993 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 38994 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 39994 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 5605 0 0 0 40994 12 0 0 25 0 1 0 851926183 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5475 566 18 0 6869 0
vsize: 27548
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 41994 13 0 0 25 0 1 0 851926183 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 42994 13 0 0 25 0 1 0 851926183 30294016 5988 4294967295 134512640 134581267 3221224576 3221223228 1075289299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 43994 13 0 0 25 0 1 0 851926183 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 44994 13 0 0 25 0 1 0 851926183 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 45994 13 0 0 25 0 1 0 851926183 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 46994 13 0 0 25 0 1 0 851926183 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 47995 13 0 0 25 0 1 0 851926183 30294016 5988 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 5988 566 18 0 7378 0
vsize: 29584
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 48995 13 0 0 25 0 1 0 851926183 30089216 5955 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7346 5955 566 18 0 7328 0
vsize: 29384
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 49995 13 0 0 25 0 1 0 851926183 30060544 5948 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7339 5948 566 18 0 7321 0
vsize: 29356
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 50995 13 0 0 25 0 1 0 851926183 30060544 5948 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7339 5948 566 18 0 7321 0
vsize: 29356
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 51995 13 0 0 25 0 1 0 851926183 30052352 5946 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 52996 13 0 0 25 0 1 0 851926183 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 53996 13 0 0 25 0 1 0 851926183 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 54996 13 0 0 25 0 1 0 851926183 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 55996 13 0 0 25 0 1 0 851926183 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 56996 13 0 0 25 0 1 0 851926183 30052352 5946 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 57997 13 0 0 25 0 1 0 851926183 30052352 5946 4294967295 134512640 134581267 3221224576 3221223344 1075288289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 58997 13 0 0 25 0 1 0 851926183 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 59997 13 0 0 25 0 1 0 851926183 30048256 5945 4294967295 134512640 134581267 3221224576 3221223568 134561024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 60997 13 0 0 25 0 1 0 851926183 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 61997 13 0 0 25 0 1 0 851926183 30048256 5945 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 62997 13 0 0 25 0 1 0 851926183 30048256 5945 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 63998 13 0 0 25 0 1 0 851926183 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 64998 13 0 0 25 0 1 0 851926183 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6118 0 0 0 65998 13 0 0 25 0 1 0 851926183 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7336 5945 566 18 0 7318 0
vsize: 29344
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6263 0 0 0 66998 13 0 0 25 0 1 0 851926183 30679040 6090 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 6090 566 18 0 7472 0
vsize: 29960
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6263 0 0 0 67998 13 0 0 25 0 1 0 851926183 30679040 6090 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 6090 566 18 0 7472 0
vsize: 29960
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 6930 0 0 0 68996 15 0 0 25 0 1 0 851926183 33398784 6757 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8154 6757 566 18 0 8136 0
vsize: 32616
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 69996 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 70997 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 71997 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 72997 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 73997 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 74997 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 75998 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 76998 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 77998 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 78998 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 79998 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 80999 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 81999 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 82999 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 83999 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 84999 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 86000 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 87000 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 88000 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 89000 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 90000 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 91001 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 92001 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 93001 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 94001 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 95001 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 96001 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 97002 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 98002 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 99002 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 100002 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 101002 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 102002 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 103003 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 104003 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 105003 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 106003 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 107003 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 108003 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 109004 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 110004 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223292 1075289350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 111004 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 112004 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 113004 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 114004 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 115005 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 116005 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223648 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 117005 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7005 0 0 0 118005 15 0 0 25 0 1 0 851926183 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7863 0 0 0 119004 16 0 0 25 0 1 0 851926183 37277696 7690 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9101 7690 566 18 0 9083 0
vsize: 36404
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27644
Raw data (stat): 27644 (Pueblo-v2) R 27643 31399 31398 0 -1 0 7863 0 0 0 120004 16 0 0 25 0 1 0 851926183 37277696 7690 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 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 27644
Raw data (stat): 27644 (Pueblo-v2) Z 27643 31399 31398 0 -1 1036 7863 0 0 0 120004 18 0 0 25 0 1 0 851926183 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.03
CPU time (s): 1200.23
CPU user time (s): 1200.05
CPU system time (s): 0.185971
CPU usage (%): 100.017
Max. virtual memory (Kb): 36404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####