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-rout.opb
MD5SUM	43b060c182b659f22c02b8a980d1ee8f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1221280
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	33812000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	166074535
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1569.48
Number of variables	5151
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	617
Trace number 27012

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-24 18:42:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18857 boxname=wulflinc6 idbench=1451 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  43b060c182b659f22c02b8a980d1ee8f  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-rout.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-rout.opb
IDLAUNCH: 18857
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        874664 kB
Buffers:          9900 kB
Cached:         127596 kB
SwapCached:        408 kB
Active:          26736 kB
Inactive:       113072 kB
HighTotal:      131008 kB
HighFree:        75068 kB
LowTotal:       903652 kB
LowFree:        799596 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5688 kB
Slab:            14664 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:02:30 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 18857 7 1200.42 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.82 0.95 0.98 2/54 28052
Raw data (stat): 28052 (runsolver) R 28051 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774261709 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.0007 s]
Raw data (loadavg): 0.84 0.95 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1389 0 0 0 996 3 0 0 25 0 1 0 774261709 11509760 1367 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 1367 566 18 0 2792 0
vsize: 11240
[startup+20.0008 s]
Raw data (loadavg): 0.87 0.95 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1528 0 0 0 1996 3 0 0 25 0 1 0 774261709 12034048 1506 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 1506 566 18 0 2920 0
vsize: 11752
[startup+30.0006 s]
Raw data (loadavg): 0.89 0.95 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1583 0 0 0 2996 3 0 0 25 0 1 0 774261709 12296192 1561 4294967295 134512640 134581331 3221224608 3221223648 134565028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3002 1561 566 18 0 2984 0
vsize: 12008
[startup+40.0001 s]
Raw data (loadavg): 0.90 0.95 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1593 0 0 0 3996 3 0 0 25 0 1 0 774261709 12296192 1571 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3002 1571 566 18 0 2984 0
vsize: 12008
[startup+50.0002 s]
Raw data (loadavg): 0.92 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1645 0 0 0 4997 3 0 0 25 0 1 0 774261709 12558336 1623 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1623 566 18 0 3048 0
vsize: 12264
[startup+59.999 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1645 0 0 0 5997 3 0 0 25 0 1 0 774261709 12472320 1616 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 1616 566 18 0 3027 0
vsize: 12180
[startup+69.9995 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1645 0 0 0 6997 3 0 0 25 0 1 0 774261709 12472320 1616 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 1616 566 18 0 3027 0
vsize: 12180
[startup+80 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1661 0 0 0 7997 4 0 0 25 0 1 0 774261709 12603392 1632 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3077 1632 566 18 0 3059 0
vsize: 12308
[startup+89.9995 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1671 0 0 0 8998 4 0 0 25 0 1 0 774261709 12603392 1642 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3077 1642 566 18 0 3059 0
vsize: 12308
[startup+99.9989 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1671 0 0 0 9998 4 0 0 25 0 1 0 774261709 12603392 1642 4294967295 134512640 134581331 3221224608 3221223520 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3077 1642 566 18 0 3059 0
vsize: 12308
[startup+109.999 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1757 0 0 0 10998 4 0 0 25 0 1 0 774261709 12996608 1728 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 1728 566 18 0 3155 0
vsize: 12692
[startup+119.999 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1757 0 0 0 11998 4 0 0 25 0 1 0 774261709 12996608 1728 4294967295 134512640 134581331 3221224608 3221223520 134527984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 1728 566 18 0 3155 0
vsize: 12692
[startup+129.998 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1757 0 0 0 12998 4 0 0 25 0 1 0 774261709 12996608 1728 4294967295 134512640 134581331 3221224608 3221223428 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 1728 566 18 0 3155 0
vsize: 12692
[startup+139.999 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1764 0 0 0 13998 5 0 0 25 0 1 0 774261709 12996608 1735 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 1735 566 18 0 3155 0
vsize: 12692
[startup+149.998 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1764 0 0 0 14999 5 0 0 25 0 1 0 774261709 12996608 1735 4294967295 134512640 134581331 3221224608 3221223520 134527689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 1735 566 18 0 3155 0
vsize: 12692
[startup+159.998 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1791 0 0 0 15999 5 0 0 25 0 1 0 774261709 13127680 1762 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 1762 566 18 0 3187 0
vsize: 12820
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1817 0 0 0 16999 5 0 0 25 0 1 0 774261709 13258752 1788 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3237 1788 566 18 0 3219 0
vsize: 12948
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1817 0 0 0 17999 5 0 0 25 0 1 0 774261709 13258752 1788 4294967295 134512640 134581331 3221224608 3221223520 134528039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3237 1788 566 18 0 3219 0
vsize: 12948
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1819 0 0 0 18999 5 0 0 25 0 1 0 774261709 13246464 1790 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 1790 566 18 0 3216 0
vsize: 12936
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1822 0 0 0 20000 5 0 0 25 0 1 0 774261709 13246464 1793 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 1793 566 18 0 3216 0
vsize: 12936
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1823 0 0 0 21000 5 0 0 25 0 1 0 774261709 13246464 1794 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 1794 566 18 0 3216 0
vsize: 12936
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1823 0 0 0 22000 5 0 0 25 0 1 0 774261709 13246464 1794 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 1794 566 18 0 3216 0
vsize: 12936
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1823 0 0 0 23001 5 0 0 25 0 1 0 774261709 13246464 1794 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 1794 566 18 0 3216 0
vsize: 12936
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1860 0 0 0 24001 5 0 0 25 0 1 0 774261709 13377536 1831 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3266 1831 566 18 0 3248 0
vsize: 13064
[startup+249.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1860 0 0 0 25001 5 0 0 25 0 1 0 774261709 13377536 1831 4294967295 134512640 134581331 3221224608 3221223680 134531401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3266 1831 566 18 0 3248 0
vsize: 13064
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1878 0 0 0 26001 5 0 0 25 0 1 0 774261709 13508608 1849 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3298 1849 566 18 0 3280 0
vsize: 13192
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1889 0 0 0 27002 6 0 0 25 0 1 0 774261709 13508608 1860 4294967295 134512640 134581331 3221224608 3221223536 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3298 1860 566 18 0 3280 0
vsize: 13192
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1889 0 0 0 28002 6 0 0 25 0 1 0 774261709 13504512 1860 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1860 566 18 0 3279 0
vsize: 13188
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1895 0 0 0 29002 6 0 0 25 0 1 0 774261709 13635584 1866 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3329 1866 566 18 0 3311 0
vsize: 13316
[startup+299.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1934 0 0 0 30002 6 0 0 25 0 1 0 774261709 13766656 1905 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3361 1905 566 18 0 3343 0
vsize: 13444
[startup+309.997 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1934 0 0 0 31003 6 0 0 25 0 1 0 774261709 13766656 1905 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3361 1905 566 18 0 3343 0
vsize: 13444
[startup+319.997 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1934 0 0 0 32003 6 0 0 25 0 1 0 774261709 13766656 1905 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3361 1905 566 18 0 3343 0
vsize: 13444
[startup+329.997 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1959 0 0 0 33003 6 0 0 25 0 1 0 774261709 13897728 1930 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1930 566 18 0 3375 0
vsize: 13572
[startup+339.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1959 0 0 0 34003 6 0 0 25 0 1 0 774261709 13897728 1930 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1930 566 18 0 3375 0
vsize: 13572
[startup+349.997 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1959 0 0 0 35003 6 0 0 25 0 1 0 774261709 13893632 1930 4294967295 134512640 134581331 3221224608 3221223520 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1930 566 18 0 3374 0
vsize: 13568
[startup+359.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1983 0 0 0 36004 6 0 0 25 0 1 0 774261709 13893632 1954 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1954 566 18 0 3374 0
vsize: 13568
[startup+369.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1984 0 0 0 37004 6 0 0 25 0 1 0 774261709 13893632 1955 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1955 566 18 0 3374 0
vsize: 13568
[startup+379.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1984 0 0 0 38004 6 0 0 25 0 1 0 774261709 13893632 1955 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1955 566 18 0 3374 0
vsize: 13568
[startup+389.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 1993 0 0 0 39005 6 0 0 25 0 1 0 774261709 14024704 1964 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3424 1964 566 18 0 3406 0
vsize: 13696
[startup+399.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2037 0 0 0 40005 6 0 0 25 0 1 0 774261709 14155776 2008 4294967295 134512640 134581331 3221224608 3221223520 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2008 566 18 0 3438 0
vsize: 13824
[startup+409.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2037 0 0 0 41005 6 0 0 25 0 1 0 774261709 14155776 2008 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2008 566 18 0 3438 0
vsize: 13824
[startup+419.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2037 0 0 0 42006 6 0 0 25 0 1 0 774261709 14155776 2008 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2008 566 18 0 3438 0
vsize: 13824
[startup+429.997 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2037 0 0 0 43006 6 0 0 25 0 1 0 774261709 14155776 2008 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2008 566 18 0 3438 0
vsize: 13824
[startup+439.997 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2037 0 0 0 44006 6 0 0 25 0 1 0 774261709 14155776 2008 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2008 566 18 0 3438 0
vsize: 13824
[startup+449.997 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2037 0 0 0 45007 6 0 0 25 0 1 0 774261709 14155776 2008 4294967295 134512640 134581331 3221224608 3221223304 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2008 566 18 0 3438 0
vsize: 13824
[startup+459.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2037 0 0 0 46007 6 0 0 25 0 1 0 774261709 14155776 2008 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2008 566 18 0 3438 0
vsize: 13824
[startup+469.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2037 0 0 0 47007 6 0 0 25 0 1 0 774261709 14155776 2008 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2008 566 18 0 3438 0
vsize: 13824
[startup+479.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2043 0 0 0 48008 6 0 0 25 0 1 0 774261709 14155776 2014 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2014 566 18 0 3438 0
vsize: 13824
[startup+489.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 49008 6 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+499.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 50008 6 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+509.996 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 51008 6 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+519.995 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 52009 7 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223520 134527967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+529.995 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 53009 7 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+539.995 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 54009 7 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+549.995 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 55010 7 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223420 134528702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 56011 7 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223600 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 57012 7 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 58013 7 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 59013 7 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2082 0 0 0 60013 7 0 0 25 0 1 0 774261709 14286848 2053 4294967295 134512640 134581331 3221224608 3221223712 134562506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2053 566 18 0 3470 0
vsize: 13952
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2087 0 0 0 61014 7 0 0 25 0 1 0 774261709 14417920 2058 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3520 2058 566 18 0 3502 0
vsize: 14080
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2087 0 0 0 62014 7 0 0 25 0 1 0 774261709 14417920 2058 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3520 2058 566 18 0 3502 0
vsize: 14080
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2087 0 0 0 63014 7 0 0 25 0 1 0 774261709 14413824 2058 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2058 566 18 0 3501 0
vsize: 14076
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2112 0 0 0 64014 7 0 0 25 0 1 0 774261709 14413824 2083 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2083 566 18 0 3501 0
vsize: 14076
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2489 0 0 0 65014 8 0 0 25 0 1 0 774261709 15986688 2460 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3903 2460 566 18 0 3885 0
vsize: 15612
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 2842 0 0 0 66013 9 0 0 25 0 1 0 774261709 17432576 2813 4294967295 134512640 134581331 3221224608 3221223428 1075289714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 2813 566 18 0 4238 0
vsize: 17024
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 3336 0 0 0 67012 11 0 0 25 0 1 0 774261709 19517440 3307 4294967295 134512640 134581331 3221224608 3221223520 134527967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4765 3307 566 18 0 4747 0
vsize: 19060
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 3369 0 0 0 68012 11 0 0 25 0 1 0 774261709 19644416 3340 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 3340 566 18 0 4778 0
vsize: 19184
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 3457 0 0 0 69012 11 0 0 25 0 1 0 774261709 20029440 3428 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4890 3428 566 18 0 4872 0
vsize: 19560
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 3726 0 0 0 70011 12 0 0 25 0 1 0 774261709 21073920 3697 4294967295 134512640 134581331 3221224608 3221223520 134527800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5145 3697 566 18 0 5127 0
vsize: 20580
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 3726 0 0 0 71011 12 0 0 25 0 1 0 774261709 21073920 3697 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5145 3697 566 18 0 5127 0
vsize: 20580
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 3890 0 0 0 72011 13 0 0 25 0 1 0 774261709 21716992 3861 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5302 3861 566 18 0 5284 0
vsize: 21208
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 3890 0 0 0 73011 13 0 0 25 0 1 0 774261709 21716992 3861 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5302 3861 566 18 0 5284 0
vsize: 21208
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4054 0 0 0 74011 14 0 0 25 0 1 0 774261709 22360064 4025 4294967295 134512640 134581331 3221224608 3221223536 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5459 4025 566 18 0 5441 0
vsize: 21836
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4054 0 0 0 75011 14 0 0 25 0 1 0 774261709 22360064 4025 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5459 4025 566 18 0 5441 0
vsize: 21836
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4246 0 0 0 76011 14 0 0 25 0 1 0 774261709 23146496 4217 4294967295 134512640 134581331 3221224608 3221223520 134527420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5651 4217 566 18 0 5633 0
vsize: 22604
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4356 0 0 0 77011 15 0 0 25 0 1 0 774261709 23662592 4327 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 4327 566 18 0 5759 0
vsize: 23108
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4356 0 0 0 78011 15 0 0 25 0 1 0 774261709 23662592 4327 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 4327 566 18 0 5759 0
vsize: 23108
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4397 0 0 0 79012 15 0 0 25 0 1 0 774261709 23797760 4368 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5810 4368 566 18 0 5792 0
vsize: 23240
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4397 0 0 0 80012 15 0 0 25 0 1 0 774261709 23797760 4368 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5810 4368 566 18 0 5792 0
vsize: 23240
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4404 0 0 0 81012 15 0 0 25 0 1 0 774261709 23797760 4375 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5810 4375 566 18 0 5792 0
vsize: 23240
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4404 0 0 0 82012 15 0 0 25 0 1 0 774261709 23797760 4375 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5810 4375 566 18 0 5792 0
vsize: 23240
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4499 0 0 0 83013 15 0 0 25 0 1 0 774261709 24186880 4470 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5905 4470 566 18 0 5887 0
vsize: 23620
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4499 0 0 0 84013 15 0 0 25 0 1 0 774261709 24186880 4470 4294967295 134512640 134581331 3221224608 3221223520 134527332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5905 4470 566 18 0 5887 0
vsize: 23620
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4515 0 0 0 85013 15 0 0 25 0 1 0 774261709 24317952 4486 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 4486 566 18 0 5919 0
vsize: 23748
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4515 0 0 0 86013 15 0 0 25 0 1 0 774261709 24317952 4486 4294967295 134512640 134581331 3221224608 3221223552 134559469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 4486 566 18 0 5919 0
vsize: 23748
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4731 0 0 0 87013 16 0 0 25 0 1 0 774261709 25206784 4702 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6154 4702 566 18 0 6136 0
vsize: 24616
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4788 0 0 0 88013 16 0 0 25 0 1 0 774261709 25468928 4759 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6218 4759 566 18 0 6200 0
vsize: 24872
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4788 0 0 0 89013 16 0 0 25 0 1 0 774261709 25468928 4759 4294967295 134512640 134581331 3221224608 3221223520 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6218 4759 566 18 0 6200 0
vsize: 24872
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4788 0 0 0 90014 16 0 0 25 0 1 0 774261709 25468928 4759 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6218 4759 566 18 0 6200 0
vsize: 24872
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4788 0 0 0 91014 16 0 0 25 0 1 0 774261709 25468928 4759 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6218 4759 566 18 0 6200 0
vsize: 24872
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4788 0 0 0 92014 16 0 0 25 0 1 0 774261709 25468928 4759 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6218 4759 566 18 0 6200 0
vsize: 24872
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4788 0 0 0 93014 16 0 0 25 0 1 0 774261709 25468928 4759 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6218 4759 566 18 0 6200 0
vsize: 24872
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 4959 0 0 0 94014 17 0 0 25 0 1 0 774261709 26116096 4930 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6376 4930 566 18 0 6358 0
vsize: 25504
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5042 0 0 0 95015 17 0 0 25 0 1 0 774261709 26484736 5013 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6466 5013 566 18 0 6448 0
vsize: 25864
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5042 0 0 0 96015 17 0 0 25 0 1 0 774261709 26484736 5013 4294967295 134512640 134581331 3221224608 3221223552 134559456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6466 5013 566 18 0 6448 0
vsize: 25864
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 97014 18 0 0 25 0 1 0 774261709 28086272 5403 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6857 5403 566 18 0 6839 0
vsize: 27428
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 98014 18 0 0 25 0 1 0 774261709 28086272 5403 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6857 5403 566 18 0 6839 0
vsize: 27428
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 99015 18 0 0 25 0 1 0 774261709 28086272 5403 4294967295 134512640 134581331 3221224608 3221223504 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6857 5403 566 18 0 6839 0
vsize: 27428
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 100015 18 0 0 25 0 1 0 774261709 27979776 5397 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6831 5397 566 18 0 6813 0
vsize: 27324
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 101015 18 0 0 25 0 1 0 774261709 27979776 5397 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6831 5397 566 18 0 6813 0
vsize: 27324
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 102015 18 0 0 25 0 1 0 774261709 27975680 5396 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6830 5396 566 18 0 6812 0
vsize: 27320
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 103016 18 0 0 25 0 1 0 774261709 27975680 5396 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6830 5396 566 18 0 6812 0
vsize: 27320
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 104016 18 0 0 25 0 1 0 774261709 27955200 5391 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6825 5391 566 18 0 6807 0
vsize: 27300
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 28052
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 105016 18 0 0 25 0 1 0 774261709 27955200 5391 4294967295 134512640 134581331 3221224608 3221223520 134527725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6825 5391 566 18 0 6807 0
vsize: 27300
[startup+1060.02 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 28105
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 106017 18 0 0 25 0 1 0 774261709 27947008 5389 4294967295 134512640 134581331 3221224608 3221223520 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6823 5389 566 18 0 6805 0
vsize: 27292
[startup+1070.02 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 28105
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 107017 18 0 0 25 0 1 0 774261709 27947008 5389 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6823 5389 566 18 0 6805 0
vsize: 27292
[startup+1080.01 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 28105
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 108017 19 0 0 25 0 1 0 774261709 27947008 5389 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6823 5389 566 18 0 6805 0
vsize: 27292
[startup+1090.01 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 28105
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 109017 19 0 0 25 0 1 0 774261709 27918336 5382 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 5382 566 18 0 6798 0
vsize: 27264
[startup+1100.01 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 28105
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 110017 19 0 0 25 0 1 0 774261709 27918336 5382 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 5382 566 18 0 6798 0
vsize: 27264
[startup+1110.01 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 28105
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 111017 20 0 0 25 0 1 0 774261709 27918336 5382 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 5382 566 18 0 6798 0
vsize: 27264
[startup+1120.02 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 28105
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 112017 20 0 0 25 0 1 0 774261709 27918336 5382 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 5382 566 18 0 6798 0
vsize: 27264
[startup+1130.02 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 28105
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 113017 20 0 0 25 0 1 0 774261709 27906048 5379 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6813 5379 566 18 0 6795 0
vsize: 27252
[startup+1140.02 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 28107
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 114017 21 0 0 25 0 1 0 774261709 27906048 5379 4294967295 134512640 134581331 3221224608 3221223428 1075289643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6813 5379 566 18 0 6795 0
vsize: 27252
[startup+1150.02 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28107
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 115017 21 0 0 25 0 1 0 774261709 27906048 5379 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6813 5379 566 18 0 6795 0
vsize: 27252
[startup+1160.02 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28107
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 116017 21 0 0 25 0 1 0 774261709 27901952 5378 4294967295 134512640 134581331 3221224608 3221223552 134559312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6812 5378 566 18 0 6794 0
vsize: 27248
[startup+1170.02 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28107
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 117017 22 0 0 25 0 1 0 774261709 27901952 5378 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6812 5378 566 18 0 6794 0
vsize: 27248
[startup+1180.02 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28107
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 118017 22 0 0 25 0 1 0 774261709 27901952 5378 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6812 5378 566 18 0 6794 0
vsize: 27248
[startup+1190.02 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 28107
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 119017 23 0 0 25 0 1 0 774261709 27901952 5378 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6812 5378 566 18 0 6794 0
vsize: 27248
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 28107
Raw data (stat): 28052 (Pueblo) R 28051 25568 25567 0 -1 0 5432 0 0 0 120017 23 0 0 25 0 1 0 774261709 27901952 5378 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6812 5378 566 18 0 6794 0
vsize: 27248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 28107
Raw data (stat): 28052 (Pueblo) Z 28051 25568 25567 0 -1 1036 5432 0 0 0 120017 24 0 0 25 0 1 0 774261709 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.03
CPU time (s): 1200.42
CPU user time (s): 1200.17
CPU system time (s): 0.244962
CPU usage (%): 100.032
Max. virtual memory (Kb): 27428
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####