PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb
MD5SUM	eaead9cf67652e4b2ad71612149d4439
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	131072000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	576307709
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	303.797
Number of variables	269983
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	120
Number of constraints which are nor clauses,nor cardinality constraints	3658
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 39309

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-03 03:09:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27370 boxname=wulflinc3 idbench=1498 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  eaead9cf67652e4b2ad71612149d4439  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dano3_5.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dano3_5.opb
IDLAUNCH: 27370
/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:        283928 kB
Buffers:         30320 kB
Cached:         697516 kB
SwapCached:        240 kB
Active:          63132 kB
Inactive:       667188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        283676 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14620 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 03:29:57 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 27370 7 1200.34 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.93 0.98 0.91 2/54 22792
Raw data (stat): 22792 (runsolver) R 22791 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855069844 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 9131 0 0 0 973 26 0 0 25 0 1 0 855069844 42983424 9106 4294967295 134512640 134581267 3221224576 3217028848 1075243389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10494 9106 566 18 0 10476 0
vsize: 41976
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 12006 0 0 0 1960 39 0 0 25 0 1 0 855069844 54714368 11981 4294967295 134512640 134581267 3221224576 3217028816 134533938 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13358 11981 566 18 0 13340 0
vsize: 53432
[startup+30.001 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 210461 0 0 0 2521 477 0 0 25 0 1 0 855069844 109260800 19289 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26675 19299 566 18 0 26657 0
vsize: 106700
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 465091 0 0 0 2975 1023 0 0 25 0 1 0 855069844 122994688 22856 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30028 22867 566 18 0 30010 0
vsize: 120112
[startup+50.0032 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 743938 0 0 0 3377 1621 0 0 25 0 1 0 855069844 125706240 23446 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30690 23453 566 18 0 30672 0
vsize: 122760
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1010697 0 0 0 3809 2190 0 0 25 0 1 0 855069844 138772480 26733 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34144 26741 566 18 0 34126 0
vsize: 135520
[startup+70.0039 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1261833 0 0 0 4272 2726 0 0 25 0 1 0 855069844 162627584 32349 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39704 32359 566 18 0 39686 0
vsize: 158816
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1354338 0 0 0 5072 2927 0 0 25 0 1 0 855069844 165408768 33246 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40383 33246 566 18 0 40365 0
vsize: 161532
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1354348 0 0 0 6073 2927 0 0 25 0 1 0 855069844 165408768 33256 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40383 33256 566 18 0 40365 0
vsize: 161532
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1354348 0 0 0 7073 2927 0 0 25 0 1 0 855069844 165408768 33256 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40383 33256 566 18 0 40365 0
vsize: 161532
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1356314 0 0 0 8070 2930 0 0 25 0 1 0 855069844 173490176 35222 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42356 35222 566 18 0 42338 0
vsize: 169424
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1358194 0 0 0 9067 2933 0 0 25 0 1 0 855069844 181161984 37102 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44229 37102 566 18 0 44211 0
vsize: 176916
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1360081 0 0 0 10063 2937 0 0 25 0 1 0 855069844 188952576 38989 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46131 38989 566 18 0 46113 0
vsize: 184524
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1361924 0 0 0 11058 2942 0 0 25 0 1 0 855069844 196411392 40832 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47952 40832 566 18 0 47934 0
vsize: 191808
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1363828 0 0 0 12056 2945 0 0 25 0 1 0 855069844 204242944 42736 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49864 42736 566 18 0 49846 0
vsize: 199456
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1365616 0 0 0 13053 2948 0 0 25 0 1 0 855069844 211570688 44524 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51653 44524 566 18 0 51635 0
vsize: 206612
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1367316 0 0 0 14049 2952 0 0 25 0 1 0 855069844 218521600 46224 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53350 46224 566 18 0 53332 0
vsize: 213400
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1369014 0 0 0 15047 2954 0 0 25 0 1 0 855069844 225591296 47922 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55076 47922 566 18 0 55058 0
vsize: 220304
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1370612 0 0 0 16045 2957 0 0 25 0 1 0 855069844 232026112 49520 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56647 49520 566 18 0 56629 0
vsize: 226588
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1372166 0 0 0 17043 2959 0 0 25 0 1 0 855069844 238473216 51074 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58221 51074 566 18 0 58203 0
vsize: 232884
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1373717 0 0 0 18040 2961 0 0 25 0 1 0 855069844 244793344 52625 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59764 52625 566 18 0 59746 0
vsize: 239056
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1375135 0 0 0 19036 2966 0 0 25 0 1 0 855069844 250621952 54043 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61187 54043 566 18 0 61169 0
vsize: 244748
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1376633 0 0 0 20033 2969 0 0 25 0 1 0 855069844 256811008 55541 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62698 55541 566 18 0 62680 0
vsize: 250792
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1378112 0 0 0 21031 2971 0 0 25 0 1 0 855069844 262852608 57020 4294967295 134512640 134581267 3221224576 3221223368 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64173 57020 566 18 0 64155 0
vsize: 256692
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1379499 0 0 0 22027 2976 0 0 25 0 1 0 855069844 268513280 58407 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65555 58407 566 18 0 65537 0
vsize: 262220
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1380894 0 0 0 23026 2977 0 0 25 0 1 0 855069844 274296832 59802 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66967 59802 566 18 0 66949 0
vsize: 267868
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1382251 0 0 0 24024 2979 0 0 25 0 1 0 855069844 279814144 61159 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68314 61159 566 18 0 68296 0
vsize: 273256
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1383612 0 0 0 25022 2981 0 0 25 0 1 0 855069844 285450240 62520 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69690 62521 566 18 0 69672 0
vsize: 278760
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1384941 0 0 0 26021 2983 0 0 25 0 1 0 855069844 290824192 63849 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71002 63849 566 18 0 70984 0
vsize: 284008
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1386220 0 0 0 27018 2986 0 0 25 0 1 0 855069844 296095744 65128 4294967295 134512640 134581267 3221224576 3221223472 134517806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72289 65128 566 18 0 72271 0
vsize: 289156
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1387997 0 0 0 28015 2989 0 0 25 0 1 0 855069844 303407104 66905 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74074 66905 566 18 0 74056 0
vsize: 296296
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1389171 0 0 0 29013 2991 0 0 25 0 1 0 855069844 308281344 68079 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75264 68079 566 18 0 75246 0
vsize: 301056
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1389888 0 0 0 30012 2993 0 0 25 0 1 0 855069844 311177216 68796 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75971 68796 566 18 0 75953 0
vsize: 303884
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1390930 0 0 0 31009 2995 0 0 25 0 1 0 855069844 315383808 69838 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76998 69838 566 18 0 76980 0
vsize: 307992
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1392217 0 0 0 32007 2998 0 0 25 0 1 0 855069844 320651264 71125 4294967295 134512640 134581267 3221224576 3221223520 134558906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78284 71125 566 18 0 78266 0
vsize: 313136
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1393492 0 0 0 33002 3002 0 0 25 0 1 0 855069844 325931008 72400 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79573 72400 566 18 0 79555 0
vsize: 318292
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1394734 0 0 0 33999 3004 0 0 25 0 1 0 855069844 330936320 73642 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80795 73642 566 18 0 80777 0
vsize: 323180
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1395981 0 0 0 34996 3007 0 0 25 0 1 0 855069844 336072704 74889 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82049 74889 566 18 0 82031 0
vsize: 328196
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1397204 0 0 0 35993 3010 0 0 25 0 1 0 855069844 341094400 76112 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83275 76112 566 18 0 83257 0
vsize: 333100
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1398423 0 0 0 36991 3012 0 0 25 0 1 0 855069844 346087424 77331 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84494 77331 566 18 0 84476 0
vsize: 337976
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1399585 0 0 0 37989 3014 0 0 25 0 1 0 855069844 350834688 78493 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85653 78493 566 18 0 85635 0
vsize: 342612
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1400773 0 0 0 38985 3017 0 0 25 0 1 0 855069844 355823616 79681 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86871 79681 566 18 0 86853 0
vsize: 347484
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1401915 0 0 0 39983 3019 0 0 25 0 1 0 855069844 360574976 80823 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88031 80823 566 18 0 88013 0
vsize: 352124
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1403045 0 0 0 40981 3021 0 0 25 0 1 0 855069844 365207552 81953 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89162 81955 566 18 0 89144 0
vsize: 356648
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404151 0 0 0 41978 3024 0 0 25 0 1 0 855069844 369700864 83059 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90259 83059 566 18 0 90241 0
vsize: 361036
[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404323 0 0 0 42978 3024 0 0 25 0 1 0 855069844 370339840 83231 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83231 566 18 0 90397 0
vsize: 361660
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 43978 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 44978 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+490.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 45978 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 46979 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+510.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 47979 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+520.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 48979 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+530.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 49979 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 50979 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 51979 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+560.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 52980 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+570.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 53980 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+580.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 54980 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 55980 3024 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+600.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 56980 3025 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+610.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 57981 3025 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223568 134561094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 58981 3025 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 59981 3025 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+640.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404324 0 0 0 60981 3025 0 0 25 0 1 0 855069844 370339840 83232 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83232 566 18 0 90397 0
vsize: 361660
[startup+650.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404325 0 0 0 61981 3025 0 0 25 0 1 0 855069844 370339840 83233 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83233 566 18 0 90397 0
vsize: 361660
[startup+660.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404325 0 0 0 62982 3025 0 0 25 0 1 0 855069844 370339840 83233 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83233 566 18 0 90397 0
vsize: 361660
[startup+670.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404325 0 0 0 63982 3025 0 0 25 0 1 0 855069844 370339840 83233 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83233 566 18 0 90397 0
vsize: 361660
[startup+680.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404325 0 0 0 64982 3025 0 0 25 0 1 0 855069844 370339840 83233 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83233 566 18 0 90397 0
vsize: 361660
[startup+690.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404325 0 0 0 65982 3025 0 0 25 0 1 0 855069844 370339840 83233 4294967295 134512640 134581267 3221224576 3221223568 134561081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83233 566 18 0 90397 0
vsize: 361660
[startup+700.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404325 0 0 0 66982 3025 0 0 25 0 1 0 855069844 370339840 83233 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83233 566 18 0 90397 0
vsize: 361660
[startup+710.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1404325 0 0 0 67982 3025 0 0 25 0 1 0 855069844 370339840 83233 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90415 83233 566 18 0 90397 0
vsize: 361660
[startup+720.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1405340 0 0 0 68980 3028 0 0 25 0 1 0 855069844 374509568 84248 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91433 84248 566 18 0 91415 0
vsize: 365732
[startup+730.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 69978 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+740.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 70978 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+750.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 71978 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+760.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 72978 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+770.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 73978 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+780.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 74978 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+790.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 75979 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+800.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 76979 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+810.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 77979 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223440 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+820.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 78979 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+830.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 79979 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+840.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 80979 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+850.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 81980 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+860.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406086 0 0 0 82980 3030 0 0 25 0 1 0 855069844 377597952 84994 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84994 566 18 0 92169 0
vsize: 368748
[startup+870.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 83980 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+880.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 84981 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+890.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 85981 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+900.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 86981 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+910.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 87981 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 88981 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+930.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 89981 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+940.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 90982 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+950.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 91982 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+960.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 92982 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+970.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 93982 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+980.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 94982 3030 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+990.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 95983 3031 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406087 0 0 0 96983 3031 0 0 25 0 1 0 855069844 377597952 84995 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92187 84995 566 18 0 92169 0
vsize: 368748
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 97983 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 98983 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 99983 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 100983 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 101983 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 102984 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 103984 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 104984 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 105984 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 106984 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 107985 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 108985 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 109985 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 110985 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 111985 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 112986 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406122 0 0 0 113986 3031 0 0 25 0 1 0 855069844 377729024 85030 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85030 566 18 0 92201 0
vsize: 368876
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406123 0 0 0 114986 3031 0 0 25 0 1 0 855069844 377729024 85031 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85031 566 18 0 92201 0
vsize: 368876
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406123 0 0 0 115986 3031 0 0 25 0 1 0 855069844 377729024 85031 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85031 566 18 0 92201 0
vsize: 368876
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22792
Raw data (stat): 22792 (Pueblo-v2) R 22791 20224 20223 0 -1 0 1406123 0 0 0 116986 3031 0 0 25 0 1 0 855069844 377729024 85031 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 85031 566 18 0 92201 0
vsize: 368876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 22792
Raw data (stat): 22792 (Pueblo-v2) Z 22791 20224 20223 0 -1 1036 1406123 0 0 0 116987 3047 0 0 25 0 1 0 855069844 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.22
CPU time (s): 1200.34
CPU user time (s): 1169.87
CPU system time (s): 30.4744
CPU usage (%): 100.01
Max. virtual memory (Kb): 368876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####