PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb
MD5SUM	5b991f27ed09188f1ae8c5e20a0bcb79
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39212410939
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39212410939
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.997848
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26929

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        890364 kB
Buffers:          4456 kB
Cached:         118308 kB
SwapCached:        112 kB
Active:          30944 kB
Inactive:        94824 kB
HighTotal:      131008 kB
HighFree:         8316 kB
LowTotal:       903652 kB
LowFree:        882048 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6904 kB
Slab:            12772 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:31:02 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 19104 7 1200.3 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): 1.14 1.02 0.93 2/54 23764
Raw data (stat): 23764 (runsolver) R 23763 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774066292 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99976 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 80709 0 0 0 840 158 0 0 25 0 1 0 774066292 56098816 12032 4294967295 134512640 134581331 3221224608 3221223600 134531720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13696 12032 566 18 0 13678 0
vsize: 54784
[startup+20.0009 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 386375 0 0 0 1291 708 0 0 25 0 1 0 774066292 57585664 12406 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14059 12415 566 18 0 14041 0
vsize: 56236
[startup+30.0003 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 558781 0 0 0 1983 1016 0 0 25 0 1 0 774066292 57061376 12390 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12390 566 18 0 13913 0
vsize: 55724
[startup+40.0011 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 558781 0 0 0 2983 1016 0 0 25 0 1 0 774066292 57061376 12390 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12390 566 18 0 13913 0
vsize: 55724
[startup+50.0019 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 559983 0 0 0 3979 1020 0 0 25 0 1 0 774066292 61931520 13592 4294967295 134512640 134581331 3221224608 3221223584 134560718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15120 13592 566 18 0 15102 0
vsize: 60480
[startup+60.0018 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 561517 0 0 0 4974 1026 0 0 25 0 1 0 774066292 68296704 15126 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16674 15126 566 18 0 16656 0
vsize: 66696
[startup+70.0016 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 563001 0 0 0 5968 1031 0 0 25 0 1 0 774066292 74371072 16610 4294967295 134512640 134581331 3221224608 3221223324 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18157 16610 566 18 0 18139 0
vsize: 72628
[startup+80.002 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 564403 0 0 0 6964 1036 0 0 25 0 1 0 774066292 80056320 18012 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19545 18012 566 18 0 19527 0
vsize: 78180
[startup+90.0023 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 564944 0 0 0 7962 1038 0 0 25 0 1 0 774066292 82268160 18553 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20085 18553 566 18 0 20067 0
vsize: 80340
[startup+100.002 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 565162 0 0 0 8961 1039 0 0 25 0 1 0 774066292 83238912 18771 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20322 18771 566 18 0 20304 0
vsize: 81288
[startup+110.002 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 565372 0 0 0 9960 1040 0 0 25 0 1 0 774066292 84029440 18981 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20515 18981 566 18 0 20497 0
vsize: 82060
[startup+120.002 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 565725 0 0 0 10959 1041 0 0 25 0 1 0 774066292 85499904 19334 4294967295 134512640 134581331 3221224608 3221223472 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20874 19334 566 18 0 20856 0
vsize: 83496
[startup+130.002 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 566354 0 0 0 11956 1044 0 0 25 0 1 0 774066292 88088576 19963 4294967295 134512640 134581331 3221224608 3221223520 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21506 19963 566 18 0 21488 0
vsize: 86024
[startup+140.003 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 566784 0 0 0 12955 1045 0 0 25 0 1 0 774066292 89899008 20393 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21948 20393 566 18 0 21930 0
vsize: 87792
[startup+150.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 567215 0 0 0 13954 1047 0 0 25 0 1 0 774066292 91668480 20824 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22380 20824 566 18 0 22362 0
vsize: 89520
[startup+160.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 568014 0 0 0 14951 1050 0 0 25 0 1 0 774066292 94892032 21623 4294967295 134512640 134581331 3221224608 3221223536 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23167 21623 566 18 0 23149 0
vsize: 92668
[startup+170.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 569012 0 0 0 15949 1053 0 0 25 0 1 0 774066292 99033088 22621 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24178 22621 566 18 0 24160 0
vsize: 96712
[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 570008 0 0 0 16945 1057 0 0 25 0 1 0 774066292 103116800 23617 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25175 23617 566 18 0 25157 0
vsize: 100700
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 571026 0 0 0 17942 1060 0 0 25 0 1 0 774066292 107286528 24635 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26193 24635 566 18 0 26175 0
vsize: 104772
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 572036 0 0 0 18940 1062 0 0 25 0 1 0 774066292 111304704 25645 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27174 25645 566 18 0 27156 0
vsize: 108696
[startup+210.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 572944 0 0 0 19937 1065 0 0 25 0 1 0 774066292 115044352 26553 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28087 26553 566 18 0 28069 0
vsize: 112348
[startup+220.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 573852 0 0 0 20934 1068 0 0 25 0 1 0 774066292 118767616 27461 4294967295 134512640 134581331 3221224608 3221223488 134520302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28996 27461 566 18 0 28978 0
vsize: 115984
[startup+230.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 574756 0 0 0 21932 1071 0 0 25 0 1 0 774066292 122523648 28365 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29913 28365 566 18 0 29895 0
vsize: 119652
[startup+240.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 575524 0 0 0 22930 1073 0 0 25 0 1 0 774066292 125718528 29133 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30693 29133 566 18 0 30675 0
vsize: 122772
[startup+250.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 575909 0 0 0 23928 1075 0 0 25 0 1 0 774066292 127320064 29518 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31084 29518 566 18 0 31066 0
vsize: 124336
[startup+260.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 576665 0 0 0 24926 1077 0 0 25 0 1 0 774066292 130527232 30274 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31867 30274 566 18 0 31849 0
vsize: 127468
[startup+270.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 577862 0 0 0 25921 1082 0 0 25 0 1 0 774066292 135331840 31471 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33040 31471 566 18 0 33022 0
vsize: 132160
[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 579070 0 0 0 26918 1086 0 0 25 0 1 0 774066292 140337152 32679 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34262 32679 566 18 0 34244 0
vsize: 137048
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 580243 0 0 0 27914 1089 0 0 25 0 1 0 774066292 145113088 33852 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35428 33852 566 18 0 35410 0
vsize: 141712
[startup+300.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 581417 0 0 0 28911 1093 0 0 25 0 1 0 774066292 149999616 35026 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36621 35026 566 18 0 36603 0
vsize: 146484
[startup+310.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 582600 0 0 0 29907 1097 0 0 25 0 1 0 774066292 154734592 36209 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37777 36209 566 18 0 37759 0
vsize: 151108
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 583804 0 0 0 30904 1100 0 0 25 0 1 0 774066292 159764480 37413 4294967295 134512640 134581331 3221224608 3221223384 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39005 37413 566 18 0 38987 0
vsize: 156020
[startup+330.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 585471 0 0 0 31899 1106 0 0 25 0 1 0 774066292 166551552 39080 4294967295 134512640 134581331 3221224608 3221223552 134558952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40662 39080 566 18 0 40644 0
vsize: 162648
[startup+340.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 587172 0 0 0 32894 1110 0 0 25 0 1 0 774066292 173461504 40781 4294967295 134512640 134581331 3221224608 3221223504 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42349 40781 566 18 0 42331 0
vsize: 169396
[startup+350.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 588691 0 0 0 33890 1115 0 0 25 0 1 0 774066292 179712000 42300 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43875 42300 566 18 0 43857 0
vsize: 175500
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 590123 0 0 0 34886 1119 0 0 25 0 1 0 774066292 185618432 43732 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45317 43732 566 18 0 45299 0
vsize: 181268
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 591523 0 0 0 35882 1123 0 0 25 0 1 0 774066292 191270912 45132 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46697 45132 566 18 0 46679 0
vsize: 186788
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 592873 0 0 0 36879 1127 0 0 25 0 1 0 774066292 196902912 46482 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48072 46482 566 18 0 48054 0
vsize: 192288
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 594245 0 0 0 37875 1131 0 0 25 0 1 0 774066292 202530816 47854 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49446 47854 566 18 0 49428 0
vsize: 197784
[startup+400.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 595612 0 0 0 38872 1133 0 0 25 0 1 0 774066292 208052224 49221 4294967295 134512640 134581331 3221224608 3221223472 134528342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50794 49221 566 18 0 50776 0
vsize: 203176
[startup+410.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 39871 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223552 134558956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 40872 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223520 134527987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+430.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 41872 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+440.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 42872 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 43872 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+460.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 44872 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223680 134531400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+470.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 45872 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 46873 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223552 134559312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 47872 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 48872 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 49871 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+520.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 50870 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223536 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+530.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 51870 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+540.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 52870 1135 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223536 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+550.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 53871 1136 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223536 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+560.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 54871 1136 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223536 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+570.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 55871 1136 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223552 134559093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+580.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 596133 0 0 0 56871 1136 0 0 25 0 1 0 774066292 210231296 49742 4294967295 134512640 134581331 3221224608 3221223472 134528270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51326 49742 566 18 0 51308 0
vsize: 205304
[startup+590.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 597135 0 0 0 57868 1139 0 0 25 0 1 0 774066292 214355968 50744 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52333 50744 566 18 0 52315 0
vsize: 209332
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 598537 0 0 0 58863 1144 0 0 25 0 1 0 774066292 220033024 52146 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53719 52146 566 18 0 53701 0
vsize: 214876
[startup+610.013 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 599939 0 0 0 59859 1148 0 0 25 0 1 0 774066292 225837056 53548 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55136 53548 566 18 0 55118 0
vsize: 220544
[startup+620.013 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 601358 0 0 0 60855 1152 0 0 25 0 1 0 774066292 231641088 54967 4294967295 134512640 134581331 3221224608 3221223488 134520246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56553 54967 566 18 0 56535 0
vsize: 226212
[startup+630.014 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 602789 0 0 0 61851 1156 0 0 25 0 1 0 774066292 237449216 56398 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57971 56398 566 18 0 57953 0
vsize: 231884
[startup+640.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 604187 0 0 0 62848 1160 0 0 25 0 1 0 774066292 243138560 57796 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59360 57796 566 18 0 59342 0
vsize: 237440
[startup+650.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 605595 0 0 0 63844 1163 0 0 25 0 1 0 774066292 248930304 59204 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60774 59204 566 18 0 60756 0
vsize: 243096
[startup+660.013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 606996 0 0 0 64840 1168 0 0 25 0 1 0 774066292 254734336 60605 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62191 60605 566 18 0 62173 0
vsize: 248764
[startup+670.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 608381 0 0 0 65835 1173 0 0 25 0 1 0 774066292 260386816 61990 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63571 61990 566 18 0 63553 0
vsize: 254284
[startup+680.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 609783 0 0 0 66831 1177 0 0 25 0 1 0 774066292 266182656 63392 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64986 63392 566 18 0 64968 0
vsize: 259944
[startup+690.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 611187 0 0 0 67825 1183 0 0 25 0 1 0 774066292 271966208 64796 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66398 64796 566 18 0 66380 0
vsize: 265592
[startup+700.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 68823 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+710.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 69823 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+720.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 70823 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223488 134520282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+730.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 71823 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+740.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 72823 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+750.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 73823 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223504 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+760.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 74824 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 75824 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223572 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+780.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 76824 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+790.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 77824 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+800.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 78824 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+810.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 79824 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+820.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 80825 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 81825 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+840.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 82825 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+850.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 83825 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+860.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 84825 1186 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+870.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 85825 1187 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+880.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 86825 1187 0 0 25 0 1 0 774066292 275828736 65737 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67341 65737 566 18 0 67323 0
vsize: 269364
[startup+890.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 87825 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+900.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 88825 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223472 134528532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+910.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 89825 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+920.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 90825 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+930.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 91825 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223552 134558859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+940.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 92825 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+950.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 93825 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+960.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 94826 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+970.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 95826 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+980.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 96826 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+990.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 97826 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 98826 1187 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223536 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 99826 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 100826 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 101827 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 102827 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 103827 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 104827 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223236 1075290785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 105827 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223392 134528782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 106827 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 107828 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 108828 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 109828 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223488 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 110828 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223664 134556039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 111828 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223552 134559274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 112828 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223504 134517665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 113828 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223552 134558800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 114829 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223324 1075289104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 115829 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223244 1075288605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 116829 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 117829 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 23764
Raw data (stat): 23764 (Pueblo) R 23763 20224 20223 0 -1 0 612128 0 0 0 118829 1188 0 0 25 0 1 0 774066292 271327232 64647 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66242 64647 566 18 0 66224 0
vsize: 264968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 23764
Raw data (stat): 23764 (Pueblo) Z 23763 20224 20223 0 -1 1036 612128 0 0 0 118829 1200 0 0 25 0 1 0 774066292 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.3
CPU user time (s): 1188.3
CPU system time (s): 12.0032
CPU usage (%): 100.013
Max. virtual memory (Kb): 269364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####