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-dano3_5.opb
MD5SUM	eaead9cf67652e4b2ad71612149d4439
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	131072000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	576307709
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	303.797
Number of variables	269983
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	120
Number of constraints which are nor clauses,nor cardinality constraints	3658
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 25522

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 04:42:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19468 boxname=wulflinc31 idbench=1498 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  eaead9cf67652e4b2ad71612149d4439  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_5.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_5.opb
IDLAUNCH: 19468
/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:        826576 kB
Buffers:         17528 kB
Cached:         169172 kB
SwapCached:        912 kB
Active:          93476 kB
Inactive:        95316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        826324 kB
SwapTotal:     2097892 kB
SwapFree:      2095952 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            13528 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 05:02:39 (client local time) WITH STATUS 0 IN 1201.19 SECONDS
stats: 19468 7 1201.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.96 0.93 2/55 28657
Raw data (stat): 28657 (runsolver) R 28656 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 792860511 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 8088 0 0 0 973 24 0 0 25 0 1 0 792860511 38760448 8066 4294967295 134512640 134581331 3221221792 3217026072 1075310349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9463 8066 566 18 0 9445 0
vsize: 37852
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 10960 0 0 0 1960 36 0 0 25 0 1 0 792860511 50356224 10938 4294967295 134512640 134581331 3221221792 3217026076 1074960333 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12294 10938 566 18 0 12276 0
vsize: 49176
[startup+30.0015 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 211169 0 0 0 2519 477 0 0 25 0 1 0 792860511 103899136 18220 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25366 18220 566 18 0 25348 0
vsize: 101464
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 462112 0 0 0 2969 1027 0 0 25 0 1 0 792860511 118423552 21795 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28912 21795 566 18 0 28894 0
vsize: 115648
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 736827 0 0 0 3368 1629 0 0 25 0 1 0 792860511 121278464 22214 4294967295 134512640 134581331 3221221792 3221220784 134531732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29609 22214 566 18 0 29591 0
vsize: 118436
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1000171 0 0 0 3789 2207 0 0 25 0 1 0 792860511 134774784 25782 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32904 25782 566 18 0 32886 0
vsize: 131616
[startup+70.0054 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1247540 0 0 0 4249 2748 0 0 25 0 1 0 792860511 158121984 31327 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38604 31327 566 18 0 38586 0
vsize: 154416
[startup+80.0065 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1353189 0 0 0 5019 2977 0 0 25 0 1 0 792860511 161026048 32168 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39313 32168 566 18 0 39295 0
vsize: 157252
[startup+90.0071 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1353198 0 0 0 6019 2977 0 0 25 0 1 0 792860511 161026048 32177 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39313 32177 566 18 0 39295 0
vsize: 157252
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1353198 0 0 0 7018 2978 0 0 25 0 1 0 792860511 161026048 32177 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39313 32177 566 18 0 39295 0
vsize: 157252
[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1353198 0 0 0 8018 2978 0 0 25 0 1 0 792860511 161026048 32177 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39313 32177 566 18 0 39295 0
vsize: 157252
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1354035 0 0 0 9015 2982 0 0 25 0 1 0 792860511 164401152 33014 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40137 33014 566 18 0 40119 0
vsize: 160548
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1355005 0 0 0 10012 2985 0 0 25 0 1 0 792860511 168431616 33984 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41121 33984 566 18 0 41103 0
vsize: 164484
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1356136 0 0 0 11008 2989 0 0 25 0 1 0 792860511 173056000 35115 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42250 35115 566 18 0 42232 0
vsize: 169000
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1357286 0 0 0 12005 2992 0 0 25 0 1 0 792860511 177782784 36265 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43404 36265 566 18 0 43386 0
vsize: 173616
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1358278 0 0 0 13003 2995 0 0 25 0 1 0 792860511 181800960 37257 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44385 37257 566 18 0 44367 0
vsize: 177540
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1359380 0 0 0 13999 2999 0 0 25 0 1 0 792860511 186286080 38359 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45480 38359 566 18 0 45462 0
vsize: 181920
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1360434 0 0 0 14995 3003 0 0 25 0 1 0 792860511 190676992 39413 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46552 39413 566 18 0 46534 0
vsize: 186208
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1361396 0 0 0 15991 3007 0 0 25 0 1 0 792860511 194572288 40375 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47503 40375 566 18 0 47485 0
vsize: 190012
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1362267 0 0 0 16989 3009 0 0 25 0 1 0 792860511 198217728 41246 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48393 41246 566 18 0 48375 0
vsize: 193572
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1363247 0 0 0 17986 3013 0 0 25 0 1 0 792860511 202227712 42226 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49372 42226 566 18 0 49354 0
vsize: 197488
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1364163 0 0 0 18982 3017 0 0 25 0 1 0 792860511 206004224 43142 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50294 43142 566 18 0 50276 0
vsize: 201176
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1365068 0 0 0 19978 3021 0 0 25 0 1 0 792860511 209629184 44047 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51179 44047 566 18 0 51161 0
vsize: 204716
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1365921 0 0 0 20975 3024 0 0 25 0 1 0 792860511 213143552 44900 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52037 44900 566 18 0 52019 0
vsize: 208148
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1366938 0 0 0 21972 3028 0 0 25 0 1 0 792860511 217387008 45917 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53073 45917 566 18 0 53055 0
vsize: 212292
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1367936 0 0 0 22968 3031 0 0 25 0 1 0 792860511 221380608 46915 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54048 46915 566 18 0 54030 0
vsize: 216192
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1368839 0 0 0 23966 3034 0 0 25 0 1 0 792860511 225136640 47818 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54965 47818 566 18 0 54947 0
vsize: 219860
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1369606 0 0 0 24964 3036 0 0 25 0 1 0 792860511 228286464 48585 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55734 48585 566 18 0 55716 0
vsize: 222936
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1370367 0 0 0 25961 3039 0 0 25 0 1 0 792860511 231415808 49346 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56498 49346 566 18 0 56480 0
vsize: 225992
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1371145 0 0 0 26958 3043 0 0 25 0 1 0 792860511 234549248 50124 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57263 50124 566 18 0 57245 0
vsize: 229052
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1371902 0 0 0 27956 3045 0 0 25 0 1 0 792860511 237711360 50881 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58035 50881 566 18 0 58017 0
vsize: 232140
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1372656 0 0 0 28953 3048 0 0 25 0 1 0 792860511 240848896 51635 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58801 51635 566 18 0 58783 0
vsize: 235204
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1373424 0 0 0 29951 3050 0 0 25 0 1 0 792860511 243978240 52403 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59565 52403 566 18 0 59547 0
vsize: 238260
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1374191 0 0 0 30948 3053 0 0 25 0 1 0 792860511 247107584 53170 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60329 53170 566 18 0 60311 0
vsize: 241316
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1374943 0 0 0 31946 3055 0 0 25 0 1 0 792860511 250241024 53922 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61094 53922 566 18 0 61076 0
vsize: 244376
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1375694 0 0 0 32943 3058 0 0 25 0 1 0 792860511 253239296 54673 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61826 54673 566 18 0 61808 0
vsize: 247304
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1376432 0 0 0 33942 3060 0 0 25 0 1 0 792860511 256237568 55411 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62558 55411 566 18 0 62540 0
vsize: 250232
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1377169 0 0 0 34939 3063 0 0 25 0 1 0 792860511 259239936 56148 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63291 56148 566 18 0 63273 0
vsize: 253164
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1377999 0 0 0 35936 3066 0 0 25 0 1 0 792860511 262746112 56978 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64147 56978 566 18 0 64129 0
vsize: 256588
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1378895 0 0 0 36933 3069 0 0 25 0 1 0 792860511 266342400 57874 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65025 57874 566 18 0 65007 0
vsize: 260100
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1379784 0 0 0 37930 3073 0 0 25 0 1 0 792860511 270065664 58763 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65934 58763 566 18 0 65916 0
vsize: 263736
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1380687 0 0 0 38927 3076 0 0 25 0 1 0 792860511 273780736 59666 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66841 59666 566 18 0 66823 0
vsize: 267364
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1381561 0 0 0 39924 3079 0 0 25 0 1 0 792860511 277389312 60540 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67722 60540 566 18 0 67704 0
vsize: 270888
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1382412 0 0 0 40921 3082 0 0 25 0 1 0 792860511 280854528 61391 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68568 61391 566 18 0 68550 0
vsize: 274272
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1383448 0 0 0 41918 3086 0 0 25 0 1 0 792860511 285061120 62427 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69595 62427 566 18 0 69577 0
vsize: 278380
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1385046 0 0 0 42915 3088 0 0 25 0 1 0 792860511 291606528 64025 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71193 64025 566 18 0 71175 0
vsize: 284772
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1385817 0 0 0 43914 3090 0 0 25 0 1 0 792860511 294809600 64796 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71975 64796 566 18 0 71957 0
vsize: 287900
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1386525 0 0 0 44913 3091 0 0 25 0 1 0 792860511 297680896 65504 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72676 65504 566 18 0 72658 0
vsize: 290704
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1387387 0 0 0 45910 3095 0 0 25 0 1 0 792860511 301162496 66366 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73526 66366 566 18 0 73508 0
vsize: 294104
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1388265 0 0 0 46907 3097 0 0 25 0 1 0 792860511 304758784 67244 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74404 67244 566 18 0 74386 0
vsize: 297616
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1389128 0 0 0 47904 3100 0 0 25 0 1 0 792860511 308363264 68107 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75284 68107 566 18 0 75266 0
vsize: 301136
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1389987 0 0 0 48901 3104 0 0 25 0 1 0 792860511 311828480 68966 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76130 68966 566 18 0 76112 0
vsize: 304520
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1390835 0 0 0 49899 3105 0 0 25 0 1 0 792860511 315310080 69814 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76980 69814 566 18 0 76962 0
vsize: 307920
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1391690 0 0 0 50897 3108 0 0 25 0 1 0 792860511 318779392 70669 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77827 70669 566 18 0 77809 0
vsize: 311308
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1392543 0 0 0 51895 3110 0 0 25 0 1 0 792860511 322248704 71522 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78674 71522 566 18 0 78656 0
vsize: 314696
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1393379 0 0 0 52892 3113 0 0 25 0 1 0 792860511 325722112 72358 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79522 72358 566 18 0 79504 0
vsize: 318088
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1394220 0 0 0 53889 3117 0 0 25 0 1 0 792860511 329179136 73199 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80366 73199 566 18 0 80348 0
vsize: 321464
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1395043 0 0 0 54886 3120 0 0 25 0 1 0 792860511 332521472 74022 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81182 74022 566 18 0 81164 0
vsize: 324728
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1395849 0 0 0 55883 3123 0 0 25 0 1 0 792860511 335847424 74828 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81994 74828 566 18 0 81976 0
vsize: 327976
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1396671 0 0 0 56880 3126 0 0 25 0 1 0 792860511 339312640 75650 4294967295 134512640 134581331 3221221792 3221220688 134517517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82840 75650 566 18 0 82822 0
vsize: 331360
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1397480 0 0 0 57877 3130 0 0 25 0 1 0 792860511 342642688 76459 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83653 76459 566 18 0 83635 0
vsize: 334612
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1398278 0 0 0 58874 3132 0 0 25 0 1 0 792860511 345972736 77257 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84466 77257 566 18 0 84448 0
vsize: 337864
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1399067 0 0 0 59873 3133 0 0 25 0 1 0 792860511 349196288 78046 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85253 78046 566 18 0 85235 0
vsize: 341012
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1399839 0 0 0 60871 3136 0 0 25 0 1 0 792860511 352280576 78818 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86006 78818 566 18 0 85988 0
vsize: 344024
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400372 0 0 0 61869 3138 0 0 25 0 1 0 792860511 354455552 79351 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79351 566 18 0 86519 0
vsize: 346148
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 62869 3138 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 63869 3138 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220656 134528347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 64870 3138 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 65870 3138 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 66869 3138 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 67869 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 68870 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 69870 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 70870 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220656 134528425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 71870 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 72870 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 73870 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 74870 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220704 134531401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 75870 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 76871 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400373 0 0 0 77871 3139 0 0 25 0 1 0 792860511 354455552 79352 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79352 566 18 0 86519 0
vsize: 346148
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 78871 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 79871 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 80871 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 81871 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 82871 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 83872 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 84872 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 85872 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 86872 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 87872 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 88872 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 89872 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 90872 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 91873 3139 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 92873 3140 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 93873 3140 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 94873 3140 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400374 0 0 0 95873 3140 0 0 25 0 1 0 792860511 354455552 79353 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86537 79353 566 18 0 86519 0
vsize: 346148
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1400885 0 0 0 96872 3141 0 0 25 0 1 0 792860511 356634624 79864 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87069 79864 566 18 0 87051 0
vsize: 348276
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1401643 0 0 0 97868 3145 0 0 25 0 1 0 792860511 359710720 80622 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87820 80622 566 18 0 87802 0
vsize: 351280
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1402433 0 0 0 98865 3148 0 0 25 0 1 0 792860511 362921984 81412 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88604 81412 566 18 0 88586 0
vsize: 354416
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1403237 0 0 0 99863 3151 0 0 25 0 1 0 792860511 366272512 82216 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89422 82216 566 18 0 89404 0
vsize: 357688
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1404027 0 0 0 100860 3154 0 0 25 0 1 0 792860511 369487872 83006 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90207 83006 566 18 0 90189 0
vsize: 360828
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28657
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1404781 0 0 0 101857 3157 0 0 25 0 1 0 792860511 372596736 83760 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90966 83760 566 18 0 90948 0
vsize: 363864
[startup+1060.04 s]
Raw data (loadavg): 1.15 1.00 0.94 2/59 28700
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405566 0 0 0 102853 3160 0 0 25 0 1 0 792860511 375795712 84545 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91747 84545 566 18 0 91729 0
vsize: 366988
[startup+1070.49 s]
Raw data (loadavg): 1.20 1.02 0.95 3/58 28705
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 103898 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1080.49 s]
Raw data (loadavg): 1.48 1.08 0.97 2/58 28709
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 104898 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1090.6 s]
Raw data (loadavg): 1.49 1.10 0.97 2/55 28710
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 105909 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1100.9 s]
Raw data (loadavg): 1.41 1.09 0.97 2/55 28710
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 106939 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1110.9 s]
Raw data (loadavg): 1.35 1.09 0.97 2/55 28710
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 107939 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1120.9 s]
Raw data (loadavg): 1.29 1.09 0.97 2/55 28710
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 108939 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220576 134528804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1130.9 s]
Raw data (loadavg): 1.25 1.08 0.97 2/55 28710
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 109939 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1140.9 s]
Raw data (loadavg): 1.21 1.08 0.97 2/55 28710
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 110940 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1150.9 s]
Raw data (loadavg): 1.18 1.08 0.97 2/55 28712
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 111940 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1160.9 s]
Raw data (loadavg): 1.15 1.07 0.97 2/55 28712
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 112940 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1170.9 s]
Raw data (loadavg): 1.13 1.07 0.97 2/55 28712
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 113940 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1180.9 s]
Raw data (loadavg): 1.11 1.07 0.97 2/55 28712
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 114940 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1190.9 s]
Raw data (loadavg): 1.09 1.07 0.97 2/55 28712
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 115941 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
[startup+1200.9 s]
Raw data (loadavg): 1.08 1.06 0.97 2/55 28712
Raw data (stat): 28657 (Pueblo) R 28656 7876 7672 0 -1 0 1405955 0 0 0 116941 3161 0 0 25 0 1 0 792860511 377331712 84934 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92122 84934 566 18 0 92104 0
vsize: 368488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.06 s]
Raw data (loadavg): 1.08 1.06 0.97 1/55 28712
Raw data (stat): 28657 (Pueblo) Z 28656 7876 7672 0 -1 1036 1405955 0 0 0 116941 3177 0 0 25 0 1 0 792860511 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): 1201.06
CPU time (s): 1201.19
CPU user time (s): 1169.41
CPU system time (s): 31.7752
CPU usage (%): 100.01
Max. virtual memory (Kb): 368488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####