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/miplib3/normalized-mps-v2-20-10-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	1176.54
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 28291

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 01:23:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13644 boxname=wulflinc28 idbench=1050 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 13644
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        803148 kB
Buffers:         23332 kB
Cached:         186824 kB
SwapCached:       1052 kB
Active:          31584 kB
Inactive:       181184 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        802896 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5456 kB
Slab:            13028 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:43:58 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 13644 7 1200.24 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.77 0.90 0.89 2/54 31548
Raw data (stat): 31548 (runsolver) R 31547 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834899221 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+9.99945 s]
Raw data (loadavg): 0.81 0.90 0.89 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 1247 0 0 0 996 3 0 0 25 0 1 0 834899221 10842112 1225 4294967295 134512640 134581331 3221224592 3221223488 134517894 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.0002 s]
Raw data (loadavg): 0.84 0.91 0.89 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 1725 0 0 0 1994 5 0 0 25 0 1 0 834899221 12689408 1703 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.0012 s]
Raw data (loadavg): 0.86 0.91 0.89 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 2025 0 0 0 2993 6 0 0 25 0 1 0 834899221 13991936 2003 4294967295 134512640 134581331 3221224592 3221223520 134519947 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.0005 s]
Raw data (loadavg): 0.88 0.91 0.89 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 2462 0 0 0 3992 7 0 0 25 0 1 0 834899221 15773696 2440 4294967295 134512640 134581331 3221224592 3221223504 134527737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3851 2440 566 18 0 3833 0
vsize: 15404
[startup+50.0012 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 2566 0 0 0 4992 7 0 0 25 0 1 0 834899221 16175104 2544 4294967295 134512640 134581331 3221224592 3221223488 134517880 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.0015 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 2988 0 0 0 5991 8 0 0 25 0 1 0 834899221 17870848 2966 4294967295 134512640 134581331 3221224592 3221223312 134522634 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.0025 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 2988 0 0 0 6991 9 0 0 25 0 1 0 834899221 17870848 2966 4294967295 134512640 134581331 3221224592 3221223456 134528452 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.0032 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 2988 0 0 0 7991 9 0 0 25 0 1 0 834899221 17870848 2966 4294967295 134512640 134581331 3221224592 3221223456 134528248 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.0033 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 3317 0 0 0 8990 10 0 0 25 0 1 0 834899221 19267584 3295 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4704 3295 566 18 0 4686 0
vsize: 18816
[startup+100.004 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 3387 0 0 0 9990 10 0 0 25 0 1 0 834899221 19537920 3365 4294967295 134512640 134581331 3221224592 3221223488 134517888 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.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 3387 0 0 0 10990 10 0 0 25 0 1 0 834899221 19537920 3365 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 3911 0 0 0 11989 11 0 0 25 0 1 0 834899221 21704704 3889 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5299 3889 566 18 0 5281 0
vsize: 21196
[startup+130.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 4372 0 0 0 12988 13 0 0 25 0 1 0 834899221 23527424 4350 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5744 4350 566 18 0 5726 0
vsize: 22976
[startup+140.004 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 4919 0 0 0 13987 14 0 0 25 0 1 0 834899221 25858048 4897 4294967295 134512640 134581331 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6313 4897 566 18 0 6295 0
vsize: 25252
[startup+150.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5172 0 0 0 14986 15 0 0 25 0 1 0 834899221 26882048 5150 4294967295 134512640 134581331 3221224592 3221223488 134517897 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.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5172 0 0 0 15986 15 0 0 25 0 1 0 834899221 26882048 5150 4294967295 134512640 134581331 3221224592 3221223504 134527404 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.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5172 0 0 0 16986 15 0 0 25 0 1 0 834899221 26882048 5150 4294967295 134512640 134581331 3221224592 3221223504 134527407 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.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5172 0 0 0 17986 16 0 0 25 0 1 0 834899221 26882048 5150 4294967295 134512640 134581331 3221224592 3221223312 134522586 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.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5172 0 0 0 18986 16 0 0 25 0 1 0 834899221 26882048 5150 4294967295 134512640 134581331 3221224592 3221223312 134524449 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.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5172 0 0 0 19985 16 0 0 25 0 1 0 834899221 26882048 5150 4294967295 134512640 134581331 3221224592 3221223504 134527712 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.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5427 0 0 0 20985 17 0 0 25 0 1 0 834899221 27852800 5405 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6800 5405 566 18 0 6782 0
vsize: 27200
[startup+220.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5910 0 0 0 21984 18 0 0 25 0 1 0 834899221 29859840 5888 4294967295 134512640 134581331 3221224592 3221223504 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7290 5888 566 18 0 7272 0
vsize: 29160
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 22983 19 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517859 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.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 23982 20 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134528088 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.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 24982 20 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134527418 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.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 25982 20 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 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.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 26981 21 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 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.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 27982 21 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134527410 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.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 28981 21 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 29982 21 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517875 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.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 30982 21 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134527410 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.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 31982 21 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134527445 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.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 32982 21 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223488 134517873 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.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 5950 0 0 0 33982 21 0 0 25 0 1 0 834899221 29999104 5928 4294967295 134512640 134581331 3221224592 3221223504 134519027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 5928 566 18 0 7306 0
vsize: 29296
[startup+350.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 6186 0 0 0 34982 22 0 0 25 0 1 0 834899221 30982144 6164 4294967295 134512640 134581331 3221224592 3221223488 134517875 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.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 6186 0 0 0 35982 22 0 0 25 0 1 0 834899221 30982144 6164 4294967295 134512640 134581331 3221224592 3221223488 134517894 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.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 6186 0 0 0 36982 22 0 0 25 0 1 0 834899221 30982144 6164 4294967295 134512640 134581331 3221224592 3221223456 134528422 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.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 6186 0 0 0 37982 22 0 0 25 0 1 0 834899221 30982144 6164 4294967295 134512640 134581331 3221224592 3221223312 134524441 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.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 6186 0 0 0 38982 22 0 0 25 0 1 0 834899221 30982144 6164 4294967295 134512640 134581331 3221224592 3221223312 134522568 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.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 6186 0 0 0 39982 22 0 0 25 0 1 0 834899221 30982144 6164 4294967295 134512640 134581331 3221224592 3221223520 134519928 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.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 6322 0 0 0 40982 22 0 0 25 0 1 0 834899221 31555584 6300 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7704 6300 566 18 0 7686 0
vsize: 30816
[startup+420.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 6660 0 0 0 41982 23 0 0 25 0 1 0 834899221 32985088 6638 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8053 6638 566 18 0 8035 0
vsize: 32212
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7180 0 0 0 42980 24 0 0 25 0 1 0 834899221 35065856 7158 4294967295 134512640 134581331 3221224592 3221223504 134527987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8561 7158 566 18 0 8543 0
vsize: 34244
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 43980 25 0 0 25 0 1 0 834899221 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+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 44980 25 0 0 25 0 1 0 834899221 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 45980 25 0 0 25 0 1 0 834899221 35725312 7299 4294967295 134512640 134581331 3221224592 3221223488 134517873 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 46981 25 0 0 25 0 1 0 834899221 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+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 47981 25 0 0 25 0 1 0 834899221 35725312 7299 4294967295 134512640 134581331 3221224592 3221223504 134527445 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 48981 25 0 0 25 0 1 0 834899221 35725312 7299 4294967295 134512640 134581331 3221224592 3221223312 134524447 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 49981 25 0 0 25 0 1 0 834899221 35725312 7299 4294967295 134512640 134581331 3221224592 3221223504 134519045 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 50981 25 0 0 25 0 1 0 834899221 35725312 7299 4294967295 134512640 134581331 3221224592 3221223488 134517875 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 51981 25 0 0 25 0 1 0 834899221 35725312 7299 4294967295 134512640 134581331 3221224592 3221223520 134519947 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 52982 25 0 0 25 0 1 0 834899221 35725312 7299 4294967295 134512640 134581331 3221224592 3221223488 134517878 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 53982 25 0 0 25 0 1 0 834899221 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+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 54982 25 0 0 25 0 1 0 834899221 35725312 7299 4294967295 134512640 134581331 3221224592 3221223488 134517859 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 55982 25 0 0 25 0 1 0 834899221 35713024 7299 4294967295 134512640 134581331 3221224592 3221223488 134517873 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 56982 25 0 0 25 0 1 0 834899221 35713024 7299 4294967295 134512640 134581331 3221224592 3221223312 134523390 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 57982 25 0 0 25 0 1 0 834899221 35713024 7299 4294967295 134512640 134581331 3221224592 3221223312 134523211 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 58983 25 0 0 25 0 1 0 834899221 35713024 7299 4294967295 134512640 134581331 3221224592 3221223312 134522634 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 59983 25 0 0 25 0 1 0 834899221 35713024 7299 4294967295 134512640 134581331 3221224592 3221223456 134528275 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 60983 25 0 0 25 0 1 0 834899221 35713024 7299 4294967295 134512640 134581331 3221224592 3221223504 134527407 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7321 0 0 0 61983 25 0 0 25 0 1 0 834899221 35713024 7299 4294967295 134512640 134581331 3221224592 3221223504 134527519 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.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7447 0 0 0 62983 25 0 0 25 0 1 0 834899221 36126720 7425 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8820 7425 566 18 0 8802 0
vsize: 35280
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 7752 0 0 0 63983 26 0 0 25 0 1 0 834899221 37490688 7730 4294967295 134512640 134581331 3221224592 3221223504 134527355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9153 7730 566 18 0 9135 0
vsize: 36612
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8194 0 0 0 64982 27 0 0 25 0 1 0 834899221 39186432 8172 4294967295 134512640 134581331 3221224592 3221223488 134517902 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.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8464 0 0 0 65982 27 0 0 25 0 1 0 834899221 40357888 8442 4294967295 134512640 134581331 3221224592 3221223488 134517862 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8647 0 0 0 66982 27 0 0 25 0 1 0 834899221 41066496 8625 4294967295 134512640 134581331 3221224592 3221223504 134527445 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.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8647 0 0 0 67982 27 0 0 25 0 1 0 834899221 41066496 8625 4294967295 134512640 134581331 3221224592 3221223312 134524447 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.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8647 0 0 0 68983 27 0 0 25 0 1 0 834899221 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+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8647 0 0 0 69983 27 0 0 25 0 1 0 834899221 41066496 8625 4294967295 134512640 134581331 3221224592 3221223504 134519017 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.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8647 0 0 0 70983 27 0 0 25 0 1 0 834899221 41066496 8625 4294967295 134512640 134581331 3221224592 3221223488 134517875 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8647 0 0 0 71984 27 0 0 25 0 1 0 834899221 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+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8647 0 0 0 72985 27 0 0 25 0 1 0 834899221 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+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8647 0 0 0 73985 27 0 0 25 0 1 0 834899221 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+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8647 0 0 0 74985 27 0 0 25 0 1 0 834899221 41066496 8625 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8625 566 18 0 10008 0
vsize: 40104
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 8927 0 0 0 75985 28 0 0 25 0 1 0 834899221 42270720 8905 4294967295 134512640 134581331 3221224592 3221223312 134522613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10320 8905 566 18 0 10302 0
vsize: 41280
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9188 0 0 0 76985 28 0 0 25 0 1 0 834899221 43360256 9166 4294967295 134512640 134581331 3221224592 3221223456 134528272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9166 566 18 0 10568 0
vsize: 42344
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 77985 28 0 0 25 0 1 0 834899221 43360256 9187 4294967295 134512640 134581331 3221224592 3221223312 134524449 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 78986 28 0 0 25 0 1 0 834899221 43360256 9187 4294967295 134512640 134581331 3221224592 3221223504 134527445 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 79986 28 0 0 25 0 1 0 834899221 43360256 9187 4294967295 134512640 134581331 3221224592 3221223504 134527418 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 80986 28 0 0 25 0 1 0 834899221 43360256 9187 4294967295 134512640 134581331 3221224592 3221223504 134527410 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 81986 28 0 0 25 0 1 0 834899221 43360256 9187 4294967295 134512640 134581331 3221224592 3221223536 134558842 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 82986 28 0 0 25 0 1 0 834899221 43360256 9187 4294967295 134512640 134581331 3221224592 3221223504 134527639 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 83986 28 0 0 25 0 1 0 834899221 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 84986 29 0 0 25 0 1 0 834899221 43360256 9187 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10586 9187 566 18 0 10568 0
vsize: 42344
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 85986 29 0 0 25 0 1 0 834899221 43233280 9163 4294967295 134512640 134581331 3221224592 3221223488 134517894 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 86986 29 0 0 25 0 1 0 834899221 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+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 87986 29 0 0 25 0 1 0 834899221 43233280 9163 4294967295 134512640 134581331 3221224592 3221223504 134527687 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 88986 29 0 0 25 0 1 0 834899221 43233280 9163 4294967295 134512640 134581331 3221224592 3221223488 134517894 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 89987 29 0 0 25 0 1 0 834899221 43225088 9161 4294967295 134512640 134581331 3221224592 3221223504 134527454 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 90987 29 0 0 25 0 1 0 834899221 43225088 9161 4294967295 134512640 134581331 3221224592 3221223504 134527454 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 91987 29 0 0 25 0 1 0 834899221 43225088 9161 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 92987 29 0 0 25 0 1 0 834899221 43225088 9161 4294967295 134512640 134581331 3221224592 3221223488 134517888 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 93987 29 0 0 25 0 1 0 834899221 43225088 9161 4294967295 134512640 134581331 3221224592 3221223488 134517844 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 94987 29 0 0 25 0 1 0 834899221 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 95988 29 0 0 25 0 1 0 834899221 43220992 9160 4294967295 134512640 134581331 3221224592 3221223456 134528544 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 96988 29 0 0 25 0 1 0 834899221 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+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 97988 29 0 0 25 0 1 0 834899221 43220992 9160 4294967295 134512640 134581331 3221224592 3221223504 134527967 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 98988 29 0 0 25 0 1 0 834899221 43220992 9160 4294967295 134512640 134581331 3221224592 3221223504 134528074 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 99988 29 0 0 25 0 1 0 834899221 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+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 100988 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223376 134528797 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 101988 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527451 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 102989 29 0 0 25 0 1 0 834899221 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+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 103989 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527537 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 104989 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527432 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 105989 29 0 0 25 0 1 0 834899221 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+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 106989 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223488 134517824 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 107989 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527729 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 108990 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527404 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 109990 29 0 0 25 0 1 0 834899221 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+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 110990 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223408 134528848 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 111990 29 0 0 25 0 1 0 834899221 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+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 112990 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223488 134517880 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 113990 29 0 0 25 0 1 0 834899221 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+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 114991 29 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223376 134528838 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 115991 29 0 0 25 0 1 0 834899221 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+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 116991 30 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527451 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 117991 30 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223504 134527652 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 118991 30 0 0 25 0 1 0 834899221 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+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31548
Raw data (stat): 31548 (Pueblo) R 31547 24821 24820 0 -1 0 9209 0 0 0 119992 30 0 0 25 0 1 0 834899221 43085824 9127 4294967295 134512640 134581331 3221224592 3221223488 134517859 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.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 31548
Raw data (stat): 31548 (Pueblo) Z 31547 24821 24820 0 -1 1036 9209 0 0 0 119992 31 0 0 25 0 1 0 834899221 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.06
CPU time (s): 1200.24
CPU user time (s): 1199.92
CPU system time (s): 0.317951
CPU usage (%): 100.015
Max. virtual memory (Kb): 42344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####