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/miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
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.28
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 38738

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 16:07:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26788 boxname=wulflinc3 idbench=916 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 26788
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        904360 kB
Buffers:         22404 kB
Cached:          85756 kB
SwapCached:        232 kB
Active:          32412 kB
Inactive:        78348 kB
HighTotal:      131008 kB
HighFree:        41972 kB
LowTotal:       903652 kB
LowFree:        862388 kB
SwapTotal:     2097136 kB
SwapFree:      2096476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6336 kB
Slab:            13768 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 16:27:24 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 26788 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.73 0.93 0.94 2/54 11850
Raw data (stat): 11850 (runsolver) R 11849 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851094081 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.0004 s]
Raw data (loadavg): 0.77 0.94 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 1406 0 0 0 995 3 0 0 25 0 1 0 851094081 11395072 1380 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2782 1380 566 18 0 2764 0
vsize: 11128
[startup+20.0008 s]
Raw data (loadavg): 0.81 0.94 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 1710 0 0 0 1995 3 0 0 25 0 1 0 851094081 12570624 1684 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3069 1684 566 18 0 3051 0
vsize: 12276
[startup+30.0006 s]
Raw data (loadavg): 0.84 0.94 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 2274 0 0 0 2994 5 0 0 25 0 1 0 851094081 14901248 2248 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2248 566 18 0 3620 0
vsize: 14552
[startup+40.0007 s]
Raw data (loadavg): 0.86 0.94 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 2617 0 0 0 3993 6 0 0 25 0 1 0 851094081 16310272 2591 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3982 2591 566 18 0 3964 0
vsize: 15928
[startup+50.0013 s]
Raw data (loadavg): 0.88 0.94 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 2816 0 0 0 4993 6 0 0 25 0 1 0 851094081 17076224 2790 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4169 2790 566 18 0 4151 0
vsize: 16676
[startup+60.0011 s]
Raw data (loadavg): 0.90 0.94 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 2816 0 0 0 5993 6 0 0 25 0 1 0 851094081 16896000 2749 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4125 2749 566 18 0 4107 0
vsize: 16500
[startup+70.0079 s]
Raw data (loadavg): 0.91 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 2816 0 0 0 6994 6 0 0 25 0 1 0 851094081 16891904 2748 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4124 2748 566 18 0 4106 0
vsize: 16496
[startup+80.0088 s]
Raw data (loadavg): 0.93 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 2816 0 0 0 7994 6 0 0 25 0 1 0 851094081 16891904 2748 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4124 2748 566 18 0 4106 0
vsize: 16496
[startup+90.0086 s]
Raw data (loadavg): 0.94 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 2889 0 0 0 8994 6 0 0 25 0 1 0 851094081 17293312 2821 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4222 2821 566 18 0 4204 0
vsize: 16888
[startup+100.009 s]
Raw data (loadavg): 0.95 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3014 0 0 0 9993 7 0 0 25 0 1 0 851094081 17805312 2946 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4347 2946 566 18 0 4329 0
vsize: 17388
[startup+110.009 s]
Raw data (loadavg): 0.95 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3014 0 0 0 10994 7 0 0 25 0 1 0 851094081 17805312 2946 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4347 2946 566 18 0 4329 0
vsize: 17388
[startup+120.01 s]
Raw data (loadavg): 0.96 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3146 0 0 0 11994 7 0 0 25 0 1 0 851094081 18309120 3078 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4470 3078 566 18 0 4452 0
vsize: 17880
[startup+130.01 s]
Raw data (loadavg): 0.97 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 12993 8 0 0 25 0 1 0 851094081 20176896 3548 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3548 566 18 0 4908 0
vsize: 19704
[startup+140.01 s]
Raw data (loadavg): 0.97 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 13993 8 0 0 25 0 1 0 851094081 20164608 3547 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 14993 8 0 0 25 0 1 0 851094081 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+160.01 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 15993 8 0 0 25 0 1 0 851094081 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+170.01 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 16994 8 0 0 25 0 1 0 851094081 20164608 3547 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+180.011 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 17994 8 0 0 25 0 1 0 851094081 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 18994 8 0 0 25 0 1 0 851094081 20148224 3543 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 19994 8 0 0 25 0 1 0 851094081 20148224 3543 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 20994 8 0 0 25 0 1 0 851094081 20148224 3543 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 21995 8 0 0 25 0 1 0 851094081 20148224 3543 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 22995 8 0 0 25 0 1 0 851094081 20148224 3543 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3616 0 0 0 23995 8 0 0 25 0 1 0 851094081 20148224 3543 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 3730 0 0 0 24995 8 0 0 25 0 1 0 851094081 20647936 3657 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5041 3657 566 18 0 5023 0
vsize: 20164
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4362 0 0 0 25994 10 0 0 25 0 1 0 851094081 23269376 4289 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5681 4289 566 18 0 5663 0
vsize: 22724
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 26994 10 0 0 25 0 1 0 851094081 23396352 4323 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5712 4323 566 18 0 5694 0
vsize: 22848
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 27994 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.94 3/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 28994 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 29994 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 30994 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223440 134526952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 31995 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 32995 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 33995 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 34995 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 35995 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223440 134528331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 36996 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 37996 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 38996 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 39996 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 40996 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 41997 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 42997 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 43997 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 44997 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223352 1075291210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 45997 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223520 134558895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 46997 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 47998 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 48998 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 49998 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 50998 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4396 0 0 0 51998 10 0 0 25 0 1 0 851094081 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 52997 11 0 0 25 0 1 0 851094081 25116672 4738 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6132 4738 566 18 0 6114 0
vsize: 24528
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 53997 11 0 0 25 0 1 0 851094081 25116672 4738 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6132 4738 566 18 0 6114 0
vsize: 24528
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 54998 11 0 0 25 0 1 0 851094081 25116672 4738 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6132 4738 566 18 0 6114 0
vsize: 24528
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 55998 11 0 0 25 0 1 0 851094081 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 56998 11 0 0 25 0 1 0 851094081 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 57998 11 0 0 25 0 1 0 851094081 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 58998 11 0 0 25 0 1 0 851094081 25010176 4730 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 59999 11 0 0 25 0 1 0 851094081 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 60999 11 0 0 25 0 1 0 851094081 25010176 4730 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 61999 11 0 0 25 0 1 0 851094081 25010176 4730 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 62999 11 0 0 25 0 1 0 851094081 24985600 4724 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6100 4724 566 18 0 6082 0
vsize: 24400
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 63999 11 0 0 25 0 1 0 851094081 24981504 4723 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6099 4723 566 18 0 6081 0
vsize: 24396
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 65000 11 0 0 25 0 1 0 851094081 24977408 4722 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6098 4722 566 18 0 6080 0
vsize: 24392
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 66000 11 0 0 25 0 1 0 851094081 24977408 4722 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6098 4722 566 18 0 6080 0
vsize: 24392
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 67000 11 0 0 25 0 1 0 851094081 24969216 4720 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 68000 11 0 0 25 0 1 0 851094081 24969216 4720 4294967295 134512640 134581267 3221224576 3221223520 134558881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 69001 11 0 0 25 0 1 0 851094081 24969216 4720 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 70001 11 0 0 25 0 1 0 851094081 24928256 4710 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6086 4710 566 18 0 6068 0
vsize: 24344
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 71001 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 72001 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 73001 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 74001 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 75001 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 76002 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 77002 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 78002 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 79002 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 4944 0 0 0 80002 11 0 0 25 0 1 0 851094081 24846336 4690 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 81002 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 82002 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 83002 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 84003 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 85003 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 86003 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 87003 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 88003 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 89004 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 90004 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 91004 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 92004 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 93004 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 94004 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223456 134520291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 95005 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223568 134561076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 96005 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 97005 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 98005 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 99005 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 100005 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 101006 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 102006 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 103006 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 104006 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 105006 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 106006 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 107007 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 108007 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 109007 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 110007 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 111007 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 112007 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 113008 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 114008 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223456 134520299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 115008 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 116008 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 117008 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 118009 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 119009 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223456 134520212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11850
Raw data (stat): 11850 (Pueblo-v2) R 11849 20224 20223 0 -1 0 5298 0 0 0 120009 12 0 0 25 0 1 0 851094081 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 11850
Raw data (stat): 11850 (Pueblo-v2) Z 11849 20224 20223 0 -1 1036 5298 0 0 0 120009 13 0 0 25 0 1 0 851094081 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.23
CPU user time (s): 1200.09
CPU system time (s): 0.134979
CPU usage (%): 100.015
Max. virtual memory (Kb): 25724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####