PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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	1175.18
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 39244

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-03 00:33:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27306 boxname=wulflinc6 idbench=1434 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 27306
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        135712 kB
Buffers:         33716 kB
Cached:         843884 kB
SwapCached:        552 kB
Active:          34028 kB
Inactive:       845660 kB
HighTotal:      131008 kB
HighFree:         1652 kB
LowTotal:       903652 kB
LowFree:        134060 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13844 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 00:53:17 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 27306 7 1200.43 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 1/54 25678
Raw data (stat): 25678 (runsolver) R 25677 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854136970 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.93 0.95 0.90 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 1458 0 0 0 995 3 0 0 25 0 1 0 854136970 11673600 1432 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2850 1432 566 18 0 2832 0
vsize: 11400
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 1622 0 0 0 1995 4 0 0 25 0 1 0 854136970 12333056 1596 4294967295 134512640 134581267 3221224576 3221223488 134527687 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.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 2383 0 0 0 2992 6 0 0 25 0 1 0 854136970 15474688 2357 4294967295 134512640 134581267 3221224576 3221223472 134517875 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.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 2594 0 0 0 3992 7 0 0 25 0 1 0 854136970 16338944 2568 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3989 2568 566 18 0 3971 0
vsize: 15956
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 2901 0 0 0 4992 7 0 0 25 0 1 0 854136970 17489920 2875 4294967295 134512640 134581267 3221224576 3221223472 134517865 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.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 2901 0 0 0 5992 7 0 0 25 0 1 0 854136970 17489920 2875 4294967295 134512640 134581267 3221224576 3221223472 134517875 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.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3419 0 0 0 6991 9 0 0 25 0 1 0 854136970 19718144 3393 4294967295 134512640 134581267 3221224576 3221223472 134517894 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.0012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3419 0 0 0 7991 9 0 0 25 0 1 0 854136970 19656704 3393 4294967295 134512640 134581267 3221224576 3221223472 134517900 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.0017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3419 0 0 0 8992 9 0 0 25 0 1 0 854136970 19173376 3289 4294967295 134512640 134581267 3221224576 3221223472 134517878 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3420 0 0 0 9992 9 0 0 25 0 1 0 854136970 19173376 3290 4294967295 134512640 134581267 3221224576 3221223472 134517865 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3635 0 0 0 10992 10 0 0 25 0 1 0 854136970 20160512 3505 4294967295 134512640 134581267 3221224576 3221223472 134517844 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3888 0 0 0 11992 10 0 0 25 0 1 0 854136970 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517873 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3888 0 0 0 12992 10 0 0 25 0 1 0 854136970 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+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3888 0 0 0 13992 10 0 0 25 0 1 0 854136970 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517902 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3888 0 0 0 14993 10 0 0 25 0 1 0 854136970 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+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3888 0 0 0 15993 10 0 0 25 0 1 0 854136970 21168128 3758 4294967295 134512640 134581267 3221224576 3221223488 134527739 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3888 0 0 0 16994 10 0 0 25 0 1 0 854136970 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517878 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3888 0 0 0 17994 10 0 0 25 0 1 0 854136970 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+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3888 0 0 0 18994 10 0 0 25 0 1 0 854136970 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517767 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 3888 0 0 0 19994 10 0 0 25 0 1 0 854136970 21168128 3758 4294967295 134512640 134581267 3221224576 3221223472 134517865 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 4113 0 0 0 20994 11 0 0 25 0 1 0 854136970 22036480 3983 4294967295 134512640 134581267 3221224576 3221223504 134520084 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 4274 0 0 0 21994 12 0 0 25 0 1 0 854136970 22777856 4144 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5561 4144 566 18 0 5543 0
vsize: 22244
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 4456 0 0 0 22994 12 0 0 25 0 1 0 854136970 23511040 4326 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 4456 0 0 0 23994 12 0 0 25 0 1 0 854136970 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517888 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 4456 0 0 0 24995 12 0 0 25 0 1 0 854136970 23511040 4326 4294967295 134512640 134581267 3221224576 3221223472 134517905 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 4456 0 0 0 25995 12 0 0 25 0 1 0 854136970 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+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 4456 0 0 0 26995 12 0 0 25 0 1 0 854136970 23511040 4326 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 4889 0 0 0 27995 12 0 0 25 0 1 0 854136970 25260032 4759 4294967295 134512640 134581267 3221224576 3221223472 134517865 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5090 0 0 0 28995 13 0 0 25 0 1 0 854136970 26017792 4960 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6352 4960 566 18 0 6334 0
vsize: 25408
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5604 0 0 0 29994 14 0 0 25 0 1 0 854136970 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5604 0 0 0 30994 14 0 0 25 0 1 0 854136970 28225536 5474 4294967295 134512640 134581267 3221224576 3221223488 134527636 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5605 0 0 0 31995 14 0 0 25 0 1 0 854136970 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517873 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5605 0 0 0 32995 14 0 0 25 0 1 0 854136970 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517900 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5605 0 0 0 33995 14 0 0 25 0 1 0 854136970 28209152 5475 4294967295 134512640 134581267 3221224576 3221223504 134519928 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5605 0 0 0 34996 14 0 0 25 0 1 0 854136970 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517878 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5605 0 0 0 35996 14 0 0 25 0 1 0 854136970 28209152 5475 4294967295 134512640 134581267 3221224576 3221223440 134528291 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5605 0 0 0 36996 14 0 0 25 0 1 0 854136970 28209152 5475 4294967295 134512640 134581267 3221224576 3221223504 134520084 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5605 0 0 0 37997 14 0 0 25 0 1 0 854136970 28209152 5475 4294967295 134512640 134581267 3221224576 3221223472 134517871 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5605 0 0 0 38997 14 0 0 25 0 1 0 854136970 28209152 5475 4294967295 134512640 134581267 3221224576 3221223440 134528226 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5605 0 0 0 39998 14 0 0 25 0 1 0 854136970 28209152 5475 4294967295 134512640 134581267 3221224576 3221223488 134527768 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 5651 0 0 0 40998 14 0 0 25 0 1 0 854136970 28327936 5521 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6916 5521 566 18 0 6898 0
vsize: 27664
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 41997 15 0 0 25 0 1 0 854136970 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517844 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 42998 15 0 0 25 0 1 0 854136970 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517873 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 43998 15 0 0 25 0 1 0 854136970 30294016 5988 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 44998 16 0 0 25 0 1 0 854136970 30294016 5988 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 45998 16 0 0 25 0 1 0 854136970 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517844 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 46998 16 0 0 25 0 1 0 854136970 30294016 5988 4294967295 134512640 134581267 3221224576 3221223472 134517865 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 47999 16 0 0 25 0 1 0 854136970 30089216 5955 4294967295 134512640 134581267 3221224576 3221223440 134528229 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 48999 16 0 0 25 0 1 0 854136970 30060544 5948 4294967295 134512640 134581267 3221224576 3221223472 134517900 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 49999 16 0 0 25 0 1 0 854136970 30060544 5948 4294967295 134512640 134581267 3221224576 3221223568 134561024 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 51000 16 0 0 25 0 1 0 854136970 30060544 5948 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 5948 566 18 0 7321 0
vsize: 29356
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 52000 16 0 0 25 0 1 0 854136970 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 53000 16 0 0 25 0 1 0 854136970 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+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 54000 16 0 0 25 0 1 0 854136970 30052352 5946 4294967295 134512640 134581267 3221224576 3221222480 134566761 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 55001 16 0 0 25 0 1 0 854136970 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517873 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 56001 16 0 0 25 0 1 0 854136970 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517862 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 57001 16 0 0 25 0 1 0 854136970 30052352 5946 4294967295 134512640 134581267 3221224576 3221223504 134520095 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 58002 16 0 0 25 0 1 0 854136970 30052352 5946 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7337 5946 566 18 0 7319 0
vsize: 29348
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 59002 16 0 0 25 0 1 0 854136970 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517875 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 60002 16 0 0 25 0 1 0 854136970 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+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 61003 16 0 0 25 0 1 0 854136970 30048256 5945 4294967295 134512640 134581267 3221224576 3221223568 134561040 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 62003 16 0 0 25 0 1 0 854136970 30048256 5945 4294967295 134512640 134581267 3221224576 3221223488 134527407 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 63003 16 0 0 25 0 1 0 854136970 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517905 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 64004 16 0 0 25 0 1 0 854136970 30048256 5945 4294967295 134512640 134581267 3221224576 3221223472 134517851 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6118 0 0 0 65004 16 0 0 25 0 1 0 854136970 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+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6147 0 0 0 66004 17 0 0 25 0 1 0 854136970 30171136 5974 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7366 5974 566 18 0 7348 0
vsize: 29464
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6263 0 0 0 67004 17 0 0 25 0 1 0 854136970 30679040 6090 4294967295 134512640 134581267 3221224576 3221223504 134519924 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 6599 0 0 0 68004 18 0 0 25 0 1 0 854136970 32043008 6426 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7823 6426 566 18 0 7805 0
vsize: 31292
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 69003 19 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517844 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 70003 19 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527537 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 71003 19 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517743 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 72004 20 0 0 25 0 1 0 854136970 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+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 73004 20 0 0 25 0 1 0 854136970 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+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 74004 20 0 0 25 0 1 0 854136970 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+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 75005 20 0 0 25 0 1 0 854136970 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+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 76005 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517844 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 77005 20 0 0 25 0 1 0 854136970 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+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 78006 20 0 0 25 0 1 0 854136970 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+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 79006 20 0 0 25 0 1 0 854136970 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+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 80006 20 0 0 25 0 1 0 854136970 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+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 81007 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517921 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 82007 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528222 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 83007 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528291 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 84008 20 0 0 25 0 1 0 854136970 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+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 85008 20 0 0 25 0 1 0 854136970 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+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 86009 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528222 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 87009 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223520 134559422 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 88009 20 0 0 25 0 1 0 854136970 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+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 89010 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528255 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 90010 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134560354 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 91010 20 0 0 25 0 1 0 854136970 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+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 92011 20 0 0 25 0 1 0 854136970 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+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 93011 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527774 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 94011 20 0 0 25 0 1 0 854136970 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 95012 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517897 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 96012 20 0 0 25 0 1 0 854136970 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+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 97012 20 0 0 25 0 1 0 854136970 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+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 98013 20 0 0 25 0 1 0 854136970 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+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 99013 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134528229 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 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 100014 20 0 0 25 0 1 0 854136970 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+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 101014 20 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519924 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 102014 20 0 0 25 0 1 0 854136970 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+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 103015 20 0 0 25 0 1 0 854136970 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+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 104014 20 0 0 25 0 1 0 854136970 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+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 105015 21 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527510 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 106015 21 0 0 25 0 1 0 854136970 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+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 107015 21 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223488 134527432 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 108016 21 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223440 134526949 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 109016 21 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517859 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 110016 21 0 0 25 0 1 0 854136970 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+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 111017 21 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223472 134517868 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 112017 21 0 0 25 0 1 0 854136970 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+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 113017 21 0 0 25 0 1 0 854136970 33771520 6832 4294967295 134512640 134581267 3221224576 3221223504 134519958 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 114018 21 0 0 25 0 1 0 854136970 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+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 115018 21 0 0 25 0 1 0 854136970 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+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 116018 21 0 0 25 0 1 0 854136970 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+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7005 0 0 0 117019 21 0 0 25 0 1 0 854136970 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+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7828 0 0 0 118017 23 0 0 25 0 1 0 854136970 37154816 7655 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9071 7655 566 18 0 9053 0
vsize: 36284
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7863 0 0 0 119018 23 0 0 25 0 1 0 854136970 37277696 7690 4294967295 134512640 134581267 3221224576 3221223472 134517859 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25678
Raw data (stat): 25678 (Pueblo-v2) R 25677 25568 25567 0 -1 0 7863 0 0 0 120018 23 0 0 25 0 1 0 854136970 37277696 7690 4294967295 134512640 134581267 3221224576 3221223472 134517865 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.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25678
Raw data (stat): 25678 (Pueblo-v2) Z 25677 25568 25567 0 -1 1036 7863 0 0 0 120018 24 0 0 25 0 1 0 854136970 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.43
CPU user time (s): 1200.19
CPU system time (s): 0.248962
CPU usage (%): 100.032
Max. virtual memory (Kb): 36404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####