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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb
MD5SUM	889599bea53ff906bd4dd516c552c027
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	123680
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6484387800
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	188743680
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	10767194085
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.12283
Number of variables	123680
Total number of constraints	404
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	20
Maximum length of a constraint	123680
Trace number 27847

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 23:21:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15672 boxname=wulflinc23 idbench=1206 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  889599bea53ff906bd4dd516c552c027  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-d6cube.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-d6cube.opb
IDLAUNCH: 15672
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        834328 kB
Buffers:         11668 kB
Cached:         166600 kB
SwapCached:        640 kB
Active:          47884 kB
Inactive:       132856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        834076 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5624 kB
Slab:            13880 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:41:29 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 15672 7 1200.57 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.93 0.96 0.91 2/54 11892
Raw data (stat): 11892 (runsolver) R 11891 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834160038 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 5663 0 0 0 982 16 0 0 25 0 1 0 834160038 26750976 5642 4294967295 134512640 134581331 3221224592 3217028880 134545626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6531 5642 566 18 0 6513 0
vsize: 26124
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 1768 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 2768 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 3768 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 4768 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 5769 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134527984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 6769 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 7769 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 8769 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 9769 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 10769 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 11769 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223536 134559269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 12770 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 13770 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 14770 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 15770 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 16770 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 17770 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 18771 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 19771 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 20771 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 21771 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 22771 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 23772 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 24772 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114366 0 0 0 25772 231 0 0 25 0 1 0 834160038 70025216 16056 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16056 566 18 0 17078 0
vsize: 68384
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 114618 0 0 0 26771 232 0 0 25 0 1 0 834160038 71057408 16308 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17348 16308 566 18 0 17330 0
vsize: 69392
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115093 0 0 0 27770 234 0 0 25 0 1 0 834160038 73048064 16783 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17834 16783 566 18 0 17816 0
vsize: 71336
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115135 0 0 0 28770 234 0 0 25 0 1 0 834160038 73203712 16825 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17872 16825 566 18 0 17854 0
vsize: 71488
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115135 0 0 0 29770 234 0 0 25 0 1 0 834160038 73203712 16825 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17872 16825 566 18 0 17854 0
vsize: 71488
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115135 0 0 0 30771 234 0 0 25 0 1 0 834160038 73203712 16825 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17872 16825 566 18 0 17854 0
vsize: 71488
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115135 0 0 0 31771 234 0 0 25 0 1 0 834160038 73203712 16825 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17872 16825 566 18 0 17854 0
vsize: 71488
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115135 0 0 0 32771 234 0 0 25 0 1 0 834160038 73203712 16825 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17872 16825 566 18 0 17854 0
vsize: 71488
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115135 0 0 0 33771 234 0 0 25 0 1 0 834160038 73203712 16825 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17872 16825 566 18 0 17854 0
vsize: 71488
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115135 0 0 0 34771 234 0 0 25 0 1 0 834160038 73203712 16825 4294967295 134512640 134581331 3221224592 3221223504 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17872 16825 566 18 0 17854 0
vsize: 71488
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115135 0 0 0 35772 234 0 0 25 0 1 0 834160038 73203712 16825 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17872 16825 566 18 0 17854 0
vsize: 71488
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115135 0 0 0 36772 234 0 0 25 0 1 0 834160038 73203712 16825 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17872 16825 566 18 0 17854 0
vsize: 71488
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115150 0 0 0 37772 234 0 0 25 0 1 0 834160038 73322496 16840 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17901 16840 566 18 0 17883 0
vsize: 71604
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115200 0 0 0 38772 234 0 0 25 0 1 0 834160038 73437184 16890 4294967295 134512640 134581331 3221224592 3221223456 134528425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17929 16890 566 18 0 17911 0
vsize: 71716
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115248 0 0 0 39772 235 0 0 25 0 1 0 834160038 73670656 16938 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17986 16938 566 18 0 17968 0
vsize: 71944
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115298 0 0 0 40771 235 0 0 25 0 1 0 834160038 73904128 16988 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18043 16988 566 18 0 18025 0
vsize: 72172
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115349 0 0 0 41772 235 0 0 25 0 1 0 834160038 74137600 17039 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18100 17039 566 18 0 18082 0
vsize: 72400
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115399 0 0 0 42772 235 0 0 25 0 1 0 834160038 74252288 17089 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18128 17089 566 18 0 18110 0
vsize: 72512
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115447 0 0 0 43771 236 0 0 25 0 1 0 834160038 74485760 17137 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18185 17137 566 18 0 18167 0
vsize: 72740
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115494 0 0 0 44771 236 0 0 25 0 1 0 834160038 74719232 17184 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18242 17184 566 18 0 18224 0
vsize: 72968
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115545 0 0 0 45771 236 0 0 25 0 1 0 834160038 74952704 17235 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18299 17235 566 18 0 18281 0
vsize: 73196
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115595 0 0 0 46771 237 0 0 25 0 1 0 834160038 75067392 17285 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18327 17285 566 18 0 18309 0
vsize: 73308
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115643 0 0 0 47771 237 0 0 25 0 1 0 834160038 75300864 17333 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18384 17333 566 18 0 18366 0
vsize: 73536
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115693 0 0 0 48771 237 0 0 25 0 1 0 834160038 75534336 17383 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18441 17383 566 18 0 18423 0
vsize: 73764
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115744 0 0 0 49771 237 0 0 25 0 1 0 834160038 75767808 17434 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18498 17434 566 18 0 18480 0
vsize: 73992
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115791 0 0 0 50771 237 0 0 25 0 1 0 834160038 75882496 17481 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18526 17481 566 18 0 18508 0
vsize: 74104
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115838 0 0 0 51771 238 0 0 25 0 1 0 834160038 76115968 17528 4294967295 134512640 134581331 3221224592 3221223508 1075285501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18583 17528 566 18 0 18565 0
vsize: 74332
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115886 0 0 0 52771 238 0 0 25 0 1 0 834160038 76349440 17576 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18640 17576 566 18 0 18622 0
vsize: 74560
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115933 0 0 0 53771 238 0 0 25 0 1 0 834160038 76464128 17623 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18668 17623 566 18 0 18650 0
vsize: 74672
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 54771 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 55771 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 56771 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 57771 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 58772 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 59772 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 60772 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 61772 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 62772 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 63773 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 64773 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 65773 238 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 66773 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 67773 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 68773 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 69774 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 70774 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 71774 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 72774 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 73775 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 74775 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 75775 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 76776 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 77776 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 78776 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+800.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 79787 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+810.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 80787 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+820.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 81787 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+830.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 82787 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+840.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 83787 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+850.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 84787 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+860.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 85787 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+870.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 86788 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+880.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 87790 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+890.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 88790 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+900.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 89792 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+910.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 90792 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+920.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 91792 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+930.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 92792 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+940.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 93792 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+950.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 94793 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+960.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 95793 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+970.175 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 96794 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+980.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115949 0 0 0 97795 239 0 0 25 0 1 0 834160038 76582912 17639 4294967295 134512640 134581331 3221224592 3221223504 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17639 566 18 0 18679 0
vsize: 74788
[startup+990.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115950 0 0 0 98796 239 0 0 25 0 1 0 834160038 76582912 17640 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17640 566 18 0 18679 0
vsize: 74788
[startup+1000.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115961 0 0 0 99797 239 0 0 25 0 1 0 834160038 76652544 17651 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18714 17651 566 18 0 18696 0
vsize: 74856
[startup+1010.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 115981 0 0 0 100797 239 0 0 25 0 1 0 834160038 76722176 17671 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18731 17671 566 18 0 18713 0
vsize: 74924
[startup+1020.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 101797 240 0 0 25 0 1 0 834160038 76804096 17692 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18751 17692 566 18 0 18733 0
vsize: 75004
[startup+1030.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 102797 240 0 0 25 0 1 0 834160038 76804096 17692 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18751 17692 566 18 0 18733 0
vsize: 75004
[startup+1040.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 103809 240 0 0 25 0 1 0 834160038 76804096 17692 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18751 17692 566 18 0 18733 0
vsize: 75004
[startup+1050.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 104809 240 0 0 25 0 1 0 834160038 76804096 17692 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18751 17692 566 18 0 18733 0
vsize: 75004
[startup+1060.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 105809 240 0 0 25 0 1 0 834160038 76718080 17691 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17691 566 18 0 18712 0
vsize: 74920
[startup+1070.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 106809 240 0 0 25 0 1 0 834160038 76718080 17691 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17691 566 18 0 18712 0
vsize: 74920
[startup+1080.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 107809 241 0 0 25 0 1 0 834160038 76718080 17691 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17691 566 18 0 18712 0
vsize: 74920
[startup+1090.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 108809 241 0 0 25 0 1 0 834160038 76718080 17691 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17691 566 18 0 18712 0
vsize: 74920
[startup+1100.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 109809 241 0 0 25 0 1 0 834160038 76718080 17691 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17691 566 18 0 18712 0
vsize: 74920
[startup+1110.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 110810 241 0 0 25 0 1 0 834160038 76718080 17691 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17691 566 18 0 18712 0
vsize: 74920
[startup+1120.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116002 0 0 0 111810 241 0 0 25 0 1 0 834160038 76718080 17691 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17691 566 18 0 18712 0
vsize: 74920
[startup+1130.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 116071 0 0 0 112810 241 0 0 25 0 1 0 834160038 77078528 17760 4294967295 134512640 134581331 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18818 17761 566 18 0 18800 0
vsize: 75272
[startup+1140.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 117361 0 0 0 113806 245 0 0 25 0 1 0 834160038 82415616 19050 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20121 19050 566 18 0 20103 0
vsize: 80484
[startup+1150.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 117847 0 0 0 114804 247 0 0 25 0 1 0 834160038 84299776 19536 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20581 19536 566 18 0 20563 0
vsize: 82324
[startup+1160.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 117847 0 0 0 115804 247 0 0 25 0 1 0 834160038 84299776 19536 4294967295 134512640 134581331 3221224592 3221223504 134527984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20581 19536 566 18 0 20563 0
vsize: 82324
[startup+1170.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 117847 0 0 0 116804 247 0 0 25 0 1 0 834160038 84299776 19536 4294967295 134512640 134581331 3221224592 3221223504 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20581 19536 566 18 0 20563 0
vsize: 82324
[startup+1180.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 117847 0 0 0 117804 247 0 0 25 0 1 0 834160038 84299776 19536 4294967295 134512640 134581331 3221224592 3221223504 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20581 19536 566 18 0 20563 0
vsize: 82324
[startup+1190.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 117847 0 0 0 118805 247 0 0 25 0 1 0 834160038 84299776 19536 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20581 19536 566 18 0 20563 0
vsize: 82324
[startup+1200.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11892
Raw data (stat): 11892 (Pueblo) R 11891 5562 5561 0 -1 0 117847 0 0 0 119805 247 0 0 25 0 1 0 834160038 84299776 19536 4294967295 134512640 134581331 3221224592 3221223504 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20581 19536 566 18 0 20563 0
vsize: 82324
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.36 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 11892
Raw data (stat): 11892 (Pueblo) Z 11891 5562 5561 0 -1 1036 117847 0 0 0 119805 251 0 0 25 0 1 0 834160038 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.36
CPU time (s): 1200.57
CPU user time (s): 1198.05
CPU system time (s): 2.51462
CPU usage (%): 100.017
Max. virtual memory (Kb): 82324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####