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/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb
MD5SUM	ef7064a9be2b712276f7b600af28e2b0
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.18
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 27070

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-24 18:59:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18636 boxname=wulflinc22 idbench=1434 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 18636
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        854320 kB
Buffers:         36348 kB
Cached:         110096 kB
SwapCached:      12200 kB
Active:          64576 kB
Inactive:        96256 kB
HighTotal:      131008 kB
HighFree:        20356 kB
LowTotal:       903652 kB
LowFree:        833964 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            13948 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:19:14 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 18636 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.96 2/54 25904
Raw data (stat): 25904 (runsolver) R 25903 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832583224 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.96 2/54 25904
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 1247 0 0 0 996 3 0 0 25 0 1 0 832583224 10842112 1225 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2647 1225 566 18 0 2629 0
vsize: 10588
[startup+20.0024 s]
Raw data (loadavg): 0.89 0.94 0.96 2/54 25904
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 1736 0 0 0 1995 4 0 0 25 0 1 0 832583224 12824576 1714 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3131 1714 566 18 0 3113 0
vsize: 12524
[startup+30.0037 s]
Raw data (loadavg): 0.91 0.94 0.96 2/54 25904
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 2025 0 0 0 2994 5 0 0 25 0 1 0 832583224 13991936 2003 4294967295 134512640 134581331 3221224592 3221223504 134527440 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.0041 s]
Raw data (loadavg): 0.92 0.94 0.96 2/54 25904
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 2465 0 0 0 3993 6 0 0 25 0 1 0 832583224 15773696 2443 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3851 2443 566 18 0 3833 0
vsize: 15404
[startup+50.0056 s]
Raw data (loadavg): 0.93 0.95 0.96 2/54 25904
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 2566 0 0 0 4992 7 0 0 25 0 1 0 832583224 16175104 2544 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3949 2544 566 18 0 3931 0
vsize: 15796
[startup+60.0058 s]
Raw data (loadavg): 0.94 0.95 0.96 2/54 25957
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 2988 0 0 0 5980 19 0 0 25 0 1 0 832583224 17870848 2966 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4363 2966 566 18 0 4345 0
vsize: 17452
[startup+70.0058 s]
Raw data (loadavg): 0.95 0.95 0.96 2/54 25957
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 2988 0 0 0 6980 19 0 0 25 0 1 0 832583224 17870848 2966 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4363 2966 566 18 0 4345 0
vsize: 17452
[startup+80.0062 s]
Raw data (loadavg): 0.96 0.95 0.96 2/54 25957
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 2988 0 0 0 7980 19 0 0 25 0 1 0 832583224 17870848 2966 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4363 2966 566 18 0 4345 0
vsize: 17452
[startup+90.0059 s]
Raw data (loadavg): 0.96 0.95 0.96 2/54 25957
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 3327 0 0 0 8979 20 0 0 25 0 1 0 832583224 19267584 3305 4294967295 134512640 134581331 3221224592 3221223488 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4704 3305 566 18 0 4686 0
vsize: 18816
[startup+100.009 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 25957
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 3387 0 0 0 9980 20 0 0 25 0 1 0 832583224 19537920 3365 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4770 3365 566 18 0 4752 0
vsize: 19080
[startup+110.009 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 25957
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 3387 0 0 0 10980 20 0 0 25 0 1 0 832583224 19537920 3365 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4770 3365 566 18 0 4752 0
vsize: 19080
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 3955 0 0 0 11978 22 0 0 25 0 1 0 832583224 21839872 3933 4294967295 134512640 134581331 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 3933 566 18 0 5314 0
vsize: 21328
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 4430 0 0 0 12977 23 0 0 25 0 1 0 832583224 23793664 4408 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5809 4408 566 18 0 5791 0
vsize: 23236
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 4955 0 0 0 13976 24 0 0 25 0 1 0 832583224 25989120 4933 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6345 4933 566 18 0 6327 0
vsize: 25380
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5172 0 0 0 14976 24 0 0 25 0 1 0 832583224 26882048 5150 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5172 0 0 0 15976 24 0 0 25 0 1 0 832583224 26882048 5150 4294967295 134512640 134581331 3221224592 3221223476 134557960 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5172 0 0 0 16977 24 0 0 25 0 1 0 832583224 26882048 5150 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5172 0 0 0 17977 24 0 0 25 0 1 0 832583224 26882048 5150 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5172 0 0 0 18977 24 0 0 25 0 1 0 832583224 26882048 5150 4294967295 134512640 134581331 3221224592 3221223476 134557761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5172 0 0 0 19977 24 0 0 25 0 1 0 832583224 26882048 5150 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6563 5150 566 18 0 6545 0
vsize: 26252
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5521 0 0 0 20976 25 0 0 25 0 1 0 832583224 28246016 5499 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6896 5499 566 18 0 6878 0
vsize: 27584
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.96 3/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 21976 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 22977 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 23977 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 24977 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 25977 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 26977 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 27977 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 28978 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 29978 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 30978 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 31978 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5950 0 0 0 32978 26 0 0 25 0 1 0 832583224 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 5988 0 0 0 33978 26 0 0 25 0 1 0 832583224 30158848 5966 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7363 5966 566 18 0 7345 0
vsize: 29452
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 6186 0 0 0 34978 26 0 0 25 0 1 0 832583224 30982144 6164 4294967295 134512640 134581331 3221224592 3221223536 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 6186 0 0 0 35978 26 0 0 25 0 1 0 832583224 30982144 6164 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 6186 0 0 0 36978 26 0 0 25 0 1 0 832583224 30982144 6164 4294967295 134512640 134581331 3221224592 3221223312 134522611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25959
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 6186 0 0 0 37979 26 0 0 25 0 1 0 832583224 30982144 6164 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 6186 0 0 0 38979 26 0 0 25 0 1 0 832583224 30982144 6164 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 6186 0 0 0 39979 26 0 0 25 0 1 0 832583224 30982144 6164 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7564 6164 566 18 0 7546 0
vsize: 30256
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 6455 0 0 0 40978 27 0 0 25 0 1 0 832583224 32149504 6433 4294967295 134512640 134581331 3221224592 3221223504 134519025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7849 6433 566 18 0 7831 0
vsize: 31396
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 6725 0 0 0 41978 27 0 0 25 0 1 0 832583224 33239040 6703 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8115 6703 566 18 0 8097 0
vsize: 32460
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7309 0 0 0 42977 29 0 0 25 0 1 0 832583224 35594240 7287 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8690 7287 566 18 0 8672 0
vsize: 34760
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 43977 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 44977 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 45977 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 46978 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 47978 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223312 134522613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 48978 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 49978 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 50978 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 51978 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223304 1075291516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 52979 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 53979 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 54979 29 0 0 25 0 1 0 832583224 35725312 7299 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8722 7299 566 18 0 8704 0
vsize: 34888
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 55979 29 0 0 25 0 1 0 832583224 35713024 7299 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 56979 29 0 0 25 0 1 0 832583224 35713024 7299 4294967295 134512640 134581331 3221224592 3221223312 134522613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 57979 29 0 0 25 0 1 0 832583224 35713024 7299 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 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.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 58980 29 0 0 25 0 1 0 832583224 35713024 7299 4294967295 134512640 134581331 3221224592 3221223536 134558842 0 0 7 0 0 0 0 17 1 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.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 59980 29 0 0 25 0 1 0 832583224 35713024 7299 4294967295 134512640 134581331 3221224592 3221223312 134522586 0 0 7 0 0 0 0 17 1 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.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 60980 29 0 0 25 0 1 0 832583224 35713024 7299 4294967295 134512640 134581331 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7321 0 0 0 61980 29 0 0 25 0 1 0 832583224 35713024 7299 4294967295 134512640 134581331 3221224592 3221223456 134528428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8719 7299 566 18 0 8701 0
vsize: 34876
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7559 0 0 0 62979 30 0 0 25 0 1 0 832583224 36679680 7537 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8955 7537 566 18 0 8937 0
vsize: 35820
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 7819 0 0 0 63979 30 0 0 25 0 1 0 832583224 37736448 7797 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9213 7797 566 18 0 9195 0
vsize: 36852
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8194 0 0 0 64978 31 0 0 25 0 1 0 832583224 39186432 8172 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9567 8172 566 18 0 9549 0
vsize: 38268
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8464 0 0 0 65978 31 0 0 25 0 1 0 832583224 40357888 8442 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9853 8442 566 18 0 9835 0
vsize: 39412
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8647 0 0 0 66978 32 0 0 25 0 1 0 832583224 41066496 8625 4294967295 134512640 134581331 3221224592 3221223244 1075288605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8647 0 0 0 67978 32 0 0 25 0 1 0 832583224 41066496 8625 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8647 0 0 0 68978 32 0 0 25 0 1 0 832583224 41066496 8625 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8647 0 0 0 69978 32 0 0 25 0 1 0 832583224 41066496 8625 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8647 0 0 0 70979 32 0 0 25 0 1 0 832583224 41066496 8625 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8647 0 0 0 71979 32 0 0 25 0 1 0 832583224 41066496 8625 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8647 0 0 0 72979 32 0 0 25 0 1 0 832583224 41066496 8625 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8647 0 0 0 73979 32 0 0 25 0 1 0 832583224 41066496 8625 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 8685 0 0 0 74979 32 0 0 25 0 1 0 832583224 41230336 8663 4294967295 134512640 134581331 3221224592 3221223472 134558346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10066 8663 566 18 0 10048 0
vsize: 40264
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9014 0 0 0 75979 32 0 0 25 0 1 0 832583224 42668032 8992 4294967295 134512640 134581331 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10417 8992 566 18 0 10399 0
vsize: 41668
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9207 0 0 0 76979 33 0 0 25 0 1 0 832583224 43360256 9185 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9185 566 18 0 10568 0
vsize: 42344
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 77979 33 0 0 25 0 1 0 832583224 43360256 9187 4294967295 134512640 134581331 3221224592 3221223536 134558952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 78979 33 0 0 25 0 1 0 832583224 43360256 9187 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 79979 33 0 0 25 0 1 0 832583224 43360256 9187 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 80979 33 0 0 25 0 1 0 832583224 43360256 9187 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 81979 33 0 0 25 0 1 0 832583224 43360256 9187 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 82980 33 0 0 25 0 1 0 832583224 43360256 9187 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 83980 33 0 0 25 0 1 0 832583224 43360256 9187 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 84980 33 0 0 25 0 1 0 832583224 43233280 9163 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 9163 566 18 0 10537 0
vsize: 42220
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 85980 33 0 0 25 0 1 0 832583224 43233280 9163 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 9163 566 18 0 10537 0
vsize: 42220
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 86980 33 0 0 25 0 1 0 832583224 43233280 9163 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 9163 566 18 0 10537 0
vsize: 42220
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 87981 33 0 0 25 0 1 0 832583224 43233280 9163 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 9163 566 18 0 10537 0
vsize: 42220
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 88981 33 0 0 25 0 1 0 832583224 43233280 9163 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 9163 566 18 0 10537 0
vsize: 42220
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 89981 33 0 0 25 0 1 0 832583224 43225088 9161 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+910.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 90981 33 0 0 25 0 1 0 832583224 43225088 9161 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+920.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 91981 33 0 0 25 0 1 0 832583224 43225088 9161 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+930.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 92981 33 0 0 25 0 1 0 832583224 43225088 9161 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 93982 33 0 0 25 0 1 0 832583224 43225088 9161 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10553 9161 566 18 0 10535 0
vsize: 42212
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 94982 33 0 0 25 0 1 0 832583224 43220992 9160 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 95982 33 0 0 25 0 1 0 832583224 43220992 9160 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 96982 33 0 0 25 0 1 0 832583224 43220992 9160 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 97982 33 0 0 25 0 1 0 832583224 43220992 9160 4294967295 134512640 134581331 3221224592 3221223504 134527661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+990.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 98982 33 0 0 25 0 1 0 832583224 43220992 9160 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 99983 33 0 0 25 0 1 0 832583224 43220992 9160 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10552 9160 566 18 0 10534 0
vsize: 42208
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 100983 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 101983 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 102983 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 103983 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223456 134528331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 104983 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 105984 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 106984 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 107984 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 108984 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 109984 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 110984 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223376 134528763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 111984 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 112985 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 113985 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223456 134528503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 114985 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223456 134528507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 115985 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 116985 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 117986 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 118986 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25961
Raw data (stat): 25904 (Pueblo) R 25903 23310 23309 0 -1 0 9209 0 0 0 119986 33 0 0 25 0 1 0 832583224 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9127 566 18 0 10501 0
vsize: 42076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 25961
Raw data (stat): 25904 (Pueblo) Z 25903 23310 23309 0 -1 1036 9209 0 0 0 119986 35 0 0 25 0 1 0 832583224 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.02
CPU time (s): 1200.22
CPU user time (s): 1199.86
CPU system time (s): 0.350946
CPU usage (%): 100.016
Max. virtual memory (Kb): 42344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####