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-n370a.opb
MD5SUM	1f27e2752aef6110d896dff85e9c13b8
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	39171467771
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	39171467771
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	1.01184
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 26920

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 18:06:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19130 boxname=wulflinc21 idbench=1472 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  1f27e2752aef6110d896dff85e9c13b8  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-n370a.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-n370a.opb
IDLAUNCH: 19130
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        652488 kB
Buffers:         11896 kB
Cached:         348664 kB
SwapCached:       1064 kB
Active:         100624 kB
Inactive:       262524 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        652236 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:             628 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13304 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:26:22 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 19130 7 1200.29 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.91 2/55 4202
Raw data (stat): 4202 (runsolver) R 4201 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 709532129 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 81909 0 0 0 841 158 0 0 25 0 1 0 709532129 56029184 11996 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13679 11996 566 18 0 13661 0
vsize: 54716
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 390474 0 0 0 1297 702 0 0 25 0 1 0 709532129 57651200 12385 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14075 12385 566 18 0 14057 0
vsize: 56300
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 558782 0 0 0 2000 999 0 0 25 0 1 0 709532129 57126912 12391 4294967295 134512640 134581331 3221224608 3221223648 134563423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13947 12391 566 18 0 13929 0
vsize: 55788
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 559651 0 0 0 2997 1002 0 0 25 0 1 0 709532129 60637184 13260 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14804 13260 566 18 0 14786 0
vsize: 59216
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 561777 0 0 0 3991 1009 0 0 25 0 1 0 709532129 69328896 15386 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16926 15386 566 18 0 16908 0
vsize: 67704
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 563874 0 0 0 4984 1016 0 0 25 0 1 0 709532129 77893632 17483 4294967295 134512640 134581331 3221224608 3221223504 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19017 17483 566 18 0 18999 0
vsize: 76068
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 565874 0 0 0 5978 1022 0 0 25 0 1 0 709532129 86138880 19483 4294967295 134512640 134581331 3221224608 3221223324 1075288605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21030 19483 566 18 0 21012 0
vsize: 84120
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 568018 0 0 0 6971 1028 0 0 25 0 1 0 709532129 94932992 21627 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23177 21627 566 18 0 23159 0
vsize: 92708
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 570071 0 0 0 7965 1035 0 0 25 0 1 0 709532129 103358464 23680 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25234 23680 566 18 0 25216 0
vsize: 100936
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 572163 0 0 0 8960 1040 0 0 25 0 1 0 709532129 111882240 25772 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27315 25772 566 18 0 27297 0
vsize: 109260
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 574250 0 0 0 9952 1048 0 0 25 0 1 0 709532129 120492032 27859 4294967295 134512640 134581331 3221224608 3221223676 134556252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29417 27859 566 18 0 29399 0
vsize: 117668
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 576307 0 0 0 10946 1055 0 0 25 0 1 0 709532129 128798720 29916 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31445 29916 566 18 0 31427 0
vsize: 125780
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 578404 0 0 0 11940 1061 0 0 25 0 1 0 709532129 137437184 32013 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33554 32013 566 18 0 33536 0
vsize: 134216
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 3/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 580520 0 0 0 12935 1066 0 0 25 0 1 0 709532129 146067456 34129 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35661 34129 566 18 0 35643 0
vsize: 142644
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 582623 0 0 0 13927 1074 0 0 25 0 1 0 709532129 154669056 36232 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37761 36232 566 18 0 37743 0
vsize: 151044
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 584683 0 0 0 14923 1079 0 0 25 0 1 0 709532129 163237888 38292 4294967295 134512640 134581331 3221224608 3221223392 134528838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39853 38292 566 18 0 39835 0
vsize: 159412
[startup+170.007 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 586628 0 0 0 15918 1084 0 0 25 0 1 0 709532129 171237376 40237 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41806 40237 566 18 0 41788 0
vsize: 167224
[startup+180.008 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 588702 0 0 0 16911 1091 0 0 25 0 1 0 709532129 179662848 42311 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43863 42311 566 18 0 43845 0
vsize: 175452
[startup+190.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 590734 0 0 0 17905 1096 0 0 25 0 1 0 709532129 187936768 44343 4294967295 134512640 134581331 3221224608 3221223552 134558859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45883 44343 566 18 0 45865 0
vsize: 183532
[startup+200.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 592775 0 0 0 18899 1103 0 0 25 0 1 0 709532129 196358144 46384 4294967295 134512640 134581331 3221224608 3221223504 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47939 46384 566 18 0 47921 0
vsize: 191756
[startup+210.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 594788 0 0 0 19891 1111 0 0 25 0 1 0 709532129 204603392 48397 4294967295 134512640 134581331 3221224608 3221223472 134560421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49952 48397 566 18 0 49934 0
vsize: 199808
[startup+220.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 596788 0 0 0 20886 1117 0 0 25 0 1 0 709532129 212774912 50397 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51947 50397 566 18 0 51929 0
vsize: 207788
[startup+230.01 s]
Raw data (loadavg): 1.10 1.02 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 598797 0 0 0 21880 1123 0 0 25 0 1 0 709532129 220999680 52406 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53955 52406 566 18 0 53937 0
vsize: 215820
[startup+240.01 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 600809 0 0 0 22875 1128 0 0 25 0 1 0 709532129 229281792 54418 4294967295 134512640 134581331 3221224608 3221223504 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55977 54418 566 18 0 55959 0
vsize: 223908
[startup+250.009 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 602834 0 0 0 23869 1134 0 0 25 0 1 0 709532129 237580288 56443 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58003 56443 566 18 0 57985 0
vsize: 232012
[startup+260.009 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604813 0 0 0 24863 1139 0 0 25 0 1 0 709532129 245669888 58422 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59978 58422 566 18 0 59960 0
vsize: 239912
[startup+270.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 25863 1140 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223504 134517784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+280.009 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 26863 1140 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223552 134558956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+290.009 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 27862 1141 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+300.01 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 28862 1141 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223520 134527661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+310.009 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 29862 1141 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+320.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 30862 1141 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+330.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 31862 1141 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+340.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 32862 1142 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+350.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 33862 1142 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+360.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 34862 1142 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+370.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 35862 1142 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+380.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 36862 1142 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223552 134559478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 37862 1142 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223504 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 38862 1143 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 604991 0 0 0 39862 1143 0 0 25 0 1 0 709532129 246427648 58600 4294967295 134512640 134581331 3221224608 3221223520 134531400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60163 58600 566 18 0 60145 0
vsize: 240652
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605739 0 0 0 40859 1145 0 0 25 0 1 0 709532129 249479168 59348 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59348 566 18 0 60890 0
vsize: 243632
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605739 0 0 0 41859 1145 0 0 25 0 1 0 709532129 249479168 59348 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59348 566 18 0 60890 0
vsize: 243632
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605739 0 0 0 42859 1146 0 0 25 0 1 0 709532129 249479168 59348 4294967295 134512640 134581331 3221224608 3221223472 134528281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59348 566 18 0 60890 0
vsize: 243632
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 43859 1146 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 44859 1146 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 45859 1146 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223472 134560421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 46859 1146 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 47859 1147 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+500.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 48859 1147 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 49859 1147 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 50859 1147 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 51859 1148 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+540.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 52859 1148 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 53859 1148 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+560.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 54859 1148 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 55859 1148 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+580.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 56859 1148 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+590.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 57859 1148 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+600.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 58858 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 59859 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 60859 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+630.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 61859 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+640.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 62859 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+650.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 63859 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 64859 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 65859 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223244 1075289350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+680.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 66859 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605740 0 0 0 67859 1149 0 0 25 0 1 0 709532129 249479168 59349 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60908 59349 566 18 0 60890 0
vsize: 243632
[startup+700.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 68859 1149 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 69859 1150 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+720.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 70859 1150 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+730.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 71859 1150 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+740.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 72859 1150 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+750.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 73859 1150 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+760.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 74859 1150 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+770.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 75859 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+780.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 76860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+790.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 77860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223584 134560737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+800.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 78860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+810.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 79860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+820.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 80860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+830.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 81860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+840.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 82860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+850.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 83860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+860.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 84860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+870.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 85860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+880.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 86860 1151 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+890.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 87860 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+900.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 88860 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+910.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 89861 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+920.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 90861 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+930.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 91861 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223392 134528721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+940.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 92861 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+950.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 93861 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+960.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 94861 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+970.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 95861 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+980.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 96861 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+990.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 97861 1152 0 0 25 0 1 0 709532129 246452224 58631 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60169 58631 566 18 0 60151 0
vsize: 240676
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 98861 1152 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 99862 1152 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 100862 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 101862 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 102862 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 103862 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 104862 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 105862 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 106863 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223568 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 107863 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 108863 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 109863 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 110863 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 111863 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 112863 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223472 134528323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 113863 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223552 134559093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605741 0 0 0 114863 1153 0 0 25 0 1 0 709532129 245628928 58430 4294967295 134512640 134581331 3221224608 3221223520 134527987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58430 566 18 0 59950 0
vsize: 239872
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605743 0 0 0 115863 1153 0 0 25 0 1 0 709532129 245628928 58432 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58432 566 18 0 59950 0
vsize: 239872
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605743 0 0 0 116863 1153 0 0 25 0 1 0 709532129 245628928 58432 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58432 566 18 0 59950 0
vsize: 239872
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605743 0 0 0 117864 1153 0 0 25 0 1 0 709532129 245628928 58432 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58432 566 18 0 59950 0
vsize: 239872
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 4202
Raw data (stat): 4202 (Pueblo) R 4201 32363 32362 0 -1 0 605743 0 0 0 118864 1153 0 0 25 0 1 0 709532129 245628928 58432 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58432 566 18 0 59950 0
vsize: 239872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 4202
Raw data (stat): 4202 (Pueblo) Z 4201 32363 32362 0 -1 1036 605743 0 0 0 118864 1164 0 0 25 0 1 0 709532129 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.12
CPU time (s): 1200.29
CPU user time (s): 1188.64
CPU system time (s): 11.6462
CPU usage (%): 100.014
Max. virtual memory (Kb): 243632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####