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.ex.mem.LsqHdStrong.ucl.opb
MD5SUM	dcb6d1c3f66e900ae345e6fa455bef2a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(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	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	168111
Total number of constraints	487525
Number of constraints which are clauses	468727
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	18798
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 38513

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 11:22:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26572 boxname=wulflinc1 idbench=302 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  dcb6d1c3f66e900ae345e6fa455bef2a  /oldhome/oroussel/tmp/wulflinc1/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
IDLAUNCH: 26572
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        620788 kB
Buffers:         34412 kB
Cached:         354792 kB
SwapCached:        640 kB
Active:          84724 kB
Inactive:       306724 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        620536 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            16720 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:42:40 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 26572 7 1200.24 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.92 0.93 0.90 2/55 3341
Raw data (stat): 3341 (runsolver) R 3340 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792536839 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.93 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 10354 0 0 0 970 28 0 0 25 0 1 0 792536839 48029696 10329 4294967295 134512640 134581267 3221224576 3217028808 1075321319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11726 10329 566 18 0 11708 0
vsize: 46904
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 19132 0 0 0 1947 51 0 0 25 0 1 0 792536839 84041728 19107 4294967295 134512640 134581267 3221224576 3217028812 1075310604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20518 19107 566 18 0 20500 0
vsize: 82072
[startup+30.001 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 252557 0 0 0 2504 494 0 0 25 0 1 0 792536839 113377280 24045 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24045 566 18 0 27662 0
vsize: 110720
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 552131 0 0 0 2931 1068 0 0 25 0 1 0 792536839 113377280 24144 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24152 566 18 0 27662 0
vsize: 110720
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 851695 0 0 0 3363 1635 0 0 25 0 1 0 792536839 113377280 24068 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24077 566 18 0 27662 0
vsize: 110720
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 1150667 0 0 0 3793 2206 0 0 25 0 1 0 792536839 113377280 24060 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24070 566 18 0 27662 0
vsize: 110720
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 1449776 0 0 0 4222 2777 0 0 25 0 1 0 792536839 112701440 24024 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24033 566 18 0 27662 0
vsize: 110060
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 1748981 0 0 0 4655 3344 0 0 25 0 1 0 792536839 113377280 24084 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24093 566 18 0 27662 0
vsize: 110720
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 2048626 0 0 0 5078 3921 0 0 25 0 1 0 792536839 113377280 24089 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24098 566 18 0 27662 0
vsize: 110720
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 2348440 0 0 0 5514 4485 0 0 25 0 1 0 792536839 113377280 24098 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24107 566 18 0 27662 0
vsize: 110720
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 2647422 0 0 0 5946 5054 0 0 25 0 1 0 792536839 113377280 24100 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24108 566 18 0 27662 0
vsize: 110720
[startup+120.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 2946131 0 0 0 6371 5629 0 0 25 0 1 0 792536839 113377280 24159 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24168 566 18 0 27662 0
vsize: 110720
[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 3245100 0 0 0 6786 6215 0 0 25 0 1 0 792536839 113377280 24148 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24155 566 18 0 27662 0
vsize: 110720
[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 3544201 0 0 0 7223 6777 0 0 25 0 1 0 792536839 113377280 24104 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24113 566 18 0 27662 0
vsize: 110720
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 3843266 0 0 0 7652 7349 0 0 25 0 1 0 792536839 112701440 24024 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24033 566 18 0 27662 0
vsize: 110060
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 4142179 0 0 0 8080 7921 0 0 25 0 1 0 792536839 113377280 24122 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24131 566 18 0 27662 0
vsize: 110720
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 4440731 0 0 0 8515 8487 0 0 25 0 1 0 792536839 113377280 24189 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 24024 566 18 0 27497 0
vsize: 110720
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 4738318 0 0 0 8937 9064 0 0 25 0 1 0 792536839 113377280 24116 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24124 566 18 0 27662 0
vsize: 110720
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 5035863 0 0 0 9366 9635 0 0 25 0 1 0 792536839 113377280 24166 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24174 566 18 0 27662 0
vsize: 110720
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 5333163 0 0 0 9787 10214 0 0 25 0 1 0 792536839 113377280 24136 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24143 566 18 0 27662 0
vsize: 110720
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 5630213 0 0 0 10214 10787 0 0 25 0 1 0 792536839 113377280 24186 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24189 566 18 0 27662 0
vsize: 110720
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 5927835 0 0 0 10640 11362 0 0 25 0 1 0 792536839 113377280 24148 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24156 566 18 0 27662 0
vsize: 110720
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 6226268 0 0 0 11075 11927 0 0 25 0 1 0 792536839 113377280 24096 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24105 566 18 0 27662 0
vsize: 110720
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 6525011 0 0 0 11507 12495 0 0 25 0 1 0 792536839 113377280 24189 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24189 566 18 0 27662 0
vsize: 110720
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 6823991 0 0 0 11937 13066 0 0 25 0 1 0 792536839 113377280 24189 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24189 566 18 0 27662 0
vsize: 110720
[startup+260.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 7122691 0 0 0 12363 13640 0 0 25 0 1 0 792536839 113377280 24074 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24083 566 18 0 27662 0
vsize: 110720
[startup+270.007 s]
Raw data (loadavg): 1.07 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 7420746 0 0 0 12786 14217 0 0 25 0 1 0 792536839 113377280 24139 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24147 566 18 0 27662 0
vsize: 110720
[startup+280.007 s]
Raw data (loadavg): 1.06 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 7719061 0 0 0 13212 14790 0 0 25 0 1 0 792536839 113377280 24134 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24142 566 18 0 27662 0
vsize: 110720
[startup+290.006 s]
Raw data (loadavg): 1.05 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 8017791 0 0 0 13634 15369 0 0 25 0 1 0 792536839 113377280 24049 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24058 566 18 0 27662 0
vsize: 110720
[startup+300.006 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 8316086 0 0 0 14067 15936 0 0 25 0 1 0 792536839 113377280 24024 4294967295 134512640 134581267 3221224576 3221223364 1075298458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24034 566 18 0 27662 0
vsize: 110720
[startup+310.006 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 8614301 0 0 0 14499 16504 0 0 25 0 1 0 792536839 113377280 24084 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24092 566 18 0 27662 0
vsize: 110720
[startup+320.006 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 8912296 0 0 0 14926 17078 0 0 25 0 1 0 792536839 113377280 24089 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24098 566 18 0 27662 0
vsize: 110720
[startup+330.006 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 9210326 0 0 0 15348 17655 0 0 25 0 1 0 792536839 113377280 24129 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24136 566 18 0 27662 0
vsize: 110720
[startup+340.005 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 9509036 0 0 0 15773 18231 0 0 25 0 1 0 792536839 112701440 24024 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24033 566 18 0 27662 0
vsize: 110060
[startup+350.005 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 9807999 0 0 0 16202 18802 0 0 25 0 1 0 792536839 113377280 24173 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24181 566 18 0 27662 0
vsize: 110720
[startup+360.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 10106996 0 0 0 16623 19381 0 0 25 0 1 0 792536839 113377280 24189 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24189 566 18 0 27662 0
vsize: 110720
[startup+370.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 10404821 0 0 0 17046 19958 0 0 25 0 1 0 792536839 113377280 24189 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24189 566 18 0 27662 0
vsize: 110720
[startup+380.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 10702462 0 0 0 17476 20528 0 0 25 0 1 0 792536839 113377280 24170 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27680 24178 566 18 0 27662 0
vsize: 110720
[startup+390.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 11001144 0 0 0 17905 21100 0 0 25 0 1 0 792536839 113901568 24202 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24210 566 18 0 27790 0
vsize: 111232
[startup+400.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 11300838 0 0 0 18332 21673 0 0 25 0 1 0 792536839 113901568 24256 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27643 24091 566 18 0 27625 0
vsize: 111232
[startup+410.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 11600645 0 0 0 18764 22241 0 0 25 0 1 0 792536839 113225728 24093 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24102 566 18 0 27790 0
vsize: 110572
[startup+420.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 11901293 0 0 0 19193 22812 0 0 25 0 1 0 792536839 113901568 24112 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24121 566 18 0 27790 0
vsize: 111232
[startup+430.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 12201579 0 0 0 19613 23392 0 0 25 0 1 0 792536839 113225728 24097 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24106 566 18 0 27790 0
vsize: 110572
[startup+440.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 12502540 0 0 0 20044 23961 0 0 25 0 1 0 792536839 113901568 24263 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24263 566 18 0 27790 0
vsize: 111232
[startup+450.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 12803423 0 0 0 20473 24533 0 0 25 0 1 0 792536839 113901568 24186 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24196 566 18 0 27790 0
vsize: 111232
[startup+460.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 13104357 0 0 0 20901 25105 0 0 25 0 1 0 792536839 113901568 24160 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24169 566 18 0 27790 0
vsize: 111232
[startup+470.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 13405261 0 0 0 21324 25682 0 0 25 0 1 0 792536839 113901568 24269 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24269 566 18 0 27790 0
vsize: 111232
[startup+480.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 13705818 0 0 0 21752 26254 0 0 25 0 1 0 792536839 113901568 24196 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24203 566 18 0 27790 0
vsize: 111232
[startup+490.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 14005987 0 0 0 22170 26836 0 0 25 0 1 0 792536839 113901568 24230 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24239 566 18 0 27790 0
vsize: 111232
[startup+500.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 14305704 0 0 0 22602 27405 0 0 25 0 1 0 792536839 113901568 24142 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24152 566 18 0 27790 0
vsize: 111232
[startup+510.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 14605679 0 0 0 23035 27971 0 0 25 0 1 0 792536839 113901568 24147 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24156 566 18 0 27790 0
vsize: 111232
[startup+520.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 14905729 0 0 0 23474 28533 0 0 25 0 1 0 792536839 113901568 24227 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24235 566 18 0 27790 0
vsize: 111232
[startup+530.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 15206411 0 0 0 23905 29102 0 0 25 0 1 0 792536839 113901568 24279 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27643 24114 566 18 0 27625 0
vsize: 111232
[startup+540.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 15507043 0 0 0 24328 29679 0 0 25 0 1 0 792536839 113225728 24116 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24126 566 18 0 27790 0
vsize: 110572
[startup+550.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 15807345 0 0 0 24752 30256 0 0 25 0 1 0 792536839 113901568 24283 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24283 566 18 0 27790 0
vsize: 111232
[startup+560.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 16107683 0 0 0 25174 30833 0 0 25 0 1 0 792536839 113901568 24156 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24165 566 18 0 27790 0
vsize: 111232
[startup+570.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 16408278 0 0 0 25609 31398 0 0 25 0 1 0 792536839 113901568 24286 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24286 566 18 0 27790 0
vsize: 111232
[startup+580.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 16709358 0 0 0 26034 31974 0 0 25 0 1 0 792536839 113901568 24241 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24249 566 18 0 27790 0
vsize: 111232
[startup+590.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 17010166 0 0 0 26454 32554 0 0 25 0 1 0 792536839 113901568 24254 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24263 566 18 0 27790 0
vsize: 111232
[startup+600.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 17311659 0 0 0 26889 33119 0 0 25 0 1 0 792536839 113225728 24127 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24136 566 18 0 27790 0
vsize: 110572
[startup+610.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 17613214 0 0 0 27316 33692 0 0 25 0 1 0 792536839 113901568 24227 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24236 566 18 0 27790 0
vsize: 111232
[startup+620.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 17914544 0 0 0 27749 34259 0 0 25 0 1 0 792536839 113901568 24267 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24275 566 18 0 27790 0
vsize: 111232
[startup+630.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 18215491 0 0 0 28173 34836 0 0 25 0 1 0 792536839 113901568 24254 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24261 566 18 0 27790 0
vsize: 111232
[startup+640.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 18515884 0 0 0 28608 35401 0 0 25 0 1 0 792536839 113901568 24182 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24191 566 18 0 27790 0
vsize: 111232
[startup+650.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 18816468 0 0 0 29036 35973 0 0 25 0 1 0 792536839 113225728 24136 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24145 566 18 0 27790 0
vsize: 110572
[startup+660.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 19117135 0 0 0 29458 36551 0 0 25 0 1 0 792536839 113901568 24173 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24183 566 18 0 27790 0
vsize: 111232
[startup+670.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 19418554 0 0 0 29897 37112 0 0 25 0 1 0 792536839 113901568 24302 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24304 566 18 0 27790 0
vsize: 111232
[startup+680.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 19719651 0 0 0 30325 37684 0 0 25 0 1 0 792536839 113901568 24274 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24282 566 18 0 27790 0
vsize: 111232
[startup+690.004 s]
Raw data (loadavg): 1.00 0.98 0.91 3/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 20020672 0 0 0 30751 38259 0 0 25 0 1 0 792536839 113901568 24170 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24180 566 18 0 27790 0
vsize: 111232
[startup+700.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 20321969 0 0 0 31166 38844 0 0 25 0 1 0 792536839 113901568 24177 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24187 566 18 0 27790 0
vsize: 111232
[startup+710.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 20622801 0 0 0 31594 39416 0 0 25 0 1 0 792536839 113901568 24214 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24223 566 18 0 27790 0
vsize: 111232
[startup+720.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 20923457 0 0 0 32022 39988 0 0 25 0 1 0 792536839 113901568 24240 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24248 566 18 0 27790 0
vsize: 111232
[startup+730.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 21224657 0 0 0 32450 40560 0 0 25 0 1 0 792536839 113901568 24315 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24315 566 18 0 27790 0
vsize: 111232
[startup+740.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 21526081 0 0 0 32882 41129 0 0 25 0 1 0 792536839 113901568 24284 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27808 24292 566 18 0 27790 0
vsize: 111232
[startup+750.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 21827055 0 0 0 33312 41699 0 0 25 0 1 0 792536839 114425856 24298 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24306 566 18 0 27918 0
vsize: 111744
[startup+760.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 22127425 0 0 0 33738 42272 0 0 25 0 1 0 792536839 114425856 24203 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24212 566 18 0 27918 0
vsize: 111744
[startup+770.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 22428864 0 0 0 34172 42839 0 0 25 0 1 0 792536839 114425856 24187 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24196 566 18 0 27918 0
vsize: 111744
[startup+780.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 22730621 0 0 0 34609 43402 0 0 25 0 1 0 792536839 114425856 24324 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24324 566 18 0 27918 0
vsize: 111744
[startup+790.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 23032243 0 0 0 35044 43967 0 0 25 0 1 0 792536839 114425856 24326 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24326 566 18 0 27918 0
vsize: 111744
[startup+800.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 23333864 0 0 0 35474 44538 0 0 25 0 1 0 792536839 114425856 24327 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27771 24162 566 18 0 27753 0
vsize: 111744
[startup+810.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 23634826 0 0 0 35897 45115 0 0 25 0 1 0 792536839 114425856 24329 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27771 24164 566 18 0 27753 0
vsize: 111744
[startup+820.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 23935470 0 0 0 36330 45682 0 0 25 0 1 0 792536839 114425856 24178 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24187 566 18 0 27918 0
vsize: 111744
[startup+830.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 24236313 0 0 0 36760 46253 0 0 25 0 1 0 792536839 114425856 24226 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24235 566 18 0 27918 0
vsize: 111744
[startup+840.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 24537209 0 0 0 37182 46830 0 0 25 0 1 0 792536839 114425856 24327 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24334 566 18 0 27918 0
vsize: 111744
[startup+850.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 24838418 0 0 0 37611 47402 0 0 25 0 1 0 792536839 114425856 24246 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24256 566 18 0 27918 0
vsize: 111744
[startup+860.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 25139374 0 0 0 38038 47974 0 0 25 0 1 0 792536839 114425856 24242 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24251 566 18 0 27918 0
vsize: 111744
[startup+870.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 25439607 0 0 0 38470 48543 0 0 25 0 1 0 792536839 113750016 24175 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24184 566 18 0 27918 0
vsize: 111084
[startup+880.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 25740614 0 0 0 38894 49119 0 0 25 0 1 0 792536839 114425856 24222 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24232 566 18 0 27918 0
vsize: 111744
[startup+890.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 26041573 0 0 0 39316 49697 0 0 25 0 1 0 792536839 114425856 24221 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24230 566 18 0 27918 0
vsize: 111744
[startup+900.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 26342327 0 0 0 39743 50271 0 0 25 0 1 0 792536839 113750016 24180 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24188 566 18 0 27918 0
vsize: 111084
[startup+910.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 26642726 0 0 0 40162 50851 0 0 25 0 1 0 792536839 114425856 24279 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24287 566 18 0 27918 0
vsize: 111744
[startup+920.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 26943298 0 0 0 40591 51422 0 0 25 0 1 0 792536839 114425856 24221 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24231 566 18 0 27918 0
vsize: 111744
[startup+930.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 27243637 0 0 0 41016 51998 0 0 25 0 1 0 792536839 114425856 24260 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24269 566 18 0 27918 0
vsize: 111744
[startup+940.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 27543864 0 0 0 41447 52567 0 0 25 0 1 0 792536839 113750016 24187 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24196 566 18 0 27918 0
vsize: 111084
[startup+950.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 27844318 0 0 0 41875 53140 0 0 25 0 1 0 792536839 114425856 24341 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24349 566 18 0 27918 0
vsize: 111744
[startup+960.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 28145293 0 0 0 42307 53707 0 0 25 0 1 0 792536839 114425856 24356 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24356 566 18 0 27918 0
vsize: 111744
[startup+970.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 28446480 0 0 0 42737 54278 0 0 25 0 1 0 792536839 114425856 24253 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24263 566 18 0 27918 0
vsize: 111744
[startup+980.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 28747704 0 0 0 43167 54848 0 0 25 0 1 0 792536839 114425856 24352 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24360 566 18 0 27918 0
vsize: 111744
[startup+990.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 29048234 0 0 0 43597 55417 0 0 25 0 1 0 792536839 114425856 24252 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24256 566 18 0 27918 0
vsize: 111744
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 29348788 0 0 0 44021 55994 0 0 25 0 1 0 792536839 114425856 24341 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24350 566 18 0 27918 0
vsize: 111744
[startup+1010 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 29649342 0 0 0 44452 56564 0 0 25 0 1 0 792536839 114425856 24265 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24269 566 18 0 27918 0
vsize: 111744
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 29949789 0 0 0 44877 57139 0 0 25 0 1 0 792536839 114425856 24247 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24256 566 18 0 27918 0
vsize: 111744
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 30250990 0 0 0 45301 57715 0 0 25 0 1 0 792536839 114425856 24323 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24331 566 18 0 27918 0
vsize: 111744
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 30552162 0 0 0 45732 58284 0 0 25 0 1 0 792536839 113750016 24205 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24214 566 18 0 27918 0
vsize: 111084
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 30853628 0 0 0 46162 58854 0 0 25 0 1 0 792536839 114425856 24216 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24226 566 18 0 27918 0
vsize: 111744
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 31155129 0 0 0 46598 59418 0 0 25 0 1 0 792536839 114425856 24262 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24270 566 18 0 27918 0
vsize: 111744
[startup+1070 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 31455704 0 0 0 47029 59987 0 0 25 0 1 0 792536839 114425856 24372 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24376 566 18 0 27918 0
vsize: 111744
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 31755629 0 0 0 47447 60569 0 0 25 0 1 0 792536839 114425856 24327 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24335 566 18 0 27918 0
vsize: 111744
[startup+1090 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 32055703 0 0 0 47872 61144 0 0 25 0 1 0 792536839 114425856 24266 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24275 566 18 0 27918 0
vsize: 111744
[startup+1100 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 32355788 0 0 0 48303 61713 0 0 25 0 1 0 792536839 113750016 24216 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24225 566 18 0 27918 0
vsize: 111084
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 32655759 0 0 0 48739 62278 0 0 25 0 1 0 792536839 114425856 24382 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24383 566 18 0 27918 0
vsize: 111744
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 32955504 0 0 0 49163 62854 0 0 25 0 1 0 792536839 114425856 24322 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24331 566 18 0 27918 0
vsize: 111744
[startup+1130.01 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 33255115 0 0 0 49594 63424 0 0 25 0 1 0 792536839 114425856 24293 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24302 566 18 0 27918 0
vsize: 111744
[startup+1140.01 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 33555111 0 0 0 50030 63987 0 0 25 0 1 0 792536839 114425856 24319 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24328 566 18 0 27918 0
vsize: 111744
[startup+1150.01 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 33855317 0 0 0 50458 64559 0 0 25 0 1 0 792536839 113750016 24225 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24234 566 18 0 27918 0
vsize: 111084
[startup+1160.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 34155892 0 0 0 50886 65132 0 0 25 0 1 0 792536839 114425856 24335 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24343 566 18 0 27918 0
vsize: 111744
[startup+1170.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 34456085 0 0 0 51305 65713 0 0 25 0 1 0 792536839 114425856 24393 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24393 566 18 0 27918 0
vsize: 111744
[startup+1180.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 34756477 0 0 0 51723 66296 0 0 25 0 1 0 792536839 114425856 24320 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27936 24328 566 18 0 27918 0
vsize: 111744
[startup+1190.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 35057667 0 0 0 52153 66866 0 0 25 0 1 0 792536839 114561024 24385 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27969 24393 566 18 0 27951 0
vsize: 111876
[startup+1200.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 3341
Raw data (stat): 3341 (Pueblo-v2) R 3340 8378 8377 0 -1 0 35358753 0 0 0 52593 67426 0 0 25 0 1 0 792536839 114696192 24346 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28002 24355 566 18 0 27984 0
vsize: 112008
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.02 1.00 0.92 1/55 3341
Raw data (stat): 3341 (Pueblo-v2) Z 3340 8378 8377 0 -1 1036 35358788 0 0 0 52593 67431 0 0 25 0 1 0 792536839 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.06
CPU time (s): 1200.24
CPU user time (s): 525.93
CPU system time (s): 674.313
CPU usage (%): 100.016
Max. virtual memory (Kb): 112008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####