PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM	4f0cac14ed3568050c2c57bb69fdb664
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 28626

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 03:22:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12045 boxname=wulflinc2 idbench=927 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 12045
/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:        660012 kB
Buffers:         14792 kB
Cached:         339608 kB
SwapCached:        696 kB
Active:          22472 kB
Inactive:       334328 kB
HighTotal:      131008 kB
HighFree:        22176 kB
LowTotal:       903652 kB
LowFree:        637836 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12272 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:42:22 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 12045 7 1200.26 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.78 0.92 0.91 2/54 8044
Raw data (stat): 8044 (runsolver) R 8043 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777385289 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+9.99968 s]
Raw data (loadavg): 0.81 0.92 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 1247 0 0 0 996 2 0 0 25 0 1 0 777385289 10842112 1225 4294967295 134512640 134581331 3221224608 3221223328 134522624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2647 1225 566 18 0 2629 0
vsize: 10588
[startup+20.0003 s]
Raw data (loadavg): 0.84 0.93 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 1725 0 0 0 1995 3 0 0 25 0 1 0 777385289 12689408 1703 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3098 1703 566 18 0 3080 0
vsize: 12392
[startup+30.001 s]
Raw data (loadavg): 0.87 0.93 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 2025 0 0 0 2995 4 0 0 25 0 1 0 777385289 13991936 2003 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2003 566 18 0 3398 0
vsize: 13664
[startup+40.0018 s]
Raw data (loadavg): 0.89 0.93 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 2449 0 0 0 3994 5 0 0 25 0 1 0 777385289 15773696 2427 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3851 2427 566 18 0 3833 0
vsize: 15404
[startup+50.0015 s]
Raw data (loadavg): 0.90 0.93 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 2549 0 0 0 4994 5 0 0 25 0 1 0 777385289 16175104 2527 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3949 2527 566 18 0 3931 0
vsize: 15796
[startup+60.0015 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 2988 0 0 0 5992 7 0 0 25 0 1 0 777385289 17870848 2966 4294967295 134512640 134581331 3221224608 3221223328 134522581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 2966 566 18 0 4345 0
vsize: 17452
[startup+70.0019 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 2988 0 0 0 6993 7 0 0 25 0 1 0 777385289 17870848 2966 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 2966 566 18 0 4345 0
vsize: 17452
[startup+80.0016 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 2988 0 0 0 7993 7 0 0 25 0 1 0 777385289 17870848 2966 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 2966 566 18 0 4345 0
vsize: 17452
[startup+90.0026 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 3293 0 0 0 8992 7 0 0 25 0 1 0 777385289 19140608 3271 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4673 3271 566 18 0 4655 0
vsize: 18692
[startup+100.002 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 3387 0 0 0 9992 8 0 0 25 0 1 0 777385289 19537920 3365 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4770 3365 566 18 0 4752 0
vsize: 19080
[startup+110.002 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 3387 0 0 0 10993 8 0 0 25 0 1 0 777385289 19537920 3365 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4770 3365 566 18 0 4752 0
vsize: 19080
[startup+120.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 3858 0 0 0 11992 8 0 0 25 0 1 0 777385289 21450752 3836 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 3836 566 18 0 5219 0
vsize: 20948
[startup+130.001 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 4328 0 0 0 12991 9 0 0 25 0 1 0 777385289 23392256 4306 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5711 4306 566 18 0 5693 0
vsize: 22844
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 4892 0 0 0 13991 10 0 0 25 0 1 0 777385289 25722880 4870 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6280 4870 566 18 0 6262 0
vsize: 25120
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5172 0 0 0 14990 10 0 0 25 0 1 0 777385289 26882048 5150 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+160.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5172 0 0 0 15991 10 0 0 25 0 1 0 777385289 26882048 5150 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+170.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5172 0 0 0 16991 10 0 0 25 0 1 0 777385289 26882048 5150 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+180.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5172 0 0 0 17991 10 0 0 25 0 1 0 777385289 26882048 5150 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+190.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5172 0 0 0 18991 10 0 0 25 0 1 0 777385289 26882048 5150 4294967295 134512640 134581331 3221224608 3221223392 134528804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+200.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5172 0 0 0 19991 10 0 0 25 0 1 0 777385289 26882048 5150 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+210.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5374 0 0 0 20991 11 0 0 25 0 1 0 777385289 27717632 5352 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6767 5352 566 18 0 6749 0
vsize: 27068
[startup+220.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5859 0 0 0 21990 12 0 0 25 0 1 0 777385289 29614080 5837 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7230 5837 566 18 0 7212 0
vsize: 28920
[startup+230.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 22990 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 23990 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 24991 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+260.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 25991 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+270.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 26991 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+280.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 27991 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+290.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 28991 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223552 134559312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+300.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 29991 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+310.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 30991 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223552 134558835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+320.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 31992 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+330.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 32992 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223520 134527605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 5950 0 0 0 33992 12 0 0 25 0 1 0 777385289 29999104 5928 4294967295 134512640 134581331 3221224608 3221223472 134528248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 6186 0 0 0 34992 13 0 0 25 0 1 0 777385289 30982144 6164 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 6186 0 0 0 35992 13 0 0 25 0 1 0 777385289 30982144 6164 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 6186 0 0 0 36992 13 0 0 25 0 1 0 777385289 30982144 6164 4294967295 134512640 134581331 3221224608 3221223328 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 6186 0 0 0 37992 13 0 0 25 0 1 0 777385289 30982144 6164 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 6186 0 0 0 38993 13 0 0 25 0 1 0 777385289 30982144 6164 4294967295 134512640 134581331 3221224608 3221223328 134522586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 6186 0 0 0 39993 13 0 0 25 0 1 0 777385289 30982144 6164 4294967295 134512640 134581331 3221224608 3221223328 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 6260 0 0 0 40993 13 0 0 25 0 1 0 777385289 31260672 6238 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7632 6238 566 18 0 7614 0
vsize: 30528
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 6604 0 0 0 41992 14 0 0 25 0 1 0 777385289 32718848 6582 4294967295 134512640 134581331 3221224608 3221223536 134520024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7988 6582 566 18 0 7970 0
vsize: 31952
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 6944 0 0 0 42992 15 0 0 25 0 1 0 777385289 34123776 6922 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8331 6922 566 18 0 8313 0
vsize: 33324
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 43991 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 44991 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223504 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 45991 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 46991 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 47991 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223536 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 48992 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 49992 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223328 134522634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 50992 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 51992 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 52992 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223328 134522586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 53993 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223504 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 54993 16 0 0 25 0 1 0 777385289 35725312 7299 4294967295 134512640 134581331 3221224608 3221223328 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 55993 16 0 0 25 0 1 0 777385289 35713024 7299 4294967295 134512640 134581331 3221224608 3221223504 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 56993 16 0 0 25 0 1 0 777385289 35713024 7299 4294967295 134512640 134581331 3221224608 3221223472 134528366 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 57993 16 0 0 25 0 1 0 777385289 35713024 7299 4294967295 134512640 134581331 3221224608 3221223328 134522588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 58994 16 0 0 25 0 1 0 777385289 35713024 7299 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 59994 16 0 0 25 0 1 0 777385289 35713024 7299 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 60994 16 0 0 25 0 1 0 777385289 35713024 7299 4294967295 134512640 134581331 3221224608 3221223464 134527015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 61994 16 0 0 25 0 1 0 777385289 35713024 7299 4294967295 134512640 134581331 3221224608 3221223328 134522568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7321 0 0 0 62994 16 0 0 25 0 1 0 777385289 35713024 7299 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7630 0 0 0 63994 16 0 0 25 0 1 0 777385289 36925440 7608 4294967295 134512640 134581331 3221224608 3221223492 134557746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9015 7608 566 18 0 8997 0
vsize: 36060
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 7884 0 0 0 64993 17 0 0 25 0 1 0 777385289 37986304 7862 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9274 7862 566 18 0 9256 0
vsize: 37096
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8195 0 0 0 65993 18 0 0 25 0 1 0 777385289 39186432 8173 4294967295 134512640 134581331 3221224608 3221223328 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9567 8173 566 18 0 9549 0
vsize: 38268
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8464 0 0 0 66992 19 0 0 25 0 1 0 777385289 40357888 8442 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9853 8442 566 18 0 9835 0
vsize: 39412
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8647 0 0 0 67992 19 0 0 25 0 1 0 777385289 41066496 8625 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8647 0 0 0 68992 19 0 0 25 0 1 0 777385289 41066496 8625 4294967295 134512640 134581331 3221224608 3221223472 134528353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8647 0 0 0 69993 19 0 0 25 0 1 0 777385289 41066496 8625 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8647 0 0 0 70993 19 0 0 25 0 1 0 777385289 41066496 8625 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8647 0 0 0 71993 19 0 0 25 0 1 0 777385289 41066496 8625 4294967295 134512640 134581331 3221224608 3221221456 134532762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8647 0 0 0 72993 19 0 0 25 0 1 0 777385289 41066496 8625 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8647 0 0 0 73993 19 0 0 25 0 1 0 777385289 41066496 8625 4294967295 134512640 134581331 3221224608 3221223392 134528714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8647 0 0 0 74994 19 0 0 25 0 1 0 777385289 41066496 8625 4294967295 134512640 134581331 3221224608 3221223328 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8685 0 0 0 75994 19 0 0 25 0 1 0 777385289 41230336 8663 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10066 8663 566 18 0 10048 0
vsize: 40264
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 8995 0 0 0 76993 20 0 0 25 0 1 0 777385289 42508288 8973 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10378 8973 566 18 0 10360 0
vsize: 41512
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9207 0 0 0 77993 20 0 0 25 0 1 0 777385289 43360256 9185 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9185 566 18 0 10568 0
vsize: 42344
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 78993 20 0 0 25 0 1 0 777385289 43360256 9187 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 79993 20 0 0 25 0 1 0 777385289 43360256 9187 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 80993 20 0 0 25 0 1 0 777385289 43360256 9187 4294967295 134512640 134581331 3221224608 3221223504 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 81993 20 0 0 25 0 1 0 777385289 43360256 9187 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 82994 20 0 0 25 0 1 0 777385289 43360256 9187 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 83994 20 0 0 25 0 1 0 777385289 43360256 9187 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 84994 20 0 0 25 0 1 0 777385289 43360256 9187 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 85994 20 0 0 25 0 1 0 777385289 43360256 9187 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 86994 20 0 0 25 0 1 0 777385289 43233280 9163 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10555 9163 566 18 0 10537 0
vsize: 42220
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 87995 20 0 0 25 0 1 0 777385289 43233280 9163 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10555 9163 566 18 0 10537 0
vsize: 42220
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 88995 20 0 0 25 0 1 0 777385289 43233280 9163 4294967295 134512640 134581331 3221224608 3221223392 134528767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10555 9163 566 18 0 10537 0
vsize: 42220
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 89995 20 0 0 25 0 1 0 777385289 43233280 9163 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10555 9163 566 18 0 10537 0
vsize: 42220
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 90995 20 0 0 25 0 1 0 777385289 43225088 9161 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 91995 20 0 0 25 0 1 0 777385289 43225088 9161 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 92996 20 0 0 25 0 1 0 777385289 43225088 9161 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 93996 20 0 0 25 0 1 0 777385289 43225088 9161 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 94996 20 0 0 25 0 1 0 777385289 43225088 9161 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 95996 20 0 0 25 0 1 0 777385289 43225088 9161 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 96996 20 0 0 25 0 1 0 777385289 43220992 9160 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 97997 20 0 0 25 0 1 0 777385289 43220992 9160 4294967295 134512640 134581331 3221224608 3221223504 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+990.036 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 98999 20 0 0 25 0 1 0 777385289 43220992 9160 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+1000.04 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 99999 20 0 0 25 0 1 0 777385289 43220992 9160 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+1010.04 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 100999 20 0 0 25 0 1 0 777385289 43220992 9160 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+1020.04 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 101999 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1030.04 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 103000 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1040.04 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 104000 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1050.04 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 105000 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1060.04 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 106000 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1070.04 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 107000 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1080.04 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 108000 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1090.04 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 109001 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1100.04 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 110001 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223504 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1110.04 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 111001 20 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 112001 21 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 113001 21 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 114001 21 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 115002 21 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 116002 21 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223448 134528560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 117003 21 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527658 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 118003 21 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223536 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 119003 21 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 8044
Raw data (stat): 8044 (Pueblo) R 8043 31399 31398 0 -1 0 9209 0 0 0 120003 21 0 0 25 0 1 0 777385289 43085824 9127 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 8044
Raw data (stat): 8044 (Pueblo) Z 8043 31399 31398 0 -1 1036 9209 0 0 0 120003 22 0 0 25 0 1 0 777385289 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.06
CPU time (s): 1200.26
CPU user time (s): 1200.04
CPU system time (s): 0.227965
CPU usage (%): 100.017
Max. virtual memory (Kb): 42344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####