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.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM	46f4eb904b1c96b45521a6459aa5d49d
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	109757
Total number of constraints	313451
Number of constraints which are clauses	295929
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	17522
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 38494

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 10:57:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26549 boxname=wulflinc3 idbench=279 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  46f4eb904b1c96b45521a6459aa5d49d  /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
IDLAUNCH: 26549
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        698080 kB
Buffers:         34084 kB
Cached:         279576 kB
SwapCached:        228 kB
Active:          71800 kB
Inactive:       244500 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        697828 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6332 kB
Slab:            14552 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:17:46 (client local time) WITH STATUS 0 IN 1200.54 SECONDS
stats: 26549 7 1200.54 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.66 0.84 0.91 2/54 9182
Raw data (stat): 9182 (runsolver) R 9181 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849235977 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0002 s]
Raw data (loadavg): 0.71 0.84 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 10308 0 0 0 972 26 0 0 25 0 1 0 849235977 47898624 10283 4294967295 134512640 134581267 3221224560 3217028800 134533938 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11694 10283 566 18 0 11676 0
vsize: 46776
[startup+20.0011 s]
Raw data (loadavg): 0.76 0.85 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 16082 0 0 0 1961 38 0 0 25 0 1 0 849235977 72859648 15930 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17788 15930 566 18 0 17770 0
vsize: 71152
[startup+30.0015 s]
Raw data (loadavg): 0.79 0.85 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 204866 0 0 0 2607 392 0 0 25 0 1 0 849235977 72859648 15930 4294967295 134512640 134581267 3221224560 3221223528 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17788 15930 566 18 0 17770 0
vsize: 71152
[startup+40.0028 s]
Raw data (loadavg): 0.82 0.86 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 509558 0 0 0 3049 950 0 0 25 0 1 0 849235977 73302016 15954 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15954 566 18 0 17878 0
vsize: 71584
[startup+50.0036 s]
Raw data (loadavg): 0.85 0.86 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 818876 0 0 0 3493 1506 0 0 25 0 1 0 849235977 73302016 15960 4294967295 134512640 134581267 3221224560 3221223552 134531700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15960 566 18 0 17878 0
vsize: 71584
[startup+60.0039 s]
Raw data (loadavg): 0.87 0.86 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 1131242 0 0 0 3948 2051 0 0 25 0 1 0 849235977 73302016 15990 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15990 566 18 0 17878 0
vsize: 71584
[startup+70.0049 s]
Raw data (loadavg): 0.89 0.87 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 1444603 0 0 0 4392 2607 0 0 25 0 1 0 849235977 73302016 15935 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15935 566 18 0 17878 0
vsize: 71584
[startup+80.0051 s]
Raw data (loadavg): 0.91 0.87 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 1758899 0 0 0 4846 3154 0 0 25 0 1 0 849235977 73302016 15951 4294967295 134512640 134581267 3221224560 3221223552 134531692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15951 566 18 0 17878 0
vsize: 71584
[startup+90.0065 s]
Raw data (loadavg): 0.92 0.88 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 2072942 0 0 0 5306 3694 0 0 25 0 1 0 849235977 73302016 16038 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 16038 566 18 0 17878 0
vsize: 71584
[startup+100.007 s]
Raw data (loadavg): 0.93 0.88 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 2386358 0 0 0 5767 4233 0 0 25 0 1 0 849235977 72859648 15930 4294967295 134512640 134581267 3221224560 3221223528 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17788 15930 566 18 0 17770 0
vsize: 71152
[startup+110.008 s]
Raw data (loadavg): 0.94 0.88 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 2699633 0 0 0 6225 4776 0 0 25 0 1 0 849235977 73302016 16005 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 16005 566 18 0 17878 0
vsize: 71584
[startup+120.009 s]
Raw data (loadavg): 0.95 0.89 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 3011866 0 0 0 6676 5324 0 0 25 0 1 0 849235977 73302016 16010 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 16010 566 18 0 17878 0
vsize: 71584
[startup+130.01 s]
Raw data (loadavg): 0.96 0.89 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 3322786 0 0 0 7130 5871 0 0 25 0 1 0 849235977 73302016 15998 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 15998 566 18 0 17878 0
vsize: 71584
[startup+140.01 s]
Raw data (loadavg): 0.96 0.89 0.91 2/54 9182
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 3635594 0 0 0 7585 6416 0 0 25 0 1 0 849235977 73302016 16038 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 16038 566 18 0 17878 0
vsize: 71584
[startup+150.283 s]
Raw data (loadavg): 1.05 0.91 0.92 3/57 9222
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 3951491 0 0 0 8040 6987 0 0 25 0 1 0 849235977 73302016 16035 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 16038 566 18 0 17878 0
vsize: 71584
[startup+160.283 s]
Raw data (loadavg): 1.11 0.93 0.93 2/54 9235
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 4263492 0 0 0 8482 7545 0 0 25 0 1 0 849235977 73302016 16024 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 16033 566 18 0 17878 0
vsize: 71584
[startup+170.283 s]
Raw data (loadavg): 1.10 0.93 0.93 2/54 9235
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 4576274 0 0 0 8936 8092 0 0 25 0 1 0 849235977 73302016 16038 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 16038 566 18 0 17878 0
vsize: 71584
[startup+180.284 s]
Raw data (loadavg): 1.08 0.93 0.93 2/54 9235
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 4886578 0 0 0 9390 8638 0 0 25 0 1 0 849235977 73302016 15950 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 15960 566 18 0 17878 0
vsize: 71584
[startup+190.285 s]
Raw data (loadavg): 1.07 0.94 0.93 2/54 9235
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 5194729 0 0 0 9840 9188 0 0 25 0 1 0 849235977 73302016 15977 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 15987 566 18 0 17878 0
vsize: 71584
[startup+200.285 s]
Raw data (loadavg): 1.06 0.94 0.93 2/54 9235
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 5502279 0 0 0 10289 9740 0 0 25 0 1 0 849235977 73302016 15943 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 15953 566 18 0 17878 0
vsize: 71584
[startup+210.285 s]
Raw data (loadavg): 1.05 0.94 0.93 2/54 9235
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 5809466 0 0 0 10723 10305 0 0 25 0 1 0 849235977 73302016 15978 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 15987 566 18 0 17878 0
vsize: 71584
[startup+220.286 s]
Raw data (loadavg): 1.04 0.94 0.93 2/54 9235
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6117497 0 0 0 11167 10862 0 0 25 0 1 0 849235977 73302016 15993 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 16001 566 18 0 17878 0
vsize: 71584
[startup+230.285 s]
Raw data (loadavg): 1.03 0.94 0.93 2/54 9235
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6424757 0 0 0 11601 11427 0 0 25 0 1 0 849235977 73302016 15993 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 16001 566 18 0 17878 0
vsize: 71584
[startup+240.287 s]
Raw data (loadavg): 1.03 0.94 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651668 0 0 0 12187 11842 0 0 25 0 1 0 849235977 73383936 15996 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 15996 566 18 0 17898 0
vsize: 71664
[startup+250.288 s]
Raw data (loadavg): 1.02 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651672 0 0 0 13187 11842 0 0 25 0 1 0 849235977 73383936 16000 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16000 566 18 0 17898 0
vsize: 71664
[startup+260.289 s]
Raw data (loadavg): 1.02 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651677 0 0 0 14188 11842 0 0 25 0 1 0 849235977 73383936 16005 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16005 566 18 0 17898 0
vsize: 71664
[startup+270.289 s]
Raw data (loadavg): 1.02 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651681 0 0 0 15188 11842 0 0 25 0 1 0 849235977 73383936 16009 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16009 566 18 0 17898 0
vsize: 71664
[startup+280.289 s]
Raw data (loadavg): 1.01 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651686 0 0 0 16188 11842 0 0 25 0 1 0 849235977 73383936 16014 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16014 566 18 0 17898 0
vsize: 71664
[startup+290.289 s]
Raw data (loadavg): 1.01 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651691 0 0 0 17188 11842 0 0 25 0 1 0 849235977 73383936 16019 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16019 566 18 0 17898 0
vsize: 71664
[startup+300.29 s]
Raw data (loadavg): 1.01 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651695 0 0 0 18188 11842 0 0 25 0 1 0 849235977 73383936 16023 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16023 566 18 0 17898 0
vsize: 71664
[startup+310.29 s]
Raw data (loadavg): 1.01 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651700 0 0 0 19188 11842 0 0 25 0 1 0 849235977 73383936 16028 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16028 566 18 0 17898 0
vsize: 71664
[startup+320.29 s]
Raw data (loadavg): 1.00 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651704 0 0 0 20188 11842 0 0 25 0 1 0 849235977 73383936 16032 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16032 566 18 0 17898 0
vsize: 71664
[startup+330.291 s]
Raw data (loadavg): 1.00 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651709 0 0 0 21189 11842 0 0 25 0 1 0 849235977 73383936 16037 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16037 566 18 0 17898 0
vsize: 71664
[startup+340.292 s]
Raw data (loadavg): 1.00 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651713 0 0 0 22189 11842 0 0 25 0 1 0 849235977 73383936 16041 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16041 566 18 0 17898 0
vsize: 71664
[startup+350.292 s]
Raw data (loadavg): 1.00 0.95 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651718 0 0 0 23189 11842 0 0 25 0 1 0 849235977 73383936 16046 4294967295 134512640 134581267 3221224560 3221223384 1075288814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16046 566 18 0 17898 0
vsize: 71664
[startup+360.293 s]
Raw data (loadavg): 1.00 0.96 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651723 0 0 0 24189 11842 0 0 25 0 1 0 849235977 73383936 16051 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16051 566 18 0 17898 0
vsize: 71664
[startup+370.294 s]
Raw data (loadavg): 1.00 0.96 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651727 0 0 0 25189 11842 0 0 25 0 1 0 849235977 73383936 16055 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 16055 566 18 0 17898 0
vsize: 71664
[startup+380.294 s]
Raw data (loadavg): 1.00 0.96 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651732 0 0 0 26190 11842 0 0 25 0 1 0 849235977 73908224 16060 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18044 16060 566 18 0 18026 0
vsize: 72176
[startup+390.295 s]
Raw data (loadavg): 1.00 0.96 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651829 0 0 0 27190 11842 0 0 25 0 1 0 849235977 74313728 16157 4294967295 134512640 134581267 3221224560 3221223552 134531699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18143 16157 566 18 0 18125 0
vsize: 72572
[startup+400.296 s]
Raw data (loadavg): 1.00 0.96 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6651932 0 0 0 28190 11843 0 0 25 0 1 0 849235977 74719232 16260 4294967295 134512640 134581267 3221224560 3221223552 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 16260 566 18 0 18224 0
vsize: 72968
[startup+410.296 s]
Raw data (loadavg): 1.07 0.98 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652035 0 0 0 29189 11843 0 0 25 0 1 0 849235977 75124736 16363 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18341 16363 566 18 0 18323 0
vsize: 73364
[startup+420.296 s]
Raw data (loadavg): 1.06 0.98 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652140 0 0 0 30189 11844 0 0 25 0 1 0 849235977 75530240 16468 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18440 16468 566 18 0 18422 0
vsize: 73760
[startup+430.297 s]
Raw data (loadavg): 1.05 0.98 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652247 0 0 0 31189 11844 0 0 25 0 1 0 849235977 75935744 16575 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18539 16575 566 18 0 18521 0
vsize: 74156
[startup+440.297 s]
Raw data (loadavg): 1.04 0.98 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652351 0 0 0 32189 11844 0 0 25 0 1 0 849235977 76341248 16679 4294967295 134512640 134581267 3221224560 3221223552 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18638 16679 566 18 0 18620 0
vsize: 74552
[startup+450.297 s]
Raw data (loadavg): 1.04 0.98 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652454 0 0 0 33189 11844 0 0 25 0 1 0 849235977 76746752 16782 4294967295 134512640 134581267 3221224560 3221223552 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18737 16782 566 18 0 18719 0
vsize: 74948
[startup+460.297 s]
Raw data (loadavg): 1.03 0.98 0.93 2/54 9237
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652557 0 0 0 34189 11845 0 0 25 0 1 0 849235977 77152256 16885 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18836 16885 566 18 0 18818 0
vsize: 75344
[startup+470.298 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652660 0 0 0 35189 11845 0 0 25 0 1 0 849235977 77557760 16988 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18935 16988 566 18 0 18917 0
vsize: 75740
[startup+480.298 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652764 0 0 0 36188 11845 0 0 25 0 1 0 849235977 77963264 17092 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19034 17092 566 18 0 19016 0
vsize: 76136
[startup+490.299 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652868 0 0 0 37188 11846 0 0 25 0 1 0 849235977 78368768 17196 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19133 17196 566 18 0 19115 0
vsize: 76532
[startup+500.3 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6652974 0 0 0 38188 11846 0 0 25 0 1 0 849235977 78774272 17302 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19232 17302 566 18 0 19214 0
vsize: 76928
[startup+510.3 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6653080 0 0 0 39188 11847 0 0 25 0 1 0 849235977 79314944 17408 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19364 17408 566 18 0 19346 0
vsize: 77456
[startup+520.301 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6653185 0 0 0 40188 11847 0 0 25 0 1 0 849235977 79720448 17513 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19463 17513 566 18 0 19445 0
vsize: 77852
[startup+530.301 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6653288 0 0 0 41188 11847 0 0 25 0 1 0 849235977 80125952 17616 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19562 17617 566 18 0 19544 0
vsize: 78248
[startup+540.302 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6653396 0 0 0 42187 11848 0 0 25 0 1 0 849235977 80531456 17724 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19661 17724 566 18 0 19643 0
vsize: 78644
[startup+550.303 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6653502 0 0 0 43187 11848 0 0 25 0 1 0 849235977 80936960 17830 4294967295 134512640 134581267 3221224560 3221223552 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19760 17830 566 18 0 19742 0
vsize: 79040
[startup+560.302 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6653608 0 0 0 44187 11849 0 0 25 0 1 0 849235977 81342464 17936 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19859 17936 566 18 0 19841 0
vsize: 79436
[startup+570.303 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6653720 0 0 0 45187 11849 0 0 25 0 1 0 849235977 81747968 18048 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19958 18048 566 18 0 19940 0
vsize: 79832
[startup+580.303 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6653822 0 0 0 46187 11849 0 0 25 0 1 0 849235977 82153472 18150 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20057 18150 566 18 0 20039 0
vsize: 80228
[startup+590.304 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6653934 0 0 0 47187 11849 0 0 25 0 1 0 849235977 82558976 18262 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20156 18262 566 18 0 20138 0
vsize: 80624
[startup+600.304 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654035 0 0 0 48187 11850 0 0 25 0 1 0 849235977 82964480 18363 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20255 18363 566 18 0 20237 0
vsize: 81020
[startup+610.305 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654146 0 0 0 49187 11850 0 0 25 0 1 0 849235977 83369984 18474 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20354 18474 566 18 0 20336 0
vsize: 81416
[startup+620.305 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654247 0 0 0 50186 11851 0 0 25 0 1 0 849235977 83775488 18575 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20453 18575 566 18 0 20435 0
vsize: 81812
[startup+630.305 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654351 0 0 0 51185 11851 0 0 25 0 1 0 849235977 84180992 18679 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 18679 566 18 0 20534 0
vsize: 82208
[startup+640.306 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654457 0 0 0 52185 11852 0 0 25 0 1 0 849235977 84586496 18785 4294967295 134512640 134581267 3221224560 3221223552 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20651 18785 566 18 0 20633 0
vsize: 82604
[startup+650.307 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654560 0 0 0 53185 11852 0 0 25 0 1 0 849235977 84992000 18888 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20750 18888 566 18 0 20732 0
vsize: 83000
[startup+660.307 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654664 0 0 0 54184 11853 0 0 25 0 1 0 849235977 86446080 18992 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21105 18992 566 18 0 21087 0
vsize: 84420
[startup+670.308 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654769 0 0 0 55184 11853 0 0 25 0 1 0 849235977 86986752 19097 4294967295 134512640 134581267 3221224560 3221223284 1075297380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21237 19097 566 18 0 21219 0
vsize: 84948
[startup+680.308 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654875 0 0 0 56183 11854 0 0 25 0 1 0 849235977 87392256 19203 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21336 19203 566 18 0 21318 0
vsize: 85344
[startup+690.309 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6654978 0 0 0 57183 11854 0 0 25 0 1 0 849235977 87797760 19306 4294967295 134512640 134581267 3221224560 3221223552 134531699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21435 19306 566 18 0 21417 0
vsize: 85740
[startup+700.31 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6655081 0 0 0 58183 11855 0 0 25 0 1 0 849235977 88203264 19409 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21534 19409 566 18 0 21516 0
vsize: 86136
[startup+710.311 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6655193 0 0 0 59183 11855 0 0 25 0 1 0 849235977 88608768 19521 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21633 19521 566 18 0 21615 0
vsize: 86532
[startup+720.311 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6655301 0 0 0 60183 11855 0 0 25 0 1 0 849235977 89014272 19629 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21732 19629 566 18 0 21714 0
vsize: 86928
[startup+730.311 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6655426 0 0 0 61183 11855 0 0 25 0 1 0 849235977 89554944 19754 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21864 19754 566 18 0 21846 0
vsize: 87456
[startup+740.31 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6655936 0 0 0 62182 11857 0 0 25 0 1 0 849235977 91582464 20264 4294967295 134512640 134581267 3221224560 3221223552 134531699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22359 20264 566 18 0 22341 0
vsize: 89436
[startup+750.311 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6656448 0 0 0 63180 11858 0 0 25 0 1 0 849235977 93609984 20776 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22854 20776 566 18 0 22836 0
vsize: 91416
[startup+760.311 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6656964 0 0 0 64179 11860 0 0 25 0 1 0 849235977 95772672 21292 4294967295 134512640 134581267 3221224560 3221223552 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23382 21292 566 18 0 23364 0
vsize: 93528
[startup+770.312 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657775 0 0 0 65178 11861 0 0 25 0 1 0 849235977 99192832 22103 4294967295 134512640 134581267 3221224560 3221223472 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22103 566 18 0 24199 0
vsize: 96868
[startup+780.312 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657775 0 0 0 66178 11861 0 0 25 0 1 0 849235977 99192832 22103 4294967295 134512640 134581267 3221224560 3221223552 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22103 566 18 0 24199 0
vsize: 96868
[startup+790.312 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657775 0 0 0 67178 11861 0 0 25 0 1 0 849235977 99192832 22103 4294967295 134512640 134581267 3221224560 3221223504 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22103 566 18 0 24199 0
vsize: 96868
[startup+800.312 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 68179 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223456 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+810.312 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 69179 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223456 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+820.313 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 70179 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223456 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+830.313 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 71179 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+840.313 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 72179 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223488 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+850.314 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 73180 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+860.314 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 74180 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223488 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+870.322 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 75181 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223532 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+880.322 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 76181 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223460 134527800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+890.322 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 77181 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223468 134560148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+900.322 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 78181 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+910.322 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 79181 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223504 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+920.323 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 80182 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134560830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+930.323 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 81182 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+940.323 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 82182 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+950.324 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 83182 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+960.324 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 84182 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+970.325 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 85183 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223616 134556132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+980.325 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 86183 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223548 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+990.325 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 87183 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223472 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1000.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 88183 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223528 134519894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1010.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 89183 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1020.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 90184 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223488 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1030.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 91184 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1040.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 92184 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223488 134519899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1050.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 93184 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223504 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1060.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 94184 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1070.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 95185 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1080.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 96185 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223616 134556093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1090.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 97185 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1100.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 98185 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223528 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1110.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 99185 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223456 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1120.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 100186 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223440 134560456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1130.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657776 0 0 0 101186 11861 0 0 25 0 1 0 849235977 99192832 22104 4294967295 134512640 134581267 3221224560 3221223552 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24217 22104 566 18 0 24199 0
vsize: 96868
[startup+1140.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657841 0 0 0 102186 11861 0 0 25 0 1 0 849235977 99717120 22169 4294967295 134512640 134581267 3221224560 3221223504 134559051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24345 22169 566 18 0 24327 0
vsize: 97380
[startup+1150.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657846 0 0 0 103186 11861 0 0 25 0 1 0 849235977 99717120 22174 4294967295 134512640 134581267 3221224560 3221223504 134559568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24345 22174 566 18 0 24327 0
vsize: 97380
[startup+1160.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657847 0 0 0 104186 11861 0 0 25 0 1 0 849235977 99717120 22175 4294967295 134512640 134581267 3221224560 3221223504 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24345 22175 566 18 0 24327 0
vsize: 97380
[startup+1170.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657848 0 0 0 105187 11861 0 0 25 0 1 0 849235977 99717120 22176 4294967295 134512640 134581267 3221224560 3221223504 134559333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24345 22176 566 18 0 24327 0
vsize: 97380
[startup+1180.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657850 0 0 0 106187 11861 0 0 25 0 1 0 849235977 99717120 22178 4294967295 134512640 134581267 3221224560 3221223552 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24345 22178 566 18 0 24327 0
vsize: 97380
[startup+1190.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657853 0 0 0 107187 11862 0 0 25 0 1 0 849235977 99717120 22181 4294967295 134512640 134581267 3221224560 3221223472 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24345 22181 566 18 0 24327 0
vsize: 97380
[startup+1200.33 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 9239
Raw data (stat): 9182 (Pueblo-v2) R 9181 20224 20223 0 -1 0 6657855 0 0 0 108187 11862 0 0 25 0 1 0 849235977 99717120 22183 4294967295 134512640 134581267 3221224560 3221223456 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24345 22183 566 18 0 24327 0
vsize: 97380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.38 s]
Raw data (loadavg): 1.00 0.98 0.93 1/54 9239
Raw data (stat): 9182 (Pueblo-v2) Z 9181 20224 20223 0 -1 1036 6657855 0 0 0 108187 11866 0 0 25 0 1 0 849235977 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.38
CPU time (s): 1200.54
CPU user time (s): 1081.88
CPU system time (s): 118.661
CPU usage (%): 100.013
Max. virtual memory (Kb): 97380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####