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-air06.opb
MD5SUM	f85d0079133f298b06c25764b03ff228
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50233
Optimality of the best value was proved	NO
Number of terms in the objective function	8627
Biggest coefficient in the objective function	1859
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	4587852
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	1859
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	4587852
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1182.3
Number of variables	8627
Total number of constraints	9452
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9452
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	461
Trace number 38727

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 15:48:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26771 boxname=wulflinc6 idbench=899 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f85d0079133f298b06c25764b03ff228  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-air06.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-air06.opb
IDLAUNCH: 26771
/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:        729080 kB
Buffers:         33704 kB
Cached:         250528 kB
SwapCached:        552 kB
Active:          58588 kB
Inactive:       227744 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        728828 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13528 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 16:09:02 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 26771 7 1200.41 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.84 0.94 0.90 2/54 17638
Raw data (stat): 17638 (runsolver) R 17637 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850991053 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 2111 0 0 0 993 5 0 0 25 0 1 0 850991053 14565376 2085 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3556 2085 566 18 0 3538 0
vsize: 14224
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 2301 0 0 0 1993 6 0 0 25 0 1 0 850991053 15360000 2275 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3750 2275 566 18 0 3732 0
vsize: 15000
[startup+30.0005 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 2600 0 0 0 2993 6 0 0 25 0 1 0 850991053 16674816 2574 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4071 2574 566 18 0 4053 0
vsize: 16284
[startup+39.9999 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 2640 0 0 0 3992 7 0 0 25 0 1 0 850991053 16826368 2614 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4108 2614 566 18 0 4090 0
vsize: 16432
[startup+49.9998 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 2796 0 0 0 4992 7 0 0 25 0 1 0 850991053 17489920 2770 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4270 2770 566 18 0 4252 0
vsize: 17080
[startup+59.9989 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 2796 0 0 0 5992 7 0 0 25 0 1 0 850991053 17489920 2770 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4270 2770 566 18 0 4252 0
vsize: 17080
[startup+69.9991 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3128 0 0 0 6992 8 0 0 25 0 1 0 850991053 18812928 3102 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4593 3102 566 18 0 4575 0
vsize: 18372
[startup+79.9992 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3128 0 0 0 7992 8 0 0 25 0 1 0 850991053 18812928 3102 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4593 3102 566 18 0 4575 0
vsize: 18372
[startup+89.9984 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3194 0 0 0 8992 8 0 0 25 0 1 0 850991053 19075072 3168 4294967295 134512640 134581267 3221224576 3221223504 134519899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3168 566 18 0 4639 0
vsize: 18628
[startup+99.998 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3194 0 0 0 9992 8 0 0 25 0 1 0 850991053 19075072 3168 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3168 566 18 0 4639 0
vsize: 18628
[startup+109.998 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3330 0 0 0 10992 9 0 0 25 0 1 0 850991053 19591168 3304 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3304 566 18 0 4765 0
vsize: 19132
[startup+119.998 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3330 0 0 0 11993 9 0 0 25 0 1 0 850991053 19591168 3304 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3304 566 18 0 4765 0
vsize: 19132
[startup+129.997 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3330 0 0 0 12993 9 0 0 25 0 1 0 850991053 19591168 3304 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3304 566 18 0 4765 0
vsize: 19132
[startup+139.996 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3330 0 0 0 13993 9 0 0 25 0 1 0 850991053 19591168 3304 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3304 566 18 0 4765 0
vsize: 19132
[startup+149.996 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3434 0 0 0 14993 9 0 0 25 0 1 0 850991053 19984384 3408 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4879 3408 566 18 0 4861 0
vsize: 19516
[startup+159.996 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3488 0 0 0 15993 9 0 0 25 0 1 0 850991053 20246528 3462 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4943 3462 566 18 0 4925 0
vsize: 19772
[startup+169.996 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3514 0 0 0 16993 10 0 0 25 0 1 0 850991053 20377600 3488 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4975 3488 566 18 0 4957 0
vsize: 19900
[startup+179.995 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3570 0 0 0 17993 10 0 0 25 0 1 0 850991053 20643840 3544 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5040 3544 566 18 0 5022 0
vsize: 20160
[startup+189.995 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3570 0 0 0 18994 10 0 0 25 0 1 0 850991053 20643840 3544 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5040 3544 566 18 0 5022 0
vsize: 20160
[startup+199.994 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3623 0 0 0 19993 10 0 0 25 0 1 0 850991053 20774912 3597 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5072 3597 566 18 0 5054 0
vsize: 20288
[startup+209.993 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3623 0 0 0 20994 11 0 0 25 0 1 0 850991053 20774912 3597 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5072 3597 566 18 0 5054 0
vsize: 20288
[startup+219.994 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3785 0 0 0 21993 11 0 0 25 0 1 0 850991053 21434368 3759 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+229.993 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3785 0 0 0 22994 11 0 0 25 0 1 0 850991053 21434368 3759 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+239.993 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3785 0 0 0 23994 11 0 0 25 0 1 0 850991053 21434368 3759 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+249.992 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3785 0 0 0 24994 11 0 0 25 0 1 0 850991053 21434368 3759 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+259.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3785 0 0 0 25994 11 0 0 25 0 1 0 850991053 21434368 3759 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+269.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3785 0 0 0 26995 11 0 0 25 0 1 0 850991053 21434368 3759 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 3759 566 18 0 5215 0
vsize: 20932
[startup+279.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3836 0 0 0 27995 11 0 0 25 0 1 0 850991053 21696512 3810 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5297 3810 566 18 0 5279 0
vsize: 21188
[startup+289.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3836 0 0 0 28995 12 0 0 25 0 1 0 850991053 21696512 3810 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5297 3810 566 18 0 5279 0
vsize: 21188
[startup+299.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3853 0 0 0 29995 12 0 0 25 0 1 0 850991053 21696512 3827 4294967295 134512640 134581267 3221224576 3221223632 134555995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5297 3827 566 18 0 5279 0
vsize: 21188
[startup+309.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3948 0 0 0 30995 12 0 0 25 0 1 0 850991053 22183936 3922 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5416 3922 566 18 0 5398 0
vsize: 21664
[startup+319.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 3956 0 0 0 31995 12 0 0 25 0 1 0 850991053 22183936 3930 4294967295 134512640 134581267 3221224576 3221223452 134560154 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5416 3930 566 18 0 5398 0
vsize: 21664
[startup+329.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4201 0 0 0 32995 12 0 0 25 0 1 0 850991053 23232512 4175 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 4175 566 18 0 5654 0
vsize: 22688
[startup+339.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4223 0 0 0 33995 12 0 0 25 0 1 0 850991053 23232512 4197 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+349.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4223 0 0 0 34996 12 0 0 25 0 1 0 850991053 23232512 4197 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+359.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4223 0 0 0 35996 12 0 0 25 0 1 0 850991053 23232512 4197 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+369.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4223 0 0 0 36996 12 0 0 25 0 1 0 850991053 23232512 4197 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+379.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4223 0 0 0 37997 12 0 0 25 0 1 0 850991053 23232512 4197 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+389.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4223 0 0 0 38997 12 0 0 25 0 1 0 850991053 23232512 4197 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 4197 566 18 0 5654 0
vsize: 22688
[startup+399.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4351 0 0 0 39997 13 0 0 25 0 1 0 850991053 23842816 4325 4294967295 134512640 134581267 3221224576 3221223504 134520021 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4325 566 18 0 5803 0
vsize: 23284
[startup+409.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4390 0 0 0 40997 13 0 0 25 0 1 0 850991053 23965696 4364 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5851 4364 566 18 0 5833 0
vsize: 23404
[startup+419.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4525 0 0 0 41997 13 0 0 25 0 1 0 850991053 24551424 4499 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5994 4499 566 18 0 5976 0
vsize: 23976
[startup+429.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4525 0 0 0 42997 13 0 0 25 0 1 0 850991053 24551424 4499 4294967295 134512640 134581267 3221224576 3221223552 134560672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5994 4499 566 18 0 5976 0
vsize: 23976
[startup+439.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4525 0 0 0 43998 13 0 0 25 0 1 0 850991053 24551424 4499 4294967295 134512640 134581267 3221224576 3221223504 134520049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5994 4499 566 18 0 5976 0
vsize: 23976
[startup+449.983 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4525 0 0 0 44998 13 0 0 25 0 1 0 850991053 24551424 4499 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5994 4499 566 18 0 5976 0
vsize: 23976
[startup+459.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4525 0 0 0 45998 13 0 0 25 0 1 0 850991053 24535040 4499 4294967295 134512640 134581267 3221224576 3221223440 134560377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 4499 566 18 0 5972 0
vsize: 23960
[startup+469.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4525 0 0 0 46998 13 0 0 25 0 1 0 850991053 24535040 4499 4294967295 134512640 134581267 3221224576 3221223568 134561029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 4499 566 18 0 5972 0
vsize: 23960
[startup+479.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4525 0 0 0 47999 13 0 0 25 0 1 0 850991053 24535040 4499 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 4499 566 18 0 5972 0
vsize: 23960
[startup+489.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4525 0 0 0 48999 13 0 0 25 0 1 0 850991053 24535040 4499 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 4499 566 18 0 5972 0
vsize: 23960
[startup+499.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4526 0 0 0 49999 13 0 0 25 0 1 0 850991053 24535040 4500 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 4500 566 18 0 5972 0
vsize: 23960
[startup+509.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4526 0 0 0 50999 13 0 0 25 0 1 0 850991053 24535040 4500 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 4500 566 18 0 5972 0
vsize: 23960
[startup+519.979 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4526 0 0 0 51999 13 0 0 25 0 1 0 850991053 24535040 4500 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 4500 566 18 0 5972 0
vsize: 23960
[startup+529.979 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4526 0 0 0 53000 13 0 0 25 0 1 0 850991053 24530944 4500 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+539.979 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4526 0 0 0 53999 14 0 0 25 0 1 0 850991053 24530944 4500 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+549.979 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4526 0 0 0 55000 14 0 0 25 0 1 0 850991053 24530944 4500 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+559.978 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4526 0 0 0 56000 14 0 0 25 0 1 0 850991053 24530944 4500 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+569.978 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4526 0 0 0 57000 14 0 0 25 0 1 0 850991053 24530944 4500 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+579.979 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4526 0 0 0 58001 14 0 0 25 0 1 0 850991053 24530944 4500 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5989 4500 566 18 0 5971 0
vsize: 23956
[startup+589.978 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4605 0 0 0 59001 14 0 0 25 0 1 0 850991053 24932352 4579 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4579 566 18 0 6069 0
vsize: 24348
[startup+599.978 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4761 0 0 0 60001 14 0 0 25 0 1 0 850991053 25460736 4735 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 4735 566 18 0 6198 0
vsize: 24864
[startup+609.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4761 0 0 0 61002 14 0 0 25 0 1 0 850991053 25460736 4735 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 4735 566 18 0 6198 0
vsize: 24864
[startup+619.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4807 0 0 0 62003 15 0 0 25 0 1 0 850991053 25722880 4781 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6280 4781 566 18 0 6262 0
vsize: 25120
[startup+629.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 63003 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+639.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 64003 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223600 134560256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+649.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 65004 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+659.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17638
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 66004 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 17679
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 67005 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223440 134560415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17691
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 68006 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17691
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 69006 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17691
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 70006 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223440 134560314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17691
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 71007 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17691
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 72007 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17691
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 73008 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 74008 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 75008 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 4853 0 0 0 76009 15 0 0 25 0 1 0 850991053 25853952 4827 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4827 566 18 0 6294 0
vsize: 25248
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5025 0 0 0 77009 15 0 0 25 0 1 0 850991053 26648576 4999 4294967295 134512640 134581267 3221224576 3221223584 134560319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6506 4999 566 18 0 6488 0
vsize: 26024
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5026 0 0 0 78009 15 0 0 25 0 1 0 850991053 26648576 5000 4294967295 134512640 134581267 3221224576 3221223292 1075288258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6506 5000 566 18 0 6488 0
vsize: 26024
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5026 0 0 0 79009 15 0 0 25 0 1 0 850991053 26648576 5000 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6506 5000 566 18 0 6488 0
vsize: 26024
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5026 0 0 0 80010 15 0 0 25 0 1 0 850991053 26648576 5000 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6506 5000 566 18 0 6488 0
vsize: 26024
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 81010 15 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 82010 15 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 83010 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 84011 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 85011 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 86011 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 87012 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 88012 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223440 134560433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 89013 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 90013 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 91013 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 92014 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 93014 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 94014 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 95015 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223504 134519826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 96015 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17693
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 97015 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 98016 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 99016 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 100016 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 101017 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 102017 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223548 134527304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 103018 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223560 134561049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 104018 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5064 0 0 0 105018 16 0 0 25 0 1 0 850991053 26775552 5038 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 566 18 0 6519 0
vsize: 26148
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5088 0 0 0 106018 16 0 0 25 0 1 0 850991053 26906624 5062 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6569 5062 566 18 0 6551 0
vsize: 26276
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5088 0 0 0 107019 16 0 0 25 0 1 0 850991053 26906624 5062 4294967295 134512640 134581267 3221224576 3221223264 1075289350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6569 5062 566 18 0 6551 0
vsize: 26276
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5088 0 0 0 108019 16 0 0 25 0 1 0 850991053 26906624 5062 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6569 5062 566 18 0 6551 0
vsize: 26276
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5088 0 0 0 109020 16 0 0 25 0 1 0 850991053 26906624 5062 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6569 5062 566 18 0 6551 0
vsize: 26276
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5175 0 0 0 110019 16 0 0 25 0 1 0 850991053 27172864 5149 4294967295 134512640 134581267 3221224576 3221223584 134560284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6634 5149 566 18 0 6616 0
vsize: 26536
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5175 0 0 0 111020 16 0 0 25 0 1 0 850991053 27172864 5149 4294967295 134512640 134581267 3221224576 3221223632 134556134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6634 5149 566 18 0 6616 0
vsize: 26536
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5175 0 0 0 112020 16 0 0 25 0 1 0 850991053 27172864 5149 4294967295 134512640 134581267 3221224576 3221223520 134559333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6634 5149 566 18 0 6616 0
vsize: 26536
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5444 0 0 0 113019 17 0 0 25 0 1 0 850991053 28360704 5418 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6924 5418 566 18 0 6906 0
vsize: 27696
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5707 0 0 0 114019 18 0 0 25 0 1 0 850991053 29405184 5681 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7179 5681 566 18 0 7161 0
vsize: 28716
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5707 0 0 0 115019 18 0 0 25 0 1 0 850991053 29405184 5681 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7179 5681 566 18 0 7161 0
vsize: 28716
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5707 0 0 0 116019 18 0 0 25 0 1 0 850991053 29405184 5681 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7179 5681 566 18 0 7161 0
vsize: 28716
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5707 0 0 0 117020 18 0 0 25 0 1 0 850991053 29405184 5681 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7179 5681 566 18 0 7161 0
vsize: 28716
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5707 0 0 0 118020 18 0 0 25 0 1 0 850991053 29405184 5681 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7179 5681 566 18 0 7161 0
vsize: 28716
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5724 0 0 0 119020 19 0 0 25 0 1 0 850991053 29405184 5698 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7179 5698 566 18 0 7161 0
vsize: 28716
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17695
Raw data (stat): 17638 (Pueblo-v2) R 17637 25568 25567 0 -1 0 5724 0 0 0 120021 19 0 0 25 0 1 0 850991053 29405184 5698 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7179 5698 566 18 0 7161 0
vsize: 28716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 17695
Raw data (stat): 17638 (Pueblo-v2) Z 17637 25568 25567 0 -1 1036 5724 0 0 0 120021 20 0 0 25 0 1 0 850991053 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.04
CPU time (s): 1200.41
CPU user time (s): 1200.21
CPU system time (s): 0.201969
CPU usage (%): 100.031
Max. virtual memory (Kb): 28716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####