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/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 38209

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 04:35:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26325 boxname=wulflinc4 idbench=55 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 26325
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        690784 kB
Buffers:         33732 kB
Cached:         288156 kB
SwapCached:        568 kB
Active:          53400 kB
Inactive:       270664 kB
HighTotal:      131008 kB
HighFree:         3836 kB
LowTotal:       903652 kB
LowFree:        686948 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14208 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 04:55:10 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 26325 7 1200.23 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.52 0.18 0.06 2/54 5742
Raw data (stat): 5742 (runsolver) R 5741 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846939257 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.59 0.20 0.07 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 1265 0 0 0 996 2 0 0 25 0 1 0 846939257 10928128 1239 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2668 1239 566 18 0 2650 0
vsize: 10672
[startup+20.0006 s]
Raw data (loadavg): 0.65 0.23 0.08 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 2085 0 0 0 1994 4 0 0 25 0 1 0 846939257 14204928 2059 4294967295 134512640 134581267 3221224576 3221223472 134517806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3468 2059 566 18 0 3450 0
vsize: 13872
[startup+30.0008 s]
Raw data (loadavg): 0.71 0.25 0.09 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 2085 0 0 0 2994 4 0 0 25 0 1 0 846939257 14204928 2059 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3468 2059 566 18 0 3450 0
vsize: 13872
[startup+40.0017 s]
Raw data (loadavg): 0.75 0.28 0.10 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 2169 0 0 0 3994 4 0 0 25 0 1 0 846939257 14598144 2143 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3564 2143 566 18 0 3546 0
vsize: 14256
[startup+50.0021 s]
Raw data (loadavg): 0.79 0.30 0.10 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 2416 0 0 0 4994 4 0 0 25 0 1 0 846939257 15572992 2390 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3802 2390 566 18 0 3784 0
vsize: 15208
[startup+60.0023 s]
Raw data (loadavg): 0.82 0.32 0.11 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 2864 0 0 0 5993 6 0 0 25 0 1 0 846939257 17477632 2838 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 2838 566 18 0 4249 0
vsize: 17068
[startup+70.0031 s]
Raw data (loadavg): 0.85 0.35 0.12 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3493 0 0 0 6992 7 0 0 25 0 1 0 846939257 20041728 3467 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4893 3467 566 18 0 4875 0
vsize: 19572
[startup+80.0036 s]
Raw data (loadavg): 0.87 0.37 0.13 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 7993 7 0 0 25 0 1 0 846939257 20176896 3495 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3495 566 18 0 4908 0
vsize: 19704
[startup+90.0053 s]
Raw data (loadavg): 0.89 0.39 0.14 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 8993 7 0 0 25 0 1 0 846939257 20176896 3495 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3495 566 18 0 4908 0
vsize: 19704
[startup+100.006 s]
Raw data (loadavg): 0.91 0.41 0.15 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 9993 7 0 0 25 0 1 0 846939257 20168704 3495 4294967295 134512640 134581267 3221224576 3221223256 1075290618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4924 3495 566 18 0 4906 0
vsize: 19696
[startup+110.005 s]
Raw data (loadavg): 0.92 0.43 0.16 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 10993 7 0 0 25 0 1 0 846939257 20164608 3495 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 3495 566 18 0 4905 0
vsize: 19692
[startup+120.006 s]
Raw data (loadavg): 0.93 0.44 0.17 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 11993 7 0 0 25 0 1 0 846939257 20160512 3495 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4922 3495 566 18 0 4904 0
vsize: 19688
[startup+130.006 s]
Raw data (loadavg): 0.94 0.46 0.17 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 12994 7 0 0 25 0 1 0 846939257 20123648 3495 4294967295 134512640 134581267 3221224576 3221223544 134519894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4913 3495 566 18 0 4895 0
vsize: 19652
[startup+140.007 s]
Raw data (loadavg): 0.95 0.48 0.18 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 13994 7 0 0 25 0 1 0 846939257 20123648 3495 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4913 3495 566 18 0 4895 0
vsize: 19652
[startup+150.007 s]
Raw data (loadavg): 0.96 0.50 0.19 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 14994 7 0 0 25 0 1 0 846939257 20123648 3495 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4913 3495 566 18 0 4895 0
vsize: 19652
[startup+160.007 s]
Raw data (loadavg): 0.96 0.51 0.20 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 15994 7 0 0 25 0 1 0 846939257 20123648 3495 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4913 3495 566 18 0 4895 0
vsize: 19652
[startup+170.007 s]
Raw data (loadavg): 0.97 0.53 0.21 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 16994 7 0 0 25 0 1 0 846939257 20123648 3495 4294967295 134512640 134581267 3221224576 3221223504 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4913 3495 566 18 0 4895 0
vsize: 19652
[startup+180.007 s]
Raw data (loadavg): 0.97 0.54 0.21 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 17995 7 0 0 25 0 1 0 846939257 20123648 3495 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4913 3495 566 18 0 4895 0
vsize: 19652
[startup+190.008 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3521 0 0 0 18995 7 0 0 25 0 1 0 846939257 20123648 3495 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4913 3495 566 18 0 4895 0
vsize: 19652
[startup+200.008 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3625 0 0 0 19995 7 0 0 25 0 1 0 846939257 20500480 3599 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5005 3599 566 18 0 4987 0
vsize: 20020
[startup+210.008 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3643 0 0 0 20995 7 0 0 25 0 1 0 846939257 20627456 3617 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5036 3617 566 18 0 5018 0
vsize: 20144
[startup+220.009 s]
Raw data (loadavg): 0.98 0.60 0.25 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3692 0 0 0 21995 7 0 0 25 0 1 0 846939257 20758528 3666 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5068 3666 566 18 0 5050 0
vsize: 20272
[startup+230.008 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3692 0 0 0 22995 7 0 0 25 0 1 0 846939257 20758528 3666 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5068 3666 566 18 0 5050 0
vsize: 20272
[startup+240.008 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3719 0 0 0 23996 7 0 0 25 0 1 0 846939257 20885504 3693 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5099 3693 566 18 0 5081 0
vsize: 20396
[startup+250.008 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3765 0 0 0 24996 7 0 0 25 0 1 0 846939257 21139456 3739 4294967295 134512640 134581267 3221224576 3221223456 134520297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5161 3739 566 18 0 5143 0
vsize: 20644
[startup+260.008 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 25995 7 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+270.008 s]
Raw data (loadavg): 0.99 0.66 0.28 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 26995 7 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+280.008 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 27996 7 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+290.008 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 28996 7 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+300.008 s]
Raw data (loadavg): 0.99 0.69 0.30 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 29996 7 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+310.008 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 30995 8 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+320.009 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 31996 8 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+330.009 s]
Raw data (loadavg): 0.99 0.72 0.32 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 32996 8 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+340.01 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 33996 8 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223648 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+350.009 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 34996 8 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+360.009 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 35996 8 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+370.01 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 3970 0 0 0 36997 8 0 0 25 0 1 0 846939257 21397504 3819 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 3819 566 18 0 5206 0
vsize: 20896
[startup+380.01 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 4303 0 0 0 37996 9 0 0 25 0 1 0 846939257 22851584 4152 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5579 4152 566 18 0 5561 0
vsize: 22316
[startup+390.01 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 5021 0 0 0 38994 10 0 0 25 0 1 0 846939257 25747456 4870 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6286 4870 566 18 0 6268 0
vsize: 25144
[startup+400.011 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 5758 0 0 0 39993 12 0 0 25 0 1 0 846939257 28778496 5607 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7026 5607 566 18 0 7008 0
vsize: 28104
[startup+410.01 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 5785 0 0 0 40993 12 0 0 25 0 1 0 846939257 28909568 5634 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7058 5634 566 18 0 7040 0
vsize: 28232
[startup+420.01 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 6353 0 0 0 41992 13 0 0 25 0 1 0 846939257 31277056 6202 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 6202 566 18 0 7618 0
vsize: 30544
[startup+430.011 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 6982 0 0 0 42991 15 0 0 25 0 1 0 846939257 33771520 6831 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 6832 566 18 0 8227 0
vsize: 32980
[startup+440.012 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7345 0 0 0 43990 15 0 0 25 0 1 0 846939257 35356672 7194 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8632 7194 566 18 0 8614 0
vsize: 34528
[startup+450.012 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7345 0 0 0 44991 15 0 0 25 0 1 0 846939257 35356672 7194 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8632 7194 566 18 0 8614 0
vsize: 34528
[startup+460.013 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7354 0 0 0 45991 15 0 0 25 0 1 0 846939257 35356672 7203 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8632 7204 566 18 0 8614 0
vsize: 34528
[startup+470.013 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7585 0 0 0 46990 16 0 0 25 0 1 0 846939257 36290560 7434 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7434 566 18 0 8842 0
vsize: 35440
[startup+480.013 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7585 0 0 0 47990 16 0 0 25 0 1 0 846939257 36290560 7434 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7434 566 18 0 8842 0
vsize: 35440
[startup+490.014 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7586 0 0 0 48991 16 0 0 25 0 1 0 846939257 36290560 7435 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7435 566 18 0 8842 0
vsize: 35440
[startup+500.015 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 49991 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+510.015 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 50991 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+520.016 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 51991 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+530.016 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 52991 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+540.016 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 53991 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+550.016 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 54992 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+560.016 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 55992 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+570.017 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 56992 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+580.018 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 57992 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+590.018 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 58993 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+600.02 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 59993 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+610.019 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 60993 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+620.02 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 61993 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+630.02 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 62993 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+640.022 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 63994 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+650.021 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 64994 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+660.022 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 65994 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+670.023 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 66994 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+680.022 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 67994 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+690.023 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 68995 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+700.023 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 69995 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+710.023 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 70995 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+720.023 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 71995 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+730.024 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 72995 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+740.024 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 73996 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+750.025 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 74996 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+760.025 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 75996 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+770.025 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 76996 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223228 1075289350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+780.025 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 77996 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+790.026 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 78996 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+800.027 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 79997 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+810.027 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 80997 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+820.028 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 81997 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+830.029 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 82997 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+840.029 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 83998 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+850.03 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 84998 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+860.029 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 85998 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+870.03 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 86998 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+880.03 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 87998 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+890.031 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 88999 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+900.031 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 89999 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+910.031 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 90999 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+920.032 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 91999 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+930.032 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 92999 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+940.033 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 94000 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+950.034 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 95000 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+960.034 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 96000 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+970.035 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 97000 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+980.035 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 98000 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+990.037 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 99001 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 100001 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7588 0 0 0 101001 16 0 0 25 0 1 0 846939257 36290560 7437 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7437 566 18 0 8842 0
vsize: 35440
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 102001 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 103001 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 104002 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 105002 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 106002 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 107002 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 108002 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 109003 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 110003 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 111003 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 112003 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 113003 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 114004 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 115004 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 116004 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 117004 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 118004 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 119005 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 5742
Raw data (stat): 5742 (Pueblo-v2) R 5741 21152 21151 0 -1 0 7589 0 0 0 120005 16 0 0 25 0 1 0 846939257 36290560 7438 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8860 7438 566 18 0 8842 0
vsize: 35440
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.71 1/54 5742
Raw data (stat): 5742 (Pueblo-v2) Z 5741 21152 21151 0 -1 1036 7589 0 0 0 120005 18 0 0 25 0 1 0 846939257 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.23
CPU user time (s): 1200.05
CPU system time (s): 0.180972
CPU usage (%): 100.014
Max. virtual memory (Kb): 35440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####