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-neos9.opb
MD5SUM	450ad3720278f8a937b0ae6f1c4dfd6d
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	145051
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	4825267
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	3840
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	4825267
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.26005
Number of variables	636571
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	10240
Trace number 39341

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-03 03:44:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27393 boxname=wulflinc4 idbench=1521 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  450ad3720278f8a937b0ae6f1c4dfd6d  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-neos9.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-neos9.opb
IDLAUNCH: 27393
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        455544 kB
Buffers:         32392 kB
Cached:         523756 kB
SwapCached:        568 kB
Active:          76268 kB
Inactive:       482012 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        455292 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            15188 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 04:04:23 (client local time) WITH STATUS 0 IN 1200.12 SECONDS
stats: 27393 7 1200.12 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.90 0.93 0.90 1/54 25359
Raw data (stat): 25359 (runsolver) R 25358 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855275503 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.0009 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 11067 0 0 0 968 31 0 0 25 0 1 0 855275503 48713728 11042 4294967295 134512640 134581267 3221224576 3217028812 1075310604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11893 11042 566 18 0 11875 0
vsize: 47572
[startup+20.0018 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 21571 0 0 0 1936 63 0 0 25 0 1 0 855275503 91680768 21546 4294967295 134512640 134581267 3221224576 3217028816 134533938 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22383 21546 566 18 0 22365 0
vsize: 89532
[startup+30.0016 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 24525 0 0 0 2925 74 0 0 25 0 1 0 855275503 103821312 24500 4294967295 134512640 134581267 3221224576 3217028856 1075310378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25347 24500 566 18 0 25329 0
vsize: 101388
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 27327 0 0 0 3914 85 0 0 25 0 1 0 855275503 115281920 27302 4294967295 134512640 134581267 3221224576 3217028880 134542097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28145 27302 566 18 0 28127 0
vsize: 112580
[startup+50.0035 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 124519 0 0 0 4688 311 0 0 25 0 1 0 855275503 226062336 44608 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44608 566 18 0 55173 0
vsize: 220764
[startup+60.0043 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 394491 0 0 0 5072 927 0 0 25 0 1 0 855275503 226062336 44632 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44632 566 18 0 55173 0
vsize: 220764
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 664116 0 0 0 5452 1547 0 0 25 0 1 0 855275503 226062336 44309 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44309 566 18 0 55173 0
vsize: 220764
[startup+80.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 933422 0 0 0 5835 2163 0 0 25 0 1 0 855275503 226062336 44289 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44289 566 18 0 55173 0
vsize: 220764
[startup+90.0069 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 1202632 0 0 0 6215 2784 0 0 25 0 1 0 855275503 226062336 44795 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44795 566 18 0 55173 0
vsize: 220764
[startup+100.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 1471370 0 0 0 6595 3403 0 0 25 0 1 0 855275503 226062336 44207 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44207 566 18 0 55173 0
vsize: 220764
[startup+110.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 1740041 0 0 0 6971 4027 0 0 25 0 1 0 855275503 223514624 44174 4294967295 134512640 134581267 3221224576 3221223792 134551617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54569 44174 566 18 0 54551 0
vsize: 218276
[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 2009317 0 0 0 7350 4648 0 0 25 0 1 0 855275503 226062336 44746 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44746 566 18 0 55173 0
vsize: 220764
[startup+130.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 2277568 0 0 0 7734 5265 0 0 25 0 1 0 855275503 226062336 44293 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44293 566 18 0 55173 0
vsize: 220764
[startup+140.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 2546129 0 0 0 8112 5886 0 0 25 0 1 0 855275503 226062336 44772 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44772 566 18 0 55173 0
vsize: 220764
[startup+150.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 2814411 0 0 0 8493 6506 0 0 25 0 1 0 855275503 226062336 44350 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44350 566 18 0 55173 0
vsize: 220764
[startup+160.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 3082730 0 0 0 8867 7132 0 0 25 0 1 0 855275503 226062336 44587 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44587 566 18 0 55173 0
vsize: 220764
[startup+170.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 3351021 0 0 0 9246 7753 0 0 25 0 1 0 855275503 226062336 44796 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44796 566 18 0 55173 0
vsize: 220764
[startup+180.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 3619047 0 0 0 9627 8372 0 0 25 0 1 0 855275503 226062336 44741 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44741 566 18 0 55173 0
vsize: 220764
[startup+190.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 3887610 0 0 0 10003 8995 0 0 25 0 1 0 855275503 226062336 44599 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44599 566 18 0 55173 0
vsize: 220764
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 4156142 0 0 0 10382 9616 0 0 25 0 1 0 855275503 226062336 44427 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44427 566 18 0 55173 0
vsize: 220764
[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 4424593 0 0 0 10760 10238 0 0 25 0 1 0 855275503 226062336 44796 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44796 566 18 0 55173 0
vsize: 220764
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 4693071 0 0 0 11144 10854 0 0 25 0 1 0 855275503 226062336 44570 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44570 566 18 0 55173 0
vsize: 220764
[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 4961460 0 0 0 11527 11471 0 0 25 0 1 0 855275503 226062336 44255 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44255 566 18 0 55173 0
vsize: 220764
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 5230267 0 0 0 11909 12089 0 0 25 0 1 0 855275503 226062336 44358 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44358 566 18 0 55173 0
vsize: 220764
[startup+250.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 5499409 0 0 0 12286 12712 0 0 25 0 1 0 855275503 223514624 44174 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54569 44174 566 18 0 54551 0
vsize: 218276
[startup+260.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 5768541 0 0 0 12666 13331 0 0 25 0 1 0 855275503 226062336 44602 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44602 566 18 0 55173 0
vsize: 220764
[startup+270.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 6037166 0 0 0 13046 13951 0 0 25 0 1 0 855275503 226062336 44523 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55191 44523 566 18 0 55173 0
vsize: 220764
[startup+280.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 6305128 0 0 0 13425 14572 0 0 25 0 1 0 855275503 226467840 44403 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55290 44403 566 18 0 55272 0
vsize: 221160
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 6572970 0 0 0 13803 15194 0 0 25 0 1 0 855275503 227008512 44785 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55422 44785 566 18 0 55404 0
vsize: 221688
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 6841614 0 0 0 14189 15808 0 0 25 0 1 0 855275503 227549184 44725 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55554 44725 566 18 0 55536 0
vsize: 222216
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 7111832 0 0 0 14566 16431 0 0 25 0 1 0 855275503 228089856 44995 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55686 44995 566 18 0 55668 0
vsize: 222744
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 7382229 0 0 0 14949 17049 0 0 25 0 1 0 855275503 228630528 44822 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55818 44822 566 18 0 55800 0
vsize: 223272
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 7652755 0 0 0 15338 17659 0 0 25 0 1 0 855275503 229171200 45401 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55950 45401 566 18 0 55932 0
vsize: 223800
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 7923222 0 0 0 15721 18276 0 0 25 0 1 0 855275503 229711872 45297 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56082 45297 566 18 0 56064 0
vsize: 224328
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 8193695 0 0 0 16099 18898 0 0 25 0 1 0 855275503 230387712 45822 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56247 45822 566 18 0 56229 0
vsize: 224988
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 8464168 0 0 0 16479 19518 0 0 25 0 1 0 855275503 230928384 45725 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56379 45725 566 18 0 56361 0
vsize: 225516
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 8734483 0 0 0 16859 20138 0 0 25 0 1 0 855275503 228921344 45470 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55889 45470 566 18 0 55871 0
vsize: 223556
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 9004961 0 0 0 17243 20754 0 0 25 0 1 0 855275503 232009728 46000 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56643 46000 566 18 0 56625 0
vsize: 226572
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 9275303 0 0 0 17624 21373 0 0 25 0 1 0 855275503 232550400 45772 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56775 45772 566 18 0 56757 0
vsize: 227100
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 9545919 0 0 0 18005 21992 0 0 25 0 1 0 855275503 233091072 46440 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56907 46440 566 18 0 56889 0
vsize: 227628
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 9816342 0 0 0 18391 22606 0 0 25 0 1 0 855275503 233631744 46293 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57039 46293 566 18 0 57021 0
vsize: 228156
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 10086559 0 0 0 18777 23220 0 0 25 0 1 0 855275503 234172416 46562 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57171 46562 566 18 0 57153 0
vsize: 228684
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 10356972 0 0 0 19159 23838 0 0 25 0 1 0 855275503 234823680 46405 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57330 46405 566 18 0 57312 0
vsize: 229320
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 10627403 0 0 0 19534 24464 0 0 25 0 1 0 855275503 235364352 46888 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57462 46888 566 18 0 57444 0
vsize: 229848
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 10897637 0 0 0 19911 25086 0 0 25 0 1 0 855275503 235905024 47174 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57594 47174 566 18 0 57576 0
vsize: 230376
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 11168040 0 0 0 20298 25700 0 0 25 0 1 0 855275503 236445696 47007 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57726 47007 566 18 0 57708 0
vsize: 230904
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 11438450 0 0 0 20681 26316 0 0 25 0 1 0 855275503 236986368 46847 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57858 46847 566 18 0 57840 0
vsize: 231432
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 11708969 0 0 0 21064 26933 0 0 25 0 1 0 855275503 237527040 47418 4294967295 134512640 134581267 3221224576 3221223568 134531692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57990 47418 566 18 0 57972 0
vsize: 231960
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 11979425 0 0 0 21447 27551 0 0 25 0 1 0 855275503 238067712 47305 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58122 47305 566 18 0 58104 0
vsize: 232488
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 12249779 0 0 0 21833 28164 0 0 25 0 1 0 855275503 238743552 47710 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58287 47710 566 18 0 58269 0
vsize: 233148
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 12520002 0 0 0 22222 28776 0 0 25 0 1 0 855275503 236736512 47363 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57797 47363 566 18 0 57779 0
vsize: 231188
[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 12790434 0 0 0 22604 29393 0 0 25 0 1 0 855275503 239824896 47847 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58551 47847 566 18 0 58533 0
vsize: 234204
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 13060853 0 0 0 22991 30007 0 0 25 0 1 0 855275503 240365568 47696 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58683 47696 566 18 0 58665 0
vsize: 234732
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 13331434 0 0 0 23378 30619 0 0 25 0 1 0 855275503 240906240 48329 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58815 48329 566 18 0 58797 0
vsize: 235260
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 13601743 0 0 0 23760 31237 0 0 25 0 1 0 855275503 241446912 48068 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58947 48068 566 18 0 58929 0
vsize: 235788
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 13872152 0 0 0 24144 31852 0 0 25 0 1 0 855275503 241987584 48529 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59079 48529 566 18 0 59061 0
vsize: 236316
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 14142555 0 0 0 24530 32467 0 0 25 0 1 0 855275503 242528256 48362 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59211 48362 566 18 0 59193 0
vsize: 236844
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 14412906 0 0 0 24915 33082 0 0 25 0 1 0 855275503 243068928 48765 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59343 48765 566 18 0 59325 0
vsize: 237372
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 14683183 0 0 0 25296 33701 0 0 25 0 1 0 855275503 243609600 48472 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 48472 566 18 0 59457 0
vsize: 237900
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 14953548 0 0 0 25683 34314 0 0 25 0 1 0 855275503 244150272 48889 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59607 48889 566 18 0 59589 0
vsize: 238428
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 15223995 0 0 0 26067 34930 0 0 25 0 1 0 855275503 244826112 48766 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59772 48766 566 18 0 59754 0
vsize: 239088
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 15494262 0 0 0 26453 35544 0 0 25 0 1 0 855275503 245366784 49085 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59904 49085 566 18 0 59886 0
vsize: 239616
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 15764512 0 0 0 26838 36159 0 0 25 0 1 0 855275503 245907456 49387 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60036 49387 566 18 0 60018 0
vsize: 240144
[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 16034818 0 0 0 27219 36777 0 0 25 0 1 0 855275503 246448128 49745 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60168 49745 566 18 0 60150 0
vsize: 240672
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 16305121 0 0 0 27608 37388 0 0 25 0 1 0 855275503 246988800 49478 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60300 49478 566 18 0 60282 0
vsize: 241200
[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 16575438 0 0 0 27992 38005 0 0 25 0 1 0 855275503 247529472 49847 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60432 49847 566 18 0 60414 0
vsize: 241728
[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 16845843 0 0 0 28366 38630 0 0 25 0 1 0 855275503 248070144 49682 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60564 49682 566 18 0 60546 0
vsize: 242256
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 17116178 0 0 0 28744 39252 0 0 25 0 1 0 855275503 248610816 50069 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60696 50069 566 18 0 60678 0
vsize: 242784
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 17386479 0 0 0 29129 39868 0 0 25 0 1 0 855275503 249151488 50422 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60828 50422 566 18 0 60810 0
vsize: 243312
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 17656776 0 0 0 29511 40485 0 0 25 0 1 0 855275503 249692160 50150 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60960 50150 566 18 0 60942 0
vsize: 243840
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 17926993 0 0 0 29893 41103 0 0 25 0 1 0 855275503 250232832 50418 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61092 50418 566 18 0 61074 0
vsize: 244368
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 18197272 0 0 0 30273 41722 0 0 25 0 1 0 855275503 250908672 50749 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61257 50749 566 18 0 61239 0
vsize: 245028
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 18467433 0 0 0 30656 42340 0 0 25 0 1 0 855275503 248901632 50340 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60767 50340 566 18 0 60749 0
vsize: 243068
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 18737596 0 0 0 31039 42956 0 0 25 0 1 0 855275503 251990016 50555 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61521 50555 566 18 0 61503 0
vsize: 246084
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 19007775 0 0 0 31417 43579 0 0 25 0 1 0 855275503 252530688 50787 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61653 50787 566 18 0 61635 0
vsize: 246612
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 19277869 0 0 0 31801 44195 0 0 25 0 1 0 855275503 253071360 50932 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61785 50932 566 18 0 61767 0
vsize: 247140
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 19548186 0 0 0 32185 44810 0 0 25 0 1 0 855275503 253612032 51301 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61917 51301 566 18 0 61899 0
vsize: 247668
[startup+780.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 19818472 0 0 0 32572 45424 0 0 25 0 1 0 855275503 254152704 51639 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62049 51639 566 18 0 62031 0
vsize: 248196
[startup+790.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 20088555 0 0 0 32958 46038 0 0 25 0 1 0 855275503 254693376 51774 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62181 51774 566 18 0 62163 0
vsize: 248724
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 20358746 0 0 0 33339 46656 0 0 25 0 1 0 855275503 255234048 51396 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62313 51396 566 18 0 62295 0
vsize: 249252
[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 20628722 0 0 0 33725 47271 0 0 25 0 1 0 855275503 253353984 51423 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61854 51423 566 18 0 61836 0
vsize: 247416
[startup+820.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 20898890 0 0 0 34111 47885 0 0 25 0 1 0 855275503 256442368 51643 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62608 51643 566 18 0 62590 0
vsize: 250432
[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 21168888 0 0 0 34502 48494 0 0 25 0 1 0 855275503 254435328 51693 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62118 51693 566 18 0 62100 0
vsize: 248472
[startup+840.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 21438875 0 0 0 34887 49109 0 0 25 0 1 0 855275503 257658880 52354 4294967295 134512640 134581267 3221224576 3221223568 134531692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62905 52354 566 18 0 62887 0
vsize: 251620
[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 21708805 0 0 0 35276 49720 0 0 25 0 1 0 855275503 258199552 52336 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63037 52336 566 18 0 63019 0
vsize: 252148
[startup+860.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 21978515 0 0 0 35658 50338 0 0 25 0 1 0 855275503 258740224 52720 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63169 52720 566 18 0 63151 0
vsize: 252676
[startup+870.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 22248442 0 0 0 36045 50950 0 0 25 0 1 0 855275503 259280896 52699 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63301 52699 566 18 0 63283 0
vsize: 253204
[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 22518429 0 0 0 36434 51562 0 0 25 0 1 0 855275503 259821568 52738 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63433 52738 566 18 0 63415 0
vsize: 253732
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 22788189 0 0 0 36817 52178 0 0 25 0 1 0 855275503 260362240 52550 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63565 52550 566 18 0 63547 0
vsize: 254260
[startup+900.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 23058167 0 0 0 37199 52797 0 0 25 0 1 0 855275503 260902912 53202 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63697 53202 566 18 0 63679 0
vsize: 254788
[startup+910.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 23328278 0 0 0 37580 53415 0 0 25 0 1 0 855275503 261443584 53365 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63829 53365 566 18 0 63811 0
vsize: 255316
[startup+920.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 23598154 0 0 0 37959 54037 0 0 25 0 1 0 855275503 261984256 53294 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63961 53294 566 18 0 63943 0
vsize: 255844
[startup+930.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 23868013 0 0 0 38345 54651 0 0 25 0 1 0 855275503 262524928 53204 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64093 53204 566 18 0 64075 0
vsize: 256372
[startup+940.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25359
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 24138041 0 0 0 38729 55266 0 0 25 0 1 0 855275503 263065600 53284 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64225 53284 566 18 0 64207 0
vsize: 256900
[startup+950.055 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 25412
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 24402419 0 0 0 39106 55888 0 0 25 0 1 0 855275503 261058560 53312 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64357 53321 566 18 0 64339 0
vsize: 254940
[startup+960.055 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 25412
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 24669264 0 0 0 39482 56512 0 0 25 0 1 0 855275503 264146944 53941 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64489 53948 566 18 0 64471 0
vsize: 257956
[startup+970.055 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 25412
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 24936041 0 0 0 39854 57141 0 0 25 0 1 0 855275503 264687616 53880 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64621 53887 566 18 0 64603 0
vsize: 258484
[startup+980.055 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25412
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 25202812 0 0 0 40231 57764 0 0 25 0 1 0 855275503 265228288 53813 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64753 53820 566 18 0 64735 0
vsize: 259012
[startup+990.056 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25412
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 25469565 0 0 0 40618 58377 0 0 25 0 1 0 855275503 265904128 54350 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64918 54357 566 18 0 64900 0
vsize: 259672
[startup+1000.06 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25412
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 25736369 0 0 0 41001 58995 0 0 25 0 1 0 855275503 266444800 54316 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65050 54323 566 18 0 65032 0
vsize: 260200
[startup+1010.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 26003029 0 0 0 41389 59607 0 0 25 0 1 0 855275503 266985472 54138 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65182 54148 566 18 0 65164 0
vsize: 260728
[startup+1020.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 26269580 0 0 0 41772 60224 0 0 25 0 1 0 855275503 267526144 54473 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65314 54480 566 18 0 65296 0
vsize: 261256
[startup+1030.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 26536189 0 0 0 42161 60836 0 0 25 0 1 0 855275503 268066816 54866 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65446 54872 566 18 0 65428 0
vsize: 261784
[startup+1040.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 26802753 0 0 0 42542 61454 0 0 25 0 1 0 855275503 268607488 54592 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65578 54600 566 18 0 65560 0
vsize: 262312
[startup+1050.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 27069278 0 0 0 42922 62075 0 0 25 0 1 0 855275503 269148160 54901 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65710 54908 566 18 0 65692 0
vsize: 262840
[startup+1060.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 27335995 0 0 0 43304 62693 0 0 25 0 1 0 855275503 269688832 55402 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65842 55402 566 18 0 65824 0
vsize: 263368
[startup+1070.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 27602586 0 0 0 43675 63323 0 0 25 0 1 0 855275503 270229504 55155 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65974 55162 566 18 0 65956 0
vsize: 263896
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 27869231 0 0 0 44049 63949 0 0 25 0 1 0 855275503 270770176 55584 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66106 55591 566 18 0 66088 0
vsize: 264424
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 28135894 0 0 0 44420 64578 0 0 25 0 1 0 855275503 271310848 55409 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66238 55416 566 18 0 66220 0
vsize: 264952
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 28402475 0 0 0 44793 65205 0 0 25 0 1 0 855275503 271851520 55774 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66370 55781 566 18 0 66352 0
vsize: 265480
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 28669158 0 0 0 45179 65819 0 0 25 0 1 0 855275503 272392192 55619 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66502 55626 566 18 0 66484 0
vsize: 266008
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 28935738 0 0 0 45554 66445 0 0 25 0 1 0 855275503 272932864 55983 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66634 55990 566 18 0 66616 0
vsize: 266536
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 29202307 0 0 0 45935 67064 0 0 25 0 1 0 855275503 273473536 56336 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66766 56336 566 18 0 66748 0
vsize: 267064
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 29468964 0 0 0 46316 67683 0 0 25 0 1 0 855275503 274014208 56155 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66898 56162 566 18 0 66880 0
vsize: 267592
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 29735628 0 0 0 46695 68304 0 0 25 0 1 0 855275503 274554880 56603 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66408 55981 566 18 0 66390 0
vsize: 268120
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 30002308 0 0 0 47081 68919 0 0 25 0 1 0 855275503 275095552 56445 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67162 56452 566 18 0 67144 0
vsize: 268648
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 30268905 0 0 0 47463 69537 0 0 25 0 1 0 855275503 275636224 56826 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67294 56832 566 18 0 67276 0
vsize: 269176
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 30535445 0 0 0 47844 70156 0 0 25 0 1 0 855275503 276176896 56528 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67426 56536 566 18 0 67408 0
vsize: 269704
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 30802219 0 0 0 48212 70788 0 0 25 0 1 0 855275503 276717568 57086 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67558 57093 566 18 0 67540 0
vsize: 270232
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25414
Raw data (stat): 25359 (Pueblo-v2) R 25358 21152 21151 0 -1 0 31068858 0 0 0 48599 71401 0 0 25 0 1 0 855275503 277258240 56887 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67690 56894 566 18 0 67672 0
vsize: 270760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 25414
Raw data (stat): 25359 (Pueblo-v2) Z 25358 21152 21151 0 -1 1036 31068873 0 0 0 48599 71412 0 0 25 0 1 0 855275503 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.18
CPU time (s): 1200.12
CPU user time (s): 485.993
CPU system time (s): 714.126
CPU usage (%): 99.9946
Max. virtual memory (Kb): 270760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####