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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
MD5SUM	6eb30c4e664b9c0e8d94f2aea74a91a3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1611
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1611
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	24576
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	98256
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1041679
Total number of constraints	137871
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10091
Number of constraints which are nor clauses,nor cardinality constraints	127780
Minimum length of a constraint	1
Maximum length of a constraint	275
Trace number 28091

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 00:19:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14632 boxname=wulflinc2 idbench=1126 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  6eb30c4e664b9c0e8d94f2aea74a91a3  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-neos19.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-neos19.opb
IDLAUNCH: 14632
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        452968 kB
Buffers:         25592 kB
Cached:         534744 kB
SwapCached:        868 kB
Active:         117704 kB
Inactive:       445200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        452716 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            13056 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:39:34 (client local time) WITH STATUS 0 IN 1200.75 SECONDS
stats: 14632 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.95 0.98 0.92 2/54 6273
Raw data (stat): 6273 (runsolver) R 6272 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776288248 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 9516 0 0 0 973 26 0 0 25 0 1 0 776288248 44621824 9495 4294967295 134512640 134581331 3221224608 3217028864 134533654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 9495 566 18 0 10876 0
vsize: 43576
[startup+20.0068 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 21173 0 0 0 1939 60 0 0 25 0 1 0 776288248 92364800 21153 4294967295 134512640 134581331 3221224608 3217028792 1075321319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22550 21153 566 18 0 22532 0
vsize: 90200
[startup+30.1117 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 28112 0 0 0 2923 85 0 0 25 0 1 0 776288248 120737792 28091 4294967295 134512640 134581331 3221224608 3217028892 1074960819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29477 28091 566 18 0 29459 0
vsize: 117908
[startup+40.1193 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 30577 0 0 0 3910 99 0 0 25 0 1 0 776288248 130830336 30556 4294967295 134512640 134581331 3221224608 3217028892 134516144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31941 30556 566 18 0 31923 0
vsize: 127764
[startup+50.1276 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 33100 0 0 0 4900 110 0 0 25 0 1 0 776288248 141197312 33079 4294967295 134512640 134581331 3221224608 3217028896 134545695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34472 33079 566 18 0 34454 0
vsize: 137888
[startup+60.1418 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 87357 0 0 0 5769 242 0 0 25 0 1 0 776288248 249606144 58562 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 58562 566 18 0 60921 0
vsize: 243756
[startup+70.1421 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 351051 0 0 0 6146 865 0 0 25 0 1 0 776288248 249606144 58594 4294967295 134512640 134581331 3221224608 3221223600 134531732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 58594 566 18 0 60921 0
vsize: 243756
[startup+80.1434 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 615823 0 0 0 6518 1493 0 0 25 0 1 0 776288248 249606144 58686 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 58686 566 18 0 60921 0
vsize: 243756
[startup+90.1436 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 880672 0 0 0 6893 2119 0 0 25 0 1 0 776288248 249606144 58855 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 58855 566 18 0 60921 0
vsize: 243756
[startup+100.151 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 1145776 0 0 0 7268 2744 0 0 25 0 1 0 776288248 249606144 59279 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 59279 566 18 0 60921 0
vsize: 243756
[startup+110.154 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 1409238 0 0 0 7641 3372 0 0 25 0 1 0 776288248 249606144 59079 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 59079 566 18 0 60921 0
vsize: 243756
[startup+120.161 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 1673230 0 0 0 8008 4005 0 0 25 0 1 0 776288248 249606144 59409 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 59409 566 18 0 60921 0
vsize: 243756
[startup+130.163 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 1937910 0 0 0 8378 4635 0 0 25 0 1 0 776288248 245436416 58391 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59921 58391 566 18 0 59903 0
vsize: 239684
[startup+140.171 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 2203442 0 0 0 8746 5268 0 0 25 0 1 0 776288248 249606144 59243 4294967295 134512640 134581331 3221224608 3221223600 134531728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 59243 566 18 0 60921 0
vsize: 243756
[startup+150.187 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 2469275 0 0 0 9123 5891 0 0 25 0 1 0 776288248 249606144 59378 4294967295 134512640 134581331 3221224608 3221223600 134531732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 59378 566 18 0 60921 0
vsize: 243756
[startup+160.186 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 2734093 0 0 0 9497 6517 0 0 25 0 1 0 776288248 249606144 58498 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60939 58498 566 18 0 60921 0
vsize: 243756
[startup+170.187 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 2998650 0 0 0 9873 7142 0 0 25 0 1 0 776288248 249606144 59393 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59400 566 18 0 60921 0
vsize: 243756
[startup+180.187 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 3260565 0 0 0 10254 7761 0 0 25 0 1 0 776288248 249606144 58664 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58671 566 18 0 60921 0
vsize: 243756
[startup+190.194 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 3522919 0 0 0 10637 8379 0 0 25 0 1 0 776288248 249606144 59392 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59399 566 18 0 60921 0
vsize: 243756
[startup+200.194 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 3785269 0 0 0 11013 9003 0 0 25 0 1 0 776288248 249606144 59098 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59105 566 18 0 60921 0
vsize: 243756
[startup+210.194 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 4047634 0 0 0 11384 9632 0 0 25 0 1 0 776288248 249606144 58819 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58826 566 18 0 60921 0
vsize: 243756
[startup+220.201 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 4310736 0 0 0 11765 10252 0 0 25 0 1 0 776288248 249606144 59277 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59285 566 18 0 60921 0
vsize: 243756
[startup+230.2 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 4573979 0 0 0 12136 10881 0 0 25 0 1 0 776288248 249606144 58858 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58865 566 18 0 60921 0
vsize: 243756
[startup+240.201 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 4836120 0 0 0 12504 11513 0 0 25 0 1 0 776288248 249606144 59373 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59379 566 18 0 60921 0
vsize: 243756
[startup+250.204 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 5098016 0 0 0 12879 12139 0 0 25 0 1 0 776288248 249606144 58625 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58631 566 18 0 60921 0
vsize: 243756
[startup+260.207 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 5360112 0 0 0 13248 12771 0 0 25 0 1 0 776288248 249606144 59095 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59102 566 18 0 60921 0
vsize: 243756
[startup+270.208 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 5622052 0 0 0 13617 13402 0 0 25 0 1 0 776288248 249606144 59409 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59409 566 18 0 60921 0
vsize: 243756
[startup+280.208 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 5883783 0 0 0 13997 14021 0 0 25 0 1 0 776288248 249606144 58496 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58503 566 18 0 60921 0
vsize: 243756
[startup+290.209 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 6145657 0 0 0 14372 14646 0 0 25 0 1 0 776288248 249606144 58744 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58751 566 18 0 60921 0
vsize: 243756
[startup+300.208 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 6407461 0 0 0 14746 15273 0 0 25 0 1 0 776288248 249606144 58923 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58929 566 18 0 60921 0
vsize: 243756
[startup+310.208 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 6669106 0 0 0 15120 15899 0 0 25 0 1 0 776288248 249606144 58941 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58949 566 18 0 60921 0
vsize: 243756
[startup+320.307 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 6933236 0 0 0 15496 16533 0 0 25 0 1 0 776288248 245436416 58391 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58398 566 18 0 60921 0
vsize: 239684
[startup+330.307 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 7195037 0 0 0 15871 17158 0 0 25 0 1 0 776288248 249606144 58567 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58574 566 18 0 60921 0
vsize: 243756
[startup+340.308 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 7457256 0 0 0 16249 17781 0 0 25 0 1 0 776288248 249606144 59159 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59166 566 18 0 60921 0
vsize: 243756
[startup+350.307 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 7719169 0 0 0 16624 18406 0 0 25 0 1 0 776288248 249606144 58428 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58437 566 18 0 60921 0
vsize: 243756
[startup+360.31 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 7981398 0 0 0 17003 19027 0 0 25 0 1 0 776288248 249606144 59031 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59038 566 18 0 60921 0
vsize: 243756
[startup+370.318 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 8243567 0 0 0 17377 19655 0 0 25 0 1 0 776288248 249606144 58556 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58563 566 18 0 60921 0
vsize: 243756
[startup+380.317 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 8505634 0 0 0 17743 20289 0 0 25 0 1 0 776288248 249606144 58997 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59003 566 18 0 60921 0
vsize: 243756
[startup+390.318 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 8767573 0 0 0 18118 20914 0 0 25 0 1 0 776288248 249606144 59310 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59318 566 18 0 60921 0
vsize: 243756
[startup+400.322 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 9029191 0 0 0 18488 21544 0 0 25 0 1 0 776288248 249606144 59303 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59309 566 18 0 60921 0
vsize: 243756
[startup+410.322 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 9290752 0 0 0 18865 22167 0 0 25 0 1 0 776288248 249606144 59237 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59244 566 18 0 60921 0
vsize: 243756
[startup+420.321 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 9552302 0 0 0 19234 22799 0 0 25 0 1 0 776288248 249606144 59161 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59168 566 18 0 60921 0
vsize: 243756
[startup+430.321 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 9813800 0 0 0 19609 23423 0 0 25 0 1 0 776288248 249606144 59033 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59039 566 18 0 60921 0
vsize: 243756
[startup+440.322 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 10075216 0 0 0 19989 24044 0 0 25 0 1 0 776288248 249606144 58823 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58830 566 18 0 60921 0
vsize: 243756
[startup+450.321 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 10336717 0 0 0 20364 24669 0 0 25 0 1 0 776288248 249606144 58698 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58704 566 18 0 60921 0
vsize: 243756
[startup+460.321 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 10598111 0 0 0 20739 25294 0 0 25 0 1 0 776288248 249606144 58466 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58474 566 18 0 60921 0
vsize: 243756
[startup+470.322 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 10859755 0 0 0 21114 25920 0 0 25 0 1 0 776288248 249606144 58484 4294967295 134512640 134581331 3221224608 3221223600 134531728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58491 566 18 0 60921 0
vsize: 243756
[startup+480.321 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 11121490 0 0 0 21481 26552 0 0 25 0 1 0 776288248 249606144 58593 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58600 566 18 0 60921 0
vsize: 243756
[startup+490.33 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 11383448 0 0 0 21845 27190 0 0 25 0 1 0 776288248 249606144 58925 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58932 566 18 0 60921 0
vsize: 243756
[startup+500.331 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 11645276 0 0 0 22211 27824 0 0 25 0 1 0 776288248 249606144 59127 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59134 566 18 0 60921 0
vsize: 243756
[startup+510.331 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 11907120 0 0 0 22593 28442 0 0 25 0 1 0 776288248 249606144 59345 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59352 566 18 0 60921 0
vsize: 243756
[startup+520.331 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 12169085 0 0 0 22968 29067 0 0 25 0 1 0 776288248 249606144 58666 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58673 566 18 0 60921 0
vsize: 243756
[startup+530.331 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 12431271 0 0 0 23346 29690 0 0 25 0 1 0 776288248 249606144 59226 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59233 566 18 0 60921 0
vsize: 243756
[startup+540.332 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 12693303 0 0 0 23718 30318 0 0 25 0 1 0 776288248 249606144 58614 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58621 566 18 0 60921 0
vsize: 243756
[startup+550.332 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 12955360 0 0 0 24086 30950 0 0 25 0 1 0 776288248 249606144 59045 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59052 566 18 0 60921 0
vsize: 243756
[startup+560.331 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 13216876 0 0 0 24453 31583 0 0 25 0 1 0 776288248 249606144 58935 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58941 566 18 0 60921 0
vsize: 243756
[startup+570.332 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 13478406 0 0 0 24827 32210 0 0 25 0 1 0 776288248 249606144 58840 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58846 566 18 0 60921 0
vsize: 243756
[startup+580.331 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 13740075 0 0 0 25194 32842 0 0 25 0 1 0 776288248 249606144 58882 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58889 566 18 0 60921 0
vsize: 243756
[startup+590.332 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 14001827 0 0 0 25564 33472 0 0 25 0 1 0 776288248 249606144 59008 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59015 566 18 0 60921 0
vsize: 243756
[startup+600.333 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 14263608 0 0 0 25936 34101 0 0 25 0 1 0 776288248 249606144 59163 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59169 566 18 0 60921 0
vsize: 243756
[startup+610.336 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 14525155 0 0 0 26307 34730 0 0 25 0 1 0 776288248 249606144 59084 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59091 566 18 0 60921 0
vsize: 243756
[startup+620.338 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 14786804 0 0 0 26685 35353 0 0 25 0 1 0 776288248 249606144 59107 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59114 566 18 0 60921 0
vsize: 243756
[startup+630.338 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 15048507 0 0 0 27057 35981 0 0 25 0 1 0 776288248 249606144 59184 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59191 566 18 0 60921 0
vsize: 243756
[startup+640.343 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 15310340 0 0 0 27424 36614 0 0 25 0 1 0 776288248 249606144 59391 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 59398 566 18 0 60921 0
vsize: 243756
[startup+650.344 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 15571985 0 0 0 27801 37238 0 0 25 0 1 0 776288248 245436416 58392 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58399 566 18 0 60921 0
vsize: 239684
[startup+660.344 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 15833806 0 0 0 28173 37866 0 0 25 0 1 0 776288248 249606144 58587 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58594 566 18 0 60921 0
vsize: 243756
[startup+670.349 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 16095832 0 0 0 28545 38494 0 0 25 0 1 0 776288248 249606144 58987 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58994 566 18 0 60921 0
vsize: 243756
[startup+680.358 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 16357881 0 0 0 28918 39122 0 0 25 0 1 0 776288248 249606144 59410 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59921 58392 566 18 0 59903 0
vsize: 243756
[startup+690.359 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 16619906 0 0 0 29297 39744 0 0 25 0 1 0 776288248 249606144 58791 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60939 58798 566 18 0 60921 0
vsize: 243756
[startup+700.359 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 16881792 0 0 0 29676 40365 0 0 25 0 1 0 776288248 249778176 59051 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60981 59058 566 18 0 60963 0
vsize: 243924
[startup+710.362 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 17143721 0 0 0 30054 40988 0 0 25 0 1 0 776288248 249778176 59354 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60981 59361 566 18 0 60963 0
vsize: 243924
[startup+720.362 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 17405405 0 0 0 30431 41611 0 0 25 0 1 0 776288248 249778176 59412 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60981 59412 566 18 0 60963 0
vsize: 243924
[startup+730.383 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 17667131 0 0 0 30807 42237 0 0 25 0 1 0 776288248 250183680 59512 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61080 59512 566 18 0 61062 0
vsize: 244320
[startup+740.383 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 17927949 0 0 0 31177 42867 0 0 25 0 1 0 776288248 250589184 58704 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61179 58711 566 18 0 61161 0
vsize: 244716
[startup+750.383 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 18189374 0 0 0 31551 43494 0 0 25 0 1 0 776288248 250994688 59521 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61278 59528 566 18 0 61260 0
vsize: 245112
[startup+760.383 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 18450636 0 0 0 31929 44116 0 0 25 0 1 0 776288248 251400192 59157 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61377 59164 566 18 0 61359 0
vsize: 245508
[startup+770.383 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 18712032 0 0 0 32306 44739 0 0 25 0 1 0 776288248 251940864 59945 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61509 59945 566 18 0 61491 0
vsize: 246036
[startup+780.383 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 18973582 0 0 0 32676 45369 0 0 25 0 1 0 776288248 252346368 59869 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61608 59876 566 18 0 61590 0
vsize: 246432
[startup+790.395 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 19236150 0 0 0 33053 45993 0 0 25 0 1 0 776288248 252751872 59793 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61707 59800 566 18 0 61689 0
vsize: 246828
[startup+800.395 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 19499015 0 0 0 33432 46615 0 0 25 0 1 0 776288248 253292544 60014 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61839 60020 566 18 0 61821 0
vsize: 247356
[startup+810.395 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 19762025 0 0 0 33810 47236 0 0 25 0 1 0 776288248 253698048 60380 4294967295 134512640 134581331 3221224608 3221223424 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61938 60380 566 18 0 61920 0
vsize: 247752
[startup+820.395 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 20025113 0 0 0 34186 47861 0 0 25 0 1 0 776288248 254103552 59806 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62037 59812 566 18 0 62019 0
vsize: 248148
[startup+830.395 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 20288309 0 0 0 34559 48488 0 0 25 0 1 0 776288248 254509056 60358 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62136 60365 566 18 0 62118 0
vsize: 248544
[startup+840.396 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 20551347 0 0 0 34937 49110 0 0 25 0 1 0 776288248 255049728 59734 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62268 59743 566 18 0 62250 0
vsize: 249072
[startup+850.397 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 20814666 0 0 0 35310 49737 0 0 25 0 1 0 776288248 255455232 60409 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62367 60416 566 18 0 62349 0
vsize: 249468
[startup+860.397 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 21077826 0 0 0 35687 50360 0 0 25 0 1 0 776288248 255860736 60925 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62466 60925 566 18 0 62448 0
vsize: 249864
[startup+870.397 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 21340816 0 0 0 36063 50985 0 0 25 0 1 0 776288248 256401408 60253 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62598 60260 566 18 0 62580 0
vsize: 250392
[startup+880.396 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 21603753 0 0 0 36438 51610 0 0 25 0 1 0 776288248 256806912 60546 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62697 60553 566 18 0 62679 0
vsize: 250788
[startup+890.403 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 21867103 0 0 0 36820 52229 0 0 25 0 1 0 776288248 257212416 61252 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62796 61252 566 18 0 62778 0
vsize: 251184
[startup+900.403 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 22130308 0 0 0 37191 52859 0 0 25 0 1 0 776288248 257753088 60795 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62928 60802 566 18 0 62910 0
vsize: 251712
[startup+910.407 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 22393493 0 0 0 37567 53483 0 0 25 0 1 0 776288248 258158592 61336 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63027 61343 566 18 0 63009 0
vsize: 252108
[startup+920.411 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 22656638 0 0 0 37940 54110 0 0 25 0 1 0 776288248 258564096 60819 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63126 60826 566 18 0 63108 0
vsize: 252504
[startup+930.411 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 22920047 0 0 0 38317 54734 0 0 25 0 1 0 776288248 258969600 61584 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63225 61591 566 18 0 63207 0
vsize: 252900
[startup+940.412 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 23183180 0 0 0 38692 55359 0 0 25 0 1 0 776288248 259510272 61055 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63357 61062 566 18 0 63339 0
vsize: 253428
[startup+950.411 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 23446355 0 0 0 39072 55979 0 0 25 0 1 0 776288248 259915776 61586 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63456 61593 566 18 0 63438 0
vsize: 253824
[startup+960.413 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 23709429 0 0 0 39443 56608 0 0 25 0 1 0 776288248 260321280 62016 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62537 60998 566 18 0 62519 0
vsize: 254220
[startup+970.413 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 23972590 0 0 0 39811 57241 0 0 25 0 1 0 776288248 260861952 61515 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63687 61522 566 18 0 63669 0
vsize: 254748
[startup+980.413 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 24235534 0 0 0 40182 57870 0 0 25 0 1 0 776288248 261267456 61816 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63786 61822 566 18 0 63768 0
vsize: 255144
[startup+990.413 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 24498707 0 0 0 40556 58495 0 0 25 0 1 0 776288248 261672960 62344 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63885 62344 566 18 0 63867 0
vsize: 255540
[startup+1000.41 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 24761726 0 0 0 40930 59122 0 0 25 0 1 0 776288248 262213632 61701 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64017 61707 566 18 0 63999 0
vsize: 256068
[startup+1010.41 s]
Raw data (loadavg): 1.15 1.03 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 25024739 0 0 0 41296 59756 0 0 25 0 1 0 776288248 262619136 62070 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64116 62077 566 18 0 64098 0
vsize: 256464
[startup+1020.42 s]
Raw data (loadavg): 1.13 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 25287984 0 0 0 41661 60393 0 0 25 0 1 0 776288248 263024640 62671 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64215 62671 566 18 0 64197 0
vsize: 256860
[startup+1030.43 s]
Raw data (loadavg): 1.11 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 25551506 0 0 0 42037 61018 0 0 25 0 1 0 776288248 263565312 62531 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64347 62538 566 18 0 64329 0
vsize: 257388
[startup+1040.43 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 25814521 0 0 0 42409 61646 0 0 25 0 1 0 776288248 263970816 61884 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64446 61893 566 18 0 64428 0
vsize: 257784
[startup+1050.43 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 26077594 0 0 0 42783 62272 0 0 25 0 1 0 776288248 264376320 62313 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64545 62319 566 18 0 64527 0
vsize: 258180
[startup+1060.43 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 26340881 0 0 0 43164 62891 0 0 25 0 1 0 776288248 264781824 62956 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64644 62963 566 18 0 64626 0
vsize: 258576
[startup+1070.43 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 26604002 0 0 0 43533 63522 0 0 25 0 1 0 776288248 265322496 62415 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64776 62422 566 18 0 64758 0
vsize: 259104
[startup+1080.43 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 26867158 0 0 0 43905 64151 0 0 25 0 1 0 776288248 265728000 62927 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64875 62933 566 18 0 64857 0
vsize: 259500
[startup+1090.44 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 27130311 0 0 0 44288 64768 0 0 25 0 1 0 776288248 261963776 62418 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64974 62425 566 18 0 64956 0
vsize: 255824
[startup+1100.44 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 27393753 0 0 0 44663 65394 0 0 25 0 1 0 776288248 266674176 63216 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65106 63222 566 18 0 65088 0
vsize: 260424
[startup+1110.44 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 27656832 0 0 0 45037 66020 0 0 25 0 1 0 776288248 267079680 63651 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65205 63655 566 18 0 65187 0
vsize: 260820
[startup+1120.44 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 27919766 0 0 0 45412 66645 0 0 25 0 1 0 776288248 267485184 62923 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65304 62931 566 18 0 65286 0
vsize: 261216
[startup+1130.45 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 28183334 0 0 0 45790 67268 0 0 25 0 1 0 776288248 268025856 63847 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65436 63854 566 18 0 65418 0
vsize: 261744
[startup+1140.46 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 28446519 0 0 0 46163 67896 0 0 25 0 1 0 776288248 268431360 63370 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65535 63376 566 18 0 65517 0
vsize: 262140
[startup+1150.47 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 28709772 0 0 0 46537 68523 0 0 25 0 1 0 776288248 268836864 63979 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65634 63986 566 18 0 65616 0
vsize: 262536
[startup+1160.47 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 28972653 0 0 0 46921 69139 0 0 25 0 1 0 776288248 269242368 63198 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65733 63207 566 18 0 65715 0
vsize: 262932
[startup+1170.47 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 29236358 0 0 0 47299 69761 0 0 25 0 1 0 776288248 269783040 64259 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65865 64266 566 18 0 65847 0
vsize: 263460
[startup+1180.47 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 29499312 0 0 0 47661 70400 0 0 25 0 1 0 776288248 270188544 63551 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65964 63558 566 18 0 65946 0
vsize: 263856
[startup+1190.47 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 29762514 0 0 0 48044 71017 0 0 25 0 1 0 776288248 270594048 64109 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66063 64116 566 18 0 66045 0
vsize: 264252
[startup+1200.47 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 6273
Raw data (stat): 6273 (Pueblo) R 6272 31399 31398 0 -1 0 30025848 0 0 0 48432 71629 0 0 25 0 1 0 776288248 271134720 63781 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66195 63788 566 18 0 66177 0
vsize: 264780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.6 s]
Raw data (loadavg): 1.01 1.02 0.94 1/54 6273
Raw data (stat): 6273 (Pueblo) Z 6272 31399 31398 0 -1 1036 30025863 0 0 0 48432 71641 0 0 25 0 1 0 776288248 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.6
CPU time (s): 1200.75
CPU user time (s): 484.329
CPU system time (s): 716.418
CPU usage (%): 100.013
Max. virtual memory (Kb): 264780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####