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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb
MD5SUM	6bb160e5eb0ef9c02ca7232f62836f2b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	8436
Biggest coefficient in the objective function	368640
Number of bits for the biggest coefficient in the objective function	19
Sum of the numbers in the objective function	57614442
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	483840
Number of bits of the biggest number in a constraint	19
Biggest sum of numbers in a constraint	72412534
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.48
Number of variables	8436
Total number of constraints	1050
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1050
Minimum length of a constraint	8
Maximum length of a constraint	8436
Trace number 26054

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 23:13:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15776 boxname=wulflinc31 idbench=1214 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  6bb160e5eb0ef9c02ca7232f62836f2b  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit1d.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit1d.opb
IDLAUNCH: 15776
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        709784 kB
Buffers:         17088 kB
Cached:         286608 kB
SwapCached:       1352 kB
Active:         227940 kB
Inactive:        78248 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        709532 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13044 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 23:33:23 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 15776 7 1200.22 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
Raw data (loadavg): 0.90 0.94 0.90 2/55 19484
Raw data (stat): 19484 (runsolver) R 19483 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 825448707 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.91 0.94 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2084 0 0 0 991 6 0 0 25 0 1 0 825448707 14553088 2061 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2061 566 18 0 3535 0
vsize: 14212
[startup+20.0016 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2084 0 0 0 1991 6 0 0 25 0 1 0 825448707 14553088 2061 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2061 566 18 0 3535 0
vsize: 14212
[startup+30.0026 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2084 0 0 0 2991 6 0 0 25 0 1 0 825448707 14553088 2061 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2061 566 18 0 3535 0
vsize: 14212
[startup+40.0035 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2114 0 0 0 3991 6 0 0 25 0 1 0 825448707 14692352 2091 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3587 2091 566 18 0 3569 0
vsize: 14348
[startup+50.0034 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2221 0 0 0 4991 6 0 0 25 0 1 0 825448707 15052800 2198 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3675 2198 566 18 0 3657 0
vsize: 14700
[startup+60.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2477 0 0 0 5991 7 0 0 25 0 1 0 825448707 16060416 2422 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3921 2422 566 18 0 3903 0
vsize: 15684
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2513 0 0 0 6990 8 0 0 25 0 1 0 825448707 16162816 2449 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3946 2449 566 18 0 3928 0
vsize: 15784
[startup+80.0052 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2582 0 0 0 7990 8 0 0 25 0 1 0 825448707 16392192 2517 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4002 2517 566 18 0 3984 0
vsize: 16008
[startup+90.0062 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2650 0 0 0 8990 8 0 0 25 0 1 0 825448707 16769024 2585 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4094 2585 566 18 0 4076 0
vsize: 16376
[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2678 0 0 0 9990 8 0 0 25 0 1 0 825448707 16801792 2613 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4102 2613 566 18 0 4084 0
vsize: 16408
[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2745 0 0 0 10990 9 0 0 25 0 1 0 825448707 17059840 2680 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2680 566 18 0 4147 0
vsize: 16660
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2809 0 0 0 11990 9 0 0 25 0 1 0 825448707 17252352 2734 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4212 2734 566 18 0 4194 0
vsize: 16848
[startup+130.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2842 0 0 0 12990 9 0 0 25 0 1 0 825448707 17514496 2767 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4276 2767 566 18 0 4258 0
vsize: 17104
[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2880 0 0 0 13990 9 0 0 25 0 1 0 825448707 17543168 2805 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4283 2805 566 18 0 4265 0
vsize: 17132
[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2914 0 0 0 14990 9 0 0 25 0 1 0 825448707 17805312 2839 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4347 2839 566 18 0 4329 0
vsize: 17388
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 2973 0 0 0 15991 9 0 0 25 0 1 0 825448707 17965056 2898 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4386 2898 566 18 0 4368 0
vsize: 17544
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3017 0 0 0 16991 9 0 0 25 0 1 0 825448707 18096128 2942 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4418 2942 566 18 0 4400 0
vsize: 17672
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3052 0 0 0 17991 9 0 0 25 0 1 0 825448707 18374656 2977 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4486 2977 566 18 0 4468 0
vsize: 17944
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3094 0 0 0 18991 10 0 0 25 0 1 0 825448707 18456576 3019 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3019 566 18 0 4488 0
vsize: 18024
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3120 0 0 0 19991 10 0 0 25 0 1 0 825448707 18620416 3045 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4546 3045 566 18 0 4528 0
vsize: 18184
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3148 0 0 0 20991 10 0 0 25 0 1 0 825448707 18767872 3073 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4582 3073 566 18 0 4564 0
vsize: 18328
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3182 0 0 0 21991 10 0 0 25 0 1 0 825448707 18751488 3107 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3107 566 18 0 4560 0
vsize: 18312
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3220 0 0 0 22991 10 0 0 25 0 1 0 825448707 18944000 3145 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3145 566 18 0 4607 0
vsize: 18500
[startup+240.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3256 0 0 0 23992 10 0 0 25 0 1 0 825448707 19075072 3181 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3181 566 18 0 4639 0
vsize: 18628
[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3291 0 0 0 24992 10 0 0 25 0 1 0 825448707 19353600 3216 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4725 3216 566 18 0 4707 0
vsize: 18900
[startup+260.021 s]
Raw data (loadavg): 1.07 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3315 0 0 0 25992 10 0 0 25 0 1 0 825448707 19333120 3240 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3240 566 18 0 4702 0
vsize: 18880
[startup+270.021 s]
Raw data (loadavg): 1.06 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3346 0 0 0 26992 10 0 0 25 0 1 0 825448707 19578880 3271 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4780 3271 566 18 0 4762 0
vsize: 19120
[startup+280.022 s]
Raw data (loadavg): 1.05 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3386 0 0 0 27992 11 0 0 25 0 1 0 825448707 19742720 3311 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4820 3311 566 18 0 4802 0
vsize: 19280
[startup+290.023 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3429 0 0 0 28992 11 0 0 25 0 1 0 825448707 19918848 3354 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4863 3354 566 18 0 4845 0
vsize: 19452
[startup+300.023 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3461 0 0 0 29993 11 0 0 25 0 1 0 825448707 19951616 3386 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4871 3386 566 18 0 4853 0
vsize: 19484
[startup+310.023 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3610 0 0 0 30993 11 0 0 25 0 1 0 825448707 20533248 3535 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5013 3535 566 18 0 4995 0
vsize: 20052
[startup+320.024 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3706 0 0 0 31991 13 0 0 25 0 1 0 825448707 20905984 3631 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5104 3631 566 18 0 5086 0
vsize: 20416
[startup+330.024 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3743 0 0 0 32991 13 0 0 25 0 1 0 825448707 21213184 3668 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5179 3668 566 18 0 5161 0
vsize: 20716
[startup+340.024 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3808 0 0 0 33991 13 0 0 25 0 1 0 825448707 21344256 3732 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5211 3732 566 18 0 5193 0
vsize: 20844
[startup+350.024 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3864 0 0 0 34991 13 0 0 25 0 1 0 825448707 21569536 3788 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5266 3788 566 18 0 5248 0
vsize: 21064
[startup+360.025 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3914 0 0 0 35991 13 0 0 25 0 1 0 825448707 21897216 3837 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 3837 566 18 0 5328 0
vsize: 21384
[startup+370.025 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3947 0 0 0 36991 13 0 0 25 0 1 0 825448707 21958656 3870 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5361 3870 566 18 0 5343 0
vsize: 21444
[startup+380.026 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 3987 0 0 0 37992 13 0 0 25 0 1 0 825448707 22024192 3900 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5377 3900 566 18 0 5359 0
vsize: 21508
[startup+390.027 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4023 0 0 0 38992 13 0 0 25 0 1 0 825448707 22253568 3936 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5433 3936 566 18 0 5415 0
vsize: 21732
[startup+400.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4060 0 0 0 39992 13 0 0 25 0 1 0 825448707 22454272 3973 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5482 3973 566 18 0 5464 0
vsize: 21928
[startup+410.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4092 0 0 0 40992 13 0 0 25 0 1 0 825448707 22585344 4005 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4005 566 18 0 5496 0
vsize: 22056
[startup+420.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4132 0 0 0 41992 14 0 0 25 0 1 0 825448707 22712320 4045 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5545 4045 566 18 0 5527 0
vsize: 22180
[startup+430.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4163 0 0 0 42992 14 0 0 25 0 1 0 825448707 22876160 4076 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5585 4076 566 18 0 5567 0
vsize: 22340
[startup+440.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4194 0 0 0 43992 14 0 0 25 0 1 0 825448707 22904832 4107 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5592 4107 566 18 0 5574 0
vsize: 22368
[startup+450.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4217 0 0 0 44992 14 0 0 25 0 1 0 825448707 22999040 4130 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5615 4130 566 18 0 5597 0
vsize: 22460
[startup+460.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4248 0 0 0 45993 14 0 0 25 0 1 0 825448707 23093248 4161 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5638 4161 566 18 0 5620 0
vsize: 22552
[startup+470.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4271 0 0 0 46993 14 0 0 25 0 1 0 825448707 23187456 4184 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5661 4184 566 18 0 5643 0
vsize: 22644
[startup+480.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4312 0 0 0 47993 14 0 0 25 0 1 0 825448707 23412736 4225 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5716 4225 566 18 0 5698 0
vsize: 22864
[startup+490.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4334 0 0 0 48993 14 0 0 25 0 1 0 825448707 23576576 4247 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5756 4247 566 18 0 5738 0
vsize: 23024
[startup+500.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4357 0 0 0 49993 14 0 0 25 0 1 0 825448707 23670784 4270 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5779 4270 566 18 0 5761 0
vsize: 23116
[startup+510.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4388 0 0 0 50993 14 0 0 25 0 1 0 825448707 23699456 4301 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5786 4301 566 18 0 5768 0
vsize: 23144
[startup+520.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4411 0 0 0 51993 14 0 0 25 0 1 0 825448707 23793664 4324 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5809 4324 566 18 0 5791 0
vsize: 23236
[startup+530.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4434 0 0 0 52993 15 0 0 25 0 1 0 825448707 23887872 4347 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5832 4347 566 18 0 5814 0
vsize: 23328
[startup+540.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4465 0 0 0 53993 15 0 0 25 0 1 0 825448707 23982080 4378 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5855 4378 566 18 0 5837 0
vsize: 23420
[startup+550.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4488 0 0 0 54994 15 0 0 25 0 1 0 825448707 24076288 4401 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5878 4401 566 18 0 5860 0
vsize: 23512
[startup+560.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4519 0 0 0 55994 15 0 0 25 0 1 0 825448707 24334336 4432 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5941 4432 566 18 0 5923 0
vsize: 23764
[startup+570.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4542 0 0 0 56994 15 0 0 25 0 1 0 825448707 24428544 4455 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5964 4455 566 18 0 5946 0
vsize: 23856
[startup+580.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4573 0 0 0 57994 15 0 0 25 0 1 0 825448707 24457216 4486 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5971 4486 566 18 0 5953 0
vsize: 23884
[startup+590.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4596 0 0 0 58994 15 0 0 25 0 1 0 825448707 24551424 4509 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5994 4509 566 18 0 5976 0
vsize: 23976
[startup+600.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4627 0 0 0 59994 15 0 0 25 0 1 0 825448707 24645632 4540 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6017 4540 566 18 0 5999 0
vsize: 24068
[startup+610.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4659 0 0 0 60994 15 0 0 25 0 1 0 825448707 24870912 4572 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6072 4572 566 18 0 6054 0
vsize: 24288
[startup+620.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4682 0 0 0 61995 15 0 0 25 0 1 0 825448707 24870912 4595 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6072 4595 566 18 0 6054 0
vsize: 24288
[startup+630.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4705 0 0 0 62995 15 0 0 25 0 1 0 825448707 24965120 4618 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6095 4618 566 18 0 6077 0
vsize: 24380
[startup+640.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4736 0 0 0 63995 15 0 0 25 0 1 0 825448707 25223168 4649 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6158 4649 566 18 0 6140 0
vsize: 24632
[startup+650.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4759 0 0 0 64995 15 0 0 25 0 1 0 825448707 25317376 4672 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6181 4672 566 18 0 6163 0
vsize: 24724
[startup+660.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4790 0 0 0 65995 15 0 0 25 0 1 0 825448707 25346048 4703 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6188 4703 566 18 0 6170 0
vsize: 24752
[startup+670.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4813 0 0 0 66995 15 0 0 25 0 1 0 825448707 25440256 4726 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6211 4726 566 18 0 6193 0
vsize: 24844
[startup+680.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4844 0 0 0 67995 15 0 0 25 0 1 0 825448707 25534464 4757 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6234 4757 566 18 0 6216 0
vsize: 24936
[startup+690.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4875 0 0 0 68995 15 0 0 25 0 1 0 825448707 25788416 4788 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6296 4788 566 18 0 6278 0
vsize: 25184
[startup+700.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4898 0 0 0 69995 16 0 0 25 0 1 0 825448707 25882624 4811 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6319 4811 566 18 0 6301 0
vsize: 25276
[startup+710.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4928 0 0 0 70995 16 0 0 25 0 1 0 825448707 25911296 4841 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6326 4841 566 18 0 6308 0
vsize: 25304
[startup+720.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4952 0 0 0 71995 16 0 0 25 0 1 0 825448707 26005504 4865 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6349 4865 566 18 0 6331 0
vsize: 25396
[startup+730.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 4982 0 0 0 72995 16 0 0 25 0 1 0 825448707 26099712 4895 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6372 4895 566 18 0 6354 0
vsize: 25488
[startup+740.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5005 0 0 0 73995 16 0 0 25 0 1 0 825448707 26198016 4918 4294967295 134512640 134581331 3221221792 3221220688 134517883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6396 4918 566 18 0 6378 0
vsize: 25584
[startup+750.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5036 0 0 0 74995 16 0 0 25 0 1 0 825448707 26451968 4949 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6458 4949 566 18 0 6440 0
vsize: 25832
[startup+760.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5059 0 0 0 75995 16 0 0 25 0 1 0 825448707 26546176 4972 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6481 4972 566 18 0 6463 0
vsize: 25924
[startup+770.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5090 0 0 0 76995 16 0 0 25 0 1 0 825448707 26574848 5003 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6488 5003 566 18 0 6470 0
vsize: 25952
[startup+780.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5113 0 0 0 77996 17 0 0 25 0 1 0 825448707 26669056 5026 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6511 5026 566 18 0 6493 0
vsize: 26044
[startup+790.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5144 0 0 0 78996 17 0 0 25 0 1 0 825448707 26763264 5057 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6534 5057 566 18 0 6516 0
vsize: 26136
[startup+800.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5167 0 0 0 79996 17 0 0 25 0 1 0 825448707 26857472 5080 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6557 5080 566 18 0 6539 0
vsize: 26228
[startup+810.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5198 0 0 0 80996 17 0 0 25 0 1 0 825448707 27115520 5111 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6620 5111 566 18 0 6602 0
vsize: 26480
[startup+820.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5221 0 0 0 81996 17 0 0 25 0 1 0 825448707 27209728 5134 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6643 5134 566 18 0 6625 0
vsize: 26572
[startup+830.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5252 0 0 0 82996 17 0 0 25 0 1 0 825448707 27238400 5165 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6650 5165 566 18 0 6632 0
vsize: 26600
[startup+840.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5275 0 0 0 83997 17 0 0 25 0 1 0 825448707 27332608 5188 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6673 5188 566 18 0 6655 0
vsize: 26692
[startup+850.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5306 0 0 0 84997 17 0 0 25 0 1 0 825448707 27426816 5219 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6696 5219 566 18 0 6678 0
vsize: 26784
[startup+860.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5339 0 0 0 85997 17 0 0 25 0 1 0 825448707 27586560 5242 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6735 5242 566 18 0 6717 0
vsize: 26940
[startup+870.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5370 0 0 0 86997 17 0 0 25 0 1 0 825448707 27680768 5273 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6758 5273 566 18 0 6740 0
vsize: 27032
[startup+880.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5401 0 0 0 87997 17 0 0 25 0 1 0 825448707 27774976 5304 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 5304 566 18 0 6763 0
vsize: 27124
[startup+890.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5424 0 0 0 88997 17 0 0 25 0 1 0 825448707 27869184 5327 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6804 5327 566 18 0 6786 0
vsize: 27216
[startup+900.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5455 0 0 0 89997 18 0 0 25 0 1 0 825448707 28123136 5358 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6866 5358 566 18 0 6848 0
vsize: 27464
[startup+910.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5478 0 0 0 90997 18 0 0 25 0 1 0 825448707 28217344 5381 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6889 5381 566 18 0 6871 0
vsize: 27556
[startup+920.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5508 0 0 0 91997 18 0 0 25 0 1 0 825448707 28246016 5411 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5411 566 18 0 6878 0
vsize: 27584
[startup+930.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 92996 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+940.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 93996 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+950.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 94996 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+960.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 95997 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+970.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 96997 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+980.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 97997 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+990.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 98997 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 99997 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 100997 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 101998 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 102998 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 103998 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 104998 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 105998 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 106998 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 107998 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 108999 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 109999 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 110999 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 111999 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 112999 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 113999 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 115000 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 116000 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 117000 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 118000 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 119000 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 19484
Raw data (stat): 19484 (Pueblo) R 19483 7876 7672 0 -1 0 5516 0 0 0 120000 19 0 0 25 0 1 0 825448707 28246016 5419 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6896 5419 566 18 0 6878 0
vsize: 27584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 19484
Raw data (stat): 19484 (Pueblo) Z 19483 7876 7672 0 -1 1036 5516 0 0 0 120000 20 0 0 25 0 1 0 825448707 0 0 4294967295 0 0 0 0 0 0 0 1 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.06
CPU time (s): 1200.22
CPU user time (s): 1200.01
CPU system time (s): 0.209968
CPU usage (%): 100.013
Max. virtual memory (Kb): 27584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####