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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM	552cc7fcebca47ae66a3cb1c13679513
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	103
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4602
Total number of constraints	34781
Number of constraints which are clauses	29160
Number of constraints which are cardinality constraints (but not clauses)	5543
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 38567

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 14:08:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26629 boxname=wulflinc6 idbench=359 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 26629
/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:        738096 kB
Buffers:         33608 kB
Cached:         241920 kB
SwapCached:        552 kB
Active:          57504 kB
Inactive:       220152 kB
HighTotal:      131008 kB
HighFree:         8596 kB
LowTotal:       903652 kB
LowFree:        729500 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13332 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:28:28 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 26629 7 1200.44 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.98 0.95 1/54 17015
Raw data (stat): 17015 (runsolver) R 17014 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850387605 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.0009 s]
Raw data (loadavg): 0.93 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 2662 0 0 0 993 6 0 0 25 0 1 0 850387605 16887808 2636 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4123 2636 566 18 0 4105 0
vsize: 16492
[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 4434 0 0 0 1990 9 0 0 25 0 1 0 850387605 24113152 4408 4294967295 134512640 134581267 3221224576 3221223664 134562562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 4408 566 18 0 5869 0
vsize: 23548
[startup+30.0035 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 5783 0 0 0 2987 13 0 0 25 0 1 0 850387605 29753344 5757 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7264 5757 566 18 0 7246 0
vsize: 29056
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 6402 0 0 0 3986 14 0 0 25 0 1 0 850387605 32280576 6376 4294967295 134512640 134581267 3221224576 3221223536 134554633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7881 6376 566 18 0 7863 0
vsize: 31524
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 6402 0 0 0 4986 14 0 0 25 0 1 0 850387605 32280576 6376 4294967295 134512640 134581267 3221224576 3221223472 1075289611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7881 6376 566 18 0 7863 0
vsize: 31524
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 7010 0 0 0 5985 16 0 0 25 0 1 0 850387605 34787328 6984 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8493 6984 566 18 0 8475 0
vsize: 33972
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 8054 0 0 0 6983 18 0 0 25 0 1 0 850387605 39124992 8028 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9552 8028 566 18 0 9534 0
vsize: 38208
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 9638 0 0 0 7980 21 0 0 25 0 1 0 850387605 45588480 9612 4294967295 134512640 134581267 3221224576 3221223456 134520222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11130 9612 566 18 0 11112 0
vsize: 44520
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 9638 0 0 0 8980 21 0 0 25 0 1 0 850387605 45588480 9612 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11130 9612 566 18 0 11112 0
vsize: 44520
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 9638 0 0 0 9981 21 0 0 25 0 1 0 850387605 45588480 9612 4294967295 134512640 134581267 3221224576 3221223492 1075285548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11130 9612 566 18 0 11112 0
vsize: 44520
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 9638 0 0 0 10981 21 0 0 25 0 1 0 850387605 45588480 9612 4294967295 134512640 134581267 3221224576 3221223504 134519835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11130 9612 566 18 0 11112 0
vsize: 44520
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 9638 0 0 0 11981 21 0 0 25 0 1 0 850387605 45588480 9612 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11130 9612 566 18 0 11112 0
vsize: 44520
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10340 0 0 0 12980 23 0 0 25 0 1 0 850387605 48529408 10314 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11848 10314 566 18 0 11830 0
vsize: 47392
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10423 0 0 0 13980 24 0 0 25 0 1 0 850387605 48791552 10397 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10397 566 18 0 11894 0
vsize: 47648
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10426 0 0 0 14980 24 0 0 25 0 1 0 850387605 48791552 10400 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10400 566 18 0 11894 0
vsize: 47648
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10427 0 0 0 15980 24 0 0 25 0 1 0 850387605 48791552 10401 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10401 566 18 0 11894 0
vsize: 47648
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10427 0 0 0 16981 24 0 0 25 0 1 0 850387605 48791552 10401 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10401 566 18 0 11894 0
vsize: 47648
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10427 0 0 0 17981 24 0 0 25 0 1 0 850387605 48791552 10401 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10401 566 18 0 11894 0
vsize: 47648
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10427 0 0 0 18982 24 0 0 25 0 1 0 850387605 48791552 10401 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10401 566 18 0 11894 0
vsize: 47648
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10427 0 0 0 19982 24 0 0 25 0 1 0 850387605 48791552 10401 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10401 566 18 0 11894 0
vsize: 47648
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10427 0 0 0 20982 24 0 0 25 0 1 0 850387605 48791552 10401 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10401 566 18 0 11894 0
vsize: 47648
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10430 0 0 0 21983 24 0 0 25 0 1 0 850387605 48791552 10404 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10404 566 18 0 11894 0
vsize: 47648
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10430 0 0 0 22983 24 0 0 25 0 1 0 850387605 48791552 10404 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10404 566 18 0 11894 0
vsize: 47648
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10430 0 0 0 23983 24 0 0 25 0 1 0 850387605 48791552 10404 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10404 566 18 0 11894 0
vsize: 47648
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10430 0 0 0 24984 24 0 0 25 0 1 0 850387605 48791552 10404 4294967295 134512640 134581267 3221224576 3221223320 1075288187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10404 566 18 0 11894 0
vsize: 47648
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10430 0 0 0 25984 24 0 0 25 0 1 0 850387605 48791552 10404 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10404 566 18 0 11894 0
vsize: 47648
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10430 0 0 0 26985 24 0 0 25 0 1 0 850387605 48791552 10404 4294967295 134512640 134581267 3221224576 3221223504 134519826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10404 566 18 0 11894 0
vsize: 47648
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10430 0 0 0 27985 24 0 0 25 0 1 0 850387605 48791552 10404 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10404 566 18 0 11894 0
vsize: 47648
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10431 0 0 0 28985 24 0 0 25 0 1 0 850387605 48791552 10405 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10405 566 18 0 11894 0
vsize: 47648
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10431 0 0 0 29986 24 0 0 25 0 1 0 850387605 48791552 10405 4294967295 134512640 134581267 3221224576 3221223560 134561049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10405 566 18 0 11894 0
vsize: 47648
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10431 0 0 0 30986 24 0 0 25 0 1 0 850387605 48791552 10405 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10405 566 18 0 11894 0
vsize: 47648
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10431 0 0 0 31986 24 0 0 25 0 1 0 850387605 48791552 10405 4294967295 134512640 134581267 3221224576 3221223504 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10405 566 18 0 11894 0
vsize: 47648
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10431 0 0 0 32987 24 0 0 25 0 1 0 850387605 48791552 10405 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10405 566 18 0 11894 0
vsize: 47648
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10431 0 0 0 33987 24 0 0 25 0 1 0 850387605 48791552 10405 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 10405 566 18 0 11894 0
vsize: 47648
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 10637 0 0 0 34987 25 0 0 25 0 1 0 850387605 49709056 10611 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12136 10611 566 18 0 12118 0
vsize: 48544
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 11170 0 0 0 35986 26 0 0 25 0 1 0 850387605 51806208 11144 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12648 11144 566 18 0 12630 0
vsize: 50592
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 11724 0 0 0 36985 28 0 0 25 0 1 0 850387605 54181888 11698 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13228 11698 566 18 0 13210 0
vsize: 52912
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 12178 0 0 0 37984 28 0 0 25 0 1 0 850387605 56049664 12152 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13684 12152 566 18 0 13666 0
vsize: 54736
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 12565 0 0 0 38983 30 0 0 25 0 1 0 850387605 57626624 12539 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14069 12539 566 18 0 14051 0
vsize: 56276
[startup+400.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 12917 0 0 0 39983 31 0 0 25 0 1 0 850387605 59092992 12891 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14427 12891 566 18 0 14409 0
vsize: 57708
[startup+410.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13062 0 0 0 40983 31 0 0 25 0 1 0 850387605 59621376 13036 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13036 566 18 0 14538 0
vsize: 58224
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13062 0 0 0 41983 31 0 0 25 0 1 0 850387605 59621376 13036 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13036 566 18 0 14538 0
vsize: 58224
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13063 0 0 0 42984 31 0 0 25 0 1 0 850387605 59621376 13037 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13037 566 18 0 14538 0
vsize: 58224
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13063 0 0 0 43984 31 0 0 25 0 1 0 850387605 59621376 13037 4294967295 134512640 134581267 3221224576 3221223504 134519880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13037 566 18 0 14538 0
vsize: 58224
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13063 0 0 0 44984 31 0 0 25 0 1 0 850387605 59621376 13037 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13037 566 18 0 14538 0
vsize: 58224
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13063 0 0 0 45984 31 0 0 25 0 1 0 850387605 59621376 13037 4294967295 134512640 134581267 3221224576 3221223440 134560306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13037 566 18 0 14538 0
vsize: 58224
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13063 0 0 0 46985 31 0 0 25 0 1 0 850387605 59621376 13037 4294967295 134512640 134581267 3221224576 3221223504 134519877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13037 566 18 0 14538 0
vsize: 58224
[startup+480.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13063 0 0 0 47985 31 0 0 25 0 1 0 850387605 59621376 13037 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13037 566 18 0 14538 0
vsize: 58224
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13063 0 0 0 48985 31 0 0 25 0 1 0 850387605 59621376 13037 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13037 566 18 0 14538 0
vsize: 58224
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13064 0 0 0 49986 31 0 0 25 0 1 0 850387605 59621376 13038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13038 566 18 0 14538 0
vsize: 58224
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13064 0 0 0 50986 31 0 0 25 0 1 0 850387605 59621376 13038 4294967295 134512640 134581267 3221224576 3221223504 134519939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 13038 566 18 0 14538 0
vsize: 58224
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13109 0 0 0 51986 31 0 0 25 0 1 0 850387605 59752448 13083 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14588 13083 566 18 0 14570 0
vsize: 58352
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13497 0 0 0 52986 32 0 0 25 0 1 0 850387605 61345792 13471 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14977 13471 566 18 0 14959 0
vsize: 59908
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 13905 0 0 0 53985 33 0 0 25 0 1 0 850387605 63066112 13879 4294967295 134512640 134581267 3221224576 3221223504 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15397 13879 566 18 0 15379 0
vsize: 61588
[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14285 0 0 0 54985 34 0 0 25 0 1 0 850387605 64655360 14259 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15785 14259 566 18 0 15767 0
vsize: 63140
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14669 0 0 0 55983 35 0 0 25 0 1 0 850387605 66228224 14643 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16169 14643 566 18 0 16151 0
vsize: 64676
[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14800 0 0 0 56984 35 0 0 25 0 1 0 850387605 66752512 14774 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 14774 566 18 0 16279 0
vsize: 65188
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14800 0 0 0 57984 36 0 0 25 0 1 0 850387605 66752512 14774 4294967295 134512640 134581267 3221224576 3221223504 134519939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 14774 566 18 0 16279 0
vsize: 65188
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14800 0 0 0 58984 36 0 0 25 0 1 0 850387605 66752512 14774 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 14774 566 18 0 16279 0
vsize: 65188
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14800 0 0 0 59984 36 0 0 25 0 1 0 850387605 66752512 14774 4294967295 134512640 134581267 3221224576 3221223520 134558895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 14774 566 18 0 16279 0
vsize: 65188
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14800 0 0 0 60985 36 0 0 25 0 1 0 850387605 66752512 14774 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 14774 566 18 0 16279 0
vsize: 65188
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14800 0 0 0 61985 36 0 0 25 0 1 0 850387605 66752512 14774 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 14774 566 18 0 16279 0
vsize: 65188
[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14800 0 0 0 62985 36 0 0 25 0 1 0 850387605 66752512 14774 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 14774 566 18 0 16279 0
vsize: 65188
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 14800 0 0 0 63985 36 0 0 25 0 1 0 850387605 66752512 14774 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 14774 566 18 0 16279 0
vsize: 65188
[startup+650.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15303 0 0 0 64984 37 0 0 25 0 1 0 850387605 68861952 15277 4294967295 134512640 134581267 3221224576 3221223568 134561076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 15277 566 18 0 16794 0
vsize: 67248
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15855 0 0 0 65983 38 0 0 25 0 1 0 850387605 71368704 15829 4294967295 134512640 134581267 3221224576 3221223504 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17424 15829 566 18 0 17406 0
vsize: 69696
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15991 0 0 0 66984 38 0 0 25 0 1 0 850387605 71892992 15965 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15965 566 18 0 17534 0
vsize: 70208
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15991 0 0 0 67984 38 0 0 25 0 1 0 850387605 71892992 15965 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15965 566 18 0 17534 0
vsize: 70208
[startup+690.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15991 0 0 0 68984 38 0 0 25 0 1 0 850387605 71892992 15965 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15965 566 18 0 17534 0
vsize: 70208
[startup+700.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15991 0 0 0 69985 38 0 0 25 0 1 0 850387605 71892992 15965 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15965 566 18 0 17534 0
vsize: 70208
[startup+710.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15993 0 0 0 70985 38 0 0 25 0 1 0 850387605 71892992 15967 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15967 566 18 0 17534 0
vsize: 70208
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 71985 38 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 72986 38 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 73986 38 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 74986 38 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 75986 38 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+770.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 76987 38 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+780.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 77987 38 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+790.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 78987 38 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+800.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 79988 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+810.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 80988 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+820.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 81988 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+830.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 82989 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+840.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 83989 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+850.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 84989 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+860.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 85989 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+870.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 86990 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+880.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 87990 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+890.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 15994 0 0 0 88990 39 0 0 25 0 1 0 850387605 71892992 15968 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17552 15968 566 18 0 17534 0
vsize: 70208
[startup+900.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 16044 0 0 0 89990 39 0 0 25 0 1 0 850387605 72155136 16018 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17616 16018 566 18 0 17598 0
vsize: 70464
[startup+910.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 16326 0 0 0 90990 39 0 0 25 0 1 0 850387605 73334784 16300 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17904 16300 566 18 0 17886 0
vsize: 71616
[startup+920.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 16589 0 0 0 91990 40 0 0 25 0 1 0 850387605 74383360 16563 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18160 16563 566 18 0 18142 0
vsize: 72640
[startup+930.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 16857 0 0 0 92989 41 0 0 25 0 1 0 850387605 75448320 16831 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18420 16831 566 18 0 18402 0
vsize: 73680
[startup+940.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 17081 0 0 0 93989 42 0 0 25 0 1 0 850387605 76369920 17055 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18645 17055 566 18 0 18627 0
vsize: 74580
[startup+950.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 17395 0 0 0 94988 43 0 0 25 0 1 0 850387605 77680640 17369 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18965 17369 566 18 0 18947 0
vsize: 75860
[startup+960.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 17648 0 0 0 95988 43 0 0 25 0 1 0 850387605 78848000 17622 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19250 17622 566 18 0 19232 0
vsize: 77000
[startup+970.012 s]
Raw data (loadavg): 0.99 0.98 0.95 3/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 17992 0 0 0 96987 44 0 0 25 0 1 0 850387605 80293888 17966 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19603 17966 566 18 0 19585 0
vsize: 78412
[startup+980.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 18352 0 0 0 97987 45 0 0 25 0 1 0 850387605 81735680 18326 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19955 18326 566 18 0 19937 0
vsize: 79820
[startup+990.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 18637 0 0 0 98987 46 0 0 25 0 1 0 850387605 82911232 18611 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20242 18611 566 18 0 20224 0
vsize: 80968
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 18976 0 0 0 99986 46 0 0 25 0 1 0 850387605 84217856 18950 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20561 18950 566 18 0 20543 0
vsize: 82244
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 19243 0 0 0 100986 47 0 0 25 0 1 0 850387605 85393408 19217 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20848 19217 566 18 0 20830 0
vsize: 83392
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 19556 0 0 0 101985 48 0 0 25 0 1 0 850387605 86568960 19530 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21135 19530 566 18 0 21117 0
vsize: 84540
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 19848 0 0 0 102985 49 0 0 25 0 1 0 850387605 87883776 19822 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21456 19822 566 18 0 21438 0
vsize: 85824
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 20165 0 0 0 103984 50 0 0 25 0 1 0 850387605 89186304 20139 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21774 20139 566 18 0 21756 0
vsize: 87096
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 20404 0 0 0 104984 50 0 0 25 0 1 0 850387605 90099712 20378 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21997 20378 566 18 0 21979 0
vsize: 87988
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 20626 0 0 0 105984 50 0 0 25 0 1 0 850387605 91017216 20600 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22221 20600 566 18 0 22203 0
vsize: 88884
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 20831 0 0 0 106984 51 0 0 25 0 1 0 850387605 91938816 20805 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22446 20805 566 18 0 22428 0
vsize: 89784
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21005 0 0 0 107983 51 0 0 25 0 1 0 850387605 92594176 20979 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20979 566 18 0 22588 0
vsize: 90424
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21005 0 0 0 108984 51 0 0 25 0 1 0 850387605 92594176 20979 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20979 566 18 0 22588 0
vsize: 90424
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21006 0 0 0 109984 51 0 0 25 0 1 0 850387605 92594176 20980 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20980 566 18 0 22588 0
vsize: 90424
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21006 0 0 0 110984 51 0 0 25 0 1 0 850387605 92594176 20980 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20980 566 18 0 22588 0
vsize: 90424
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21006 0 0 0 111985 51 0 0 25 0 1 0 850387605 92594176 20980 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20980 566 18 0 22588 0
vsize: 90424
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21006 0 0 0 112985 51 0 0 25 0 1 0 850387605 92594176 20980 4294967295 134512640 134581267 3221224576 3221223568 134560606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20980 566 18 0 22588 0
vsize: 90424
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21006 0 0 0 113985 51 0 0 25 0 1 0 850387605 92594176 20980 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20980 566 18 0 22588 0
vsize: 90424
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21006 0 0 0 114986 51 0 0 25 0 1 0 850387605 92594176 20980 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20980 566 18 0 22588 0
vsize: 90424
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21008 0 0 0 115986 51 0 0 25 0 1 0 850387605 92594176 20982 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20982 566 18 0 22588 0
vsize: 90424
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21008 0 0 0 116986 51 0 0 25 0 1 0 850387605 92594176 20982 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20982 566 18 0 22588 0
vsize: 90424
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21008 0 0 0 117987 51 0 0 25 0 1 0 850387605 92594176 20982 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20982 566 18 0 22588 0
vsize: 90424
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21008 0 0 0 118987 51 0 0 25 0 1 0 850387605 92594176 20982 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20982 566 18 0 22588 0
vsize: 90424
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 17015
Raw data (stat): 17015 (Pueblo-v2) R 17014 25568 25567 0 -1 0 21008 0 0 0 119987 52 0 0 25 0 1 0 850387605 92594176 20982 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22606 20982 566 18 0 22588 0
vsize: 90424
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.95 1/54 17015
Raw data (stat): 17015 (Pueblo-v2) Z 17014 25568 25567 0 -1 1036 21008 0 0 0 119987 55 0 0 25 0 1 0 850387605 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.05
CPU time (s): 1200.44
CPU user time (s): 1199.88
CPU system time (s): 0.558915
CPU usage (%): 100.032
Max. virtual memory (Kb): 90424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####