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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
MD5SUM	450ad3720278f8a937b0ae6f1c4dfd6d
Bench Category	optimization, medium integers (OPTMEDINT)
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	145051
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	4825267
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	3840
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	4825267
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.26005
Number of variables	636571
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	10240
Trace number 25446

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 11:43:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19767 boxname=wulflinc31 idbench=1521 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  450ad3720278f8a937b0ae6f1c4dfd6d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb
IDLAUNCH: 19767
/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:        695608 kB
Buffers:         31068 kB
Cached:         281908 kB
SwapCached:       5400 kB
Active:         201092 kB
Inactive:       118592 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        695356 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13524 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 12:03:45 (client local time) WITH STATUS 0 IN 1200.75 SECONDS
stats: 19767 7 1200.75 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.94 0.97 0.96 2/55 20436
Raw data (stat): 20436 (runsolver) R 20435 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 786746413 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0017 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 9698 0 0 0 965 32 0 0 25 0 1 0 786746413 43126784 9676 4294967295 134512640 134581331 3221221792 3217026028 134533440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10529 9676 566 18 0 10511 0
vsize: 42116
[startup+20.0026 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 18772 0 0 0 1937 60 0 0 25 0 1 0 786746413 80228352 18750 4294967295 134512640 134581331 3221221792 3217026048 134533999 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18750 566 18 0 19569 0
vsize: 78348
[startup+30.0021 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 21689 0 0 0 2924 73 0 0 25 0 1 0 786746413 92233728 21667 4294967295 134512640 134581331 3221221792 3217026068 1074960236 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22518 21667 566 18 0 22500 0
vsize: 90072
[startup+40.0034 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 24486 0 0 0 3911 86 0 0 25 0 1 0 786746413 103690240 24464 4294967295 134512640 134581331 3221221792 3217026064 1075243427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25315 24464 566 18 0 25297 0
vsize: 101260
[startup+50.0045 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 130913 0 0 0 4663 334 0 0 25 0 1 0 786746413 213934080 41675 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41675 566 18 0 52212 0
vsize: 208920
[startup+60.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 398479 0 0 0 5038 960 0 0 25 0 1 0 786746413 213934080 41781 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41781 566 18 0 52212 0
vsize: 208920
[startup+70.0054 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 665370 0 0 0 5410 1587 0 0 25 0 1 0 786746413 213934080 41834 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41834 566 18 0 52212 0
vsize: 208920
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 932056 0 0 0 5788 2210 0 0 25 0 1 0 786746413 213934080 41682 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41682 566 18 0 52212 0
vsize: 208920
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 1199046 0 0 0 6166 2832 0 0 25 0 1 0 786746413 213934080 41834 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41834 566 18 0 52212 0
vsize: 208920
[startup+100.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 1466261 0 0 0 6550 3448 0 0 25 0 1 0 786746413 213934080 41589 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41589 566 18 0 52212 0
vsize: 208920
[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 1732989 0 0 0 6933 4065 0 0 25 0 1 0 786746413 213934080 41479 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41479 566 18 0 52212 0
vsize: 208920
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 1999556 0 0 0 7313 4685 0 0 25 0 1 0 786746413 213934080 41830 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41830 566 18 0 52212 0
vsize: 208920
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 2265603 0 0 0 7681 5317 0 0 25 0 1 0 786746413 213934080 41661 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41661 566 18 0 52212 0
vsize: 208920
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 2531893 0 0 0 8055 5943 0 0 25 0 1 0 786746413 213934080 41735 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41735 566 18 0 52212 0
vsize: 208920
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 2798788 0 0 0 8434 6565 0 0 25 0 1 0 786746413 213934080 41792 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41792 566 18 0 52212 0
vsize: 208920
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 3065657 0 0 0 8813 7186 0 0 25 0 1 0 786746413 213934080 41823 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41823 566 18 0 52212 0
vsize: 208920
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 3332656 0 0 0 9189 7810 0 0 25 0 1 0 786746413 213934080 41362 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41362 566 18 0 52212 0
vsize: 208920
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 3599540 0 0 0 9565 8434 0 0 25 0 1 0 786746413 213934080 41408 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41408 566 18 0 52212 0
vsize: 208920
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 3866165 0 0 0 9945 9054 0 0 25 0 1 0 786746413 213934080 41817 4294967295 134512640 134581331 3221221792 3221220784 134531732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41817 566 18 0 52212 0
vsize: 208920
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 4132399 0 0 0 10320 9679 0 0 25 0 1 0 786746413 213934080 41835 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41835 566 18 0 52212 0
vsize: 208920
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 4396733 0 0 0 10692 10307 0 0 25 0 1 0 786746413 213934080 41819 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41819 566 18 0 52212 0
vsize: 208920
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 4661822 0 0 0 11074 10926 0 0 25 0 1 0 786746413 213934080 41314 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41314 566 18 0 52212 0
vsize: 208920
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 4927937 0 0 0 11455 11545 0 0 25 0 1 0 786746413 211386368 41213 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51608 41213 566 18 0 51590 0
vsize: 206432
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 5194153 0 0 0 11831 12169 0 0 25 0 1 0 786746413 213934080 41835 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41835 566 18 0 52212 0
vsize: 208920
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 5460580 0 0 0 12216 12784 0 0 25 0 1 0 786746413 213934080 41424 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52230 41424 566 18 0 52212 0
vsize: 208920
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 5724541 0 0 0 12596 13404 0 0 25 0 1 0 786746413 213934080 41658 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52230 41664 566 18 0 52212 0
vsize: 208920
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 5987456 0 0 0 12978 14022 0 0 25 0 1 0 786746413 213934080 41466 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52230 41473 566 18 0 52212 0
vsize: 208920
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 6250638 0 0 0 13354 14646 0 0 25 0 1 0 786746413 214204416 41542 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52296 41549 566 18 0 52278 0
vsize: 209184
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 6513604 0 0 0 13722 15278 0 0 25 0 1 0 786746413 214745088 42024 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52428 42024 566 18 0 52410 0
vsize: 209712
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 6777215 0 0 0 14102 15899 0 0 25 0 1 0 786746413 215285760 41907 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52560 41913 566 18 0 52542 0
vsize: 210240
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 7042184 0 0 0 14478 16523 0 0 25 0 1 0 786746413 215826432 41904 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52692 41911 566 18 0 52674 0
vsize: 210768
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 7307281 0 0 0 14854 17147 0 0 25 0 1 0 786746413 216367104 42029 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52824 42036 566 18 0 52806 0
vsize: 211296
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 7572411 0 0 0 15228 17773 0 0 25 0 1 0 786746413 216907776 42187 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52956 42194 566 18 0 52938 0
vsize: 211824
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 7837508 0 0 0 15604 18397 0 0 25 0 1 0 786746413 217448448 42312 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53088 42319 566 18 0 53070 0
vsize: 212352
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 8102586 0 0 0 15989 19013 0 0 25 0 1 0 786746413 217989120 42418 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53220 42425 566 18 0 53202 0
vsize: 212880
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 8367633 0 0 0 16368 19634 0 0 25 0 1 0 786746413 218529792 42493 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53352 42500 566 18 0 53334 0
vsize: 213408
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 8632689 0 0 0 16750 20252 0 0 25 0 1 0 786746413 219070464 42577 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53484 42584 566 18 0 53466 0
vsize: 213936
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 8897814 0 0 0 17131 20871 0 0 25 0 1 0 786746413 219611136 42730 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53616 42737 566 18 0 53598 0
vsize: 214464
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 9163051 0 0 0 17517 21486 0 0 25 0 1 0 786746413 220151808 42995 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53748 43002 566 18 0 53730 0
vsize: 214992
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 9428161 0 0 0 17899 22104 0 0 25 0 1 0 786746413 220692480 43133 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53880 43140 566 18 0 53862 0
vsize: 215520
[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 9693313 0 0 0 18282 22721 0 0 25 0 1 0 786746413 221233152 43313 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54012 43320 566 18 0 53994 0
vsize: 216048
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 9958431 0 0 0 18658 23345 0 0 25 0 1 0 786746413 221773824 43459 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54144 43466 566 18 0 54126 0
vsize: 216576
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 10223727 0 0 0 19037 23966 0 0 25 0 1 0 786746413 222314496 43783 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54276 43790 566 18 0 54258 0
vsize: 217104
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 10488702 0 0 0 19416 24588 0 0 25 0 1 0 786746413 222961664 43786 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54434 43792 566 18 0 54416 0
vsize: 217736
[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 10753698 0 0 0 19794 25209 0 0 25 0 1 0 786746413 223502336 43810 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54566 43816 566 18 0 54548 0
vsize: 218264
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 11018674 0 0 0 20174 25830 0 0 25 0 1 0 786746413 224043008 43814 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54698 43821 566 18 0 54680 0
vsize: 218792
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 11283713 0 0 0 20554 26450 0 0 25 0 1 0 786746413 224583680 43881 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54830 43889 566 18 0 54812 0
vsize: 219320
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 11548723 0 0 0 20934 27070 0 0 25 0 1 0 786746413 222576640 43919 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54962 43926 566 18 0 54944 0
vsize: 217360
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 11813816 0 0 0 21315 27690 0 0 25 0 1 0 786746413 225665024 44662 4294967295 134512640 134581331 3221221792 3221220784 134531732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55094 44668 566 18 0 55076 0
vsize: 220376
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 12078785 0 0 0 21692 28313 0 0 25 0 1 0 786746413 226205696 44659 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55226 44666 566 18 0 55208 0
vsize: 220904
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 12343811 0 0 0 22073 28932 0 0 25 0 1 0 786746413 226746368 44713 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55358 44720 566 18 0 55340 0
vsize: 221432
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 12608783 0 0 0 22456 29549 0 0 25 0 1 0 786746413 227287040 44713 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55490 44719 566 18 0 55472 0
vsize: 221960
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 12873632 0 0 0 22834 30171 0 0 25 0 1 0 786746413 227827712 44590 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55622 44599 566 18 0 55604 0
vsize: 222488
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 13138728 0 0 0 23217 30789 0 0 25 0 1 0 786746413 228368384 45336 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55754 45336 566 18 0 55736 0
vsize: 223016
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 13403774 0 0 0 23593 31413 0 0 25 0 1 0 786746413 228909056 45410 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55886 45417 566 18 0 55868 0
vsize: 223544
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 13668712 0 0 0 23973 32032 0 0 25 0 1 0 786746413 229449728 45376 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56018 45382 566 18 0 56000 0
vsize: 224072
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 13933619 0 0 0 24353 32653 0 0 25 0 1 0 786746413 229990400 45311 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56150 45317 566 18 0 56132 0
vsize: 224600
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 14198525 0 0 0 24728 33279 0 0 25 0 1 0 786746413 230531072 45867 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56282 45867 566 18 0 56264 0
vsize: 225128
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 14463497 0 0 0 25105 33902 0 0 25 0 1 0 786746413 231071744 45867 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56414 45873 566 18 0 56396 0
vsize: 225656
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 14728293 0 0 0 25490 34517 0 0 25 0 1 0 786746413 231612416 45691 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56546 45698 566 18 0 56528 0
vsize: 226184
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 14993217 0 0 0 25873 35134 0 0 25 0 1 0 786746413 229605376 45643 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56678 45650 566 18 0 56660 0
vsize: 224224
[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 15258252 0 0 0 26252 35755 0 0 25 0 1 0 786746413 232693760 46328 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56810 46335 566 18 0 56792 0
vsize: 227240
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 15522991 0 0 0 26632 36376 0 0 25 0 1 0 786746413 233234432 46095 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56942 46102 566 18 0 56924 0
vsize: 227768
[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 15787908 0 0 0 27000 37007 0 0 25 0 1 0 786746413 233775104 46662 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57074 46662 566 18 0 57056 0
vsize: 228296
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 16052788 0 0 0 27379 37628 0 0 25 0 1 0 786746413 234315776 46570 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57206 46577 566 18 0 57188 0
vsize: 228824
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 16317795 0 0 0 27758 38250 0 0 25 0 1 0 786746413 234856448 46605 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57338 46612 566 18 0 57320 0
vsize: 229352
[startup+670.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 16582680 0 0 0 28137 38871 0 0 25 0 1 0 786746413 235397120 46518 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57470 46526 566 18 0 57452 0
vsize: 229880
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 16847771 0 0 0 28519 39489 0 0 25 0 1 0 786746413 235937792 46637 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57602 46645 566 18 0 57584 0
vsize: 230408
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 17112810 0 0 0 28889 40119 0 0 25 0 1 0 786746413 233930752 46704 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57734 46712 566 18 0 57716 0
vsize: 228448
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 17377852 0 0 0 29272 40737 0 0 25 0 1 0 786746413 237019136 47396 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57866 47403 566 18 0 57848 0
vsize: 231464
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 17642885 0 0 0 29648 41361 0 0 25 0 1 0 786746413 237559808 47457 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57998 47464 566 18 0 57980 0
vsize: 231992
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 17907890 0 0 0 30028 41981 0 0 25 0 1 0 786746413 238100480 47490 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58130 47497 566 18 0 58112 0
vsize: 232520
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 18172839 0 0 0 30408 42601 0 0 25 0 1 0 786746413 238641152 47467 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58262 47474 566 18 0 58244 0
vsize: 233048
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 18437726 0 0 0 30789 43220 0 0 25 0 1 0 786746413 239181824 47382 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58394 47391 566 18 0 58376 0
vsize: 233576
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 18702713 0 0 0 31167 43842 0 0 25 0 1 0 786746413 239722496 48019 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58526 48026 566 18 0 58508 0
vsize: 234104
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 18967566 0 0 0 31546 44464 0 0 25 0 1 0 786746413 240263168 47900 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58658 47907 566 18 0 58640 0
vsize: 234632
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 19232403 0 0 0 31923 45087 0 0 25 0 1 0 786746413 238256128 47765 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58790 47773 566 18 0 58772 0
vsize: 232672
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 19497446 0 0 0 32300 45710 0 0 25 0 1 0 786746413 241344512 48458 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58922 48464 566 18 0 58904 0
vsize: 235688
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 19762212 0 0 0 32684 46327 0 0 25 0 1 0 786746413 241885184 48252 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59054 48259 566 18 0 59036 0
vsize: 236216
[startup+800.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 20027094 0 0 0 33064 46947 0 0 25 0 1 0 786746413 242425856 48784 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59186 48784 566 18 0 59168 0
vsize: 236744
[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 20291965 0 0 0 33443 47567 0 0 25 0 1 0 786746413 242966528 48683 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59318 48690 566 18 0 59300 0
vsize: 237272
[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 20557304 0 0 0 33821 48190 0 0 25 0 1 0 786746413 241086464 48428 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59481 48436 566 18 0 59463 0
vsize: 235436
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 20823271 0 0 0 34207 48804 0 0 25 0 1 0 786746413 244174848 48801 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59613 48808 566 18 0 59595 0
vsize: 238452
[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 21089216 0 0 0 34591 49421 0 0 25 0 1 0 786746413 244715520 49152 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59745 49159 566 18 0 59727 0
vsize: 238980
[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 21355107 0 0 0 34973 50038 0 0 25 0 1 0 786746413 242708480 48827 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59877 48834 566 18 0 59859 0
vsize: 237020
[startup+860.049 s]
Raw data (loadavg): 1.30 1.04 0.98 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 21621113 0 0 0 35354 50658 0 0 25 0 1 0 786746413 245796864 49239 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60009 49246 566 18 0 59991 0
vsize: 240036
[startup+870.05 s]
Raw data (loadavg): 1.25 1.03 0.98 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 21886929 0 0 0 35732 51280 0 0 25 0 1 0 786746413 246337536 49461 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60141 49467 566 18 0 60123 0
vsize: 240564
[startup+880.05 s]
Raw data (loadavg): 1.21 1.03 0.98 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 22152761 0 0 0 36119 51893 0 0 25 0 1 0 786746413 246878208 49699 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60273 49706 566 18 0 60255 0
vsize: 241092
[startup+890.05 s]
Raw data (loadavg): 1.25 1.05 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 22418554 0 0 0 36498 52514 0 0 25 0 1 0 786746413 247418880 49898 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60405 49905 566 18 0 60387 0
vsize: 241620
[startup+900.05 s]
Raw data (loadavg): 1.21 1.05 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 22684364 0 0 0 36877 53135 0 0 25 0 1 0 786746413 247959552 50114 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60537 50114 566 18 0 60519 0
vsize: 242148
[startup+910.05 s]
Raw data (loadavg): 1.18 1.04 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 22950117 0 0 0 37261 53752 0 0 25 0 1 0 786746413 248635392 49651 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60702 49660 566 18 0 60684 0
vsize: 242808
[startup+920.051 s]
Raw data (loadavg): 1.22 1.06 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 23215932 0 0 0 37641 54372 0 0 25 0 1 0 786746413 249176064 49872 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60834 49880 566 18 0 60816 0
vsize: 243336
[startup+930.051 s]
Raw data (loadavg): 1.19 1.06 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 23481730 0 0 0 38020 54993 0 0 25 0 1 0 786746413 249716736 50076 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60966 50083 566 18 0 60948 0
vsize: 243864
[startup+940.051 s]
Raw data (loadavg): 1.16 1.05 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 23747566 0 0 0 38399 55615 0 0 25 0 1 0 786746413 250257408 50318 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61098 50325 566 18 0 61080 0
vsize: 244392
[startup+950.051 s]
Raw data (loadavg): 1.14 1.05 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 24013576 0 0 0 38784 56230 0 0 25 0 1 0 786746413 250798080 50734 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61230 50740 566 18 0 61212 0
vsize: 244920
[startup+960.052 s]
Raw data (loadavg): 1.11 1.05 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 24279382 0 0 0 39162 56852 0 0 25 0 1 0 786746413 251338752 50324 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61362 50332 566 18 0 61344 0
vsize: 245448
[startup+970.052 s]
Raw data (loadavg): 1.10 1.05 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 24545160 0 0 0 39542 57472 0 0 25 0 1 0 786746413 251879424 50508 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61494 50515 566 18 0 61476 0
vsize: 245976
[startup+980.29 s]
Raw data (loadavg): 1.08 1.05 0.99 2/55 20436
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 24817436 0 0 0 39936 58102 0 0 25 0 1 0 786746413 252420096 50970 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61626 50976 566 18 0 61608 0
vsize: 246504
[startup+990.291 s]
Raw data (loadavg): 1.15 1.06 1.00 2/57 20477
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 25082020 0 0 0 40317 58721 0 0 25 0 1 0 786746413 252960768 51204 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61758 51211 566 18 0 61740 0
vsize: 247032
[startup+1000.51 s]
Raw data (loadavg): 1.20 1.07 1.00 2/55 20489
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 25353825 0 0 0 40705 59355 0 0 25 0 1 0 786746413 253501440 51195 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61890 51202 566 18 0 61872 0
vsize: 247560
[startup+1010.51 s]
Raw data (loadavg): 1.17 1.07 1.00 2/55 20489
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 25620430 0 0 0 41084 59976 0 0 25 0 1 0 786746413 254042112 51584 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62022 51584 566 18 0 62004 0
vsize: 248088
[startup+1020.51 s]
Raw data (loadavg): 1.14 1.07 1.00 2/55 20489
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 25886779 0 0 0 41463 60597 0 0 25 0 1 0 786746413 254582784 51717 4294967295 134512640 134581331 3221221792 3221220832 134521138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62154 51717 566 18 0 62136 0
vsize: 248616
[startup+1030.51 s]
Raw data (loadavg): 1.12 1.07 1.00 2/55 20489
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 26153024 0 0 0 41838 61222 0 0 25 0 1 0 786746413 255123456 51746 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62286 51753 566 18 0 62268 0
vsize: 249144
[startup+1040.51 s]
Raw data (loadavg): 1.10 1.06 1.00 2/55 20489
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 26419231 0 0 0 42216 61844 0 0 25 0 1 0 786746413 255664128 51737 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62418 51743 566 18 0 62400 0
vsize: 249672
[startup+1050.51 s]
Raw data (loadavg): 1.08 1.06 1.00 2/55 20489
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 26685337 0 0 0 42600 62460 0 0 25 0 1 0 786746413 256204800 51627 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62550 51634 566 18 0 62532 0
vsize: 250200
[startup+1060.51 s]
Raw data (loadavg): 1.07 1.06 1.00 2/55 20489
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 26951554 0 0 0 42982 63079 0 0 25 0 1 0 786746413 256745472 52250 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62682 52250 566 18 0 62664 0
vsize: 250728
[startup+1070.51 s]
Raw data (loadavg): 1.06 1.06 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 27217870 0 0 0 43360 63701 0 0 25 0 1 0 786746413 257286144 52350 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62814 52356 566 18 0 62796 0
vsize: 251256
[startup+1080.51 s]
Raw data (loadavg): 1.05 1.05 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 27484063 0 0 0 43740 64321 0 0 25 0 1 0 786746413 257826816 52327 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62946 52334 566 18 0 62928 0
vsize: 251784
[startup+1090.51 s]
Raw data (loadavg): 1.04 1.05 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 27750316 0 0 0 44123 64938 0 0 25 0 1 0 786746413 258367488 52364 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63078 52371 566 18 0 63060 0
vsize: 252312
[startup+1100.51 s]
Raw data (loadavg): 1.04 1.05 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 28016556 0 0 0 44506 65556 0 0 25 0 1 0 786746413 258908160 52388 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63210 52394 566 18 0 63192 0
vsize: 252840
[startup+1110.51 s]
Raw data (loadavg): 1.03 1.05 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 28282870 0 0 0 44890 66172 0 0 25 0 1 0 786746413 259448832 52486 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63342 52493 566 18 0 63324 0
vsize: 253368
[startup+1120.51 s]
Raw data (loadavg): 1.02 1.05 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 28549127 0 0 0 45276 66786 0 0 25 0 1 0 786746413 259989504 52527 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63474 52535 566 18 0 63456 0
vsize: 253896
[startup+1130.51 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 28815377 0 0 0 45652 67410 0 0 25 0 1 0 786746413 260530176 53183 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63606 53183 566 18 0 63588 0
vsize: 254424
[startup+1140.51 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 29081576 0 0 0 46034 68028 0 0 25 0 1 0 786746413 261070848 53166 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63738 53173 566 18 0 63720 0
vsize: 254952
[startup+1150.51 s]
Raw data (loadavg): 1.01 1.04 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 29347891 0 0 0 46418 68645 0 0 25 0 1 0 786746413 261611520 53265 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63870 53272 566 18 0 63852 0
vsize: 255480
[startup+1160.52 s]
Raw data (loadavg): 1.01 1.04 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 29614084 0 0 0 46801 69262 0 0 25 0 1 0 786746413 262152192 53242 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64002 53249 566 18 0 63984 0
vsize: 256008
[startup+1170.52 s]
Raw data (loadavg): 1.01 1.04 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 29880212 0 0 0 47180 69883 0 0 25 0 1 0 786746413 262692864 53154 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64134 53162 566 18 0 64116 0
vsize: 256536
[startup+1180.52 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 30146459 0 0 0 47560 70503 0 0 25 0 1 0 786746413 263233536 53807 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64266 53814 566 18 0 64248 0
vsize: 257064
[startup+1190.52 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 30412615 0 0 0 47937 71126 0 0 25 0 1 0 786746413 263774208 53747 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64398 53754 566 18 0 64380 0
vsize: 257592
[startup+1200.52 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 20491
Raw data (stat): 20436 (Pueblo) R 20435 7876 7672 0 -1 0 30678814 0 0 0 48323 71740 0 0 25 0 1 0 786746413 264314880 53730 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64530 53736 566 18 0 64512 0
vsize: 258120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.62 s]
Raw data (loadavg): 1.00 1.03 1.00 1/55 20491
Raw data (stat): 20436 (Pueblo) Z 20435 7876 7672 0 -1 1036 30678828 0 0 0 48323 71751 0 0 25 0 1 0 786746413 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.62
CPU time (s): 1200.75
CPU user time (s): 483.238
CPU system time (s): 717.511
CPU usage (%): 100.011
Max. virtual memory (Kb): 258120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####