PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM	6ffc4ed72f4dd993b121ae0a2045731e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	9505
Biggest coefficient in the objective function	697303040
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	66656504525
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	697303040
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	66656504525
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.087986
Number of variables	9535
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 39102

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 20:33:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27162 boxname=wulflinc6 idbench=1290 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  6ffc4ed72f4dd993b121ae0a2045731e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-dcmulti.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-dcmulti.opb
IDLAUNCH: 27162
/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:        195616 kB
Buffers:         34268 kB
Cached:         783288 kB
SwapCached:        552 kB
Active:          57504 kB
Inactive:       762212 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        195364 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13632 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 20:53:30 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 27162 7 1200.38 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.95 0.90 2/54 22475
Raw data (stat): 22475 (runsolver) R 22474 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852698120 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.0016 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 2025 0 0 0 994 5 0 0 25 0 1 0 852698120 14213120 1999 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 1999 566 18 0 3452 0
vsize: 13880
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 2036 0 0 0 1994 5 0 0 25 0 1 0 852698120 14348288 2010 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3503 2010 566 18 0 3485 0
vsize: 14012
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 2135 0 0 0 2993 6 0 0 25 0 1 0 852698120 14712832 2109 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3592 2109 566 18 0 3574 0
vsize: 14368
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 2571 0 0 0 3993 7 0 0 25 0 1 0 852698120 16412672 2545 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4007 2545 566 18 0 3989 0
vsize: 16028
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 2889 0 0 0 4992 7 0 0 25 0 1 0 852698120 17788928 2863 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4343 2863 566 18 0 4325 0
vsize: 17372
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3076 0 0 0 5992 8 0 0 25 0 1 0 852698120 18571264 3050 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4534 3050 566 18 0 4516 0
vsize: 18136
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3076 0 0 0 6992 8 0 0 25 0 1 0 852698120 18550784 3050 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4529 3050 566 18 0 4511 0
vsize: 18116
[startup+80.0011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3076 0 0 0 7992 9 0 0 25 0 1 0 852698120 18546688 3050 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4528 3050 566 18 0 4510 0
vsize: 18112
[startup+90.0003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3076 0 0 0 8992 9 0 0 25 0 1 0 852698120 18534400 3050 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3050 566 18 0 4507 0
vsize: 18100
[startup+99.9998 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3216 0 0 0 9992 9 0 0 25 0 1 0 852698120 19189760 3190 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4685 3190 566 18 0 4667 0
vsize: 18740
[startup+110 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3400 0 0 0 10991 10 0 0 25 0 1 0 852698120 19845120 3374 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4845 3374 566 18 0 4827 0
vsize: 19380
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3408 0 0 0 11991 11 0 0 25 0 1 0 852698120 19968000 3382 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4875 3382 566 18 0 4857 0
vsize: 19500
[startup+129.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3412 0 0 0 12991 11 0 0 25 0 1 0 852698120 19968000 3386 4294967295 134512640 134581267 3221224576 3221223520 134558865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4875 3386 566 18 0 4857 0
vsize: 19500
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3496 0 0 0 13991 11 0 0 25 0 1 0 852698120 20209664 3470 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4934 3470 566 18 0 4916 0
vsize: 19736
[startup+149.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3810 0 0 0 14990 13 0 0 25 0 1 0 852698120 21512192 3784 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5252 3784 566 18 0 5234 0
vsize: 21008
[startup+159.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3862 0 0 0 15990 13 0 0 25 0 1 0 852698120 21782528 3836 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3836 566 18 0 5300 0
vsize: 21272
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3870 0 0 0 16989 14 0 0 25 0 1 0 852698120 21782528 3844 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3844 566 18 0 5300 0
vsize: 21272
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3870 0 0 0 17989 14 0 0 25 0 1 0 852698120 21782528 3844 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3844 566 18 0 5300 0
vsize: 21272
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3870 0 0 0 18989 14 0 0 25 0 1 0 852698120 21782528 3844 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3844 566 18 0 5300 0
vsize: 21272
[startup+199.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3870 0 0 0 19989 15 0 0 25 0 1 0 852698120 21782528 3844 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3844 566 18 0 5300 0
vsize: 21272
[startup+209.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3870 0 0 0 20989 15 0 0 25 0 1 0 852698120 21782528 3844 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3844 566 18 0 5300 0
vsize: 21272
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3870 0 0 0 21989 15 0 0 25 0 1 0 852698120 21782528 3844 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3844 566 18 0 5300 0
vsize: 21272
[startup+229.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3870 0 0 0 22989 15 0 0 25 0 1 0 852698120 21782528 3844 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3844 566 18 0 5300 0
vsize: 21272
[startup+239.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3870 0 0 0 23989 15 0 0 25 0 1 0 852698120 21782528 3844 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3844 566 18 0 5300 0
vsize: 21272
[startup+249.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3870 0 0 0 24989 16 0 0 25 0 1 0 852698120 21782528 3844 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3844 566 18 0 5300 0
vsize: 21272
[startup+259.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3871 0 0 0 25989 16 0 0 25 0 1 0 852698120 21782528 3845 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3845 566 18 0 5300 0
vsize: 21272
[startup+269.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3871 0 0 0 26989 16 0 0 25 0 1 0 852698120 21782528 3845 4294967295 134512640 134581267 3221224576 3221223488 134527676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3845 566 18 0 5300 0
vsize: 21272
[startup+279.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3871 0 0 0 27989 17 0 0 25 0 1 0 852698120 21782528 3845 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3845 566 18 0 5300 0
vsize: 21272
[startup+289.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3871 0 0 0 28989 17 0 0 25 0 1 0 852698120 21782528 3845 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 3845 566 18 0 5300 0
vsize: 21272
[startup+299.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 3901 0 0 0 29989 17 0 0 25 0 1 0 852698120 21913600 3875 4294967295 134512640 134581267 3221224576 3221223472 134517838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5350 3875 566 18 0 5332 0
vsize: 21400
[startup+309.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4044 0 0 0 30989 18 0 0 25 0 1 0 852698120 22573056 4018 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5511 4018 566 18 0 5493 0
vsize: 22044
[startup+319.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4240 0 0 0 31988 19 0 0 25 0 1 0 852698120 23363584 4214 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4214 566 18 0 5686 0
vsize: 22816
[startup+329.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 32988 19 0 0 25 0 1 0 852698120 24698880 4538 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6030 4538 566 18 0 6012 0
vsize: 24120
[startup+339.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 33988 19 0 0 25 0 1 0 852698120 24690688 4538 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6028 4538 566 18 0 6010 0
vsize: 24112
[startup+349.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 34988 19 0 0 25 0 1 0 852698120 24678400 4538 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6025 4538 566 18 0 6007 0
vsize: 24100
[startup+359.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 35988 19 0 0 25 0 1 0 852698120 24678400 4538 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6025 4538 566 18 0 6007 0
vsize: 24100
[startup+369.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 36989 19 0 0 25 0 1 0 852698120 24678400 4538 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6025 4538 566 18 0 6007 0
vsize: 24100
[startup+379.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 37989 19 0 0 25 0 1 0 852698120 24678400 4538 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6025 4538 566 18 0 6007 0
vsize: 24100
[startup+389.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 38989 19 0 0 25 0 1 0 852698120 24502272 4520 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5982 4520 566 18 0 5964 0
vsize: 23928
[startup+399.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 39990 19 0 0 25 0 1 0 852698120 24502272 4520 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5982 4520 566 18 0 5964 0
vsize: 23928
[startup+409.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 40990 19 0 0 25 0 1 0 852698120 24502272 4520 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5982 4520 566 18 0 5964 0
vsize: 23928
[startup+419.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 41990 19 0 0 25 0 1 0 852698120 24502272 4520 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5982 4520 566 18 0 5964 0
vsize: 23928
[startup+429.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 42990 20 0 0 25 0 1 0 852698120 24502272 4520 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5982 4520 566 18 0 5964 0
vsize: 23928
[startup+439.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4564 0 0 0 43990 20 0 0 25 0 1 0 852698120 24502272 4520 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5982 4520 566 18 0 5964 0
vsize: 23928
[startup+449.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 44990 20 0 0 25 0 1 0 852698120 25169920 4660 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6145 4660 566 18 0 6127 0
vsize: 24580
[startup+459.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 45990 20 0 0 25 0 1 0 852698120 25169920 4660 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6145 4660 566 18 0 6127 0
vsize: 24580
[startup+469.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 46991 21 0 0 25 0 1 0 852698120 25157632 4660 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6142 4660 566 18 0 6124 0
vsize: 24568
[startup+479.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 47991 21 0 0 25 0 1 0 852698120 24825856 4599 4294967295 134512640 134581267 3221224576 3221223536 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 4599 566 18 0 6043 0
vsize: 24244
[startup+489.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 48991 21 0 0 25 0 1 0 852698120 24825856 4599 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 4599 566 18 0 6043 0
vsize: 24244
[startup+499.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 49992 21 0 0 25 0 1 0 852698120 24825856 4599 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 4599 566 18 0 6043 0
vsize: 24244
[startup+509.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 50992 21 0 0 25 0 1 0 852698120 24825856 4599 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 4599 566 18 0 6043 0
vsize: 24244
[startup+519.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 51992 21 0 0 25 0 1 0 852698120 24825856 4599 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 4599 566 18 0 6043 0
vsize: 24244
[startup+529.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 52992 21 0 0 25 0 1 0 852698120 24825856 4599 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 4599 566 18 0 6043 0
vsize: 24244
[startup+539.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 53992 21 0 0 25 0 1 0 852698120 24825856 4599 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 4599 566 18 0 6043 0
vsize: 24244
[startup+549.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4704 0 0 0 54993 21 0 0 25 0 1 0 852698120 24825856 4599 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 4599 566 18 0 6043 0
vsize: 24244
[startup+559.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4816 0 0 0 55993 21 0 0 25 0 1 0 852698120 25354240 4711 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 4711 566 18 0 6172 0
vsize: 24760
[startup+569.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 56993 21 0 0 25 0 1 0 852698120 25747456 4793 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 4793 566 18 0 6268 0
vsize: 25144
[startup+579.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 57993 21 0 0 25 0 1 0 852698120 25747456 4793 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 4793 566 18 0 6268 0
vsize: 25144
[startup+589.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 58994 21 0 0 25 0 1 0 852698120 25743360 4793 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6285 4793 566 18 0 6267 0
vsize: 25140
[startup+599.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 59994 21 0 0 25 0 1 0 852698120 25718784 4793 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6279 4793 566 18 0 6261 0
vsize: 25116
[startup+609.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 60994 21 0 0 25 0 1 0 852698120 25714688 4793 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6278 4793 566 18 0 6260 0
vsize: 25112
[startup+619.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 61995 21 0 0 25 0 1 0 852698120 25714688 4793 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6278 4793 566 18 0 6260 0
vsize: 25112
[startup+629.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 62995 21 0 0 25 0 1 0 852698120 25714688 4793 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6278 4793 566 18 0 6260 0
vsize: 25112
[startup+639.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 63995 21 0 0 25 0 1 0 852698120 25714688 4793 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6278 4793 566 18 0 6260 0
vsize: 25112
[startup+649.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 64995 21 0 0 25 0 1 0 852698120 25714688 4793 4294967295 134512640 134581267 3221224576 3221223548 134527304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6278 4793 566 18 0 6260 0
vsize: 25112
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 65997 21 0 0 25 0 1 0 852698120 25686016 4793 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6271 4793 566 18 0 6253 0
vsize: 25084
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 66998 21 0 0 25 0 1 0 852698120 25673728 4793 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 4793 566 18 0 6250 0
vsize: 25072
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 67998 21 0 0 25 0 1 0 852698120 25673728 4793 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 4793 566 18 0 6250 0
vsize: 25072
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 68998 21 0 0 25 0 1 0 852698120 25673728 4793 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 4793 566 18 0 6250 0
vsize: 25072
[startup+700.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 69998 21 0 0 25 0 1 0 852698120 25673728 4793 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 4793 566 18 0 6250 0
vsize: 25072
[startup+710.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 70999 21 0 0 25 0 1 0 852698120 25673728 4793 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 4793 566 18 0 6250 0
vsize: 25072
[startup+720.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 71999 21 0 0 25 0 1 0 852698120 25673728 4793 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 4793 566 18 0 6250 0
vsize: 25072
[startup+730.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 72999 21 0 0 25 0 1 0 852698120 25673728 4793 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 4793 566 18 0 6250 0
vsize: 25072
[startup+740.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 4898 0 0 0 74000 21 0 0 25 0 1 0 852698120 25673728 4793 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 4793 566 18 0 6250 0
vsize: 25072
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5335 0 0 0 74999 22 0 0 25 0 1 0 852698120 27500544 5230 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6714 5230 566 18 0 6696 0
vsize: 26856
[startup+760 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5335 0 0 0 75999 22 0 0 25 0 1 0 852698120 27500544 5230 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6714 5230 566 18 0 6696 0
vsize: 26856
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5335 0 0 0 76999 23 0 0 25 0 1 0 852698120 27500544 5230 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6714 5230 566 18 0 6696 0
vsize: 26856
[startup+780 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5335 0 0 0 78000 23 0 0 25 0 1 0 852698120 27459584 5230 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6704 5230 566 18 0 6686 0
vsize: 26816
[startup+790 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5335 0 0 0 79000 23 0 0 25 0 1 0 852698120 27459584 5230 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6704 5230 566 18 0 6686 0
vsize: 26816
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5335 0 0 0 80000 23 0 0 25 0 1 0 852698120 27455488 5230 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5230 566 18 0 6685 0
vsize: 26812
[startup+809.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5335 0 0 0 81001 23 0 0 25 0 1 0 852698120 27455488 5230 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5230 566 18 0 6685 0
vsize: 26812
[startup+819.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5335 0 0 0 82001 23 0 0 25 0 1 0 852698120 27455488 5230 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5230 566 18 0 6685 0
vsize: 26812
[startup+829.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5391 0 0 0 83001 23 0 0 25 0 1 0 852698120 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5241 566 18 0 6685 0
vsize: 26812
[startup+839.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5391 0 0 0 84001 23 0 0 25 0 1 0 852698120 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5241 566 18 0 6685 0
vsize: 26812
[startup+849.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5391 0 0 0 85002 23 0 0 25 0 1 0 852698120 27455488 5241 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5241 566 18 0 6685 0
vsize: 26812
[startup+859.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5391 0 0 0 86002 23 0 0 25 0 1 0 852698120 27455488 5241 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5241 566 18 0 6685 0
vsize: 26812
[startup+869.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5391 0 0 0 87002 23 0 0 25 0 1 0 852698120 27455488 5241 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5241 566 18 0 6685 0
vsize: 26812
[startup+879.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5391 0 0 0 88003 23 0 0 25 0 1 0 852698120 27455488 5241 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5241 566 18 0 6685 0
vsize: 26812
[startup+889.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5391 0 0 0 89003 23 0 0 25 0 1 0 852698120 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5241 566 18 0 6685 0
vsize: 26812
[startup+899.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5391 0 0 0 90003 23 0 0 25 0 1 0 852698120 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5241 566 18 0 6685 0
vsize: 26812
[startup+909.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5391 0 0 0 91004 23 0 0 25 0 1 0 852698120 27455488 5241 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5241 566 18 0 6685 0
vsize: 26812
[startup+919.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 92003 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+929.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 93004 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+939.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 94004 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+949.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 95004 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+959.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 96005 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+969.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 97005 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+979.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 98005 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+989.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 99006 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+999.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 100006 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223440 134528380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 101006 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 102006 23 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 103006 24 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223504 134520009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 104006 24 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 105007 24 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 5540 0 0 0 106007 24 0 0 25 0 1 0 852698120 28114944 5390 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 5390 566 18 0 6846 0
vsize: 27456
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6075 0 0 0 107006 26 0 0 25 0 1 0 852698120 30388224 5925 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 5925 566 18 0 7401 0
vsize: 29676
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6406 0 0 0 108005 27 0 0 25 0 1 0 852698120 31707136 6256 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7741 6256 566 18 0 7723 0
vsize: 30964
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6455 0 0 0 109005 27 0 0 25 0 1 0 852698120 31834112 6305 4294967295 134512640 134581267 3221224576 3221223472 134517735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7772 6305 566 18 0 7754 0
vsize: 31088
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 110006 27 0 0 25 0 1 0 852698120 31952896 6311 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7801 6311 566 18 0 7783 0
vsize: 31204
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 111006 27 0 0 25 0 1 0 852698120 31940608 6311 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7798 6311 566 18 0 7780 0
vsize: 31192
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 112006 27 0 0 25 0 1 0 852698120 31567872 6245 4294967295 134512640 134581267 3221224576 3221223568 134561043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6245 566 18 0 7689 0
vsize: 30828
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 113007 27 0 0 25 0 1 0 852698120 31567872 6245 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6245 566 18 0 7689 0
vsize: 30828
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 114007 27 0 0 25 0 1 0 852698120 31567872 6245 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6245 566 18 0 7689 0
vsize: 30828
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 115007 27 0 0 25 0 1 0 852698120 31567872 6245 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6245 566 18 0 7689 0
vsize: 30828
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 116008 27 0 0 25 0 1 0 852698120 31567872 6245 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6245 566 18 0 7689 0
vsize: 30828
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 117008 27 0 0 25 0 1 0 852698120 31567872 6245 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6245 566 18 0 7689 0
vsize: 30828
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 118008 27 0 0 25 0 1 0 852698120 31567872 6245 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6245 566 18 0 7689 0
vsize: 30828
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 119009 27 0 0 25 0 1 0 852698120 31567872 6245 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6245 566 18 0 7689 0
vsize: 30828
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22475
Raw data (stat): 22475 (Pueblo-v2) R 22474 25568 25567 0 -1 0 6461 0 0 0 120009 27 0 0 25 0 1 0 852698120 31567872 6245 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6245 566 18 0 7689 0
vsize: 30828
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22475
Raw data (stat): 22475 (Pueblo-v2) Z 22474 25568 25567 0 -1 1036 6461 0 0 0 120009 28 0 0 25 0 1 0 852698120 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.01
CPU time (s): 1200.38
CPU user time (s): 1200.1
CPU system time (s): 0.287956
CPU usage (%): 100.031
Max. virtual memory (Kb): 31204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####