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/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
MD5SUM	e8f0ca38acbe8c57203147fb9147be3a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	487.167
Number of variables	84836
Total number of constraints	245062
Number of constraints which are clauses	233598
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	11464
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 38516

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 11:32:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26574 boxname=wulflinc4 idbench=304 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  e8f0ca38acbe8c57203147fb9147be3a  /oldhome/oroussel/tmp/wulflinc4/normalized-ooo.unbounded.all.ucl.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ooo.unbounded.all.ucl.opb
IDLAUNCH: 26574
/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:        642704 kB
Buffers:         34096 kB
Cached:         335120 kB
SwapCached:        568 kB
Active:          61800 kB
Inactive:       309564 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        642452 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14660 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:52:35 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 26574 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.96 2/54 8179
Raw data (stat): 8179 (runsolver) R 8178 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849444022 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.0008 s]
Raw data (loadavg): 0.88 0.94 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 9888 0 0 0 971 27 0 0 25 0 1 0 849444022 46120960 9863 4294967295 134512640 134581267 3221224576 3217028860 134515712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11260 9863 566 18 0 11242 0
vsize: 45040
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.94 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 12547 0 0 0 1965 33 0 0 25 0 1 0 849444022 60690432 12395 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14817 12395 566 18 0 14799 0
vsize: 59268
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.94 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 12547 0 0 0 2965 33 0 0 25 0 1 0 849444022 60690432 12395 4294967295 134512640 134581267 3221224576 3221223568 134531699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14817 12395 566 18 0 14799 0
vsize: 59268
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.94 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 221644 0 0 0 3609 390 0 0 25 0 1 0 849444022 61030400 12415 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12424 566 18 0 14882 0
vsize: 59600
[startup+50.0033 s]
Raw data (loadavg): 0.93 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 539539 0 0 0 4068 931 0 0 25 0 1 0 849444022 61030400 12420 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12429 566 18 0 14882 0
vsize: 59600
[startup+60.0033 s]
Raw data (loadavg): 0.94 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 858029 0 0 0 4536 1463 0 0 25 0 1 0 849444022 61030400 12439 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12448 566 18 0 14882 0
vsize: 59600
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 1177203 0 0 0 5004 1995 0 0 25 0 1 0 849444022 61030400 12395 4294967295 134512640 134581267 3221224576 3221223364 1075298458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12405 566 18 0 14882 0
vsize: 59600
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 1496172 0 0 0 5475 2525 0 0 25 0 1 0 849444022 60690432 12395 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12404 566 18 0 14882 0
vsize: 59268
[startup+90.0059 s]
Raw data (loadavg): 0.96 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 1814480 0 0 0 5944 3056 0 0 25 0 1 0 849444022 61030400 12398 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12408 566 18 0 14882 0
vsize: 59600
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 2132792 0 0 0 6407 3593 0 0 25 0 1 0 849444022 61030400 12405 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12415 566 18 0 14882 0
vsize: 59600
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 2450454 0 0 0 6875 4125 0 0 25 0 1 0 849444022 61030400 12426 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12435 566 18 0 14882 0
vsize: 59600
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 2766194 0 0 0 7333 4667 0 0 25 0 1 0 849444022 61030400 12434 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12444 566 18 0 14882 0
vsize: 59600
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 3081720 0 0 0 7784 5217 0 0 25 0 1 0 849444022 61030400 12477 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12478 566 18 0 14882 0
vsize: 59600
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 3398028 0 0 0 8232 5768 0 0 25 0 1 0 849444022 61030400 12472 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12478 566 18 0 14882 0
vsize: 59600
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 3715352 0 0 0 8689 6312 0 0 25 0 1 0 849444022 61030400 12404 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12413 566 18 0 14882 0
vsize: 59600
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4033109 0 0 0 9159 6842 0 0 25 0 1 0 849444022 61030400 12437 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14900 12446 566 18 0 14882 0
vsize: 59600
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4092234 0 0 0 10060 6941 0 0 25 0 1 0 849444022 61214720 12466 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14945 12466 566 18 0 14927 0
vsize: 59780
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4092241 0 0 0 11060 6941 0 0 25 0 1 0 849444022 61214720 12473 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14945 12473 566 18 0 14927 0
vsize: 59780
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4092248 0 0 0 12061 6941 0 0 25 0 1 0 849444022 61214720 12480 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14945 12480 566 18 0 14927 0
vsize: 59780
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4092256 0 0 0 13061 6941 0 0 25 0 1 0 849444022 61214720 12488 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14945 12488 566 18 0 14927 0
vsize: 59780
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4092263 0 0 0 14061 6941 0 0 25 0 1 0 849444022 61214720 12495 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14945 12495 566 18 0 14927 0
vsize: 59780
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4092343 0 0 0 15061 6941 0 0 25 0 1 0 849444022 61620224 12575 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15044 12575 566 18 0 15026 0
vsize: 60176
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4092518 0 0 0 16061 6942 0 0 25 0 1 0 849444022 62296064 12750 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15209 12750 566 18 0 15191 0
vsize: 60836
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4092692 0 0 0 17061 6942 0 0 25 0 1 0 849444022 62971904 12924 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15374 12924 566 18 0 15356 0
vsize: 61496
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4092860 0 0 0 18061 6943 0 0 25 0 1 0 849444022 64172032 13092 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15667 13092 566 18 0 15649 0
vsize: 62668
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4093032 0 0 0 19060 6943 0 0 25 0 1 0 849444022 64847872 13264 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15832 13264 566 18 0 15814 0
vsize: 63328
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4093205 0 0 0 20060 6943 0 0 25 0 1 0 849444022 65523712 13437 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15997 13437 566 18 0 15979 0
vsize: 63988
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4093376 0 0 0 21059 6944 0 0 25 0 1 0 849444022 66199552 13608 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16162 13608 566 18 0 16144 0
vsize: 64648
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4093541 0 0 0 22059 6945 0 0 25 0 1 0 849444022 66740224 13773 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16294 13773 566 18 0 16276 0
vsize: 65176
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4093721 0 0 0 23059 6946 0 0 25 0 1 0 849444022 67551232 13953 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16492 13953 566 18 0 16474 0
vsize: 65968
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4093895 0 0 0 24058 6946 0 0 25 0 1 0 849444022 68227072 14127 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16657 14127 566 18 0 16639 0
vsize: 66628
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4094065 0 0 0 25058 6947 0 0 25 0 1 0 849444022 68902912 14297 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16822 14297 566 18 0 16804 0
vsize: 67288
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4094238 0 0 0 26057 6948 0 0 25 0 1 0 849444022 69578752 14470 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16987 14470 566 18 0 16969 0
vsize: 67948
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4094408 0 0 0 27057 6948 0 0 25 0 1 0 849444022 70254592 14640 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17152 14640 566 18 0 17134 0
vsize: 68608
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4094580 0 0 0 28057 6948 0 0 25 0 1 0 849444022 70930432 14812 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 14812 566 18 0 17299 0
vsize: 69268
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4094747 0 0 0 29056 6949 0 0 25 0 1 0 849444022 71471104 14979 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17449 14979 566 18 0 17431 0
vsize: 69796
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4094914 0 0 0 30056 6950 0 0 25 0 1 0 849444022 72146944 15146 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17614 15146 566 18 0 17596 0
vsize: 70456
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4095079 0 0 0 31056 6950 0 0 25 0 1 0 849444022 72822784 15311 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17779 15311 566 18 0 17761 0
vsize: 71116
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4095776 0 0 0 32055 6951 0 0 25 0 1 0 849444022 75661312 16008 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18472 16008 566 18 0 18454 0
vsize: 73888
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096685 0 0 0 33053 6953 0 0 25 0 1 0 849444022 79560704 16917 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16917 566 18 0 19406 0
vsize: 77696
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 34053 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 35053 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 36054 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 37054 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 38054 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 39054 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 40054 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223552 134560677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 41054 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223568 134560935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 42055 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 43055 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 44055 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 45055 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223568 134560619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 46055 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 47056 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223264 1075288477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 48056 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 49056 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223560 134560637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 50056 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223504 134519863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 51056 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223520 134559190 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 52056 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 53057 6953 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 54057 6954 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 55057 6954 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223552 134560677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 56057 6954 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223488 134527355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 57057 6954 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096693 0 0 0 58058 6954 0 0 25 0 1 0 849444022 79560704 16925 4294967295 134512640 134581267 3221224576 3221223488 134527355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 16925 566 18 0 19406 0
vsize: 77696
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096726 0 0 0 59058 6954 0 0 25 0 1 0 849444022 79822848 16958 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16958 566 18 0 19470 0
vsize: 77952
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096727 0 0 0 60058 6954 0 0 25 0 1 0 849444022 79822848 16959 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16959 566 18 0 19470 0
vsize: 77952
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096729 0 0 0 61058 6954 0 0 25 0 1 0 849444022 79822848 16961 4294967295 134512640 134581267 3221224576 3221223536 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16961 566 18 0 19470 0
vsize: 77952
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096731 0 0 0 62058 6954 0 0 25 0 1 0 849444022 79822848 16963 4294967295 134512640 134581267 3221224576 3221223456 134560328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16963 566 18 0 19470 0
vsize: 77952
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096732 0 0 0 63058 6954 0 0 25 0 1 0 849444022 79822848 16964 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16964 566 18 0 19470 0
vsize: 77952
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096733 0 0 0 64058 6954 0 0 25 0 1 0 849444022 79822848 16965 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16965 566 18 0 19470 0
vsize: 77952
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096735 0 0 0 65059 6954 0 0 25 0 1 0 849444022 79822848 16967 4294967295 134512640 134581267 3221224576 3221223504 134519888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16967 566 18 0 19470 0
vsize: 77952
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096737 0 0 0 66059 6954 0 0 25 0 1 0 849444022 79822848 16969 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16969 566 18 0 19470 0
vsize: 77952
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096740 0 0 0 67059 6954 0 0 25 0 1 0 849444022 79822848 16972 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16972 566 18 0 19470 0
vsize: 77952
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096741 0 0 0 68059 6954 0 0 25 0 1 0 849444022 79822848 16973 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16973 566 18 0 19470 0
vsize: 77952
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096742 0 0 0 69059 6954 0 0 25 0 1 0 849444022 79822848 16974 4294967295 134512640 134581267 3221224576 3221223456 134560348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16974 566 18 0 19470 0
vsize: 77952
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096743 0 0 0 70060 6954 0 0 25 0 1 0 849444022 79822848 16975 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16975 566 18 0 19470 0
vsize: 77952
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096744 0 0 0 71060 6954 0 0 25 0 1 0 849444022 79822848 16976 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16976 566 18 0 19470 0
vsize: 77952
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096745 0 0 0 72060 6954 0 0 25 0 1 0 849444022 79822848 16977 4294967295 134512640 134581267 3221224576 3221223536 134554618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16977 566 18 0 19470 0
vsize: 77952
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096745 0 0 0 73060 6954 0 0 25 0 1 0 849444022 79822848 16977 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16977 566 18 0 19470 0
vsize: 77952
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096746 0 0 0 74060 6954 0 0 25 0 1 0 849444022 79822848 16978 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16978 566 18 0 19470 0
vsize: 77952
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096747 0 0 0 75061 6954 0 0 25 0 1 0 849444022 79822848 16979 4294967295 134512640 134581267 3221224576 3221223568 134561098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16979 566 18 0 19470 0
vsize: 77952
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096748 0 0 0 76061 6954 0 0 25 0 1 0 849444022 79822848 16980 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16980 566 18 0 19470 0
vsize: 77952
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096749 0 0 0 77061 6954 0 0 25 0 1 0 849444022 79822848 16981 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16981 566 18 0 19470 0
vsize: 77952
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096750 0 0 0 78061 6954 0 0 25 0 1 0 849444022 79822848 16982 4294967295 134512640 134581267 3221224576 3221223520 134559264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16982 566 18 0 19470 0
vsize: 77952
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096752 0 0 0 79061 6954 0 0 25 0 1 0 849444022 79822848 16984 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16984 566 18 0 19470 0
vsize: 77952
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096754 0 0 0 80062 6954 0 0 25 0 1 0 849444022 79822848 16986 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16986 566 18 0 19470 0
vsize: 77952
[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096754 0 0 0 81062 6954 0 0 25 0 1 0 849444022 79822848 16986 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16986 566 18 0 19470 0
vsize: 77952
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096755 0 0 0 82062 6954 0 0 25 0 1 0 849444022 79822848 16987 4294967295 134512640 134581267 3221224576 3221223520 134559235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16987 566 18 0 19470 0
vsize: 77952
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096755 0 0 0 83062 6954 0 0 25 0 1 0 849444022 79822848 16987 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16987 566 18 0 19470 0
vsize: 77952
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096757 0 0 0 84062 6954 0 0 25 0 1 0 849444022 79822848 16989 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19488 16989 566 18 0 19470 0
vsize: 77952
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096758 0 0 0 85063 6954 0 0 25 0 1 0 849444022 80084992 16990 4294967295 134512640 134581267 3221224576 3221223504 134520034 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16990 566 18 0 19534 0
vsize: 78208
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096759 0 0 0 86063 6954 0 0 25 0 1 0 849444022 80084992 16991 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16991 566 18 0 19534 0
vsize: 78208
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096761 0 0 0 87063 6954 0 0 25 0 1 0 849444022 80084992 16993 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16993 566 18 0 19534 0
vsize: 78208
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096762 0 0 0 88063 6954 0 0 25 0 1 0 849444022 80084992 16994 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16994 566 18 0 19534 0
vsize: 78208
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096763 0 0 0 89063 6954 0 0 25 0 1 0 849444022 80084992 16995 4294967295 134512640 134581267 3221224576 3221223552 134560693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16995 566 18 0 19534 0
vsize: 78208
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096764 0 0 0 90064 6954 0 0 25 0 1 0 849444022 80084992 16996 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16996 566 18 0 19534 0
vsize: 78208
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096765 0 0 0 91064 6954 0 0 25 0 1 0 849444022 80084992 16997 4294967295 134512640 134581267 3221224576 3221223520 134559225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16997 566 18 0 19534 0
vsize: 78208
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096766 0 0 0 92064 6954 0 0 25 0 1 0 849444022 80084992 16998 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16998 566 18 0 19534 0
vsize: 78208
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096766 0 0 0 93064 6954 0 0 25 0 1 0 849444022 80084992 16998 4294967295 134512640 134581267 3221224576 3221223548 134554668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16998 566 18 0 19534 0
vsize: 78208
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096767 0 0 0 94064 6954 0 0 25 0 1 0 849444022 80084992 16999 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16999 566 18 0 19534 0
vsize: 78208
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096768 0 0 0 95065 6954 0 0 25 0 1 0 849444022 80084992 17000 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 17000 566 18 0 19534 0
vsize: 78208
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096768 0 0 0 96065 6954 0 0 25 0 1 0 849444022 80084992 17000 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 17000 566 18 0 19534 0
vsize: 78208
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096797 0 0 0 97065 6954 0 0 25 0 1 0 849444022 80216064 17029 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19584 17029 566 18 0 19566 0
vsize: 78336
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4096957 0 0 0 98065 6955 0 0 25 0 1 0 849444022 80875520 17189 4294967295 134512640 134581267 3221224576 3221223568 134561012 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19745 17189 566 18 0 19727 0
vsize: 78980
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4097072 0 0 0 99064 6955 0 0 25 0 1 0 849444022 81264640 17304 4294967295 134512640 134581267 3221224576 3221223228 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19840 17304 566 18 0 19822 0
vsize: 79360
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4097215 0 0 0 100064 6956 0 0 25 0 1 0 849444022 81924096 17447 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20001 17447 566 18 0 19983 0
vsize: 80004
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4097361 0 0 0 101064 6956 0 0 25 0 1 0 849444022 82448384 17593 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20129 17593 566 18 0 20111 0
vsize: 80516
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4097553 0 0 0 102064 6956 0 0 25 0 1 0 849444022 83243008 17785 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20323 17785 566 18 0 20305 0
vsize: 81292
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4097692 0 0 0 103064 6957 0 0 25 0 1 0 849444022 83906560 17924 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20485 17924 566 18 0 20467 0
vsize: 81940
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4097837 0 0 0 104063 6957 0 0 25 0 1 0 849444022 84422656 18069 4294967295 134512640 134581267 3221224576 3221223456 134560412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20611 18069 566 18 0 20593 0
vsize: 82444
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4097996 0 0 0 105063 6958 0 0 25 0 1 0 849444022 85073920 18228 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20770 18228 566 18 0 20752 0
vsize: 83080
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4098131 0 0 0 106063 6958 0 0 25 0 1 0 849444022 85708800 18363 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20925 18363 566 18 0 20907 0
vsize: 83700
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4098284 0 0 0 107062 6959 0 0 25 0 1 0 849444022 86241280 18516 4294967295 134512640 134581267 3221224576 3221223520 134559333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21055 18516 566 18 0 21037 0
vsize: 84220
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4098417 0 0 0 108062 6959 0 0 25 0 1 0 849444022 86900736 18649 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21216 18649 566 18 0 21198 0
vsize: 84864
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4098532 0 0 0 109062 6960 0 0 25 0 1 0 849444022 87302144 18764 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21314 18764 566 18 0 21296 0
vsize: 85256
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4098620 0 0 0 110062 6960 0 0 25 0 1 0 849444022 87834624 18852 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21444 18852 566 18 0 21426 0
vsize: 85776
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4098730 0 0 0 111062 6961 0 0 25 0 1 0 849444022 88371200 18962 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21575 18962 566 18 0 21557 0
vsize: 86300
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4098973 0 0 0 112061 6962 0 0 25 0 1 0 849444022 89378816 19205 4294967295 134512640 134581267 3221224576 3221223548 134554608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21821 19205 566 18 0 21803 0
vsize: 87284
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 8179
Raw data (stat): 8179 (Pueblo-v2) R 8178 21152 21151 0 -1 0 4099132 0 0 0 113061 6962 0 0 25 0 1 0 849444022 90034176 19364 4294967295 134512640 134581267 3221224576 3221223456 134560172 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21981 19364 566 18 0 21963 0
vsize: 87924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 8179
Raw data (stat): 8179 (Pueblo-v2) Z 8178 21152 21151 0 -1 1036 4099132 0 0 0 113061 6966 0 0 25 0 1 0 849444022 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.1
CPU time (s): 1200.27
CPU user time (s): 1130.61
CPU system time (s): 69.6614
CPU usage (%): 100.015
Max. virtual memory (Kb): 87924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####