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/milp/normalized-mps-v2-13-7-neos19.opb
MD5SUM	807e897c82c7100925712510cfaeeca1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1611
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1611
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	3072
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	12240
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	760312
Total number of constraints	137871
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10091
Number of constraints which are nor clauses,nor cardinality constraints	127780
Minimum length of a constraint	1
Maximum length of a constraint	268
Trace number 25258

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764612 kB
Buffers:         16640 kB
Cached:         230016 kB
SwapCached:        932 kB
Active:         136080 kB
Inactive:       113916 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        764332 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:             540 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14440 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 01:46:18 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 19637 7 1200.22 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.94 0.96 0.92 2/55 530
Raw data (stat): 530 (runsolver) R 529 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 774400322 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 9751 0 0 0 965 32 0 0 25 0 1 0 774400322 45580288 9729 4294967295 134512640 134581331 3221221792 3217026056 1075245200 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11128 9729 566 18 0 11110 0
vsize: 44512
[startup+20.0018 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 20486 0 0 0 1933 64 0 0 25 0 1 0 774400322 89505792 20464 4294967295 134512640 134581331 3221221792 3217026076 134515936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21852 20464 566 18 0 21834 0
vsize: 87408
[startup+30.0017 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 23042 0 0 0 2919 78 0 0 25 0 1 0 774400322 100007936 23020 4294967295 134512640 134581331 3221221792 3217026028 1075310604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24416 23020 566 18 0 24398 0
vsize: 97664
[startup+40.0026 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 25644 0 0 0 3907 90 0 0 25 0 1 0 774400322 110645248 25622 4294967295 134512640 134581331 3221221792 3217026028 1075310604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27013 25622 566 18 0 26995 0
vsize: 108052
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 212792 0 0 0 4460 537 0 0 25 0 1 0 774400322 213131264 43839 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43846 566 18 0 52016 0
vsize: 208136
[startup+60.0044 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 476413 0 0 0 4832 1165 0 0 25 0 1 0 774400322 213131264 43695 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43701 566 18 0 52016 0
vsize: 208136
[startup+70.0045 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 739673 0 0 0 5209 1787 0 0 25 0 1 0 774400322 213131264 43933 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43940 566 18 0 52016 0
vsize: 208136
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 1002710 0 0 0 5579 2418 0 0 25 0 1 0 774400322 213131264 43948 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43955 566 18 0 52016 0
vsize: 208136
[startup+90.0074 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 1265897 0 0 0 5951 3046 0 0 25 0 1 0 774400322 210087936 43370 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43377 566 18 0 52016 0
vsize: 205164
[startup+100.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 1529127 0 0 0 6328 3669 0 0 25 0 1 0 774400322 213131264 43578 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43585 566 18 0 52016 0
vsize: 208136
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 1792356 0 0 0 6704 4293 0 0 25 0 1 0 774400322 213131264 43786 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43792 566 18 0 52016 0
vsize: 208136
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 2055307 0 0 0 7077 4920 0 0 25 0 1 0 774400322 213131264 43714 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43721 566 18 0 52016 0
vsize: 208136
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 2318726 0 0 0 7457 5541 0 0 25 0 1 0 774400322 213131264 44111 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 44113 566 18 0 52016 0
vsize: 208136
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 2581750 0 0 0 7829 6168 0 0 25 0 1 0 774400322 213131264 44113 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 44113 566 18 0 52016 0
vsize: 208136
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 2845118 0 0 0 8198 6800 0 0 25 0 1 0 774400322 213131264 43716 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43722 566 18 0 52016 0
vsize: 208136
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 3108537 0 0 0 8575 7422 0 0 25 0 1 0 774400322 213131264 44113 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 44113 566 18 0 52016 0
vsize: 208136
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 3371323 0 0 0 8952 8046 0 0 25 0 1 0 774400322 213131264 43877 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43884 566 18 0 52016 0
vsize: 208136
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 3634301 0 0 0 9326 8671 0 0 25 0 1 0 774400322 213131264 43833 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43839 566 18 0 52016 0
vsize: 208136
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 3897129 0 0 0 9694 9303 0 0 25 0 1 0 774400322 213131264 43639 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43646 566 18 0 52016 0
vsize: 208136
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 4160289 0 0 0 10068 9929 0 0 25 0 1 0 774400322 213131264 43777 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43783 566 18 0 52016 0
vsize: 208136
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 4423647 0 0 0 10445 10553 0 0 25 0 1 0 774400322 213131264 44113 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 44113 566 18 0 52016 0
vsize: 208136
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 4687097 0 0 0 10827 11171 0 0 25 0 1 0 774400322 213131264 43798 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43805 566 18 0 52016 0
vsize: 208136
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 4950434 0 0 0 11204 11794 0 0 25 0 1 0 774400322 210087936 43370 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43377 566 18 0 52016 0
vsize: 205164
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 5213662 0 0 0 11575 12423 0 0 25 0 1 0 774400322 213131264 43576 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43583 566 18 0 52016 0
vsize: 208136
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 5476810 0 0 0 11943 13055 0 0 25 0 1 0 774400322 213131264 43702 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43708 566 18 0 52016 0
vsize: 208136
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 5739735 0 0 0 12313 13685 0 0 25 0 1 0 774400322 213131264 43605 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43612 566 18 0 52016 0
vsize: 208136
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 6003052 0 0 0 12679 14319 0 0 25 0 1 0 774400322 213131264 43900 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43907 566 18 0 52016 0
vsize: 208136
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 6266156 0 0 0 13048 14950 0 0 25 0 1 0 774400322 213131264 43982 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43988 566 18 0 52016 0
vsize: 208136
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 6529192 0 0 0 13422 15575 0 0 25 0 1 0 774400322 213131264 43996 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 44003 566 18 0 52016 0
vsize: 208136
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 6792472 0 0 0 13799 16199 0 0 25 0 1 0 774400322 213131264 43511 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43517 566 18 0 52016 0
vsize: 208136
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 7055993 0 0 0 14169 16829 0 0 25 0 1 0 774400322 213131264 44010 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 44017 566 18 0 52016 0
vsize: 208136
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 7319148 0 0 0 14551 17447 0 0 25 0 1 0 774400322 213131264 43400 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43409 566 18 0 52016 0
vsize: 208136
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 7582371 0 0 0 14926 18072 0 0 25 0 1 0 774400322 213131264 43601 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43608 566 18 0 52016 0
vsize: 208136
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 7845163 0 0 0 15298 18701 0 0 25 0 1 0 774400322 210087936 43371 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43378 566 18 0 52016 0
vsize: 205164
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 8107919 0 0 0 15674 19324 0 0 25 0 1 0 774400322 213131264 43848 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43854 566 18 0 52016 0
vsize: 208136
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 8370775 0 0 0 16051 19947 0 0 25 0 1 0 774400322 213131264 43682 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43689 566 18 0 52016 0
vsize: 208136
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 8633584 0 0 0 16420 20578 0 0 25 0 1 0 774400322 213131264 43469 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43475 566 18 0 52016 0
vsize: 208136
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 8896508 0 0 0 16795 21204 0 0 25 0 1 0 774400322 213131264 44114 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 44114 566 18 0 52016 0
vsize: 208136
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 9159123 0 0 0 17173 21825 0 0 25 0 1 0 774400322 213131264 43708 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43715 566 18 0 52016 0
vsize: 208136
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 9421769 0 0 0 17548 22450 0 0 25 0 1 0 774400322 213131264 44074 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 44080 566 18 0 52016 0
vsize: 208136
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 9684215 0 0 0 17926 23073 0 0 25 0 1 0 774400322 213131264 43498 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43505 566 18 0 52016 0
vsize: 208136
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 9947388 0 0 0 18302 23697 0 0 25 0 1 0 774400322 213131264 43649 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43656 566 18 0 52016 0
vsize: 208136
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 10210056 0 0 0 18666 24333 0 0 25 0 1 0 774400322 213131264 44038 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 44045 566 18 0 52016 0
vsize: 208136
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 10472837 0 0 0 19037 24962 0 0 25 0 1 0 774400322 213131264 43797 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43803 566 18 0 52016 0
vsize: 208136
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 10735599 0 0 0 19410 25589 0 0 25 0 1 0 774400322 213131264 43537 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43544 566 18 0 52016 0
vsize: 208136
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 10998316 0 0 0 19784 26215 0 0 25 0 1 0 774400322 213131264 43975 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43981 566 18 0 52016 0
vsize: 208136
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 11260786 0 0 0 20161 26838 0 0 25 0 1 0 774400322 213131264 43423 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43431 566 18 0 52016 0
vsize: 208136
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 11523572 0 0 0 20533 27466 0 0 25 0 1 0 774400322 213131264 43930 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43936 566 18 0 52016 0
vsize: 208136
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 11785817 0 0 0 20906 28093 0 0 25 0 1 0 774400322 213131264 43896 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43902 566 18 0 52016 0
vsize: 208136
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 12048033 0 0 0 21278 28721 0 0 25 0 1 0 774400322 213131264 43833 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52034 43839 566 18 0 52016 0
vsize: 208136
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 12310127 0 0 0 21651 29348 0 0 25 0 1 0 774400322 213303296 43648 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52076 43655 566 18 0 52058 0
vsize: 208304
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 12572131 0 0 0 22024 29975 0 0 25 0 1 0 774400322 210259968 43373 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52076 43379 566 18 0 52058 0
vsize: 205332
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 12833988 0 0 0 22392 30607 0 0 25 0 1 0 774400322 213303296 43694 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52076 43700 566 18 0 52058 0
vsize: 208304
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 13096007 0 0 0 22762 31237 0 0 25 0 1 0 774400322 213303296 43434 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52076 43442 566 18 0 52058 0
vsize: 208304
[startup+550.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 13357911 0 0 0 23130 31869 0 0 25 0 1 0 774400322 213438464 43802 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52109 43808 566 18 0 52091 0
vsize: 208436
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 13619770 0 0 0 23509 32490 0 0 25 0 1 0 774400322 213843968 44125 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52208 44131 566 18 0 52190 0
vsize: 208832
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 13881764 0 0 0 23881 33119 0 0 25 0 1 0 774400322 214384640 43840 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52340 43841 566 18 0 52322 0
vsize: 209360
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 14144022 0 0 0 24261 33738 0 0 25 0 1 0 774400322 214790144 43819 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52439 43826 566 18 0 52421 0
vsize: 209756
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 14407015 0 0 0 24629 34370 0 0 25 0 1 0 774400322 215195648 44533 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52538 44541 566 18 0 52520 0
vsize: 210152
[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 14671194 0 0 0 24999 35000 0 0 25 0 1 0 774400322 215736320 44204 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52670 44211 566 18 0 52652 0
vsize: 210680
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 14935560 0 0 0 25375 35624 0 0 25 0 1 0 774400322 216141824 44805 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52769 44812 566 18 0 52751 0
vsize: 211076
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 15199646 0 0 0 25755 36245 0 0 25 0 1 0 774400322 216547328 44383 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52868 44390 566 18 0 52850 0
vsize: 211472
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 15463837 0 0 0 26139 36860 0 0 25 0 1 0 774400322 217088000 44809 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53000 44816 566 18 0 52982 0
vsize: 212000
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 15727947 0 0 0 26512 37488 0 0 25 0 1 0 774400322 214450176 44411 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53099 44417 566 18 0 53081 0
vsize: 209424
[startup+650.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 15992339 0 0 0 26887 38113 0 0 25 0 1 0 774400322 217899008 45038 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53198 45045 566 18 0 53180 0
vsize: 212792
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 16256440 0 0 0 27269 38731 0 0 25 0 1 0 774400322 215396352 44631 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53330 44638 566 18 0 53312 0
vsize: 210348
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 16520652 0 0 0 27642 39358 0 0 25 0 1 0 774400322 218845184 45078 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53429 45085 566 18 0 53411 0
vsize: 213716
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 16784805 0 0 0 28019 39981 0 0 25 0 1 0 774400322 219250688 45466 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53528 45473 566 18 0 53510 0
vsize: 214112
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 17048996 0 0 0 28394 40606 0 0 25 0 1 0 774400322 219791360 45149 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53660 45155 566 18 0 53642 0
vsize: 214640
[startup+700.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 17313286 0 0 0 28767 41233 0 0 25 0 1 0 774400322 220196864 45674 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53759 45681 566 18 0 53741 0
vsize: 215036
[startup+710.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 17579362 0 0 0 29138 41863 0 0 25 0 1 0 774400322 220602368 45756 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53858 45763 566 18 0 53840 0
vsize: 215432
[startup+720.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 17847126 0 0 0 29514 42487 0 0 25 0 1 0 774400322 221143040 46040 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53990 46040 566 18 0 53972 0
vsize: 215960
[startup+730.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 18114920 0 0 0 29895 43106 0 0 25 0 1 0 774400322 221548544 45611 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54089 45617 566 18 0 54071 0
vsize: 216356
[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 18382664 0 0 0 30271 43730 0 0 25 0 1 0 774400322 222089216 45875 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54221 45882 566 18 0 54203 0
vsize: 216884
[startup+750.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 18650593 0 0 0 30653 44349 0 0 25 0 1 0 774400322 222494720 46324 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54320 46331 566 18 0 54302 0
vsize: 217280
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 18918361 0 0 0 31036 44965 0 0 25 0 1 0 774400322 222900224 45869 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54419 45876 566 18 0 54401 0
vsize: 217676
[startup+770.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 19186102 0 0 0 31416 45586 0 0 25 0 1 0 774400322 223440896 46130 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54551 46137 566 18 0 54533 0
vsize: 218204
[startup+780.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 19454165 0 0 0 31801 46202 0 0 25 0 1 0 774400322 223846400 46713 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54650 46713 566 18 0 54632 0
vsize: 218600
[startup+790.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 19722222 0 0 0 32180 46823 0 0 25 0 1 0 774400322 224387072 46547 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54782 46553 566 18 0 54764 0
vsize: 219128
[startup+800.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 19989934 0 0 0 32564 47439 0 0 25 0 1 0 774400322 224792576 46779 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54881 46787 566 18 0 54863 0
vsize: 219524
[startup+810.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 20257685 0 0 0 32948 48055 0 0 25 0 1 0 774400322 225198080 47050 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54980 47050 566 18 0 54962 0
vsize: 219920
[startup+820.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 20525278 0 0 0 33327 48677 0 0 25 0 1 0 774400322 222695424 46420 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55112 46427 566 18 0 55094 0
vsize: 217476
[startup+830.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 20792956 0 0 0 33704 49300 0 0 25 0 1 0 774400322 226144256 46618 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55211 46626 566 18 0 55193 0
vsize: 220844
[startup+840.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 21060788 0 0 0 34091 49913 0 0 25 0 1 0 774400322 226684928 46970 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55343 46977 566 18 0 55325 0
vsize: 221372
[startup+850.061 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 21328798 0 0 0 34472 50533 0 0 25 0 1 0 774400322 227090432 47500 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55442 47500 566 18 0 55424 0
vsize: 221768
[startup+860.062 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 21596401 0 0 0 34849 51156 0 0 25 0 1 0 774400322 227495936 46880 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55541 46888 566 18 0 55523 0
vsize: 222164
[startup+870.062 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 21864096 0 0 0 35233 51772 0 0 25 0 1 0 774400322 228036608 47095 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55673 47103 566 18 0 55655 0
vsize: 222692
[startup+880.063 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 22131990 0 0 0 35610 52395 0 0 25 0 1 0 774400322 228442112 47509 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55772 47517 566 18 0 55754 0
vsize: 223088
[startup+890.063 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 22399909 0 0 0 35993 53012 0 0 25 0 1 0 774400322 228847616 47948 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55871 47948 566 18 0 55853 0
vsize: 223484
[startup+900.063 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 22667578 0 0 0 36371 53634 0 0 25 0 1 0 774400322 229388288 47394 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56003 47403 566 18 0 55985 0
vsize: 224012
[startup+910.064 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 22935384 0 0 0 36753 54252 0 0 25 0 1 0 774400322 229793792 47720 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56102 47726 566 18 0 56084 0
vsize: 224408
[startup+920.065 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 23203139 0 0 0 37136 54869 0 0 25 0 1 0 774400322 230334464 47995 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56234 48002 566 18 0 56216 0
vsize: 224936
[startup+930.065 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 23470839 0 0 0 37523 55482 0 0 25 0 1 0 774400322 230739968 48215 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56333 48222 566 18 0 56315 0
vsize: 225332
[startup+940.066 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 23738558 0 0 0 37909 56097 0 0 25 0 1 0 774400322 231145472 48454 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56432 48461 566 18 0 56414 0
vsize: 225728
[startup+950.067 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 24006205 0 0 0 38287 56719 0 0 25 0 1 0 774400322 231686144 48621 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56564 48621 566 18 0 56546 0
vsize: 226256
[startup+960.068 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 24273946 0 0 0 38671 57335 0 0 25 0 1 0 774400322 232091648 48139 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56663 48147 566 18 0 56645 0
vsize: 226652
[startup+970.068 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 24541820 0 0 0 39059 57947 0 0 25 0 1 0 774400322 232759296 48533 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56826 48540 566 18 0 56808 0
vsize: 227304
[startup+980.068 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 24809933 0 0 0 39441 58565 0 0 25 0 1 0 774400322 233164800 48423 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56925 48430 566 18 0 56907 0
vsize: 227700
[startup+990.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 25078060 0 0 0 39819 59188 0 0 25 0 1 0 774400322 233570304 49070 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56281 48327 566 18 0 56263 0
vsize: 228096
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 25345928 0 0 0 40198 59810 0 0 25 0 1 0 774400322 234110976 48715 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57156 48722 566 18 0 57138 0
vsize: 228624
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 25613953 0 0 0 40584 60424 0 0 25 0 1 0 774400322 234516480 49260 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57255 49266 566 18 0 57237 0
vsize: 229020
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 25881580 0 0 0 40973 61035 0 0 25 0 1 0 774400322 235057152 49407 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57387 49407 566 18 0 57369 0
vsize: 229548
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 26149544 0 0 0 41355 61653 0 0 25 0 1 0 774400322 235462656 49148 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57486 49155 566 18 0 57468 0
vsize: 229944
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 26417474 0 0 0 41738 62270 0 0 25 0 1 0 774400322 235868160 49598 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57585 49605 566 18 0 57567 0
vsize: 230340
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 26685466 0 0 0 42123 62885 0 0 25 0 1 0 774400322 236408832 49367 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57717 49374 566 18 0 57699 0
vsize: 230868
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 26953499 0 0 0 42509 63500 0 0 25 0 1 0 774400322 236814336 49177 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57816 49185 566 18 0 57798 0
vsize: 231264
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 27221493 0 0 0 42893 64116 0 0 25 0 1 0 774400322 237355008 49691 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57948 49698 566 18 0 57930 0
vsize: 231792
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 27489248 0 0 0 43283 64726 0 0 25 0 1 0 774400322 237760512 49966 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58047 49974 566 18 0 58029 0
vsize: 232188
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 27757090 0 0 0 43670 65339 0 0 25 0 1 0 774400322 238166016 49585 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58146 49592 566 18 0 58128 0
vsize: 232584
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 28024877 0 0 0 44052 65957 0 0 25 0 1 0 774400322 238706688 49892 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58278 49899 566 18 0 58260 0
vsize: 233112
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 28292810 0 0 0 44438 66572 0 0 25 0 1 0 774400322 239112192 50345 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58377 50352 566 18 0 58359 0
vsize: 233508
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 28560522 0 0 0 44818 67192 0 0 25 0 1 0 774400322 239517696 49834 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58476 49843 566 18 0 58458 0
vsize: 233904
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 28828214 0 0 0 45204 67806 0 0 25 0 1 0 774400322 240058368 50046 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58608 50053 566 18 0 58590 0
vsize: 234432
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 29095902 0 0 0 45583 68427 0 0 25 0 1 0 774400322 240463872 50254 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58707 50261 566 18 0 58689 0
vsize: 234828
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 29363653 0 0 0 45958 69052 0 0 25 0 1 0 774400322 241004544 50525 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58839 50532 566 18 0 58821 0
vsize: 235356
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 29631405 0 0 0 46336 69674 0 0 25 0 1 0 774400322 241410048 50797 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58938 50804 566 18 0 58920 0
vsize: 235752
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 29899306 0 0 0 46720 70291 0 0 25 0 1 0 774400322 241815552 50475 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59037 50482 566 18 0 59019 0
vsize: 236148
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 30167139 0 0 0 47103 70908 0 0 25 0 1 0 774400322 242356224 50828 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59169 50836 566 18 0 59151 0
vsize: 236676
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 30434893 0 0 0 47484 71527 0 0 25 0 1 0 774400322 242761728 51102 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59268 51108 566 18 0 59250 0
vsize: 237072
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 530
Raw data (stat): 530 (Pueblo) R 529 7876 7672 0 -1 0 30702699 0 0 0 47870 72142 0 0 25 0 1 0 774400322 243302400 51428 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59400 51428 566 18 0 59382 0
vsize: 237600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 530
Raw data (stat): 530 (Pueblo) Z 529 7876 7672 0 -1 1036 30702699 0 0 0 47870 72151 0 0 25 0 1 0 774400322 0 0 4294967295 0 0 0 0 0 0 0 1 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.18
CPU time (s): 1200.22
CPU user time (s): 478.703
CPU system time (s): 721.519
CPU usage (%): 100.004
Max. virtual memory (Kb): 237600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####