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_4.opb
MD5SUM	53ae35dd3424f79abe62dc18aab624bf
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	35.0387
Number of variables	270144
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	96
Number of constraints which are nor clauses,nor cardinality constraints	3682
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 25524

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 05:05:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19455 boxname=wulflinc31 idbench=1497 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  53ae35dd3424f79abe62dc18aab624bf  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_4.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_4.opb
IDLAUNCH: 19455
/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:        801240 kB
Buffers:         18580 kB
Cached:         193416 kB
SwapCached:        912 kB
Active:         117620 kB
Inactive:        96544 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800988 kB
SwapTotal:     2097892 kB
SwapFree:      2095952 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            13460 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 05:25:30 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 19455 7 1200.35 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 1.00 0.96 2/55 28897
Raw data (stat): 28897 (runsolver) R 28896 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 792997636 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.0005 s]
Raw data (loadavg): 0.94 1.00 0.96 2/55 28897
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 8065 0 0 0 970 27 0 0 25 0 1 0 792997636 38625280 8043 4294967295 134512640 134581331 3221221792 3217026064 1074910621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9430 8043 566 18 0 9412 0
vsize: 37720
[startup+20.001 s]
Raw data (loadavg): 0.95 1.00 0.96 2/55 28897
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 10933 0 0 0 1958 38 0 0 25 0 1 0 792997636 50216960 10911 4294967295 134512640 134581331 3221221792 3217026028 1075310620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12260 10911 566 18 0 12242 0
vsize: 49040
[startup+30.0009 s]
Raw data (loadavg): 0.95 1.00 0.96 2/55 28897
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 209034 0 0 0 2519 478 0 0 25 0 1 0 792997636 104939520 18260 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25620 18268 566 18 0 25602 0
vsize: 102480
[startup+40.0012 s]
Raw data (loadavg): 0.96 1.00 0.96 2/55 28897
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 460954 0 0 0 2970 1027 0 0 25 0 1 0 792997636 118525952 21756 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28937 21763 566 18 0 28919 0
vsize: 115748
[startup+50.0018 s]
Raw data (loadavg): 0.97 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 736507 0 0 0 3374 1624 0 0 25 0 1 0 792997636 121393152 22485 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29637 22492 566 18 0 29619 0
vsize: 118548
[startup+60.0017 s]
Raw data (loadavg): 0.97 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1000684 0 0 0 3799 2199 0 0 25 0 1 0 792997636 134885376 25566 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32931 25574 566 18 0 32913 0
vsize: 131724
[startup+70.0019 s]
Raw data (loadavg): 0.98 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1248694 0 0 0 4261 2736 0 0 25 0 1 0 792997636 158236672 31488 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38632 31488 566 18 0 38614 0
vsize: 154528
[startup+80.0026 s]
Raw data (loadavg): 0.98 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1353158 0 0 0 5030 2968 0 0 25 0 1 0 792997636 161165312 32200 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39347 32200 566 18 0 39329 0
vsize: 157388
[startup+90.0025 s]
Raw data (loadavg): 0.98 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1353168 0 0 0 6030 2968 0 0 25 0 1 0 792997636 161165312 32210 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39347 32210 566 18 0 39329 0
vsize: 157388
[startup+100.003 s]
Raw data (loadavg): 0.98 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1353168 0 0 0 7031 2968 0 0 25 0 1 0 792997636 161165312 32210 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39347 32210 566 18 0 39329 0
vsize: 157388
[startup+110.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1353168 0 0 0 8031 2968 0 0 25 0 1 0 792997636 161165312 32210 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39347 32210 566 18 0 39329 0
vsize: 157388
[startup+120.003 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1354003 0 0 0 9027 2971 0 0 25 0 1 0 792997636 164548608 33045 4294967295 134512640 134581331 3221221792 3221220656 134528334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40173 33045 566 18 0 40155 0
vsize: 160692
[startup+130.003 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1354938 0 0 0 10024 2975 0 0 25 0 1 0 792997636 168321024 33980 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41094 33980 566 18 0 41076 0
vsize: 164376
[startup+140.003 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1356039 0 0 0 11019 2980 0 0 25 0 1 0 792997636 172949504 35081 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42224 35081 566 18 0 42206 0
vsize: 168896
[startup+150.004 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1357178 0 0 0 12016 2983 0 0 25 0 1 0 792997636 177549312 36220 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43347 36220 566 18 0 43329 0
vsize: 173388
[startup+160.004 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1358143 0 0 0 13013 2987 0 0 25 0 1 0 792997636 181456896 37185 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44301 37185 566 18 0 44283 0
vsize: 177204
[startup+170.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1359217 0 0 0 14008 2991 0 0 25 0 1 0 792997636 185937920 38259 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45395 38259 566 18 0 45377 0
vsize: 181580
[startup+180.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1360289 0 0 0 15005 2994 0 0 25 0 1 0 792997636 190312448 39331 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46463 39331 566 18 0 46445 0
vsize: 185852
[startup+190.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1361293 0 0 0 16002 2998 0 0 25 0 1 0 792997636 194433024 40335 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47469 40335 566 18 0 47451 0
vsize: 189876
[startup+200.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1362355 0 0 0 16999 3001 0 0 25 0 1 0 792997636 198819840 41397 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48540 41397 566 18 0 48522 0
vsize: 194160
[startup+210.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1363387 0 0 0 17995 3006 0 0 25 0 1 0 792997636 203042816 42429 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49571 42429 566 18 0 49553 0
vsize: 198284
[startup+220.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1364414 0 0 0 18991 3010 0 0 25 0 1 0 792997636 207200256 43456 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50586 43456 566 18 0 50568 0
vsize: 202344
[startup+230.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1365390 0 0 0 19987 3014 0 0 25 0 1 0 792997636 211193856 44432 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51561 44432 566 18 0 51543 0
vsize: 206244
[startup+240.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1366186 0 0 0 20984 3016 0 0 25 0 1 0 792997636 214458368 45228 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52358 45228 566 18 0 52340 0
vsize: 209432
[startup+250.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1367118 0 0 0 21981 3020 0 0 25 0 1 0 792997636 218329088 46160 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53303 46160 566 18 0 53285 0
vsize: 213212
[startup+260.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1368083 0 0 0 22979 3023 0 0 25 0 1 0 792997636 222195712 47125 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54247 47125 566 18 0 54229 0
vsize: 216988
[startup+270.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1369034 0 0 0 23976 3025 0 0 25 0 1 0 792997636 226164736 48076 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55216 48076 566 18 0 55198 0
vsize: 220864
[startup+280.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1369799 0 0 0 24974 3027 0 0 25 0 1 0 792997636 229294080 48841 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55980 48841 566 18 0 55962 0
vsize: 223920
[startup+290.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1370560 0 0 0 25972 3030 0 0 25 0 1 0 792997636 232427520 49602 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56745 49602 566 18 0 56727 0
vsize: 226980
[startup+300.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1371323 0 0 0 26969 3033 0 0 25 0 1 0 792997636 235565056 50365 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57511 50365 566 18 0 57493 0
vsize: 230044
[startup+310.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1372081 0 0 0 27967 3035 0 0 25 0 1 0 792997636 238718976 51123 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58281 51123 566 18 0 58263 0
vsize: 233124
[startup+320.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1372824 0 0 0 28964 3038 0 0 25 0 1 0 792997636 241721344 51866 4294967295 134512640 134581331 3221221792 3221220736 134559439 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59014 51866 566 18 0 58996 0
vsize: 236056
[startup+330.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1373559 0 0 0 29962 3041 0 0 25 0 1 0 792997636 244731904 52601 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59749 52601 566 18 0 59731 0
vsize: 238996
[startup+340.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1374305 0 0 0 30959 3043 0 0 25 0 1 0 792997636 247738368 53347 4294967295 134512640 134581331 3221221792 3221220656 134528347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60483 53347 566 18 0 60465 0
vsize: 241932
[startup+350.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1375055 0 0 0 31956 3047 0 0 25 0 1 0 792997636 250871808 54097 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61248 54097 566 18 0 61230 0
vsize: 244992
[startup+360.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1375788 0 0 0 32953 3050 0 0 25 0 1 0 792997636 253878272 54830 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61982 54830 566 18 0 61964 0
vsize: 247928
[startup+370.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1376510 0 0 0 33951 3052 0 0 25 0 1 0 792997636 256884736 55552 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62716 55552 566 18 0 62698 0
vsize: 250864
[startup+380.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1377233 0 0 0 34949 3054 0 0 25 0 1 0 792997636 259756032 56275 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63417 56275 566 18 0 63399 0
vsize: 253668
[startup+390.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1377959 0 0 0 35947 3057 0 0 25 0 1 0 792997636 262762496 57001 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64151 57001 566 18 0 64133 0
vsize: 256604
[startup+400.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1378664 0 0 0 36944 3060 0 0 25 0 1 0 792997636 265641984 57706 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64854 57706 566 18 0 64836 0
vsize: 259416
[startup+410.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1379384 0 0 0 37941 3063 0 0 25 0 1 0 792997636 268648448 58426 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65588 58426 566 18 0 65570 0
vsize: 262352
[startup+420.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1380087 0 0 0 38939 3065 0 0 25 0 1 0 792997636 271523840 59129 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66290 59129 566 18 0 66272 0
vsize: 265160
[startup+430.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1380790 0 0 0 39937 3067 0 0 25 0 1 0 792997636 274399232 59832 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66992 59832 566 18 0 66974 0
vsize: 267968
[startup+440.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1381495 0 0 0 40934 3070 0 0 25 0 1 0 792997636 277303296 60537 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67701 60537 566 18 0 67683 0
vsize: 270804
[startup+450.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1382177 0 0 0 41932 3073 0 0 25 0 1 0 792997636 280047616 61219 4294967295 134512640 134581331 3221221792 3221220688 134517767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68371 61219 566 18 0 68353 0
vsize: 273484
[startup+460.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1383415 0 0 0 42929 3076 0 0 25 0 1 0 792997636 285134848 62457 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69613 62457 566 18 0 69595 0
vsize: 278452
[startup+470.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1384655 0 0 0 43927 3078 0 0 25 0 1 0 792997636 290172928 63697 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70843 63697 566 18 0 70825 0
vsize: 283372
[startup+480.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1385387 0 0 0 44926 3079 0 0 25 0 1 0 792997636 293216256 64429 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71586 64429 566 18 0 71568 0
vsize: 286344
[startup+490.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1386112 0 0 0 45924 3082 0 0 25 0 1 0 792997636 296177664 65154 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72309 65154 566 18 0 72291 0
vsize: 289236
[startup+500.017 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1386959 0 0 0 46921 3085 0 0 25 0 1 0 792997636 299638784 66001 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73154 66001 566 18 0 73136 0
vsize: 292616
[startup+510.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1387816 0 0 0 47917 3089 0 0 25 0 1 0 792997636 303222784 66858 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74029 66858 566 18 0 74011 0
vsize: 296116
[startup+520.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1388669 0 0 0 48914 3093 0 0 25 0 1 0 792997636 306704384 67711 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74879 67711 566 18 0 74861 0
vsize: 299516
[startup+530.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1389511 0 0 0 49910 3096 0 0 25 0 1 0 792997636 310161408 68553 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75723 68553 566 18 0 75705 0
vsize: 302892
[startup+540.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1390344 0 0 0 50907 3100 0 0 25 0 1 0 792997636 313495552 69386 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76537 69386 566 18 0 76519 0
vsize: 306148
[startup+550.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1391181 0 0 0 51903 3103 0 0 25 0 1 0 792997636 316956672 70223 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77382 70223 566 18 0 77364 0
vsize: 309528
[startup+560.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1392021 0 0 0 52901 3106 0 0 25 0 1 0 792997636 320417792 71063 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78227 71063 566 18 0 78209 0
vsize: 312908
[startup+570.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1392843 0 0 0 53898 3109 0 0 25 0 1 0 792997636 323751936 71885 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79041 71885 566 18 0 79023 0
vsize: 316164
[startup+580.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1393670 0 0 0 54896 3111 0 0 25 0 1 0 792997636 327086080 72712 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79855 72712 566 18 0 79837 0
vsize: 319420
[startup+590.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1394477 0 0 0 55894 3114 0 0 25 0 1 0 792997636 330420224 73519 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80669 73519 566 18 0 80651 0
vsize: 322676
[startup+600.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1395271 0 0 0 56891 3117 0 0 25 0 1 0 792997636 333619200 74313 4294967295 134512640 134581331 3221221792 3221220736 134558812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81450 74313 566 18 0 81432 0
vsize: 325800
[startup+610.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1396078 0 0 0 57888 3120 0 0 25 0 1 0 792997636 337137664 75120 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82309 75120 566 18 0 82291 0
vsize: 329236
[startup+620.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1396877 0 0 0 58885 3123 0 0 25 0 1 0 792997636 340467712 75919 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83122 75919 566 18 0 83104 0
vsize: 332488
[startup+630.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1397660 0 0 0 59882 3126 0 0 25 0 1 0 792997636 343674880 76702 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83905 76702 566 18 0 83887 0
vsize: 335620
[startup+640.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1398444 0 0 0 60879 3129 0 0 25 0 1 0 792997636 346873856 77486 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84686 77486 566 18 0 84668 0
vsize: 338744
[startup+650.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 61877 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220752 134516745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+660.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 62877 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+670.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 63877 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+680.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 64878 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+690.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 65878 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+700.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 66878 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+710.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 67878 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+720.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 68878 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+730.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 69878 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+740.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 70879 3131 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+750.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 71879 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+760.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 72879 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+770.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 73879 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+780.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 74879 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+790.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 75879 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+800.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 76880 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+810.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 77880 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+820.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 78880 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+830.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 79880 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+840.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 80880 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134558819 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+850.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 81881 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+860.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 82881 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+870.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 83881 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+880.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 84881 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220704 134527967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+890.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 85881 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+900.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 86882 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+910.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 87882 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+920.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 88882 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+930.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 89882 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+940.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 90882 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+950.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 91883 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+960.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 92883 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+970.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 93883 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220480 1075289350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+980.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399052 0 0 0 94883 3132 0 0 25 0 1 0 792997636 349310976 78094 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85281 78094 566 18 0 85263 0
vsize: 341124
[startup+990.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399077 0 0 0 95883 3132 0 0 25 0 1 0 792997636 349446144 78119 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85314 78119 566 18 0 85296 0
vsize: 341256
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1399870 0 0 0 96880 3134 0 0 25 0 1 0 792997636 352649216 78912 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86096 78912 566 18 0 86078 0
vsize: 344384
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1400649 0 0 0 97878 3138 0 0 25 0 1 0 792997636 355856384 79691 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86879 79691 566 18 0 86861 0
vsize: 347516
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1401427 0 0 0 98875 3140 0 0 25 0 1 0 792997636 359092224 80469 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87669 80469 566 18 0 87651 0
vsize: 350676
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1401706 0 0 0 99875 3140 0 0 25 0 1 0 792997636 360292352 80748 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87962 80748 566 18 0 87944 0
vsize: 351848
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1401706 0 0 0 100875 3140 0 0 25 0 1 0 792997636 360292352 80748 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87962 80748 566 18 0 87944 0
vsize: 351848
[startup+1050.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1402360 0 0 0 101874 3142 0 0 25 0 1 0 792997636 362856448 81402 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88588 81402 566 18 0 88570 0
vsize: 354352
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1403128 0 0 0 102871 3145 0 0 25 0 1 0 792997636 366071808 82170 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89373 82170 566 18 0 89355 0
vsize: 357492
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1403901 0 0 0 103869 3148 0 0 25 0 1 0 792997636 369291264 82943 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90159 82943 566 18 0 90141 0
vsize: 360636
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404674 0 0 0 104866 3151 0 0 25 0 1 0 792997636 372371456 83716 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90911 83716 566 18 0 90893 0
vsize: 363644
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 105866 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220576 134528785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 106866 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220656 134528547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 107866 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 108866 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 109866 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 110867 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 111867 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 112867 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 113867 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220732 1075285472 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1180.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 114867 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1190.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 115868 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
[startup+1200.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 28899
Raw data (stat): 28897 (Pueblo) R 28896 7876 7672 0 -1 0 1404759 0 0 0 116868 3151 0 0 25 0 1 0 792997636 372756480 83801 4294967295 134512640 134581331 3221221792 3221220656 134528344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91005 83801 566 18 0 90987 0
vsize: 364020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 0.99 1.00 0.96 1/55 28899
Raw data (stat): 28897 (Pueblo) Z 28896 7876 7672 0 -1 1036 1404759 0 0 0 116868 3167 0 0 25 0 1 0 792997636 0 0 4294967295 0 0 0 0 0 0 0 1 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.2
CPU time (s): 1200.35
CPU user time (s): 1168.68
CPU system time (s): 31.6712
CPU usage (%): 100.013
Max. virtual memory (Kb): 364020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####