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/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb
MD5SUM	a9d7b9b5569d1dec981f274df34ef66e
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	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	555744750
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.1067
Number of variables	266924
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	600
Number of constraints which are nor clauses,nor cardinality constraints	3178
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 39213

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 23:41:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27277 boxname=wulflinc3 idbench=1405 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  a9d7b9b5569d1dec981f274df34ef66e  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dano3mip.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dano3mip.opb
IDLAUNCH: 27277
/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:        138960 kB
Buffers:         27892 kB
Cached:         844920 kB
SwapCached:        240 kB
Active:          57004 kB
Inactive:       818252 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        138708 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14708 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 00:02:01 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 27277 7 1200.37 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/54 21173
Raw data (stat): 21173 (runsolver) R 21172 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853822082 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 9078 0 0 0 976 23 0 0 25 0 1 0 853822082 42848256 9053 4294967295 134512640 134581267 3221224576 3217028880 134541992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 9053 566 18 0 10443 0
vsize: 41844
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 11922 0 0 0 1963 35 0 0 25 0 1 0 853822082 54304768 11897 4294967295 134512640 134581267 3221224576 3217028880 134542149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13258 11899 566 18 0 13240 0
vsize: 53032
[startup+30.0022 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 219304 0 0 0 2492 506 0 0 25 0 1 0 853822082 108879872 19146 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26582 19155 566 18 0 26564 0
vsize: 106328
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 472973 0 0 0 2932 1067 0 0 25 0 1 0 853822082 122179584 22516 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29829 22523 566 18 0 29811 0
vsize: 119316
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 750039 0 0 0 3334 1665 0 0 25 0 1 0 853822082 123801600 22922 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30225 22930 566 18 0 30207 0
vsize: 120900
[startup+60.0033 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1014032 0 0 0 3750 2249 0 0 25 0 1 0 853822082 138641408 26437 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33848 26447 566 18 0 33830 0
vsize: 135392
[startup+70.0042 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1265462 0 0 0 4203 2796 0 0 25 0 1 0 853822082 160927744 32005 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39289 32013 566 18 0 39271 0
vsize: 157156
[startup+80.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1338591 0 0 0 5047 2952 0 0 25 0 1 0 853822082 162979840 32576 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39790 32576 566 18 0 39772 0
vsize: 159160
[startup+90.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1338601 0 0 0 6047 2952 0 0 25 0 1 0 853822082 162979840 32586 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39790 32586 566 18 0 39772 0
vsize: 159160
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1338601 0 0 0 7047 2952 0 0 25 0 1 0 853822082 162979840 32586 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39790 32586 566 18 0 39772 0
vsize: 159160
[startup+110.006 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1340309 0 0 0 8044 2956 0 0 25 0 1 0 853822082 169938944 34294 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41489 34294 566 18 0 41471 0
vsize: 165956
[startup+120.007 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1342106 0 0 0 9042 2959 0 0 25 0 1 0 853822082 177278976 36091 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43281 36091 566 18 0 43263 0
vsize: 173124
[startup+130.007 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1343775 0 0 0 10038 2963 0 0 25 0 1 0 853822082 184131584 37760 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44954 37761 566 18 0 44936 0
vsize: 179816
[startup+140.007 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1345476 0 0 0 11034 2966 0 0 25 0 1 0 853822082 191111168 39461 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46658 39461 566 18 0 46640 0
vsize: 186632
[startup+150.008 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1347097 0 0 0 12032 2969 0 0 25 0 1 0 853822082 197824512 41082 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48297 41082 566 18 0 48279 0
vsize: 193188
[startup+160.008 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1348595 0 0 0 13029 2973 0 0 25 0 1 0 853822082 203902976 42580 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49781 42580 566 18 0 49763 0
vsize: 199124
[startup+170.009 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1350080 0 0 0 14026 2975 0 0 25 0 1 0 853822082 209965056 44065 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51261 44065 566 18 0 51243 0
vsize: 205044
[startup+180.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1351539 0 0 0 15024 2978 0 0 25 0 1 0 853822082 216035328 45524 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52743 45524 566 18 0 52725 0
vsize: 210972
[startup+190.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1352930 0 0 0 16021 2981 0 0 25 0 1 0 853822082 221736960 46915 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54135 46915 566 18 0 54117 0
vsize: 216540
[startup+200.009 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1354265 0 0 0 17018 2984 0 0 25 0 1 0 853822082 227184640 48250 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55465 48250 566 18 0 55447 0
vsize: 221860
[startup+210.009 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1355531 0 0 0 18015 2987 0 0 25 0 1 0 853822082 232357888 49516 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56728 49516 566 18 0 56710 0
vsize: 226912
[startup+220.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1356801 0 0 0 19013 2989 0 0 25 0 1 0 853822082 237641728 50786 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58018 50786 566 18 0 58000 0
vsize: 232072
[startup+230.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1358039 0 0 0 20011 2992 0 0 25 0 1 0 853822082 242675712 52024 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59247 52024 566 18 0 59229 0
vsize: 236988
[startup+240.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1359270 0 0 0 21008 2994 0 0 25 0 1 0 853822082 247693312 53255 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60472 53255 566 18 0 60454 0
vsize: 241888
[startup+250.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1360482 0 0 0 22007 2996 0 0 25 0 1 0 853822082 252731392 54467 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61702 54467 566 18 0 61684 0
vsize: 246808
[startup+260.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1361652 0 0 0 23005 2999 0 0 25 0 1 0 853822082 257400832 55637 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62842 55637 566 18 0 62824 0
vsize: 251368
[startup+270.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1362786 0 0 0 24002 3001 0 0 25 0 1 0 853822082 262053888 56771 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63978 56771 566 18 0 63960 0
vsize: 255912
[startup+280.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1363811 0 0 0 24999 3004 0 0 25 0 1 0 853822082 266305536 57796 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65016 57796 566 18 0 64998 0
vsize: 260064
[startup+290.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1364897 0 0 0 25997 3006 0 0 25 0 1 0 853822082 270680064 58882 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66084 58882 566 18 0 66066 0
vsize: 264336
[startup+300.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1365978 0 0 0 26995 3009 0 0 25 0 1 0 853822082 275202048 59963 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67188 59963 566 18 0 67170 0
vsize: 268752
[startup+310.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1367055 0 0 0 27993 3011 0 0 25 0 1 0 853822082 279613440 61040 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68265 61040 566 18 0 68247 0
vsize: 273060
[startup+320.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1368134 0 0 0 28990 3014 0 0 25 0 1 0 853822082 284114944 62119 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69364 62119 566 18 0 69346 0
vsize: 277456
[startup+330.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1369183 0 0 0 29988 3016 0 0 25 0 1 0 853822082 288370688 63168 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70403 63168 566 18 0 70385 0
vsize: 281612
[startup+340.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1370205 0 0 0 30986 3019 0 0 25 0 1 0 853822082 292503552 64190 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71412 64190 566 18 0 71394 0
vsize: 285648
[startup+350.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1371199 0 0 0 31984 3021 0 0 25 0 1 0 853822082 296624128 65184 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72418 65184 566 18 0 72400 0
vsize: 289672
[startup+360.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1372193 0 0 0 32982 3023 0 0 25 0 1 0 853822082 300781568 66178 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73433 66178 566 18 0 73415 0
vsize: 293732
[startup+370.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1373159 0 0 0 33980 3025 0 0 25 0 1 0 853822082 304771072 67144 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74407 67144 566 18 0 74389 0
vsize: 297628
[startup+380.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1374101 0 0 0 34978 3027 0 0 25 0 1 0 853822082 308637696 68086 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75351 68086 566 18 0 75333 0
vsize: 301404
[startup+390.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1375043 0 0 0 35977 3029 0 0 25 0 1 0 853822082 312389632 69028 4294967295 134512640 134581267 3221224576 3221223568 134561024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76267 69028 566 18 0 76249 0
vsize: 305068
[startup+400.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1376001 0 0 0 36975 3031 0 0 25 0 1 0 853822082 316407808 69986 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77248 69986 566 18 0 77230 0
vsize: 308992
[startup+410.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1376939 0 0 0 37973 3033 0 0 25 0 1 0 853822082 320151552 70924 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78162 70924 566 18 0 78144 0
vsize: 312648
[startup+420.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1377857 0 0 0 38971 3035 0 0 25 0 1 0 853822082 323907584 71842 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79079 71842 566 18 0 79061 0
vsize: 316316
[startup+430.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1378673 0 0 0 39969 3037 0 0 25 0 1 0 853822082 327294976 72658 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79906 72658 566 18 0 79888 0
vsize: 319624
[startup+440.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1379531 0 0 0 40967 3040 0 0 25 0 1 0 853822082 330784768 73516 4294967295 134512640 134581267 3221224576 3221223568 134561101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80758 73516 566 18 0 80740 0
vsize: 323032
[startup+450.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1380403 0 0 0 41966 3041 0 0 25 0 1 0 853822082 334426112 74388 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81647 74388 566 18 0 81629 0
vsize: 326588
[startup+460.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1381262 0 0 0 42964 3043 0 0 25 0 1 0 853822082 337899520 75247 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82495 75247 566 18 0 82477 0
vsize: 329980
[startup+470.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1382115 0 0 0 43963 3045 0 0 25 0 1 0 853822082 341401600 76100 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83350 76100 566 18 0 83332 0
vsize: 333400
[startup+480.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1382955 0 0 0 44961 3047 0 0 25 0 1 0 853822082 344829952 76940 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84187 76940 566 18 0 84169 0
vsize: 336748
[startup+490.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1383769 0 0 0 45959 3049 0 0 25 0 1 0 853822082 348192768 77754 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85008 77754 566 18 0 84990 0
vsize: 340032
[startup+500.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1384609 0 0 0 46958 3051 0 0 25 0 1 0 853822082 351567872 78594 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85832 78594 566 18 0 85814 0
vsize: 343328
[startup+510.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1385444 0 0 0 47955 3053 0 0 25 0 1 0 853822082 354930688 79429 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86653 79429 566 18 0 86635 0
vsize: 346612
[startup+520.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1386254 0 0 0 48953 3055 0 0 25 0 1 0 853822082 358289408 80239 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87473 80239 566 18 0 87455 0
vsize: 349892
[startup+530.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387072 0 0 0 49952 3057 0 0 25 0 1 0 853822082 361664512 81057 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88297 81057 566 18 0 88279 0
vsize: 353188
[startup+540.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 50951 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+550.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 51951 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+560.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 52951 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+570.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 53952 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+580.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 54952 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+590.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 55952 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+600.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 56952 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+610.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 57952 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+620.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 58953 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+630.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 59953 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+640.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 60953 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+650.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 61953 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+660.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 62953 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+670.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 63954 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+680.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 64954 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+690.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 65954 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+700.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 66954 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+710.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 67955 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223456 134520282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+720.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 68955 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+730.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 69955 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+740.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 70955 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+750.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 71955 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+760.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387411 0 0 0 72955 3058 0 0 25 0 1 0 853822082 363073536 81396 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81396 566 18 0 88623 0
vsize: 354564
[startup+770.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 73956 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+780.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 74956 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+790.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 75956 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+800.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 76956 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+810.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 77956 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+820.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 78957 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+830.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 79957 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+840.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 80957 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+850.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 81957 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+860.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 82957 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+870.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 83958 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+880.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387414 0 0 0 84958 3058 0 0 25 0 1 0 853822082 363073536 81399 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+890.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387415 0 0 0 85958 3058 0 0 25 0 1 0 853822082 363073536 81400 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81400 566 18 0 88623 0
vsize: 354564
[startup+900.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387415 0 0 0 86958 3058 0 0 25 0 1 0 853822082 363073536 81400 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81400 566 18 0 88623 0
vsize: 354564
[startup+910.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387415 0 0 0 87958 3058 0 0 25 0 1 0 853822082 363073536 81400 4294967295 134512640 134581267 3221224576 3221223520 134559415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88641 81400 566 18 0 88623 0
vsize: 354564
[startup+920.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 88958 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+930.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 89958 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223520 134558895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+940.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 90958 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+950.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 91958 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+960.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 92958 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+970.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 93959 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+980.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 94959 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+990.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 95959 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 96959 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 97960 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 98960 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 99960 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 100960 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 101960 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 102961 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 103961 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21173
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 104961 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21226
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 105959 3059 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21226
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387684 0 0 0 106959 3060 0 0 25 0 1 0 853822082 364105728 81669 4294967295 134512640 134581267 3221224576 3221223472 134517729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81669 566 18 0 88875 0
vsize: 355572
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21226
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387685 0 0 0 107959 3060 0 0 25 0 1 0 853822082 364105728 81670 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81670 566 18 0 88875 0
vsize: 355572
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21226
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387685 0 0 0 108959 3060 0 0 25 0 1 0 853822082 364105728 81670 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81670 566 18 0 88875 0
vsize: 355572
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21226
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387685 0 0 0 109959 3060 0 0 25 0 1 0 853822082 364105728 81670 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81670 566 18 0 88875 0
vsize: 355572
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21226
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387685 0 0 0 110959 3061 0 0 25 0 1 0 853822082 364105728 81670 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81670 566 18 0 88875 0
vsize: 355572
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21226
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387686 0 0 0 111959 3061 0 0 25 0 1 0 853822082 364105728 81671 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81671 566 18 0 88875 0
vsize: 355572
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21228
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387686 0 0 0 112959 3061 0 0 25 0 1 0 853822082 364105728 81671 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81671 566 18 0 88875 0
vsize: 355572
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21228
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387686 0 0 0 113959 3061 0 0 25 0 1 0 853822082 364105728 81671 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81671 566 18 0 88875 0
vsize: 355572
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21228
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387686 0 0 0 114959 3062 0 0 25 0 1 0 853822082 364105728 81671 4294967295 134512640 134581267 3221224576 3221223472 134517841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81671 566 18 0 88875 0
vsize: 355572
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21228
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387686 0 0 0 115959 3062 0 0 25 0 1 0 853822082 364105728 81671 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81671 566 18 0 88875 0
vsize: 355572
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21228
Raw data (stat): 21173 (Pueblo-v2) R 21172 20224 20223 0 -1 0 1387686 0 0 0 116959 3062 0 0 25 0 1 0 853822082 364105728 81671 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88893 81671 566 18 0 88875 0
vsize: 355572
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 21228
Raw data (stat): 21173 (Pueblo-v2) Z 21172 20224 20223 0 -1 1036 1387686 0 0 0 116959 3077 0 0 25 0 1 0 853822082 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.21
CPU time (s): 1200.37
CPU user time (s): 1169.59
CPU system time (s): 30.7783
CPU usage (%): 100.014
Max. virtual memory (Kb): 355572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####