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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb
MD5SUM	5482c063922cabc25678dee80f9b5125
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39256355821
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39256355821
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.965852
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26911

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 17:57:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19169 boxname=wulflinc19 idbench=1475 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5482c063922cabc25678dee80f9b5125  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-n370d.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-n370d.opb
IDLAUNCH: 19169
/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:        445260 kB
Buffers:         11784 kB
Cached:         545568 kB
SwapCached:        520 kB
Active:          28148 kB
Inactive:       531556 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        445008 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            24024 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:17:53 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 19169 7 1200.25 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.95 0.97 2/54 12826
Raw data (stat): 12826 (runsolver) R 12825 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832208773 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.0009 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 79020 0 0 0 844 155 0 0 25 0 1 0 832208773 56082432 11991 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13692 12000 566 18 0 13674 0
vsize: 54768
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 380948 0 0 0 1285 714 0 0 25 0 1 0 832208773 57569280 12438 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14055 12446 566 18 0 14037 0
vsize: 56220
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 1956 1043 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 2956 1044 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 3955 1045 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 4954 1045 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 5954 1046 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 6954 1046 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 7954 1046 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 8954 1046 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 9954 1046 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 10954 1047 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 12826
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 11953 1047 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+140.002 s]
Raw data (loadavg): 1.15 1.00 0.98 2/54 12879
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 12947 1054 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+150.003 s]
Raw data (loadavg): 1.13 1.00 0.98 2/54 12879
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 13947 1054 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+160.004 s]
Raw data (loadavg): 1.11 1.00 0.98 2/54 12879
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 14946 1055 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+170.004 s]
Raw data (loadavg): 1.09 1.00 0.98 2/54 12879
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 15946 1055 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+180.004 s]
Raw data (loadavg): 1.08 1.00 0.98 2/54 12879
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 16945 1056 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+190.005 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 12879
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 17945 1057 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223552 134559377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+200.004 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 18944 1058 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+210.005 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 19944 1058 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+220.006 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 20944 1058 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+230.006 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 21943 1058 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+240.006 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 22943 1059 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+250.007 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 23943 1059 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+260.007 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 24943 1060 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+270.007 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 25943 1060 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+280.007 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 26943 1060 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+290.007 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 27943 1060 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223380 1075285153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+300.008 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 28942 1061 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+310.008 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 29942 1061 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+320.009 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558787 0 0 0 30942 1062 0 0 25 0 1 0 832208773 57044992 12396 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558805 0 0 0 31942 1062 0 0 25 0 1 0 832208773 57171968 12414 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13958 12414 566 18 0 13940 0
vsize: 55832
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558846 0 0 0 32941 1063 0 0 25 0 1 0 832208773 57303040 12455 4294967295 134512640 134581331 3221224608 3221223520 134527980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13990 12455 566 18 0 13972 0
vsize: 55960
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558887 0 0 0 33941 1063 0 0 25 0 1 0 832208773 57434112 12496 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14022 12496 566 18 0 14004 0
vsize: 56088
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558929 0 0 0 34941 1063 0 0 25 0 1 0 832208773 57696256 12538 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14086 12538 566 18 0 14068 0
vsize: 56344
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 558983 0 0 0 35941 1064 0 0 25 0 1 0 832208773 57827328 12592 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14118 12592 566 18 0 14100 0
vsize: 56472
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559031 0 0 0 36941 1064 0 0 25 0 1 0 832208773 58081280 12640 4294967295 134512640 134581331 3221224608 3221223520 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14180 12640 566 18 0 14162 0
vsize: 56720
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559060 0 0 0 37940 1064 0 0 25 0 1 0 832208773 58212352 12669 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14212 12669 566 18 0 14194 0
vsize: 56848
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559097 0 0 0 38940 1065 0 0 25 0 1 0 832208773 58343424 12706 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14244 12706 566 18 0 14226 0
vsize: 56976
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559144 0 0 0 39940 1065 0 0 25 0 1 0 832208773 58474496 12753 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14276 12753 566 18 0 14258 0
vsize: 57104
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559208 0 0 0 40940 1066 0 0 25 0 1 0 832208773 58847232 12817 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14367 12817 566 18 0 14349 0
vsize: 57468
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559262 0 0 0 41940 1066 0 0 25 0 1 0 832208773 58970112 12871 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14397 12871 566 18 0 14379 0
vsize: 57588
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559305 0 0 0 42939 1067 0 0 25 0 1 0 832208773 59215872 12914 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14457 12914 566 18 0 14439 0
vsize: 57828
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559342 0 0 0 43939 1067 0 0 25 0 1 0 832208773 59334656 12951 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14486 12951 566 18 0 14468 0
vsize: 57944
[startup+460.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12881
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559458 0 0 0 44939 1067 0 0 25 0 1 0 832208773 59813888 13067 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14603 13067 566 18 0 14585 0
vsize: 58412
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559549 0 0 0 45938 1068 0 0 25 0 1 0 832208773 60178432 13158 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14692 13158 566 18 0 14674 0
vsize: 58768
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559621 0 0 0 46939 1068 0 0 25 0 1 0 832208773 60424192 13230 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14752 13230 566 18 0 14734 0
vsize: 59008
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559685 0 0 0 47939 1069 0 0 25 0 1 0 832208773 60792832 13294 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14842 13294 566 18 0 14824 0
vsize: 59368
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559728 0 0 0 48939 1069 0 0 25 0 1 0 832208773 60923904 13337 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14874 13337 566 18 0 14856 0
vsize: 59496
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559810 0 0 0 49939 1070 0 0 25 0 1 0 832208773 61292544 13419 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14964 13419 566 18 0 14946 0
vsize: 59856
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559887 0 0 0 50939 1070 0 0 25 0 1 0 832208773 61538304 13496 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15024 13496 566 18 0 15006 0
vsize: 60096
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559928 0 0 0 51939 1070 0 0 25 0 1 0 832208773 61784064 13537 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15084 13537 566 18 0 15066 0
vsize: 60336
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 559989 0 0 0 52938 1071 0 0 25 0 1 0 832208773 62029824 13598 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15144 13598 566 18 0 15126 0
vsize: 60576
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560081 0 0 0 53938 1072 0 0 25 0 1 0 832208773 62386176 13690 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15231 13690 566 18 0 15213 0
vsize: 60924
[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560147 0 0 0 54939 1072 0 0 25 0 1 0 832208773 62640128 13756 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15293 13756 566 18 0 15275 0
vsize: 61172
[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560213 0 0 0 55938 1073 0 0 25 0 1 0 832208773 62889984 13822 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15354 13822 566 18 0 15336 0
vsize: 61416
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560316 0 0 0 56938 1073 0 0 25 0 1 0 832208773 63389696 13925 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15476 13925 566 18 0 15458 0
vsize: 61904
[startup+590.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560391 0 0 0 57938 1073 0 0 25 0 1 0 832208773 63639552 14000 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15537 14000 566 18 0 15519 0
vsize: 62148
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560463 0 0 0 58937 1074 0 0 25 0 1 0 832208773 63901696 14072 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15601 14072 566 18 0 15583 0
vsize: 62404
[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560535 0 0 0 59937 1075 0 0 25 0 1 0 832208773 64286720 14144 4294967295 134512640 134581331 3221224608 3221223520 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15695 14144 566 18 0 15677 0
vsize: 62780
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560620 0 0 0 60936 1076 0 0 25 0 1 0 832208773 64548864 14229 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15759 14229 566 18 0 15741 0
vsize: 63036
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560646 0 0 0 61936 1076 0 0 25 0 1 0 832208773 64675840 14255 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15790 14255 566 18 0 15772 0
vsize: 63160
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560713 0 0 0 62935 1077 0 0 25 0 1 0 832208773 64925696 14322 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15851 14322 566 18 0 15833 0
vsize: 63404
[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560791 0 0 0 63934 1078 0 0 25 0 1 0 832208773 65318912 14400 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15947 14400 566 18 0 15929 0
vsize: 63788
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560858 0 0 0 64934 1078 0 0 25 0 1 0 832208773 65568768 14467 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16008 14467 566 18 0 15990 0
vsize: 64032
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 560931 0 0 0 65934 1079 0 0 25 0 1 0 832208773 65810432 14540 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16067 14540 566 18 0 16049 0
vsize: 64268
[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561014 0 0 0 66933 1080 0 0 25 0 1 0 832208773 66244608 14623 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16173 14623 566 18 0 16155 0
vsize: 64692
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561081 0 0 0 67933 1080 0 0 25 0 1 0 832208773 66490368 14690 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16233 14690 566 18 0 16215 0
vsize: 64932
[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561114 0 0 0 68933 1080 0 0 25 0 1 0 832208773 66609152 14723 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16262 14723 566 18 0 16244 0
vsize: 65048
[startup+710.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561153 0 0 0 69932 1081 0 0 25 0 1 0 832208773 66732032 14762 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16292 14762 566 18 0 16274 0
vsize: 65168
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561214 0 0 0 70931 1082 0 0 25 0 1 0 832208773 66994176 14823 4294967295 134512640 134581331 3221224608 3221223520 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16356 14823 566 18 0 16338 0
vsize: 65424
[startup+730.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561261 0 0 0 71931 1082 0 0 25 0 1 0 832208773 67248128 14870 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16418 14870 566 18 0 16400 0
vsize: 65672
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561291 0 0 0 72931 1082 0 0 25 0 1 0 832208773 67379200 14900 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16450 14900 566 18 0 16432 0
vsize: 65800
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561332 0 0 0 73931 1083 0 0 25 0 1 0 832208773 67502080 14941 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16480 14941 566 18 0 16462 0
vsize: 65920
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561360 0 0 0 74930 1084 0 0 25 0 1 0 832208773 67629056 14969 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16511 14969 566 18 0 16493 0
vsize: 66044
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561378 0 0 0 75929 1085 0 0 25 0 1 0 832208773 67760128 14987 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16543 14987 566 18 0 16525 0
vsize: 66172
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561413 0 0 0 76928 1086 0 0 25 0 1 0 832208773 67887104 15022 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16574 15022 566 18 0 16556 0
vsize: 66296
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561446 0 0 0 77928 1086 0 0 25 0 1 0 832208773 68005888 15055 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16603 15055 566 18 0 16585 0
vsize: 66412
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561485 0 0 0 78928 1087 0 0 25 0 1 0 832208773 68124672 15094 4294967295 134512640 134581331 3221224608 3221223520 134527707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16632 15094 566 18 0 16614 0
vsize: 66528
[startup+810.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561527 0 0 0 79927 1087 0 0 25 0 1 0 832208773 68255744 15136 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16664 15136 566 18 0 16646 0
vsize: 66656
[startup+820.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561578 0 0 0 80927 1088 0 0 25 0 1 0 832208773 68517888 15187 4294967295 134512640 134581331 3221224608 3221223520 134527987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16728 15187 566 18 0 16710 0
vsize: 66912
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561625 0 0 0 81927 1089 0 0 25 0 1 0 832208773 68767744 15234 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16789 15234 566 18 0 16771 0
vsize: 67156
[startup+840.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561675 0 0 0 82926 1089 0 0 25 0 1 0 832208773 68886528 15284 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16818 15284 566 18 0 16800 0
vsize: 67272
[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561737 0 0 0 83926 1090 0 0 25 0 1 0 832208773 69148672 15346 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16882 15346 566 18 0 16864 0
vsize: 67528
[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561798 0 0 0 84925 1091 0 0 25 0 1 0 832208773 69390336 15407 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16941 15407 566 18 0 16923 0
vsize: 67764
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561842 0 0 0 85925 1091 0 0 25 0 1 0 832208773 69632000 15451 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17000 15451 566 18 0 16982 0
vsize: 68000
[startup+880.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561924 0 0 0 86924 1091 0 0 25 0 1 0 832208773 69894144 15533 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17064 15533 566 18 0 17046 0
vsize: 68256
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 561963 0 0 0 87924 1092 0 0 25 0 1 0 832208773 70156288 15572 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17128 15572 566 18 0 17110 0
vsize: 68512
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562009 0 0 0 88923 1093 0 0 25 0 1 0 832208773 70287360 15618 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17160 15618 566 18 0 17142 0
vsize: 68640
[startup+910.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562059 0 0 0 89923 1094 0 0 25 0 1 0 832208773 70545408 15668 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17223 15668 566 18 0 17205 0
vsize: 68892
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562109 0 0 0 90922 1094 0 0 25 0 1 0 832208773 70664192 15718 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17252 15718 566 18 0 17234 0
vsize: 69008
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562149 0 0 0 91922 1095 0 0 25 0 1 0 832208773 70795264 15758 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17284 15758 566 18 0 17266 0
vsize: 69136
[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562209 0 0 0 92921 1095 0 0 25 0 1 0 832208773 71053312 15818 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17347 15818 566 18 0 17329 0
vsize: 69388
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562245 0 0 0 93921 1096 0 0 25 0 1 0 832208773 71303168 15854 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17408 15854 566 18 0 17390 0
vsize: 69632
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562293 0 0 0 94920 1097 0 0 25 0 1 0 832208773 71430144 15902 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17439 15902 566 18 0 17421 0
vsize: 69756
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562373 0 0 0 95920 1098 0 0 25 0 1 0 832208773 71802880 15982 4294967295 134512640 134581331 3221224608 3221223520 134527780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17530 15982 566 18 0 17512 0
vsize: 70120
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562437 0 0 0 96919 1098 0 0 25 0 1 0 832208773 72052736 16046 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17591 16046 566 18 0 17573 0
vsize: 70364
[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562540 0 0 0 97919 1099 0 0 25 0 1 0 832208773 72429568 16149 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17683 16149 566 18 0 17665 0
vsize: 70732
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562625 0 0 0 98918 1100 0 0 25 0 1 0 832208773 72798208 16234 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17773 16234 566 18 0 17755 0
vsize: 71092
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562691 0 0 0 99917 1101 0 0 25 0 1 0 832208773 73043968 16300 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17833 16300 566 18 0 17815 0
vsize: 71332
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562730 0 0 0 100917 1101 0 0 25 0 1 0 832208773 73175040 16339 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17865 16339 566 18 0 17847 0
vsize: 71460
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562780 0 0 0 101916 1102 0 0 25 0 1 0 832208773 73437184 16389 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17929 16389 566 18 0 17911 0
vsize: 71716
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562824 0 0 0 102916 1103 0 0 25 0 1 0 832208773 73568256 16433 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17961 16433 566 18 0 17943 0
vsize: 71844
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562851 0 0 0 103915 1103 0 0 25 0 1 0 832208773 73691136 16460 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17991 16460 566 18 0 17973 0
vsize: 71964
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562902 0 0 0 104915 1104 0 0 25 0 1 0 832208773 73953280 16511 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18055 16511 566 18 0 18037 0
vsize: 72220
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 562953 0 0 0 105914 1105 0 0 25 0 1 0 832208773 74084352 16562 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18087 16562 566 18 0 18069 0
vsize: 72348
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563000 0 0 0 106914 1105 0 0 25 0 1 0 832208773 74346496 16609 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18151 16609 566 18 0 18133 0
vsize: 72604
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563058 0 0 0 107913 1106 0 0 25 0 1 0 832208773 74604544 16667 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18214 16667 566 18 0 18196 0
vsize: 72856
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563099 0 0 0 108913 1106 0 0 25 0 1 0 832208773 74735616 16708 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18246 16708 566 18 0 18228 0
vsize: 72984
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563133 0 0 0 109913 1106 0 0 25 0 1 0 832208773 74866688 16742 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18278 16742 566 18 0 18260 0
vsize: 73112
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563160 0 0 0 110914 1106 0 0 25 0 1 0 832208773 74989568 16769 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16769 566 18 0 18290 0
vsize: 73232
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563199 0 0 0 111914 1106 0 0 25 0 1 0 832208773 75120640 16808 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18340 16808 566 18 0 18322 0
vsize: 73360
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563223 0 0 0 112914 1106 0 0 25 0 1 0 832208773 75239424 16832 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18369 16832 566 18 0 18351 0
vsize: 73476
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563249 0 0 0 113914 1107 0 0 25 0 1 0 832208773 75358208 16858 4294967295 134512640 134581331 3221224608 3221223520 134527820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18398 16858 566 18 0 18380 0
vsize: 73592
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563286 0 0 0 114914 1107 0 0 25 0 1 0 832208773 75481088 16895 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18428 16895 566 18 0 18410 0
vsize: 73712
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563322 0 0 0 115914 1107 0 0 25 0 1 0 832208773 75612160 16931 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18460 16931 566 18 0 18442 0
vsize: 73840
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563364 0 0 0 116914 1107 0 0 25 0 1 0 832208773 75866112 16973 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18522 16973 566 18 0 18504 0
vsize: 74088
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563406 0 0 0 117914 1107 0 0 25 0 1 0 832208773 75997184 17015 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18554 17015 566 18 0 18536 0
vsize: 74216
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 12883
Raw data (stat): 12826 (Pueblo) R 12825 10795 10794 0 -1 0 563429 0 0 0 118914 1107 0 0 25 0 1 0 832208773 76124160 17038 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18585 17039 566 18 0 18567 0
vsize: 74340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 12883
Raw data (stat): 12826 (Pueblo) Z 12825 10795 10794 0 -1 1036 563430 0 0 0 118914 1110 0 0 25 0 1 0 832208773 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.1
CPU time (s): 1200.25
CPU user time (s): 1189.15
CPU system time (s): 11.1053
CPU usage (%): 100.013
Max. virtual memory (Kb): 74340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####