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-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4742
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.33
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 26448

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 15:38:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13488 boxname=wulflinc11 idbench=1038 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 13488
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        641348 kB
Buffers:         38124 kB
Cached:         320356 kB
SwapCached:         84 kB
Active:          70660 kB
Inactive:       300412 kB
HighTotal:      131008 kB
HighFree:        69272 kB
LowTotal:       903652 kB
LowFree:        572076 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6876 kB
Slab:            16720 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:58:05 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 13488 7 1200.38 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.92 0.98 0.99 2/54 26320
Raw data (stat): 26320 (runsolver) R 26319 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773151922 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.99999 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 1356 0 0 0 995 3 0 0 25 0 1 0 773151922 11206656 1334 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2736 1334 566 18 0 2718 0
vsize: 10944
[startup+20.001 s]
Raw data (loadavg): 1.08 1.02 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 1691 0 0 0 1995 3 0 0 25 0 1 0 773151922 12578816 1669 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3071 1669 566 18 0 3053 0
vsize: 12284
[startup+30.0014 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 1875 0 0 0 2995 3 0 0 25 0 1 0 773151922 13246464 1853 4294967295 134512640 134581331 3221224592 3221223312 134522586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 1853 566 18 0 3216 0
vsize: 12936
[startup+40.0013 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 2208 0 0 0 3994 4 0 0 25 0 1 0 773151922 14696448 2186 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3588 2186 566 18 0 3570 0
vsize: 14352
[startup+50.0024 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 2406 0 0 0 4994 5 0 0 25 0 1 0 773151922 15503360 2384 4294967295 134512640 134581331 3221224592 3221221616 134532805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3785 2384 566 18 0 3767 0
vsize: 15140
[startup+60.0024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 2645 0 0 0 5993 5 0 0 25 0 1 0 773151922 16404480 2623 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+70.0026 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 2645 0 0 0 6994 5 0 0 25 0 1 0 773151922 16404480 2623 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+80.0024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 2645 0 0 0 7994 5 0 0 25 0 1 0 773151922 16404480 2623 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+90.0027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 2645 0 0 0 8994 5 0 0 25 0 1 0 773151922 16404480 2623 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+100.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 2645 0 0 0 9994 5 0 0 25 0 1 0 773151922 16404480 2623 4294967295 134512640 134581331 3221224592 3221223504 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+110.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 2689 0 0 0 10994 5 0 0 25 0 1 0 773151922 16674816 2667 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4071 2667 566 18 0 4053 0
vsize: 16284
[startup+120.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3098 0 0 0 11994 6 0 0 25 0 1 0 773151922 18239488 3076 4294967295 134512640 134581331 3221224592 3221223456 134528272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4453 3076 566 18 0 4435 0
vsize: 17812
[startup+130.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3132 0 0 0 12994 6 0 0 25 0 1 0 773151922 18305024 3092 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3092 566 18 0 4451 0
vsize: 17876
[startup+140.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3151 0 0 0 13994 6 0 0 25 0 1 0 773151922 18448384 3111 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4504 3111 566 18 0 4486 0
vsize: 18016
[startup+150.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3151 0 0 0 14994 6 0 0 25 0 1 0 773151922 18448384 3111 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4504 3111 566 18 0 4486 0
vsize: 18016
[startup+160.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3151 0 0 0 15995 6 0 0 25 0 1 0 773151922 18448384 3111 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4504 3111 566 18 0 4486 0
vsize: 18016
[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3627 0 0 0 16994 7 0 0 25 0 1 0 773151922 20402176 3587 4294967295 134512640 134581331 3221224592 3221223504 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 3587 566 18 0 4963 0
vsize: 19924
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3708 0 0 0 17994 7 0 0 25 0 1 0 773151922 20754432 3668 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5067 3668 566 18 0 5049 0
vsize: 20268
[startup+190.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3709 0 0 0 18994 7 0 0 25 0 1 0 773151922 20754432 3669 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5067 3669 566 18 0 5049 0
vsize: 20268
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 19994 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 20994 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 21995 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 22995 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 23995 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 24995 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 25996 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+270.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 26996 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223424 134528569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 27996 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 28997 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+300.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 29997 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223520 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+310.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 30998 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+320.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 31998 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+330.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 3970 0 0 0 32999 7 0 0 25 0 1 0 773151922 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+340.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4194 0 0 0 33999 7 0 0 25 0 1 0 773151922 22724608 4154 4294967295 134512640 134581331 3221224592 3221223536 134558950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4154 566 18 0 5530 0
vsize: 22192
[startup+350.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4544 0 0 0 34998 9 0 0 25 0 1 0 773151922 24145920 4504 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5895 4504 566 18 0 5877 0
vsize: 23580
[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4544 0 0 0 35999 9 0 0 25 0 1 0 773151922 24145920 4504 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5895 4504 566 18 0 5877 0
vsize: 23580
[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4544 0 0 0 36999 9 0 0 25 0 1 0 773151922 24145920 4504 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5895 4504 566 18 0 5877 0
vsize: 23580
[startup+380.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4545 0 0 0 37999 9 0 0 25 0 1 0 773151922 24145920 4505 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5895 4505 566 18 0 5877 0
vsize: 23580
[startup+390.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4565 0 0 0 38999 9 0 0 25 0 1 0 773151922 24268800 4525 4294967295 134512640 134581331 3221224592 3221223572 134560793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5925 4525 566 18 0 5907 0
vsize: 23700
[startup+400.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4565 0 0 0 39999 9 0 0 25 0 1 0 773151922 24268800 4525 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5925 4525 566 18 0 5907 0
vsize: 23700
[startup+410.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4565 0 0 0 40999 9 0 0 25 0 1 0 773151922 24268800 4525 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5925 4525 566 18 0 5907 0
vsize: 23700
[startup+420.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 42000 9 0 0 25 0 1 0 773151922 24506368 4605 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+430.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 43000 9 0 0 25 0 1 0 773151922 24506368 4605 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 44000 9 0 0 25 0 1 0 773151922 24506368 4605 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 45000 9 0 0 25 0 1 0 773151922 24506368 4605 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 46000 9 0 0 25 0 1 0 773151922 24506368 4605 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 47000 9 0 0 25 0 1 0 773151922 24506368 4605 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 48001 9 0 0 25 0 1 0 773151922 24506368 4605 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 49001 9 0 0 25 0 1 0 773151922 24506368 4605 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 50001 9 0 0 25 0 1 0 773151922 24489984 4601 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 51001 9 0 0 25 0 1 0 773151922 24489984 4601 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+520.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 52001 9 0 0 25 0 1 0 773151922 24489984 4601 4294967295 134512640 134581331 3221224592 3221223488 134517915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 53002 9 0 0 25 0 1 0 773151922 24489984 4601 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4645 0 0 0 54002 9 0 0 25 0 1 0 773151922 24489984 4601 4294967295 134512640 134581331 3221224592 3221223504 134527647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4752 0 0 0 55002 9 0 0 25 0 1 0 773151922 24977408 4708 4294967295 134512640 134581331 3221224592 3221223488 134517818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6098 4708 566 18 0 6080 0
vsize: 24392
[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4752 0 0 0 56002 9 0 0 25 0 1 0 773151922 24977408 4708 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6098 4708 566 18 0 6080 0
vsize: 24392
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4752 0 0 0 57002 9 0 0 25 0 1 0 773151922 24977408 4708 4294967295 134512640 134581331 3221224592 3221223504 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6098 4708 566 18 0 6080 0
vsize: 24392
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 4817 0 0 0 58002 9 0 0 25 0 1 0 773151922 25210880 4773 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6155 4773 566 18 0 6137 0
vsize: 24620
[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 59002 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 60003 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+610.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 61004 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 62004 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 63005 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+640.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 64006 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+650.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 65007 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+660.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 66007 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+670.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 67007 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+680.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 68007 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+690.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 69007 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+700.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 70007 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+710.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5015 0 0 0 71007 9 0 0 25 0 1 0 773151922 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+720.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5128 0 0 0 72007 9 0 0 25 0 1 0 773151922 26509312 5084 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6472 5084 566 18 0 6454 0
vsize: 25888
[startup+730.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5128 0 0 0 73008 9 0 0 25 0 1 0 773151922 26509312 5084 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6472 5084 566 18 0 6454 0
vsize: 25888
[startup+740.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5128 0 0 0 74008 9 0 0 25 0 1 0 773151922 26509312 5084 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6472 5084 566 18 0 6454 0
vsize: 25888
[startup+750.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5128 0 0 0 75008 9 0 0 25 0 1 0 773151922 26509312 5084 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6472 5084 566 18 0 6454 0
vsize: 25888
[startup+760.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5403 0 0 0 76008 10 0 0 25 0 1 0 773151922 27676672 5359 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5359 566 18 0 6739 0
vsize: 27028
[startup+770.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5403 0 0 0 77008 10 0 0 25 0 1 0 773151922 27676672 5359 4294967295 134512640 134581331 3221224592 3221223376 134528714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5359 566 18 0 6739 0
vsize: 27028
[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5403 0 0 0 78008 10 0 0 25 0 1 0 773151922 27676672 5359 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5359 566 18 0 6739 0
vsize: 27028
[startup+790.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5403 0 0 0 79008 10 0 0 25 0 1 0 773151922 27676672 5359 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5359 566 18 0 6739 0
vsize: 27028
[startup+800.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 80008 10 0 0 25 0 1 0 773151922 28545024 5567 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+810.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 81008 10 0 0 25 0 1 0 773151922 28545024 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+820.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 82008 10 0 0 25 0 1 0 773151922 28545024 5567 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+830.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 83008 10 0 0 25 0 1 0 773151922 28545024 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+840.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 84008 10 0 0 25 0 1 0 773151922 28545024 5567 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+850.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 85009 10 0 0 25 0 1 0 773151922 28545024 5567 4294967295 134512640 134581331 3221224592 3221223536 134558859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 86009 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223312 134522613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 87009 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 88009 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+890.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 89009 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+900.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 90010 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+910.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 91010 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+920.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 92010 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+930.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 93010 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134519027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 94010 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223312 134524432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+950.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 95010 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223536 134516825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 96011 10 0 0 25 0 1 0 773151922 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 97011 10 0 0 25 0 1 0 773151922 28528640 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6965 5567 566 18 0 6947 0
vsize: 27860
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 98011 10 0 0 25 0 1 0 773151922 28528640 5567 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6965 5567 566 18 0 6947 0
vsize: 27860
[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 99011 10 0 0 25 0 1 0 773151922 28528640 5567 4294967295 134512640 134581331 3221224592 3221223312 134522581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6965 5567 566 18 0 6947 0
vsize: 27860
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 100012 10 0 0 25 0 1 0 773151922 28528640 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6965 5567 566 18 0 6947 0
vsize: 27860
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 101012 11 0 0 25 0 1 0 773151922 28520448 5567 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6963 5567 566 18 0 6945 0
vsize: 27852
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 102013 11 0 0 25 0 1 0 773151922 28520448 5567 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6963 5567 566 18 0 6945 0
vsize: 27852
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 103013 11 0 0 25 0 1 0 773151922 28520448 5567 4294967295 134512640 134581331 3221224592 3221223488 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6963 5567 566 18 0 6945 0
vsize: 27852
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 104014 11 0 0 25 0 1 0 773151922 28512256 5567 4294967295 134512640 134581331 3221224592 3221223288 1075291317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6961 5567 566 18 0 6943 0
vsize: 27844
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 105014 11 0 0 25 0 1 0 773151922 28512256 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6961 5567 566 18 0 6943 0
vsize: 27844
[startup+1060.13 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 106018 11 0 0 25 0 1 0 773151922 28512256 5567 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6961 5567 566 18 0 6943 0
vsize: 27844
[startup+1070.13 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 107018 11 0 0 25 0 1 0 773151922 28508160 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6960 5567 566 18 0 6942 0
vsize: 27840
[startup+1080.14 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 108018 11 0 0 25 0 1 0 773151922 28508160 5567 4294967295 134512640 134581331 3221224592 3221223536 134558800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6960 5567 566 18 0 6942 0
vsize: 27840
[startup+1090.15 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 109020 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1100.15 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 110021 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1110.15 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 111021 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1120.16 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 112022 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1130.17 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 113023 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1140.18 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 114024 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1150.18 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 115024 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1160.18 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 116024 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1170.18 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 117024 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1180.18 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 118024 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 119025 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26320
Raw data (stat): 26320 (Pueblo) R 26319 25830 25829 0 -1 0 5611 0 0 0 120025 11 0 0 25 0 1 0 773151922 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 26320
Raw data (stat): 26320 (Pueblo) Z 26319 25830 25829 0 -1 1036 5611 0 0 0 120025 12 0 0 25 0 1 0 773151922 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.19
CPU time (s): 1200.38
CPU user time (s): 1200.25
CPU system time (s): 0.122981
CPU usage (%): 100.015
Max. virtual memory (Kb): 27876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####